← All projects

Research snapshot · lattice tilings

Longer searches.
Sharper questions.

The result previously featured on the homepage. The linked catalogue contains the candidate details.

Latest result

A reproducible narrowing experiment in the non-polycube lattice search.

complete \(A_2\)-sliced census

Long runs expose hidden tilers—and narrow hard survivors

We enumerated every connected union of 9 and 10 consecutive-layer \(A_2\) alcoves in the chosen rigid-lattice model, then used exact translational-quotient screens to remove the easy periodic cases. The size-10 pass alone checked 98,537 tiles. A complete determinant-12 campaign then exhausted all 455 eight-copy quotients for eight recovered size-9 leads: two have exact periodic tilings, while six survive every quotient in that screen. A subsequent determinant-15 campaign found a third hidden tiler: size-10 tile 36194 has a replayed nine-copy translational quotient. For recovered size-9 leader 04636, exhaustive substitution screens now also reject every connected five-copy parent at scale 2 in both symmetry models: 17,707 proper and 931,637 reflected metatiles. The same complete reflected screen now closes leader 01085 across 68,758 proper and 1,109,220 reflected five-copy metatiles, with a fresh geometric replay of every obstruction. A ten-million-node continuation also closes most of the hard nine-copy quotient classes for size-10 leaders 36141 and 35323: 81/85 and 77/85 orbit classes are now exact-negative.

This is a search success, not an aperiodicity claim: the survivors are hard benchmark cases whose larger periodic domains—or failure to tile—remain unresolved. Every positive quotient carries a replayed scale-2 quotient-cluster substitution; every reported five-copy rejection has a replayed atomic local obstruction.

22,607
size-9 tiles
98,537
size-10 tiles
3
replayed long-domain discoveries
8 + 9
tile quotient sizes
949,344
04636 five-copy parents excluded
1,177,978
01085 five-copy parents excluded
81 / 85
36141 nine-copy orbits excluded