The periodic coloring conjecture

About 1 year old · traced to

Let N⩾1N\geqslant 1, let VV be a finite set of primitive, nonzero, mutually incommensurable vectors in Z2\mathbb{Z}^2, let Σ\Sigma be a finite color set, and let Ω⊂Σ∣V∣×(Z/NZ)2\Omega\subset \Sigma^{|V|}\times (\mathbb{Z}/N\mathbb{Z})^2. For each v∈Vv\in V, choose a fixed primitive vector vˉ\bar v orthogonal to vv. Let Coloring⁡(V,N,Σ,Ω)\operatorname{Coloring}(V,N,\Sigma,\Omega) be the set of tuples of functions Cv ⁣:Z→ΣC_v\colon\mathbb{Z}\to\Sigma satisfying the local condition specified by the source, using a two-dimensional clock σ ⁣:(Z/NZ)2→(Z/NZ)2\sigma\colon(\mathbb{Z}/N\mathbb{Z})^2\to(\mathbb{Z}/N\mathbb{Z})^2.

Periodic coloring conjecture. For any VV, NN, Σ\Sigma, and Ω\Omega as above, the solution set Coloring⁡(V,N,Σ,Ω)\operatorname{Coloring}(V,N,\Sigma,\Omega) is not aperiodic.

This conjecture is presented as an equivalent reformulation of the periodic tiling conjecture in virtually-Z2\mathbb{Z}^2 spaces. The source gives no resolution status.

References

Primary source

Rachel Greenfeld, “Translational tilings: structured or wild?”, arXiv:2509.25576 (2025).

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.