Title:Shearer's point process, the hard-sphere model and a continuum Lovász Local Lemma

Abstract:A point process is R-dependent, if it behaves independently beyond the minimum distance R. We investigate uniform positive lower bounds on the avoidance functions of R-dependent simple point processes of the same intensity. Such bounds hold, iff Shearer's point process, the unique R-dependent point process with an R-hard-core, exists. The continuum Lovász Local Lemma is a sufficient condition on the intensity and R to guarantee uniform exponential lower bounds on the avoidance function for all R-dependent point processes of this intensity. Shearer's point process shares combinatorial structure with the hard-sphere model with radius R, the unique Markov point process with an R-hard-core and range R interaction. We obtain a lower bound on the radius of convergence of a high-temperature cluster expansion of the hard-sphere model and recover a classic result of Ruelle via an inductive approach à la Dobrushin.