Relating Relative Entropy, Optimal Transport and Fisher Information: A Quantum HWI Inequality
Authors:
Open Access
- 5 February 2020
- journal article
- research article
- Published by Springer Nature in Annales Henri Poincare
- Vol. 21 (7) , 2115-2150
Abstract
Quantum Markov semigroups characterize the time evolution of an important class of open quantum systems. Studying convergence properties of such a semigroup and determining concentration properties of its invariant state have been the focus of much research. Quantum versions of functional inequalities (like the modified logarithmic Sobolev and Poincaré inequalities) and the so-called transportation cost inequalities have proved to be essential for this purpose. Classical functional and transportation cost inequalities are seen to arise from a single geometric inequality, called the Ricci lower bound, via an inequality which interpolates between them. The latter is called the HWI inequality, where the letters I, W and H are, respectively, acronyms for the Fisher information (arising in the modified logarithmic Sobolev inequality), the so-called Wasserstein distance (arising in the transportation cost inequality) and the relative entropy (or Boltzmann H function) arising in both. Hence, classically, the above inequalities and the implications between them form a remarkable picture which relates elements from diverse mathematical fields, such as Riemannian geometry, information theory, optimal transport theory, Markov processes, concentration of measure and convexity theory. Here, we consider a quantum version of the Ricci lower bound introduced by Carlen and Maas and prove that it implies a quantum HWI inequality from which the quantum functional and transportation cost inequalities follow. Our results hence establish that the unifying picture of the classical setting carries over to the quantum one.Keywords
All Related Versions
Funding Information
- Munich Center for Quantum Science and Technology (DFG cluster of excellence 2111)
This publication has 27 references indexed in Scilit:
- Gradient flows of the entropy for finite Markov chainsJournal of Functional Analysis, 2011
- Ricci curvature for metric-measure spaces via optimal transportAnnals of Mathematics, 2009
- Eulerian Calculus for the Displacement Convexity in the Wasserstein DistanceSIAM Journal on Mathematical Analysis, 2008
- On the Translocation of MassesJournal of Mathematical Sciences, 2006
- Transport inequalities, gradient estimates, entropy and Ricci curvatureCommunications on Pure and Applied Mathematics, 2004
- Generalization of an Inequality by Talagrand and Links with the Logarithmic Sobolev InequalityJournal of Functional Analysis, 2000
- Hypercontractivity in Noncommutative LpSpacesJournal of Functional Analysis, 1999
- A simple proof of the blowing-up lemma (Corresp.)IEEE Transactions on Information Theory, 1986
- Diffusions hypercontractives1985
- On the detailed balance condition for non-hamiltonian systemsReports on Mathematical Physics, 1976