Abstract:We construct an example of a group $G = \mathbb{Z}^2 \times G_0$ for a finite abelian group $G_0$, a subset $E$ of $G_0$, and two finite subsets $F_1,F_2$ of $G$, such that it is undecidable in ZFC whether $\mathbb{Z}^2\times E$ can be tiled by translations of $F_1,F_2$. In particular, this implies that this tiling problem is aperiodic, in the sense that (in the standard universe of ZFC) there exist translational tilings of $E$ by the tiles $F_1,F_2$, but no periodic tilings. Previously, such aperiodic or undecidable translational tilings were only constructed for sets of eleven or more tiles (mostly in $\mathbb{Z}^2$). A similar construction also applies for $G = \mathbb{Z}^d$ for sufficiently large $d$. If one allows the group $G_0$ to be non-abelian, a variant of the construction produces an undecidable translational tiling with only one tile $F$. The argument proceeds by first observing that a single tiling equation is able to encode an arbitrary system of tiling equations, which in turn can encode an arbitrary system of certain functional equations once one has two or more tiles. In particular, one can use two tiles to encode tiling problems for an arbitrary number of tiles.

Undecidability of Translational Tiling of the 4-dimensional Space with a Set of 4 Polyhypercubes

Undecidability of Translational Tiling of the 3-dimensional Space with a Set of 6 Polycubes

Undecidability of Translational Tiling with Three Tiles

Undecidability of translational monotilings

Translational Tiling with 8 Polyominoes is Undecidable

Translational Aperiodic Sets of 7 Polyominoes

Undecidable translational tilings with only two tiles, or one nonabelian tile

The Three and Fourfold Translative Tiles in Three-Dimensional Space

Twofold Translative Tiles in Three-Dimensional Space

A proof of Ollinger's conjecture: undecidability of tiling the plane with a set of $8$ polyominoes

Multiple Translative Tilings in Euclidean Spaces

Characterization of the Three-Dimensional Fivefold Translative Tiles

Tiling with Three Polygons is Undecidable

Undecidability of tiling the plane with a fixed number of Wang bars

Characterization of the Three-Dimensional Multiple Translative Tiles

Periodicity and decidability of translational tilings by rational polygonal sets

Multiple Lattice Tilings in Euclidean Spaces

Tetrahedra tiling problem

Decision problems on geometric tilings

Concrete polytopes may not tile the space

A Computer Approach to Determine the Densest Translative Tetrahedron Packings