pith. sign in

arxiv: 2012.05110 · v3 · submitted 2020-12-09 · 🧮 math-ph · math.MP· math.PR

Interacting loop ensembles and Bose gases

J\"urg Fr\"ohlich , Antti Knowles , Benjamin Schlein , Vedran Sohinger This is my paper

Pith reviewed 2026-05-24 14:35 UTC · model grok-4.3

classification 🧮 math-ph math.MPmath.PR
keywords Bose gasesloop ensemblesmean-field limitlarge-mass limitgrand canonical stateslattice systemsclassical limits
0
0 comments X

The pith

Grand canonical states of lattice Bose gases converge to classical field and particle limits using loop representations.

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 equilibrium states of interacting Bose gases on a lattice approach a classical field theory with quartic interaction in the mean-field limit and a classical point-particle theory with two-body interactions in the large-mass limit. The argument relies on rewriting both the quantum Bose gas and the target classical systems as ensembles of interacting random loops, then proving that the loop measures converge. Convergence is established first in finite volume and then extended to infinite volume when the interaction strength is small enough. A reader would care because these limits justify replacing the full quantum description with simpler classical ones in regimes where the approximations are controlled.

Core claim

The grand canonical Gibbs states of interacting Bose gases on a lattice converge to their mean-field limit, given by a classical field theory of a complex scalar field with quartic self-interaction, and to their large-mass limit, given by a classical theory of point particles with two-body interactions. The proof proceeds by expressing the quantum and classical systems through ensembles of interacting random loops and showing that the corresponding measures converge. The statements hold in infinite volume provided the interaction is sufficiently small.

What carries the argument

ensembles of interacting random loops that represent the quantum Bose gas and both classical limits

If this is right

  • The mean-field limit yields a classical field theory for a complex scalar field with quartic self-interaction.
  • The large-mass limit yields a classical theory of point particles with two-body interactions.
  • Both limits continue to hold in infinite volume when interactions remain small enough.
  • The loop representations equate the quantum and classical systems at the level of their Gibbs measures.

Where Pith is reading between the lines

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

  • The same loop-representation technique might be applied to other lattice quantum systems that admit similar representations.
  • The infinite-volume result suggests that thermodynamic limits of the classical theories can be reached directly from the quantum side without finite-volume cutoffs.
  • Explicit error bounds between the quantum and classical measures could be extracted from the convergence proof for quantitative comparisons.

Load-bearing premise

The interaction strength must be small enough for the convergence statements to hold.

What would settle it

Numerical computation of the loop measures for interaction strengths above the small-interaction regime that shows the measures fail to converge would falsify the claim.

Figures

Figures reproduced from arXiv: 2012.05110 by Antti Knowles, Benjamin Schlein, J\"urg Fr\"ohlich, Vedran Sohinger.

Figure 1.1
Figure 1.1. Figure 1.1: An illustration of the Symanzik (left) and Ginibre (right) loop ensembles. The random loops ω are drawn in black. An interaction V(ω, ω˜) is drawn with a dotted blue line, joining the points ω(t) and ω˜(t˜) that appear in the argument of the interaction potential v. Note that each loop can interact with each other loop and with itself. In the Ginibre ensemble, the duration of the loops is a multiple of ν… view at source ↗
read the original abstract

We study interacting Bose gases in thermal equilibrium on a lattice. We establish convergence of the grand canonical Gibbs states of such gases to their mean-field (classical field) and large-mass (classical particle) limits. The former is a classical field theory for a complex scalar field with quartic self-interaction. The latter is a classical theory of point particles with two-body interactions. Our analysis is based on representations in terms of ensembles of interacting random loops, the Ginibre loop ensemble for Bose gases and the Symanzik loop ensemble for classical scalar field theories. For small enough interactions, our results also hold in infinite volume.

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 paper studies interacting Bose gases on a lattice in thermal equilibrium. It establishes convergence of the grand-canonical Gibbs states to the mean-field limit, which is a classical complex scalar field theory with quartic self-interaction, and to the large-mass limit, which is a classical theory of point particles with two-body interactions. The analysis relies on the Ginibre loop ensemble representation for the quantum Bose gas and the Symanzik loop ensemble for the classical field theory. The convergence results hold for sufficiently small interactions and extend to infinite volume under the same small-interaction condition.

Significance. If the stated convergences hold, the work supplies a rigorous bridge between quantum lattice Bose gases and their classical limits via loop ensembles, with explicit control in the small-interaction regime. The infinite-volume extension is a substantive contribution, as it addresses a standard technical obstacle in rigorous statistical mechanics. The derivation from the loop representations is a strength, as it avoids ad-hoc fitting parameters and yields falsifiable convergence statements.

major comments (2)
  1. [Abstract / Introduction] The abstract states that results hold 'for small enough interactions' in infinite volume, but without an explicit quantitative bound on the interaction strength (e.g., in terms of the inverse temperature or lattice spacing) it is difficult to assess the practical range of validity; this bound should be stated in the main theorem (likely Theorem 1.1 or 2.3).
  2. [Section on infinite-volume results (likely §4 or §5)] The handling of the infinite-volume limit relies on the loop representations remaining valid without additional cutoffs; if the proof uses a finite-volume approximation followed by a limit, the uniformity of the error estimates with respect to volume must be verified explicitly, as any volume-dependent constant would undermine the claim.
minor comments (2)
  1. [Section 2] Notation for the loop ensembles (Ginibre vs. Symanzik) should be introduced with a short comparison table or paragraph to clarify the measure and interaction terms for readers unfamiliar with the representations.
  2. [Theorem on mean-field convergence] The statement of the mean-field limit should include the precise scaling of the interaction parameter with the lattice spacing or particle mass to make the classical-field limit transparent.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and constructive feedback on our manuscript. We address each major comment below.

read point-by-point responses

  1. Referee: [Abstract / Introduction] The abstract states that results hold 'for small enough interactions' in infinite volume, but without an explicit quantitative bound on the interaction strength (e.g., in terms of the inverse temperature or lattice spacing) it is difficult to assess the practical range of validity; this bound should be stated in the main theorem (likely Theorem 1.1 or 2.3).

    Authors: The main theorems establish convergence for all interaction strengths below some positive threshold that depends on the inverse temperature, lattice spacing, and other model parameters. This threshold is shown to exist via abstract contraction-mapping or perturbative estimates on the loop ensembles, but the proof does not produce a closed-form or numerically explicit expression for it. Such an explicit bound would require a fully quantitative reworking of the estimates, which lies outside the scope of the paper. The current formulation is standard for results of this type and already makes the range of validity mathematically precise. revision: no

  2. Referee: [Section on infinite-volume results (likely §4 or §5)] The handling of the infinite-volume limit relies on the loop representations remaining valid without additional cutoffs; if the proof uses a finite-volume approximation followed by a limit, the uniformity of the error estimates with respect to volume must be verified explicitly, as any volume-dependent constant would undermine the claim.

    Authors: The infinite-volume statements are proved by deriving all error estimates directly in a manner that is uniform with respect to volume. The Ginibre and Symanzik loop representations are used in infinite volume for sufficiently small interactions, and the convergence bounds (including the control of the interaction terms) contain no volume-dependent constants. The finite-volume approximations are taken only after the uniform estimates have been established, so the limit passes without additional cutoffs or loss of uniformity. revision: no

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained mathematical analysis

full rationale

The paper establishes convergence of grand-canonical Gibbs states to mean-field and large-mass limits via rigorous analysis of Ginibre and Symanzik loop ensembles. No steps reduce by construction to inputs, fitted parameters renamed as predictions, or load-bearing self-citations. The small-interaction regime is an explicit assumption enabling the proofs, not a hidden circularity. The central claims rest on independent mathematical derivations from the loop representations, which are externally established and not redefined within the paper.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the small-interaction regime and the equivalence of the Bose gas to the Ginibre loop ensemble plus the classical field to the Symanzik ensemble; these equivalences are invoked without further justification in the abstract.

axioms (2)
  • domain assumption Existence and properties of Ginibre and Symanzik loop ensembles for the respective systems.
    Abstract states the analysis is based on these representations.
  • standard math Standard functional-analytic or probabilistic tools for establishing convergence of Gibbs states.
    Typical background for such limit theorems.

pith-pipeline@v0.9.0 · 5633 in / 1096 out tokens · 27486 ms · 2026-05-24T14:35:18.451891+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

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

  1. [1]

    Bourgain,Invariant measures for NLS in infinite volume, Comm

    J. Bourgain,Invariant measures for NLS in infinite volume, Comm. Math. Phys.210 (2000), no. 3, 605–620

    work page 2000

  2. [2]

    Brydges, A short course on cluster expansions, Critical Phenomena, Random Systems, Gauge Theories, Les Houches (1984), 129–183

    D. Brydges, A short course on cluster expansions, Critical Phenomena, Random Systems, Gauge Theories, Les Houches (1984), 129–183. 53

    work page 1984

  3. [3]

    Brydges, J

    D. Brydges, J. Fröhlich, A. Sokal,The Random-Walk Representation of Clasical Spin Systems and Correlation Inequalities. II. The Skeleton Inequalities, Comm. Math. Phys. 91 (1983), 117–139

    work page 1983

  4. [4]

    Brydges, J

    D. Brydges, J. Fröhlich, T. Spencer,The Random Walk Representation of Classical Spin Sys- tems and Correlation Inequalities, Comm. Math. Phys.83 (1982), 123–150

    work page 1982

  5. [5]

    Friedli, Y

    S. Friedli, Y. Velenik, Statistical Mechanics of Lattice Systems: A Concrete Mathematical Introduction, Cambridge University Press (2017)

    work page 2017

  6. [6]

    Fröhlich,On the triviality ofλφ4 d theories and the approach to the critical point ind > (⩾)4 dimensions, Nuclear Physics B200 [FS4] (1982), 281–296

    J. Fröhlich,On the triviality ofλφ4 d theories and the approach to the critical point ind > (⩾)4 dimensions, Nuclear Physics B200 [FS4] (1982), 281–296

    work page 1982

  7. [7]

    Fröhlich, A

    J. Fröhlich, A. Knowles, B. Schlein, V. Sohinger,Gibbs measures of nonlinear Schrödinger equations as limits of many-body quantum states in dimensionsd ⩽ 3, Comm. Math. Phys. 356 (2017), no.3, 883–980

    work page 2017

  8. [8]

    Fröhlich, A

    J. Fröhlich, A. Knowles, B. Schlein, V. Sohinger,A microscopic derivation of time-dependent correlation functions of the 1D cubic nonlinear Schrödinger equation, Adv. Math.353 (2019), 67–115

    work page 2019

  9. [9]

    Fröhlich, A

    J. Fröhlich, A. Knowles, B. Schlein, V. Sohinger,The mean-field limit of quantum Bose gases at positive temperature, J. Amer. Math. Soc.35 (2022), no. 4, 955–1030

    work page 2022

  10. [10]

    Fröhlich, A

    J. Fröhlich, A. Knowles, B. Schlein, V. Sohinger,A path-integral analysis of interacting Bose gases and loop gases, J. Stat. Phys.180 (2020), no. 1–6, 810–831

    work page 2020

  11. [11]

    Fröhlich, A

    J. Fröhlich, A. Knowles, B. Schlein, V. Sohinger,The Euclidean φ4 2 theory as a limit of an interacting Bose gas, arXiv preprint 2201.07632 (2022)

    work page arXiv 2022

  12. [12]

    Ginibre,Reduced density matrices of quantum gases

    J. Ginibre,Reduced density matrices of quantum gases. I. Limit of infinite volume, J. Math. Phys. 6 (1965), 238–251

    work page 1965

  13. [13]

    Ginibre,Reduced density matrices of quantum gases

    J. Ginibre,Reduced density matrices of quantum gases. II. Cluster property, J. Math. Phys.6 (1965), 251–261

    work page 1965

  14. [14]

    Ginibre,Reduced density matrices of quantum gases

    J. Ginibre,Reduced density matrices of quantum gases. III. Hardcore potentials, J. Math. Phys. 6 (1965), 1432-1446

    work page 1965

  15. [15]

    Ginibre, Some applications of functional integration in statistical mechanics, Mécanique statistique et théorie quantique des champs, Les Houches (1971), 327–427

    J. Ginibre, Some applications of functional integration in statistical mechanics, Mécanique statistique et théorie quantique des champs, Les Houches (1971), 327–427

    work page 1971

  16. [16]

    Constructive Quantum Field Theory

    J. Glimm, A. Jaffe, T. Spencer,The Particle Structure of the Weakly CoupledP (ϕ)2 Model an Other Applications of High-Temperature Expansions, Part II: The Cluster Expansion, in: “Constructive Quantum Field Theory”, G. Velo and A. Wightman (eds.) Lecture Notes in Physics, vol.25, Berlin-Heidelberg-New York: Springer-Verlag 1973

    work page 1973

  17. [17]

    Kotecký, D

    R. Kotecký, D. Preiss,Cluster expansion for abstract polymer models, Comm. Math. Phys. 103 (1986), no. 3, 491–498

    work page 1986

  18. [18]

    77, (2017)

    O.Kallenberg, Random measures, Theory and Applications(ProbabilityTheoryandStochastic Modelling), Springer Vol. 77, (2017). 54

    work page 2017

  19. [19]

    Knowles,Limiting dynamics in large quantum systems, ETH Zürich Doctoral Thesis (2009), ETHZ e-collection 18517

    A. Knowles,Limiting dynamics in large quantum systems, ETH Zürich Doctoral Thesis (2009), ETHZ e-collection 18517

    work page 2009

  20. [20]

    Kruskal, On the shortest subtree of a graph and the traveling salesman problem, Proc

    J.B. Kruskal, On the shortest subtree of a graph and the traveling salesman problem, Proc. Amer. Math. Soc.7 (1956), 48–50

    work page 1956

  21. [21]

    Lawler, W

    G. Lawler, W. Werner,The Brownian loop soup, Probab. Theory Relat. Fields,128 (2004), 565–588

    work page 2004

  22. [22]

    Lebowitz, O

    J. Lebowitz, O. Penrose,Convergence of virial expansions, J. Math. Phys.5 (1964), 841

    work page 1964

  23. [23]

    Lewin, P.-T

    M. Lewin, P.-T. Nam, N. Rougerie,Derivation of nonlinear Gibbs measures from many-body quantum mechanics, Journal de l’École Polytechnique-Mathématiques2 (2015), 65–115

    work page 2015

  24. [24]

    Lewin, P.-T

    M. Lewin, P.-T. Nam, N. Rougerie,Classical field theory limit of 2D many-body quantum Gibbs states, arXiv preprint 1810.08370v2 (2018)

    work page arXiv 2018

  25. [25]

    Lewin, P.-T

    M. Lewin, P.-T. Nam, N. Rougerie,Gibbs measures based on 1D (an)harmonic oscillators as mean-field limits, J. Math. Phys.59 (2018), no. 4, 041901

    work page 2018

  26. [26]

    Lewin, P.-T

    M. Lewin, P.-T. Nam, N. RougerieClassical field theory limit of many-body quantum Gibbs states in 2D and 3D, Invent. Math.224 (2021), no. 2, 315–444

    work page 2021

  27. [27]

    Penrose,Convergence of fugacity expansions for fluids and lattice gases, J

    O. Penrose,Convergence of fugacity expansions for fluids and lattice gases, J. Math. Phys.4 (1963), 1312

    work page 1963

  28. [28]

    Penrose,The remainder in Mayer’s fugacity series, J

    O. Penrose,The remainder in Mayer’s fugacity series, J. Math. Phys,4 (1963), 1488

    work page 1963

  29. [29]

    A. Rout, V. Sohinger,A microscopic derivation of Gibbs measures for the1D focusing cubic nonlinear Schrödinger equation, arXiv preprint 2206.03392 (2022)

    work page arXiv 2022

  30. [30]

    Ruelle,Statistical Mechanics: Rigorous Results, third edition (1989), World Scientific, Im- perial College Press

    D. Ruelle,Statistical Mechanics: Rigorous Results, third edition (1989), World Scientific, Im- perial College Press

    work page 1989

  31. [31]

    Salmhofer, Functional Integral and Stochastic Representations for Ensembles of Identical Bosons on a Lattice, Comm

    M. Salmhofer, Functional Integral and Stochastic Representations for Ensembles of Identical Bosons on a Lattice, Comm. Math. Phys.385 (2021), no. 2, 1163–1211

    work page 2021

  32. [32]

    A microscopic derivation of Gibbs measures for nonlinear Schr\"{o}dinger equations with unbounded interaction potentials

    V. Sohinger,A microscopic derivation of Gibbs measures for nonlinear Schrödinger equations with unbounded interaction potentials, arXiv preprint 1904.08137 (2019). To appear in Int. Math. Res. Not. IMRN

    work page internal anchor Pith review Pith/arXiv arXiv 1904

  33. [33]

    Stanley,Enumerative Combinatorics, Volume 2, Cambridge Studies in Advanced Mathe- matics 62 (1999)

    R. Stanley,Enumerative Combinatorics, Volume 2, Cambridge Studies in Advanced Mathe- matics 62 (1999)

    work page 1999

  34. [34]

    Symanzik,Euclidean quantum field theory, Proceedings of the physics school on local quan- tum theory, Varenna (R

    K. Symanzik,Euclidean quantum field theory, Proceedings of the physics school on local quan- tum theory, Varenna (R. Jost, ed.), 1968, pp. 152–226

    work page 1968

  35. [35]

    Dynamical and energetic properties of Bose-Einstein condensates

    D. Ueltschi, Cluster expansions and correlation functions, Moscow Math J.4 (2004), no. 2, 511–522. 55 Jürg Fröhlich, ETH Zürich, Institute for Theoretical Physics, juerg@phys.ethz.ch. Antti Knowles, University of Geneva, Section of Mathematics, antti.knowles@unige.ch. Benjamin Schlein, University of Zürich, Institute of Mathematics, benjamin.schlein@math....

    work page 2004