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

Universal recovery from a decrease of quantum relative entropy

Marius Junge, Renato Renner, David Sutter, Mark M. Wilde, Andreas Winter

Published Sep 23, 2015• 39 citations
OpenAlex

Abstract

The data processing inequality states that the quantum relative entropy between two states ρ and σ can never increase by applying the same quantum channel N to both states. This inequality can be strengthened with a remainder term in the form of a distance between ρ and the closest recovered state (R∘N)(ρ), where R is a recovery map with the property that σ=(R∘N)(σ). We show the existence of an explicit recovery map that is universal in the sense that it depends only on σ and the quantum channel N to be reversed. This result gives an alternate, information-theoretic characterization of the conditions for approximate quantum error correction.

Related papers

Universal Recovery Maps and Approximate Sufficiency of Quantum Relative Entropy

Marius Junge, Renato Renner, David Sutter +2 more

The data processing inequality states that the quantum relative entropy between two states ρ and σ can never increase by applying the same quantum channel N to both states. This inequality can be strengthened with a remainder term in the form of a distance between ρ and the closest recovered state (R∘N)(ρ), where R is a recovery map with the property that σ=(R∘N)(σ). We show the existence of an explicit recovery map that is universal in the sense that it depends only on σ and the quantum channel N to be reversed. This result gives an alternate, information-theoretic characterization of the conditions for approximate quantum error correction.

Civil War Book Review•Oct 1, 2018•99 citations

Universal Recovery Maps and Approximate Sufficiency of Quantum Relative Entropy

Marius Junge, Renato Renner, David Sutter +2 more

The data processing inequality states that the quantum relative entropy between two states $$\rho $$ and $$\sigma $$ can never increase by applying the same quantum channel $$\mathcal {N}$$ to both states. This inequality can be strengthened with a remainder term in the form of a distance between $$\rho $$ and the closest recovered state $$(\mathcal {R} \circ \mathcal {N})(\rho )$$ , where $$\mathcal {R}$$ is a recovery map with the property that $$\sigma = (\mathcal {R} \circ \mathcal {N})(\sigma )$$ . We show the existence of an explicit recovery map that is universal in the sense that it depends only on $$\sigma $$ and the quantum channel $$\mathcal {N}$$ to be reversed. This result gives an alternate, information-theoretic characterization of the conditions for approximate quantum error correction.

arXiv:1509.07127•Annales Henri Poincaré•Aug 6, 2018•118 citations

Strengthened Monotonicity of Relative Entropy via Pinched Petz Recovery Map

David Sutter, Marco Tomamichel, Aram W. Harrow

The quantum relative entropy between two states satisfies a monotonicity property meaning that applying the same quantum channel to both states can never increase their relative entropy. It is known that this inequality is only tight when there is a recovery map that exactly reverses the effects of the quantum channel on both states. In this paper, we strengthen this inequality by showing that the difference of relative entropies is bounded below by the measured relative entropy between the first state and a recovered state from its processed version. The recovery map is a convex combination of rotated Petz recovery maps and perfectly reverses the quantum channel on the second state. As a special case, we reproduce recent lower bounds on the conditional mutual information, such as the one proved by Fawzi and Renner. Our proof only relies on the elementary properties of pinching maps and the operator logarithm.

arXiv:1507.00303•IEEE Transactions on Information Theory•Mar 23, 2016•74 citations

Approximate Reversal of Quantum Gaussian Dynamics

Ludovico Lami, Siddhartha Das, Mark M. Wilde

Recently, there has been focus on determining the conditions under which the data processing inequality for quantum relative entropy is satisfied with approximate equality. The solution of the exact equality case is due to Petz, who showed that the quantum relative entropy between two quantum states stays the same after the action of a quantum channel if and only if there is a reversal channel that recovers the original states after the channel acts. Furthermore, this reversal channel can be constructed explicitly and is now called the Petz recovery map. Recent developments have shown that a variation of the Petz recovery map works well for recovery in the case of approximate equality of the data processing inequality. Our main contribution here is a proof that bosonic Gaussian states and channels possess a particular closure property, namely, that the Petz recovery map associated to a bosonic Gaussian state \sigma and a bosonic Gaussian channel N is itself a bosonic Gaussian channel. We furthermore give an explicit construction of the Petz recovery map in this case, in terms of the mean vector and covariance matrix of the state \sigma and the Gaussian specification of the channel N.

Civil War Book Review•Jan 1, 2018•0 citations

Approximate reversal of quantum Gaussian dynamics

Ludovico Lami, Siddhartha Das, Mark M. Wilde

Abstract Recently, there has been focus on determining the conditions under which the data processing inequality for quantum relative entropy is satisfied with approximate equality. The solution of the exact equality case is due to Petz, who showed that the quantum relative entropy between two quantum states stays the same after the action of a quantum channel if and only if there is a reversal channel that recovers the original states after the channel acts. Furthermore, this reversal channel can be constructed explicitly and is now called the Petz recovery map . Recent developments have shown that a variation of the Petz recovery map works well for recovery in the case of approximate equality of the data processing inequality. Our main contribution here is a proof that bosonic Gaussian states and channels possess a particular closure property, namely, that the Petz recovery map associated to a bosonic Gaussian state σ and a bosonic Gaussian channel N is itself a bosonic Gaussian channel. We furthermore give an explicit construction of the Petz recovery map in this case, in terms of the mean vector and covariance matrix of the state σ and the Gaussian specification of the channel N .

arXiv:1702.04737•Journal of Physics A Mathematical and Theoretical•Feb 6, 2018•23 citations

Strengthened monotonicity of relative entropy via pinched Petz recovery map

David Sutter, Marco Tomamichel, Aram W. Harrow

The quantum relative entropy between two states satisfies a monotonicity property, meaning that applying the same quantum channel to both states can never increase their relative entropy. It is known that this inequality is only tight when there is a “recovery map” that exactly reverses the effects of the quantum channel on both states. In this paper we strengthen this inequality by showing that the difference of relative entropies is bounded below by the measured relative entropy between the first state and a recovered state from its processed version. The recovery map is a convex combination of rotated Petz recovery maps and perfectly reverses the quantum channel on the second state. As a special case we reproduce recent lower bounds on the conditional mutual information such as the one proved in [Fawzi and Renner, Commun. Math. Phys., 2015]. Our proof only relies on elementary properties of pinching maps and the operator logarithm.

IEEE International Symposium on Information Theory (ISIT)•Jul 1, 2016•6 citations
The data processing inequality states that the quantum relative entropy between two states ρ and σ can never increase by applying the same quantum channel N to both states. This inequality can be strengthened with a remainder term in the form of a distance between ρ and the closest recovered state (R∘N)(ρ), where R is a recovery map with the property that σ=(R∘N)(σ). We show the existence of an explicit recovery map that is universal in the sense that it depends only on σ and the quantum channel N to be reversed. This result gives an alternate, information-theoretic characterization of the conditions for approximate quantum error correction.
The data processing inequality states that the quantum relative entropy between two states ρ and σ can never increase by applying the same quantum channel N to both states. This inequality can be strengthened with a remainder term in the form of a distance between ρ and the closest recovered state (R∘N)(ρ), where R is a recovery map with the property that σ=(R∘N)(σ). We show the existence of an explicit recovery map that is universal in the sense that it depends only on σ and the quantum channel N to be reversed. This result gives an alternate, information-theoretic characterization of the conditions for approximate quantum error correction.
The data processing inequality states that the quantum relative entropy between two states ρ\rho ρ and σ\sigma σ can never increase by applying the same quantum channel N\mathcal {N}N to both states. This inequality can be strengthened with a remainder term in the form of a distance between ρ\rho ρ and the closest recovered state (R∘N)(ρ)(\mathcal {R} \circ \mathcal {N})(\rho )(R∘N)(ρ) , where R\mathcal {R}R is a recovery map with the property that σ=(R∘N)(σ)\sigma = (\mathcal {R} \circ \mathcal {N})(\sigma )σ=(R∘N)(σ) . We show the existence of an explicit recovery map that is universal in the sense that it depends only on σ\sigma σ and the quantum channel N\mathcal {N}N to be reversed. This result gives an alternate, information-theoretic characterization of the conditions for approximate quantum error correction.
The quantum relative entropy between two states satisfies a monotonicity property meaning that applying the same quantum channel to both states can never increase their relative entropy. It is known that this inequality is only tight when there is a recovery map that exactly reverses the effects of the quantum channel on both states. In this paper, we strengthen this inequality by showing that the difference of relative entropies is bounded below by the measured relative entropy between the first state and a recovered state from its processed version. The recovery map is a convex combination of rotated Petz recovery maps and perfectly reverses the quantum channel on the second state. As a special case, we reproduce recent lower bounds on the conditional mutual information, such as the one proved by Fawzi and Renner. Our proof only relies on the elementary properties of pinching maps and the operator logarithm.
Recently, there has been focus on determining the conditions under which the data processing inequality for quantum relative entropy is satisfied with approximate equality. The solution of the exact equality case is due to Petz, who showed that the quantum relative entropy between two quantum states stays the same after the action of a quantum channel if and only if there is a reversal channel that recovers the original states after the channel acts. Furthermore, this reversal channel can be constructed explicitly and is now called the Petz recovery map. Recent developments have shown that a variation of the Petz recovery map works well for recovery in the case of approximate equality of the data processing inequality. Our main contribution here is a proof that bosonic Gaussian states and channels possess a particular closure property, namely, that the Petz recovery map associated to a bosonic Gaussian state \sigma and a bosonic Gaussian channel N is itself a bosonic Gaussian channel. We furthermore give an explicit construction of the Petz recovery map in this case, in terms of the mean vector and covariance matrix of the state \sigma and the Gaussian specification of the channel N.
Abstract Recently, there has been focus on determining the conditions under which the data processing inequality for quantum relative entropy is satisfied with approximate equality. The solution of the exact equality case is due to Petz, who showed that the quantum relative entropy between two quantum states stays the same after the action of a quantum channel if and only if there is a reversal channel that recovers the original states after the channel acts. Furthermore, this reversal channel can be constructed explicitly and is now called the Petz recovery map . Recent developments have shown that a variation of the Petz recovery map works well for recovery in the case of approximate equality of the data processing inequality. Our main contribution here is a proof that bosonic Gaussian states and channels possess a particular closure property, namely, that the Petz recovery map associated to a bosonic Gaussian state σ and a bosonic Gaussian channel N is itself a bosonic Gaussian channel. We furthermore give an explicit construction of the Petz recovery map in this case, in terms of the mean vector and covariance matrix of the state σ and the Gaussian specification of the channel N .
The quantum relative entropy between two states satisfies a monotonicity property, meaning that applying the same quantum channel to both states can never increase their relative entropy. It is known that this inequality is only tight when there is a “recovery map” that exactly reverses the effects of the quantum channel on both states. In this paper we strengthen this inequality by showing that the difference of relative entropies is bounded below by the measured relative entropy between the first state and a recovered state from its processed version. The recovery map is a convex combination of rotated Petz recovery maps and perfectly reverses the quantum channel on the second state. As a special case we reproduce recent lower bounds on the conditional mutual information such as the one proved in [Fawzi and Renner, Commun. Math. Phys., 2015]. Our proof only relies on elementary properties of pinching maps and the operator logarithm.