[Paper Review] Shearer's point process and the hard-sphere model in one dimension

Christoph Hofer-Temmel|arXiv (Cornell University)|Apr 10, 2015

Stochastic processes and statistical mechanics16 references3 citations

TL;DR

This paper provides explicit analytical expressions for the free energy and correlation functions of the one-dimensional hard-sphere model (Tonks gas) at negative real fugacity, using four distinct methods: scaling from the discrete case, inductive partition function recursion, exact cluster expansion via tree operators, and construction of Shearer’s point process. The key result is that the free energy is right-continuous at the smallest non-physical singularity, but its derivative diverges there, with the singularity located at fugacity $ z = -1/e $, linked to the Lambert W function.

ABSTRACT

We revisit the smallest non-physical singularity of the hard-sphere model in one dimension, also known as Tonks gas. We give an explicit expression of the free energy and reduced correlations at negative real fugacity and elaborate the nature of the singularity: the free energy is right-continuous, but its derivative diverges. We derive these results in several novel ways: First, by scaling up the discrete solution. Second, by an inductive argument on the partition function à la Dobrushin. Third, by a perfect cluster expansion counting the Penrose trees in the Mayer expansion perfectly. Fourth, by an explicit construction of Shearer's point process, the unique R-dependent point process with an R-hard-core. The last connection yields explicit and optimal lower bounds on the avoidance function of R-dependent point processes on the real line.

Motivation & Objective

• To provide explicit, closed-form expressions for the free energy and reduced correlations of the one-dimensional hard-sphere model at negative real fugacity.
• To clarify the nature of the smallest non-physical singularity in the hard-sphere model, particularly the behavior of the free energy and its derivative at this point.
• To unify and extend multiple analytical approaches—scaling, induction, cluster expansion, and point process construction—for the 1D hard-sphere model.
• To establish explicit and optimal lower bounds on the avoidance function of $ R $-dependent point processes on the real line via Shearer’s point process.
• To provide tools for analyzing dependent continuous Boolean percolation models using the continuous case results derived here.

Proposed method

• Scaling the discrete one-dimensional hard-sphere model with hard-core radius $ k $ to recover the continuous $ R=1 $ hard-sphere model, yielding the Lambert W function in the limit.
• Applying an inductive approach à la Dobrushin to the discrete partition function, which yields the full solution without requiring cluster expansion.
• Developing a tree-operator-based cluster expansion for the continuous model using a one-sided partition scheme of Penrose trees, enabling exact computation of Ursell coefficients.
• Constructing Shearer’s point process as a one-sided Matérn-type deletion process on $ \mathbb{R} $, which is the unique one-dependent $ R $-hard-core point process.
• Using the duality between the partition function of the $ R $-hard-sphere model and the avoidance function of Shearer’s point process to derive bounds and exact expressions.
• Employing the Lambert W function to express the critical fugacity and free energy in the continuous limit, with $ z_c = -1/e $ marking the singularity.

Experimental results

Research questions

• RQ1 What is the exact form of the free energy and correlation functions of the one-dimensional hard-sphere model at negative real fugacity?
• RQ2 How does the free energy behave at the smallest non-physical singularity—specifically, is it continuous, and what is the behavior of its derivative?
• RQ3 Can the singularity location and associated critical behavior be derived via multiple independent methods, including scaling, induction, cluster expansion, and point process construction?
• RQ4 What is the connection between the partition function of the $ R $-hard-sphere model and the avoidance function of Shearer’s point process on the real line?
• RQ5 What are the optimal lower bounds on the avoidance function of $ R $-dependent point processes on $ \mathbb{R} $, and how are they derived from the model's structure?

Key findings

• The free energy is right-continuous at the smallest non-physical singularity, located at fugacity $ z = -1/e $, but its derivative diverges there.
• The critical fugacity $ z_c = -1/e $ corresponds to the radius of convergence of the cluster expansion and is linked to the Lambert W function.
• The free energy expression converges as the fugacity approaches $ -1/e $ from above, but its derivative diverges, indicating a non-analytic singularity.
• Shearer’s point process is explicitly constructed as a one-sided Matérn-type deletion process on $ \mathbb{R} $, yielding optimal lower bounds on the avoidance function of $ R $-dependent point processes.
• The cluster expansion approach using tree operators achieves exact expressions for Ursell coefficients in one dimension, overcoming limitations of prior methods.
• The inductive method à la Dobrushin provides a complete solution to the discrete model without relying on cluster expansion, offering a direct route to the partition function and its properties.