Tests of restricted Quantum Focusing and a new CFT bound

Technical Summary: Tests of Restricted Quantum Focusing and a New CFT Bound

Problem Statement
The Restricted Quantum Focusing Conjecture (rQFC) serves as a foundational axiom in the formulation of semiclassical gravity, implying crucial results such as the Generalized Second Law (GSL), quantum singularity theorems, and the Quantum Null Energy Condition (QNEC). Despite its centrality, the rQFC has not been rigorously proven in general settings, nor has its relationship to the stronger, original Quantum Focusing Conjecture (QFC) been fully clarified. The paper addresses two primary questions:

1. Does the rQFC hold in all reasonable theories, and are there explicit violations of the original QFC in regimes where the rQFC remains valid?
2. Can the rQFC predict novel, stronger constraints on Quantum Field Theory (QFT) states beyond the standard QNEC?

Methodology
The authors employ two distinct approaches to test the rQFC:

1. $d=2$ Toy Models (JT Gravity): The authors analyze Jackiw-Teitelboim (JT) gravity coupled to a large-$c$ Quantum Field Theory (QFT) in the semiclassical regime ($G \to 0, cG = \ell_S^{d-2} = \text{fixed}$). In this 2D context, the transverse area factor $\sqrt{h}$ in the definition of quantum expansion is replaced by the dilaton field $\Phi$. The authors utilize the known validity of the QNEC in 2D QFTs to derive an upper bound on the derivative of the quantum expansion, $\partial_\lambda \Theta_\lambda$. They then construct explicit counter-examples to the original QFC in specific backgrounds (AdS extremal black holes and evaporating de Sitter horizons) where matter quantum effects compete with the dilaton scale ($\ell_S \gtrsim \Phi$).

2. $d>2$ CFTs and Perturbative Semiclassical Gravity: For dimensions greater than two, the authors work within a perturbative semiclassical gravity regime involving $c$ identical Conformal Field Theories (CFTs) in Minkowski space. They consider a "near-vacuum" state created by acting on the vacuum with a unitary operator. By applying a conformal transformation, they map a null-deformed ball-shaped region to a null-deformed Rindler wedge. This allows them to relate the variation of the renormalized von Neumann entropy to light-ray operators and the Operator Product Expansion (OPE) of averaged null energy operators. They analyze the rQFC constraint ($\partial_\lambda \Theta_\lambda \leq 0$) by taking a specific double limit: the gravitational coupling $G \to 0$ and the transverse width of the deformation profile $\Sigma \to 0$, while maintaining $\Sigma^{d-2} \gg G$.

Key Contributions and Results

• Proof of rQFC and QFC Violation in $d=2$:

  • The authors prove that the rQFC holds in JT gravity coupled to a QFT. The proof relies on the 2D QNEC, showing that $\partial_\lambda \Theta_\lambda \leq -\theta_\lambda \Theta_\lambda$. Consequently, whenever $\Theta_\lambda = 0$, it follows that $\partial_\lambda \Theta_\lambda \leq 0$, satisfying the rQFC.
  • Crucially, the authors demonstrate that the original QFC ($\partial_\lambda \Theta_\lambda \leq 0$ everywhere) is violated in this same model. Violations occur in regions where $\theta_\lambda \Theta_\lambda < 0$, specifically when matter quantum effects are comparable to the dilaton value ($\ell_S \gtrsim \Phi$). These violations are found near evaporating horizons in both AdS and de Sitter setups. The authors note that since these regimes do not admit a higher-dimensional uplift interpretation, they serve as counter-examples strictly within the toy model, suggesting the rQFC is more robust than the original QFC.

• Derivation of a New CFT Bound in $d>2$:

  • The authors derive a new constraint on CFTs that is strictly stronger than the QNEC. By analyzing the rQFC in the limit where the deformation width $\Sigma \to 0$ (while keeping the perturbation theory valid), they find that the QNEC cannot saturate arbitrarily fast.
  • Specifically, for a class of near-vacuum states, the bound implies that the quantity $2\pi\langle T_{ij}k^i k^j\rangle - \frac{1}{\sqrt{h}}\partial_\lambda \frac{\delta S_{ren}}{\delta V}$ cannot approach zero faster than $O(\Sigma^{d-2})$ as $\Sigma \to 0$, provided the first derivative of the entropy is non-zero.
  • This result relies on the scaling behavior of the correlation functions of the averaged null energy operator $E$, characterized by a parameter $\delta$. The rQFC enforces $\delta \geq 0$, leading to the bound:
    $$2\pi\langle \tilde{T}_{ij}\tilde{k}^i \tilde{k}^j\rangle - \frac{1}{\sqrt{\tilde{h}}}\partial_\lambda \frac{\delta \tilde{S}_{ren}}{\delta \tilde{V}} \Big|_{\Sigma \to 0} \geq O(\epsilon^2 \Sigma^{d-2}) \geq 0$$
  • This bound is stronger than the standard QNEC, which only requires the expression to be non-negative.

Significance and Claims
The paper claims that the rQFC is a robust principle that survives in regimes where the original QFC fails, particularly in 2D toy models with strong quantum backreaction. The authors emphasize that while the QFC violations found in $d=2$ are confined to toy models without a known higher-dimensional interpretation, they highlight the necessity of the rQFC as the correct axiomatic constraint.

Furthermore, the paper establishes a new instance of quantum gravity constraints predicting non-trivial QFT constraints. The derived bound represents a "strengthened QNEC" that restricts the scaling behavior of entropy derivatives and stress-energy expectations in the limit of vanishing deformation width. The authors speculate that a universal version of this strengthened bound, preventing the QNEC from scaling with $\Sigma^\alpha$ for $\alpha > d-2$, may hold across all QFT states, though they leave the proof of this universality to future work.

The authors remain modest regarding the $d=2$ results, explicitly stating that the QFC violations found there are not considered "strong evidence against the original QFC" in the context of fundamental quantum gravity, but rather evidence of the rQFC's robustness in specific toy settings. The primary contribution to the broader field is the derivation of the new, stronger CFT bound in $d>2$ dimensions.