Abstract
For a class of translation-invariant pair potentials ϕ in \((\mathbb{R}^{d},z\lambda )\) satisfying a stability and regularity condition, we choose z so small that the associated collection \(\mathcal{ G}(\phi,z\lambda )\) of Gibbs processes contains at least the stationary process G, which is a Gibbs process in the sense of DLR and is given by the limiting Gibbs process with empty boundary conditions. Using an abstract version of the method of cluster expansions and Dobrushin’s approach to the central limit theorem, we present a central limit theorem for the particle numbers of G.
Similar content being viewed by others
1 Introduction
In 1970 Minlos and Halfina [12] proved for a limiting lattice gas with empty boundary conditions, i.e., for some phase, that the fluctuations of the particle number have asymptotically for large volumes a normal distribution if the activity z is small enough. They assumed Penrose stability in the sense of [18] and some regularity condition for the underlying pair potential. Martin-Löf [9] obtained in 1973 similar results for the Ising model. In 1975 Malyshev [7] proved a general result of this type under the assumption of exponential decay of correlations.
To our knowledge, such results have not yet been presented for a classical continuous gas without recurring to the lattice case. That the latter is possible has been noted already by Minlos and Halfina [12] and was realized in a number of works (cf. [3–6]).
Our aim is to show a central limit theorem for the particle numbers of a classical gas in Euclidean space by using point process methods, thereby avoiding the artificial recours to lattice gas technics. Our assumptions on the potential ϕ are similar to the one of Minlos and Halfina; particularly, we consider weakly Penrose stable pair potentials and a regularity condition, which implies that the activity z is small enough such that the limiting Gibbs process with empty boundary conditions, denoted by G, exists and is a Gibbs process in the sense of DLR. For this pure phase of a Gibbs process G, using an equivalent form of DLR equations given by Nguyen and Zessin [15], we show that the number of particles in a bounded large region satisfies the central limit theorem.
For a proof we use the method of cluster expansions in an abstract form, developed by Nehring [13] (see also [17]). Another important ingredient is Dobrushin’s approach to the central limit theorem (cf. [1]), which is based on an application of elementary facts of the theory of analytic functions.
2 Synopsis of notions and methods
Notions not explained here can be found in [18].
2.1 Point processes
The underlying phase space \((X,\mathcal{B}(X),\mathcal{B}_{0}(X))\) is an lcscH, i.e., locally compact, second countable Hausdorff topological space.Footnote 1\(\mathcal{B}(X)\) denotes its Borel sets and \(\mathcal{B}_{0}(X)\) is bounded, this means relatively compact, Borel sets. \(\mathcal{ M}(X)\) is the space of Radon measures on X, which is Polish with respect to vague convergence, and \(\mathcal{ M}^{\cdot }(X)\) is the Borel subspace of simple point measures, i.e., locally finite subsets of X. \({\mathfrak{X}}=\mathcal{ M}^{\cdot }_{f}(X)\) denotes the measurable subset of finite elements ξ in \(\mathcal{ M}^{\cdot }(X)\) and \({\mathfrak{X}}'\) all \(\xi \in {\mathfrak{X}}\) with \(\xi \neq o\), where o denotes the zero-measure or vacuum. For notational convenience, we do not indicate always the underlying space in the sequel. \(\Delta _{o}\) is the Dirac measure on \(\mathcal{ M}^{\cdot }\) in o. Dirac measures on X are denoted by \(\varepsilon _{x}\).
Laws P on \((\mathcal{ M}^{\cdot },\mathcal{B}(\mathcal{ M}^{\cdot }))\) are called (simple point) processes in X.Footnote 2 We use different function spaces: U is the collection of all bounded, nonnegative, and measurable functions f on X with bounded support. F denotes the set of all nonnegative measurable functions on the underlying space, which is not indicated. For \(f\in U\), the functional \(\zeta _{f}:\mu \mapsto \mu (f)\) is a well-defined measurable function on \(\mathcal{ M}^{\cdot }\), which is vaguely continuous for continuous \(f\in U\). If \(B\in \mathcal{B}_{0}(X)\), then we write \(\zeta _{B}\) instead of \(\zeta _{{\mathbf{1}}_{B}}\). \(\zeta _{B}\) counts the number of particles in B.
Functionals of point processes
\(\mathscr{L}_{P}(f)=P(\operatorname{e}^{-\zeta _{f}}), f\in U\), denotes the Laplace transform of process P. Another important functional is the Campbell measure of P, defined by
P is uniquely determined by both functionals. The Campbell measure of a process P determines all moment measures of P. Indeed, the kth moment measure is given by
If \(\nu ^{k}_{P}\) is a Radon measure, i.e., \(\nu ^{k}_{P}(f)<\infty \) for all \(f\in U\), then P is called of order k. If P has moments of all orders, then P is called of infinite order. The factorial measure of P of order k is defined as the restriction of \(\nu ^{k}_{P}\) to \(\widetilde{X}^{k}=\{(x_{1},\dots,x_{k}): (i\neq j\Rightarrow x_{i} \neq x_{j})\}\) and is denoted by \(\widetilde{\nu}^{k}_{P}\). Thus for \(f\in F(X^{k})\)
Here
If P is of order k, then obviously also \(\widetilde{\nu}^{k}_{P}\).
2.2 The method of cluster expansions
We use the abstract form of this method as developed in [13, 14, 17] and explain it shortly in the special case of a classical gas in Euclidean space. Let E denote the space \(\mathbb{R}^{d}\) with Lebesgue measure \(\lambda (\operatorname{d}x)=\operatorname{d}x\). For a given activity \(z>0\), we set \(\varrho =z\lambda \). Let Φ be a pair potential on E, i.e., a measurable function \(\Phi: E\times E\rightarrow (-\infty,+\infty ]\). We assume stability and some regularity condition, which we will make explicit in what follows.
Consider next the associated Ursell function, defined by \(\varkappa (o)=0, \varkappa (x)\equiv 1\), and
This is a sum over all unoriented graphs γ with n vertices, and the product is taken over all edges of γ.
The method of cluster expansions enables the construction of the limiting Gibbs process with empty boundary conditions. And strengthening the assumptions on Φ allows to show that the limiting process is even a Gibbs process.
Consider the cluster functional
i.e., the measure \(\Lambda _{\varrho }\) with density ϰ. Here \(\Lambda _{\varrho }\) is the measure ϱ lifted to the collection of finite configurations \({\mathfrak{X}}\), i.e.,
In general, L is not a well-defined mathematical object. To give to it a precise meaning, we shall make assumptions ensuring that L is a signed Radon measure. This means that L is locally a finite signed measure.
To be more precise, we consider the so-called variation of L
This is a positive measure on \({\mathfrak{X}}':={\mathfrak{X}}\setminus \{o\}\), but may be infinite. Our assumptions below on the potential Φ will assure that \(|\operatorname{L}|\) is of first order. This means
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13662-023-03793-1/MediaObjects/13662_2023_3793_Figa_HTML.png)
By partial integration this is equivalent to saying that
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13662-023-03793-1/MediaObjects/13662_2023_3793_Figb_HTML.png)
Indeed, by Mecke’s formula [10],
We now localize L in the following way: Let \(B\in \mathcal{B}_{0}(E)\) and consider
i.e., we restrict L to the collection \({\mathfrak{X}}'(B)\) of configurations in B. This is a finite signed measure on \({\mathfrak{X}}'\). Indeed, assumption \((\mathcal{ P})\) implies
Moreover, condition \((\mathcal{ P})\) implies that the so-called modified Laplace transform of \(|\operatorname{L}|\), defined by
is finite-valued, and thereby also \(\mathscr{K}_{\operatorname{L}}(f)\). Note here that \(1-\operatorname{e}^{-\zeta _{f}}\leq \zeta _{f}, f\in U\).
The local construction
Let \(\mathcal{ E}_{fs}\) denote the space of all finite signed measures on \({\mathfrak{X}}\): It is well known that the space \(\mathcal{ E}_{fs}\) is a real Banach algebra with respect to convolution ∗ and the total variation norm. Its unit is \({\mathbf{1}}:=\Delta _{o}\), the Dirac measure in the vacuum o.
Thus the finite signed measure \(\operatorname{L}_{B}\) generates within \(\mathcal{ E}_{fs }\) the signed measure
where
Note that the integral \(\int _{{\mathfrak{X}}'}\varkappa (\xi ) \Lambda _{\varrho _{B}}( \operatorname{d}\xi )\) is absolutely convergent because of condition \((\mathcal{ P})\). The Laplace transform of \(\operatorname{L}_{B}\) is
where
It is now decisive that \(\Im _{\operatorname{L}_{B}}\) can be represented in the following form:
where \(\Gamma (\varkappa )\) is the algebraic exponential of the Ursell function, explicitly written as
Here \(\wp [k]\) denotes the collection of partitions of the set \([k]\). On the other hand (cf. Ruelle [19]), this coincides with the Boltzmann factor, i.e.,
where \(E_{\Phi}\) denotes the energy based on Φ, i.e.,
We thus see that the above method of abstract cluster expansions leads for finite signed L to the local Gibbs process for \((\varrho,\Phi )\) with empty boundary conditions.
The infinitely extended construction
(For the details, we refer to [17].)
To construct the limiting process \(\Im _{\operatorname{L}}\), we localize L as above and then go to the limit. To be more precise: Let \((B_{n})_{n}\) be an increasing sequence of bounded Borel sets in E exhausting E, i.e., \(B_{n}\uparrow E\) if \(n\uparrow \infty \). We assume that \((B_{n})_{n}\) is regular in the following sense:
Consider the sequence of finite signed measures
and the associated sequence \(\Im _{\operatorname{L}_{n}}\) of local Gibbs processes. By means of Mecke’s continuity theorem (cf. [11]), one then obtains the following.
Lemma 1
Under assumption \((\mathcal{ P})\) or \((\mathcal{ P}')\) there exists a limiting process \(\Im _{\operatorname{L}}\) in E such that \(\Im _{\operatorname{L}_{n}}\) converges weakly to \(\Im _{\operatorname{L}}\) if \(n\rightarrow \infty \). The Laplace transform of \(\Im _{\operatorname{L}}\) is given by \(\exp (-\mathscr{K}_{\operatorname{L}})\).
\(\Im _{\operatorname{L}}\) is the limiting Gibbs process with empty boundary conditions. In the sequel we write G for \(\Im _{\operatorname{L}}\).
2.3 The cluster equation (cf. Mecke [11] and Nehring [13])
If L is of first order, then \(\Im _{\operatorname{L}}\) is of first order and a solution P of the cluster equation
![figure c](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13662-023-03793-1/MediaObjects/13662_2023_3793_Figc_HTML.png)
Here the operation ⋆ is defined byFootnote 3
Conversely, if L is of first order and P is a process that solves \((\mathscr{C}\ell)\), then \(P=\Im _{\operatorname{L}}\).
We will see below that the cluster equation is very useful to calculate moment measures of G as well as other properties.
2.4 Stationary processes
The group operation in E is written additively: \(T_{x} z=z-x\). It induces on \(\mathcal{ M}^{\cdot }(E)=\mathcal{ M}^{\cdot }\) the transformation
Write also \(T_{x}\mu =\mu -x\). This in turn induces on the level of processes P the transformation \(T_{x} P\), i.e., the image of P under \(T_{x}\). P is called stationary if
More generally, we shall consider also the stationarity property for L.
For stationary P of first order, the first moment measure \(\nu ^{1}_{P}\) of P is stationary and thereby of the form \(\imath _{P}\cdot \lambda \) for some \(\imath _{P}>0\). \(\imath _{P}\) thus is the expected number of particles in a region B with \(\lambda (B)=1\). Footnote 4
3 Classical continuous systems
We consider from now on a classical gas in the Euclidean space \(E=\mathbb{R}^{d}\) of the following type.
Conditions on the potential
We consider pair potentials Φ in E of the form
where ϕ is an even, measurable function on E, and assume stability and regularity in the following sense:
-
(A1)
(weak or w℘-stability) There exists a constant \(\operatorname{c}\geq 0\) such that for every \(\xi \in {\mathfrak{X}}'\) there exists \(x\in \xi \) with
$$\begin{aligned} W_{\phi}(x,\xi _{x}) \geq -\operatorname{c}\cdot \vert \xi \vert ,\quad \xi \in {\mathfrak{X}}. \end{aligned}$$Here \(|\xi |=\xi (E)\) denotes the number of particles in ξ; \(\xi _{x}=\xi -\varepsilon _{x}\) is the configuration without particle x and
$$\begin{aligned} W_{\phi}(x,\xi _{x}) =\sum_{y\in \xi _{x}} \phi (y-x) \end{aligned}$$is the conditional energy of x given ξ. If c is given, the regularity condition is
-
(A2)
(modified c-regularity)
$$\begin{aligned} z \operatorname{e}^{\operatorname{c}+1} C''_{\phi } \leq 1. \end{aligned}$$
Here \(C''_{\phi}=\int _{E} |\overline{\phi}|(y)\operatorname{e}^{\phi ^{-}(y)} \operatorname{d}y\), where \(\overline{\phi}\equiv 1\) if \(\phi \equiv +\infty \) and otherwise coincides with ϕ.
A remark is in order here: Ruelle [19] uses the constant \(C_{\phi}=\int _{E} |1-\operatorname{e}^{-\phi (y)} | \operatorname{d}y\); whereas in [18] we used \(C'_{\phi}= \int _{E}(1-\operatorname{e}^{-|\phi |(y)}) \operatorname{d}y\). It is obvious that
Furthermore, w℘-stability of ϕ implies the usual stability for the same constant, i.e.,
Under conditions (A1) and (A2), the measure \(|\operatorname{L}|\) is of first order by Theorem 2.1 from [16]. Lemma 1 therefore implies the existence of the limiting Gibbs process \(\operatorname{G}=\Im _{\operatorname{L}}\) with empty boundary conditions. Moreover, G is a Gibbs process for \((\phi,\varrho )\) of infinite order by Theorem 3 in [18]. This means that G satisfies the DLR-equations in the following equivalent form (cf. Nguyen X.X. and Zessin [15]): G is a solution P of the following equation:
![figure d](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13662-023-03793-1/MediaObjects/13662_2023_3793_Figd_HTML.png)
Its correlation functions, i.e., the densities \(r^{n}_{\operatorname{G}}\) of the factorial moment measures \(\widetilde{\nu}^{n}_{\operatorname{G}}\) with respect to the product measures \(\varrho ^{n}\), have the representation
and satisfy the Ruelle estimate
(For details, we refer to [18].) Here
We remark also that L is stationary since Φ has this property. This implies that the limiting Gibbs process G is stationary too. Indeed, since G is the unique solution of the cluster equation for L, it follows that its translation \(T_{x}\operatorname{G}\) equals \(\Im _{T_{x}\operatorname{L}}\), which coincides with \(\Im _{\operatorname{L}}=\operatorname{G}\).
Another implication of the cluster equation is
Thus the intensity of G is given by
Finally, we evaluate for later use the variance \(V_{\operatorname{G}}(\zeta _{K})\): Set
The variance \(V_{\operatorname{G}}(\zeta _{K})=\nu ^{2}_{\operatorname{G}}(K \times K)-\nu ^{1}_{\operatorname{G}}(K)^{2}\) of the particle number \(\zeta _{K}\) in the region \(K\in \mathcal{B}_{0}(E)\) with respect to the limiting Gibbs process G is given by Lemma 2.
Lemma 2
Proof
Again using the cluster equation for L, we obtain
The right-hand side is a sum of two terms. The first is given by \(\nu ^{1}_{\operatorname{G}}(K)\nu ^{1}_{\operatorname{L}}(K)=\nu ^{1}_{ \operatorname{G}}(K)^{2}\), whereas the second, which will give the right-hand side of (8), equals
Partial integration then yields the assertion. □
4 A lemma of Dobrushin
Let \((B_{n})_{n}\) be some regular sequence of bounded Borel sets in E; take for example an increasing sequence of balls of radius N centered in 0 where \(N\uparrow \infty \). Consider the sequence \(S_{n}=\zeta _{B_{n}}\) of counting variables defined on the probability space given by some simple point process P in E of order two. Thus expectations and variances of the variables, i.e.,
are well defined and finite. Assume that all limiting variances are strictly positive. The central limit theorem is valid for the sequence \((\zeta _{B_{n}})_{n}\) if for any real λ,
The main lemma for a proof will be the following. Denote for \(R>0\) the centered closed ball in the complex plane \(\mathbb{C}\)
Lemma 3
(Dobrushin [1]) Assume that for some \(R>0\) the Laplace transform of P, defined by
![figure e](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13662-023-03793-1/MediaObjects/13662_2023_3793_Fige_HTML.png)
is finite-valued and does not vanish for all \(a\in \mathcal{ O}_{R}\). Assume also that \(\Psi _{n}\) is continuous in \(\mathcal{ O}_{R}\) and analytic in its interior, and furthermore that there exists some constant \(K>0\) such that
![figure f](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13662-023-03793-1/MediaObjects/13662_2023_3793_Figf_HTML.png)
Here \(\Arrowvert \Psi _{n}\Arrowvert (a)=\operatorname{G}(| \operatorname{e}^{a\zeta _{B_{n}}}|)\). Assume finally that there exists a constant \(\operatorname{d}>0\) such that the variances satisfy the condition
![figure g](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13662-023-03793-1/MediaObjects/13662_2023_3793_Figg_HTML.png)
Both \((\wp 2)\) and \((\wp 3)\) are valid for sufficiently large n. Then the central limit theorem is valid for the random variables \(\zeta _{B_{n}}\).
A proof can be found in [1] and is not repeated here.
5 Proof of the central limit theorem
We verify the assumptions of Dobrushin’s lemma for the counting variables of the limiting Gibbs process G.
ad \((\wp 1)\)
Lemma 4
For every \(\mu \in \mathcal{ M}^{\cdot }\) and \(B\in \mathcal{B}_{0}(E)\),
(Note that the series on the right-hand side is a finite sum because \(\mu (B)\) is finite.)
Proof
Indeed, given \(\mu \in \mathcal{ M}^{\cdot }\) with \(\mu =\sum_{j}\varepsilon _{x_{j}}\) and \(B\in \mathcal{B}_{0}(E)\) with \(\ell =\mu (B)\),
□
The next result uses the Gibbsian character of G for \((\phi,\varrho )\).
Proposition 1
Under assumptions (A1) and (A2),
Proof
We show that the right-hand side of (10) converges absolutely almost surely with respect to G: Let \(a\in \mathcal{ O}_{\ln 2}\) and thereby \(|\operatorname{e}^{a}-1| \leq 1\). Iterating equation \((\Sigma _{\varrho })\) implies
Here we also used Ruelle’s estimate (5). □
This shows that the function \(\Psi _{B}\) is finite-valued in \(\mathcal{ O}_{\ln 2}\). Moreover, it does not vanish for all \(a\in \mathcal{ O}_{\ln 2}\) since \(\Psi _{B}(-\alpha )> 0\) for all \(\alpha \geq 0\). Furthermore, \(\Psi _{B}\) is continuous in the closed ball \(\mathcal{ O}_{\ln 2}\) and analytic in its interior. Finally,
ad \((\wp 2)\)
We know from Lemma 1 that
Assume now that
This condition is due to Malyshev and Minlos in an equivalent form (cf. [8], Chap. 3, Theorem 2).
Lemma 5
Under assumption (12),
It follows that the left-hand side of (13), considered as a function of a, is continuous in \(\mathcal{ O}_{\ln 2}\) and analytic in its interior. The proof of the lemma is the same as for Proposition 1 if G is replaced with L.
Particularly, formula (13) holds for all \(a\in [-\ln 2,\ln 2]\). Thus, using (11), one obtains for all \(a\in \mathcal{ O}_{\ln 2}\)
To obtain \((\wp 2)\), we estimate the right-hand side by means of the following basic result due to Ruelle (Cf. [19], estimate (4.37) of Theorem 4.4.8). Let \(r^{n}_{|\operatorname{L}|} \) denote the Radon–Nikodym derivative of \(\widetilde{\nu}^{n}_{|\operatorname{L}|}\) with respect to \(\varrho ^{n}\), which is given by partial integration by
It is worth to note that the result of Ruelle was given for the Radon–Nikodym derivative of \(\widetilde{\nu}^{n}_{|\operatorname{L}|}\) with respect to \(\lambda ^{n}\) and for this reason he had an additional factor \(z^{n}\) in the front of integral (15).
Lemma 6
Under (A1) and (A2) (which imply Ruelle’s assumptions on the underlying potential), the following estimate holds true uniformly in x:
The lemma implies
where \(\chi =z\operatorname{e}^{\operatorname{c}+1}C_{\phi}\). It follows for all z satisfying \(\chi <\frac{1}{2 }\) that
which shows assumption (12) and thereby assertion \((\wp 2)\).
ad \((\wp 3)\)
Note first that the limiting variance is given by
Indeed, we know from Lemma 2 that
Translation-invariance of the potential implies for the second term on the right-hand side
And since the \(B_{r}\) are chosen in a regular way, we obtain
This implies assertion (17) in view of definitions (7) and (8).
It remains to show that \(\sigma ^{2}\) is strictly positive. This follows from representation (17) by means of Ueltschi’s tree graph bound (cf. [20]), which is valid under c-stability:
Indeed, estimating the second term on the right-hand side of
we obtain from (18)
In view of equation (19) it follows that the specific variance \(\sigma ^{2}\) is strictly positive if z satisfies
To summarize, we obtained the following central limit theorem.
Theorem 1
Let Φ be a pair potential in E, which is weakly ℘-stable for some constant \(\operatorname{c}\geq 0\) and satisfies the strengthened modified regularity condition
Then, along some regular sequence \((B_{r})_{r}\) in E, the sequence of particle numbers \((\zeta _{B_{r}})_{r}\) satisfies the central limit theorem for the underlying Gibbs process given by the limiting Gibbs process G with empty boundary conditions.
Note that in view of inequalities (4) condition (21) implies condition (20) as well as condition \(\chi <\frac{1}{2}\), which is needed to obtain \((\wp 2)\).
5.1 Historical remark
The method of cluster expansions originated in the 1930s in statistical mechanics with the aim to study classical gases. It was made rigorous by mathematical physicists in the 1960s, in particular by Jean Ginibre in his pioneering work [2], where he develops the method for quantum gases.
Availability of data and materials
Not applicable.
Notes
For a classical gas, X will be the Euclidean space \(E=\mathbb{R}^{d}\).
In the sequel we call them processes.
Note that the Campbell measure, which was defined above for processes only, makes also sense for L.
Throughout processes are assumed to be of first order without further mentioning.
References
Dobrushin, R.L.: Perturbation methods of the theory of Gibbsian fields. In: Bernard, P. (ed.) Lectures on Probability Theory and Statistics. LNM, vol. 1648. Springer, Berlin (1996)
Ginibre, J.: Reduced density matrices of quantum gases I. Limit of infinite volume. J. Math. Phys. 6, 238–251 (1965). II. Cluster property. J. Math. Phys. 6, 252–262 (1965), III. Hard-core potentials. J. Math. Phys. 6, 1432–1446 (1965)
Halfina, A.M.: The limiting equivalence of the canonical and grand canonical ensembles (low density case). Math. USSR, Sb. 9, Article ID 1 (1969)
Heinrich, L.: Mixing properties of Gibbsian point processes and asymptotic normality of Takacs–Fiksel estimates, Preprint 92-051, Universität Bielefeld (1992)
Heinrich, L.: On the strong Brillinger-mixing property of α-determinantal point processes and some applications. Appl. Math. 61, 443–461 (2016)
Jensen, J.L., Künsch, H.R.: On asymptotic normality of pseudo likelihood estimates for pairwise interacting processes. Ann. Inst. Statist. Math. 46, 475–486 (1994)
Malyshev, V.A.: The central limit theorem for Gibbsian random fields. Sov. Math., Dokl. 16(5), 1141–1145 (1975)
Malyshev, V.A., Minlos, R.A.: Gibbs Random Fields,. Cluster Expansions. Mathematics and Its Applications (Soviet Series), vol. 44. Kluwer Academic, Dordrecht (1991)
Martin-Löf, A.: Mixing properties, differentiablity of the free energy and the central limit theorem for a pure phase in the Ising model at low temperature. Comm. Math. Phys. 32, 75–92 (1973)
Mecke, J.: Stationäre Maße auf lokalkompakten Abelschen Gruppen. Z. Wahrsch. Verw. Gebiete 9, 36–58 (1967)
Mecke, J.: Random Measures–Classical Lectures. Walter Warmuth Verlag, Nächst Neuendorf (2011)
Minlos, R.A., Halfina, A.M.: Two-dimensional limit theorem for the particle number and energy in the grand canonical ensemble. Math. USSR, Izv. 4, Article ID 5 (1970)
Nehring, B.: Construction of Classical and Quantum Gases. The Method of Cluster Expansions. Walter Warmuth Verlag, Nächst Neuendorf (2013)
Nehring, B.: Construction of point processes for classical and quantum gases. J. Math. Phys. 54, 053304 (2013)
Nguyen, X.X., Zessin, H.: Integral and differential characterizations of the Gibbs process. Math. Nachr. 88, 105–115 (1979)
Poghosyan, S., Ueltschi, D.: Abstract cluster expansion with applications to statistical mechanical systems. J. Math. Phys. 50, 053509 (2009)
Poghosyan, S., Zessin, H.: Cluster representations of classical and quantum processes. Mosc. Math. J. 19(1), 1–19 (2019)
Poghosyan, S., Zessin, H.: Penrose-Stable Interactions in Classical Statistical Mechanics. Annales Henri Poincaré., vol. 23. Springer, Cham (2022)
Ruelle, D.: Statistical Mechanics, Rigorous Results, 3rd edn. Imperial College Press and World Scientific Publishing (1999)
Ueltschi, D.: An improved tree-graph bound. arXiv:1705.05353v1 [math-phys] (15 May 2017)
Acknowledgements
S.P. was supported by the Science Committee of the Republic of Armenia in the frames of the research project 21AG-1A045.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Dedicated to Jean Ginibre whose work has been our constant source of inspiration
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zessin, H., Poghosyan, S. A central limit theorem for a classical gas. Adv Cont Discr Mod 2023, 47 (2023). https://doi.org/10.1186/s13662-023-03793-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-023-03793-1