Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2212.02331 · Physical review. D/Physical review. D.

Proof of the Rényi quantum null energy condition for free fermions

Pratik Roy

Published Aug 15, 2023• 6 citations
arXivHTMLPDF

Abstract

The quantum null energy condition (QNEC) is usually stated as a bound on the expectation value of null components of the stress-energy tensor at a point in terms of second null shape variations of the entanglement entropy at the same point. It can be recast as the statement that the sign of the second null shape variation of the relative entropy of any state with respect to the vacuum is positive. Using instead a R\'enyi generalization of relative entropy, called sandwiched R\'enyi divergence (SRD), leads to what is termed the R\'enyi QNEC: The second null shape variation of SRD of any state with respect to the vacuum is positive. In this work, we prove the R\'enyi QNEC for free and superrenormalizable fermionic quantum field theories in spacetime dimensions greater than 2 using null quantization, for the case where the R\'enyi parameter $n>1$. We end with comments on multiple possible generalizations.

DOI
10.1103/physrevd.108.045010

Related papers

A Rényi quantum null energy condition: proof for free field theories

Mudassir Moosa

The Quantum Null Energy Condition (QNEC) is a lower bound on the stress-energy tensor in quantum field theory that has been proved quite generally. It can equivalently be phrased as a positivity condition on the second null shape derivative of the relative entropy Srel(ρ||σ) of an arbitrary state ρ with respect to the vacuum σ. The relative entropy has a natural one-parameter family generalization, the Sandwiched Rényi divergence Sn(ρ||σ), which also measures the distinguishability of two states for arbitrary n ∈ [1/2, ∞). A Rényi QNEC, a positivity condition on the second null shape derivative of Sn(ρ||σ), was conjectured in previous work. In this work, we study the Rényi QNEC for free and superrenormalizable field theories in spacetime dimension d > 2 using the technique of null quantization. In the above setting, we prove the Rényi QNEC in the case n > 1 for arbitrary states. We also provide counterexamples to the Rényi QNEC for n < 1.

•Jul 4, 2023•10 citations

A Rényi quantum null energy condition: proof for free field theories

Mudassir Moosa, Pratik Rath, Vincent Paul Su

Abstract The Quantum Null Energy Condition (QNEC) is a lower bound on the stress-energy tensor in quantum field theory that has been proved quite generally. It can equivalently be phrased as a positivity condition on the second null shape derivative of the relative entropy Srel(ρ||σ) of an arbitrary state ρ with respect to the vacuum σ. The relative entropy has a natural one-parameter family generalization, the Sandwiched Rényi divergence Sn(ρ||σ), which also measures the distinguishability of two states for arbitrary n ∈ [1/2, ∞). A Rényi QNEC, a positivity condition on the second null shape derivative of Sn(ρ||σ), was conjectured in previous work. In this work, we study the Rényi QNEC for free and superrenormalizable field theories in spacetime dimension d > 2 using the technique of null quantization. In the above setting, we prove the Rényi QNEC in the case n > 1 for arbitrary states. We also provide counterexamples to the Rényi QNEC for n < 1.

arXiv:2007.15025•Journal of High Energy Physics•Jan 13, 2021•15 citations

A general proof of integer Rényi QNEC

Tanay Kibe, Pratik Roy

We prove the Rényi quantum null energy condition for every integer Rényi order $n\geq2$. In local Poincaré-invariant quantum field theory, this states that the sandwiched Rényi divergence (SRD) of an excited state relative to the vacuum is convex along a future-directed null deformation. We assume that the deformation is realized by the canonical translations of a half-sided modular inclusion and that the divergence is finite for the initial, undeformed algebra. The proof establishes convexity of the SRD along the induced positive contraction semigroup on Haagerup $L^n(M)$, for every non-zero positive initial element. We also establish a Rényi ant formula at every even integer order and, under an additional regularity assumption, at odd integer orders. The Rényi ant formula identifies the negative first null derivative of SRD with a multiple of the infimum of the canonical null-translation energy over vector purifications of an escort state constructed from the excited state and the vacuum.

hep-thCross-listedarXiv:2605.15272•May 18, 2026•0 citations

Proof of the quantum null energy condition for free fermionic field theories

Taha A Malik, Rafael López-Mobilia

The quantum null energy condition (QNEC) is a quantum generalization of the null energy condition, which gives a lower bound on the null energy in terms of the second derivative of the von Neumann entropy or entanglement entropy of some region with respect to a null direction. The QNEC states that $⟨{T}_{kk}{⟩}_{p}\ensuremath{\ge}{\mathrm{lim}}_{A\ensuremath{\rightarrow}0}(\frac{\ensuremath{\hbar}}{2\ensuremath{\pi}A}{S}_{\mathrm{out}}^{\ensuremath{'}\ensuremath{'}})$, where ${S}_{\mathrm{out}}$ is the entanglement entropy restricted to one side of a codimension-2 surface $\mathrm{\ensuremath{\Sigma}}$, which is deformed in the null direction about a neighborhood of point $p$ with area $A$. A proof of QNEC has been given before, which applies to free and super-renormalizable bosonic field theories, and to any points that lie on a stationary null surface. Using similar assumptions and methods, we prove the QNEC for fermionic field theories.

arXiv:1910.07594•Physical review. D/Physical review. D.•Mar 26, 2020•20 citations

Quasi-local form for $α$--$z$ Rényi QNEC from fixed-ray escorts

Tanay Kibe, Pratik Roy

The fixed-ray escort integral representation expresses $α$--$z$ Rényi divergence as an average over ordinary relative entropy of a family of escort states. Working in the standard UV-regulated density-matrix description of QFT subregions, we use this representation to derive an escort-averaged entanglement first law, an escort-averaged representation of the $α$--$z$ information kernel, and an escort-averaged Bekenstein-type bound for ball-shaped regions in conformal field theories. For the conjectural $α$--$z$ quantum null energy condition (QNEC), we obtain a quasi-local form in which the null energy is evaluated in an escort-averaged state and is corrected by an escort-transport term encoding the failure of escort formation to commute with restriction to a null-deformed region. The $z=α$ specialization gives a similar quasi-local form of the Rényi QNEC for sandwiched Rényi divergence. We explicitly compute the Rényi QNEC, including the explicit escort transport term, for coherent-state excitations in a free scalar field theory. For the same coherent family, we obtain a positive $α$--$z$ null Hessian, verifying the conjectured diagonal $α$--$z$ QNEC for this family.

hep-thCross-listedarXiv:2609.04016•Sep 4, 2026•0 citations

The Quantum Null Energy Condition and Entanglement Entropy in Quenches

Márk Mezei, Julio Virrueta

The Quantum Null Energy Condition (QNEC) relates energy to the second variation of entropy in relativistic quantum field theory. We use the QNEC inequality to bound entanglement entropy in quenches. At early times the entanglement entropy grows quadratically in time, and the QNEC provides an upper bound on the prefactor. We demonstrate that the bound is tight, by showing that it is saturated in certain quench protocols: boundary state quenches in conformal field theories in any dimensions. In higher than two dimensions we compute entanglement entropy using AdS/CFT. Our results are the first purely field theoretic applications of the QNEC.

arXiv:1909.00919•Sep 3, 2019•3 citations
The quantum null energy condition (QNEC) is usually stated as a bound on the expectation value of null components of the stress-energy tensor at a point in terms of second null shape variations of the entanglement entropy at the same point. It can be recast as the statement that the sign of the second null shape variation of the relative entropy of any state with respect to the vacuum is positive. Using instead a R'enyi generalization of relative entropy, called sandwiched R'enyi divergence (SRD), leads to what is termed the R'enyi QNEC: The second null shape variation of SRD of any state with respect to the vacuum is positive. In this work, we prove the R'enyi QNEC for free and superrenormalizable fermionic quantum field theories in spacetime dimensions greater than 2 using null quantization, for the case where the R'enyi parameter n>1n>1n>1. We end with comments on multiple possible generalizations.
The Quantum Null Energy Condition (QNEC) is a lower bound on the stress-energy tensor in quantum field theory that has been proved quite generally. It can equivalently be phrased as a positivity condition on the second null shape derivative of the relative entropy Srel(ρ||σ) of an arbitrary state ρ with respect to the vacuum σ. The relative entropy has a natural one-parameter family generalization, the Sandwiched Rényi divergence Sn(ρ||σ), which also measures the distinguishability of two states for arbitrary n ∈ [1/2, ∞). A Rényi QNEC, a positivity condition on the second null shape derivative of Sn(ρ||σ), was conjectured in previous work. In this work, we study the Rényi QNEC for free and superrenormalizable field theories in spacetime dimension d > 2 using the technique of null quantization. In the above setting, we prove the Rényi QNEC in the case n > 1 for arbitrary states. We also provide counterexamples to the Rényi QNEC for n < 1.
Abstract The Quantum Null Energy Condition (QNEC) is a lower bound on the stress-energy tensor in quantum field theory that has been proved quite generally. It can equivalently be phrased as a positivity condition on the second null shape derivative of the relative entropy Srel(ρ||σ) of an arbitrary state ρ with respect to the vacuum σ. The relative entropy has a natural one-parameter family generalization, the Sandwiched Rényi divergence Sn(ρ||σ), which also measures the distinguishability of two states for arbitrary n ∈ [1/2, ∞). A Rényi QNEC, a positivity condition on the second null shape derivative of Sn(ρ||σ), was conjectured in previous work. In this work, we study the Rényi QNEC for free and superrenormalizable field theories in spacetime dimension d > 2 using the technique of null quantization. In the above setting, we prove the Rényi QNEC in the case n > 1 for arbitrary states. We also provide counterexamples to the Rényi QNEC for n < 1.
We prove the Rényi quantum null energy condition for every integer Rényi order n≥2n\geq2n≥2. In local Poincaré-invariant quantum field theory, this states that the sandwiched Rényi divergence (SRD) of an excited state relative to the vacuum is convex along a future-directed null deformation. We assume that the deformation is realized by the canonical translations of a half-sided modular inclusion and that the divergence is finite for the initial, undeformed algebra. The proof establishes convexity of the SRD along the induced positive contraction semigroup on Haagerup Ln(M)L^n(M)Ln(M), for every non-zero positive initial element. We also establish a Rényi ant formula at every even integer order and, under an additional regularity assumption, at odd integer orders. The Rényi ant formula identifies the negative first null derivative of SRD with a multiple of the infimum of the canonical null-translation energy over vector purifications of an escort state constructed from the excited state and the vacuum.
The quantum null energy condition (QNEC) is a quantum generalization of the null energy condition, which gives a lower bound on the null energy in terms of the second derivative of the von Neumann entropy or entanglement entropy of some region with respect to a null direction. The QNEC states that $⟨{T}_{kk}{⟩}_{p}\ensuremath{\ge}{\mathrm{lim}}_{A\ensuremath{\rightarrow}0}(\frac{\ensuremath{\hbar}}{2\ensuremath{\pi}A}{S}_{\mathrm{out}}^{\ensuremath{'}\ensuremath{'}})$, where Sout{S}_{\mathrm{out}}Sout​ is the entanglement entropy restricted to one side of a codimension-2 surface $\mathrm{\ensuremath{\Sigma}}$, which is deformed in the null direction about a neighborhood of point ppp with area AAA. A proof of QNEC has been given before, which applies to free and super-renormalizable bosonic field theories, and to any points that lie on a stationary null surface. Using similar assumptions and methods, we prove the QNEC for fermionic field theories.
Quasi-local form for ααα--zzz Rényi QNEC from fixed-ray escorts
The fixed-ray escort integral representation expresses ααα--zzz Rényi divergence as an average over ordinary relative entropy of a family of escort states. Working in the standard UV-regulated density-matrix description of QFT subregions, we use this representation to derive an escort-averaged entanglement first law, an escort-averaged representation of the ααα--zzz information kernel, and an escort-averaged Bekenstein-type bound for ball-shaped regions in conformal field theories. For the conjectural ααα--zzz quantum null energy condition (QNEC), we obtain a quasi-local form in which the null energy is evaluated in an escort-averaged state and is corrected by an escort-transport term encoding the failure of escort formation to commute with restriction to a null-deformed region. The z=αz=αz=α specialization gives a similar quasi-local form of the Rényi QNEC for sandwiched Rényi divergence. We explicitly compute the Rényi QNEC, including the explicit escort transport term, for coherent-state excitations in a free scalar field theory. For the same coherent family, we obtain a positive ααα--zzz null Hessian, verifying the conjectured diagonal ααα--zzz QNEC for this family.
The Quantum Null Energy Condition (QNEC) relates energy to the second variation of entropy in relativistic quantum field theory. We use the QNEC inequality to bound entanglement entropy in quenches. At early times the entanglement entropy grows quadratically in time, and the QNEC provides an upper bound on the prefactor. We demonstrate that the bound is tight, by showing that it is saturated in certain quench protocols: boundary state quenches in conformal field theories in any dimensions. In higher than two dimensions we compute entanglement entropy using AdS/CFT. Our results are the first purely field theoretic applications of the QNEC.