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:1804.09525 · Journal of Physics A Mathematical and Theoretical

Quantum conditional relative entropy and quasi-factorization of the relative entropy

Ángela Capel, Angelo Lucia, David Pérez-García

Published Sep 27, 2018• 26 citations
arXivHTMLPDF

Abstract

Abstract The existence of a positive log-Sobolev constant implies a bound on the mixing time of a quantum dissipative evolution under the Markov approximation. For classical spin systems, such constant was proven to exist, under the assumption of a mixing condition in the Gibbs measure associated to their dynamics, via a quasi-factorization of the entropy in terms of the conditional entropy in some sub- σ -algebras. In this work we analyze analogous quasi-factorization results in the quantum case. For that, we define the quantum conditional relative entropy and prove several quasi-factorization results for it. As an illustration of their potential, we use one of them to obtain a positive log-Sobolev constant for the heat-bath dynamics with product fixed point.

DOI
10.1088/1751-8121/aae4cf

Related papers

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

Relative Entropy Decay via BKM coercivity for Quantum Markov Semigroups

Li Gao, Jingyu Guo

We introduce the notion of the BKM coercivity constant and show that the positivity of this constant governs the exponential relative entropy decay of the semigroup. Indeed, we prove that the modified log-Sobolev constant is equivalent to the BKM coercivity constant up to a constant depending on the asymptotic conditional expectation. We also discover that the BKM coercivity constants for matrix amplifications are already attained with a qubit auxiliary system, which also coincides with the GNS spectral gap of the generating Lindbladian. As a corollary, we establish a criterion that the complete modified log-Sobolev inequality holds if and only if the GNS gap of the semigroup is strictly positive. All the discussion above applies to quantum Markov semigroups that admit a faithful asymptotic conditional expectation as long-time equilibration, with no detailed balance condition assumed. As an application, we show the finite-dimensional Chen-Kastoryano-Gilyén Gibbs samplers always satisfy the complete modified log-Sobolev inequality.

quant-pharXiv:2609.15902•Sep 15, 2026•0 citations

Approximate Tensorization of the Relative Entropy for Noncommuting Conditional Expectations

Ivan Bardet, Ángela Capel, Cambyse Rouzé

Abstract In this paper, we derive a new generalisation of the strong subadditivity of the entropy to the setting of general conditional expectations onto arbitrary finite-dimensional von Neumann algebras. This generalisation, referred to as approximate tensorization of the relative entropy, consists in a lower bound for the sum of relative entropies between a given density and its respective projections onto two intersecting von Neumann algebras in terms of the relative entropy between the same density and its projection onto an algebra in the intersection, up to multiplicative and additive constants. In particular, our inequality reduces to the so-called quasi-factorization of the entropy for commuting algebras, which is a key step in modern proofs of the logarithmic Sobolev inequality for classical lattice spin systems. We also provide estimates on the constants in terms of conditions of clustering of correlations in the setting of quantum lattice spin systems. Along the way, we show the equivalence between conditional expectations arising from Petz recovery maps and those of general Davies semigroups.

arXiv:2001.07981•Annales Henri Poincaré•Jul 31, 2021•16 citations

Quantum Entropy Contraction and Factorization from Hypercontractivity

Li Gao, Lijun Wang

We prove that hypercontractivity implies entropy contraction for a single quantum channel, without a detailed balance condition. For primitive quantum Markov semigroups that are KMS-symmetric with respect to a faithful invariant state \(σ\), we obtain the modified Log-Sobolev bound $α_1\geq \fracλ{(2+\log\|σ^{-1}\|_\infty)}$ where $λ$ is the spectral gap. This removes the assumption of \(L_p\)-regularity for the comparison through the log-Sobolev constant. As an application, we show that the hypercontractivity of an average of two conditional expectations implies the approximate tensorization of relative entropy.

quant-pharXiv:2609.20753•Sep 18, 2026

Quasi-factorization and Multiplicative Comparison of Subalgebra-Relative Entropy

Nicholas LaRacuente

Purely multiplicative comparisons of quantum relative entropy are desirable but challenging to prove. We show such comparisons for relative entropies between comparable densities, including the relative entropy of a density with respect to its subalgebraic restriction. These inequalities are asymptotically tight in approaching known, tight inequalities as perturbation size approaches zero. Based on these results, we obtain a kind of inequality known as quasi-factorization or approximate tensorization of relative entropy. Quasi-factorization lower bounds the sum of a density's relative entropies to several subalgebraic restrictions in terms of its relative entropy to their intersection's subalgebraic restriction. As applications, quasi-factorization implies uncertainty-like relations, and with an iteration trick, it yields decay estimates of optimal asymptotic order on mixing processes described by finite, connected, undirected graphs.

quant-pharXiv:1912.00983•Journal of Mathematical Physics•Dec 3, 2019•10 citations

Modified logarithmic Sobolev inequality for 1D non-commuting Hamiltonians

Ángela Capel, David Pérez-García, Matteo Scandi

Given a finite-range, non-commuting Hamiltonian on a 1D chain of finite spins, we prove a modified logarithmic Sobolev inequality with constant $Ω(1/\log n)$ for the heat-bath dynamics, a quasi-local Gibbs sampler, and for the regularised heat-bath dynamics. This implies rapid mixing of both samplers towards the Gibbs state in relative entropy and trace norm, with mixing times of order $\mathcal{O}(\log n\cdot \log(n/ε))$. The interactions may be spatially inhomogeneous. The proof combines weak quasi-factorisation of relative entropy, decay-of-correlation estimates, a uniform conditional local gap, and a buffered comparison between conditional entropy and quadratic energy. The resulting bounded entropy defect is removed using the global gap. To the best of our knowledge, this is the first proof of MLSI in the non-commuting regime.

quant-pharXiv:2610.03683•Oct 5, 2026•0 citations
Abstract The existence of a positive log-Sobolev constant implies a bound on the mixing time of a quantum dissipative evolution under the Markov approximation. For classical spin systems, such constant was proven to exist, under the assumption of a mixing condition in the Gibbs measure associated to their dynamics, via a quasi-factorization of the entropy in terms of the conditional entropy in some sub- σ -algebras. In this work we analyze analogous quasi-factorization results in the quantum case. For that, we define the quantum conditional relative entropy and prove several quasi-factorization results for it. As an illustration of their potential, we use one of them to obtain a positive log-Sobolev constant for the heat-bath dynamics with product fixed point.
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 introduce the notion of the BKM coercivity constant and show that the positivity of this constant governs the exponential relative entropy decay of the semigroup. Indeed, we prove that the modified log-Sobolev constant is equivalent to the BKM coercivity constant up to a constant depending on the asymptotic conditional expectation. We also discover that the BKM coercivity constants for matrix amplifications are already attained with a qubit auxiliary system, which also coincides with the GNS spectral gap of the generating Lindbladian. As a corollary, we establish a criterion that the complete modified log-Sobolev inequality holds if and only if the GNS gap of the semigroup is strictly positive. All the discussion above applies to quantum Markov semigroups that admit a faithful asymptotic conditional expectation as long-time equilibration, with no detailed balance condition assumed. As an application, we show the finite-dimensional Chen-Kastoryano-Gilyén Gibbs samplers always satisfy the complete modified log-Sobolev inequality.
Abstract In this paper, we derive a new generalisation of the strong subadditivity of the entropy to the setting of general conditional expectations onto arbitrary finite-dimensional von Neumann algebras. This generalisation, referred to as approximate tensorization of the relative entropy, consists in a lower bound for the sum of relative entropies between a given density and its respective projections onto two intersecting von Neumann algebras in terms of the relative entropy between the same density and its projection onto an algebra in the intersection, up to multiplicative and additive constants. In particular, our inequality reduces to the so-called quasi-factorization of the entropy for commuting algebras, which is a key step in modern proofs of the logarithmic Sobolev inequality for classical lattice spin systems. We also provide estimates on the constants in terms of conditions of clustering of correlations in the setting of quantum lattice spin systems. Along the way, we show the equivalence between conditional expectations arising from Petz recovery maps and those of general Davies semigroups.
We prove that hypercontractivity implies entropy contraction for a single quantum channel, without a detailed balance condition. For primitive quantum Markov semigroups that are KMS-symmetric with respect to a faithful invariant state σσσ, we obtain the modified Log-Sobolev bound α1≥λ(2+log⁡∥σ−1∥∞)α_1\geq \fracλ{(2+\log\|σ^{-1}\|_\infty)}α1​≥(2+log∥σ−1∥∞​)λ​ where λλλ is the spectral gap. This removes the assumption of LpL_pLp​-regularity for the comparison through the log-Sobolev constant. As an application, we show that the hypercontractivity of an average of two conditional expectations implies the approximate tensorization of relative entropy.
Purely multiplicative comparisons of quantum relative entropy are desirable but challenging to prove. We show such comparisons for relative entropies between comparable densities, including the relative entropy of a density with respect to its subalgebraic restriction. These inequalities are asymptotically tight in approaching known, tight inequalities as perturbation size approaches zero. Based on these results, we obtain a kind of inequality known as quasi-factorization or approximate tensorization of relative entropy. Quasi-factorization lower bounds the sum of a density's relative entropies to several subalgebraic restrictions in terms of its relative entropy to their intersection's subalgebraic restriction. As applications, quasi-factorization implies uncertainty-like relations, and with an iteration trick, it yields decay estimates of optimal asymptotic order on mixing processes described by finite, connected, undirected graphs.
Given a finite-range, non-commuting Hamiltonian on a 1D chain of finite spins, we prove a modified logarithmic Sobolev inequality with constant Ω(1/log⁡n)Ω(1/\log n)Ω(1/logn) for the heat-bath dynamics, a quasi-local Gibbs sampler, and for the regularised heat-bath dynamics. This implies rapid mixing of both samplers towards the Gibbs state in relative entropy and trace norm, with mixing times of order O(log⁡n⋅log⁡(n/ε))\mathcal{O}(\log n\cdot \log(n/ε))O(logn⋅log(n/ε)). The interactions may be spatially inhomogeneous. The proof combines weak quasi-factorisation of relative entropy, decay-of-correlation estimates, a uniform conditional local gap, and a buffered comparison between conditional entropy and quadratic energy. The resulting bounded entropy defect is removed using the global gap. To the best of our knowledge, this is the first proof of MLSI in the non-commuting regime.