{"id":"arxiv/2610.12392","url":"https://arxiv.org/abs/2610.12392","tags":["cs.CG","math.CO","math.MG"],"score":0,"title":"Tiling 3D by Translates of a Single Polycube is Undecidable","domain":"cs.CG","source":"arxiv","authors":["Erik D. Demaine","Stefan Langerman"],"reviews":0,"subject":"cs.CG","summary":"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 $\\mathbb{Z}^2$ and for a single (possibly disconnected) polyomino in $\\mathbb{R}^2$.","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-08","reactions":{}}