pith. sign in

arxiv: 2511.12651 · v2 · submitted 2025-11-16 · 🧮 math-ph · math.MP

Subcriticality at High Temperatures in Spin Lattice Systems

Nicol\`o Drago , Lorenzo Pettinari , Christiaan J. F. van de Ven This is my paper

Pith reviewed 2026-05-17 21:53 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords subcriticalityKMS statesspin latticeKirkwood-Salzburghigh temperatureC*-normquantum spinsclassical spins
0
0 comments X

The pith

New sufficient conditions establish subcriticality for spin lattice systems using only C*-norm estimates of interactions.

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

This paper gives fresh sufficient conditions under which classical and quantum spin lattice systems exhibit subcriticality, meaning they have a unique KMS state. The proof relies on a non-commutative version of the Kirkwood-Salzburg equations and a new decomposition for local observables. These tools make the conditions independent of the local Hilbert space dimension and remove the need to control derivatives of the potentials. Only the natural C* norms need to be estimated. This broadens the interactions to which the results apply and improves the lower bounds for the temperatures at which subcriticality holds.

Core claim

By means of a non-commutative analog of the Kirkwood-Salzburg equations and a novel decomposition of local observables, the authors derive sufficient conditions for the uniqueness of KMS states that depend solely on C*-norm bounds of the interaction potentials and remain uniform with respect to the dimension of the single-site Hilbert space.

What carries the argument

A non-commutative analog of the Kirkwood-Salzburg equations paired with a novel decomposition of local observables, which together prove uniqueness of equilibrium states from C*-norm data alone.

If this is right

  • Subcriticality can now be proven for interactions previously excluded due to lack of derivative controls.
  • Improved lower bounds on the subcritical inverse temperature are obtained.
  • The conditions apply equally well in any dimension of the single-site space.
  • The same method works for both classical and quantum spin systems.

Where Pith is reading between the lines

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

  • The method may extend to other many-body systems where similar equation techniques apply.
  • It could facilitate the study of phase transitions by clarifying the high-temperature regime more broadly.
  • Numerical algorithms for finding KMS states might benefit from knowing these uniqueness regimes in advance.

Load-bearing premise

The novel decomposition of local observables applies to the interactions considered using solely their C*-norm bounds without requiring derivative information or dimension-dependent estimates.

What would settle it

Finding an interaction with bounded C*-norms that nevertheless possesses multiple KMS states at a temperature below the bound given by the new condition.

read the original abstract

We provide new sufficient conditions for subcriticality of classical and quantum spin lattice systems, formulated in terms of the uniqueness of Kubo-Martin-Schwinger (KMS) states. This is achieved by exploiting a non-commutative analog of the Kirkwood-Salzburg equations together with a novel decomposition of local observables. In contrast to standard approaches \cite{Bratteli_Robinson_97,Frohlich_Ueltschi_2015}, our condition is uniform with respect to the dimension of the single-site Hilbert space. Moreover, unlike the results of \cite{Drago_Pettinari_Van_de_Ven_2025}, which required control over the growth of the derivatives of the interaction potentials, our result only involves estimating the natural $C^*$-norm of these potentials. This substantially enlarges the class of interactions for which the theorems apply and provides better lower bounds on the subcritical inverse temperature.

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

2 major / 2 minor

Summary. The manuscript claims to establish new sufficient conditions for subcriticality of classical and quantum spin lattice systems at high temperatures, expressed in terms of uniqueness of KMS states. These conditions are derived by combining a non-commutative analog of the Kirkwood-Salzburg equations with a novel decomposition of local observables. The resulting criteria are asserted to be uniform in the single-site Hilbert space dimension d and to depend only on C*-norm bounds on the interaction potentials, without requiring control on derivatives, thereby enlarging the applicable class of interactions relative to prior work.

Significance. If the central claims are verified, the result would meaningfully broaden the range of interactions for which subcriticality (and thus uniqueness of KMS states) can be guaranteed at high temperatures, while delivering improved quantitative bounds. The uniformity in single-site dimension and the restriction to C*-norm estimates constitute genuine technical advances over results that impose derivative growth conditions. No machine-checked proofs or reproducible code are referenced, but the approach introduces independent new technical ingredients (the non-commutative KS equations and the observable decomposition) that do not reduce to fitted parameters.

major comments (2)
  1. [Main theorem and decomposition lemma] Main theorem (likely §4 or §5): the claimed uniformity in single-site dimension d and the reduction to pure C*-norm control rest on the novel decomposition of local observables. The decomposition must be shown to produce no hidden combinatorial or operator-norm factors that scale with d when the local algebra is M_d(ℂ); otherwise the iteration of the non-commutative Kirkwood-Salzburg equations cannot close under the stated hypotheses alone.
  2. [Non-commutative KS equations] § on non-commutative Kirkwood-Salzburg equations: the convergence of the series under the given norm bounds is listed as an ad-hoc axiom in the paper's ledger; explicit error estimates or a radius-of-convergence argument that remains independent of d must be supplied, as commutator or conditional-expectation steps in the decomposition typically introduce d-dependent multipliers.
minor comments (2)
  1. [Abstract and §1] The abstract and introduction should explicitly reference the precise location of the decomposition lemma and the statement of the main theorem so that readers can immediately locate the d-independence argument.
  2. [Notation section] Notation for the C*-norm of the interaction potentials should be standardized throughout; occasional use of different symbols for the same quantity reduces readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive report. The two major comments concern the uniformity in single-site dimension d and the need for explicit d-independent estimates in the decomposition and the non-commutative Kirkwood-Salzburg iteration. We address each point below and will revise the manuscript to include additional explicit bounds and remarks that make the d-independence fully transparent.

read point-by-point responses

  1. Referee: [Main theorem and decomposition lemma] Main theorem (likely §4 or §5): the claimed uniformity in single-site dimension d and the reduction to pure C*-norm control rest on the novel decomposition of local observables. The decomposition must be shown to produce no hidden combinatorial or operator-norm factors that scale with d when the local algebra is M_d(ℂ); otherwise the iteration of the non-commutative Kirkwood-Salzburg equations cannot close under the stated hypotheses alone.

    Authors: We agree that the d-independence must be verified explicitly. In the proof of the decomposition lemma (Lemma 3.2), each term is obtained by applying a conditional expectation onto the local algebra generated by a finite set of sites. Because conditional expectations are contractive in the C*-norm and the number of summands is bounded by the interaction range (independent of d), the resulting operator-norm bounds depend only on the C*-norm of the potential. No combinatorial factor linear in d appears, as we never pass through the dimension of the matrix algebra explicitly; the estimates rely solely on submultiplicativity and the fact that the single-site unit is normalized. We will add a dedicated remark after Lemma 3.2 spelling out this calculation and confirming that the constants remain uniform in d. revision: yes

  2. Referee: [Non-commutative KS equations] § on non-commutative Kirkwood-Salzburg equations: the convergence of the series under the given norm bounds is listed as an ad-hoc axiom in the paper's ledger; explicit error estimates or a radius-of-convergence argument that remains independent of d must be supplied, as commutator or conditional-expectation steps in the decomposition typically introduce d-dependent multipliers.

    Authors: The convergence is not postulated as an axiom; it follows from the iterative application of the decomposition in the proof of Proposition 2.5. The radius is controlled by a geometric series whose ratio is determined exclusively by the C*-norm of the potential and the lattice coordination number. Because the decomposition replaces potential commutator estimates with direct norm bounds on the interaction terms, no d-dependent multipliers enter. To satisfy the request for fully explicit error estimates, we will insert a short subsection after Proposition 2.5 that writes the remainder after N iterations and shows that the tail is bounded by a d-independent geometric term under the stated high-temperature hypothesis. revision: yes

Circularity Check

0 steps flagged

No significant circularity: derivation introduces independent technical tools

full rationale

The paper derives new sufficient conditions for subcriticality via a non-commutative Kirkwood-Salzburg analog and a novel decomposition of local observables, both presented as original contributions. These are applied to obtain uniqueness of KMS states under C*-norm bounds alone, with explicit contrast to prior work (including the authors' own 2025 paper) rather than reliance on it for the core argument. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-definition, or unverified self-citation chain; the estimates are mathematical bounds on the given interactions. The derivation is self-contained against external KMS and lattice system benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The result rests on standard properties of C*-dynamical systems and KMS states from prior literature, plus the new decomposition whose validity is asserted but not independently evidenced outside the derivation.

axioms (2)
  • domain assumption Existence and uniqueness properties of KMS states for the given dynamics
    Invoked in the formulation of subcriticality via uniqueness of KMS states
  • ad hoc to paper Convergence of the non-commutative Kirkwood-Salzburg series under the stated norm bounds
    Central to the proof strategy but depends on the novel decomposition
invented entities (1)
  • Novel decomposition of local observables no independent evidence
    purpose: To enable the non-commutative Kirkwood-Salzburg equations while keeping estimates uniform in dimension
    Introduced in the paper to relax derivative-growth assumptions; no independent falsifiable evidence provided beyond the derivation itself

pith-pipeline@v0.9.0 · 5460 in / 1429 out tokens · 29566 ms · 2026-05-17T21:53:09.763845+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

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

  1. [1]

    Aizenman M., Gallavotti G., Goldstein S., Lebowitz J.L.,Stability and equilibrium states of infinite classical systems, Commun.Math. Phys. 48, 1-14 (1976)

    work page 1976

  2. [2]

    Aizenman M., Goldstein S., Gruber C., Lebowitz J.L., Martin P.,On the equivalence between KMS-states and equilibrium states for classical systems, Commun. Math. Phys. 53, 209-220 (1977)

    work page 1977

  3. [3]

    Albeverio S., Kondratiev Y., R¨ ockner M., Tsikalenko T.V.,Uniqueness of Gibbs states for quantum lattice systems, Probab Theory Relat Fields 108, 193-218 (1997)

    work page 1997

  4. [4]

    Araki H.,On uniqueness of KMS states of one-dimensional quantum lattice systems, Com- mun.Math. Phys. 44, 1-7 (1975)

    work page 1975

  5. [5]

    A.,General concept of quantization, Commun

    Berezin F. A.,General concept of quantization, Commun. Math. Phys. 40, 153-174 (1975)

    work page 1975

  6. [6]

    45 49-61 (1998)

    Bordemann M., R¨ omer H., Waldmann S.,A Remark on Formal KMS States in Deformation Quantization, Lett.Math.Phys. 45 49-61 (1998)

    work page 1998

  7. [7]

    W.,Operator algebras and quantum statistical mechanics II Springer-Verlag Berlin Heidelberg (1981,1997)

    Bratteli O., Robinson D. W.,Operator algebras and quantum statistical mechanics II Springer-Verlag Berlin Heidelberg (1981,1997). 28

    work page 1981

  8. [8]

    L.,The description of a random field by means of conditional probabilities and conditions of its regularity, Theor

    Dobrushin R. L.,The description of a random field by means of conditional probabilities and conditions of its regularity, Theor. Prob. Appl. 13, 197-224 (1968)

    work page 1968

  9. [9]

    L.,Gibbsian random fields for lattice systems with pairwise interactions, Funct

    Dobrushin R. L.,Gibbsian random fields for lattice systems with pairwise interactions, Funct. Anal. Appl. 2, 292-301 (1968)

    work page 1968

  10. [10]

    L.,The problem of uniqueness of a Gibbs random field and the problem of phase transition, Funct

    Dobrushin R. L.,The problem of uniqueness of a Gibbs random field and the problem of phase transition, Funct. Anal. Appl. 2, 302-312 (1968)

    work page 1968

  11. [11]

    L.,Gibbsian random fields

    Dobrushin R. L.,Gibbsian random fields. The general case, Funct Anal Its Appl 3, 22-28 (1969)

    work page 1969

  12. [12]

    L.,Prescribing a system of random variables by conditional distributions, Th

    Dobrushin R. L.,Prescribing a system of random variables by conditional distributions, Th. Prob. Appl. 17, 582-600 (1970)

    work page 1970

  13. [13]

    Drago N., Pettinari L., Van de Ven C.J.F.,Classical and quantum KMS states on spin lattice systems, Commun. Math. Phys. 406, 163 (2025)

    work page 2025

  14. [14]

    Drago N., Van de Ven C.J.F.,DLR-KMS correspondence on lattice spin systems, Lett Math Phys 113, 88 (2023)

    work page 2023

  15. [15]

    Drago N., Van de Ven C.J.F.,Strict deformation quantization and local spin interactions, Commun. Math. Phys., 405, 14 (2024)

    work page 2024

  16. [16]

    Drago N., Waldmann S.,Classical KMS Functionals and Phase Transitions in Poisson Geometry, Journal of Symplectic Geometry Vol. 21, no. 5. (2023)

    work page 2023

  17. [17]

    Friedli S., Velenik Y.,Statistical mechanics of lattice systems - A concrete mathematical introduction, Cambridge University Press (2017)

    work page 2017

  18. [18]

    Fr¨ ohlich J., Ueltschi D.,Some properties of correlations of quantum lattice systems in ther- mal equilibrium, J. Math. Phys. 56, 053302 (2015)

    work page 2015

  19. [19]

    Gallavotti G., Pulvirenti M.,Classical KMS Condition and Tomita-Takesaki Theory, Comm. Math. Phys. 46, Number 1, 1-9 (1976)

    work page 1976

  20. [20]

    Gallavotti G., Verboven E.,On the classical KMS boundary condition, Nuov Cim B, 28, 274-286 (1975)

    work page 1975

  21. [21]

    M., Winnink M.,On the equilibrium states in quantum statistical mechanics, Comm

    Haag R., Hugenholtz N. M., Winnink M.,On the equilibrium states in quantum statistical mechanics, Comm. Math. Phys. 5:215-236 (1967)

    work page 1967

  22. [22]

    Hastings M.B., Koma T.,Spectral Gap and Exponential Decay of Correlations, Commun. Math. Phys. 265, 781-804 (2006)

    work page 2006

  23. [23]

    Israel R.,Convexity in the theory of lattice gases, Princeton Series in Physics, New Jersey (1979). 29

    work page 1979

  24. [24]

    Kishimoto A.,On uniqueness of KMS states of one-dimensional quantum lattice systems, Commun.Math. Phys. 47, 167-170 (1976)

    work page 1976

  25. [25]

    D.,Observables at infinity and states with short range correlations in statistical mechanics, Comm

    Lanford O.E., Ruelle. D.,Observables at infinity and states with short range correlations in statistical mechanics, Comm. Math. Phys., 13: 194-215, (1969)

    work page 1969

  26. [26]

    Landsman K.,Strict quantization of coadjoint orbits, J. Math. Phys. 39, 6372-6383 (1998)

    work page 1998

  27. [27]

    Landsman K.,Foundations of Quantum Theory: from classical concepts to operators alge- bras, Springer Cham (2017)

    work page 2017

  28. [28]

    Lenci M., Rey-Bellet L.,Large Deviations in Quantum Lattice Systems: One-Phase Region, J Stat Phys 119, 715-746 (2005)

    work page 2005

  29. [29]

    Lieb E.H., Robinson D.W.,The finite group velocity of quantum spin systems, Com- mun.Math. Phys. 28, 251-257 (1972)

    work page 1972

  30. [30]

    Nachtergaele B., Ogata Y., Sims R.,Propagation of Correlations in Quantum Lattice Sys- tems, J Stat Phys 124, 1-13 (2006)

    work page 2006

  31. [31]

    Nachtergaele B., Raz H., Schlein B., Sims R.,Lieb-Robinson Bounds for Harmonic and Anharmonic Lattice Systems, Commun. Math. Phys. 286 1073-1098 (2009)

    work page 2009

  32. [32]

    Nachtergaele B., Sims R.,Lieb-Robinson Bounds and the Exponential Clustering Theorem, Commun. Math. Phys. 265, 119-130 (2006)

    work page 2006

  33. [33]

    Nachtergaele B., Sims R.,On the dynamics of lattice systems with unbounded on-site terms in the Hamiltonian, arXiv:1410.8174 [math-ph], (2014)

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  34. [34]

    Nachtergaele B., Schlein B., Sims R., Starr S., Zagrebnov V.,On the existence of the dynamics for anharmonic quantum oscillator systems, Reviews in Mathematical Physics Vol. 22, No. 2 207-231 (2010)

    work page 2010

  35. [35]

    Pusz W., Woronowicz S.L.,Passive states and KMS states for general quantum systems, Commun.Math. Phys. 58, 273-290 (1978)

    work page 1978

  36. [36]

    A.,Quantization andC ˚-algebras, Contemp

    Rieffel M. A.,Quantization andC ˚-algebras, Contemp. Math. 167 67-97 (1994)

    work page 1994

  37. [37]

    Ruelle D.,A variational formulation of equilibrium statistical mechanics and the Gibbs phase rule, Comm. Math. Phys. 5, 324-329 (1967)

    work page 1967

  38. [38]

    Sakai S.,On commutative normal˚-derivations, IIJournal of Functional Analysis, Volume 21, Issue 2, (1976)

    work page 1976

  39. [39]

    van de Ven C. J. F.,Gibbs states and their classical limit, Rev. Math. Phys. 36, 5 (2024). 30

    work page 2024