Shearer's point process, the hard-sphere model, and a continuum Lovász local lemma

From MaRDI portal
(Redirected from Publication:5233156)



Abstract: A point process is R-dependent, if it behaves independently beyond the minimum distance R. This work investigates uniform positive lower bounds on the avoidance functions of R-dependent simple point processes with a common intensity. Intensities with such bounds are described by the existence of Shearer's point process, the unique R-dependent and R-hard-core point process with a given intensity. This work also presents several extensions of the Lov'asz Local Lemma, a sufficient condition on the intensity and R to guarantee the existence of Shearer's point process and exponential lower bounds. Shearer's point process shares combinatorial structure with the hard-sphere model with radius R, the unique R-hard-core Markov point process. Bounds from the Lov'asz Local Lemma convert into lower bounds on the radius of convergence of a high-temperature cluster expansion of the hard-sphere model. This recovers a classic result of Ruelle on the uniqueness of the Gibbs measure of the hard-sphere model via an inductive approach `a la Dobrushin.



Cites work









This page was built for publication: Shearer's point process, the hard-sphere model, and a continuum Lovász local lemma

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5233156)