pith. sign in

arxiv: 2606.28009 · v1 · pith:MHTOIA2Mnew · submitted 2026-06-26 · 🧮 math-ph · math.MP· math.PR

Uniqueness, analyticity and mixing for Gibbs point processes via spectral gaps

Pith reviewed 2026-06-29 02:27 UTC · model grok-4.3

classification 🧮 math-ph math.MPmath.PR
keywords Gibbs point processeshard-sphere modelspectral gapuniquenessanalyticity of pressurespatial mixingphase transitionsbirth-death dynamics
0
0 comments X

The pith

Spectral gaps for continuum birth-death dynamics imply uniqueness of infinite-volume Gibbs measures and analytic pressure up to a new activity threshold.

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

The paper shows that whenever a spectral gap holds for the associated Glauber-like birth-death process, the Gibbs point process has a unique infinite-volume measure, the pressure is analytic in activity, and both spatial and temporal mixing occur. This threshold, called λ_spec, improves the known uniqueness and analyticity bounds for the hard-sphere model in every fixed dimension d ≥ 2, with the improvement becoming exponentially large as d grows. The authors also construct repulsive radial potentials for which λ_spec is infinite, so the corresponding Gibbs process remains unique and analytic at every positive activity; two such examples are potentials whose ground states are the E8 and Leech lattices.

Core claim

The existence of a spectral gap for the continuum birth-death dynamics up to activity λ_spec implies uniqueness of the infinite-volume Gibbs measure, analyticity of the pressure, and various mixing properties. For the hard-sphere model this produces strictly better thresholds than classical bounds in each fixed dimension, and the gap to those bounds grows exponentially with dimension; the same argument yields an optimal mixing-time bound for heat-bath dynamics up to expected density Θ(d/2^d). Certain repulsive radial potentials are shown to satisfy λ_spec = +∞, hence to have no phase transition at any finite activity, including potentials whose zero-temperature ground states are the E8 and L

What carries the argument

The spectral threshold λ_spec, defined as the supremum of activities at which the spectral gap for the Glauber-like continuum birth-death dynamics continues to hold.

If this is right

  • The infinite-volume Gibbs measure is unique for every activity up to λ_spec.
  • The pressure is an analytic function of activity up to λ_spec.
  • Spatial and temporal mixing hold for the process up to λ_spec.
  • Heat-bath dynamics for hard spheres mix in optimal time up to expected density Θ(d/2^d).
  • Repulsive radial potentials with infinite λ_spec have no phase transition at any positive activity.

Where Pith is reading between the lines

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

  • The same spectral-gap argument could be applied to other pair potentials once their own λ_spec is located.
  • Because λ_spec can be infinite, the method separates the question of phase transition from the mere existence of a spectral gap.
  • Numerical approximation of the spectral gap would give concrete, computable bounds on the location of any phase transition for a given potential.
  • The exponential improvement in high dimensions suggests the approach captures a larger fraction of the regime where uniqueness is expected to hold.

Load-bearing premise

The spectral gap proved for the birth-death dynamics in the 2013 work remains valid all the way up to λ_spec and is strong enough to imply uniqueness, analyticity, and mixing.

What would settle it

Exhibiting two distinct infinite-volume Gibbs measures for the hard-sphere model at an activity strictly below the value of λ_spec computed from the spectral gap would show that the gap does not imply uniqueness.

Figures

Figures reproduced from arXiv: 2606.28009 by Andreas G\"obel, Leon Schiller, Marcus Michelen, Marcus Pappik, Matthew Jenssen, Will Perkins.

Figure 1
Figure 1. Figure 1: The graph of implications. Dashed lines indicate implications known from the literature. Corollary 1.10. For the hard-sphere potential, ψ is analytic for all α ∈ (0, cd2 −d ) for each fixed c < log(2/ √ 3) and d sufficiently large. We also show that if λspec = ∞ then αspec = ∞, and so for such potentials ψ is analytic for all α > 0. Corollary 1.11. Let ϕ be a repulsive, translation invariant potential that… view at source ↗
Figure 2
Figure 2. Figure 2: Structure of the induction step. Moreover, for Part 3 of the induction step, we use the following elementary lemma. Lemma 5.3. Let t > 0, and let f : [0, t] → C \ {0} be absolutely continuous. It holds that f(t) f(0) = exp Z t 0 f ′ (s) f(s) ds  , where the integral should be understood as a Lebesgue integral and f ′ is almost everywhere a derivative of f. Proof. Since f is continuous and non-zero, we ha… view at source ↗
Figure 3
Figure 3. Figure 3: Illustration of the regions considered in step 4. The region ∆1 = Λ ∩ BS(x) is represented by the checkered pattern, the region ∆2 = Λ ∩ B2S(x) is represented by the lined pattern. In the proof, we handle the expected influence of points in the ball ∆1 and the annulus ∆a on the region Λ2 separately. Part 4: ((i) and (iii) for n, and (iv) for < n imply (iv) for n): Fix a region Λ ∈ Bb that can be covered by… view at source ↗
read the original abstract

A Gibbs point process models particles interacting in the continuum through a potential. Among the most classical examples is the hard-sphere model, where given an activity parameter $\lambda$, a radius $r$, and a bounded set $\Lambda \subset \mathbb{R}^d$ one samples a Poisson process of intensity $\lambda$ in $\Lambda$ conditioned on the points forming the centers of an $r$-sphere packing. We prove uniqueness of infinite-volume Gibbs measure, analyticity of the pressure, and various notions of spatial and temporal mixing for activities up to what we define as the spectral threshold $\lambda_{spec}$ of the potential. For each fixed dimension $d \geq 2$, this improves the uniqueness and analyticity bounds for the hard-sphere model. As $d \to \infty$, our improvement over the classical bounds grows exponentially. We also prove an optimal mixing time bound for heat bath dynamics for the hard-sphere model up to an expected density of $\Theta(d / 2^d)$, the first result that asymptotically matches the maximum density for rapid mixing predicted by Parisi and Zamponi. We also exhibit repulsive, radial pair potentials for which $\lambda_{spec} = + \infty$, showing that the corresponding Gibbs point processes have no phase transition at any activity $\lambda > 0$. Further, in dimensions $8$ and $24$ we exhibit such a potential with no phase transition for which the work of Cohn-Kumar-Miller-Radchenko-Viazovska proves that the unique ground state at any fixed density is given by the $E_8$ and Leech lattices, respectively. Our work builds upon a 2013 work of Kondratiev-Kuna-Ohlerich that implicitly defined $\lambda_{spec}$ and proved a spectral gap for a Glauber-like continuum birth-death dynamics. Our main work shows that such a spectral gap implies several strong notions of absence of phase transition and analyzes the behavior of $\lambda_{spec}$ for interesting potentials.

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 proves that a spectral gap for a Glauber-like continuum birth-death dynamics (taken from the 2013 Kondratiev-Kuna-Ohlerich result) up to an implicitly defined activity threshold λ_spec implies uniqueness of the infinite-volume Gibbs measure, analyticity of the pressure, and several forms of spatial and temporal mixing for Gibbs point processes. For the hard-sphere model it derives explicit bounds on λ_spec that improve classical uniqueness radii for each fixed d ≥ 2, with the improvement growing exponentially in d; it also gives an optimal mixing-time bound for heat-bath dynamics up to density Θ(d/2^d). For certain repulsive radial pair potentials (including examples in d=8 and d=24 whose ground states are the E8 and Leech lattices) it shows λ_spec = ∞, hence absence of phase transition at any activity.

Significance. If the implication chain from spectral gap to the listed equilibrium and mixing properties holds, the work supplies a systematic route from dynamical spectral information to absence of phase transition in continuum systems. The exponential improvement for hard spheres in high dimension and the asymptotic matching of the Parisi-Zamponi rapid-mixing threshold are concrete advances; the construction of potentials with λ_spec = ∞, backed by the Cohn-Kumar-Miller-Radchenko-Viazovska ground-state theorems, gives rigorous examples of interaction potentials with no phase transition at any density. The paper is transparent about its reliance on the 2013 black-box result and focuses its own contribution on the implication theorems and the explicit analysis of λ_spec.

major comments (2)
  1. [Definition of λ_spec and implication theorems] The central claim that the 2013 spectral gap continues to hold exactly up to the defined λ_spec and is sufficient for all listed consequences is load-bearing; the manuscript must therefore contain a self-contained statement (in the section introducing λ_spec) of the precise range of activities for which the 2013 theorem applies and of the precise functional inequalities that are deduced from the gap.
  2. [Hard-sphere analysis] The exponential improvement over classical bounds as d → ∞ for hard spheres is a headline quantitative result; the explicit lower bound or asymptotic expression for λ_spec (hard-sphere case) must appear in the main text (not only in the abstract) so that the growth rate can be verified directly.
minor comments (2)
  1. [Notation and preliminaries] Notation for the continuum birth-death generator and for the various mixing notions should be introduced once, with a short table or list of definitions, to avoid repeated cross-references.
  2. [References] The reference list should include the precise citation for the Parisi-Zamponi prediction that is being matched asymptotically.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and the precise comments. We respond to each major comment below.

read point-by-point responses
  1. Referee: [Definition of λ_spec and implication theorems] The central claim that the 2013 spectral gap continues to hold exactly up to the defined λ_spec and is sufficient for all listed consequences is load-bearing; the manuscript must therefore contain a self-contained statement (in the section introducing λ_spec) of the precise range of activities for which the 2013 theorem applies and of the precise functional inequalities that are deduced from the gap.

    Authors: We agree that a self-contained statement of the precise activity range from the 2013 Kondratiev-Kuna-Ohlerich theorem and the functional inequalities deduced from the spectral gap would improve transparency. In the revised manuscript we will insert this statement in the section introducing λ_spec. revision: yes

  2. Referee: [Hard-sphere analysis] The exponential improvement over classical bounds as d → ∞ for hard spheres is a headline quantitative result; the explicit lower bound or asymptotic expression for λ_spec (hard-sphere case) must appear in the main text (not only in the abstract) so that the growth rate can be verified directly.

    Authors: We agree that the explicit lower bound or asymptotic expression for λ_spec in the hard-sphere case should be stated in the main text. We will move or add this material to the main body in the revision. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation takes the spectral gap result as an external input from the 2013 Kondratiev-Kuna-Ohlerich paper (distinct authors), defines λ_spec implicitly from that gap, proves that any such gap implies uniqueness/analyticity/mixing, and then computes explicit bounds on λ_spec for hard spheres and other potentials. No step reduces by construction to a fitted input, self-citation, or ansatz smuggled from prior work by the same authors. The implication chain from gap to thermodynamic properties is presented as independent content, and the paper is self-contained against the external benchmark.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on the spectral-gap theorem from the 2013 Kondratiev-Kuna-Ohlerich paper and on standard existence results for Gibbs measures in continuum statistical mechanics; no free parameters or new invented entities are introduced.

axioms (2)
  • domain assumption Existence and uniqueness of the continuum birth-death dynamics with the stated spectral gap up to λ_spec (Kondratiev-Kuna-Ohlerich 2013)
    Invoked as the starting point whose consequences are derived in the present work.
  • standard math Standard measurability and integrability conditions for the pair potential and activity parameter
    Required for the definition of the Gibbs point process and the dynamics.

pith-pipeline@v0.9.1-grok · 5917 in / 1573 out tokens · 50058 ms · 2026-06-29T02:27:10.556624+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

61 extracted references

  1. [1]

    B. J. Alder and T. E. Wainwright. Phase transition for a hard sphere system.The Journal of chemical physics, 27(5):1208, 1957

  2. [2]

    Anand, A

    K. Anand, A. G¨ obel, M. Pappik, and W. Perkins. Perfect sampling for hard spheres from strong spatial mixing. In27th International Conference on Randomization and Computation and the 26th International Conference on Approximation Algorithms for Combinatorial Optimization Problems, pages 1–18. Schloss Dagstuhl-Leibniz-Zentrum f¨ ur Informatik, 2023

  3. [3]

    Bakry, I

    D. Bakry, I. Gentil, and M. Ledoux.Analysis and Geometry of Markov Diffusion Operators. Grundlehren der mathema- tischen Wissenschaften. Springer International Publishing, 2013

  4. [4]

    Balister, B

    P. Balister, B. Bollob´ as, and M. Walters. Continuum percolation with steps in the square or the disc.Random Structures & Algorithms, 26(4):392–403, 2005

  5. [5]

    E. P. Bernard and W. Krauth. Two-step melting in two dimensions: First-order liquid-hexatic transition.Physical review letters, 107(15):155704, 2011

  6. [6]

    Bertini, N

    L. Bertini, N. Cancrini, and F. Cesi. The spectral gap for a Glauber-type dynamics in a continuous gas.Annales de l’IHP Probabilit´ es et statistiques, 38(1):91–108, 2002. 43

  7. [7]

    Betsch and G

    S. Betsch and G. Last. On the uniqueness of Gibbs distributions with a non-negative and subcritical pair potential. In Annales de l’Institut Henri Poincare (B) Probabilites et statistiques, volume 59, pages 706–725. Institut Henri Poincar´ e, 2023

  8. [8]

    V. I. Bogachev.Measure theory, volume 1. Springer, 2007

  9. [9]

    Bubley and M

    R. Bubley and M. Dyer. Path coupling: A technique for proving rapid mixing in Markov chains. InProceedings 38th Annual Symposium on Foundations of Computer Science, pages 223–231. IEEE, 1997

  10. [10]

    X. Chen, Z. Chen, Z. Chen, Y. Yin, and X. Zhang. Rapid mixing on random regular graphs beyond uniqueness. In2025 IEEE 66th Annual Symposium on Foundations of Computer Science—FOCS 2025, pages 2170–2193. IEEE Comput. Soc. Press, Los Alamitos, CA, 2025

  11. [11]

    Cohn and M

    H. Cohn and M. de Courcy-Ireland. The Gaussian core model in high dimensions.Duke Math. J., 167(13):2417–2455, 2018

  12. [12]

    H. Cohn, A. Kumar, S. D. Miller, D. Radchenko, and M. Viazovska. The sphere packing problem in dimension 24.Ann. of Math. (2), 185(3):1017–1033, 2017

  13. [13]

    H. Cohn, A. Kumar, S. D. Miller, D. Radchenko, and M. Viazovska. Universal optimality of theE 8 and Leech lattices and interpolation formulas.Ann. of Math. (2), 196(3):983–1082, 2022

  14. [14]

    D. J. Daley and D. Vere-Jones.An introduction to the theory of point processes: volume I: elementary theory and methods. Springer, 2003

  15. [15]

    D. J. Daley and D. Vere-Jones.An introduction to the theory of point processes: volume II: general theory and structure. Springer, 2008

  16. [16]

    Dereudre

    D. Dereudre. Introduction to the theory of Gibbs point processes. InStochastic Geometry: Modern Research Frontiers, pages 181–229. Springer, 2019

  17. [17]

    Dereudre and D

    D. Dereudre and D. Flimmel. Non-hyperuniformity of Gibbs point processes with short-range interactions.J. Appl. Probab., 61(4):1380–1406, 2024

  18. [18]

    R. L. Dobrushin and S. B. Shlosman. Completely analytical Gibbs fields. InStatistical Physics and Dynamical Systems: Rigorous Results, pages 371–403. Springer, 1985

  19. [19]

    R. L. Dobrushin and S. B. Shlosman. Completely analytical interactions: constructive description.Journal of Statistical Physics, 46(5):983–1014, 1987

  20. [20]

    M. Dyer, A. Sinclair, E. Vigoda, and D. Weitz. Mixing in time and space for lattice spin systems: A combinatorial view. Random Structures & Algorithms, 24(4):461–479, 2004

  21. [21]

    Finken, M

    R. Finken, M. Schmidt, and H. L¨ owen. Freezing transition of hard hyperspheres.Physical Review E, 65(1):016108, 2001

  22. [22]

    M. E. Fisher. The free energy of a macroscopic system.Archive for Rational Mechanics and Analysis, 17(5):377–410, 1964

  23. [23]

    Friedli and Y

    S. Friedli and Y. Velenik.Statistical mechanics of lattice systems: a concrete mathematical introduction. Cambridge University Press, 2017

  24. [24]

    Friedrich, A

    T. Friedrich, A. G¨ obel, M. Katzmann, M. S. Krejca, and M. Pappik. Sampling repulsive Gibbs point processes using random graphs.Combinatorics, Probability and Computing, 34(1):63–89, 2025

  25. [25]

    Friedrich, A

    T. Friedrich, A. G¨ obel, M. S. Krejca, and M. Pappik. A spectral independence view on hard spheres via block dynamics. SIAM Journal on Discrete Mathematics, 36(3):2282–2322, 2022

  26. [26]

    Frisch and J

    H. Frisch and J. Percus. High dimensionality as an organizing device for classical fluids.Physical Review E, 60(3):2942, 1999

  27. [27]

    J. Ginibre. Rigorous lower bound on the compressibility of a classical system.Physics Letters A, 24(4):223–224, 1967

  28. [28]

    G¨ obel, M

    A. G¨ obel, M. Jenssen, M. Michelen, M. Pappik, W. Perkins, and L. Schiller. A simple proof of rapid mixing on random regular graphs beyond uniqueness.preprint, 2026

  29. [29]

    Grafakos.Classical Fourier analysis, volume 249 ofGraduate Texts in Mathematics

    L. Grafakos.Classical Fourier analysis, volume 249 ofGraduate Texts in Mathematics. Springer, New York, third edition, 2014

  30. [30]

    Groeneveld

    J. Groeneveld. Two theorems on classical many-particle systems.Physics Letters, 3, 1962

  31. [31]

    Helmuth, W

    T. Helmuth, W. Perkins, and S. Petti. Correlation decay for hard spheres via Markov chains.Ann. Appl. Probab., 32(3):2063–2082, 2022

  32. [32]

    Hofer-Temmel

    C. Hofer-Temmel. Disagreement percolation for the hard-sphere model.Electron. J. Probab., 24:Paper No. 91, 22, 2019

  33. [33]

    Houdebert and A

    P. Houdebert and A. Zass. An explicit Dobrushin uniqueness region for Gibbs point processes with repulsive interactions. J. Appl. Probab., 59(2):541–555, 2022

  34. [34]

    S. Jansen. Gibbsian point processes.available at author’s website, 2018

  35. [35]

    S. Jansen. Cluster expansions for Gibbs point processes.Advances in Applied Probability, 51(4):1129–1178, 2019

  36. [36]

    Jenssen, F

    M. Jenssen, F. Joos, and W. Perkins. On the hard sphere model and sphere packings in high dimensions.Forum Math. Sigma, 7:Paper No. e1, 19, 2019

  37. [37]

    Jenssen, M

    M. Jenssen, M. Michelen, and M. Ravichandran. Quasipolynomial-time algorithms for Gibbs point processes.Combina- torics, Probability and Computing, 33(1):1–15, 2024

  38. [38]

    Jerrum and H

    M. Jerrum and H. Guo. Perfect simulation of the hard disks model by partial rejection sampling.Annales de l’Institut Henri Poincar´ e D (AIHPD), 2019

  39. [39]

    Kondratiev, T

    Y. Kondratiev, T. Kuna, and N. Ohlerich. Spectral gap for Glauber type dynamics for a special class of potentials.Electronic Journal Of Probability, 18, 2013. 44

  40. [40]

    Lee and C.-N

    T.-D. Lee and C.-N. Yang. Statistical theory of equations of state and phase transitions. ii. lattice gas and Ising model. Physical Review, 87(3):410, 1952

  41. [41]

    D. A. Levin and Y. Peres.Markov chains and mixing times, volume 107. American Mathematical Soc., 2017

  42. [42]

    Lindvall.Lectures on the coupling method

    T. Lindvall.Lectures on the coupling method. Wiley Series in Probability and Mathematical Statistics: Probability and Mathematical Statistics. John Wiley & Sons, Inc., New York, 1992. A Wiley-Interscience Publication

  43. [43]

    H. L¨ owen. Fun with hard spheres. InStatistical physics and spatial statistics: the art of analyzing and modeling spatial structures and pattern formation, pages 295–331. Springer, 2000

  44. [44]

    E. Meeron. Bounds, successive approximations, and thermodynamic limits for distribution functions, and the question of phase transitions for classical systems with non-negative interactions.Phys. Rev. Lett., 25:152–155, 1970

  45. [45]

    Mertens and C

    S. Mertens and C. Moore. Continuum percolation thresholds in two dimensions.Physical Review E—Statistical, Nonlinear, and Soft Matter Physics, 86(6):061109, 2012

  46. [46]

    Michelen and W

    M. Michelen and W. Perkins. Strong spatial mixing for repulsive point processes.J. Stat. Phys., 189(1):Paper No. 9, 32, 2022

  47. [47]

    Michelen and W

    M. Michelen and W. Perkins. Analyticity for classical gasses via recursion.Communications in Mathematical Physics, 399(1):367–388, 2023

  48. [48]

    Michelen and W

    M. Michelen and W. Perkins. Potential-weighted connective constants and uniqueness of Gibbs measures.Communications in Mathematical Physics, 406(2):32, 2025

  49. [49]

    Michelen and J

    M. Michelen and J. Sahasrabudhe. Central limit theorems and the geometry of polynomials.J. Eur. Math. Soc. (JEMS), 28(5):2261–2305, 2026

  50. [50]

    H. L. Montgomery. Minimal theta functions.Glasgow Math. J., 30(1):75–85, 1988

  51. [51]

    F. W. J. Olver, D. W. Lozier, R. F. Boisvert, and C. W. Clark, editors.NIST handbook of mathematical functions. U.S. Department of Commerce, National Institute of Standards and Technology, Washington, DC; Cambridge University Press, Cambridge, 2010

  52. [52]

    Parisi and F

    G. Parisi and F. Zamponi. Mean-field theory of hard sphere glasses and jamming.Reviews of Modern Physics, 82(1):789– 845, 2010

  53. [53]

    O. Penrose. Convergence of fugacity expansions for fluids and lattice gases.Journal of Mathematical Physics, 4(10):1312– 1320, 1963

  54. [54]

    Richthammer

    T. Richthammer. Translation-invariance of two-dimensional Gibbsian point processes.Comm. Math. Phys., 274(1):81–122, 2007

  55. [55]

    D. Ruelle. Correlation functions of classical gases.Annals of Physics, 25(1):109–120, 1963

  56. [56]

    Ruelle.Statistical mechanics: Rigorous results

    D. Ruelle.Statistical mechanics: Rigorous results. W. A. Benjamin, Inc., New York-Amsterdam, 1969

  57. [57]

    M. S. Viazovska. The sphere packing problem in dimension 8.Ann. of Math. (2), 185(3):991–1015, 2017

  58. [58]

    Villani.Optimal transport, volume 338 ofGrundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]

    C. Villani.Optimal transport, volume 338 ofGrundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 2009. Old and new

  59. [59]

    D. Weitz. Counting independent sets up to the tree threshold. InProceedings of the 38th Annual ACM Symposium on Theory of Computing (STOC), pages 140–149. ACM, 2006

  60. [60]

    Yang and T.-D

    C.-N. Yang and T.-D. Lee. Statistical theory of equations of state and phase transitions. i. theory of condensation.Physical Review, 87(3):404, 1952

  61. [61]

    S. Ziesche. Sharpness of the phase transition and lower bounds for the critical intensity in continuum percolation onR d. Ann. Inst. Henri Poincar´ e Probab. Stat., 54(2):866–878, 2018. AppendixA.Bessel function calculations The goal of this section is to prove Lemma 8.2. Letω d = VolRd(1) and note that the radiuss d of the ball of volume 1 satisfiess d =...