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

Reversibility of stochastic maps via quantum divergences

Fumio Hiai, Milán Mosonyi

Published Apr 11, 2016• 5 citations
OpenAlex

Abstract

We consider the reversibility problem for quantum operations (stochastic maps) in connection with the preservation of various quantum divergences, including two different versions of quantum $f$-divergences, sandwiched R\'enyi divergences, and $\alpha$-$z$-R\'enyi relative entropies.

Related papers

Different quantum f -divergences and the reversibility of quantum operations

Hiai, F., Milán Mosonyi

The concept of classical $f$-divergences gives a unified framework to construct and study measures of dissimilarity of probability distributions; special cases include the relative entropy and the R\'enyi divergences. Various quantum versions of this concept, and more narrowly, the concept of R\'enyi divergences, have been introduced in the literature with applications in quantum information theory; most notably Petz' quasi-entropies (standard $f$-divergences), Matsumoto's maximal $f$-divergences, measured $f$-divergences, and sandwiched and $\alpha$-$z$-R\'enyi divergences. In this paper we give a systematic overview of the various concepts of quantum $f$-divergences with a main focus on their monotonicity under quantum operations, and the implications of the preservation of a quantum $f$-divergence by a quantum operation. In particular, we compare the standard and the maximal $f$-divergences regarding their ability to detect the reversibility of quantum operations. We also show that these two quantum $f$-divergences are strictly different for non-commuting operators unless $f$ is a polynomial, and obtain some analogous partial results for the relation between the measured and the standard $f$-divergences. We also study the monotonicity of the $\alpha$-$z$-R\'enyi divergences under the special class of bistochastic maps that leave one of the arguments of the R\'enyi divergence invariant, and determine domains of the parameters $\alpha,z$ where monotonicity holds, and where the preservation of the $\alpha$-$z$-R\'enyi divergence implies the reversibility of the quantum operation.

•Jan 1, 2017•77 citations

Different quantum f-divergences and the reversibility of quantum operations

Fumio Hiai, Milán Mosonyi

The concept of classical [Formula: see text]-divergences gives a unified framework to construct and study measures of dissimilarity of probability distributions; special cases include the relative entropy and the Rényi divergences. Various quantum versions of this concept, and more narrowly, the concept of Rényi divergences, have been introduced in the literature with applications in quantum information theory; most notably Petz’ quasi-entropies (standard [Formula: see text]-divergences), Matsumoto’s maximal [Formula: see text]-divergences, measured [Formula: see text]-divergences, and sandwiched and [Formula: see text]-[Formula: see text]-Rényi divergences. In this paper, we give a systematic overview of the various concepts of quantum [Formula: see text]-divergences, with a main focus on their monotonicity under quantum operations, and the implications of the preservation of a quantum [Formula: see text]-divergence by a quantum operation. In particular, we compare the standard and the maximal [Formula: see text]-divergences regarding their ability to detect the reversibility of quantum operations. We also show that these two quantum [Formula: see text]-divergences are strictly different for non-commuting operators unless [Formula: see text] is a polynomial, and obtain some analogous partial results for the relation between the measured and the standard [Formula: see text]-divergences. We also study the monotonicity of the [Formula: see text]-[Formula: see text]-Rényi divergences under the special class of bistochastic maps that leave one of the arguments of the Rényi divergence invariant, and determine domains of the parameters [Formula: see text] where monotonicity holds, and where the preservation of the [Formula: see text]-[Formula: see text]-Rényi divergence implies the reversibility of the quantum operation.

arXiv:1604.03089•Reviews in Mathematical Physics•Jul 16, 2017•100 citations

A limit of the quantum Renyi divergence

Nilanjana Datta, Felix Leditzky

Recently, an interesting quantity called the quantum Renyi divergence (or "sandwiched" Renyi relative entropy) was defined for pairs of positive semi-definite operators $\rho$ and $\sigma$. It depends on a parameter $\alpha$ and acts as a parent quantity for other relative entropies which have important operational significances in quantum information theory: the quantum relative entropy and the min- and max-relative entropies. There is, however, another relative entropy, called the 0-relative Renyi entropy, which plays a key role in the analysis of various quantum information-processing tasks in the one-shot setting. We prove that the 0-relative Renyi entropy is obtainable from the quantum Renyi divergence only if $\rho$ and $\sigma$ have equal supports. This, along with existing results in the literature, suggests that it suffices to consider two essential parent quantities from which operationally relevant entropic quantities can be derived - the quantum Renyi divergence with parameter $\alpha \ge 1/2$, and the $\alpha$-relative R\'enyi entropy with $\alpha\in [0,1)$.

•Jan 1, 2013•24 citations

QUANTUM f-DIVERGENCES AND ERROR CORRECTION

Fumio Hiai, Milán Mosonyi, Dėnes Petz +1 more

Quantum f-divergences are a quantum generalization of the classical notion of f-divergences, and are a special case of Petz' quasi-entropies. Many well-known distinguishability measures of quantum states are given by, or derived from, f-divergences. Special examples include the quantum relative entropy, the Rényi relative entropies, and the Chernoff and Hoeffding measures. Here we show that the quantum f-divergences are monotonic under substochastic maps whenever the defining function is operator convex. This extends and unifies all previously known monotonicity results for this class of distinguishability measures. We also analyze the case where the monotonicity inequality holds with equality, and extend Petz' reversibility theorem for a large class of f-divergences and other distinguishability measures. We apply our findings to the problem of quantum error correction, and show that if a stochastic map preserves the pairwise distinguishability on a set of states, as measured by a suitable f-divergence, then its action can be reversed on that set by another stochastic map that can be constructed from the original one in a canonical way. We also provide an integral representation for operator convex functions on the positive half-line, which is the main ingredient in extending previously known results on the monotonicity inequality and the case of equality. We also consider some special cases where the convexity of f is sufficient for the monotonicity, and obtain the inverse Hölder inequality for operators as an application. The presentation is completely self-contained and requires only standard knowledge of matrix analysis.

arXiv:1008.2529•Reviews in Mathematical Physics•Aug 1, 2011•173 citations

Transformations on density operators and on positive definite operators preserving the quantum Rényi divergence

Gaál Marcell Gábor, Lajos Molnár

In a certain sense we generalize the recently introduced and extensively studied notion called quantum Rényi divergence (also called ”sandwiched Rényi relative entropy”) and describe the structures of corresponding symmetries. More precisely, we characterize all transformations on the set of density operators which leave our new general quantity invariant and also determine the structure of all bijective transformations on the cone of positive definite operators which preserve the quantum Rényi divergence.

•Jan 1, 2017•6 citations

Monotonicity of f-divergences: A review with new results

Fumio Hiai, Milán Mosonyi, Dėnes Petz

Quantum f-divergences are a quantum generalization of the classical notion of f-divergences, and are a special case of Petz' quasi-entropies. Many well known distinguishability measures of quantum states are given by, or derived from, f-divergences; special examples include the quantum relative entropy, the Renyi relative entropies, and the Chernoff and Hoeffding measures. Here we show that the quantum f-divergences are monotonic under the dual of Schwarz maps whenever the defining function is operator convex. This extends and unifies all previously known monotonicity results. We also analyze the case where the monotonicity inequality holds with equality, and extend Petz' reversibility theorem for a large class of f-divergences and other distinguishability measures. We apply our findings to the problem of quantum error correction, and show that if a stochastic map preserves the pairwise distinguishability on a set of states, as measured by a suitable f-divergence, then its action can be reversed on that set by another stochastic map that can be constructed from the original one in a canonical way. We also provide an integral representation for operator convex functions on the positive half-line, which is the main ingredient in extending previously known results on the monotonicity inequality and the case of equality. We also consider some special cases where the convexity of f is sufficient for the monotonicity, and obtain the inverse Holder inequality for operators as an application. The presentation is completely self-contained and requires only standard knowledge of matrix analysis.

•Aug 17, 2010•3 citations
We consider the reversibility problem for quantum operations (stochastic maps) in connection with the preservation of various quantum divergences, including two different versions of quantum fff-divergences, sandwiched R'enyi divergences, and α\alphaα-zzz-R'enyi relative entropies.
The concept of classical fff-divergences gives a unified framework to construct and study measures of dissimilarity of probability distributions; special cases include the relative entropy and the R\'enyi divergences. Various quantum versions of this concept, and more narrowly, the concept of R\'enyi divergences, have been introduced in the literature with applications in quantum information theory; most notably Petz' quasi-entropies (standard fff-divergences), Matsumoto's maximal fff-divergences, measured fff-divergences, and sandwiched and α\alphaα-zzz-R\'enyi divergences. In this paper we give a systematic overview of the various concepts of quantum fff-divergences with a main focus on their monotonicity under quantum operations, and the implications of the preservation of a quantum fff-divergence by a quantum operation. In particular, we compare the standard and the maximal fff-divergences regarding their ability to detect the reversibility of quantum operations. We also show that these two quantum fff-divergences are strictly different for non-commuting operators unless fff is a polynomial, and obtain some analogous partial results for the relation between the measured and the standard fff-divergences. We also study the monotonicity of the α\alphaα-zzz-R\'enyi divergences under the special class of bistochastic maps that leave one of the arguments of the R\'enyi divergence invariant, and determine domains of the parameters α,z\alpha,zα,z where monotonicity holds, and where the preservation of the α\alphaα-zzz-R\'enyi divergence implies the reversibility of the quantum operation.
The concept of classical [Formula: see text]-divergences gives a unified framework to construct and study measures of dissimilarity of probability distributions; special cases include the relative entropy and the Rényi divergences. Various quantum versions of this concept, and more narrowly, the concept of Rényi divergences, have been introduced in the literature with applications in quantum information theory; most notably Petz’ quasi-entropies (standard [Formula: see text]-divergences), Matsumoto’s maximal [Formula: see text]-divergences, measured [Formula: see text]-divergences, and sandwiched and [Formula: see text]-[Formula: see text]-Rényi divergences. In this paper, we give a systematic overview of the various concepts of quantum [Formula: see text]-divergences, with a main focus on their monotonicity under quantum operations, and the implications of the preservation of a quantum [Formula: see text]-divergence by a quantum operation. In particular, we compare the standard and the maximal [Formula: see text]-divergences regarding their ability to detect the reversibility of quantum operations. We also show that these two quantum [Formula: see text]-divergences are strictly different for non-commuting operators unless [Formula: see text] is a polynomial, and obtain some analogous partial results for the relation between the measured and the standard [Formula: see text]-divergences. We also study the monotonicity of the [Formula: see text]-[Formula: see text]-Rényi divergences under the special class of bistochastic maps that leave one of the arguments of the Rényi divergence invariant, and determine domains of the parameters [Formula: see text] where monotonicity holds, and where the preservation of the [Formula: see text]-[Formula: see text]-Rényi divergence implies the reversibility of the quantum operation.
Recently, an interesting quantity called the quantum Renyi divergence (or "sandwiched" Renyi relative entropy) was defined for pairs of positive semi-definite operators ρ\rhoρ and σ\sigmaσ. It depends on a parameter α\alphaα and acts as a parent quantity for other relative entropies which have important operational significances in quantum information theory: the quantum relative entropy and the min- and max-relative entropies. There is, however, another relative entropy, called the 0-relative Renyi entropy, which plays a key role in the analysis of various quantum information-processing tasks in the one-shot setting. We prove that the 0-relative Renyi entropy is obtainable from the quantum Renyi divergence only if ρ\rhoρ and σ\sigmaσ have equal supports. This, along with existing results in the literature, suggests that it suffices to consider two essential parent quantities from which operationally relevant entropic quantities can be derived - the quantum Renyi divergence with parameter α≥1/2\alpha \ge 1/2α≥1/2, and the α\alphaα-relative R\'enyi entropy with α∈[0,1)\alpha\in [0,1)α∈[0,1).
Quantum f-divergences are a quantum generalization of the classical notion of f-divergences, and are a special case of Petz' quasi-entropies. Many well-known distinguishability measures of quantum states are given by, or derived from, f-divergences. Special examples include the quantum relative entropy, the Rényi relative entropies, and the Chernoff and Hoeffding measures. Here we show that the quantum f-divergences are monotonic under substochastic maps whenever the defining function is operator convex. This extends and unifies all previously known monotonicity results for this class of distinguishability measures. We also analyze the case where the monotonicity inequality holds with equality, and extend Petz' reversibility theorem for a large class of f-divergences and other distinguishability measures. We apply our findings to the problem of quantum error correction, and show that if a stochastic map preserves the pairwise distinguishability on a set of states, as measured by a suitable f-divergence, then its action can be reversed on that set by another stochastic map that can be constructed from the original one in a canonical way. We also provide an integral representation for operator convex functions on the positive half-line, which is the main ingredient in extending previously known results on the monotonicity inequality and the case of equality. We also consider some special cases where the convexity of f is sufficient for the monotonicity, and obtain the inverse Hölder inequality for operators as an application. The presentation is completely self-contained and requires only standard knowledge of matrix analysis.
In a certain sense we generalize the recently introduced and extensively studied notion called quantum Rényi divergence (also called ”sandwiched Rényi relative entropy”) and describe the structures of corresponding symmetries. More precisely, we characterize all transformations on the set of density operators which leave our new general quantity invariant and also determine the structure of all bijective transformations on the cone of positive definite operators which preserve the quantum Rényi divergence.
Quantum f-divergences are a quantum generalization of the classical notion of f-divergences, and are a special case of Petz' quasi-entropies. Many well known distinguishability measures of quantum states are given by, or derived from, f-divergences; special examples include the quantum relative entropy, the Renyi relative entropies, and the Chernoff and Hoeffding measures. Here we show that the quantum f-divergences are monotonic under the dual of Schwarz maps whenever the defining function is operator convex. This extends and unifies all previously known monotonicity results. We also analyze the case where the monotonicity inequality holds with equality, and extend Petz' reversibility theorem for a large class of f-divergences and other distinguishability measures. We apply our findings to the problem of quantum error correction, and show that if a stochastic map preserves the pairwise distinguishability on a set of states, as measured by a suitable f-divergence, then its action can be reversed on that set by another stochastic map that can be constructed from the original one in a canonical way. We also provide an integral representation for operator convex functions on the positive half-line, which is the main ingredient in extending previously known results on the monotonicity inequality and the case of equality. We also consider some special cases where the convexity of f is sufficient for the monotonicity, and obtain the inverse Holder inequality for operators as an application. The presentation is completely self-contained and requires only standard knowledge of matrix analysis.