paper

The domino problem is undecidable on surface groups

arXiv:1811.08420 · doi:10.4230/LIPIcs.MFCS.2019.46

Abstract

We show that the domino problem is undecidable on orbit graphs of non-deterministic substitutions which satisfy a technical property. As an application, we prove that the domino problem is undecidable for the fundamental group of any closed orientable surface of genus at least 2.

arXiv comment18 spectacular figures

References in corpus (1)