aiqbench analysis
This paper advances the mathematical foundations of quantum information theory by deriving new integral representations for Rényi divergences within von Neumann algebras. By utilizing Haagerup non-commutative $L^p$ spaces, the authors provide rigorous tools that refine one-shot testing converses and work-extraction reliability metrics. These theoretical developments are essential for deepening our understanding of quantum thermodynamics and information processing limits in general operator algebra settings.
Fixed-ray escort representations of sandwiched and $\alpha$--$z$ R\'enyi divergences on von Neumann algebras
arXiv:2608.21214v1 Announce Type: new Abstract: We represent sandwiched and $\alpha$-$z$ R\'enyi divergences as averages of ordinary relative entropy. The $\alpha$-$z$ R\'enyi divergence is shown to be an integral over the relative entropy of a canonical family of fixed-ray escort states along the ray $z=c\alpha$. We prove this representation for normal states on an arbitrary von Neumann algebra, using Haagerup non-commutative $L^p$ spaces and interpolation. The formula holds for every $z>0$: for $01$ it holds whenever the divergence is finite. When the lower-order support condition fails, we identify the exact fixed-ray support-boundary term. The representation yields a monotone escort profile and a convex order potential. We use these to reformulate one-shot testing converses, exact sandwiched strong-converse exponents, and work-extraction reliability as signed-area or level-crossing statements, and discuss a restricted two-parameter pair-conversion rate.
Abstract:We represent sandwiched and $\alpha$-$z$ Rényi divergences as averages of ordinary relative entropy. The $\alpha$-$z$ Rényi divergence is shown to be an integral over the relative entropy of a canonical family of fixed-ray escort states along the ray $z=c\alpha$. We prove this representation for normal states on an arbitrary von Neumann algebra, using Haagerup non-commutative $L^p$ spaces and interpolation. The formula holds for every $z>0$: for $0<\alpha<1$ it holds when the support of the first state is contained in that of the reference state, and for $\alpha>1$ it holds whenever the divergence is finite. When the lower-order support condition fails, we identify the exact fixed-ray support-boundary term. The representation yields a monotone escort profile and a convex order potential. We use these to reformulate one-shot testing converses, exact sandwiched strong-converse exponents, and work-extraction reliability as signed-area or level-crossing statements, and discuss a restricted two-parameter pair-conversion rate.
Quantum Physics (quant-ph); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Operator Algebras (math.OA)
arXiv:2608.21214 [quant-ph]
(or arXiv:2608.21214v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2608.21214 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 252 words
Related coverage
Quasi-local form for $\alpha$--$z$ R\'enyi QNEC from fixed-ray escorts
arXiv · Sep 4, 2026
R\'enyi divergences and binary state discrimination error exponents for fermionic quasi-free states
arXiv · Sep 11, 2026

Exploding variance of means of exponentials: least-squares to the rescue – Machine Learning Research Blog
francisbach.com · Sep 27, 2026

The Entangled Dimensions of Decision Theory
LessWrong · Jul 30, 2026