Integral formula for quantum relative entropy implies data processing inequality

• URL: http://arxiv.org/abs/2208.12194v4
• Date: Tue, 5 Sep 2023 17:00:13 GMT
• Title: Integral formula for quantum relative entropy implies data processing inequality
• Authors: P\'eter E. Frenkel
• Abstract summary: We prove the monotonicity of quantum relative entropy under trace-preserving positive linear maps. For a simple application of such monotonicities, we consider any divergence' that is non-increasing under quantum measurements. An 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.
• Score: 0.0
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: 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\"uller-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\'enyi divergence, are also discussed.

Related papers

• One-Shot Min-Entropy Calculation And Its Application To Quantum Cryptography [21.823963925581868]
  We develop a one-shot lower bound calculation technique for the min-entropy of a classical-quantum state. It gives an alternative tight finite-data analysis for the well-known BB84 quantum key distribution protocol. It provides a security proof for a novel source-independent continuous-variable quantum random number generation protocol.
  arXiv  Detail & Related papers  (2024-06-21T15:11:26Z)
• Quantum Neural Estimation of Entropies [20.12693323453867]
  entropy measures quantify the amount of information and correlation present in a quantum system. We propose a variational quantum algorithm for estimating the von Neumann and R'enyi entropies, as well as the measured relative entropy and measured R'enyi relative entropy.
  arXiv  Detail & Related papers  (2023-07-03T17:30:09Z)
• Asymptotic Equipartition Theorems in von Neumann algebras [24.1712628013996]
  We show that the smooth max entropy of i.i.d. states on a von Neumann algebra has an rate given by the quantum relative entropy. Our AEP not only applies to states, but also to quantum channels with appropriate restrictions.
  arXiv  Detail & Related papers  (2022-12-30T13:42:35Z)
• Page curves and typical entanglement in linear optics [0.0]
  We study entanglement within a set of squeezed modes that have been evolved by a random linear optical unitary. We prove various results on the typicality of entanglement as measured by the R'enyi-2 entropy. Our main make use of a symmetry property obeyed by the average and the variance of the entropy that dramatically simplifies the averaging over unitaries.
  arXiv  Detail & Related papers  (2022-09-14T18:00:03Z)
• Convergence conditions for the quantum relative entropy and other applications of the deneralized quantum Dini lemma [0.0]
  We prove two general dominated convergence theorems and the theorem about preserving local continuity under convex mixtures. A simple convergence criterion for the von Neumann entropy is also obtained.
  arXiv  Detail & Related papers  (2022-05-18T17:55:36Z)
• Tight Exponential Analysis for Smoothing the Max-Relative Entropy and for Quantum Privacy Amplification [56.61325554836984]
  The max-relative entropy together with its smoothed version is a basic tool in quantum information theory. We derive the exact exponent for the decay of the small modification of the quantum state in smoothing the max-relative entropy based on purified distance.
  arXiv  Detail & Related papers  (2021-11-01T16:35:41Z)
• Kurtosis of von Neumann entanglement entropy [2.88199186901941]
  We study the statistical behavior of entanglement in quantum bipartite systems under the Hilbert-Schmidt ensemble. The main contribution of the present work is the exact formula of the corresponding fourth cumulant that controls the tail behavior of the distribution.
  arXiv  Detail & Related papers  (2021-07-21T22:20:10Z)
• Optimized quantum f-divergences [6.345523830122166]
  I introduce the optimized quantum f-divergence as a related generalization of quantum relative entropy. I prove that it satisfies the data processing inequality, and the method of proof relies upon the operator Jensen inequality. One benefit of this approach is that there is now a single, unified approach for establishing the data processing inequality for the Petz--Renyi and sandwiched Renyi relative entropies.
  arXiv  Detail & Related papers  (2021-03-31T04:15:52Z)
• Complete entropic inequalities for quantum Markov chains [17.21921346541951]
  We prove that every GNS-symmetric quantum Markov semigroup on a finite dimensional algebra satisfies a modified log-Sobolev inequality. We also establish the first general approximateization property of relative entropy.
  arXiv  Detail & Related papers  (2021-02-08T11:47:37Z)
• Joint measurability meets Birkhoff-von Neumann's theorem [77.34726150561087]
  We prove that joint measurability arises as a mathematical feature of DNTs in this context, needed to establish a characterisation similar to Birkhoff-von Neumann's. We also show that DNTs emerge naturally from a particular instance of a joint measurability problem, remarking its relevance in general operator theory.
  arXiv  Detail & Related papers  (2018-09-19T18:57:45Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.