Hubbry Logo
Cluster expansionCluster expansionMain
Open search
Cluster expansion
Community hub
Cluster expansion
logo
7 pages, 0 posts
0 subscribers
Be the first to start a discussion here.
Be the first to start a discussion here.
Cluster expansion
Cluster expansion
from Wikipedia

In statistical mechanics, the cluster expansion (also called the high temperature expansion or hopping expansion) is a power series expansion of the partition function of a statistical field theory around a model that is a union of non-interacting 0-dimensional field theories. Unlike the usual perturbation expansion which usually leads to a divergent asymptotic series, the cluster expansion may converge within a non-trivial region, in particular when the interaction is small and short-ranged.

The cluster expansion coefficients are calculated by intricate combinatorial counting. See [1] for a tutorial review.

Classical case

[edit]

General theory

[edit]

In statistical mechanics, the properties of a system of noninteracting particles are described using the partition function. For N non-interacting particles, the system is described by the Hamiltonian and the partition function can be calculated (for the classical case) as From the partition function, one can calculate the Helmholtz free energy and, from that, all the thermodynamic properties of the system, like the entropy, the internal energy, the chemical potential, etc.

When the particles of the system interact, an exact calculation of the partition function is usually not possible. For low density, the interactions can be approximated with a sum of two-particle potentials: For this interaction potential, the partition function can be written as

and the free energy is where Q is the configuration integral:

Calculation of the configuration integral

[edit]

The configuration integral cannot be calculated analytically for a general pair potential . One way to calculate the potential approximately is to use the Mayer cluster expansion. This expansion is based on the observation that the exponential in the equation for can be written as a product of the form . Next, define the Mayer function by . After substitution, the equation for the configuration integral becomes:

The calculation of the product in the above equation leads into a series of terms; the first is equal to one, the second term is equal to the sum over i and j of the terms , and the process continues until all the higher order terms are calculated.

Each term must appear only once. With this expansion it is possible to find terms of different order, in terms of the number of particles that are involved. The first term is the non-interaction term (corresponding to no interactions amongst particles), the second term corresponds to the two-particle interactions, the third to the two-particle interactions amongst 4 (not necessarily distinct) particles, and so on. This physical interpretation is the reason this expansion is called the cluster expansion: the sum can be rearranged so that each term represents the interactions within clusters of a certain number of particles.

Substituting the expansion of the product back into the expression for the configuration integral results in a series expansion for :

Substituting in the equation for the free energy, it is possible to derive the equation of state for the system of interacting particles. The equation will have the form which is known as the virial equation, and the components are the virial coefficients. Each of the virial coefficients corresponds to one term from the cluster expansion ( is the two-particle interaction term, is the three-particle interaction term and so on). Keeping only the two-particle interaction term, it can be shown that the cluster expansion, with some approximations, gives the Van der Waals equation.

This can be applied further to mixtures of gases and liquid solutions.

References

[edit]
Revisions and contributorsEdit on WikipediaRead on Wikipedia
from Grokipedia
Cluster expansion is a fundamental mathematical technique in used to express the logarithm of the partition function as a convergent in terms of cluster or polymer interactions, enabling the rigorous computation of thermodynamic quantities such as , free energy, and correlation functions under conditions like high , low , or strong external fields. Developed initially for analyzing the of ideal and interacting gases, it reorganizes microscopic interactions into graphical representations like Mayer graphs or tree structures, bridging microscopic models to macroscopic behavior while ensuring analyticity in relevant parameter regimes. The method originated in the 1930s with Joseph E. Mayer's work on the for classical gases, where the is expanded as a series in the activity λ, with coefficients derived from connected cluster integrals: βp(β, λ) = ∑_{n=1}^∞ C_n(β) λ^n / n!. Rigorous proofs of convergence were established in the by Penrose and , who introduced bounds such as the Penrose-Ruelle inequality |C_n(β)| ≤ e^{2βB} (n-2) n^{n-2} [C(β)]^{n-1} / n!, guaranteeing for sufficiently small |λ| < 1 / [e^{2βB+1} C(β)], where B is the stability constant and C(β) integrates the Mayer f-function |e^{-βV(x)} - 1|. Subsequent advancements, including the polymer gas representation by Gruber and Kunz in 1970 and inductive convergence criteria by Kotecký and Preiss in 1986, extended the technique to lattice spin systems and more general interactions, with modern variants incorporating tree-graph identities and Kirkwood-Salsburg equations for improved efficiency. In practice, cluster expansions represent the system as a "gas" of polymers—irreducible geometric configurations with associated weights w(γ) encoding interactions—where the free energy emerges from the logarithm of a grand canonical partition function over compatible polymer collections, converging via conditions like ∑_{γ ≁ γ*} |w(γ)| e^{a|γ|} ≤ a - 1 for some a > 0. For spin systems like the Ising model, high-temperature expansions yield the pressure as an absolutely convergent series when βJ ≤ 0.151 on the square lattice, while low-temperature expansions apply near zero temperature. These expansions are particularly powerful for proving the existence of the thermodynamic limit, identifying phase transitions through non-analyticities in the series, and computing critical exponents in models such as hard-sphere gases (with convergence radius R_V ≥ 0.5107 in 2D) and Potts models. Beyond classical , cluster expansions have been adapted to via Glimm-Jaffe-Spencer methods from constructive and find applications in for alloy , where effective cluster interactions are fitted to energies. Recent developments emphasize abstract frameworks for tempered and stable potentials, ensuring applicability to disordered systems and long-range interactions, with convergence radii often bounded by of Ursell functions.

Fundamentals

Definition and motivation

In statistical mechanics, the cluster expansion provides a perturbative approach to approximate thermodynamic properties of interacting particle systems by expressing the pressure as a power series in the fugacity, also known as the activity z=eβμ/λ3z = e^{\beta \mu}/\lambda^3, where β=1/kT\beta = 1/kT, μ\mu is the chemical potential, kk is Boltzmann's constant, TT is temperature, and λ\lambda is the thermal wavelength. This method, originally developed by Mayer and Montroll, decomposes the contributions from particle interactions into sums over "clusters" of particles, facilitating the computation of quantities like pressure and density in the grand canonical ensemble. The primary motivation for cluster expansions arises from the difficulty in exactly evaluating the partition function for systems with non-trivial interactions, such as pairwise potentials between particles, where direct summation over all configurations becomes intractable for large numbers of particles NN or volumes VV. By recasting the grand partition function Ξ\Xi in terms of irreducible cluster integrals, the expansion addresses these challenges, particularly for dilute gases or low-density regimes, enabling systematic approximations that reveal how interactions deviate from ideal gas behavior. This perturbative framework is especially valuable for deriving virial expansions of the equation of state, where higher-order terms capture many-body effects. Consider a classical of NN in a VV subject to pairwise interactions, analyzed in the grand canonical ensemble, which allows fluctuations in particle number. The grand partition function is Ξ=N=0zNN!dqNexp(βU(qN))\Xi = \sum_{N=0}^\infty \frac{z^N}{N!} \int d\mathbf{q}^N \exp\left(-\beta U(\mathbf{q}^N)\right), where UU is the total and the integral is over configuration space. The grand potential is then defined as Φ=kTlogΞ\Phi = -kT \log \Xi, which relates to the via pV=kTlogΞ=ΦpV = kT \log \Xi = -\Phi. The cluster expansion yields the key relation βp=l=1blzl\beta p = \sum_{l=1}^\infty b_l z^l, where the coefficients blb_l are the cluster coefficients, each expressed as an integral over connected clusters of ll particles that encode the interaction effects (from which the virial coefficients in the density expansion can be derived). These coefficients blb_l are volume-independent in the and provide a systematic way to compute thermodynamic observables order by order in zz.

Historical background

The cluster expansion technique was first introduced by Joseph E. Mayer in 1937 through his derivation of the equation of state for a gas using cluster integrals, providing a systematic way to compute virial coefficients for non-ideal gases. This work was expanded in the 1940 monograph co-authored with , where the method was fully developed as a perturbation series for the partition function of interacting particle systems, emphasizing its application to real gases beyond the approximation. In the early , further contributions built on Mayer's framework by connecting the cluster integrals to f-functions—defined as fij=eβu(rij)1f_{ij} = e^{-\beta u(r_{ij})} - 1, where uu is the pair potential and β=1/kT\beta = 1/kT—which facilitated approximations in solving the Boltzmann transport equation for dilute gases with interactions. These developments, detailed in Mayer's subsequent papers and the 1940 book, established the cluster expansion as a tool for handling irreducible diagrams representing correlated particle configurations, laying the groundwork for its broader use in equilibrium . During the 1950s and 1960s, George E. Uhlenbeck and collaborators formalized the cluster expansion within , refining its application to both classical and quantum systems and highlighting its diagrammatic representation. A key advancement was the explicit linkage to through Ursell functions, which express connected correlations as sums over labeled graphs, providing a combinatorial interpretation that simplified computations of higher-order terms. This period saw the method gain prominence for analyzing lattice models and fluids, with Uhlenbeck's lectures emphasizing its role in deriving thermodynamic properties from microscopic interactions. Rigorous mathematical foundations were established in the 1960s, particularly through the work of David Ruelle and , who proved convergence of the cluster expansion for classical systems under suitable conditions on the interaction potentials. Ruelle's 1963 analysis provided the first rigorous convergence theorem for short-range potentials, establishing analyticity of the in the for low densities and bounded interactions. Penrose extended these results to repulsive potentials, confirming in the and enabling reliable predictions for phase transitions in continuous systems. These proofs solidified the cluster expansion as a cornerstone of rigorous , distinguishing it from earlier formal series expansions.

Classical formulation

General theory

The classical cluster expansion provides a formal power series representation for thermodynamic quantities in systems of interacting particles, such as real gases, derived from the . The logarithm of the grand partition function Ξ\Xi for a classical system of particles with pairwise interactions is expressed as logΞ=l=1zll!bl(r1,,rl)dr1drl,\log \Xi = \sum_{l=1}^\infty \frac{z^l}{l!} \int b_l(\mathbf{r}_1, \dots, \mathbf{r}_l) \, d\mathbf{r}_1 \cdots d\mathbf{r}_l, where z=eβμ/Λdz = e^{\beta \mu}/\Lambda^d is the (μ\mu the , Λ\Lambda the thermal wavelength, dd the spatial dimension, β=1/kT\beta = 1/kT), and blb_l are the cluster coefficients that encode the irreducible contributions from ll-particle configurations. This expansion, known as the Ursell-Mayer expansion, arises from decomposing the full partition function into sums over connected graphs, where each cluster coefficient blb_l corresponds to the sum over all connected, irreducible diagrams representing the interactions among ll particles. The Ursell functions, introduced earlier for the , provide the connected correlations, while Mayer's formulation extends this to the grand canonical setting by incorporating the and focusing on irreducible clusters to ensure convergence for low densities. Central to the theory are the correlation functions: the total correlation function h(r)=g(r)1h(\mathbf{r}) = g(\mathbf{r}) - 1, where g(r)g(\mathbf{r}) is the , and the c(r)c(\mathbf{r}), which captures irreducible direct interactions. These are related through the Ornstein-Zernike , h(r)=c(r)+ρc(r)h(rr)dr,h(\mathbf{r}) = c(\mathbf{r}) + \rho \int c(\mathbf{r}') h(|\mathbf{r} - \mathbf{r}'|) \, d\mathbf{r}', where ρ\rho is the and the integral denotes ; this equation decomposes correlations into direct and indirect (chain-like) contributions, with the cluster expansion providing the diagrammatic basis for approximating c(r)c(\mathbf{r}). The pressure PP is directly obtained from the expansion as PkT=l=1blzl,\frac{P}{kT} = \sum_{l=1}^\infty b_l z^l, with the lowest-order coefficients given by b1=1b_1 = 1 and b2=12f(r)drb_2 = -\frac{1}{2}\int f(\mathbf{r}) \, d\mathbf{r}, where f(r)=eβu(r)1f(\mathbf{r}) = e^{-\beta u(\mathbf{r})} - 1 is the Mayer ff-function, representing the deviation from ideal-gas behavior due to the pairwise potential u(r)u(\mathbf{r}). Higher-order blb_l involve integrals over products of ff-functions summed over connected graphs.

Cluster integrals and diagrams

In the classical formulation of cluster expansions, Mayer cluster diagrams provide a graphical representation of the integrals arising in the expansion of the configuration integral. These diagrams consist of graphs where vertices correspond to particles, and bonds represent the Mayer f-functions, defined as f(rirj)=eβu(rirj)1f(\mathbf{r}_i - \mathbf{r}_j) = e^{-\beta u(\mathbf{r}_i - \mathbf{r}_j)} - 1, with uu denoting the pairwise interaction potential and β=1/(kT)\beta = 1/(kT). The graphs can be labeled, where vertices are distinguished by particle indices, or unlabeled, focusing on topological structure to account for symmetries. This graphical approach facilitates the systematic enumeration of contributions to the partition function by summing over all possible bond configurations. The cluster integral blb_l for ll particles is given by bl=1l!bonds (ij)f(rirj)dr1drl,b_l = \frac{1}{l!} \sum \int \prod_{\text{bonds } (ij)} f(\mathbf{r}_i - \mathbf{r}_j) \, d\mathbf{r}_1 \cdots d\mathbf{r}_l, where the sum is over all connected unlabeled graphs with ll vertices, ensuring the integral captures only irreducible contributions from interacting clusters. Connected graphs are those that cannot be partitioned into disjoint subsets without breaking bonds, distinguishing irreducible (fully connected) clusters from reducible ones, which may factor into separate components. Rooted clusters designate one vertex as a reference point, useful for certain expansions, while unrooted clusters treat all vertices equivalently. For l=2l=2, the integral simplifies to b2=12f(r)drb_2 = -\frac{1}{2} \int f(\mathbf{r}) \, d\mathbf{r}, corresponding to a single bond diagram. For higher ll, such as l=3l=3, it includes all connected topologies like chains and triangles, summing their weighted integrals. These cluster integrals directly relate to the virial coefficients in the expansion of the , where the ll-th virial coefficient satisfies Bl=(l1)blB_l = -(l-1) b_l. This connection arises from the combinatorial structure of the diagrams, linking the grand canonical cluster expansion to the virial series for the equation of state. The negative sign reflects the typical behavior of ff-functions for repulsive potentials, ensuring physical consistency in low-density limits.

Configuration integral computation

The configuration integrals in classical cluster expansions, particularly the Mayer cluster integrals blb_l, are evaluated using direct analytical methods for low orders when the interparticle potential is spherical. For the second-order integral b2b_2, which corresponds to the second virial coefficient, the computation reduces to a one-dimensional over the radial Mayer function f(r)=eβu(r)1f(r) = e^{-\beta u(r)} - 1, where u(r)u(r) is the pairwise potential and β=1/kT\beta = 1/kT; this yields b2=12Vf12dr1dr2b_2 = -\frac{1}{2V} \int f_{12} \, d\mathbf{r}_1 d\mathbf{r}_2, analytically solvable for potentials like Lennard-Jones or . For the third-order b3b_3, the expression involves a threefold that can be simplified using spherical and symmetry reductions, allowing analytical evaluation for simple potentials, though it requires more computational effort than b2b_2. For higher-order integrals where direct integration becomes infeasible due to increasing complexity, methods such as Mayer sampling are employed. This technique uses and to efficiently sample configurations weighted by the product of Mayer functions, enabling accurate computation of blb_l up to order 10 or higher by avoiding uniform sampling in high-dimensional spaces. These methods bridge the gap between analytical tractability and numerical precision, particularly for realistic potentials. To extend the utility of the finite series of computed cluster integrals beyond perturbation theory, resummation techniques like Padé approximants are applied to the virial expansion. These rational approximations interpolate between low- and high-density regimes, improving convergence and providing reliable equations of state from limited blb_l values, as demonstrated in analyses of simple fluid expansions. A notable example is the computation of cluster integrals for hard-sphere systems, where exact low-order values are known, but higher blb_l are approximated using scaled particle theory (SPT). SPT derives an equation of state by considering the work to insert a scaled hard sphere, reproducing exact b2b_2 and b3b_3 while providing estimates for higher orders that align well with numerical results up to moderate densities. Despite these advances, numerical challenges persist for high-order integrals, primarily due to the in dimensionality—the ll-body spans 3l3l dimensions minus symmetries—leading to a computational cost that scales factorially with ll. This limits practical computations to l10l \leq 10 for general potentials, restricting accurate virial expansions to low densities where higher terms are negligible.

Extensions and variants

High-temperature expansions

High-temperature expansions adapt cluster expansion techniques to discrete lattice models, such as the , by expressing the partition function as a in the inverse β for small β (high temperatures). This method facilitates the computation of thermodynamic properties like the free energy, specific heat, and susceptibility through sums over lattice clusters or graphs, providing insights into phase transitions and critical behavior. Unlike continuous-space virial expansions, these series focus on bond and site configurations on lattices, using variables that capture short-range correlations at high temperatures. The formulation begins with the partition function for an Ising-like model with Hamiltonian H = -∑{} J{ij} σ_i σ_j (no external field), where σ_i = ±1 are spins on lattice sites. Each interaction term expands as exp(β J_{ij} σ_i σ_j) = cosh(β J_{ij}) [1 + σ_i σ_j tanh(β J_{ij})]. Thus, Z = ∑{σ} ∏{} cosh(β J_{ij}) [1 + σ_i σ_j v_{ij}], with v_{ij} = tanh(β J_{ij}) serving as the high-temperature bond variable for edge expansions. Expanding the product yields a sum over subgraphs G of the lattice, where each term corresponds to selecting bonds for the v_{ij} factors; the spin sum contributes 2^N only for subgraphs where every vertex has even degree (closed loops or clusters), and zero otherwise. The resulting expression is Z = 2^N ∏{} cosh(β J{ij}) ∑{G \in \mathcal{E}} ∏{(i,j) \in G} v_{ij}, where \mathcal{E} is the set of even-degree subgraphs. For uniform J, this simplifies to Z = 2^N [cosh(β J)]^{b} ∑_{G \in \mathcal{E}} [tanh(β J)]^{|E(G)|}, with b the number of bonds. To obtain the free energy, the logarithm is taken, leading to a linked-cluster expansion that isolates connected contributions: \frac{1}{N} \log Z = \log 2 + \frac{b}{N} \log \cosh(\beta J) + \sum_{k=1}^\infty u_k [\tanh(\beta J)]^k, where the coefficients u_k are high-temperature cluster sums over connected even subgraphs (irreducible clusters) of k bonds, weighted by their lattice embeddings and symmetry factors. For general small β, an equivalent series is \frac{1}{N} \log Z = \sum_{k=0}^\infty u_k \beta^k, with u_k the high-T cluster sums incorporating powers of J. These u_k are computed via linked-cluster theorems, ensuring only connected diagrams contribute to the logarithm, analogous to diagrammatic expansions in field theory. Series coefficients are generated using recursive algorithms that enumerate and weight clusters up to high orders, often exceeding 20; for example, computations reach 25th order on body-centered cubic lattices. techniques supplement for low-dimensional cases, but recursive methods dominate for higher dimensions due to their efficiency in handling graph symmetries. High-temperature series were first developed by van der Waerden in for the partition function via even-subgraph sums, but cluster methods were formalized in the 1950s by Domb and Sykes for extracting from the series, with Fisher extending them in the to link Ising correlations to self-avoiding walks and precise exponent estimates.

Quantum cluster expansions

Quantum cluster expansions extend the classical cluster formalism to , accounting for the wave nature of particles and quantum statistics. Developed by Kahn and Uhlenbeck in for imperfect quantum gases, this approach derives an expansion for the partition function that parallels the Mayer expansion but incorporates quantum effects through symmetrized wave functions. The method applies equally to bosons and fermions, enabling the study of phenomena like Bose-Einstein condensation in dilute gases. In the quantum case, the grand partition function Ξ\Xi is given by the trace over the Fock space: Ξ=Tr[exp(β(HμN))],\Xi = \mathrm{Tr} \left[ \exp\left( -\beta (H - \mu N) \right) \right], where HH is the many-body Hamiltonian, μ\mu the , NN the particle number operator, and β=1/(kT)\beta = 1/(kT). This trace can be expanded using symmetrized basis states, such as Slater determinants for fermions or permanent determinants for bosons, leading to cluster integrals that capture irreducible contributions from groups of particles. Alternatively, path integral representations facilitate the expansion by integrating over closed particle trajectories, which naturally incorporate quantum statistics. A primary distinction from classical cluster expansions lies in the inclusion of exchange effects arising from the indistinguishability of particles, enforced by symmetrization or antisymmetrization of the wave functions. For identical fermions, the introduces negative contributions from exchange terms, while for bosons, positive reinforcements occur, altering the convergence and structure of the series compared to the classical Boltzmann . These quantum corrections are essential for low-temperature or high-density regimes where de Broglie wavelengths overlap. Semiclassical approximations, such as the Wigner-Kirkwood expansion, provide systematic corrections to the classical cluster integrals by perturbing in powers of \hbar. Introduced by Wigner in 1932 and extended by Kirkwood in 1935, this method expands the quantum phase-space distribution in \hbar, yielding the quantum cluster coefficient blQb_l^Q as: blQ=blC+2cl+O(4),b_l^Q = b_l^C + \hbar^2 \, c_l + O(\hbar^4), where blCb_l^C is the classical cluster integral, and the leading 2\hbar^2 correction clc_l involves kinetic energy operators, such as Laplacians acting on the potential, averaged over classical configurations. Higher-order terms account for anharmonicity and non-perturbative effects but typically diverge beyond a few orders. This expansion is particularly useful for weakly quantum systems, bridging classical and full quantum treatments. Applications of quantum cluster expansions are prominent in dilute Bose and Fermi gases, where they quantify finite-size effects and virial coefficients beyond mean-field approximations, as demonstrated in trapped ultracold atomic systems.

Applications

Lattice gas and Ising models

The lattice gas model, which models hard-core particles on a discrete lattice with nearest-neighbor interactions and no double occupancy, is formally equivalent to the through a between occupation variables and spin variables. Specifically, the occupation number ni=0n_i = 0 or 11 at site ii maps to the spin σi=±1\sigma_i = \pm 1 via σi=12ni\sigma_i = 1 - 2 n_i, transforming the grand canonical partition function of the lattice gas into the partition function of the in a field analogous to a . This equivalence, first highlighted in studies of phase transitions, implies that fluid-like density fluctuations in the lattice gas correspond directly to magnetic ordering in the , enabling shared analytical tools for both systems. Cluster expansions applied to these models yield perturbative series for observables like the magnetization m=σim = \langle \sigma_i \rangle in the Ising formulation or the density in the lattice gas. For the Ising model in a uniform magnetic field hh, the high-temperature cluster expansion expresses the magnetization as m=tanh(βh)+m = \tanh(\beta h) + contributions from higher-order spin clusters, where β=1/(kBT)\beta = 1/(k_B T) and the cluster terms account for interaction graphs connecting multiple sites. These expansions, derived from diagrammatic representations of the partition function, systematically incorporate the effects of lattice connectivity and interaction strength, providing insights into response functions near equilibrium. High-temperature expansions, a common implementation of this approach, facilitate numerical evaluation of the series up to high orders for lattice-specific computations. In the context of critical phenomena, cluster expansions have proven essential for estimating phase transition points in lattice gas and Ising systems, where spontaneous symmetry breaking signals the onset of ordering. For the two-dimensional square-lattice Ising model without an external field, high-temperature series derived from cluster sums yield a critical temperature Tc2.269J/kBT_c \approx 2.269 J / k_B, where JJ is the coupling constant, aligning closely with Onsager's exact analytic solution Tc=2J/[kBln(1+2)]2.269J/kBT_c = 2 J / [k_B \ln(1 + \sqrt{2})] \approx 2.269 J / k_B
Add your contribution
Related Hubs
User Avatar
No comments yet.