Abstract:We introduce geometric consideration into the theory of formal languages. We aim to shed light on our understanding of global patterns that occur on infinite strings. We utilise methods of geometric group theory. Our emphasis is on large scale geometries. Two infinite strings have the same large scale geometry if there are colour preserving bi-Lipschitz maps with distortions between the strings. Call these maps quasi-isometries. Introduction of large scale geometries poses several questions. The first question asks to study the partial order induced by quasi-isometries. This partial order compares large scale geometries; as such it presents an algebraic tool for classification of global patterns. We prove there is a greatest large scale geometry and infinitely many minimal large scale geometries. The second question is related to understanding the quasi-isometric maps on various classes of strings. The third question investigates the sets of large scale geometries of strings accepted by computational models, e.g. Büchi automata. We provide an algorithm that describes large scale geometries of strings accepted by Büchi automata. This links large scale geometries with automata theory. The fourth question studies the complexity of the quasi-isometry problem. We show the problem is $\Sigma_3^0$-complete thus providing a bridge with computability theory. Finally, the fifth question asks to build algebraic structures that are invariants of large scale geometries. We invoke asymptotic cones, a key concept in geometric group theory, defined via model-theoretic notion of ultra-product. Partly, we study asymptotic cones of algorithmically random strings thus connecting the topic with algorithmic randomness.

Large scale properties for bounded automata groups

Decomposition complexity growth of finitely generated groups

On groups well represented as automorphism groups of groups

Amenability of bounded automata groups on infinite alphabets

Dynamic asymptotic dimension growth for group actions and groupoids

Large subgroups of simple groups

A Comparison of Large Scale Dimension of a Metric Space to the Dimension of its Boundary

Asymptotic enumeration of graphical regular representations

The Finiteness Problem for Automaton Semigroups of Extended Bounded Activity

On the subgroup membership problem in bounded automata groups

Hurewicz and Dranishnikov-Smith theorems for asymptotic dimension of countable approximate groups

Topological asymptotic dimension

The CI problem for infinite groups

On Finite Decomposition Complexity of Thompson Group

Rigidity and classification results for large-type Artin groups

On the Girth of Groups acting on CAT(0) cube complexes

Large Scale Geometries of Infinite Strings

Automorphisms of large-type free-of-infinity Artin groups

Actions of large finite groups on manifolds

Actions of large finite groups on aspherical manifolds

Metrics on Visual Boundaries of CAT(0) Spaces