Integral formula for quantum relative entropy implies data processing inequality
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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften
2023-09-01
|
| Series: | Quantum |
| Online Access: | https://quantum-journal.org/papers/q-2023-09-07-1102/pdf/ |
| _version_ | 1797690577499717632 |
|---|---|
| author | Péter E. Frenkel |
| author_facet | Péter E. Frenkel |
| author_sort | Péter E. Frenkel |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-03-12T02:01:19Z |
| format | Article |
| id | doaj.art-7e5a0bdffa124b9ab24e8dfab5bd6262 |
| institution | Directory Open Access Journal |
| issn | 2521-327X |
| language | English |
| last_indexed | 2024-03-12T02:01:19Z |
| publishDate | 2023-09-01 |
| publisher | Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften |
| record_format | Article |
| series | Quantum |
| spelling | doaj.art-7e5a0bdffa124b9ab24e8dfab5bd62622023-09-07T14:27:11ZengVerein zur Förderung des Open Access Publizierens in den QuantenwissenschaftenQuantum2521-327X2023-09-017110210.22331/q-2023-09-07-110210.22331/q-2023-09-07-1102Integral formula for quantum relative entropy implies data processing inequalityPéter E. FrenkelIntegral 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.https://quantum-journal.org/papers/q-2023-09-07-1102/pdf/ |
| spellingShingle | Péter E. Frenkel Integral formula for quantum relative entropy implies data processing inequality Quantum |
| title | Integral formula for quantum relative entropy implies data processing inequality |
| title_full | Integral formula for quantum relative entropy implies data processing inequality |
| title_fullStr | Integral formula for quantum relative entropy implies data processing inequality |
| title_full_unstemmed | Integral formula for quantum relative entropy implies data processing inequality |
| title_short | Integral formula for quantum relative entropy implies data processing inequality |
| title_sort | integral formula for quantum relative entropy implies data processing inequality |
| url | https://quantum-journal.org/papers/q-2023-09-07-1102/pdf/ |
| work_keys_str_mv | AT peterefrenkel integralformulaforquantumrelativeentropyimpliesdataprocessinginequality |