2026-07-21T23:35:10Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:18609 2024-03-06T11:02:15Z ddc:004 open_access

Realizing Finitely Presented Groups as Projective Fundamental Groups of SFTs Paviet Salomon, Léo Vanier, Pascal Subshifts Wang tiles Dynamical Systems Computability Subshift of Finite Type Fundamental Group Subshifts are sets of colourings - or tilings - of the plane, defined by local constraints. Historically introduced as discretizations of continuous dynamical systems, they are also heavily related to computability theory. In this article, we study a conjugacy invariant for subshifts, known as the projective fundamental group. It is defined via paths inside and between configurations. We show that any finitely presented group can be realized as a projective fundamental group of some SFT. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Léo Paviet Salomon and Pascal Vanier 2023 Is Part Of LIPIcs, Volume 272, 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.MFCS.2023.75 urn:nbn:de:0030-drops-186098 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.75 eng https://creativecommons.org/licenses/by/4.0/legalcode