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.28510

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

Anna Jenčová, Lauritz van Luijk

quant-phmath.OASubmitted Aug 28, 2026• Announced Aug 31, 2026
arXivHTMLPDF

Abstract

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.

Comments
21 pages, comments welcome

Related papers

Integral representations of quantum Rényi divergences on von Neumann algebras

Tanay Kibe, Pratik Roy

We prove an integral representation of the $α$-$z$ Rényi divergences for normal states on arbitrary von Neumann algebras. Along each ray $z=cα$, the divergence is a positive average of relative entropies evaluated in a canonical family of escort states. For orders $α$ above one, we require the divergence to be finite, whereas for orders below one support inclusion suffices. An explicit boundary correction removes the lower-order support assumption. The proof uses a compatible weighted Haagerup $L^p$ scale and applies outside the data-processing region. For faithful density matrices, we express the derivative of the escort relative entropy with respect to the Rényi order in terms of a nonnegative fluctuation quantity. Differences of order-one derivatives of the divergence give quantum Fisher information and Wigner-Yanase skew information. For faithful bipartite density matrices, we also express optimized conditional $α$-$z$ entropies at orders above one as averages of ordinary conditional entropies. Further applications concern coherent-state divergences in quantum field theory and the optimizing order for the strong converse exponent in hypothesis-testing.

quant-pharXiv:2608.21214•Aug 24, 2026•0 citations

Sufficiency and Petz recovery for positive maps

Lauritz van Luijk, Henrik Wilming

We study the interconversion of families of quantum states ("statistical experiments") via positive, trace-preserving (PTP) maps and clarify its mathematical structure in terms of minimal sufficient Jordan algebras, which can be seen to generalize the Koashi-Imoto decomposition to the PTP setting. In particular, we show that Neyman-Pearson tests generate the minimal sufficient Jordan algebra, and hence also the minimal sufficient *-algebra corresponding to the Koashi-Imoto decomposition. As applications, we show that a) equality in the data-processing inequality for the relative entropy or the $α$-$z$ quantum Rényi divergence implies the existence of a recovery map also in the PTP case and b) that two dichotomies can be interconverted by PTP maps if and only if they can be interconverted by decomposable, trace-preserving maps. We thoroughly review the necessary mathematical background on Jordan algebras. As a step beyond the finite-dimensional case, we prove Frenkel's formula for approximately finite-dimensional von Neumann algebras.

quant-pharXiv:2604.08380•Apr 10, 2026•0 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

Recoverability for optimized quantum f -divergences

Li Gao, Mark M. Wilde

Abstract The optimized quantum f -divergences form a family of distinguishability measures that includes the quantum relative entropy and the sandwiched Rényi relative quasi-entropy as special cases. In this paper, we establish physically meaningful refinements of the data-processing inequality for the optimized f -divergence. In particular, the refinements state that the absolute difference between the optimized f -divergence and its channel-processed version is an upper bound on how well one can recover a quantum state acted upon by a quantum channel, whenever the recovery channel is taken to be a rotated Petz recovery channel. Not only do these results lead to physically meaningful refinements of the data-processing inequality for the sandwiched Rényi relative entropy, but they also have implications for perfect reversibility (i.e. quantum sufficiency) of the optimized f -divergences. Along the way, we improve upon previous physically meaningful refinements of the data-processing inequality for the standard f -divergence, as established in recent work of Carlen and Vershynina [arXiv: 1710.02409 , arXiv: 1710.08080 ]. Finally, we extend the definition of the optimized f -divergence, its data-processing inequality, and all of our recoverability results to the general von Neumann algebraic setting, so that all of our results can be employed in physical settings beyond those confined to the most common finite-dimensional setting of interest in quantum information theory.

arXiv:2008.01668•Journal of Physics A Mathematical and Theoretical•Aug 16, 2021•16 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

Recoverable states on von-Neumann algebras

Saptak Bhattacharya

Let $(\mathcal{M},τ)$ and $(\mathcal{N},τ^{\prime})$ be tracial von-Neumann algebras and let $φ:\mathcal{M}\to\mathcal{N}$ be a strictly completely positive, trace preserving map. Given a positive, invertible $B\in\mathcal{M}$ with $τ(B)=1$, a state on $\mathcal{M}$ given by a positive $A\in L^1(\mathcal{M}, τ)$ is said to be recoverable if $\mathcal{R}(φ(A))=A$ where $\mathcal{R}$ is the Petz recovery map corresponding to $B$ and $φ$. In this paper, we study recoverable states and show how an arbitrary state can be made close to a recoverable state via iterates of $\mathcal{R}\circφ$. We show that there exists a completely positive, trace preserving map $ψ:\mathcal{M}\to\mathcal{M}$ such that $ψ(A)$ is recoverable for all $A$ and $(\mathcal{R}\circφ)^n\toψ$ in norm as operators on $L^p(\mathcal{M},τ)$ for all $1\,\textless p\,\textless\infty$, and discuss potential applications to quantum information theory. We also show that this convergence holds strongly in $L^1$. Finally, we prove an interesting decomposition theorem for normal states on $\mathcal{M}$.

quant-pharXiv:2605.08829•May 12, 2026•0 citations
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.
We prove an integral representation of the ααα-zzz Rényi divergences for normal states on arbitrary von Neumann algebras. Along each ray z=cαz=cαz=cα, the divergence is a positive average of relative entropies evaluated in a canonical family of escort states. For orders ααα above one, we require the divergence to be finite, whereas for orders below one support inclusion suffices. An explicit boundary correction removes the lower-order support assumption. The proof uses a compatible weighted Haagerup LpL^pLp scale and applies outside the data-processing region. For faithful density matrices, we express the derivative of the escort relative entropy with respect to the Rényi order in terms of a nonnegative fluctuation quantity. Differences of order-one derivatives of the divergence give quantum Fisher information and Wigner-Yanase skew information. For faithful bipartite density matrices, we also express optimized conditional ααα-zzz entropies at orders above one as averages of ordinary conditional entropies. Further applications concern coherent-state divergences in quantum field theory and the optimizing order for the strong converse exponent in hypothesis-testing.
We study the interconversion of families of quantum states ("statistical experiments") via positive, trace-preserving (PTP) maps and clarify its mathematical structure in terms of minimal sufficient Jordan algebras, which can be seen to generalize the Koashi-Imoto decomposition to the PTP setting. In particular, we show that Neyman-Pearson tests generate the minimal sufficient Jordan algebra, and hence also the minimal sufficient *-algebra corresponding to the Koashi-Imoto decomposition. As applications, we show that a) equality in the data-processing inequality for the relative entropy or the ααα-zzz quantum Rényi divergence implies the existence of a recovery map also in the PTP case and b) that two dichotomies can be interconverted by PTP maps if and only if they can be interconverted by decomposable, trace-preserving maps. We thoroughly review the necessary mathematical background on Jordan algebras. As a step beyond the finite-dimensional case, we prove Frenkel's formula for approximately finite-dimensional von Neumann algebras.
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.
Abstract The optimized quantum f -divergences form a family of distinguishability measures that includes the quantum relative entropy and the sandwiched Rényi relative quasi-entropy as special cases. In this paper, we establish physically meaningful refinements of the data-processing inequality for the optimized f -divergence. In particular, the refinements state that the absolute difference between the optimized f -divergence and its channel-processed version is an upper bound on how well one can recover a quantum state acted upon by a quantum channel, whenever the recovery channel is taken to be a rotated Petz recovery channel. Not only do these results lead to physically meaningful refinements of the data-processing inequality for the sandwiched Rényi relative entropy, but they also have implications for perfect reversibility (i.e. quantum sufficiency) of the optimized f -divergences. Along the way, we improve upon previous physically meaningful refinements of the data-processing inequality for the standard f -divergence, as established in recent work of Carlen and Vershynina [arXiv: 1710.02409 , arXiv: 1710.08080 ]. Finally, we extend the definition of the optimized f -divergence, its data-processing inequality, and all of our recoverability results to the general von Neumann algebraic setting, so that all of our results can be employed in physical settings beyond those confined to the most common finite-dimensional setting of interest in quantum information theory.
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.
Let (M,τ)(\mathcal{M},τ)(M,τ) and (N,τ′)(\mathcal{N},τ^{\prime})(N,τ′) be tracial von-Neumann algebras and let φ:M→Nφ:\mathcal{M}\to\mathcal{N}φ:M→N be a strictly completely positive, trace preserving map. Given a positive, invertible B∈MB\in\mathcal{M}B∈M with τ(B)=1τ(B)=1τ(B)=1, a state on M\mathcal{M}M given by a positive A∈L1(M,τ)A\in L^1(\mathcal{M}, τ)A∈L1(M,τ) is said to be recoverable if R(φ(A))=A\mathcal{R}(φ(A))=AR(φ(A))=A where R\mathcal{R}R is the Petz recovery map corresponding to BBB and φφφ. In this paper, we study recoverable states and show how an arbitrary state can be made close to a recoverable state via iterates of R∘φ\mathcal{R}\circφR∘φ. We show that there exists a completely positive, trace preserving map ψ:M→Mψ:\mathcal{M}\to\mathcal{M}ψ:M→M such that ψ(A)ψ(A)ψ(A) is recoverable for all AAA and (R∘φ)n→ψ(\mathcal{R}\circφ)^n\toψ(R∘φ)n→ψ in norm as operators on Lp(M,τ)L^p(\mathcal{M},τ)Lp(M,τ) for all $1\,\textless p\,\textless\infty$, and discuss potential applications to quantum information theory. We also show that this convergence holds strongly in L1L^1L1. Finally, we prove an interesting decomposition theorem for normal states on M\mathcal{M}M.