191 research outputs found
The Domino Problem is Undecidable on Surface Groups
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
Around the Domino Problem – Combinatorial Structures and Algebraic Tools
Given a finite set of square tiles, the domino problem is the question of whether is it possible to tile the plane using these tiles. This problem is known to be undecidable in the planar case, and is strongly linked to the question of the periodicity of the tiling. In this thesis we look at this problem in two different ways: first, we look at the particular case of low complexity tilings and second we generalize it to more general structures than the plane, groups.
A tiling of the plane is said of low complexity if there are at most mn rectangles of size m × n appearing in it. Nivat conjectured in 1997 that any such tiling must be periodic, with the consequence that the domino problem would be decidable for low complexity tilings. Using algebraic tools introduced by Kari and Szabados, we prove a generalized version of Nivat’s conjecture for a particular class of tilings (a subclass of what is called of algebraic subshifts). We also manage to prove that Nivat’s conjecture holds for uniformly recurrent tilings, with the consequence that the domino problem is indeed decidable for low-complexity tilings.
The domino problem can be formulated in the more general context of Cayley graphs of groups. In this thesis, we develop new techniques allowing to relate the Cayley graph of some groups with graphs of substitutions on words. A first technique allows us to show that there exists both strongly periodic and weakly-but-not-strongly aperiodic tilings of the Baumslag-Solitar groups BS(1, n). A second technique is used to show that the domino problem is undecidable for surface groups. Which provides yet another class of groups verifying the conjecture saying that the domino problem of a group is decidable if and only if the group is virtually free
The large scale geometry of strongly aperiodic subshifts of finite type
A subshift on a group G is a closed, G-invariant subset of A^G, for some
finite set A. It is said to be a subshift of finite type (SFT) if it is defined
by a finite collection of 'forbidden patterns', to be strongly aperiodic if all
point stabilizers are trivial, and weakly aperiodic if all point stabilizers
are infinite index in G. We show that groups with at least 2 ends have a
strongly aperiodic SFT, and that having such an SFT is a QI invariant for
finitely presented torsion free groups. We show that a finitely presented
torsion free group with no weakly aperiodic SFT must be QI-rigid. The domino
problem on G asks whether the SFT specified by a given set of forbidden
patterns is empty. We show that decidability of the domino problem is a QI
invariant.Comment: 23 pages, 6 figures. The proof of the main theorem has been
simplified and some new corollaries deduce
Groups, Graphs, Languages, Automata, Games and Second-order Monadic Logic
In this paper we survey some surprising connections between group theory, the
theory of automata and formal languages, the theory of ends, infinite games of
perfect information, and monadic second-order logic
Graph subshifts
We propose a definition of graph subshifts of finite type that can be seen as
extending both the notions of subshifts of finite type from classical symbolic
dynamics and finitely presented groups from combinatorial group theory. These
are sets of graphs that are defined by forbidding finitely many local patterns.
In this paper, we focus on the question whether such local conditions can
enforce a specific support graph, and thus relate the model to classical
symbolic dynamics. We prove that the subshifts that contain only infinite
graphs are either aperiodic, or feature no residual finiteness of their period
group, yielding non-trivial examples as well as two natural undecidability
theorems.Comment: 13 pages, 4 figure
Translation-like Actions and Aperiodic Subshifts on Groups
It is well known that if admits a f.g. subgroup with a weaklyaperiodic SFT (resp. an undecidable domino problem), then itself has a weakly aperiodic SFT (resp. an undecidable domino problem).We prove that we can replace the property " is a subgroup of "by " acts translation-like on ", provided is finitely presented.In particular:* If and are f.g. infinite groups, then has a weakly aperiodic SFT (and actually a undecidable domino problem). In particular the Grigorchuk group has an undecidable domino problem. * Every infinite f.g. -group admits a weakly aperiodic SFT
- …