arXiv++ Combinatorics

In this paper, we prove that it is undecidable whether a set of two polycubes can tile $\mathbb{Z}^3$ by translation. The proof involves a new technique that allows us to simulate two disconnected polycubes with two connected polycubes. By expanding this technique to higher dimensions, we also prove that a set of disconnected tiles in $\mathbb{Z}^n$ can be simulated by the same number of connected tiles in $\mathbb{Z}^n$ for $n \geq 3$.

In this paper, we give a proof that it is undecidable whether a set of five polyominoes can tile the plane by translation. The proof involves a new method of labeling the edges of polyominoes, making it possible to assign whether two edges can match for any set of two edges chosen. This is achieved by dedicating 1 polyomino to the labeling process.