Single HCP equivalence class conjecture for D2=22D^2=2\ell^2 divisible by 3

Suppose D2=22D^2=2\ell^2 with N\ell\in{\mathbb N} and 0(mod3)\ell\equiv0\pmod 3. Let a PC be a periodic configuration and an EPGM an extremal periodic Gibbs measure. Two periodic configurations are understood to belong to the same equivalence class under the equivalence relation used for periodic configurations in the paper. Write E(D,u)\mathscr E(D,u) for the set of EPGMs at fugacity uu.

Single-class HCP conjecture. All EPGMs are generated by PCs from a single equivalence class. This class has cardinality 16316\ell^3 and consists of 88 DD-HCP configurations and their Z3{\mathbb Z}^3-shifts. Consequently,

E(2,u)=163.\sharp\mathscr E(\sqrt 2\ell,u)=16\ell^3.

The conjecture refines the expected selection of HCP configurations by specifying the unique generating equivalence class and the resulting number of EPGMs. The paper states that the general proof is not known, although the analogous case D2=5D^2=5 was verified.

Sources & referencesView supporting material

Primary source

A. Mazel, I. Stuhl and Y. Suhov, “Kepler's conjecture and phase transitions in the high-density hard-core model on Z^3”, arXiv:2112.14250 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.