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

arXiv:2608.23482

Sharp Complete Modified Log-Sobolev Inequalities on Classical and Quantum Tori

Long Zhao

Published Aug 24, 2026• 0 citations
arXivHTMLPDF

Abstract

We prove that the heat semigroup on the circle has optimal complete modified logarithmic Sobolev constant \(1\). The proof is based on a matrix-valued Wirtinger inequality and yields the stronger Bogoliubov--Kubo--Mori Fisher information contraction with rate \(e^{-2t}\). As a consequence, the complete tensorization and transference principle yields the same sharp constant for the heat semigroups on classical and quantum tori.

DOI
10.48550/arxiv.2608.23482

Related papers

Size-independent Logarithmic Sobolev Inequalities for Quantum Gibbs Samplers

Hongrui Chen, Zhiyan Ding, Jianfeng Lu

We propose a new method for proving $L^2$ and modified logarithmic Sobolev inequalities with constants independent of system size for quantum Gibbs samplers whose Lindblad generators satisfy Kubo-Martin-Schwinger (KMS) detailed balance. We first establish the $L^2$ logarithmic Sobolev inequality by transporting it along a temperature-dependent path from the infinite-temperature product state to the target Gibbs state while maintaining a size-independent decay rate for the sandwiched Rényi-2 divergence. A tensor-power argument, combined with the quantum asymptotic equipartition property, then transfers this decay bound to relative entropy, yielding the modified logarithmic Sobolev inequality. This approach provides a general framework for proving size-independent logarithmic Sobolev inequalities for quantum Gibbs samplers. We apply it to two regimes: one-dimensional quantum spin chains at every finite temperature, and finite-range quantum spin systems at sufficiently high temperature in any fixed dimension.

quant-pharXiv:2610.31571•Oct 23, 2026•0 citations

A sharp complete modified logarithmic Sobolev inequality for Hamiltonian dephasing

Christoph Hartmann

We consider the pure dephasing semigroup on n x n matrices whose generator is one half of the double commutator with a fixed self-adjoint matrix H. Let delta be the smallest distance between two distinct eigenvalues of H. We show that the relative entropy of any state with respect to its pinching onto the commutant of H decays at least like exp(-delta^2 t), and that the same holds, with the same constant, when the system is coupled to an arbitrary finite-dimensional reference system. Equivalently, the modified logarithmic Sobolev constant and its complete version are both equal to delta^2 / 2. This is the spectral gap of the generator and hence the largest possible value. The spectrum of H is arbitrary; it may be degenerate and need not lie in a lattice. The proof adapts the argument of L. Zhao for the heat semigroup on the circle (arXiv:2608.23482). For lattice spectra, transference from the circle gives a weaker rate unless the lattice spacing equals delta. We also note that equality of this constant with the spectral gap can fail for two commuting dephasing operators. Status: checked by three AI-based passes and numerically, but not by a human referee. Novelty has not yet been independently confirmed.

•Sep 25, 2026•1 citation

On the modified logarithmic Sobolev inequality for the heat-bath dynamics for 1D systems

Ivan Bardet, Ángela Capel, Angelo Lucia +2 more

The mixing time of Markovian dissipative evolutions of open quantum many-body systems can be bounded using optimal constants of certain quantum functional inequalities, such as the modified logarithmic Sobolev constant. For classical spin systems, the positivity of such constants follows from a mixing condition for the Gibbs measure via quasi-factorization results for the entropy. Inspired by the classical case, we present a strategy to derive the positivity of the modified logarithmic Sobolev constant associated with the dynamics of certain quantum systems from some clustering conditions on the Gibbs state of a local, commuting Hamiltonian. In particular, we show that for the heat-bath dynamics of 1D systems, the modified logarithmic Sobolev constant is positive under the assumptions of a mixing condition on the Gibbs state and a strong quasi-factorization of the relative entropy.

arXiv:1908.09004•Journal of Mathematical Physics•Jun 1, 2021•28 citations

From Qubit Tensorization to Gaussian Optimizers in Bosonic Systems

Salman Beigi, Hami Mehrabi

We develop a method for deriving Gaussian optimality results for bosonic quantum systems from inequalities for qubit systems. Inspired by Gross's derivation of the Gaussian logarithmic Sobolev inequality from an inequality on the two-point space, we use qubits as quantum two-point spaces and lift bosonic Weyl operators to pseudo-Weyl operators on large qubit systems. By controlling weighted norms and relative entropy in the fluctuation limit, we establish two transfer theorems that convert tensorized qubit inequalities into inequalities for bosonic Gaussian channels. As a first application, we prove that the sharp $2$-logarithmic Sobolev inequality for the bosonic Ornstein--Uhlenbeck semigroup tensorizes without loss in the constant. We also establish a sharp output entropy inequality for tensor powers of a class of qubit channels. This includes a quantum Mrs.~Gerber's lemma determining the minimum output entropy of tensor powers of the qubit depolarizing channel at fixed input entropy. Applying our relative entropy transfer theorem, we obtain multimode constrained minimum output entropy bounds for Gaussian additive-noise channels and thermal attenuators in the heating range.

quant-pharXiv:2610.28902•Oct 22, 2026•0 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.

arXiv:1709.07437•Annales Henri Poincaré•Feb 5, 2020•55 citations

Geometric inequalities from phase space translations

Huber, S., Robert König, Vershynina, A.

We establish a quantum version of the classical isoperimetric inequality relating the Fisher information and the entropy power of a quantum state. The key tool is a Fisher information inequality for a state which results from a certain convolution operation: the latter maps a classical probability distribution on phase space and a quantum state to a quantum state. We show that this inequality also gives rise to several related inequalities whose counterparts are well-known in the classical setting: in particular, it implies an entropy power inequality for the mentioned convolution operation as well as the isoperimetric inequality, and establishes concavity of the entropy power along trajectories of the quantum heat diffusion semigroup. As an application, we derive a Log-Sobolev inequality for the quantum Ornstein-Uhlenbeck semigroup, and argue that it implies fast convergence towards the fixed point for a large class of initial states.

•Jul 22, 2016•18 citations
We prove that the heat semigroup on the circle has optimal complete modified logarithmic Sobolev constant (1). The proof is based on a matrix-valued Wirtinger inequality and yields the stronger Bogoliubov--Kubo--Mori Fisher information contraction with rate (e^{-2t}). As a consequence, the complete tensorization and transference principle yields the same sharp constant for the heat semigroups on classical and quantum tori.
We propose a new method for proving L2L^2L2 and modified logarithmic Sobolev inequalities with constants independent of system size for quantum Gibbs samplers whose Lindblad generators satisfy Kubo-Martin-Schwinger (KMS) detailed balance. We first establish the L2L^2L2 logarithmic Sobolev inequality by transporting it along a temperature-dependent path from the infinite-temperature product state to the target Gibbs state while maintaining a size-independent decay rate for the sandwiched Rényi-2 divergence. A tensor-power argument, combined with the quantum asymptotic equipartition property, then transfers this decay bound to relative entropy, yielding the modified logarithmic Sobolev inequality. This approach provides a general framework for proving size-independent logarithmic Sobolev inequalities for quantum Gibbs samplers. We apply it to two regimes: one-dimensional quantum spin chains at every finite temperature, and finite-range quantum spin systems at sufficiently high temperature in any fixed dimension.
We consider the pure dephasing semigroup on n x n matrices whose generator is one half of the double commutator with a fixed self-adjoint matrix H. Let delta be the smallest distance between two distinct eigenvalues of H. We show that the relative entropy of any state with respect to its pinching onto the commutant of H decays at least like exp(-delta^2 t), and that the same holds, with the same constant, when the system is coupled to an arbitrary finite-dimensional reference system. Equivalently, the modified logarithmic Sobolev constant and its complete version are both equal to delta^2 / 2. This is the spectral gap of the generator and hence the largest possible value. The spectrum of H is arbitrary; it may be degenerate and need not lie in a lattice. The proof adapts the argument of L. Zhao for the heat semigroup on the circle (arXiv:2608.23482). For lattice spectra, transference from the circle gives a weaker rate unless the lattice spacing equals delta. We also note that equality of this constant with the spectral gap can fail for two commuting dephasing operators. Status: checked by three AI-based passes and numerically, but not by a human referee. Novelty has not yet been independently confirmed.
The mixing time of Markovian dissipative evolutions of open quantum many-body systems can be bounded using optimal constants of certain quantum functional inequalities, such as the modified logarithmic Sobolev constant. For classical spin systems, the positivity of such constants follows from a mixing condition for the Gibbs measure via quasi-factorization results for the entropy. Inspired by the classical case, we present a strategy to derive the positivity of the modified logarithmic Sobolev constant associated with the dynamics of certain quantum systems from some clustering conditions on the Gibbs state of a local, commuting Hamiltonian. In particular, we show that for the heat-bath dynamics of 1D systems, the modified logarithmic Sobolev constant is positive under the assumptions of a mixing condition on the Gibbs state and a strong quasi-factorization of the relative entropy.
We develop a method for deriving Gaussian optimality results for bosonic quantum systems from inequalities for qubit systems. Inspired by Gross's derivation of the Gaussian logarithmic Sobolev inequality from an inequality on the two-point space, we use qubits as quantum two-point spaces and lift bosonic Weyl operators to pseudo-Weyl operators on large qubit systems. By controlling weighted norms and relative entropy in the fluctuation limit, we establish two transfer theorems that convert tensorized qubit inequalities into inequalities for bosonic Gaussian channels. As a first application, we prove that the sharp 222-logarithmic Sobolev inequality for the bosonic Ornstein--Uhlenbeck semigroup tensorizes without loss in the constant. We also establish a sharp output entropy inequality for tensor powers of a class of qubit channels. This includes a quantum Mrs.~Gerber's lemma determining the minimum output entropy of tensor powers of the qubit depolarizing channel at fixed input entropy. Applying our relative entropy transfer theorem, we obtain multimode constrained minimum output entropy bounds for Gaussian additive-noise channels and thermal attenuators in the heating range.
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.
We establish a quantum version of the classical isoperimetric inequality relating the Fisher information and the entropy power of a quantum state. The key tool is a Fisher information inequality for a state which results from a certain convolution operation: the latter maps a classical probability distribution on phase space and a quantum state to a quantum state. We show that this inequality also gives rise to several related inequalities whose counterparts are well-known in the classical setting: in particular, it implies an entropy power inequality for the mentioned convolution operation as well as the isoperimetric inequality, and establishes concavity of the entropy power along trajectories of the quantum heat diffusion semigroup. As an application, we derive a Log-Sobolev inequality for the quantum Ornstein-Uhlenbeck semigroup, and argue that it implies fast convergence towards the fixed point for a large class of initial states.