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:2006.08002 · Communications in Mathematical Physics

Approximate Recovery and Relative Entropy I: General von Neumann Subalgebras

Thomas Faulkner, Stefan Hollands, Brian G. Swingle, Yixu Wang

Published Jan 1, 2022• 25 citations
arXivHTMLPDF

Abstract

Abstract We prove the existence of a universal recovery channel that approximately recovers states on a von Neumann subalgebra when the change in relative entropy, with respect to a fixed reference state, is small. Our result is a generalization of previous results that applied to type-I von Neumann algebras by Junge at al. [ arXiv:1509.07127 ]. We broadly follow their proof strategy but consider here arbitrary von Neumann algebras, where qualitatively new issues arise. Our results hinge on the construction of certain analytic vectors and computations/estimations of their Araki–Masuda $$L_p$$ L p norms. We comment on applications to the quantum null energy condition.

DOI
10.1007/s00220-021-04143-6

Related papers

Approximate recoverability and relative entropy II: 2-positive channels of general von Neumann algebras

Thomas Faulkner, Stefan Hollands

Abstract We generalize our results in paper I in this series to quantum channels between general von Neumann algebras, proving the approximate recoverability of states which undergo a small change in relative entropy through the channel. To this end, we derive a strengthened form of the quantum data processing inequality for the change in relative entropy of two states under a channel between two von Neumann algebras. Compared to the usual inequality, there is an explicit lower bound involving the fidelity between the original state and a recovery channel.

Letters in Mathematical Physics•Mar 15, 2022•6 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

Universal recovery and P-Fidelity in von neumann algebras

Marius Junge, Nicholas D. LaRacuente

Scenarios ranging from quantum error correction to high energy physics use recovery maps, which try to reverse the effects of generally irreversible quantum channels. The decrease in quantum relative entropy between two states under the same channel quantifies information lost. A small decrease in relative entropy often implies recoverability via a universal map depending only the second argument to the relative entropy. We find such a universal recovery map for arbitrary channels on von Neumann algebras, and we generalize to p-fidelity via subharmonicity of a logarithmic p-fidelity of recovery. Furthermore, we prove that non-decrease of relative entropy is equivalent to the existence of an L 1 -isometry implementing the channel on both input states. Our primary technique is a reduction method by Haagerup, approximating a non-tracial, type III von Neumann algebra by a finite algebra. This technique has many potential applications in porting results from quantum information theory to high energy settings.

•Sep 24, 2020•4 citations

Approximate recoverability and relative entropy II: 2-positive channels of general v. Neumann algebras

Thomas Faulkner, Stefan Hollands

We generalize our results in paper I in this series to quantum channels between general v. Neumann algebras, proving the approximate recoverability of states which undergo a small change in relative entropy through the channel. To this end, we derive a strengthened form of the quantum data processing inequality for the change in relative entropy of two states under a channel between two v. Neumann algebras. Compared to the usual inequality, there is an explicit lower bound involving the fidelity between the original state and a recovery channel.

arXiv:2010.05513•Oct 12, 2020•3 citations

Conditioning on Subalgebras - Entropy Duality and Generalized Quantum Stein's Lemma in von Neumann Algebras

Bjarne Bergh, Li Gao, Mizanur Rahaman

We establish duality relations for conditional entropies relative to subalgebras of arbitrary von Neumann algebras, including the Umegaki relative entropy as well as the sandwiched- and Petz-Rényi divergences. Even in finite dimensions, these results extend the familiar dualities for conditional entropies from tensor-product subsystems to general subalgebras, while also lifting the framework to the fully infinite-dimensional setting. As an application, we establish an infinite-dimensional extension of quantum Stein's lemma when the alternative hypothesis is the state space of a finite-index subalgebra, which gives an operational interpretation of the relative entropy to a subalgebra as the optimal asymptotic error exponent in composite quantum hypothesis testing-the first beyond finite dimensions.

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

Recovery map stability for the data processing inequality

Eric A. Carlen, Anna Vershynina

Abstract Let be a finite dimensional von Neumann algebra and a von Neumann subalgebra of it. For states and on , let and be the corresponding states induced on . The data processing inequality implies that where is the relative entropy. Petz proved that there is equality if and only if , where is the Petz recovery map . We prove a quantitative version of Petz’s theorem. In it simplest form, our bound is where is the relative modular operator. Since , this yields a bound that is independent of . We also prove an analogous result with a more complicated constant in which the roles of and are interchanged on the right. Quantum information theoretic inequalities are usually much harder to prove, or differ from, their classical counterparts because classical proofs often rely on conditioning argument that do not carry over to the quantum setting. In particular, quantum conditional expectations rarely preserve expectations—something that always happens in the classical setting. We also prove a simple theorem characterizing states and subalgebras for which conditional expectations do preserve expectation with respect to , illuminating the quantum obstacle to the existence of nicely behaved conditional expectations and the origins the Petz recovery map.

arXiv:1710.02409•Journal of Physics A Mathematical and Theoretical•Nov 22, 2019•26 citations
Abstract We prove the existence of a universal recovery channel that approximately recovers states on a von Neumann subalgebra when the change in relative entropy, with respect to a fixed reference state, is small. Our result is a generalization of previous results that applied to type-I von Neumann algebras by Junge at al. [ arXiv:1509.07127 ]. We broadly follow their proof strategy but consider here arbitrary von Neumann algebras, where qualitatively new issues arise. Our results hinge on the construction of certain analytic vectors and computations/estimations of their Araki–Masuda LpL_pLp​ L p norms. We comment on applications to the quantum null energy condition.
Abstract We generalize our results in paper I in this series to quantum channels between general von Neumann algebras, proving the approximate recoverability of states which undergo a small change in relative entropy through the channel. To this end, we derive a strengthened form of the quantum data processing inequality for the change in relative entropy of two states under a channel between two von Neumann algebras. Compared to the usual inequality, there is an explicit lower bound involving the fidelity between the original state and a recovery channel.
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.
Scenarios ranging from quantum error correction to high energy physics use recovery maps, which try to reverse the effects of generally irreversible quantum channels. The decrease in quantum relative entropy between two states under the same channel quantifies information lost. A small decrease in relative entropy often implies recoverability via a universal map depending only the second argument to the relative entropy. We find such a universal recovery map for arbitrary channels on von Neumann algebras, and we generalize to p-fidelity via subharmonicity of a logarithmic p-fidelity of recovery. Furthermore, we prove that non-decrease of relative entropy is equivalent to the existence of an L 1 -isometry implementing the channel on both input states. Our primary technique is a reduction method by Haagerup, approximating a non-tracial, type III von Neumann algebra by a finite algebra. This technique has many potential applications in porting results from quantum information theory to high energy settings.
We generalize our results in paper I in this series to quantum channels between general v. Neumann algebras, proving the approximate recoverability of states which undergo a small change in relative entropy through the channel. To this end, we derive a strengthened form of the quantum data processing inequality for the change in relative entropy of two states under a channel between two v. Neumann algebras. Compared to the usual inequality, there is an explicit lower bound involving the fidelity between the original state and a recovery channel.
We establish duality relations for conditional entropies relative to subalgebras of arbitrary von Neumann algebras, including the Umegaki relative entropy as well as the sandwiched- and Petz-Rényi divergences. Even in finite dimensions, these results extend the familiar dualities for conditional entropies from tensor-product subsystems to general subalgebras, while also lifting the framework to the fully infinite-dimensional setting. As an application, we establish an infinite-dimensional extension of quantum Stein's lemma when the alternative hypothesis is the state space of a finite-index subalgebra, which gives an operational interpretation of the relative entropy to a subalgebra as the optimal asymptotic error exponent in composite quantum hypothesis testing-the first beyond finite dimensions.
Abstract Let be a finite dimensional von Neumann algebra and a von Neumann subalgebra of it. For states and on , let and be the corresponding states induced on . The data processing inequality implies that where is the relative entropy. Petz proved that there is equality if and only if , where is the Petz recovery map . We prove a quantitative version of Petz’s theorem. In it simplest form, our bound is where is the relative modular operator. Since , this yields a bound that is independent of . We also prove an analogous result with a more complicated constant in which the roles of and are interchanged on the right. Quantum information theoretic inequalities are usually much harder to prove, or differ from, their classical counterparts because classical proofs often rely on conditioning argument that do not carry over to the quantum setting. In particular, quantum conditional expectations rarely preserve expectations—something that always happens in the classical setting. We also prove a simple theorem characterizing states and subalgebras for which conditional expectations do preserve expectation with respect to , illuminating the quantum obstacle to the existence of nicely behaved conditional expectations and the origins the Petz recovery map.