Abstract
We study decision problems on geometric tilings. First, we study a variant of the Domino problem where square tiles are replaced by geometric tiles of arbitrary shape. We show that this variant is undecidable regardless of the shapes, extending the results of [1] on rhombus tiles. This result holds even when the geometric tiling is forced to belong to a fixed set. Second, we consider the problem of deciding whether a geometric subshift has finite local complexity, which is a common assumption when studying geometric tilings. We show that this problem is undecidable even in a simple setting (square shapes with small modifications).
| Original language | English |
|---|---|
| Article number | 115756 |
| Journal | Theoretical Computer Science |
| Volume | 1067 |
| DOIs | |
| Publication status | Published - 2 Apr 2026 |
| Externally published | Yes |
Keywords
- Decision problem
- Domino problem
- Tilings subshifts
- Undecidability
Fingerprint
Dive into the research topics of 'Decision problems on geometric tilings: Wang potatoes and Finite Local Complexity: Decision problems on geometric tilings'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver