{"id":"569660ad-294e-4039-ad3b-931a583e2763","arxiv_id":"2610.03576","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For 2D CFT states obeying the primary QNEC, a Page-like entropy excursion of height ΔS and duration T costs E+ ≥ (c/3πT)(e^{6ΔS/c}−1) below ΔS = (c/6)ln2 and E_net ≥ 12ΔS²/(πcT), both sharp as infima over smooth conformal vacua.","lead":"The paper finds the minimum energy that a Page-like bump in entanglement entropy costs in a two-dimensional conformal field theory, assuming the primary quantum null energy condition. It delivers sharp lower bounds on positive, net, and (in the saturating sector) negative null energy, with the exact entropy shapes that achieve them.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek/deepseek-v4-flash","headline":"Internal derivation verified sound; the decisive open condition is the primary QNEC (Eq 11) outside saturating sectors, an assumption the paper explicitly flags, whose truth decides whether the E+ and Enet bounds reach any non-kinematic regime.","rationale":"The reader's CONDITIONAL verdict is keyed to the primary QNEC as the weakest assumption, and my independent work agrees. I re-derived the main chain pass by pass and found it internally consistent: the KKT optimizer and f_α,R(z), the two-branch g_α(R), the exact and amplitude-independent saturation of (56) by the linear-entropy profile, the E− bookkeeping via 2M downward variation, and the N=2 consistency of the multi-segment bound (74) with the complete-pulse bound (54). I therefore cannot report an internal inconsistency; the derivation holds up under scrutiny. The load-bearing risk is the reach of the central claim: sharpness is established only over saturating conformal vacua (Sec VI), so every non-saturating instance of (55), (56), and condition (82) rests on an unproven strengthened inequality. That is a reach/correctness-risk issue (the assumption is named in b27 and shaped by ref [9]), not a circularity or a soundness flaw. Two smaller items, both external, are also present: the factor-of-two comparison with ref [10] is asserted without reproduction, and Appendix C's derivation of (74) omits the per-segment rescaling, though I reconstructed it (scale invariance of (ψ'/ψ)² makes it valid). Neither changes the verdict. CONDITIONAL remains the right verdict; my verification reinforces it rather than weakening it, so verdict_should_be is UNCHANGED. A single direct computation of inequality (11) in a quenched or thermal 2D CFT state would settle whether the bounds extend beyond the saturating kinematic sector.","tokens_in":14118,"tokens_out":18569,"duration_ms":104231,"concrete_test":"Test the primary QNEC directly in a non-saturating, non-Bañados 2D CFT state class, e.g. the quenched CFTs of ref [9] (Kibe–Roy 2025) or a finite-temperature state under a null interval deformation. For the state's null-deformed entanglement entropy S(u), compute both F(u)=⟨T_uu⟩ and FS(u)=(1/2π)[S''(u)+(6/c)S'²(u)] and check inequality (11) pointwise. If any admissible (state, region, regulator, deformation) violates (11), then (55), the (56) coefficient, and (82) do not apply to that class and the verdict should be narrowed to a saturating-sector-only statement; if (11) holds, the bounds extend. Secondary check: retrieve Abdolrahimi–Page PRD 92, 083005 and confirm the Enet coefficient quoted there is exactly half of 12ΔS²/(πcT).","verdict_should_be":"UNCHANGED","load_bearing_attack":"I independently re-derived the optimization chain and found it sound: the KKT solution p*=min{aψ,M} (44) reproduces f_α,R(z) (49); the stated roots z±=R/(1±q) coincide with R(1∓q)/α; the one-sided bound (52) applied to a complete pulse as N=2 symmetric segments reproduces (54) exactly (the 4K/T factor), so (74)–(75) are internally consistent with the single-pulse result; the E− bound (60) follows from total downward variation 2M at the shared peak with M=2(R−1)/T; and g_1(R)=(ln R)² with R=e^{6ΔS/c} gives exactly the Enet coefficient 12ΔS²/(πcT) in (56) at all amplitudes, with the linear-entropy profile saturating. No internal error found.\n\nThe single load-bearing condition is the primary QNEC, F(u) ≥ FS(u), explicitly assumed (b27, Eq 11). The variational reduction, the sharpness claim (Sec VI.A), the multi-segment Cauchy–Schwarz bound (74), and the necessary condition Σ√(ΔS_i/c)<∞ (82) are all kinematic consequences of that inequality plus the Bianchi–Smerlak relation. Sharpness is demonstrated only within the saturating sector (smooth conformal vacua, Sec VI.B); for a general non-saturating QNEC state the bound (55) reduces to E+ ≥ E+[FS], and whether any state exists with F > FS in an intended physical class is open. If the primary QNEC fails for thermal, quenched, or other physically motivated states, the two-branch E+ bound, the Enet coefficient, and condition (82) all lose every non-saturating instance. This is the paper's own acknowledged limitation (b27, ref [9]), but it is nonetheless the load-bearing one.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek/deepseek-v4-flash","summary":"The manuscript derives conditional lower bounds on the null energy required to realize a prescribed 'complete entropy excursion' (S(u)=S0 outside an affine interval of duration T, S∈[S0,S0+ΔS] inside) in 2D CFT states satisfying the primary QNEC (Eq. 11). The main results are: a sharp two-branch bound on the positive energy E+ (Eq. 55) with threshold ΔS=(c/6)ln2 and explicit optimal entropy profiles; a sharp net-energy bound Enet ≥ 12ΔS²/(πcT) (Eq. 56), stated to be a factor of two larger than the value of Abdolrahimi and Page [10]; a sharp bound E− ≥ (c/3πT)(1−e^{−6ΔS/c}) (Eq. 60) restricted to the QNEC-saturating sector; a Pareto-frontier analysis (Eq. 63, Fig. 3); and a necessary condition Σ√(ΔS_i/c)<∞ for finite total positive energy under an infinite sequence of small sub-excursions (Eq. 82). The method is a constrained variational calculus in the relaxed class where ψ'∈BV (allowing δ-function flux impulses): level-crossing rearrangement to a monotone rise and fall (Sec. III.B), KKT solution of the one-segment problem giving p*=min{aψ,M} (Eq. 44), exact minimization of f_{α,R} (Eqs. 49–51), a Cauchy-Schwarz time-allocation argument for N segments (Eqs. 74–75), a mollification argument for sharpness over smooth conformal vacua (Sec. VI.A), and a sinusoidal-pulse test (Sec. VIII) with analytic ratios π/2 and π²/8. The present referee independently re-derived the central chain (Eqs. 44–56 and 74–75) and found it internally consistent.","tokens_in":14616,"tokens_out":47832,"duration_ms":562188,"significance":"If the primary QNEC (Eq. 11) holds in the intended physical classes, the results are sharp, parameter-free, and falsifiable: explicit minimizers are given for every branch, the constants are infima over smooth conformal vacua, and the sinusoidal test supplies concrete dimensionless ratios (π/2, π²/8) that can be checked against the bounds. The factor-of-two improvement over the Abdolrahimi-Page value [10] and the C¹-matching of the two E+ branches at R=2 are clean, testable claims. The variational core is transparent and was verified independently; the paper also contains an honest, clearly flagged conditional scope: all bounds live inside the primary-QNEC class, whose validity outside the saturating conformal-vacuum and Bañados sectors is explicitly acknowledged to be an assumption (Sec. II.B, ref [9]), and the E− bound is additionally restricted to the saturating sector by the reversal (57), which the authors state correctly. The main open question, as the paper itself admits, is whether any physically motivated non-saturating states exist in which (11) is satisfied; the value of the results for thermal, quenched, or other settings depends entirely on that question.","major_comments":[{"comment":"The advertised sharpness of all constants as infima over smooth conformal vacua rests on the asserted convergence ∥D²ψε∥TV→∥D²ψ∗∥TV in (65), but this property is stated without proof, and it is not implied by the displayed weak-* convergence together with smoothness of the mollifiers. The strict-convergence implication needed for (66) is exactly the convergence of the Jordan masses, which requires the total-variation statement; please supply the argument (or a standard BV-approximation lemma) that the compression-then-mollification construction has converging total variation, and in particular that the boundary layers created by compressing v∗ into [2ε,τ−2ε] reproduce, rather than alter, the atomic masses of D²ψ∗ in the limit. Please also confirm explicitly that the smoothed approximants are admissible for the stated duration T (the compressed rise occupies τ−2ε, with the remainder filled by constant phases), since equality-tolerance in the duration constraint is part of what converts attainment in the relaxed class into an infimum in the smooth class.","section":"Sec. VI.A (Eqs. 64–66)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"This is the decisive open condition for the applicability of (55), (56), and (82): the primary QNEC is established only in the saturating conformal-vacuum and vacuum-Bañados classes [7], and the authors rightly flag its use elsewhere as an explicit assumption (Eq. 11 and ref [9]). What the manuscript leaves unresolved is a statement of the present evidence and a concrete test of (11) in candidate non-saturating states (e.g., a thermal state or the quenched CFTs of ref [9]: one can in principle compute F−FS on the null-deformed interval and check nonnegativity), together with an explicit declaration of which advertised bounds survive if (11) is violated there. This matters because the observation in Sec. IV.A that the E+ minimum can be attained with Q>0 (non-saturating states with extra negative flux where FS<0) shows the attainability domain is wider than the saturating sector; the text should state that this widening is itself conditional on the same unverified (11). A paragraph in the Discussion addressing these points would make the reach of the paper match its abstract.","section":"Sec. II.B, Eq. (11); Sec. IV.A","authors_acknowledge":"Primary QNEC and energy cost We assume that the state, region, regulator, and affine null deformation obey the primary two-dimensional QNEC, F(u)≥F S(u) = 1 2π [ S′′(u) + 6 cS′(u)2 ] .(11) This strengthened form is saturated in the conformal- vacuum sector discussed above and, in holographic CFTs, for states dual to vacuum Bañados geometries [7].","authors_acknowledge_p":0.63},{"comment":"The derivation of the multi-segment bound (74) applies the one-segment bound (52) to each monotone segment of an excursion whose interior segments share endpoints with their neighbors. In the relaxed class the flux measure contains atomic terms at the turnover points (Eq. 19), so the additivity of E± over segments needs an explicit bookkeeping statement: each shared atom must be assigned to exactly one segment, and the per-segment lower bounds (37)–(39) must use only that segment's own speed extrema so that the atom at a shared peak is counted exactly once (as 2M when rise and fall are symmetric). A few sentences in Appendix C would remove the only remaining ambiguity in the chain (52)→(74). Relatedly, in Sec. III.B the reduction argument explicitly controls Em_net and the maximal speed, whereas (52)–(54) bound the functional Cα = Enet + (1−α)E−; please spell out that the same per-segment E− bound transfers to arbitrary oscillatory profiles, or state that (54)–(56) are claims about the infimum over the relaxed class, which is what the reduction actually establishes.","section":"Appendix C (Eqs. 73–75) and Sec. III.B","authors_acknowledge":null,"authors_acknowledge_p":null}],"minor_comments":[{"comment":"The saturating flux in (85) carries an ℏc factor while (3), (8), and the energy formulas (88)–(93) do not; please fix the unit convention (state once that ℏ=c=1 is used throughout, or remove the stray ℏ) so the comparisons (90) and (93) are dimensionally transparent.","section":"Sec. VIII, Eq. (85)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The sentence explaining that the absolute minimum of E+ can be attained by states that do not saturate the QNEC would be fully self-contained if it stated the explicit condition R0=0⇔[F]+=[FS]+, i.e., F=FS wherever FS>0 and F∈[FS,0] wherever FS<0.","section":"Sec. IV.A","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The first line of Appendix C reads 'From (52), on has first'; it should read 'one has first'.","section":"Appendix C","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The symbol ū is used inside the display (61) but defined only in the surrounding sentence as ū=min{u,T−u}; moving the definition before the display would help the reader.","section":"Eq. (61)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The caption says the dashed and dotted lines are the analytic limits π/2 and π²/8 but does not say which line is which; please label each curve with its limit.","section":"Fig. 4","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The effective crossing speed p(y) defined in (28) is distinct from the ray-tracing function p(u) of (2); the text notes this parenthetically, but renaming one of the two (for instance using w(y) for the crossing speed) would prevent reader confusion.","section":"Sec. III.B, Eq. (28)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The factor-of-two comparison with the Enet value quoted in [10] would benefit from a short dictionary between the quantities used in [10] (entropy amplitude, duration, central charge, and the definition of net energy) and ΔS, T, c used here, so that the factor two is unambiguous to a reader who does not consult [10].","section":"Sec. IV.A, comparison with [10]","authors_acknowledge":null,"authors_acknowledge_p":null}],"recommendation":"major_revision","confidential_remarks":"The mathematical content is sound: I re-verified the variational chain (Eqs. 44–56 and 74–75) and found no internal error, and both the reader's report and the stress-test note reach the same conclusion. The paper is an honest conditional theorem; its main risk is the gap between the title-level framing ('two-dimensional conformal field theory', Page-like excursions) and the assumed primary QNEC, which is established only in saturating classes and remains open elsewhere (ref [9] itself is very recent). The requested revision is bounded: supply the missing convergence argument in Sec. VI.A, clarify the segment-additivity bookkeeping in Appendix C and the reduction in Sec. III.B, and add a Discussion passage on the evidence and testability of (11) in non-saturating states. No citation-practice concerns: there are no self-citations and the reference list is appropriate. I expect the paper to be publishable after these points are addressed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek/deepseek-v4-flash","letter":"This paper does what it says on the tin: sharp lower bounds on positive, negative, and net null energy for Page-like entropy excursions in 2D CFT, conditional on the primary QNEC (Eq 11). The derivation is the real content, and it survives checking. I traced the KKT step, p* = min{a psi, M} (44) to f_{alpha,R}(z) (49), the roots z+/- = R/(1 +/- q), the two-branch structure of g_alpha(R) (51), and the C^1 matching at R = 2. The net-energy coefficient 12 DeltaS^2/(pi c T) follows cleanly from a triangular linear profile, and the sinusoidal test ratio pi^2/8 reproduces. No fitted parameters, no invented entities; the constants are genuine infima over smooth conformal vacua (Sec VI), and the paper proves that rather than assuming it. The sum sqrt(DeltaS_i / c) < infinity condition in Sec VII is a nice consequence, stronger than finite total variation, and correctly flagged as physically idealized.\n\nWhat is new: the sharp two-branch E+ bound with threshold (c/6) ln 2, the doubled E_net constant relative to [10], the saturating-sector E- bound, the optimal-profile classification (linear/logarithmic/mixed), and the Pareto frontier. Against the paper's own citations these are genuinely absent from the prior literature.\n\nThe soft spots, in proportion. First, the load-bearing premise is the primary QNEC, F >= F_S. The paper says this outright (b27, ref [9]): it holds and saturates in conformal vacua and holographic Banados states, and use elsewhere is an explicit assumption. If primary QNEC fails for thermal, quenched, or other physical states, the E+ and E_net bounds lose every non-saturating instance, and the E- bound is already restricted to the saturating sector by the authors' own logic (b71, b73). This is not a hidden flaw; it is an honestly stated condition, but it caps the physical reach, and a referee should say so plainly. Second, the factor-of-two comparison with [10] is asserted without reproducing the quoted value. [10] is published, so this is a ten-minute verification, not a substantive gap, but the paper should show it. Third, the reader flagged a single-sentence jump to the multi-segment bound (74); Appendix C actually contains the Cauchy-Schwarz and time-allocation argument, so I think that concern is largely answered in the text, though the per-segment additivity could be spelled out a bit more. Minor at worst.\n\nBottom line: this is a serious, well-executed variational calculation with honest scope conditions. It deserves a real referee. My request to the authors would be: verify the [10] comparison explicitly, and expand the multi-segment step. Anyone working on QNEC, energy inequalities, moving mirrors, or holographic 2D CFT gets value from this; I would bring it to reading group and I would cite it.","headline":"Clean, honest variational result: sharp null-energy bounds for Page-like entropy excursions in 2D CFT, conditional on the primary QNEC, and the math holds up under independent checking.","tokens_in":16028,"tokens_out":970,"would_cite":true,"duration_ms":22806,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek/deepseek-v4-flash","headline":"For 2D CFT states satisfying a strengthened quantum null-energy condition (QNEC), the paper derives sharp lower bounds on the positive, net, and negative null energies required to traverse a Page-like entanglement-entropy excursion.","keywords":["quantum null energy condition","entanglement entropy excursion","Page curve","two-dimensional conformal field theory","sharp energy bounds","Bianchi-Smerlak relation","moving mirror","variational problem"],"falsifier":"Construct numerically a smooth conformal vacuum (or a holographic state dual to a vacuum Bañados geometry) whose complete Page-like entropy excursion of height ΔS and duration T yields positive null energy below min{(c/3πT)($e^{{6ΔS/c}}$ − 1), (c/3πT)(1 + 6ΔS/c − ln2)²}, or net energy below 12ΔS²/(πcT), or saturating-sector negative energy below (c/3πT)(1 − $e^{{−6ΔS/c}}$); since the constants are claimed to be infima over smooth conformal vacua, a direct computation of E+ and Enet for pulses of the optimal (linear, logarithmic, or mixed) profile, carried to numerical precision in the ε→0 smoothing limit, would settle whether the bounds can be beaten.","tokens_in":15377,"feed_emoji":"⚛️","tokens_out":7265,"duration_ms":41727,"temperature":0.7,"pith_summary":"The paper asks what it minimally costs in null energy for a two-dimensional conformal field theory to traverse a prescribed Page-like excursion of entanglement entropy over a fixed affine time. For states obeying the primary quantum null energy condition — a strengthened inequality that saturates in conformal vacua and in holographic vacua — the answer is a sharp two-branch lower bound on positive null energy with a threshold at ΔS = (c/6)ln2, plus a sharp bound on net energy that is exactly twice the value quoted earlier by Abdolrahimi and Page. In the QNEC-saturating sector the paper also obtains a sharp lower bound on negative energy. The constants are shown to be infima over smooth conformal vacua, so they cannot be improved within that class, and the entropy profiles attaining each bound are identified explicitly. A final result is that an infinite sequence of small sub-excursions within finite duration requires the summability condition ∑√(ΔS_i/c) < ∞ for the total positive energy to stay finite, which is stricter than requiring finite total entropy variation.","feed_headline":"Two-branch QNEC bound sets minimal Page-pulse energy","feed_subtitle":"In 2D CFT, positive and net null energies obey sharp lower bounds; the net bound doubles the earlier value","key_machinery":"The load-bearing object is the Bianchi-Smerlak entropy-flux relation F_S(u) = (1/2π)[S''(u) + (6/c)S'²(u)], which fixes the null flux of a conformal vacuum in terms of the entanglement entropy and its derivatives. Substituting ψ = exp[(6/c)(S − S0)] rewrites it as F_S = K ψ''/ψ with K = c/12π, converting the energy cost into a one-dimensional variational problem over the positive profile ψ. The paper minimizes a cost function C_α = E+ − αE− over monotone rising-and-falling pulses, using the fact that a minimizing complete pulse is a single monotone rise and fall, and solves the constrained optimization (fixed duration, bounded slope M) through a KKT analysis that yields the bang-bang profile p*(ψ) = min{aψ, M}. The threshold ΔS = (c/6)ln2 (equivalently R = $e^{{6ΔS/c}}$ = 2) is where the active constraint regime switches, producing the two branches of the E+ bound. Sharpness is established by mollifying the relaxed BV optimizers into smooth conformal vacua with convergent second-distributional-derivative measures.","core_discovery":"The central claim is that the energy cost of a complete Page-like entropy excursion is fixed from below by the saturating-sector profile determined through the Bianchi-Smerlak entropy-flux relation. For positive null energy the sharp bound is piecewise: E+ ≥ (c/3πT)($e^{{6ΔS/c}}$ − 1) for ΔS ≤ (c/6)ln2 and E+ ≥ (c/3πT)(1 + 6ΔS/c − ln2)² above that threshold; the switch at ΔS = (c/6)ln2 reflects a change in the active constraint regime of the underlying variational problem. For net energy the bound Enet ≥ 12ΔS²/(πcT) doubles the coefficient quoted by Abdolrahimi and Page. In the QNEC-saturating sector, E− ≥ (c/3πT)(1 − $e^{{−6ΔS/c}}$). Because every state satisfying the primary QNEC dominates the saturating profile pointwise, the positive- and net-energy bounds transfer to the full QNEC class, while the negative-energy bound is shown not to transfer and is stated only for the saturating sector. Sharpness is established by smoothing the relaxed optimizers: as ε→0 the relaxed values are realized as limits of smooth conformal vacua, so the constants are infima over that class.","pith_inferences":["If the primary QNEC holds generically beyond the known sectors, the two-branch feature at ΔS = (c/6)ln2 should be observable as a sharp discontinuity in the energy cost of entanglement-entropy pulses in holographic computations for vacuum Bañados states; a direct test there would check whether the bounds tighten or are beaten.","The factor-of-two gap with the Abdolrahimi-Page value suggests the earlier bound is not sharp, and the relaxed-class variational machinery identifies where the slack enters; re-deriving that older value from the same formalism would confirm the improvement is genuine rather than artifact.","The √ΔS_i summation condition is reminiscent of compactness-type requirements and may transfer to other settings with an entropy-flux relation, such as moving-mirror models, where finiteness of energy for oscillatory profiles could be tested numerically.","Since a general conformal reparametrization changes positive and negative flux parts separately, a scaling-consistent version of these bounds uniform under time rescalings would require additional work beyond the affine-duration statement given here."],"forward_implications":["Any Page-like entropy excursion in a primary-QNEC state of a 2D CFT carries positive null energy at least (c/3πT)(e^{6ΔS/c} − 1) for small heights and (c/3πT)(1 + 6ΔS/c − ln2)² for heights above ΔS = (c/6)ln2, so information-paradox-motivated protocols in this framework cannot evade a definite energy floor.","The net-energy bound Enet ≥ 12ΔS²/(πcT) is a factor of two stronger than the value quoted by Abdolrahimi and Page, tightening the semiclassical constraint on black-hole-radiation energy-entropy trade-offs.","The saturating-sector bound E− ≥ (c/3πT)(1 − e^{−6ΔS/c}) fixes the minimum negative-energy cost of a complete pulse in QNEC-saturating states, complementing quantum-interest and quantum-energy inequalities.","The summability condition ∑√(ΔS_i/c) < ∞ for finite positive energy under an infinite sequence of small sub-excursions is stronger than finite total entropy variation, so highly oscillatory entropy profiles with ∑ΔS_i < ∞ can still demand divergent positive energy.","The optimizing entropy profiles (linear, logarithmic, and mixed linear-logarithmic) are explicitly identified, giving concrete templates for constructing extremal moving-mirror and holographic pulses."],"supporting_citations":[{"why":"Supplies the Bianchi-Smerlak entropy-flux relation F_S(u) = (1/2π)[S'' + (6/c)S'²], which is the central object the bounds are built on.","marker":"[5]"},{"why":"Establishes that holographic CFTs dual to vacuum Bañados geometries saturate the primary QNEC, defining the class of states in which the saturating-sector bounds apply.","marker":"[7]"},{"why":"The source for the statement that using the primary QNEC outside conformal vacua and Bañados states is an explicit assumption, which is the paper's load-bearing premise.","marker":"[9]"},{"why":"Quotes the earlier net-energy value that the paper's Enet bound improves by a factor of two; the baseline the new bound must beat.","marker":"[10]"},{"why":"Provides the conformal-anomaly formula for the null flux in a moving-mirror vacuum, the starting point for deriving the entropy-flux relation.","marker":"[2]"},{"why":"Companion formula for radiation from moving mirrors and black holes, anchoring the flux-to-entropy correspondence.","marker":"[3]"},{"why":"Gives the renormalized entanglement entropy formula used to define the finite entropy difference underlying the Bianchi-Smerlak relation.","marker":"[4]"},{"why":"The information-paradox argument that motivates studying Page-like entropy profiles and constraining their physical realizability.","marker":"[1]"}],"fun_headline_variants":["Sharp null-energy bounds set cost floor for Page-like entropy pulses","Page entropy excursions face tighter 2D CFT energy floors","Two-branch QNEC bound governs Page pulse energy cost","Net-energy bound doubles for Page-like entropy excursions","Minimal energy for entropy excursions fixed by 2D CFT QNEC"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The load-bearing premise is the primary quantum null energy condition, F(u) ≥ F_S(u) = (1/2π)[S''(u) + (6/c)S'²(u)]: if a physical state of interest does not obey this strengthened inequality, none of the three energy bounds applies, and the paper explicitly marks its use outside conformal vacua and holographic Bañados vacua as an assumption.","fun_headline_variants_meta":{"raw":{"variants":["Sharp null-energy bounds set cost floor for Page-like entropy pulses","Page entropy excursions face tighter 2D CFT energy floors","Two-branch QNEC bound governs Page pulse energy cost","Net-energy bound doubles for Page-like entropy excursions","Minimal energy for entropy excursions fixed by 2D CFT QNEC"]},"model":"deepseek/deepseek-v4-flash","effort":"low","cost_usd":0.000313,"raw_usage":{"cost":0.00031262,"is_byok":false,"cost_details":{"upstream_inference_cost":0.00031262,"upstream_inference_prompt_cost":0.00017234,"upstream_inference_completions_cost":0.00014028},"total_tokens":1732,"prompt_tokens":1231,"completion_tokens":501,"prompt_tokens_details":{"audio_tokens":0,"video_tokens":0,"cached_tokens":0,"cache_write_tokens":0},"completion_tokens_details":{"audio_tokens":0,"image_tokens":0,"reasoning_tokens":428}},"tokens_in":1231,"tokens_out":501,"cost_source":"openrouter_usage","duration_ms":6470,"image_pages":[],"temperature":1.0,"billed_attempts":1,"reasoning_tokens":428,"transport_provider":"openrouter","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-10-05T06:25:57.912410+00:00","model_set":{"reader":"deepseek/deepseek-v4-flash"},"falsifier":"Construct numerically a smooth conformal vacuum (or a holographic state dual to a vacuum Bañados geometry) whose complete Page-like entropy excursion of height ΔS and duration T yields positive null energy below min{(c/3πT)($e^{{6ΔS/c}}$ − 1), (c/3πT)(1 + 6ΔS/c − ln2)²}, or net energy below 12ΔS²/(πcT), or saturating-sector negative energy below (c/3πT)(1 − $e^{{−6ΔS/c}}$); since the constants are claimed to be infima over smooth conformal vacua, a direct computation of E+ and Enet for pulses of the optimal (linear, logarithmic, or mixed) profile, carried to numerical precision in the ε→0 smoothing limit, would settle whether the bounds can be beaten.","supporting_citations":[{"cited_title":"Geometric and Renormalized Entropy in Conformal Field Theory","cited_arxiv_id":"hep-th/9403108","evidence_quote":"Supplies the Bianchi-Smerlak entropy-flux relation F_S(u) = (1/2π)[S'' + (6/c)S'²], which is the central object the bounds are built on."},{"cited_title":"Entanglement entropy production in gravitational collapse: covariant regularization and solvable models","cited_arxiv_id":"1409.0144","evidence_quote":"Establishes that holographic CFTs dual to vacuum Bañados geometries saturate the primary QNEC, defining the class of states in which the saturating-sector bounds apply."},{"cited_title":"Quantum thermodynamics of holographic quenches and bounds on the growth of entanglement from the QNEC","cited_arxiv_id":"2109.09914","evidence_quote":"The source for the statement that using the primary QNEC outside conformal vacua and Bañados states is an explicit assumption, which is the paper's load-bearing premise."},{"cited_title":"Quantum null energy condition in quenched 2d CFTs","cited_arxiv_id":"2503.17448","evidence_quote":"Quotes the earlier net-energy value that the paper's Enet bound improves by a factor of two; the baseline the new bound must beat."},{"cited_title":"Information in black hole radiation, Physical Review Letters71, 3743","cited_arxiv_id":null,"evidence_quote":"Provides the conformal-anomaly formula for the null flux in a moving-mirror vacuum, the starting point for deriving the entropy-flux relation."},{"cited_title":"Radiation from a moving mirror in two dimensional space-time: Conformal anomaly, Proceedings of the Royal Society of London A 348, 393","cited_arxiv_id":null,"evidence_quote":"Companion formula for radiation from moving mirrors and black holes, anchoring the flux-to-entropy correspondence."},{"cited_title":"Radiation from moving mirrors and from black holes, Proceedings of the Royal 10 Society of London A356, 237","cited_arxiv_id":null,"evidence_quote":"Gives the renormalized entanglement entropy formula used to define the finite entropy difference underlying the Bianchi-Smerlak relation."},{"cited_title":"(A1) Since F=F S + ∆Q, Q= ∫ ∆Q du,(A2) it follows that Cα[F] =α ∫ FS du+ (1−α) ∫ [FS]+ du+αQ + (1−α) ∫ ([F] +−[FS]+) du.(A3) The first two terms giveCα[FS]","cited_arxiv_id":null,"evidence_quote":"The information-paradox argument that motivates studying Page-like entropy profiles and constraining their physical realizability."}],"review_version":1}