Fluid/solid transition in a hard-core system

Abstract

We prove that a system of particles in the plane, interacting only with a certain hard-core constraint, undergoes a fluid/solid phase transition.