Hostname: page-component-6898cfcb55-cbk24 Total loading time: 0 Render date: 2026-11-12T02:29:01.504Z Has data issue: false hasContentIssue false

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

Published online by Cambridge University Press:  17 March 2017

Christoph Hofer-Temmel*
Affiliation:
VU University Amsterdam
*
* Current address: , c/o FMW, MPC 10A, Postbus 10000, 1780 CA Den Helder, The Netherlands. Email address: math@temmel.me
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

A point process is R-dependent if it behaves independently beyond the minimum distance R. In this paper we investigate uniform positive lower bounds on the avoidance functions of R-dependent simple point processes with a common intensity. Intensities with such bounds are characterised by the existence of Shearer's point process, the unique R-dependent and R-hard-core point process with a given intensity. We also present several extensions of the Lovász 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 a combinatorial structure with the hard-sphere model with radius R, the unique R-hard-core Markov point process. Bounds from the Lovász 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 (1969) on the uniqueness of the Gibbs measure of the hard-sphere model via an inductive approach of Dobrushin (1996).

Information

Type
Research Article
Copyright
Copyright © Applied Probability Trust 2017