A notion of effectiveness for subshifts on finitely generated groups - Archive ouverte HAL Access content directly
Journal Articles Theoretical Computer Science Year : 2017

A notion of effectiveness for subshifts on finitely generated groups

Abstract

We generalize the classical definition of effectively closed subshift to finitely generated groups. We study classical stability properties of this class and then extend this notion by allowing the usage of an oracle to the word problem of a group. This new class of subshifts forms a conjugacy class that contains all sofic subshifts. Motivated by the question of whether there exists a group where the class of sofic subshifts coincides with that of effective subshifts, we show that the inclusion is strict for several groups, including recursively presented groups with undecidable word problem, amenable groups and groups with more than two ends. We also provide an extended model of Turing machine which uses the group itself as a tape and characterizes our extended notion of effectiveness. As applications of these machines we prove that the origin constrained domino problem is undecidable for any group of the form subject to a technical condition on G and we present a simulation theorem which is valid in any finitely generated group.
Fichier principal
Vignette du fichier
1412.2582(2).pdf (459.29 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01970761 , version 1 (23-01-2019)

Identifiers

Cite

Nathalie Aubrun, Sebastián Barbieri, Mathieu Sablik. A notion of effectiveness for subshifts on finitely generated groups. Theoretical Computer Science, 2017, 661, pp.35-55. ⟨10.1016/j.tcs.2016.11.033⟩. ⟨hal-01970761⟩
156 View
68 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More