pith. sign in

arxiv: 2605.19640 · v1 · pith:34PA472Snew · submitted 2026-05-19 · 🪐 quant-ph · math-ph· math.MP· math.PR

Modified logarithmic Sobolev inequalities for Abelian quantum double models

Sebastian Stengele , \'Angela Capel , Li Gao , Angelo Lucia , David P\'erez-Garc\'ia , Antonio P\'erez-Hern\'andez , Cambyse Rouz\'e , Simone Warzel This is my paper

Pith reviewed 2026-05-20 06:32 UTC · model grok-4.3

classification 🪐 quant-ph math-phmath.MPmath.PR
keywords Abelian quantum double modelsDavies Markov semigroupsmodified logarithmic Sobolev inequalityrapid mixingDobrushin-Shlosman conditionmartingale conditionquantum spin systems
0
0 comments X

The pith

Davies semigroups for 2D Abelian quantum double models satisfy modified logarithmic Sobolev inequalities at any positive temperature, yielding rapid mixing.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that the Davies Markov semigroups associated with 2D Abelian quantum double models mix rapidly at every positive temperature. A Dobrushin-Shlosman type condition is first established and shown to hold independently of temperature. This condition implies a modified logarithmic Sobolev inequality for the Davies Lindbladian once a strong martingale condition is verified for the local conditional expectations. The inequality then controls the rate at which the semigroup approaches its unique equilibrium state.

Core claim

We establish rapid mixing for Davies Markov semigroups associated with 2D Abelian quantum double models at any positive temperature. A condition of Dobrushin-Shlosman (DS) type holds at any temperature, and we show that the latter implies a modified logarithmic Sobolev inequality for the Davies Lindbladian. A key step in the argument is to verify a strong martingale condition for the local conditional expectations of the Davies semigroup in the regime of validity of the DS condition.

What carries the argument

The strong martingale condition on local conditional expectations of the Davies semigroup, which converts the Dobrushin-Shlosman condition into a modified logarithmic Sobolev inequality.

If this is right

  • Rapid mixing holds for the Davies semigroup at any positive temperature.
  • The modified logarithmic Sobolev inequality is satisfied by the Davies Lindbladian.
  • The Dobrushin-Shlosman condition remains valid at all temperatures for these models.
  • The strong martingale condition is satisfied in the regime where the Dobrushin-Shlosman condition applies.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same strategy may extend to other 2D quantum spin models for which a Dobrushin-Shlosman condition can be checked directly.
  • Results of this form would imply that thermalization remains efficient in topologically ordered systems even when temperature is varied.
  • Explicit constants in the inequality could be extracted by tracking the dependence on the local interaction strength.

Load-bearing premise

The strong martingale condition holds for the local conditional expectations of the Davies semigroup whenever the Dobrushin-Shlosman condition is valid.

What would settle it

Explicit computation or simulation of the mixing time for a sequence of finite-size 2D Abelian quantum double models at fixed positive temperature showing that the time grows with system size.

Figures

Figures reproduced from arXiv: 2605.19640 by \'Angela Capel, Angelo Lucia, Antonio P\'erez-Hern\'andez, Cambyse Rouz\'e, David P\'erez-Garc\'ia, Li Gao, Sebastian Stengele, Simone Warzel.

Figure 1
Figure 1. Figure 1: Left: the N × N lattice on the torus. Right: The orientation of the edges. Let us now fix an arbitrary finite Abelian group G with ∣G∣ elements. We will denote by g (instead of g −1 ) the inverse of any g ∈ G, and by 1 ∈ G the identity. The character group of G is the set Gˆ of all homomorphisms χ ∶ G → U(1), where U(1) denotes the set of complex numbers of modulus one, endowed with the pointwise multiplic… view at source ↗
Figure 2
Figure 2. Figure 2: Three sets of overlapping rectangles. (i) The full torus is split into [PITH_FULL_IMAGE:figures/full_fig_p020_2.png] view at source ↗
read the original abstract

We establish rapid mixing for Davies Markov semigroups associated with 2D Abelian quantum double models at any positive temperature. A condition of Dobrushin-Shlosman (DS) type holds at any temperature, and we show that the latter implies a modified logarithmic Sobolev inequality for the Davies Lindbladian. A key step in the argument is to verify a strong martingale condition for the local conditional expectations of the Davies semigroup in the regime of validity of the DS condition.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. This manuscript aims to establish rapid mixing for Davies Markov semigroups associated with 2D Abelian quantum double models at any positive temperature. The approach involves showing that a Dobrushin-Shlosman (DS) type condition holds at arbitrary temperatures and using this to derive a modified logarithmic Sobolev inequality (mLSI) for the Davies Lindbladian, with a key verification of a strong martingale condition for the local conditional expectations in the DS regime.

Significance. If the results are correct, this would represent a notable contribution to the study of quantum mixing times and thermalization in many-body systems with topological order. It successfully adapts classical Dobrushin-Shlosman methods to the quantum setting and provides evidence that rapid mixing holds broadly for these models. The explicit checks of the martingale property add credibility to the logical chain from DS condition to mLSI to rapid mixing.

major comments (1)
  1. [§4] §4: The strong martingale condition for the local conditional expectations is verified using the Abelian stabilizer commutation relations, but the argument would be strengthened by explicitly showing in Eq. (20) or the surrounding text how this property combines with the DS condition to yield the mLSI bound without additional assumptions on the temperature or locality.
minor comments (2)
  1. [Abstract] The abstract is concise but could specify the dimension (2D) more prominently in the first sentence for clarity.
  2. [References] Ensure all relevant works on quantum Dobrushin conditions or modified LSIs are cited, such as recent papers on quantum spin systems.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive feedback. We address the single major comment below.

read point-by-point responses

  1. Referee: [§4] §4: The strong martingale condition for the local conditional expectations is verified using the Abelian stabilizer commutation relations, but the argument would be strengthened by explicitly showing in Eq. (20) or the surrounding text how this property combines with the DS condition to yield the mLSI bound without additional assumptions on the temperature or locality.

    Authors: We agree that an explicit step-by-step account of the combination would improve clarity. In the revised manuscript we will insert a short paragraph immediately after Equation (20) that spells out how the strong martingale property (already verified via the Abelian stabilizer relations) together with the Dobrushin-Shlosman condition directly produces the mLSI bound. The added text will make plain that the derivation relies only on the properties established for the model at any positive temperature and on the locality of the interactions, without invoking further assumptions. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper's chain proceeds by establishing a Dobrushin-Shlosman-type condition at arbitrary positive temperature for 2D Abelian quantum double models, verifying an explicit strong martingale property on the local conditional expectations of the Davies semigroup within that regime (using the Abelian stabilizer commutation relations), and then deriving the modified logarithmic Sobolev inequality to conclude rapid mixing. Each step consists of direct verification and implication rather than fitting parameters to data, renaming known results, or reducing the target inequality to a self-citation whose content is itself unverified or defined in terms of the conclusion. The argument supplies the requisite commutation checks internally and does not invoke load-bearing uniqueness theorems or ansatzes from overlapping prior work that would collapse the derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof rests on standard domain assumptions from open quantum systems and functional analysis; no free parameters are fitted and no new entities are postulated in the abstract.

axioms (1)
  • domain assumption Standard properties of Davies generators and quantum Markov semigroups
    The argument invokes the usual construction of the Davies Lindbladian and its contractivity properties without deriving them from scratch.

pith-pipeline@v0.9.0 · 5637 in / 1236 out tokens · 64040 ms · 2026-05-20T06:32:35.237127+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages · 1 internal anchor

  1. [1]

    Bardet, ´A

    I. Bardet, ´A. Capel, L. Gao, A. Lucia, D. P´ erez-Garc´ ıa, and C. Rouz´ e. Rapid Thermaliza- tion of Spin Chain Commuting Hamiltonians. Phys. Rev. Lett., 130(6):060401, Feb. 2023. doi:10.1103/PhysRevLett.130.060401. 1

    work page doi:10.1103/physrevlett.130.060401 2023

  2. [2]

    Bardet, ´A

    I. Bardet, ´A. Capel, L. Gao, A. Lucia, D. P´ erez-Garc´ ıa, and C. Rouz´ e. Entropy De- cay for Davies Semigroups of a One Dimensional Quantum Lattice. Communications in Mathematical Physics, 405(2):42, Feb. 2024. doi:10.1007/s00220-023-04869-5 . 1

    work page doi:10.1007/s00220-023-04869-5 2024

  3. [3]

    Bardet, ´A

    I. Bardet, ´A. Capel, A. Lucia, D. P´ erez-Garc´ ıa, and C. Rouz´ e. On the modified loga- rithmic Sobolev inequality for the heat-bath dynamics for 1D systems. J. Math. Phys. , 62(6):061901, June 2021. doi:10.1063/1.5142186. 1

    work page doi:10.1063/1.5142186 2021

  4. [4]

    Beigi, N

    S. Beigi, N. Datta, and C. Rouz´ e. Quantum reverse hypercontractivity: Its tensoriza- tion and application to strong converses. Communications in Mathematical Physics , 376(2):753–794, 2020. doi:10.1007/s00220-020-03750-z . 1

    work page doi:10.1007/s00220-020-03750-z 2020

  5. [5]

    46 Peter van Emde Boas

    T. Bergamaschi, C.-F. Chen, and Y. Liu. Quantum Computational Advantage with Constant-Temperature Gibbs Sampling. In 2024 IEEE 65th Annual Symposium on Foun- dations of Computer Science (FOCS) , pages 1063–1085, Chicago, IL, Oct. 2024. IEEE Computer Society. doi:10.1109/FOCS61266.2024.00071. 1 20

    work page doi:10.1109/focs61266.2024.00071 2024

  6. [6]

    Capel, A

    A. Capel, A. Lucia, and D. P´ erez-Garc´ ıa. Quantum conditional relative entropy and quasi-factorization of the relative entropy. J. Phys. A: Math. Theor. , 51(48):484001, Nov

    work page

  7. [7]

    doi:10.1088/1751-8121/aae4cf. 1

    work page doi:10.1088/1751-8121/aae4cf

  8. [8]

    Capel, C

    ´A. Capel, C. Rouz´ e, and D. S. Fran¸ ca. The modified logarithmic Sobolev inequality for quantum spin systems: Classical and commuting nearest neighbour interactions, June

    work page

  9. [9]

    E. B. Davies. Generators of dynamical semigroups. Journal of Functional Analysis , 34(3):421–432, Dec. 1979. doi:10.1016/0022-1236(79)90085-5. 3, 4

    work page doi:10.1016/0022-1236(79)90085-5 1979

  10. [10]

    R. L. Dobrushin and S. B. Shlosman. Completely analytical interactions: Constructive description. J Stat Phys , 46(5):983–1014, Mar. 1987. doi:10.1007/BF01011153. 9

    work page doi:10.1007/bf01011153 1987

  11. [11]

    Frigerio

    A. Frigerio. Stationary states of quantum dynamical semigroups. Communications in Mathematical Physics, 63(3):269–276, Oct. 1978. doi:10.1007/BF01196936. 4

    work page doi:10.1007/bf01196936 1978

  12. [12]

    Gao and C

    L. Gao and C. Rouz´ e. Complete entropic inequalities for quantum Markov chains. Arch Rational Mech Anal, 245(1):183–238, July 2022. doi:10.1007/s00205-022-01785-1 . 19

    work page doi:10.1007/s00205-022-01785-1 2022

  13. [13]

    M. J. Kastoryano and F. G. S. L. Brand˜ ao. Quantum Gibbs Samplers: The Commuting Case. Communications in Mathematical Physics , 344(3):915–957, 2016. doi:10.1007/ s00220-016-2641-8 . 19

    work page 2016

  14. [14]

    M. J. Kastoryano and K. Temme. Quantum logarithmic Sobolev inequalities and rapid mixing. Journal of Mathematical Physics , 54(5):052202, May 2013. doi:10.1063/1. 4804995. 1

    work page doi:10.1063/1 2013

  15. [15]

    A. Yu. Kitaev. Fault-tolerant quantum computation by anyons. Annals of Physics , 303(1):2–30, Jan. 2003. doi:10.1016/S0003-4916(02)00018-0. 2

    work page internal anchor Pith review doi:10.1016/s0003-4916(02)00018-0 2003

  16. [16]

    Kochanowski, A

    J. Kochanowski, A. M. Alhambra, A. Capel, and C. Rouz´ e. Rapid thermalization of dissipative many-body dynamics of commuting Hamiltonians. Communications in Math- ematical Physics, 406(8):176, 2025. doi:10.1007/s00220-025-05353-y . 1

    work page doi:10.1007/s00220-025-05353-y 2025

  17. [17]

    K´ om´ ar, O

    A. K´ om´ ar, O. Landon-Cardinal, and K. Temme. Necessity of an energy barrier for self- correction of Abelian quantum doubles. Phys. Rev. A , 93(5):052337, May 2016. doi: 10.1103/PhysRevA.93.052337. 2, 5

    work page doi:10.1103/physreva.93.052337 2016

  18. [18]

    Lucia, D

    A. Lucia, D. P´ erez-Garc´ ıa, and A. P´ erez-Hern´ andez. Thermalization in Kitaev’s quantum double models via tensor network techniques. Forum of Mathematics, Sigma , 11:e107, Jan. 2023. doi:10.1017/fms.2023.98. 2, 5

    work page doi:10.1017/fms.2023.98 2023

  19. [19]

    Lucia, D

    A. Lucia, D. P´ erez-Garc´ ıa, and A. P´ erez-Hern´ andez. Spectral Gap Bounds for Quantum Markov Semigroups via Correlation Decay, May 2025. arXiv:2505.08991. 7, 9

    work page arXiv 2025

  20. [20]

    Martinelli and E

    F. Martinelli and E. Olivieri. Approach to equilibrium of Glauber dynamics in the one phase region. I. The attractive case. Communications in Mathematical Physics , 161(3):447–486, Jan. 1994. doi:10.1007/BF02101929. 19

    work page doi:10.1007/bf02101929 1994

  21. [21]

    Martinelli and E

    F. Martinelli and E. Olivieri. Approach to equilibrium of Glauber dynamics in the one phase region. II. The general case. Communications in Mathematical Physics, 161(3):487– 514, Apr. 1994. doi:10.1007/BF02101930. 19

    work page doi:10.1007/bf02101930 1994

  22. [22]

    H. Spohn. Entropy production for quantum dynamical semigroups. Journal of Mathe- matical Physics, 19(5):1227–1230, May 1978. doi:10.1063/1.523789. 1

    work page doi:10.1063/1.523789 1978

  23. [23]

    Stengele, ´A

    S. Stengele, ´A. Capel, L. Gao, A. Lucia, D. P´ erez-Garc´ ıa, A. P´ erez-Hern´ andez, C. Rouz´ e, and S. Warzel. Modified logarithmic Sobolev inequalities for CSS codes. Communications in Mathematical Physics (to appear) , Oct. 2025. arXiv:2510.03090. 1, 5, 6, 9, 17, 19 21

    work page arXiv 2025

  24. [24]

    D. W. Stroock and B. Zegarlinski. The equivalence of the logarithmic Sobolev inequality and the Dobrushin-Shlosman mixing condition.Communications in Mathematical Physics, 144(2):303–323, 1992. doi:10.1007/BF02101094. 19

    work page doi:10.1007/bf02101094 1992

  25. [25]

    M. M. Wolf. Quantum Channels and Operations - Guided Tour, 2012. URL: https: //mediatum.ub.tum.de/node?id=1701036. 11 22

    work page 2012