# Correlation decay for hard spheres via Markov chains

@article{Helmuth2022CorrelationDF,
title={Correlation decay for hard spheres via Markov chains},
author={Tyler Helmuth and Will Perkins and Samantha Petti},
journal={ArXiv},
year={2022},
volume={abs/2001.05323}
}
• Published 15 January 2020
• Mathematics
• ArXiv
We improve upon all known lower bounds on the critical fugacity and critical density of the hard sphere model in dimensions two and higher. As the dimension tends to infinity our improvements are by factors of $2$ and $1.7$, respectively. We make these improvements by utilizing techniques from theoretical computer science to show that a certain Markov chain for sampling from the hard sphere model mixes rapidly at low enough fugacities. We then prove an equivalence between optimal spatial and…
9 Citations
A Spectral Independence View on Hard Spheres via Block Dynamics
• Computer Science, Mathematics
ICALP
• 2021
This work proposes a Markov chain Monte Carlo algorithm for approximating the grand-canonical partition function of the hard-sphere model in d dimensions and proves rapid mixing of clique dynamics up to the tree threshold of the univariate hard-core model.
Polymer dynamics via cliques with applications to hard-sphere mixtures
• Computer Science, Mathematics
ArXiv
• 2020
This work establishes a new condition -- the clique dynamics condition -- which is less restrictive than the ones in the literature and defines a discretization that allows the rate of convergence to the continuous model of the multi-component hard-sphere model.
Sparse Hard-Disk Packings and Local Markov Chains
• Computer Science
Journal of Statistical Physics
• 2022
It is proposed that locally stable sparse hard-disk packings, as introduced by Böröczky, as a model for the analysis and benchmarking of Markov-chain Monte Carlo (MCMC) algorithms, escape from configurations that are obtained from the packings by slightly reducing all disk radii by a relaxation parameter.
Algorithms for general hard-constraint point processes via discretization
• Computer Science, Mathematics
ArXiv
• 2021
Key to the method is reducing the continuous model to a discrete instance of the hard-core model with size polynomial in ν (V), which generalizes existing discretization schemes for thehard-sphere model and improves the required number of vertices of the generated graph from super-exponential to quadratic inν ( V), which the authors argue to be tight.
Strong spatial mixing for repulsive point processes
• Mathematics
ArXiv
• 2022
We prove that a Gibbs point process interacting via a finiterange, repulsive potential φ exhibits a strong spatial mixing property for activities λ < e/∆φ, where ∆φ is the potential-weighted
Large-scale dynamics of event-chain Monte Carlo.
• Mathematics
Physical review. E
• 2022
Event-chain Monte Carlo (ECMC) accelerates the sampling of hard-sphere systems, and has been generalized to the potentials used in classical molecular simulations. Rather than imposing detailed
Analyticity for classical gasses via recursion
• Mathematics
• 2020
We give a new criterion for a classical gas with a repulsive pair potential to exhibit uniqueness of the infinite volume Gibbs measure and analyticity of the pressure. Our improvement on the bound
Revisiting Groeneveld’s approach to the virial expansion
A generalized version of Groeneveld's convergence criterion for the virial expansion and generating functionals for weighted $2$-connected graphs is proven. The criterion works for inhomogeneous
Potential-weighted connective constants and uniqueness of Gibbs measures
• Mathematics
• 2021
We define a potential-weighted connective constant that measures the effective strength of a repulsive pair potential of a Gibbs point process modulated by the geometry of the underlying space. We

## References

SHOWING 1-10 OF 49 REFERENCES
Lower Bounds on the Critical Density in the Hard Disk Model via Optimized Metrics
• Computer Science
ArXiv
• 2014
We prove a new lower bound on the critical density $\rho_c$ of the hard disk model, i.e., the density below which it is possible to efficiently sample random configurations of $n$ non-overlapping
Disagreement percolation for the hard-sphere model
Disagreement percolation connects a Gibbs lattice gas and iid site percolation such that non-percolation implies uniqueness of the Gibbs measure. This work generalises disagreement percolation to the
Lower Bound on the Mean Square Displacement of Particles in the Hard Disk Model
The hard disk model is a 2D Gibbsian process of particles interacting via pure hard core repulsion. At high particle density the model is believed to show orientational order, however, it is known
Mixing in time and space for lattice spin systems: A combinatorial view
• Mathematics
RANDOM
• 2002
A sharp equivalence is proved between exponential decay with distance of spin correlations and “super-fast” mixing time of the Glauber dynamics of the Markov chain Monte Carlo algorithm.
The Analyticity Region of the Hard Sphere Gas. Improved Bounds
• Physics
• 2007
Abstract We find an improved estimate of the radius of analyticity of the pressure of the hard-sphere gas in d dimensions. The estimates are determined by the volume of multidimensional regions that
Rapid Mixing of Several Markov Chains for a Hard-Core Model
• Mathematics
ISAAC
• 2003
It is proved that in a d-dimensional system a single-particle global- move Markov chain is rapidly mixing as long as the density is sucien tly low, and in a one- dimensional system asingle-particles local-move Markov chains is rapidlymixing for arbitrary density as longas the local moves are in a suciens small neighborhood of the original particle.
Convergence of Cluster and Virial expansions for Repulsive Classical Gases
• Mathematics
Journal of Statistical Physics
• 2020
We study the convergence of cluster and virial expansions for systems of particles subject to positive two-body interactions. Our results strengthen and generalize existing lower bounds on the radii
Fun with Hard Spheres
Thermostatistical properties of hard sphere and hard disk systems are discussed. In particular we focus on phase transitions such as freezing in the thermodynamic limit. Results based on theory and
Analyticity for classical gasses via recursion
• Mathematics
• 2020
We give a new criterion for a classical gas with a repulsive pair potential to exhibit uniqueness of the infinite volume Gibbs measure and analyticity of the pressure. Our improvement on the bound