{"id":"7b15cb30-0f0f-4fe4-8c01-7958723c627f","arxiv_id":"2608.01814","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A quantum dominant energy condition linking stress-energy expectation values to variations of entanglement entropy is proven for Rindler wedges in algebraic QFT and conjectured for more general settings.","lead":"This paper proposes a quantum version of the dominant energy condition of general relativity, an inequality that ties the expected energy of a quantum state to the way its entanglement entropy changes as a region's boundary moves. It proves the condition rigorously for Rindler wedges in quantum field theory and shows it controls how much quantum information can be recovered after part of a region is lost.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"QDEC (1) is not a proven consequence of the rigorous relative-entropy theorems: the bridge through eqs. (49) and (59) is formal and unverified.","rationale":"Reader's weakest assumption matches my main concern. The paper itself flags the decisive steps as formal (Sec. 4.2: 'This formula should be considered as formal'; 'We will not try to prove this here'; Sec. 1: uncertainty for general cuts; Sec. 3.2: conjecture on state domain). These self-asserted limitations weaken the advertised central claim (1), not the rigorous core. The rigorous theorems are credible: Theorem 3.3 gives a coherent relative-entropy convexity result; Theorem 3.4 gives a recovery bound; the coherent-state check in Sec. 3.2 verifies the relative-entropy form against classical DEC. But the QDEC (1) with ⟨Tμν⟩ and shape derivative of S_EE requires (49) and (59), and neither is proven. The domain restriction of Thm. 3.3 is a secondary fragility, but even granting the full state domain, the formal bridge would remain. A concrete numerical test of (59) in a free-field model would settle whether the bridge is valid. If the test fails, the verdict should move to REJECT for the headline claim, though the paper's rigorous results stand; since the paper honestly labels the general statement as conjecture, a CONDITIONAL verdict is appropriate now.","tokens_in":22665,"tokens_out":11230,"duration_ms":116843,"concrete_test":"Test eq. (59) in the free massive scalar field in d=2. For a squeezed state Φ (in Thm. 3.3's domain), compute the exact relative entropy S(x) (via the one-particle symplectic formula) and the UV-regulated entanglement entropy S_EE^ℓ(C_x) on a lattice of spacing ℓ. Form D^ℓ(x)=S(x)+S_EE^ℓ(C_x)−∫_{Σ(x)}⟨T_{++}⟩ dx^+dx^∥. Check whether D^ℓ(x) converges to a constant independent of x as ℓ→0. If it does not, eq. (59) fails and (60) does not follow; if it does, the shape derivative of the divergent part cancels, supporting the formal bridge.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's rigorous results (Thm. 3.3, 3.4) establish convexity of the wedge relative entropy S(x) and a recovery bound for states Φ = M′Ω with M′ affiliated to A(W(0))′. The advertised QDEC (1) is reached from these only through formal identities: (49) identifies HSMI generators P±(x⊥) with null-smeared stress-tensor components (labeled formal in Sec. 4.2, with a proof only for free massive scalar); (59) decomposes S into ∫⟨T++⟩ − S_EE, and the removal of the divergent part of S_EE under the shape derivatives is assumed. Prop. 5.1 checks the divergence cancellation only for the CFT divergence formula (65) under geometric conditions (θ_k=0=σ_k, Λ, λ_1=0), not for the states in Thm. 3.3's domain. Additionally, Thm. 3.3 excludes the coherent states of Sec. 3.2, whose consistency is used to conjecture the general statement. Hence the central claim (1) is not proven; the rigorous core is a different, relative-entropy inequality.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a quantum dominant energy condition (QDEC) that lower-bounds the stress-energy expectation value in any quantum state by the shape derivative of the entanglement entropy of an entangling cut. For two-dimensional Rindler wedges, it proves (Theorem 3.3) that the wedge relative entropy S(x) is jointly convex as a function of the wedge apex, and (Theorem 3.4) a recovery bound relating the fidelity to the energy expectation value. It also computes the second derivative of S(x) for coherent states of a free scalar field and connects it to the classical DEC. For d>2, it formulates a deformed-wedge theorem (Theorem 4.2, Corollary 4.3) and gives a heuristic derivation of the full QDEC (1) through formal identities involving null-smeared stress tensors and a decomposition of relative entropy into energy flux minus entanglement entropy. The authors explicitly label parts of this bridge as formal or heuristic and list open conjectures.","tokens_in":22945,"tokens_out":3208,"duration_ms":37281,"significance":"The rigorous results are significant: Theorem 3.3 gives a new, parameter-free convexity property of wedge relative entropy in any two-dimensional algebraic QFT satisfying standard modular assumptions, and Theorem 3.4 gives a quantitative recovery bound with a clean energy prefactor. The coherent-state calculation of Sec. 3.2 is a concrete and checkable illustration. However, the advertised inequality (1) is not a proven consequence of these results; the connection relies on unproven formal identities. The paper is most valuable when read as establishing relative-entropy inequalities and as a conjecture for a stress-tensor QDEC, not as a proof of (1).","major_comments":[{"comment":"The central d>2 inequality (1) depends on identifying the half-sided modular inclusion generators P±(x⊥) with null-smeared stress-tensor components. The paper itself states that (49) is formal and that additional null-infinity contributions may arise for massless degrees of freedom. A rigorous identification is only sketched for the free massive scalar, and the general argument is deferred to a forthcoming work. Since (49) is used in Corollary 4.3 and then in the heuristic derivation of (60)/(1), the advertised QDEC is not established for general QFTs.","section":"§4.2, Eq. (49)"},{"comment":"The step from the rigorous relative-entropy theorems to the stress-tensor form of the QDEC uses the decomposition S = ∫⟨T++⟩ − S_EE, where S_EE is divergent. The authors state that the divergent part cancels after taking shape derivatives, but Proposition 5.1 verifies this only for the CFT divergence formula (65) under the restrictive conditions θ_k=0=σ_k, G_{μν}=−Λg_{μν}, and λ_1=0. No argument is given that this cancellation occurs for the states in the domain of Theorem 3.3 or for general interacting QFTs. Therefore (60) and hence (1) remain heuristic.","section":"§4.2, Eq. (59); §5.1"},{"comment":"The coherent-state check does not fall under Theorem 3.3, as the paper acknowledges: the coherent state Φ=V(F)Ω is not generally of the form M′Ω with M′ affiliated to A(W(0))′. The computation leading to (28) uses the relative-entropy formula (23) quoted from [17] and the classical DEC for the free scalar. This is a useful illustration and motivates the conjecture, but it does not supply a theorem for the QDEC in the domain of Theorem 3.3, nor does it prove (1) for these states.","section":"§3.2"},{"comment":"The extension from states satisfying c^{-1}φ ≤ ω ≤ cφ to the full class Φ=M′Ω, with M′ only affiliated to A(W(0))′, is delegated to 'the same arguments as in proofs of [30, Thm. 6.3]' without presenting those arguments. In particular, the commutation of the limits ϵ→0 and n→∞ with the relative-entropy convergence S_{λ}(x)→S(x) and with the inequality (15) is not shown. Since this domain extension is what gives Theorem 3.3 its stated generality, the proof would be more convincing if these steps were written out or if the theorem were restricted to the explicitly proven case.","section":"Proof of Theorem 3.3"}],"minor_comments":[{"comment":"The text introducing (12) says the two ant formulas are added with weights ẽ_+, ẽ_−, but the relation to r is written twice (near (11) and (12)) in a way that is easy to misread; the sign convention r_−=−ẽ_− should be stated once and kept consistently.","section":"§3.1, Eq. (12)"},{"comment":"There is a typo 'x=∈W(0)' in the sentence before Eq. (36).","section":"§3.4, proof of Theorem 3.4"},{"comment":"The proof of Proposition 5.1 is said to be 'deferred to the end of this section', but the proof appears after Proposition 5.3 in the following subsection; the cross-reference is slightly confusing.","section":"§5.1, after Eq. (65)"},{"comment":"The limiting argument in (8) uses the ergodic property of modular flow, but the statement 'lim_{s→−∞}(u_sΦ, m u_sΦ) = (Ω,mΩ)||Φ||²' would be clearer if the normalization of Φ and the role of the expectation value functional were spelled out; as written the right-hand side contains an extra factor ||Φ||².","section":"§2.2, Eq. (8)"}],"recommendation":"major_revision","confidential_remarks":"The reader's report and the stress-test note identify the same key gap: the rigorous theorems concern relative entropy, while the headline QDEC (1) is reached through formal identities. I agree that the paper should not be accepted as a proof of (1). The authors are transparent about the formal steps, and a careful revision that reframes the claims—emphasizing Theorem 3.3/3.4 as rigorous and (1) as a conjecture supported by heuristics—would be a worthwhile contribution. The overlap with Wall–Yan is acknowledged; I do not see a novelty issue."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Let me give you the short version: the paper contains a solid rigorous core—the joint convexity of wedge relative entropy in d=2, a recovery bound, and a deformed-wedge inequality—but the advertised QDEC (1) is not a proven consequence of that core. The authors are honest about this: eq. (49) is labeled formal, eq. (59) is introduced with 'we formally write', and the general curved-spacetime statement is Conjecture 5.2. So do not cite it as a theorem about stress tensors.\n\nWhat is actually new and good: Theorem 3.3 proves S(x+r+s)+S(x) ≥ S(x+r)+S(x+s) for wedge relative entropy for the class Φ = M'Ω, which is the d=2 QDEC in relative-entropy form. Wall had conjectured the inequality; the proof is the contribution. Theorem 3.4's recovery bound (34) is a clean consequence and potentially useful for information-theoretic arguments. Theorem 4.2 extends part of the structure to deformed wedges in d>2. The free-field coherent-state check in Sec. 3.2 is a nice sanity check: the second derivative of the relative entropy equals the classical DEC. That said, the check sits outside the theorem's domain, which the authors explicitly note.\n\nThe soft spots are real but proportionate. The bridge from the rigorous theorems to the stress-tensor inequality goes through two formal steps. First, P±(x⊥) is identified with null-smeared T±±; the paper gives a rigorous argument only for the free massive scalar, and remarks that massless contributions from null infinity would appear generically. Second, the decomposition of relative entropy into ∫⟨T⟩ − S_EE is formal, and the cancellation of the divergent part of S_EE under shape derivatives is assumed. Proposition 5.1 checks that cancellation only for the CFT divergence formula under special geometric conditions, not for the states in Theorem 3.3. Those gaps are clearly acknowledged, so this is not a case of overclaiming, but the headline inequality rests on them.\n\nThe citation pattern looks fine: the self-citations to [30], [29], [17] are to published proofs that the argument genuinely builds on, and the Wall-Yan overlap is disclosed in the note added. The modular-theory steps in Theorems 3.3 and 3.4 are structurally plausible but partly quoted from [30]; I'd want a referee to check the approximation argument and the domain extension.\n\nBottom line: this deserves a serious referee. Send it to review. The rigorous core will survive, and the formal part should be flagged clearly in the paper so readers don't mistake a proposal for a theorem. I would cite it for the relative-entropy convexity and recovery bound, with a caveat.","headline":"The rigorous relative-entropy results are real and worth your time, but the headline QDEC (1) is not proven as stated—the bridge to stress tensors is formal; referees should treat the paper as a strong proposal, not a done deal.","tokens_in":23503,"tokens_out":2977,"would_cite":true,"duration_ms":28626,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T05","83C47","46L60"],"pacs":["04.62.+v","03.70.+k"],"model":"deepseek-v4-flash","headline":"Quantum field theories satisfy a dominant energy condition governed by entanglement entropy — proved rigorously in two spacetime dimensions.","keywords":["quantum dominant energy condition","entanglement entropy","relative entropy","half-sided modular inclusion","Rindler wedge","energy conditions","state recovery","algebraic quantum field theory"],"falsifier":"In two spacetime dimensions, compute S(x+r+s)+S(x)−S(x+r)−S(x+s) exactly for a free massive scalar field in a state Φ = M'Ω with a non-trivial commutant operator M'; the QDEC requires this to be non-negative for all x,r,s, and a sign violation would falsify the theorem's claimed range of validity. For d>2, evaluate the regulated shape derivative −∂₋δ₊S on a deformed-wedge cut and check whether the divergent part of the entanglement entropy cancels against the stress-tensor integral (59)–(60); surviving regulator dependence would falsify (1) while leaving the relative-entropy theorems intact.","tokens_in":22455,"feed_emoji":"⚛️","tokens_out":15287,"duration_ms":138785,"temperature":0.7,"pith_summary":"Classical general relativity's dominant energy condition (DEC) says that no observer ever sees negative energy-momentum flux; in quantum field theory the pointwise version fails, and this paper proposes a non-local replacement. The quantum DEC (QDEC) states that for any entangling cut, the expected stress-energy flux is bounded below by a term built from the shape variation of the region's entanglement entropy. In two spacetime dimensions the paper proves the inequality rigorously for a dense class of states, in the equivalent form of joint convexity of wedge relative entropy. The proof runs through modular operator theory — half-sided modular inclusions and the 'ant formula' — not through field equations. As corollaries the paper derives a state-recovery bound in which energy prices recoverability, and shows that for coherent states the quantum condition reduces exactly to the classical DEC.","feed_headline":"Entanglement entropy sets a floor on quantum energy flux","feed_subtitle":"In 2D the bound is proven: wedge relative entropy is convex, and low-energy states are easier to recover from subregions.","key_machinery":"Half-sided modular inclusions: a pair of von Neumann algebras N ⊂ M with a common cyclic separating vector whose modular flow compresses N into itself for positive times. The structure theorem for such inclusions yields a positive-energy unitary group with generator P, and the 'ant formula' equates the derivative of the relative entropy along the inclusion with 2π times the infimum (or limit) of expectations (u'Φ, P u'Φ) over the commutant. Applied to the algebra of a Rindler wedge and a null-translated sub-wedge, P is the null component of the stress tensor smeared over the horizon; positivity of P yields the convexity inequality (15). The formal identification of P with the null-smeared st","core_discovery":"For any entangling cut C with future null vector k orthogonal to it and future causal u orthogonal to C, the QDEC asserts ⟨T^{μν}⟩ k_ν u_μ ≥ (ℏ/2π) n^{μα} n^{νβ} ∇_α (δS_EE[C]/δC^β) k_ν u_μ. In d=2 the paper proves the equivalent statement that for states Φ = M'Ω (M' affiliated to the wedge commutant), the wedge relative entropy S(x) satisfies S(x+r+s)+S(x) ≥ S(x+r)+S(x+s), i.e. r^μ s^ν ∂_μ ∂_ν S(x) ≥ 0. Theorem 3.4 turns this into the recovery bound −log F ≤ 2πR (Φ, P_0 Φ). For coherent states of a free massive scalar, the same second derivative equals 2π times the classical DEC expression, confirming the inequality directly. In d>2 the paper derives a shape-variational form (60) heuristica","pith_inferences":["The recovery bound suggests a general information-theoretic pricing principle — the energy of a state pays for how much of its information survives restriction to a subregion — that could be tested directly in lattice models or tensor networks where fidelities and energies are both computable.","If the conjectural extension of Theorem 3.3 to all finite-entropy states holds, the QDEC would follow from relative-entropy convexity alone, bypassing the divergent entanglement entropy; the condition would then be a structural property of any QFT with wedge modular covariance, not a dynamical input.","The geometric criterion behind Conjecture 5.2 — expansion- and shear-free null sheets with a nearby such sheet — suggests the QDEC holds precisely where the geometry approximates a local Killing flow, which would explain why Rindler and extremal-horizon cuts work while generic cuts may not.","Integrating the QDEC against Q-exact operators in topologically twisted supersymmetric theories could yield state-independent bounds on the shape derivative of entanglement entropy; verifying that the entanglement side is also a cohomology invariant is the natural test of that route."],"forward_implications":["In two dimensions the QDEC is a proven theorem for the dense class of states M'Ω, giving the first rigorous instance of an energy–entanglement inequality of the dominant-energy type.","A quantitative recovery guarantee follows: the fidelity with which a state can be reconstructed from a null-shifted sub-wedge is at least exp(−2πR⟨P_0⟩), so states with less energy lose less recoverable information.","For coherent states of a free massive scalar field, the QDEC reduces exactly to the classical dominant energy condition for the classical solution, making the classical DEC the semiclassical face of the quantum inequality.","The shape-variational form (60) contains the quantum null energy condition as the ++ and −− special cases, so the QDEC is a strict strengthening of the QNEC.","If the conjectured extension to curved cuts holds, the QDEC would apply to degenerate horizons such as extremal Kerr-Newman-(A)dS, and would fail generically on non-degenerate horizons, giving a sharp geometric criterion for which cuts obey it."],"supporting_citations":[{"why":"conjectures the inequality this paper proves in d=2 — its eq. (39) is the stated 2D form of the QDEC","marker":"[45]"},{"why":"supplies the approximation and domain machinery (channels T_λ, Thm. 5.1, Sec. 6) that the proof of Theorem 3.3 adapts","marker":"[30]"},{"why":"provides the ant formula connecting derivatives of relative entropy to the positive generator P","marker":"[15]"},{"why":"states the half-sided modular inclusion structure theorem that yields the generator P and its scaling behavior","marker":"[46]"},{"why":"identifies the wedge inclusion with the null translation generator P_+, the first step linking modular theory to the stress tensor","marker":"[6]"},{"why":"argues the null-plane modular Hamiltonian equals the null-smeared stress tensor, the formal basis of (49)","marker":"[13]"},{"why":"proves the recovery bound used in Theorem 3.4, converting the energy bound into a fidelity bound","marker":"[20]"},{"why":"gives the rigorous relative-entropy formula for coherent states used in the explicit check (23)–(28)","marker":"[17]"},{"why":"supplies the null-plane decomposition of the massive free field into U(1) currents that makes (49) rigorous in d>2","marker":"[35]"}],"fun_headline_variants":["Quantum energy flux bounded by entanglement entropy","Entanglement entropy sets new quantum energy bound","Quantum dominant energy condition proven in Rindler","Entanglement entropy bounds quantum energy flux","Quantum energy flux obeys entanglement entropy bound"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The headline inequality (1) reaches the rigorously proven results only through the formal decomposition of wedge relative entropy into a null-smeared stress-tensor integral minus the (divergent) entanglement entropy, together with the identification of the wedge modular generator with the null-smeared stress tensor; if those formal identities fail, the paper proves relative-entropy convexity and the recovery bound, but not the QDEC itself.","fun_headline_variants_meta":{"raw":{"variants":["Quantum energy flux bounded by entanglement entropy","Entanglement entropy sets new quantum energy bound","Quantum dominant energy condition proven in Rindler","Entanglement entropy bounds quantum energy flux","Quantum energy flux obeys entanglement entropy bound"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00047,"raw_usage":{"total_tokens":2152,"prompt_tokens":699,"completion_tokens":1453,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":443,"completion_tokens_details":{"reasoning_tokens":1388}},"tokens_in":443,"tokens_out":1453,"duration_ms":11502,"temperature":1.0,"reasoning_tokens":1388,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T20:18:48.904200+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"In two spacetime dimensions, compute S(x+r+s)+S(x)−S(x+r)−S(x+s) exactly for a free massive scalar field in a state Φ = M'Ω with a non-trivial commutant operator M'; the QDEC requires this to be non-negative for all x,r,s, and a sign violation would falsify the theorem's claimed range of validity. For d>2, evaluate the regulated shape derivative −∂₋δ₊S on a deformed-wedge cut and check whether the divergent part of the entanglement entropy cancels against the stress-tensor integral (59)–(60); surviving regulator dependence would falsify (1) while leaving the relative-entropy theorems intact.","supporting_citations":[],"review_version":1}