No off-diagonal quantum focusing for Rényi divergences

Technical Summary: No off-diagonal quantum focusing for Rényi divergences

Problem Statement
The Quantum Focusing Conjecture (QFC) posits that the quantum expansion, $\Theta$, of a null hypersurface is non-increasing along the congruence. This statement generalizes the classical focusing theorem to the semiclassical regime and implies that gravity remains universally attractive. The QFC comprises two components: a "diagonal" part (where the variation occurs at a single transverse location) and an "off-diagonal" part (where variations occur at distinct transverse locations).

While the diagonal part has been linked to the Quantum Null Energy Condition (QNEC) and proven for relative entropy (the Umegaki divergence) in algebraic quantum field theory, recent work established a diagonal Rényi Quantum Null Energy Condition (RQNEC) for sandwiched Rényi divergences (SRD) and other integer orders. This raised a critical question: Does a full Rényi generalization of the QFC hold, specifically including the off-diagonal component? The authors investigate whether any Rényi-type divergence, satisfying standard information-theoretic axioms, can support a universal off-diagonal focusing inequality.

Methodology
The authors construct a counterexample within the framework of null-quantized free field theories in Minkowski spacetime ($d > 2$). The methodology relies on the following setup and axioms:

1. Null Quantization and Factorization: The Hilbert space of the theory to the future of a null cut $V(\vec{y})$ factorizes over transverse null pencils. The vacuum state and excited states are treated as tensor products of states on these independent pencils.
2. Divergence Class: The analysis is restricted to a class of Rényi divergences $D_\gamma(\psi \parallel \omega)$ satisfying four specific axioms:
   • Faithfulness: $D_\gamma \geq 0$, with equality iff $\psi = \omega$.
   • Data Processing Inequality (DPI): Monotonicity under quantum channels.
   • Tensor Additivity: The divergence of a product state is the sum of the divergences of the factors.
   • Matched Classical-Quantum (cq) Conditioning: For a state decomposed into classical blocks (a direct sum over orthogonal sectors with identical classical registers), the divergence follows a specific "log-sum-exp" rule for $\gamma \neq 0$ and a linear sum rule for $\gamma = 0$. This rule is satisfied by Petz, sandwiched, and $\alpha$-$z$ Rényi families.
3. The "Seed" Construction: The authors assume the existence of a "finite non-rigid seed"—a single-pencil excitation where the divergence value changes as the null cut is moved (i.e., $d(u) \neq d(w)$ for two cut values). Such seeds are shown to exist for local unitary excitations.
4. Off-Diagonal Test: The authors define an off-diagonal finite difference, $\Delta_{12}D_\gamma$, involving two active pencils and a set of "spectator" pencils acting as a classical register. By manipulating the correlation between the activation of the two pencils and the spectator blocks, they test the sign of the mixed variation.

Key Contributions and Results
The paper proves a No-Go Theorem (Theorem 1) demonstrating that for any Rényi divergence $D_\gamma$ with $\gamma \neq 0$ satisfying the stated axioms, a universal off-diagonal focusing inequality cannot hold.

• Violation of the Inequality: The authors construct specific states $\psi$ and vacuum references $\omega$ such that the off-diagonal finite difference $\Delta_{12}D_\gamma$ is strictly negative.
  • For $\gamma > 0$, they utilize an "exclusive" activation pattern (where the two pencils are never simultaneously excited in the same block) to show $\Delta_{12}D_\gamma < 0$.
  • For $\gamma < 0$, they utilize a "positively correlated" activation pattern to demonstrate that the function governing the divergence is strictly concave, leading to $\Delta_{12}D_\gamma < 0$.
• The Affine Limit ($\gamma = 0$): In the limit $\gamma \to 0$, the divergence reduces to the Umegaki relative entropy. In this case, the log-sum-exp rule collapses to a linear sum (Eq. 25), rendering the off-diagonal term separable. Consequently, $\Delta_{12}D_0 = 0$, which is consistent with the known validity of the off-diagonal QFC for relative entropy derived from Strong Subadditivity.
• Exclusion of Max-Relative Entropy: The result extends to the max-relative entropy (the $\alpha \to \infty$ limit of SRD), showing it also fails the off-diagonal test.

Significance and Claims
The paper claims to provide an operational characterization of relative entropy within the context of quantum focusing. The results imply that:

1. Uniqueness of Relative Entropy: Among the class of Rényi divergences satisfying faithfulness, DPI, tensor additivity, and matched cq conditioning, the Umegaki relative entropy (the affine limit) is the unique candidate that can support a universal off-diagonal focusing statement.
2. Limitation of Rényi Generalizations: While diagonal Rényi QNEC statements may hold (as proven for integer orders), no nonzero Rényi deformation can satisfy a universal off-diagonal focusing inequality. This suggests that the "attractiveness" of gravity, as encoded in the off-diagonal QFC, is a property specific to the standard relative entropy and does not generalize to other Rényi measures.
3. Scope of the Result: The authors explicitly state that their result does not rule out diagonal Rényi focusing statements (which remain an open problem when gravitational backreaction is included) nor does it apply to divergences outside their specific axiomatic class (e.g., the Belavkin–Staszewski relative entropy, which satisfies the axioms but is affine under matched cq conditioning, is not excluded by this specific counterexample, though its Rényi generalizations are).

In summary, the paper establishes that the off-diagonal quantum focusing conjecture is a rigid constraint that selects the standard relative entropy, ruling out Rényi generalizations as candidates for a universal statement of gravitational attraction in the off-diagonal sector.