Pith. sign in

REVIEW 2 cited by

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

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2408.02196 v1 pith:7WOMIDGZ submitted 2024-08-05 math.CO cs.CCmath.MG

classification math.COcs.CCmath.MG
keywords tilingmathbbtranslationaltilesundecidabilitydimensionalspaceundecidable
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

This paper focuses on the undecidability of translational tiling of $n$-dimensional space $\mathbb{Z}^n$ with a set of $k$ tiles. It is known that tiling $\mathbb{Z}^2$ with translated copies with a set of $8$ tiles is undecidable. Greenfeld and Tao gave strong evidence in a series of works that for sufficiently large dimension $n$, the translational tiling problem for $\mathbb{Z}^n$ might be undecidable for just one tile. This paper shows the undecidability of translational tiling of $\mathbb{Z}^3$ with a set of $6$ tiles.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Undecidability of Translational Tiling of the Plane with Orthogonally Convex Polyominoes

    math.CO 2025-06 conditional novelty 6.0 of 10

    Translational tiling of the plane with a set of seven orthogonally convex polyominoes is undecidable.

  2. Undecidability of Translational Tiling with Three Tiles

    math.CO 2024-12 conditional novelty 6.0 of 10

    Deciding translational tiling of Z^4 by three connected polyhypercubes is undecidable, shown by reduction from Wang's domino problem.

Pith tools