pith. machine review for the scientific record. sign in

arxiv: 2604.21630 · v1 · submitted 2026-04-23 · 🧮 math-ph · math.FA· math.MP· math.OA· quant-ph

Recognition: unknown

The KMS and GNS Spectral Gap of Quantum Markov Semigroups

Melchior Wirth
Authors on Pith no claims yet

Pith reviewed 2026-05-08 13:27 UTC · model grok-4.3

classification 🧮 math-ph math.FAmath.MPmath.OAquant-ph
keywords quantum Markov semigroupsKMS inner productGNS inner productspectral gapexponential decayvon Neumann algebrasoperator monotone functionsinvariant state
0
0 comments X

The pith

For any quantum Markov semigroup with a faithful normal invariant state, the exponential decay rate in the KMS inner product is bounded below by the rate in the GNS inner product.

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

The paper proves that the exponential convergence rate of a quantum Markov semigroup to equilibrium, when measured in the KMS inner product, is always at least as large as the rate measured in the GNS inner product. This inequality was previously conjectured only for Gaussian cases but is established here for general semigroups on arbitrary von Neumann algebras that possess a faithful normal invariant state. The result further generalizes by replacing the KMS inner product with any inner product arising from an operator monotone function. A reader cares because these decay rates control how quickly open quantum systems relax to steady states, which underpins mixing times, thermalization, and stability estimates in quantum dynamics.

Core claim

The paper establishes that for a quantum Markov semigroup with a faithful normal invariant state on an arbitrary von Neumann algebra, the spectral gap with respect to the KMS inner product is bounded below by the spectral gap with respect to the GNS inner product. This comparison extends to the full class of inner products induced by operator monotone functions. The proof proceeds by relating the generators of the semigroup in the different inner products and showing the inequality on the resulting quadratic forms.

What carries the argument

The inequality between spectral gaps of the semigroup generator computed in the KMS inner product versus the GNS inner product (and more generally in inner products from operator monotone functions).

If this is right

  • The GNS spectral gap supplies a lower bound on the KMS spectral gap, allowing estimates computed in one inner product to control the other.
  • Convergence rates can be compared uniformly across the family of inner products induced by operator monotone functions.
  • The result applies to non-Gaussian semigroups, removing the previous restriction to Gaussian quantum Markov semigroups.
  • Spectral gap comparisons become available on general von Neumann algebras rather than only type I factors or matrix algebras.

Where Pith is reading between the lines

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

  • If the inequality is sharp in some cases, it would identify when the choice of inner product does not change the leading decay rate.
  • The comparison might extend to classical Markov semigroups by specializing the von Neumann algebra to commutative ones.
  • Numerical or analytic lower bounds on the GNS gap could be used to certify minimal relaxation speeds in the KMS picture without recomputing the full spectrum.

Load-bearing premise

The quantum Markov semigroup must admit a faithful normal invariant state so that the inner products and their associated spectral gaps are well-defined.

What would settle it

A concrete quantum Markov semigroup with a faithful normal invariant state on a von Neumann algebra where the KMS decay rate is strictly smaller than the GNS decay rate.

read the original abstract

We establish a relation between the exponential decay rates of quantum Markov semigroups with respect to different inner products. More precisely, it was conjectured by Fagnola, Poletti, Sasso and Umanit\`a that for a Gaussian quantum Markov semigroup, the exponential decay rate with respect to the KMS inner product is bounded below by the exponential decay rate for the GNS inner product. We show that this is indeed the case and not limited to Gaussian quantum Markov semigroups, but holds for quantum Markov semigroups with a faithful normal invariant state on arbitrary von Neumann algebras. Additionally, the KMS inner product can be replaced by a whole class of inner products induced by operator monotone functions.

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

0 major / 3 minor

Summary. The manuscript proves that for quantum Markov semigroups admitting a faithful normal invariant state on an arbitrary von Neumann algebra, the spectral gap with respect to the KMS inner product is bounded below by the spectral gap with respect to the GNS inner product. This resolves a conjecture previously stated for Gaussian quantum Markov semigroups and extends the result to the general case. The inequality is further shown to hold when the KMS inner product is replaced by any inner product induced by an operator monotone function.

Significance. The result supplies a general comparison between spectral gaps defined via different inner products, which is useful for analyzing exponential convergence rates of quantum Markov semigroups. The extension beyond the Gaussian setting and to the broader class of operator-monotone inner products increases the applicability of the comparison in the theory of open quantum systems and non-commutative ergodic theory. The argument relies on standard tools of operator algebras (Dirichlet forms, modular theory) and appears to avoid hidden assumptions beyond the stated hypothesis of a faithful normal invariant state.

minor comments (3)
  1. [§2] §2: The precise definition of the spectral gap (as the infimum of the Dirichlet form over the orthogonal complement of constants) should be recalled explicitly before the main comparison theorem to improve readability for readers outside the immediate subfield.
  2. [Main theorem] The statement of the main theorem (presumably Theorem 3.1 or 4.1) would benefit from an explicit sentence clarifying that the inequality is λ_KMS ≥ λ_GNS (rather than the converse), even though the abstract is unambiguous.
  3. [§4] A short remark on whether the operator-monotone generalization requires any additional regularity on the function (e.g., beyond the standard normalization f(1)=1) would help delineate the precise scope of the extension.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and recommendation for minor revision. The work proves that the KMS spectral gap is at least the GNS spectral gap for quantum Markov semigroups admitting a faithful normal invariant state on general von Neumann algebras, resolving the conjecture beyond the Gaussian case and extending it to inner products induced by operator monotone functions.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper proves that the KMS (and more generally operator-monotone) spectral gap is at least as large as the GNS spectral gap for any quantum Markov semigroup possessing a faithful normal invariant state on an arbitrary von Neumann algebra. Both inner products and their associated Dirichlet forms are defined independently from the semigroup generator and the invariant state; the inequality between the resulting spectral gaps is derived directly from these definitions without reducing one quantity to a fitted parameter, self-referential definition, or load-bearing self-citation. The extension beyond the Gaussian case follows from the same comparison argument under the explicitly stated hypothesis, with no ansatz or uniqueness theorem imported from prior work by the same author.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the standard theory of quantum Markov semigroups and von Neumann algebras together with the definition of operator monotone functions; no free parameters or new postulated entities are introduced.

axioms (2)
  • domain assumption Existence of a faithful normal invariant state for the quantum Markov semigroup
    Required so that the KMS and GNS inner products are well-defined and the spectral gaps are positive.
  • standard math Standard properties of operator monotone functions on positive operators
    Used to define the generalized family of inner products that replace the KMS inner product.

pith-pipeline@v0.9.0 · 5420 in / 1346 out tokens · 55409 ms · 2026-05-08T13:27:11.813536+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

44 extracted references · 2 canonical work pages

  1. [1]

    Agredo, F

    J. Agredo, F. Fagnola, and D. Poletti. Gaussian quantum M arkov semigroups on a one-mode F ock space: irreducibility and normal invariant states. Open Syst. Inf. Dyn. , 28(1):Paper No. 2150001, 39, 2021

    2021

  2. [2]

    The decoherence-free subalgebra of G aussian quantum M arkov semigroups

    Juli\'an Agredo, Franco Fagnola, and Damiano Poletti. The decoherence-free subalgebra of G aussian quantum M arkov semigroups. Milan J. Math. , 90(1):257--289, 2022

    2022

  3. [3]

    The K ossakowski matrix and strict positivity of M arkovian quantum dynamics

    Juli\'an Agredo, Franco Fagnola, and Damiano Poletti. The K ossakowski matrix and strict positivity of M arkovian quantum dynamics. Open Syst. Inf. Dyn. , 29(2):Paper No. 2250005, 16, 2022

    2022

  4. [4]

    Alicki and K

    R. Alicki and K. Lendi. Quantum dynamical semigroups and applications , volume 286 of Lecture Notes in Physics . Springer-Verlag, Berlin, 1987

    1987

  5. [5]

    Logarithmic S obolev inequalities, matrix models and free entropy

    Philippe Biane. Logarithmic S obolev inequalities, matrix models and free entropy. In International Workshop on Operator Algebra and Operator Theory , volume 19 of Acta Math. Sin. (Engl. Ser.) , pages 497--506. Springer, Berlin, 2003

    2003

  6. [6]

    Characterisation of gradient flows for a given functional

    Morris Brooks and Jan Maas. Characterisation of gradient flows for a given functional. Calc. Var. Partial Differential Equations , 63(6):Paper No. 153, 22, 2024

    2024

  7. [7]

    Symmetries of L \'evy processes on compact quantum groups, their M arkov semigroups and potential theory

    Fabio Cipriani, Uwe Franz, and Anna Kula. Symmetries of L \'evy processes on compact quantum groups, their M arkov semigroups and potential theory. J. Funct. Anal. , 266(5):2789--2844, 2014

    2014

  8. [8]

    Dirichlet forms on noncommutative spaces

    Fabio Cipriani. Dirichlet forms on noncommutative spaces. In Quantum potential theory , volume 1954 of Lecture Notes in Math. , pages 161--276. Springer, Berlin, 2008

    1954

  9. [9]

    Fabio E. G. Cipriani. The emergence of noncommutative potential theory. In Quantum and stochastic mathematical physics , volume 377 of Springer Proc. Math. Stat. , pages 41--106. Springer, Cham, [2023] 2023

    2023

  10. [10]

    Carlen and Jan Maas

    Eric A. Carlen and Jan Maas. Non-commutative calculus, optimal transport and functional inequalities in dissipative quantum systems. J. Stat. Phys. , 178(2):319--378, 2020

    2020

  11. [11]

    A. Connes. Classification of injective factors. C ases II 1 , II , III , =1 . Ann. of Math. (2) , 104(1):73--115, 1976

    1976

  12. [12]

    Cipriani and J.-L

    F. Cipriani and J.-L. Sauvageot. Noncommutative potential theory and the sign of the curvature operator in R iemannian geometry. Geom. Funct. Anal. , 13(3):521--545, 2003

    2003

  13. [13]

    Fredholm modules on P

    Fabio Cipriani and Jean-Luc Sauvageot. Fredholm modules on P . C . F . self-similar fractals and their conformal geometry. Comm. Math. Phys. , 286(2):541--558, 2009

    2009

  14. [14]

    The H aagerup approximation property for von N eumann algebras via quantum M arkov semigroups and D irichlet forms

    Martijn Caspers and Adam Skalski. The H aagerup approximation property for von N eumann algebras via quantum M arkov semigroups and D irichlet forms. Comm. Math. Phys. , 336(3):1637--1664, 2015

    2015

  15. [15]

    Amenability and subexponential spectral growth rate of D irichlet forms on von N eumann algebras

    Fabio Cipriani and Jean-Luc Sauvageot. Amenability and subexponential spectral growth rate of D irichlet forms on von N eumann algebras. Adv. Math. , 322:308--340, 2017

    2017

  16. [16]

    Donoghue, Jr

    William F. Donoghue, Jr. The interpolation of quadratic norms. Acta Math. , 118:251--270, 1967

    1967

  17. [17]

    E. B. Davies and O. S. Rothaus. Markov semigroups on C^* -bundles. J. Funct. Anal. , 85(2):264--286, 1989

    1989

  18. [18]

    One-parameter semigroups for linear evolution equations , volume 194 of Graduate Texts in Mathematics

    Klaus-Jochen Engel and Rainer Nagel. One-parameter semigroups for linear evolution equations , volume 194 of Graduate Texts in Mathematics . Springer-Verlag, New York, 2000. With contributions by S. Brendle, M. Campiti, T. Hahn, G. Metafune, G. Nickel, D. Pallara, C. Perazzoli, A. Rhandi, S. Romanelli and R. Schnaubelt

    2000

  19. [19]

    Quantum M arkov semigroups and quantum flows

    Franco Fagnola. Quantum M arkov semigroups and quantum flows. Proyecciones , 18(3):144, 1999

    1999

  20. [20]

    Spectral Analysis for Gaussian Quantum Markov Semigroups

    Franco Fagnola and Zheng Li. Spectral Analysis for Gaussian Quantum Markov Semigroups . Preprint, arXiv :2504.12162 [math. FA ] (2025), 2025

    work page arXiv 2025

  21. [21]

    A note on invariant states of G aussian quantum M arkov semigroups

    Franco Fagnola and Damiano Poletti. A note on invariant states of G aussian quantum M arkov semigroups. Infin. Dimens. Anal. Quantum Probab. Relat. Top. , 27(4):Paper No. 2440004, 15, 2024

    2024

  22. [22]

    Fagnola, D

    F. Fagnola, D. Poletti, E. Sasso, and V. Umanit\`a. The spectral gap of a G aussian quantum M arkovian generator. J. Funct. Anal. , 289(10):Paper No. 111119, 41, 2025

    2025

  23. [23]

    Vittorio Gorini, Andrzej Kossakowski, and E. C. G. Sudarshan. Completely positive dynamical semigroups of N -level systems. J. Mathematical Phys. , 17(5):821--825, 1976

    1976

  24. [24]

    Gaussian quantum M arkov semigroups on finitely many modes admitting a normal invariant state

    Federico Girotti and Damiano Poletti. Gaussian quantum M arkov semigroups on finitely many modes admitting a normal invariant state. J. Math. Anal. Appl. , 556(1):Paper No. 130150, 37, 2026

    2026

  25. [25]

    Campanato spaces via quantum M arkov semigroups on finite von N eumann algebras

    Guixiang Hong and Yuanyuan Jing. Campanato spaces via quantum M arkov semigroups on finite von N eumann algebras. Int. Math. Res. Not. IMRN , (21):13611--13641, 2024

    2024

  26. [26]

    Jensen's inequality for operators and L \"owner's theorem

    Frank Hansen and Gert Kjaerg\.ard Pedersen. Jensen's inequality for operators and L \"owner's theorem. Math. Ann. , 258(3):229--241, 1982

    1982

  27. [27]

    R. L. Hudson and K. R. Parthasarathy. Construction of quantum diffusions. In Quantum probability and applications to the quantum theory of irreversible processes ( V illa M ondragone, 1982) , volume 1055 of Lecture Notes in Math. , pages 173--198. Springer, Berlin, 1984

    1982

  28. [28]

    H^ functional calculus and square functions on noncommutative L^p -spaces

    Marius Junge, Christian Le Merdy, and Quanhua Xu. H^ functional calculus and square functions on noncommutative L^p -spaces. Ast\'erisque , (305):vi+138, 2006

    2006

  29. [29]

    Junge and T

    M. Junge and T. Mei. Noncommutative R iesz transforms---a probabilistic approach. Amer. J. Math. , 132(3):611--680, 2010

    2010

  30. [30]

    Junge and T

    M. Junge and T. Mei. B MO spaces associated with semigroups of operators. Math. Ann. , 352(3):691--743, 2012

    2012

  31. [31]

    Means of positive linear operators

    Fumio Kubo and Tsuyoshi Ando. Means of positive linear operators. Math. Ann. , 246(3):205--224, 1980

    1980

  32. [32]

    On the existence of the KMS spectral gap in Gaussian quantum Markov semigroups

    Zheng Li. On the existence of the KMS spectral gap in Gaussian quantum Markov semigroups. Preprint, arXiv :2512.23414 [math. FA ] (2025), 2025

    work page arXiv 2025

  33. [33]

    Elliott H. Lieb. Convex trace functions and the W igner- Y anase- D yson conjecture. Advances in Math. , 11:267--288, 1973

    1973

  34. [34]

    Lindblad

    G. Lindblad. On the generators of quantum dynamical semigroups. Comm. Math. Phys. , 48(2):119--130, 1976

    1976

  35. [35]

    o wner. \

    Karl L \"o wner. \"uber monotone M atrixfunktionen. Math. Z. , 38(1):177--216, 1934

    1934

  36. [36]

    Composite media and asymptotic D irichlet forms

    Umberto Mosco. Composite media and asymptotic D irichlet forms. J. Funct. Anal. , 123(2):368--421, 1994

    1994

  37. [37]

    Monotone metrics on matrix spaces

    D\'enes Petz. Monotone metrics on matrix spaces. Linear Algebra Appl. , 244:81--96, 1996

    1996

  38. [38]

    A 1-cohomology characterization of property ( T ) in von N eumann algebras

    Jesse Peterson. A 1-cohomology characterization of property ( T ) in von N eumann algebras. Pacific J. Math. , 243(1):181--199, 2009

    2009

  39. [39]

    L^2 -rigidity in von N eumann algebras

    Jesse Peterson. L^2 -rigidity in von N eumann algebras. Invent. Math. , 175(2):417--433, 2009

    2009

  40. [40]

    Characterization of G aussian quantum M arkov semigroups

    Damiano Poletti. Characterization of G aussian quantum M arkov semigroups. In Infinite dimensional analysis, quantum probability and applications , volume 390 of Springer Proc. Math. Stat. , pages 197--211. Springer, Cham, [2022] 2022

    2022

  41. [41]

    Loewner's theorem on monotone matrix functions , volume 354 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]

    Barry Simon. Loewner's theorem on monotone matrix functions , volume 354 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer, Cham, 2019

    2019

  42. [42]

    Temme, M

    K. Temme, M. J. Kastoryano, M. B. Ruskai, M. M. Wolf, and F. Verstraete. The ^2 -divergence and mixing times of quantum M arkov processes. J. Math. Phys. , 51(12):122201, 19, 2010

    2010

  43. [43]

    G. F. Vincent-Smith. Dilation of a dissipative quantum dynamical system to a quantum M arkov process. Proc. London Math. Soc. (3) , 49(1):58--72, 1984

    1984

  44. [44]

    Ergodic theorems for dynamical semigroups on operator algebras

    Seiji Watanabe. Ergodic theorems for dynamical semigroups on operator algebras. Hokkaido Math. J. , 8(2):176--190, 1979

    1979