arXiv · Oct 8, 2026
Tiling 3D by Translates of a Single Polycube is Undecidable
By Erik D. Demaine, Stefan Langerman
We prove co-RE-completeness, and thus undecidability, of the following problem: given a single (connected) polycube, decide whether it tiles 3D Euclidean space by translations. We reduce from Wang tiling using the decorated two-prime Sudoku construction of Greenfeld and Tao and a cyclic encoding adapted from OpenAI's 3D aperiodic tile, and apply a reduction of Kim to make the prototile connected (via faces). Dimension three is optimal: translational monotiling is known to be decidable in Z² and for a single (possibly disconnected) polyomino in R².