We model two-dimensional crystals by a configuration space in which every admissible configuration is a hard disk configuration and a perturbed version of some triangular lattice with side length one. In this model we show that, under the uniform distribution, expected configurations in a given box are arbitrarily close to some triangular lattice whenever the particle density is chosen sufficiently high. This choice can be made independent of the box size.
Categories: math-ph math.MP