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:2608.21214

Fixed-ray escort representations of sandwiched and $α$--$z$ Rényi divergences on von Neumann algebras

Tanay Kibe, Pratik Roy

quant-phhep-thmath-phmath.OASubmitted Aug 21, 2026• Announced Aug 24, 2026• 0 citations
v1 · Aug 21, 2026v2 · Oct 22, 2026
arXivHTMLPDF

Abstract

We represent sandwiched and $α$-$z$ Rényi divergences as averages of ordinary relative entropy. The $α$-$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α$. 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<α<1$ it holds when the support of the first state is contained in that of the reference state, and for $α>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.

Comments
40 pages

Related papers

Sufficient positive maps between von Neumann algebras: Rényi divergences

Anna Jenčová, Lauritz van Luijk

We prove recovery theorems for $α$-$z$ Rényi divergences under normal unital positive maps between von Neumann algebras. Previous results in this setting required 2-positivity, while recent finite dimensional work showed that this assumption can be relaxed to mere positivity. Our proof uses sufficiency for JW*-subalgebras and $L^p$-spaces over them to characterize equality in the data processing inequality. As a further application of our methods, we solve a problem discussed by Haagerup and Stormer: Every conditional expectation of a von Neumann algebra onto a JW*-subalgebra factors through a conditional expectation onto the generated von Neumann subalgebra.

quant-pharXiv:2608.28510•Aug 31, 2026

Integral formula for quantum relative entropy implies data processing inequality

Péter E. Frenkel

Integral representations of quantum relative entropy, and of the directional second and higher order derivatives of von Neumann entropy, are established, and used to give simple proofs of fundamental, known data processing inequalities: the Holevo bound on the quantity of information transmitted by a quantum communication channel, and, much more generally, the monotonicity of quantum relative entropy under trace-preserving positive linear maps – complete positivity of the map need not be assumed. The latter result was first proved by Müller-Hermes and Reeb, based on work of Beigi. For a simple application of such monotonicities, we consider any `divergence' that is non-increasing under quantum measurements, such as the concavity of von Neumann entropy, or various known quantum divergences. An elegant argument due to Hiai, Ohya, and Tsukada is used to show that the infimum of such a `divergence' on pairs of quantum states with prescribed trace distance is the same as the corresponding infimum on pairs of binary classical states. Applications of the new integral formulae to the general probabilistic model of information theory, and a related integral formula for the classical Rényi divergence, are also discussed.

arXiv:2208.12194•Quantum•Sep 7, 2023•15 citations

Integral representations of $f$-divergences for general von Neumann algebras

Ricardo Correa da Silva, Markus B. Fröb, Gandalf Lechner +1 more

We define and analyze hockeystick divergences and $f$-divergences for normal positive functionals on general von Neumann algebras, generalizing and unifying previous work in classical probability and finite-dimensional von Neumann algebras. All the main properties of these state distinguishability measures (including in particular monotonicity, convexity, semicontinuity, bounds, state discrimination, data processing inequality) are derived from properties of the Jordan decomposition of selfadjoint normal functionals. This is done by representing the $f$-divergences as integrals over hockeystick divergences, and their significance in quantum hypothesis testing is reviewed. The $f_0$-divergence given by the information function $f_0(t) = t \ln t$ is shown to coincide with Araki's relative entropy, extending results of Frenkel to general von Neumann algebras.

math.OACross-listedarXiv:2607.05195•Jul 7, 2026•0 citations

Rényi divergence inequalities via interpolation, with applications to generalised entropic uncertainty relations

Alexander Clyde McKinlay

We investigate quantum Rényi entropic quantities, specifically those derived from 'sandwiched' divergence. This divergence is one of several proposed Rényi generalisations of the quantum relative entropy. We may define Rényi generalisations of the quantum conditional entropy and mutual information in terms of this divergence, from which they inherit many desirable properties. However, these quantities lack some of the convenient structure of their Shannon and von Neumann counterparts. We attempt to bridge this gap by establishing divergence inequalities for valid combinations of Rényi order which replicate the chain and decomposition rules of Shannon and von Neumann entropies. Although weaker in general, these inequalities recover equivalence when the Rényi parameters tend to one. To this end we present Rényi mutual information decomposition rules, a new approach to the Rényi conditional entropy tripartite chain rules and a more general bipartite comparison. The derivation of these results relies on a novel complex interpolation approach for general spaces of linear operators. These new comparisons allow us to employ techniques that until now were only available for Shannon and von Neumann entropies. We can therefore directly apply them to the derivation of Rényi entropic uncertainty relations. Accordingly, we establish a family of Rényi information exclusion relations and provide further generalisations and improvements to this and other known relations, including the Rényi bipartite uncertainty relations.

arXiv:2106.10415•Jun 19, 2021•0 citations

A Generalized quantum Stein lemma on von Neumann algebras

Li Gao

We prove a generalized quantum Stein lemma for i.i.d. normal states against convex, tensor-stable families on arbitrary von Neumann algebras. Assuming the existence of an alternative state with finite relative entropy from the null state, we show that, at every type-I error tolerance $\varepsilon\in (0,1)$, the worst case type-II error exponent is achieved with the regularized relative entropy with a strong converse. The proof combines the integral representation of relative entropy by hockey-stick divergences, a modular testing bound, and convex minimax argument.

quant-pharXiv:2610.02134•Oct 2, 2026•0 citations

The Strong Converse Exponent of Discriminating Infinite-Dimensional Quantum States

Milán Mosonyi

Abstract The sandwiched Rényi divergences of two finite-dimensional density operators quantify their asymptotic distinguishability in the strong converse domain. This establishes the sandwiched Rényi divergences as the operationally relevant ones among the infinitely many quantum extensions of the classical Rényi divergences for Rényi parameter $$\alpha >1$$ α > 1 . The known proof of this goes by showing that the sandwiched Rényi divergence coincides with the regularized measured Rényi divergence, which in turn is proved by asymptotic pinching, a fundamentally finite-dimensional technique. Thus, while the notion of the sandwiched Rényi divergences was extended recently to density operators on an infinite-dimensional Hilbert space (in fact, even for states of an arbitrary von Neumann algebra), these quantities were so far lacking an operational interpretation similar to the finite-dimensional case, and it has also been open whether they coincide with the regularized measured Rényi divergences. In this paper we fill this gap by answering both questions in the positive for density operators on an infinite-dimensional Hilbert space, using a simple finite-dimensional approximation technique. We also initiate the study of the sandwiched Rényi divergences, and the related problem of the strong converse exponent, for pairs of positive semi-definite operators that are not necessarily trace-class (this corresponds to considering weights in a general von Neumann algebra setting). This is motivated by the need to define conditional Rényi entropies in the infinite-dimensional setting, while it might also be interesting from the purely mathematical point of view of extending the concept of Rényi (and other) divergences to settings beyond the standard one of positive trace-class operators (positive normal functionals in the von Neumann algebra setting). In this spirit, we also discuss the definition and some properties of the more general family of Rényi $$(\alpha ,z)$$ ( α , z ) -divergences of positive semi-definite operators on an infinite-dimensional separable Hilbert space.

arXiv:2107.08036•Communications in Mathematical Physics•Mar 10, 2023•11 citations
Fixed-ray escort representations of sandwiched and ααα--zzz Rényi divergences on von Neumann algebras
We represent sandwiched and ααα-zzz Rényi divergences as averages of ordinary relative entropy. The ααα-zzz 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αz=cαz=cα. We prove this representation for normal states on an arbitrary von Neumann algebra, using Haagerup non-commutative LpL^pLp spaces and interpolation. The formula holds for every z>0z>0z>0: for 0<α<10<α<10<α<1 it holds when the support of the first state is contained in that of the reference state, and for α>1α>1α>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.
We prove recovery theorems for ααα-zzz Rényi divergences under normal unital positive maps between von Neumann algebras. Previous results in this setting required 2-positivity, while recent finite dimensional work showed that this assumption can be relaxed to mere positivity. Our proof uses sufficiency for JW*-subalgebras and LpL^pLp-spaces over them to characterize equality in the data processing inequality. As a further application of our methods, we solve a problem discussed by Haagerup and Stormer: Every conditional expectation of a von Neumann algebra onto a JW*-subalgebra factors through a conditional expectation onto the generated von Neumann subalgebra.
Integral representations of quantum relative entropy, and of the directional second and higher order derivatives of von Neumann entropy, are established, and used to give simple proofs of fundamental, known data processing inequalities: the Holevo bound on the quantity of information transmitted by a quantum communication channel, and, much more generally, the monotonicity of quantum relative entropy under trace-preserving positive linear maps – complete positivity of the map need not be assumed. The latter result was first proved by Müller-Hermes and Reeb, based on work of Beigi. For a simple application of such monotonicities, we consider any `divergence' that is non-increasing under quantum measurements, such as the concavity of von Neumann entropy, or various known quantum divergences. An elegant argument due to Hiai, Ohya, and Tsukada is used to show that the infimum of such a `divergence' on pairs of quantum states with prescribed trace distance is the same as the corresponding infimum on pairs of binary classical states. Applications of the new integral formulae to the general probabilistic model of information theory, and a related integral formula for the classical Rényi divergence, are also discussed.
Integral representations of fff-divergences for general von Neumann algebras
We define and analyze hockeystick divergences and fff-divergences for normal positive functionals on general von Neumann algebras, generalizing and unifying previous work in classical probability and finite-dimensional von Neumann algebras. All the main properties of these state distinguishability measures (including in particular monotonicity, convexity, semicontinuity, bounds, state discrimination, data processing inequality) are derived from properties of the Jordan decomposition of selfadjoint normal functionals. This is done by representing the fff-divergences as integrals over hockeystick divergences, and their significance in quantum hypothesis testing is reviewed. The f0f_0f0​-divergence given by the information function f0(t)=tln⁡tf_0(t) = t \ln tf0​(t)=tlnt is shown to coincide with Araki's relative entropy, extending results of Frenkel to general von Neumann algebras.
We investigate quantum Rényi entropic quantities, specifically those derived from 'sandwiched' divergence. This divergence is one of several proposed Rényi generalisations of the quantum relative entropy. We may define Rényi generalisations of the quantum conditional entropy and mutual information in terms of this divergence, from which they inherit many desirable properties. However, these quantities lack some of the convenient structure of their Shannon and von Neumann counterparts. We attempt to bridge this gap by establishing divergence inequalities for valid combinations of Rényi order which replicate the chain and decomposition rules of Shannon and von Neumann entropies. Although weaker in general, these inequalities recover equivalence when the Rényi parameters tend to one. To this end we present Rényi mutual information decomposition rules, a new approach to the Rényi conditional entropy tripartite chain rules and a more general bipartite comparison. The derivation of these results relies on a novel complex interpolation approach for general spaces of linear operators. These new comparisons allow us to employ techniques that until now were only available for Shannon and von Neumann entropies. We can therefore directly apply them to the derivation of Rényi entropic uncertainty relations. Accordingly, we establish a family of Rényi information exclusion relations and provide further generalisations and improvements to this and other known relations, including the Rényi bipartite uncertainty relations.
We prove a generalized quantum Stein lemma for i.i.d. normal states against convex, tensor-stable families on arbitrary von Neumann algebras. Assuming the existence of an alternative state with finite relative entropy from the null state, we show that, at every type-I error tolerance ε∈(0,1)\varepsilon\in (0,1)ε∈(0,1), the worst case type-II error exponent is achieved with the regularized relative entropy with a strong converse. The proof combines the integral representation of relative entropy by hockey-stick divergences, a modular testing bound, and convex minimax argument.
Abstract The sandwiched Rényi divergences of two finite-dimensional density operators quantify their asymptotic distinguishability in the strong converse domain. This establishes the sandwiched Rényi divergences as the operationally relevant ones among the infinitely many quantum extensions of the classical Rényi divergences for Rényi parameter α>1\alpha >1α>1 α > 1 . The known proof of this goes by showing that the sandwiched Rényi divergence coincides with the regularized measured Rényi divergence, which in turn is proved by asymptotic pinching, a fundamentally finite-dimensional technique. Thus, while the notion of the sandwiched Rényi divergences was extended recently to density operators on an infinite-dimensional Hilbert space (in fact, even for states of an arbitrary von Neumann algebra), these quantities were so far lacking an operational interpretation similar to the finite-dimensional case, and it has also been open whether they coincide with the regularized measured Rényi divergences. In this paper we fill this gap by answering both questions in the positive for density operators on an infinite-dimensional Hilbert space, using a simple finite-dimensional approximation technique. We also initiate the study of the sandwiched Rényi divergences, and the related problem of the strong converse exponent, for pairs of positive semi-definite operators that are not necessarily trace-class (this corresponds to considering weights in a general von Neumann algebra setting). This is motivated by the need to define conditional Rényi entropies in the infinite-dimensional setting, while it might also be interesting from the purely mathematical point of view of extending the concept of Rényi (and other) divergences to settings beyond the standard one of positive trace-class operators (positive normal functionals in the von Neumann algebra setting). In this spirit, we also discuss the definition and some properties of the more general family of Rényi (α,z)(\alpha ,z)(α,z) ( α , z ) -divergences of positive semi-definite operators on an infinite-dimensional separable Hilbert space.