Lower Bounds on the Critical Density in the Hard Disk Model via Optimized Metrics

Thomas P. Hayes, Cristopher Moore

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…