A general proof of integer R\'enyi QNEC
Pith reviewed 2026-05-19 15:45 UTC · model grok-4.3
pith:2IQ67SCM Add to your LaTeX paper
What is a Pith Number?\usepackage{pith}
\pithnumber{2IQ67SCM}
Prints a linked pith:2IQ67SCM badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more
The pith
The sandwiched Rényi divergence obeys a null energy condition for every integer order two and higher in algebras equipped with half-sided modular inclusions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For any sigma-finite von Neumann algebra carrying a half-sided modular inclusion, the Kosaki L^n norm of any normal positive functional with finite L^n norm is log-convex under the null-translation semigroup generated by the inclusion. This log-convexity directly implies that the second null shape variation of the sandwiched Rényi divergence of an excited state relative to the vacuum is non-negative for every integer n greater than or equal to two, provided only that the divergence is finite.
What carries the argument
Log-convexity of the Kosaki L^n norm under the null-translation semigroup generated by a half-sided modular inclusion.
If this is right
- The Rényi quantum null energy condition holds for all integer Rényi parameters n at least 2.
- The result applies to any excited state whose sandwiched Rényi divergence relative to the vacuum is finite.
- The proof covers a broad class of von Neumann algebras beyond those previously treated.
- The ordinary quantum null energy condition is recovered in the limit as n approaches 1.
Where Pith is reading between the lines
- The log-convexity technique may extend to non-integer Rényi parameters via suitable interpolation.
- The result provides a template for other inequalities derived from modular semigroup actions in algebraic quantum field theory.
- Concrete models on null surfaces can be checked for saturation of the integer Rényi bounds.
Load-bearing premise
The von Neumann algebra must possess a half-sided modular inclusion that generates the null-translation semigroup.
What would settle it
An explicit sigma-finite von Neumann algebra with a half-sided modular inclusion together with a normal positive functional of finite L^n norm whose Kosaki L^n norm fails to be log-convex along the semigroup action.
read the original abstract
The R\'enyi quantum null energy condition conjectures that the second null shape variation of the sandwiched R\'enyi divergence (SRD) of an excited state relative to the vacuum is non-negative in local Poincar\'e-invariant quantum field theory, giving a one-parameter generalization of the quantum null energy condition (QNEC). We prove R\'enyi QNEC for all integer R\'enyi parameters $n\geq 2$ for von Neumann algebras carrying a half-sided modular inclusion structure. The only assumption on the excited state is finiteness of its SRD relative to the vacuum. Concretely, for any $\sigma$-finite von Neumann algebra with such an inclusion, we prove log-convexity, under the associated null-translation semigroup, of the Kosaki $L^n$ norm of any normal positive functional with finite $L^n$ norm.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves the Rényi quantum null energy condition (QNEC) for all integer Rényi parameters n ≥ 2 in σ-finite von Neumann algebras equipped with a half-sided modular inclusion. The central technical step is a proof that the Kosaki L^n norm of any normal positive functional with finite L^n norm is log-convex under the null-translation semigroup generated by the inclusion; this log-convexity is shown to imply the desired Rényi QNEC inequality. The sole assumption on the excited state is finiteness of its sandwiched Rényi divergence relative to the vacuum.
Significance. If correct, the result supplies a rigorous, parameter-free algebraic proof of a one-parameter family of QNEC inequalities that reduces to the standard QNEC at n=2. The explicit finiteness assumption on the SRD and the reliance on standard properties of modular inclusions and semigroup actions are strengths; the work therefore provides a clean, falsifiable statement that can be checked in concrete models possessing half-sided modular inclusions.
minor comments (2)
- The transition from log-convexity of the Kosaki norm to the second null shape variation of the SRD (the actual Rényi QNEC statement) is only sketched in the abstract; a short dedicated paragraph or lemma in the main text would make the implication fully explicit for readers.
- Notation for the null-translation semigroup and the associated modular operator could be introduced once in a preliminary section and then used consistently, rather than re-defined inline in the proof.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the positive assessment that leads to a recommendation of acceptance. The referee's summary accurately reflects the scope of the result: a proof of the integer Rényi QNEC for n ≥ 2 in σ-finite von Neumann algebras with half-sided modular inclusions, relying only on finiteness of the sandwiched Rényi divergence to the vacuum and on the log-convexity of the relevant Kosaki L^n norms under the null-translation semigroup.
Circularity Check
No significant circularity; derivation is a self-contained mathematical proof
full rationale
The paper establishes log-convexity of the Kosaki L^n norm for normal positive functionals with finite norm, under the null-translation semigroup generated by a half-sided modular inclusion in a σ-finite von Neumann algebra. This log-convexity is proven from standard properties of modular operators, semigroups, and functional analysis (e.g., properties of the modular inclusion and associated actions), then used to imply the Rényi QNEC inequality for integer n ≥ 2 given only finiteness of the sandwiched Rényi divergence. No step reduces by construction to a fitted input, self-definition, or load-bearing self-citation chain; the central claim rests on independent mathematical structure rather than renaming or smuggling prior results from the same authors. The derivation chain is therefore self-contained against external benchmarks in operator algebra theory.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Half-sided modular inclusion structure on a σ-finite von Neumann algebra generates a null-translation semigroup
- standard math Standard properties of Kosaki L^n norms and sandwiched Rényi divergence hold for normal positive functionals
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
we prove log-convexity, under the associated null-translation semigroup, of the Kosaki L^n norm of any normal positive functional with finite L^n norm
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
A Quantum Focussing Conjecture
R. Bousso, Z. Fisher, S. Leichenauer and A.C. Wall,Quantum focusing conjecture,Phys. Rev. D93(2016) 064044 [1506.02669]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[2]
Proof of the Quantum Null Energy Condition
R. Bousso, Z. Fisher, J. Koeller, S. Leichenauer and A.C. Wall,Proof of the Quantum Null Energy Condition,Phys. Rev. D93(2016) 024017 [1509.02542]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[3]
T.A. Malik and R. Lopez-Mobilia,Proof of the quantum null energy condition for free fermionic field theories,Phys. Rev. D101(2020) 066028 [1910.07594]
-
[4]
Holographic Proof of the Quantum Null Energy Condition
J. Koeller and S. Leichenauer,Holographic Proof of the Quantum Null Energy Condition, Phys. Rev. D94(2016) 024026 [1512.06109]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[5]
A General Proof of the Quantum Null Energy Condition,
S. Balakrishnan, T. Faulkner, Z.U. Khandker and H. Wang,A General Proof of the Quantum Null Energy Condition,JHEP09(2019) 020 [1706.09432]
-
[6]
Recovering the QNEC from the ANEC
F. Ceyhan and T. Faulkner,Recovering the QNEC from the ANEC,Commun. Math. Phys. 377(2020) 999 [1812.04683]
work page internal anchor Pith review Pith/arXiv arXiv 2020
-
[7]
S. Hollands and R. Longo,A New Proof of the QNEC,Commun. Math. Phys.406(2025) 269 [2503.04651]
-
[8]
A Lower Bound on the Energy Density in Classical and Quantum Field Theories
A.C. Wall,Lower Bound on the Energy Density in Classical and Quantum Field Theories, Phys. Rev. Lett.118(2017) 151601 [1701.03196]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[9]
Klinkhammer,Averaged energy conditions for free scalar fields in flat space-times,Phys
G. Klinkhammer,Averaged energy conditions for free scalar fields in flat space-times,Phys. Rev. D43(1991) 2542
work page 1991
-
[10]
A holographic proof of the averaged null energy condition
W.R. Kelly and A.C. Wall,Holographic proof of the averaged null energy condition,Phys. Rev. D90(2014) 106003 [1408.3566]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[11]
Modular Hamiltonians for Deformed Half-Spaces and the Averaged Null Energy Condition
T. Faulkner, R.G. Leigh, O. Parrikar and H. Wang,Modular Hamiltonians for Deformed Half-Spaces and the Averaged Null Energy Condition,JHEP09(2016) 038 [1605.08072]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[12]
Averaged Null Energy Condition from Causality
T. Hartman, S. Kundu and A. Tajdini,Averaged Null Energy Condition from Causality, JHEP07(2017) 066 [1610.05308]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[13]
Light-ray operators in conformal field theory,
P. Kravchuk and D. Simmons-Duffin,Light-ray operators in conformal field theory,JHEP11 (2018) 102 [1805.00098]
-
[14]
Borchers,The CPT theorem in two-dimensional theories of local observables,Commun
H.J. Borchers,The CPT theorem in two-dimensional theories of local observables,Commun. Math. Phys.143(1992) 315
work page 1992
-
[15]
Wiesbrock,Half sided modular inclusions of von Neumann algebras,Commun
H.W. Wiesbrock,Half sided modular inclusions of von Neumann algebras,Commun. Math. Phys.157(1993) 83
work page 1993
-
[16]
Borchers,On the use of modular groups in quantum field theory,Ann
H.J. Borchers,On the use of modular groups in quantum field theory,Ann. Inst. H. Poincare Phys. Theor.63(1995) 331. – 49 –
work page 1995
-
[17]
H.-J. Borchers,Half-sided modular inclusion and the construction of the poincaré group, Communications in Mathematical Physics179(1996) 703
work page 1996
-
[18]
Extension of the structure theorem of Borchers and its application to half-sided modular inclusions
H. Araki and L. Zsido,Extension of the structure theorem of Borchers and its application to half-sided modular inclusions,Rev. Math. Phys.17(2005) 491 [math/0412061]
work page internal anchor Pith review Pith/arXiv arXiv 2005
- [19]
-
[20]
A. Banerjee, T. Kibe, N. Mittal, A. Mukhopadhyay and P. Roy,Erasure Tolerant Quantum Memory and the Quantum Null Energy Condition in Holographic Systems,Phys. Rev. Lett. 129(2022) 191601 [2202.00022]
- [21]
-
[22]
T. Kibe and P. Roy,Quantum null energy condition in quenched 2D CFTs,Phys. Rev. D 111(2025) 126009 [2503.17448]
-
[23]
M. Mezei and J. Virrueta,The Quantum Null Energy Condition and Entanglement Entropy in Quenches,1909.00919
- [24]
-
[25]
On quantum Renyi entropies: a new generalization and some properties
M. Müller-Lennert, F. Dupuis, O. Szehr, S. Fehr and M. Tomamichel,On quantum Rényi entropies: A new generalization and some properties,J. Math. Phys.54(2013) 122203 [1306.3142]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[26]
M.M. Wilde, A. Winter and D. Yang,Strong Converse for the Classical Capacity of Entanglement-Breaking and Hadamard Channels via a Sandwiched Renyi Relative Entropy, Commun. Math. Phys.331(2014) 593 [1306.1586]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[27]
R\'enyi divergences as weighted non-commutative vector valued $L_p$-spaces
M. Berta, V.B. Scholz and M. Tomamichel,Rényi Divergences as Weighted Non-commutative Vector-ValuedL p -Spaces,Annales Henri Poincare19(2018) 1843 [1608.05317]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[28]
A. Jencova,Rényi relative entropies and noncommutativeLp-spaces,Annales Henri Poincare 19(2018) 2513 [1609.08462]
-
[29]
A. Jenčová,Rényi relative entropies and noncommutativeLp-spaces II,Annales Henri Poincare22(2021) 3235 [1707.00047]
-
[30]
Lashkari,Constraining Quantum Fields using Modular Theory,JHEP01(2019) 059 [1810.09306]
N. Lashkari,Constraining Quantum Fields using Modular Theory,JHEP01(2019) 059 [1810.09306]
- [31]
-
[32]
Roy,Proof of the Rényi quantum null energy condition for free fermions,Phys
P. Roy,Proof of the Rényi quantum null energy condition for free fermions,Phys. Rev. D 108(2023) 045010 [2212.02331]
-
[33]
S. Kato and Y. Ueda,A remark on non-commutativeLp-spaces,Studia Mathematica275 (2023) 235 [2307.01790]
-
[34]
Terp,L p spaces associated with von Neumann algebras, Math
M. Terp,L p spaces associated with von Neumann algebras, Math. Inst. Copenhagen University (1981)
work page 1981
-
[35]
Hiai,Quantumf-Divergences in von Neumann Algebras, Springer Singapore (2021)
F. Hiai,Quantumf-Divergences in von Neumann Algebras, Springer Singapore (2021). – 50 –
work page 2021
-
[36]
Hiai,Lectures on Selected Topics in von Neumann Algebras, EMS Press (2021), 10.4171/elm/32
F. Hiai,Lectures on Selected Topics in von Neumann Algebras, EMS Press (2021), 10.4171/elm/32
-
[37]
H. Kosaki,Applications of the complex interpolation method to a von neumann algebra: Non-commutative lp-spaces,Journal of Functional Analysis56(1984) 29
work page 1984
-
[38]
Noncommutative Burkholder/Rosenthal inequalities II: applications
M. Junge and Q. Xu,Noncommutative Burkholder/Rosenthal inequalities II: applications, arXiv e-prints(2007) arXiv:0705.1952 [0705.1952]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[39]
O. Bratteli and D.W. Robinson,Operator Algebras and Quantum Statistical Mechanics. 1. C* and W* Algebras, Symmetry Groups, Decomposition of States, Springer Berlin, Heidelberg (1979)
work page 1979
-
[40]
Araki,Relative Entropy of States of Von Neumann Algebras,Publ
H. Araki,Relative Entropy of States of Von Neumann Algebras,Publ. Res. Inst. Math. Sci. Kyoto1976(1976) 809
work page 1976
-
[41]
Araki,Relative Entropy for States of von Neumann Algebras II,Publ
H. Araki,Relative Entropy for States of von Neumann Algebras II,Publ. Res. Inst. Math. Sci. Kyoto13(1977) 173
work page 1977
-
[42]
A reduction method for noncommutative $L_p$-spaces and applications
U. Haagerup, M. Junge and Q. Xu,A reduction method for noncommutativeLp-spaces and applications,Transactions of the American Mathematical Society362(2008) 2125 [0806.3635]
work page internal anchor Pith review Pith/arXiv arXiv 2008
- [43]
-
[44]
G. Pisier and Q. Xu,Non-commutative lp-spaces, inHandbook of the Geometry of Banach Spaces, 2003, DOI
work page 2003
-
[45]
Phillips,The adjoint semigroup,Pacific Journal of Mathematics5(1955) 269
R.S. Phillips,The adjoint semigroup,Pacific Journal of Mathematics5(1955) 269
work page 1955
-
[46]
K.-J. Engel and R. Nagel,One-parameter semigroups for linear evolution equations, vol. 194 ofGraduate Texts in Mathematics, Springer-Verlag, New York (2000)
work page 2000
-
[47]
W. Arendt, C.J.K. Batty, M. Hieber and F. Neubrander,Vector-valued Laplace Transforms and Cauchy Problems, vol. 96 ofMonographs in Mathematics, Birkhäuser, Basel, 2nd ed. (2011)
work page 2011
-
[48]
Entanglement Entropy and Quantum Field Theory
P. Calabrese and J.L. Cardy,Entanglement entropy and quantum field theory,J. Stat. Mech. 0406(2004) P06002 [hep-th/0405152]
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[49]
Haagerup,The standard form of von neumann algebras,Mathematica Scandinavica37 (1975) 271
U. Haagerup,The standard form of von neumann algebras,Mathematica Scandinavica37 (1975) 271
work page 1975
-
[50]
R. Olkiewicz and B. Zegarlinski,Hypercontractivity in noncommutativeLp spaces,Journal of Functional Analysis161(1999) 246
work page 1999
-
[51]
M. Junge and Q. Zeng,Noncommutative martingale deviation and Poincaré type inequalities with applications,Probability Theory and Related Fields161(2015) 449
work page 2015
-
[52]
E.A. Carlen and J. Maas,Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance,Journal of Functional Analysis273(2017) 1810
work page 2017
-
[53]
Spohn,Entropy production for quantum dynamical semigroups,J
H. Spohn,Entropy production for quantum dynamical semigroups,J. Math. Phys.19(1978) 1227
work page 1978
-
[54]
Wirth,Exponential Relative Entropy Decay Along Quantum Markov Semigroups, 2505.07549
M. Wirth,Exponential Relative Entropy Decay Along Quantum Markov Semigroups, 2505.07549. – 51 –
-
[55]
Optimized quantum f-divergences and data processing
M.M. Wilde,Optimized quantum f-divergences and data processing,J. Phys. A51(2018) 374002 [1710.10252]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[56]
alpha-z-relative Renyi entropies
K.M.R. Audenaert and N. Datta,alpha-z-relative Renyi entropies,J. Math. Phys.56(2015) 022202 [1310.7178]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[57]
Kato,Onα-z-Rényi divergence in the von Neumann algebra setting,J
S. Kato,Onα-z-Rényi divergence in the von Neumann algebra setting,J. Math. Phys.65 (2024) 042202 [2311.01748]
-
[58]
F. Hiai and A. Jenčová,α-z-Rényi Divergences in von Neumann Algebras: Data Processing Inequality, Reversibility, and Monotonicity Properties inα, z,Commun. Math. Phys.405 (2024) 271 [2404.07617]
-
[59]
V. Chandrasekaran and É.É. Flanagan,Subregion algebras in classical and quantum gravity, 2601.07915
-
[60]
V. Chandrasekaran, G. Penington and E. Witten,Large N algebras and generalized entropy, JHEP04(2023) 009 [2209.10454]
-
[61]
E. Hille and R. Phillips,Functional Analysis and Semi-groups, American Mathematical Society: Colloquium publications, AMS (1981)
work page 1981
-
[62]
T. Fack and H. Kosaki,Generalized s-numbers ofτ-measurable operators,Pacific Journal of Mathematics123(1986) 269
work page 1986
-
[63]
Doob's inequality for non-commutative martingales
M. Junge,Doob’s inequality for non-commutative martingales,J. Reine Angew. Math.(2002) 149 [math/0206062]. – 52 –
work page internal anchor Pith review Pith/arXiv arXiv 2002
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.