{"id":"592c96c4-9cb9-43e0-a777-85b37f68fb23","arxiv_id":"1908.02560","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"In flat-space holography, the first law of entanglement entropy of a BMS-invariant field theory is shown to imply the linearized Einstein equations in the three-dimensional bulk.","lead":"This paper extends a known idea called the first law of entanglement entropy, normally used in AdS/CFT holography, to flat-space holography. It claims that for certain quantum states, the boundary entropy law is equivalent to Einstein's equations in the bulk, a step toward building spacetime from entanglement.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Localization step (3.49)→(3.50) is invalid: ∫Π dχ=0 for surfaces with the fixed boundary B∪γ±∪γ does not imply dχ=0, so the derivation of the local Einstein equations (3.54) is incomplete.","rationale":"Reader identified the same assumption. I agree: Eqs. (3.49)-(3.50) are the crucial juncture. The claim 'Π is any bounded surface' confuses arbitrary surfaces with surfaces spanning one fixed boundary; Stokes' theorem makes the integral independent of the spanning surface, so no local statement follows. This is not a matter of missing rigor but of the direction of the implication: ∫∂Π dχ=0 fixes only global/cohomological data of χ, and in R3 exact 2-forms are invisible to all closed-surface integrals. The paper might be repairable by varying interval endpoints and differentiating; the small-interval limit in (3.43)-(3.44) is a hint that such an argument exists, but it is not written. I also note the 'generic perturbation' claim in the abstract exceeds the two-function ansatz actually computed; this is secondary because the localization gap already blocks the central claim. Thus the reader's CONDITIONAL verdict is appropriate: the construction is plausible and consistent for FSC, but the derivation of Einstein equations from FLEE is not complete. No change to verdict.","tokens_in":14159,"tokens_out":17671,"duration_ms":174154,"concrete_test":"Choose huu=0 and huφ=f(u) with f a smooth compactly supported bump. Insert into (3.52)-(3.53) and evaluate the FLEE condition (3.49) on the family of surfaces Π(l_u,l_φ,u0,φ0) used in §3.3. Check whether satisfaction for all intervals forces f'(u)=0, or whether a nonzero f exists with ∫Π dχ=0 (then dχ≠0 and the localization step is false). If the integrals do force f'=0, write the inversion explicitly: it is the missing argument that should replace (3.50).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper reduces FLEE to ∫Π dχ=0 (3.49) and then states 'Since Π is any bounded surface, from (3.49) one may expect that dχ=0' (3.50). This is the load-bearing step: all local equations (3.54) are read off from dχ=0. The inference is not valid. For a fixed closed curve B∪γ+∪γ−∪γ, Stokes' theorem makes the integral of dχ over any spanning surface Π equal to the same boundary integral; (3.49) is therefore just the FLEE identity rewritten and contains no new local information. Vanishing over all surfaces with one fixed boundary does not imply vanishing of the 2-form. Even if the interval parameters are varied, one must invert an integral transform over the family of surfaces, and the paper supplies no such argument; in R3, a nonzero exact 2-form such as d(r du) has zero integral over every closed surface, so (3.49) cannot distinguish dχ from dχ+dλ. A secondary gap: the abstract claims a generic perturbation, but the computation in §3.3 restricts to the ansatz (3.41) with only huu and huφ nonzero, and generalization is only asserted, not shown.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to provide a holographic derivation of the first law of entanglement entropy (FLEE) in the flat/BMSFT correspondence for three-dimensional asymptotically flat spacetimes. The authors construct a one-form χ on the bulk side such that, for a BMSFT interval B and the associated bulk extremal curves γ, γ+ and γ−, the entropy variation δS and the modular energy variation δE are both given by integrals of χ. FLEE then becomes an integral statement over a closed curve, which is converted via Stokes' theorem into ∫_Π dχ = 0 for any surface Π bounded by that curve. The paper states that this implies dχ = 0, and for a perturbation of global Minkowski spacetime with only huu and huφ nonzero this leads to the conditions ∂φhuu = 2∂uhuφ and ∂uhuu = 0, which are the relevant linearized Einstein equations for that restricted ansatz. The conclusion is that FLEE for flat-space holography is equivalent to the bulk Einstein equations.","tokens_in":14488,"tokens_out":20026,"duration_ms":193884,"significance":"If the central claim were established, this would be a meaningful extension of the 'gravitation from entanglement' program from AdS/CFT to flat-space holography, showing that the first law of entanglement entropy in a BMSFT selects the linearized Einstein equations for asymptotically flat bulk geometries. The paper contains useful explicit material: the modular flow, the geodesic construction from flat holography, and the explicit one-form χ in Eq. (3.47). These are valuable elements for further work. However, the logical step that converts the integral identity into pointwise equations is not justified, and the computation is restricted to a non-generic metric ansatz despite the abstract's claim of genericity. The result is therefore not established in the form stated.","major_comments":[{"comment":"The inference from (3.49) to (3.50) is invalid. For fixed interval parameters (lu, lφ, u0, φ0), every surface Π appearing in (3.49) has the same boundary C = B ∪ γ− ∪ γ ∪ γ+. By Stokes' theorem, ∫_Π dχ = ∮_C χ, so (3.49) is simply a restatement of the FLEE identity (3.48) and contains no local information; the fact that Π can be chosen arbitrarily among surfaces spanning the same boundary cannot force the pointwise vanishing of dχ. To obtain dχ = 0 one would need to vary the interval parameters and invert the resulting integral equations, as is done in the AdS/CFT case reviewed in Section 2 via varying R and the ball center. No such argument is provided, yet equations (3.54) are read off from dχ = 0. This is the load-bearing step of the paper and currently invalid.","section":"§3.3, Eqs. (3.49)–(3.50)"},{"comment":"The abstract and conclusion state that FLEE yields the Einstein equation for a generic perturbation of three-dimensional global Minkowski spacetime, but the actual computation in Section 3.3 is restricted to the ansatz (3.41) with only huu and huφ nonvanishing. The authors acknowledge that this is not the generic BMS boundary condition and assert that the argument 'can be generalized to more generic cases' without carrying out the generalization. Consequently, even if dχ = 0 were established, the derived conditions (3.54) would only hold for the restricted class, not for a generic perturbation as claimed.","section":"Abstract and §3.3, Eq. (3.41)"},{"comment":"The expression for dχ in (3.51) lists only two of the three independent components of a 2-form in three dimensions; the dr ∧ dφ component is omitted. Since the conclusion (3.54) is drawn from dχ = 0, the paper must either show that this missing component vanishes identically for the ansatz (3.41) or include it in the equations. As written, the derivation from dχ = 0 to (3.54) is incomplete.","section":"§3.3, Eq. (3.51)"},{"comment":"The identification of the one-form χ such that δE = ∫_B χ and δS = ∫_{γ−∪γ∪γ+} χ is asserted rather than demonstrated. This identification is the bridge that converts the two separate expressions (3.42) and (3.45) into the single Stokes' theorem statement (3.49), so the paper should provide the explicit computation showing that the integrals of (3.47) over the specified curves reproduce those expressions.","section":"§3.3, Eq. (3.46)"}],"minor_comments":[{"comment":"There are numerous typographical errors, including 'descried' in the abstract, 'the write hand side' after Eq. (3.40), 'convinient' before Eq. (3.38), and 'undermined components' in the conclusion; a careful proofread is needed.","section":"Throughout"},{"comment":"In Eq. (3.31), the symbol ℓφ is used for the interval length, but the interval is elsewhere denoted lφ; please unify the notation.","section":"§3.2, Eq. (3.31)"},{"comment":"The notation in (3.44) reuses φ for the center of the interval after φ was an integration variable in (3.43); the expression cosφ should be written as a function of the center coordinate (e.g., φ0) to avoid confusion.","section":"§3.3, Eq. (3.44)"},{"comment":"The use of the flat-space cosmology entropy formula (3.31) for the global Minkowski background, for which m = −1 and βφ is imaginary, deserves an explanatory comment; the paper should state the analytic continuation or limiting procedure used.","section":"§3.3, Eq. (3.42)"},{"comment":"The note added mentions overlap with arXiv:1908.02044 but does not describe the precise relation to that work; a brief discussion of how the present derivation differs would be helpful.","section":"Note added"}],"recommendation":"major_revision","confidential_remarks":"The overlap with arXiv:1908.02044, acknowledged in the note added, deserves editorial attention; the authors should be asked to clarify what is new in their derivation relative to that paper. The localization gap in (3.49)–(3.50) is the main obstacle; if the authors can supply a valid family-of-intervals argument, the result could be publishable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague—\n\nThe honest headline: this paper has a real construction and a real hole. The authors adapt the Faulkner–Guica–Hartman–Myers–Van Raamsdonk Noether-charge one-form to flat3/BMSFT2, write both sides of the BMSFT first law as integrals of the same χ, and show that setting dχ=0 for a metric of the FSC form gives ∂φhuu=2∂uhuφ and ∂uhuu=0. That is a legitimate extension of the AdS/CFT argument and, as far as I know, the first explicit attempt of this kind in flat holography. They also state the overlap with Godet–Marteau in a note, which is honest.\n\nThe soft spot is the step from (3.49) to (3.50), and the stress-test note is right about it. From FLEE they get ∫Π dχ=0, where Π is any surface bounded by the fixed closed curve B∪γ−∪γ∪γ+. That integral is the same for every spanning surface by Stokes' theorem; it is the boundary identity rewritten. It gives no local information about dχ. You cannot conclude dχ=0, and the paper's “one may expect” is not an argument. Even if you vary the interval parameters, you would need to invert a family of integral transforms over these special surfaces, and no such inversion is supplied. The computed dχ is a specific 2-form; adding an exact dλ to it changes nothing in (3.49) but changes dχ. So equations (3.54) are not derived from FLEE as the paper claims.\n\nThere is a second, smaller overreach: the abstract promises a generic perturbation, but the actual computation uses the metric ansatz (3.41) with only huu and huφ nonvanishing, first constant and then functions of u,φ. The generalization to full BMS boundary conditions is asserted, not shown. That may be repairable, but it is not in the paper.\n\nI don't think circularity is the main issue. Building χ so its integrals reproduce δE and δS is the standard trick; the local equations are not fed in. The problem is that the localization step is doing all the work and is unproven.\n\nWho is this for? People working in flat-space holography or on gravitation-from-entanglement. The paper deserves a serious referee; the construction is worth engaging even though the central claim as written fails. I would send it out and ask for a derivation of the local statement (or a corrected version) before publication.","headline":"A genuine first construction for FLEE in flat/BMSFT, but the inference from an integrated identity to local dχ=0 is not justified and the central claim does not hold as written.","tokens_in":14974,"tokens_out":2851,"would_cite":false,"duration_ms":30061,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The first law of entanglement entropy in flat-space holography is the integral of a one-form over a closed curve, and requiring its exterior derivative to vanish for generic perturbations of three-dimensional global Minkowski spacetime…","keywords":["first law of entanglement entropy","flat-space holography","BMSFT","BMS symmetry","flat-space cosmology","linearized Einstein equations","holographic entanglement entropy","modular Hamiltonian"],"falsifier":"Choose a metric of the form (3.41) with arbitrary smooth functions $h_{uu}(u,\\varphi)$ and $h_{u\\varphi}(u,\\varphi)$ for which $\\partial_u h_{uu}$ is nonzero, and compute the closed-curve integral $\\int_\\Pi d\\chi$ using (3.51)-(3.53) for every interval parameter $(l_\\varphi, l_u, u_0, \\varphi_0)$. If all such integrals vanish while $d\\chi$ remains nonzero somewhere, then FLEE would hold for a metric that does not satisfy the local Einstein equations, and the paper's central inference would fail. The $r^2 \\csc(l_\\varphi/2)\\, \\partial_u h_{uu}$ term in (3.53) is the most direct place to look for such a counterexample.","tokens_in":13985,"feed_emoji":"🌌","tokens_out":14775,"duration_ms":139148,"temperature":0.7,"pith_summary":"The paper extends the 'gravity from entanglement' logic from anti-de Sitter holography to flat-space holography. In the flat/BMSFT correspondence, two-dimensional BMS-invariant field theories are dual to three-dimensional asymptotically flat spacetimes, and the entanglement entropy of an interval is the length of a bulk geodesic plus two null rays. The paper claims that, for perturbed BMSFT states dual to flat-space cosmology, the first law of entanglement entropy is exactly the statement that the integral of a particular one-form over a closed curve vanishes. Applying Stokes' theorem, the exterior derivative of this one-form is zero for flat-space cosmology and, for a generic metric obeying BMS boundary conditions, its vanishing forces the differential conditions that are the linearized Einstein equation for the perturbed metric. If the paper is right, the first law in the boundary theory is a holographic form of bulk gravitational dynamics in flat space, just as it is in AdS/CFT.","feed_headline":"First law of entanglement entropy becomes Einstein equation","feed_subtitle":"For flat-space holography, demanding the first law for every interval forces the bulk metric to satisfy linearized gravity.","key_machinery":"The load-bearing object is the one-form $\\chi$ of equation (3.47), built from the bulk modular flow $\\xi$ of global Minkowski, the perturbed metric $h_{\\mu\\nu}$, its trace, and the volume form. Its integral over the boundary interval reproduces the modular-Hamiltonian variation $\\delta E_B$, while its integral over the bulk spacelike geodesic $\\gamma$ and the null rays $\\gamma_{\\pm}$ reproduces the entanglement entropy variation $\\delta S_B$. Because those curves join into a closed contour, FLEE takes the form $\\int_\\Pi d\\chi = 0$, and the explicit exterior derivative of $\\chi$ converts the boundary identity into local differential equations for $h_{uu}$ and $h_{u\\varphi}$. The bulk modular flow $\\xi$, inherited from the flat-space limit of the AdS modular Hamiltonian, supplies the geometric direction along which the charge is defined.","core_discovery":"The paper's central claim is that holographic FLEE in flat 3/BMSFT2 has a local bulk content. Writing both sides of FLEE in terms of metric perturbations $h_{uu}$ and $h_{u\\varphi}$ of global Minkowski, the equality of $\\delta S_B$ and $\\delta E_B$ becomes the vanishing of the integral of a one-form $\\chi$ over the closed curve formed by the boundary interval $B$ together with the bulk geodesic network $\\gamma \\cup \\gamma_+ \\cup \\gamma_-$. Stokes' theorem turns this into $\\int_\\Pi d\\chi = 0$. For constant perturbations, which describe flat-space cosmology, $d\\chi = 0$ identically. For generic perturbations respecting BMS boundary conditions, the paper computes $d\\chi$ explicitly and shows that $d\\chi = 0$ implies $\\partial_\\varphi h_{uu} - 2\\partial_u h_{u\\varphi} = 0$ and $\\partial_u h_{uu} = 0$, which are precisely the Einstein equations for the perturbed metric (3.41). The derivation is presented as the flat-space counterpart of the AdS/CFT result that FLEE yields linearized Einstein equations.","pith_inferences":["The unproven localization step from $\\int_\\Pi d\\chi = 0$ to $d\\chi = 0$ is the point to stress-test: if only the integrated condition follows from FLEE, the first law could fix interval-averaged metric data without fixing local Einstein equations.","A natural extension would be to repeat the construction for BMSFT3 in four-dimensional flat space, where the infinite-dimensional BMS4 symmetry may determine the corresponding one-form and yield linearized gravity in four dimensions.","The surface $\\Sigma$ used to define conserved charges is fixed by replacing the AdS radius with Newton's constant in the boundary metric; if a more canonical prescription were found, the $\\delta E_B$ side of the equality could change, and the match with Einstein equations would be a nontrivial test of that prescription.","The paper's computation is linear in $h_{\\mu\\nu}$; testing whether non-linear corrections preserve the closure of $\\chi$ would indicate whether the first law encodes the full Einstein equation or only its linearization."],"forward_implications":["Holographic FLEE holds for flat-space cosmology without any further constraint: the perturbed metric is automatically a solution of Einstein's equations, so the one-form is closed.","For a generic BMS-boundary-condition perturbation, imposing FLEE for all intervals forces the metric to satisfy the linearized Einstein equations; the first law is a bulk equation of motion, not merely a boundary identity.","The calculation provides a dictionary expressing the BMSFT stress-tensor expectation value $\\delta\\langle T^w_{\\varphi}\\rangle$ in terms of the bulk perturbations $h_{uu}$ and $h_{u\\varphi}$, linking flat-holography charges to metric data.","The closed-curve construction gives a flat-space analogue of the standard holographic entanglement-entropy derivation, showing that the entanglement-first-law route to gravity is not special to a negative cosmological constant.","The same Stokes' theorem argument identifies $d\\chi$ as the object whose vanishing is the flat-space Einstein equation, so future constructions of bulk geometry from boundary entanglement can target $d\\chi$ directly."],"supporting_citations":[{"why":"Supplies the holographic entanglement entropy prescription used for $\\delta S_B$: the length of a spacelike geodesic plus two null rays connecting it to the boundary interval.","marker":"[12]"},{"why":"Supplies the original AdS/CFT result that FLEE yields linearized gravitational dynamics, the pattern this paper adapts to flat space.","marker":"[18]"},{"why":"Provides the one-form and exterior-derivative method, including the form $\\chi$, that the flat-space derivation mirrors.","marker":"[19]"},{"why":"Introduces flat-space cosmology and its holographic thermal interpretation, the class of perturbed states studied in the main FLEE calculation.","marker":"[20]-[23]"},{"why":"Defines the spatial surface $\\Sigma$ for conserved charges in flat-space holography, used to compute $\\delta E_B$.","marker":"[30]"},{"why":"Gives the quasilocal conserved charge formula used to express the modular Hamiltonian as a conserved charge of the modular flow.","marker":"[32]"}],"fun_headline_variants":["Entanglement first law becomes Einstein equation in flat space","Flat-space holography: entropy law yields Einstein equations","First law of entropy in flat holography forces Einstein","Holographic entropy law turns into Einstein equation","From BMSFT entropy to Einstein: flat-space holography"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The derivation stands on the step from equation (3.49) to equation (3.50): after showing that the integral of $d\\chi$ over a surface bounded by the interval and the geodesics vanishes, the paper assumes the integrand itself vanishes; if that localization fails, FLEE may fix only integrated combinations of the metric perturbation rather than the local conditions that reproduce Einstein's equations.","fun_headline_variants_meta":{"raw":{"variants":["Entanglement first law becomes Einstein equation in flat space","Flat-space holography: entropy law yields Einstein equations","First law of entropy in flat holography forces Einstein","Holographic entropy law turns into Einstein equation","From BMSFT entropy to Einstein: flat-space holography"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000738,"raw_usage":{"total_tokens":3334,"prompt_tokens":1023,"completion_tokens":2311,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":639,"completion_tokens_details":{"reasoning_tokens":2231}},"tokens_in":639,"tokens_out":2311,"duration_ms":18421,"temperature":1.0,"reasoning_tokens":2231,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:40:28.246252+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose a metric of the form (3.41) with arbitrary smooth functions $h_{uu}(u,\\varphi)$ and $h_{u\\varphi}(u,\\varphi)$ for which $\\partial_u h_{uu}$ is nonzero, and compute the closed-curve integral $\\int_\\Pi d\\chi$ using (3.51)-(3.53) for every interval parameter $(l_\\varphi, l_u, u_0, \\varphi_0)$. If all such integrals vanish while $d\\chi$ remains nonzero somewhere, then FLEE would hold for a metric that does not satisfy the local Einstein equations, and the paper's central inference would fail. The $r^2 \\csc(l_\\varphi/2)\\, \\partial_u h_{uu}$ term in (3.53) is the most direct place to look for such a counterexample.","supporting_citations":[{"cited_title":"Towards the generalized gravitational entrop y for spacetimes with non-Lorentz invariant duals,","cited_arxiv_id":null,"evidence_quote":"Gives the quasilocal conserved charge formula used to express the modular Hamiltonian as a conserved charge of the modular flow."}],"review_version":1}