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:1910.07594 · Physical review. D/Physical review. D.

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

Taha A Malik, Rafael López-Mobilia

Published Mar 26, 2020• 20 citations
arXivHTMLPDF

Abstract

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.

DOI
10.1103/physrevd.101.066028

Related papers

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

Pratik Roy

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.

arXiv:2212.02331•Physical review. D/Physical review. D.•Aug 15, 2023•6 citations

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 general proof of the quantum null energy condition

Srivatsan Balakrishnan

We prove a conjectured lower bound on ⟨T_ _(x)⟩ $ψ$ in any state $ψ$ of a CFT on Minkowski space, dubbed the Quantum Null Energy Condition (QNEC). The bound is given by the second order shape deformation, in the null direction, of the geometric entanglement entropy of an entangling cut passing through $x$. Our proof involves a combination of the two independent methods that were used recently to prove the weaker Averaged Null Energy Condition (ANEC). In particular the properties of modular Hamiltonians under shape deformations for the state ψ play an important role, as do causality considerations. We study the two point function of a “probe” operator $\mathcal{O}$ in the state $ψ$ and use a lightcone limit to evaluate this correlator. Instead of causality in time we consider causality on modular time for the modular evolved probe operators, which we constrain using Tomita-Takesaki theory as well as certain generalizations pertaining to the theory of modular inclusions. The QNEC follows from very similar considerations to the derivation of the chaos bound and the causality sum rule. We use a kind of defect Operator Product Expansion to apply the replica trick to these modular flow computations, and the displacement operator plays an important role. We argue that the proof extends to more general relativistic QFT with an interacting UV fixed point and also prove a higher spin version of the QNEC. Our approach was inspired by the AdS/CFT proof of the QNEC which follows from properties of the Ryu-Takayanagi (RT) surface near the boundary of AdS, combined with the requirement of entanglement wedge nesting. Our methods were, as such, designed as a precise probe of the RT surface close to the boundary of a putative gravitational/stringy dual of any QFT with an interacting UV fixed point.

•May 30, 2022•166 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 the quantum null energy condition

Srivatsan Balakrishnan, Thomas Faulkner, Zuhair U. Khandker +1 more

A bstract We prove a conjectured lower bound on 〈 T__ ( x )〉 ψ in any state ψ of a CFT on Minkowski space, dubbed the Quantum Null Energy Condition (QNEC). The bound is given by the second order shape deformation, in the null direction, of the geometric entanglement entropy of an entangling cut passing through x . Our proof involves a combination of the two independent methods that were used recently to prove the weaker Averaged Null Energy Condition (ANEC). In particular the properties of modular Hamiltonians under shape deformations for the state ψ play an important role, as do causality considerations. We study the two point function of a “probe” operator $$ \mathcal{O} $$ O in the state ψ and use a lightcone limit to evaluate this correlator. Instead of causality in time we consider causality on modular time for the modular evolved probe operators, which we constrain using Tomita-Takesaki theory as well as certain generalizations pertaining to the theory of modular inclusions. The QNEC follows from very similar considerations to the derivation of the chaos bound and the causality sum rule. We use a kind of defect Operator Product Expansion to apply the replica trick to these modular flow computations, and the displacement operator plays an important role. We argue that the proof extends to more general relativistic QFT with an interacting UV fixed point and also prove a higher spin version of the QNEC. Our approach was inspired by the AdS/CFT proof of the QNEC which follows from properties of the Ryu-Takayanagi (RT) surface near the boundary of AdS, combined with the requirement of entanglement wedge nesting. Our methods were, as such, designed as a precise probe of the RT surface close to the boundary of a putative gravitational/stringy dual of any QFT with an interacting UV fixed point.

arXiv:1706.09432•Journal of High Energy Physics•Sep 1, 2019•120 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 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 ⟨Tkk⟩p\ensuremath≥limA\ensuremath→0(\ensuremathℏ2\ensuremathπASout\ensuremath′\ensuremath′)⟨{T}_{kk}{⟩}_{p}\ensuremath{\ge}{\mathrm{lim}}_{A\ensuremath{\rightarrow}0}(\frac{\ensuremath{\hbar}}{2\ensuremath{\pi}A}{S}_{\mathrm{out}}^{\ensuremath{'}\ensuremath{'}})⟨Tkk​⟩p​\ensuremath≥limA\ensuremath→0​(2\ensuremathπA\ensuremathℏ​Sout\ensuremath′\ensuremath′​), where Sout{S}_{\mathrm{out}}Sout​ is the entanglement entropy restricted to one side of a codimension-2 surface \ensuremathΣ\mathrm{\ensuremath{\Sigma}}\ensuremathΣ, 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.
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.
We prove a conjectured lower bound on ⟨T_ _(x)⟩ ψψψ in any state ψψψ of a CFT on Minkowski space, dubbed the Quantum Null Energy Condition (QNEC). The bound is given by the second order shape deformation, in the null direction, of the geometric entanglement entropy of an entangling cut passing through xxx. Our proof involves a combination of the two independent methods that were used recently to prove the weaker Averaged Null Energy Condition (ANEC). In particular the properties of modular Hamiltonians under shape deformations for the state ψ play an important role, as do causality considerations. We study the two point function of a “probe” operator O\mathcal{O}O in the state ψψψ and use a lightcone limit to evaluate this correlator. Instead of causality in time we consider causality on modular time for the modular evolved probe operators, which we constrain using Tomita-Takesaki theory as well as certain generalizations pertaining to the theory of modular inclusions. The QNEC follows from very similar considerations to the derivation of the chaos bound and the causality sum rule. We use a kind of defect Operator Product Expansion to apply the replica trick to these modular flow computations, and the displacement operator plays an important role. We argue that the proof extends to more general relativistic QFT with an interacting UV fixed point and also prove a higher spin version of the QNEC. Our approach was inspired by the AdS/CFT proof of the QNEC which follows from properties of the Ryu-Takayanagi (RT) surface near the boundary of AdS, combined with the requirement of entanglement wedge nesting. Our methods were, as such, designed as a precise probe of the RT surface close to the boundary of a putative gravitational/stringy dual of any QFT with an interacting UV fixed point.
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.
A bstract We prove a conjectured lower bound on 〈 T__ ( x )〉 ψ in any state ψ of a CFT on Minkowski space, dubbed the Quantum Null Energy Condition (QNEC). The bound is given by the second order shape deformation, in the null direction, of the geometric entanglement entropy of an entangling cut passing through x . Our proof involves a combination of the two independent methods that were used recently to prove the weaker Averaged Null Energy Condition (ANEC). In particular the properties of modular Hamiltonians under shape deformations for the state ψ play an important role, as do causality considerations. We study the two point function of a “probe” operator O \mathcal{O} O O in the state ψ and use a lightcone limit to evaluate this correlator. Instead of causality in time we consider causality on modular time for the modular evolved probe operators, which we constrain using Tomita-Takesaki theory as well as certain generalizations pertaining to the theory of modular inclusions. The QNEC follows from very similar considerations to the derivation of the chaos bound and the causality sum rule. We use a kind of defect Operator Product Expansion to apply the replica trick to these modular flow computations, and the displacement operator plays an important role. We argue that the proof extends to more general relativistic QFT with an interacting UV fixed point and also prove a higher spin version of the QNEC. Our approach was inspired by the AdS/CFT proof of the QNEC which follows from properties of the Ryu-Takayanagi (RT) surface near the boundary of AdS, combined with the requirement of entanglement wedge nesting. Our methods were, as such, designed as a precise probe of the RT surface close to the boundary of a putative gravitational/stringy dual of any QFT with an interacting UV fixed point.
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.