Correlation decay for hard spheres via Markov chains

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 temporal mixing for hard spheres, an equivalence that is well-known for a wide class of discrete spin systems.

[1]  Frisch,et al.  Classical hard-sphere fluid in infinitely many dimensions. , 1985, Physical review letters.

[2]  Liming Wu.  Estimate of spectral gap for continuous gas , 2004 .

[3]  Michael W. Mahoney,et al.  Rapid Mixing of Several Markov Chains for a Hard-Core Model , 2003, ISAAC.

[4]  Thomas P. Hayes,et al.  Lower Bounds on the Critical Density in the Hard Disk Model via Optimized Metrics , 2014, ArXiv.

[5]  Béla Bollobás,et al.  Continuum percolation with steps in the square or the disc , 2005, Random Struct. Algorithms.

[6]  H. Löwen.  Fun with Hard Spheres , 2000 .

[7]  J. Berg,et al.  A uniqueness condition for Gibbs measures, with application to the 2-dimensional Ising antiferromagnet , 1993 .

[8]  Werner Krauth,et al.  Two-step melting in two dimensions: first-order liquid-hexatic transition. , 2011, Physical review letters.

[9]  J. Rosenthal,et al.  General state space Markov chains and MCMC algorithms , 2004, math/0404033.

[10]  Dror Weitz,et al.  Counting independent sets up to the tree threshold , 2006, STOC '06.

[11]  N. Metropolis,et al.  Equation of State Calculations by Fast Computing Machines , 1953, Resonance.

[12]  WILL PERKINS,et al.  ON THE HARD SPHERE MODEL AND SPHERE PACKINGS IN HIGH DIMENSIONS , 2019, Forum of Mathematics, Sigma.

[13]  Eric Vigoda,et al.  A Note on the Glauber Dynamics for Sampling Independent Sets , 2001, Electron. J. Comb..

[14]  Mathieu Lewin,et al.  The Crystallization Conjecture: A Review , 2015, 1504.01153.

[15]  Jake Wellens.  A note on partial rejection sampling for the hard disks model in the plane , 2018, ArXiv.

[16]  Filippo Cesi,et al.  The spectral gap for a Glauber-type dynamics in a continuous gas☆ , 2002 .

[17]  Thomas Richthammer.  Lower Bound on the Mean Square Displacement of Particles in the Hard Disk Model , 2015, 1504.08147.

[18]  Matthieu Fradelizi,et al.  On the analogue of the concavity of entropy power in the Brunn-Minkowski theory , 2013, Adv. Appl. Math..

[19]  Martin E. Dyer,et al.  Mixing in time and space for lattice spin systems: A combinatorial view , 2002, RANDOM.

[20]  Persi Diaconis,et al.  Geometric analysis for the metropolis algorithm on Lipschitz domains , 2011 .

[21]  The Analyticity Region of the Hard Sphere Gas. Improved Bounds , 2007, 0705.1658.

[22]  Matthew Kahle.  Sparse Locally-Jammed Disk Packings , 2012 .

[23]  Gustavo Posta,et al.  Spectral gap estimates for interacting particle systems via a Bochner-type identity , 2005 .

[24]  Christoph Hofer-Temmel.  Disagreement percolation for the hard-sphere model , 2015, Electronic Journal of Probability.

[25]  D. Stroock,et al.  The logarithmic sobolev inequality for discrete spin systems on a lattice , 1992 .