Abstract We establish Transportation Cost Inequalities (TCIs) with respect to the quantum Wasserstein distance by introducing quantum extensions of well-known classical methods: First, we generalize the Dobrushin uniqueness condition to prove that Gibbs states of 1D commuting Hamiltonians satisfy a TCI at any positive temperature and provide conditions under which this first result can be extended to non-commuting Hamiltonians. Next, using a non-commutative version of Ollivier’s coarse Ricci curvature, we prove that high temperature Gibbs states of commuting Hamiltonians on arbitrary hypergraphs $H=(V,E)$ H = ( V , E ) satisfy a TCI with constant scaling as O(|V|). Third, we argue that the temperature range for which the TCI holds can be enlarged by relating it to recently established modified logarithmic Sobolev inequalities. Fourth, we prove that the inequality still holds for fixed points of arbitrary reversible local quantum Markov semigroups on regular lattices, albeit with slightly worsened constants, under a seemingly weaker condition of local indistinguishability of the fixed points. Finally, we use our framework to prove Gaussian concentration bounds for the distribution of eigenvalues of quasi-local observables and argue the usefulness of the TCI in proving the equivalence of the canonical and microcanonical ensembles and an exponential improvement over the weak Eigenstate Thermalization Hypothesis.Abstract We establish Transportation Cost Inequalities (TCIs) with respect to the quantum Wasserstein distance by introducing quantum extensions of well-known classical methods: First, we generalize the Dobrushin uniqueness condition to prove that Gibbs states of 1D commuting Hamiltonians satisfy a TCI at any positive temperature and provide conditions under which this first result can be extended to non-commuting Hamiltonians. Next, using a non-commutative version of Ollivier’s coarse Ricci curvature, we prove that high temperature Gibbs states of commuting Hamiltonians on arbitrary hypergraphs $$H=(V,E)$$ H = ( V , E ) satisfy a TCI with constant scaling as O(|V|). Third, we argue that the temperature range for which the TCI holds can be enlarged by relating it to recently established modified logarithmic Sobolev inequalities. Fourth, we prove that the inequality still holds for fixed points of arbitrary reversible local quantum Markov semigroups on regular lattices, albeit with slightly worsened constants, under a seemingly weaker condition of local indistinguishability of the fixed points. Finally, we use our framework to prove Gaussian concentration bounds for the distribution of eigenvalues of quasi-local observables and argue the usefulness of the TCI in proving the equivalence of the canonical and microcanonical ensembles and an exponential improvement over the weak Eigenstate Thermalization Hypothesis.

arXiv:2106.15819Annales Henri PoincaréApr 21, 202222 citations

On Quantum Optimal Transport

Sam Cole, Michał Eckstein, Shmuel Friedland +1 more

arXiv:2105.06922Mathematical Physics Analysis and GeometryJun 1, 202327 citations

Relating Relative Entropy, Optimal Transport and Fisher Information: A Quantum HWI Inequality

Nilanjana Datta, Cambyse Rouzé

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.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.

arXiv:1709.07437Annales Henri PoincaréFeb 5, 202055 citations

Thermodynamic Equilibrium of Finite Quantum Systems

J.-B. Bru, W. de Siqueira Pedra

Latin American mathematics series. UFSCar subseriesJan 1, 20230 citations

A thermodynamic approach to optimization in complex quantum systems

A Imparato, Nicholas Chancellor, G De Chiara

Feb 16, 20240 citations

Thermodynamic Concentration Inequalities and Trade-Off Relations

Yoshihiko Hasegawa, Tomohiro Nishiyama

Thermodynamic tradeoff relations quantify the fundamental concept of "no free lunch" in the physical world, suggesting that faster and more precise physical processes come at a higher thermodynamic cost. The key elements in these trade-off relations are the thermodynamic uncertainty relation and speed limit, which are closely tied to information inequalities from which other trade-off relations are derived. Concentration inequalities are relations that complement information inequalities in statistical analyses and have been widely used in various fields. However, their role in thermodynamic trade-off relations remains unclear. This Letter develops thermodynamic concentration inequalities that provide bounds for the distribution of observables in quantum and classical Markov processes. We derive a set of trade-off relations that generalize speed limits and thermodynamic uncertainty relations from the developed thermodynamic concentration inequalities. The derived trade-off relations hold under minimal assumptions of the underlying physical processes. This Letter clarifies the role of concentration inequalities in thermodynamics, paving the way for deriving new trade-off relations.Thermodynamic tradeoff relations quantify the fundamental concept of "no free lunch" in the physical world, suggesting that faster and more precise physical processes come at a higher thermodynamic cost. The key elements in these trade-off relations are the thermodynamic uncertainty relation and speed limit, which are closely tied to information inequalities from which other trade-off relations are derived. Concentration inequalities are relations that complement information inequalities in statistical analyses and have been widely used in various fields. However, their role in thermodynamic trade-off relations remains unclear. This Letter develops thermodynamic concentration inequalities that provide bounds for the distribution of observables in quantum and classical Markov processes. We derive a set of trade-off relations that generalize speed limits and thermodynamic uncertainty relations from the developed thermodynamic concentration inequalities. The derived trade-off relations hold under minimal assumptions of the underlying physical processes. This Letter clarifies the role of concentration inequalities in thermodynamics, paving the way for deriving new trade-off relations.

arXiv:2402.12197Physical Review LettersDec 9, 20245 citations

H=(V,E)

H = ( V , E ) satisfy a TCI with constant scaling as O(|V|). Third, we argue that the temperature range for which the TCI holds can be enlarged by relating it to recently established modified logarithmic Sobolev inequalities. Fourth, we prove that the inequality still holds for fixed points of arbitrary reversible local quantum Markov semigroups on regular lattices, albeit with slightly worsened constants, under a seemingly weaker condition of local indistinguishability of the fixed points. Finally, we use our framework to prove Gaussian concentration bounds for the distribution of eigenvalues of quasi-local observables and argue the usefulness of the TCI in proving the equivalence of the canonical and microcanonical ensembles and an exponential improvement over the weak Eigenstate Thermalization Hypothesis.