Decision problems on geometric tilings: Wang potatoes and Finite Local Complexity: Decision problems on geometric tilings

Research output: Contribution to journalArticlepeer-review

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 languageEnglish
Article number115756
JournalTheoretical Computer Science
Volume1067
DOIs
Publication statusPublished - 2 Apr 2026
Externally publishedYes

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