{"id":"7bf44a90-09dd-4e37-977e-a4219459ddff","arxiv_id":"1909.00919","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The QNEC gives a universal upper bound on the quadratic growth rate of quench entanglement entropy, and this bound is saturated by boundary state quenches.","lead":"This paper applies the Quantum Null Energy Condition (QNEC) to bound the early-time quadratic growth of entanglement entropy in quantum quenches, deriving s2 <= pi(e+p). The bound is shown to be tight, saturated by boundary state quenches in CFTs, including via AdS/CFT in higher dimensions.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Saturation of the bound in d>2 rests on an unproven identification between a generic conformal boundary state and the tensionless end-of-the-world-brane geometry; the inequality itself is secure.","rationale":"The reader's conditional verdict is appropriate. The central inequality s2 ≤ π(e + p) is well supported by the QNEC derivation and by the d=2 Calabrese-Cardy saturation calculation. The higher-dimensional saturation claim is the load-bearing weak point: it depends on identifying a generic conformal boundary state with the specific tensionless EOW-brane Schwarzschild geometry, an identification that the authors themselves restrict in footnotes. This is a scope limitation rather than an internal inconsistency, and the reader already flagged it. There is also a real factor-of-2 normalization error in Eqs. (7) and (14): the stronger 2d QNEC should read T_++ ≥ (1/(2π))(S'' + (6/c)S'^2), so Eq. (14) should state 2π(e + p) = S'' + (6/c)S'^2. This error does not affect the main bound, whose d=2 saturation is fixed by Eq. (13), but it should be corrected. Since the reader's conditional verdict already accounts for both the saturation assumption and the numerical error, no change to the verdict is needed.","tokens_in":15146,"tokens_out":20517,"duration_ms":219415,"concrete_test":"Construct an explicit conformal boundary state |B⟩ in a concrete holographic CFT with a known conformal boundary condition, and compute its bulk dual by standard AdS/CFT methods; verify whether the dual is exactly the tensionless half-eternal AdS-Schwarzschild geometry of Eq. (15), including the location and tension of the end-of-the-world brane, and recompute s2 from the field-theory side at large N.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The derivation of the bound (2) is sound: with the null vector k = ∂_t + ∂_x, one has T_kk = e + p, and the nonlocal QNEC (3) gives s2 ≤ π(e + p). The weak point is the claim that the bound is tight in all dimensions. In d>2 the saturation proof assumes that the state e^(−βH/4)|B⟩, for a conformal boundary state |B⟩ of a holographic CFT, is dual to the half-eternal AdS-Schwarzschild black brane with a tensionless end-of-the-world brane (Eq. (15)). This is a nontrivial state/geometry correspondence: the brane tension is set by |B⟩, and the relation between a specific boundary state and the bulk brane is known only for special constructions, as the paper itself concedes in footnotes [30] and [35]. For a generic CFT or a generic conformal boundary state, the tightness of the bound is not demonstrated. Thus the abstract's 'boundary state quenches in conformal field theories in any dimensions' overstates what is shown: in d>2, saturation is conditional on a holographic identification that is conjectural for generic |B⟩. This concern does not undermine the QNEC bound itself, but it does weaken the 'tight in any dimensions' component of the central claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript derives a bound on the early-time quadratic coefficient s2 of the entanglement entropy in homogeneous quenches, s2 <= pi(e+p), where e and p are the energy density and pressure. The derivation starts from the integrated (nonlocal) quantum null energy condition, specialized to a time-reflection-symmetric initial state. The authors show saturation in d=2 using the Calabrese-Cardy exact result for boundary state quenches, and in d>2 by a holographic computation in which the null energy condition implies the same inequality for the early-time HRT entropy, with equality only for the AdS-Schwarzschild black brane. They also derive a stronger bound s2 <= pi(e+p)/d for Vaidya-type quenches. The paper is written as a letter with a supplemental material containing the holographic derivations.","tokens_in":15442,"tokens_out":18302,"duration_ms":191983,"significance":"If correct, the bound provides a model-independent, field-theoretic constraint on entanglement growth in quenches, with a simple derivation from the QNEC and concrete saturation examples. The holographic NEC argument in the supplemental material is a genuine proof rather than a definitional identity, and the d=2 saturation is an exact CFT result. The paper thus offers a useful new application of the QNEC, and the bound may serve as a consistency check for numerical and experimental studies of entanglement dynamics. The significance is somewhat tempered by the fact that the d>2 saturation is conditional on a specific holographic state/geometry identification, which is not established for generic boundary states.","major_comments":[{"comment":"Equation (14) is numerically incorrect: with S(t) from (12) and e=p=c*pi/(6*beta^2), direct differentiation gives \\ddot S + (6/c) \\dot S^2 = (2 c pi^2/(3 beta^2))[sech^2 + tanh^2] = 2 pi (e+p), not pi (e+p) as stated. The discrepancy appears to originate in Eq. (7), which is missing a factor 2*pi relative to the nonlocal QNEC (3) in d=2. The claimed saturation can be repaired by writing the stronger inequality as 2*pi <T_kk> >= Sddot + (6/c) Sdot^2, for which the Calabrese-Cardy solution is indeed an equality for all times. Please correct Eqs. (7) and (14) and adjust the surrounding text.","section":"Quenches saturating the bound, Eq. (14)"},{"comment":"The statement that for homogeneous states 'the stress tensor is a conserved current, its one point function is time independent' is not generally true. Conservation only implies partial_t <T^{00}> = partial_t <T^{0i}> = 0 when spatial derivatives vanish; the spatial components <T^{ij}> can depend on time in a generic homogeneous QFT. For the early-time bound, only the value at t=0 is needed, so the argument should explicitly define p = p(0) in Eq. (2). In CFTs, tracelessness and rotational invariance make p constant, but this assumption should be stated rather than implied by conservation alone.","section":"Bounding entropy using the QNEC, Eqs. (4)-(5)"},{"comment":"The abstract claims that the bound is saturated by boundary state quenches in conformal field theories 'in any dimensions.' The d>2 argument relies on identifying the state e^{-beta H/4}|B> with the half-eternal AdS-Schwarzschild black brane cut by a tensionless end-of-world brane (Eq. (15)), together with the assumption that <H> = E(beta). As the paper itself notes in footnotes 30 and 35, this identification is established only for special holographic boundary states. Therefore the tightness of (2) is currently demonstrated only for a restricted class of holographic CFTs and specific |B>, not for generic CFTs in d>2. Please qualify the abstract, the introduction, and the conclusions accordingly.","section":"Abstract and Conclusions; Quenches saturating the bound, Eq. (15)"}],"minor_comments":[{"comment":"The displayed bound s2 <= pi c/\\hbar (e+p) is inconsistent with the \\hbar=c=1 convention used throughout and with the saturation value (13), which gives s2 = pi(e+p). Please remove the c/\\hbar factor or explain the intended dimensional restoration.","section":"Introduction, Eq. (2)"},{"comment":"The expression C2/C2_1 in Eq. (18) is ambiguous; it should read C2/C1^2 to match the definitions of C1 and C2 in Eq. (31).","section":"Quenches saturating the bound, Eq. (18)"},{"comment":"There are minor typographical issues: 'ommited' should be 'omitted', and 'Schwartzschild' should be 'Schwarzschild'. Please proofread the text.","section":"Throughout"},{"comment":"The phrase 'we ommited the \\Delta from s2(R)' could be clearer: the entropy S(t,R) is time dependent while the vacuum term is not, so the vacuum-subtracted and unsubtracted quadratic coefficients coincide; please state this directly.","section":"Generalizations for CFTs, text after Eq. (10)"},{"comment":"The assertion that these are 'the first purely field theoretic applications of the QNEC' should be checked against the literature; if there are prior field-theoretic applications, the claim should be softened or removed.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":"The central inequality (2) appears sound and the holographic NEC proof in the SM is detailed, but the factor-of-2 error in Eq. (14), the unqualified d>2 saturation claim, and the imprecise time-independence of the stress tensor need to be fixed before the paper can be accepted. I did not find a fatal flaw in the main derivation; the requested changes are within the scope of a major revision. The bibliographic priority claim in the abstract may also deserve a check by the editor."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThis paper applies the QNEC to bound the early-time quadratic coefficient of entanglement entropy in quenches, s2 ≤ π(e+p). The derivation is short and the bound is real: the nonlocal QNEC with a null vector along t+x gives exactly that inequality, and the homogeneous time-reflection symmetric setup is the natural place to look. The d=2 saturation by the Calabrese-Cardy boundary state quench is the right test, and it works.\n\nWhat is new: using QNEC as a field-theoretic bound on dynamics, not just a consistency condition. The holographic section is a genuine calculation: they derive s2^(holo) from the HRT area, then prove from the NEC that s2^(holo) ≤ π(e+p), with equality only for AdS-Schwarzschild. That is a substantive check of tightness, conditional on the state/geometry map. The Vaidya result s2 ≤ π(e+p)/d is a clean byproduct.\n\nSoft spots:\n\n- Eq. (14) has a factor-of-2 error. For the Calabrese-Cardy entropy, S¨ + (6/c)Sdot² = 2π(e+p), not π(e+p). This matters because they claim the stronger d=2 QNEC (Eq. 7) is saturated at all times. As written, Eq. (7) would not hold for this state; either Eq. (7) is missing a factor 1/(2π) on the RHS, or Eq. (14) should have 2π(e+p). The main bound (2) is unaffected, but the d=2 all-times saturation claim as stated is not self-consistent.\n\n- The abstract says the bound is saturated by boundary state quenches in CFTs in any dimensions. The body is more careful: the higher-dimensional proof assumes the state e^{-βH/4}|B> is dual to the half-eternal AdS-Schwarzschild black brane with a tensionless end-of-world brane, which is known for special holographic boundary states, not generic ones (their footnote [30] concedes this). So \"any dimensions\" overstates the scope; for a generic CFT or generic |B>, tightness is not demonstrated. This is a scope issue, not a flaw in the bound.\n\n- Minor: the sphere bound (10) is less clean because it depends on S0(R) unless one assumes scale invariance; they acknowledge this.\n\nBottom line: the central inequality is correct and useful, the d=2 check is correct, and the holographic analysis is worth taking seriously. The factor error and abstract overstatement are fixable. This deserves a serious referee; I'd send it out.","headline":"A clean QNEC application with a correct core bound; the higher-dimensional tightness claim is over-sold and Eq. (14) has a factor-of-2 slip, but the paper deserves refereeing.","tokens_in":15970,"tokens_out":11603,"would_cite":true,"duration_ms":112762,"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":"Using the quantum null energy condition, the paper bounds the early-time quadratic growth of entanglement entropy in homogeneous quenches by $\\pi(e+p)$ and shows boundary-state quenches in CFTs saturate the bound.","keywords":["Quantum Null Energy Condition","entanglement entropy","quantum quench","boundary state","holographic duality","black brane","thermalization","conformal field theory"],"falsifier":"Compute or measure $s_2$ for a homogeneous, time-reflection-symmetric quench in a relativistic QFT with known energy density and pressure; finding $s_2 > \\pi(e+p)$ would disprove the central bound. For the saturation claim, finding a boundary-state quench in $d>2$ whose half-space $s_2$ is strictly below $\\pi(e+p)$, or any null-energy-respecting bulk geometry that saturates $s_2^{(\\rm holo)}=\\pi(e+p)$ without being the $a(z)=1-z^d$, $b(z)=1$ black brane, would refute tightness while leaving the inequality intact.","tokens_in":14953,"feed_emoji":"⚛️","tokens_out":10208,"duration_ms":82995,"temperature":0.7,"pith_summary":"The paper turns the Quantum Null Energy Condition (QNEC), an inequality relating energy to the second variation of entanglement entropy, into a bound on how fast entropy grows immediately after a quantum quench. For a homogeneous, time-reflection-symmetric quench in any relativistic field theory, the coefficient $s_2$ of the $t^2$ term in half-space entanglement entropy satisfies $s_2 \\le \\pi(e+p)$, where $e$ is energy density and $p$ pressure. The paper argues the bound is tight: boundary-state quenches in conformal field theories saturate it, exactly in two spacetime dimensions and via holography in higher dimensions, with equality only for the planar black brane geometry $a(z)=1-z^d$. This is the first purely field-theoretic application of the QNEC and gives a universal consistency check for out-of-equilibrium entropy calculations.","feed_headline":"Early-time entanglement growth is capped by energy plus pressure","feed_subtitle":"A quantum energy inequality sets a universal ceiling; special CFT quenches reach it exactly.","key_machinery":"The central object is the nonlocal QNEC inequality $2\\pi \\int d^{d-2}y \\sqrt{h}\\langle T_{\\mu\\nu}\\rangle k^\\mu k^\\nu \\ge d^2S/d\\lambda^2$, applied to a flat half-space entangling surface with null vector $k = \\partial_+$ in a homogeneous state. Since homogeneity makes $\\langle T_{++}\\rangle = (e+p)/4$, the inequality reduces to an ordinary bound on the second time derivative of $S(t)$. Saturation is carried by the boundary-state quench $e^{-\\beta H/4}|B\\rangle$: in $d=2$ an exact CFT computation saturates the stronger QNEC, while in higher dimensions the holographic dual (a planar black brane cut by a tensionless end-of-world brane) lets the entropy be computed as an HRT surface; applying the bulk null energy condition to the metric functions $a(z)$, $b(z)$ converts that computation into the same bound, with equality only when $a(z)=1-z^d$ and $b(z)=1$.","core_discovery":"The central claim is that the integrated QNEC, evaluated on a flat half-space entangling surface at a moment of time-reflection symmetry, yields the universal early-time inequality $d^2S/dt^2 \\le 2\\pi A_\\Sigma(e+p)$, equivalently $s_2 \\le \\pi(e+p)$. The paper constructs states that reach the bound: the boundary-state quench $|\\psi_0\\rangle = e^{-\\beta H/4}|B\\rangle$ in a CFT. In $d=2$, the exact CFT entropy formula gives $s_2 = \\pi(e+p)$ and in fact saturates the stronger form of the QNEC at all times. In $d>2$, the paper computes the entropy holographically from the dual geometry -- a planar black brane cut by an end-of-world brane -- and finds $s_2^{(\\rm holo)} \\le \\pi(e+p)$, with equality only for the planar black brane $a(z)=1-z^d$, $b(z)=1$. A second protocol, a Vaidya collapsing-shell quench, obeys the strictly stronger holographic bound $s_2 \\le \\pi(e+p)/d$.","pith_inferences":["One step beyond the paper: the equality case in the holographic proof implies that, in holographic CFTs, maximal early-time entanglement growth is tied to a state whose dual geometry has no matter sources; a direct field-theoretic derivation of that condition would identify which CFT states are 'fastest' without invoking gravity.","The $d=2$ all-times saturation of the stronger QNEC suggests an extremal principle for entanglement growth over the whole quench; a testable question is how accurately finite-width intervals $L$ preserve the saturation for $t<L/2$ and how it degrades later.","The factor-$d$ Vaidya bound is proven only holographically; since the paper notes an existing relative-entropy strategy gives only the weaker bound, an improved field-theoretic argument may close the gap and extend the result to non-holographic theories.","Because the bound holds for any relativistic QFT state, cold-atom or lattice implementations of homogeneous quenches could measure $s_2/[\\pi(e+p)]$ as a dimensionless probe of how close a protocol comes to the fastest possible entanglement growth."],"forward_implications":["Any computed, simulated, or measured $s_2$ for a homogeneous time-reflection-symmetric quench in a relativistic QFT must satisfy $s_2 \\le \\pi(e+p)$, giving a universal consistency check.","Because boundary-state quenches in CFTs saturate the bound, the inequality cannot be strengthened without adding assumptions about the state.","In $d=2$ CFTs the boundary-state quench saturates the stronger QNEC at all times, making its full entropy evolution extremal among such quenches.","In holographic theories the bulk null energy condition independently reproduces the bound, and equality forces the bulk geometry to be the planar black brane with $a(z)=1-z^d$, $b(z)=1$.","For Vaidya-type quenches the stronger holographic result $s_2 \\le \\pi(e+p)/d$ shows that states with special microstructure can lie well below the universal ceiling."],"supporting_citations":[{"why":"Supplies the QNEC inequality in both local and nonlocal forms, which is the starting point of the bound.","marker":"[1–5]"},{"why":"Gives the exact half-space entropy for the boundary-state quench in $d=2$, which saturates the bound at early times.","marker":"[6]"},{"why":"Provides the holographic dual (eternal black brane cut by an end-of-world brane) for the boundary-state quench used in higher dimensions.","marker":"[7]"},{"why":"Develops the early-time holographic expansion of entanglement entropy used to extract $s_2$ for both quench protocols.","marker":"[22, 23]"},{"why":"Defines the holographic entanglement entropy prescription (HRT surfaces) by which the entropy is computed in the bulk.","marker":"[32–34]"},{"why":"Supplies the holographic dictionary that relates the boundary energy density and pressure to the metric coefficient $a_d$.","marker":"[36]"},{"why":"Derives the null-energy-condition constraints on the black brane metric functions used to prove the holographic bound and its saturation condition.","marker":"[58]"}],"fun_headline_variants":["QNEC sets tight bound on early-time entanglement growth","Special CFT quenches saturate the QNEC entropy bound","Entropy growth in quenches capped by quantum null energy","First field-theoretic QNEC application bounds quench entropy"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The tightness claim in dimensions above two rests on the assumption that the boundary-state quench state is described holographically by a planar black brane cut in half by a tensionless end-of-world brane; the paper itself notes this identification is established only for specific boundary states in holographic theories, and the inequality bound does not depend on it, but the saturation claim does.","fun_headline_variants_meta":{"raw":{"variants":["QNEC sets tight bound on early-time entanglement growth","Special CFT quenches saturate the QNEC entropy bound","Entropy growth in quenches capped by quantum null energy","First field-theoretic QNEC application bounds quench entropy"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000301,"raw_usage":{"total_tokens":1708,"prompt_tokens":893,"completion_tokens":815,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":509,"completion_tokens_details":{"reasoning_tokens":743}},"tokens_in":509,"tokens_out":815,"duration_ms":260329,"temperature":1.0,"reasoning_tokens":743,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T05:32:34.348064+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute or measure $s_2$ for a homogeneous, time-reflection-symmetric quench in a relativistic QFT with known energy density and pressure; finding $s_2 > \\pi(e+p)$ would disprove the central bound. For the saturation claim, finding a boundary-state quench in $d>2$ whose half-space $s_2$ is strictly below $\\pi(e+p)$, or any null-energy-respecting bulk geometry that saturates $s_2^{(\\rm holo)}=\\pi(e+p)$ without being the $a(z)=1-z^d$, $b(z)=1$ black brane, would refute tightness while leaving the inequality intact.","supporting_citations":[],"review_version":1}