Classification conjecture for primitive regular hexagonal tilings of the integer lattice

From papers

For xZ2x\in\mathbb{Z}^2, let sx={x1,x1+1}×{x2,x2+1}Z2s_x=\{x_1,x_1+1\}\times\{x_2,x_2+1\}\subseteq\mathbb{Z}^2 and let sˉx=[x1,x1+1]×[x2,x2+1]R2\bar{s}_x=[x_1,x_1+1]\times[x_2,x_2+1]\subseteq\mathbb{R}^2. A tile is a set TT of squares sxs_x such that I(T)=sxTsˉxI(T)=\bigcup_{s_x\in T}\bar{s}_x is a topological disk. A tiling of Z2\mathbb{Z}^2 is a collection of tiles in which every square sxs_x belongs to exactly one tile. A tiling is regular if it has the form T+LT+L for some tile TT and lattice LZ2L\subseteq\mathbb{Z}^2, hexagonal if every tile borders exactly six other tiles, and primitive if every regular refinement is either itself or the tiling by individual squares. Let B\mathcal{B} be the family of circles, and for each CBC\in\mathcal{B} let TC+LCT_C+L_C be the associated regular tiling by 9090^\circ-symmetric tiles.

Classification conjecture. If T\mathcal{T} is a primitive, regular, hexagonal tiling of Z2\mathbb{Z}^2 by 9090^\circ-symmetric tiles, then

T=TC+LC+v\mathcal{T}=T_C+L_C+v

for some CBC\in\mathcal{B} and some vZ2v\in\mathbb{Z}^2.

The claim predicts that the circle construction accounts for all primitive regular hexagonal tilings of the integer lattice with the stated rotational symmetry. The supplied text does not establish the classification or indicate whether it has been resolved.

Progress summary

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

Sources & referencesView supporting material

Primary source

Lionel Levine, Wesley Pegden and Charles K. Smart, “The Apollonian structure of integer superharmonic matrices”, arXiv:1309.3267 (2017).

Solutions 0

No solutions have been posted yet.