A general proof of integer R'enyi QNEC

We prove the Rényi quantum null energy condition for every integer Rényi order n at least2. 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.