Showing 1–35 of 35 results for author: Törmä, I

Multidimensional tilings and MSO logic

Authors: Rémi Pallen, Ilkka Törmä

Abstract: We define sets of coulourings of the infinite discrete plane using monadic second order (MSO) formulas. We determine the complexity of deciding whether such a formula defines a subshift, parametrized on the quantifier alternation complexity of the formula. We also study the complexities of languages of MSO-definable sets, giving either an exact classification or upper and lower bounds for each qua… ▽ More We define sets of coulourings of the infinite discrete plane using monadic second order (MSO) formulas. We determine the complexity of deciding whether such a formula defines a subshift, parametrized on the quantifier alternation complexity of the formula. We also study the complexities of languages of MSO-definable sets, giving either an exact classification or upper and lower bounds for each quantifier alternation class. △ Less

Submitted 23 May, 2025; originally announced May 2025.

Comments: 15+11 pages, 4+2 figures. To be presented at Computability in Europe 2025

MSC Class: 03D55; 68Q15; 37B10; 37B51

Symbol Frequencies in Surjective Cellular Automata

Authors: Benjamin Hellouin de Menibus, Ilkka Törmä, Ville Salo

Abstract: We study the behavior of probability measures under iteration of a surjective cellular automaton. We solve the following question in the negative: if the initial measure is ergodic and has full support, do all weak-* limit points of the sequence of measures have full support as well? The initial measure of our solution is not a product measure, and in this case the question remains open. To this e… ▽ More We study the behavior of probability measures under iteration of a surjective cellular automaton. We solve the following question in the negative: if the initial measure is ergodic and has full support, do all weak-* limit points of the sequence of measures have full support as well? The initial measure of our solution is not a product measure, and in this case the question remains open. To this end, we present a tool for studying the frequencies of symbols in preimages of surjective cellular automata, and prove some basic results about it. However, we show that by itself it is not enough to solve the stricter question in the positive. △ Less

Submitted 9 April, 2025; v1 submitted 8 April, 2025; originally announced April 2025.

Comments: Submitted to AUTOMATA 2025

MSC Class: 37B15; 37A60

A Class of Countably Covered Two-Dimensional Sofic Shifts

Authors: Ilkka Törmä

Abstract: A multidimensional sofic shift is called countably covered if it has an SFT cover containing only countably many configurations. In contrast to the one-dimensional setting, not all countable sofic shifts are countably covered. We study a subclass of countable shift spaces and characterize the countably covered sofic shifts among them. A multidimensional sofic shift is called countably covered if it has an SFT cover containing only countably many configurations. In contrast to the one-dimensional setting, not all countable sofic shifts are countably covered. We study a subclass of countable shift spaces and characterize the countably covered sofic shifts among them. △ Less

Submitted 23 September, 2024; originally announced September 2024.

Comments: 21 pages, 6 figures

MSC Class: 37B51

Infinite Hex is arithmetic

Authors: Ilkka Törmä

Abstract: Hex is a well known connection game in which two players attempt to connect opposite sides of the board by colored stones. In 2022, Hamkins and Leonessi introduced an infinite version, in which the goal is to construct a certain kind of two-way infinite path of adjacent stones. It was explicitly left open whether the winning condition is Borel. We prove that it is arithmetic, with complexity betwe… ▽ More Hex is a well known connection game in which two players attempt to connect opposite sides of the board by colored stones. In 2022, Hamkins and Leonessi introduced an infinite version, in which the goal is to construct a certain kind of two-way infinite path of adjacent stones. It was explicitly left open whether the winning condition is Borel. We prove that it is arithmetic, with complexity between $Σ^0_4$ and $Δ^0_5$. △ Less

Submitted 12 October, 2023; originally announced October 2023.

Comments: 13 pages, 7 figures

MSC Class: 03E15 (Primary) 91A46 (Secondary)

Limit dynamics of elementary cellular automaton 18

Authors: Hervé Sabrié, Ilkka Törmä

Abstract: We study the the asymptotic dynamics of elementary cellular automaton 18 through its limit set, generic limit set and $μ$-limit set. The dynamics of rule 18 are characterized by persistent local patterns known as kinks. We characterize the configurations of the generic limit set containing at most two kinks. As a corollary, we show that the three limit sets of rule 18 are distinct. We study the the asymptotic dynamics of elementary cellular automaton 18 through its limit set, generic limit set and $μ$-limit set. The dynamics of rule 18 are characterized by persistent local patterns known as kinks. We characterize the configurations of the generic limit set containing at most two kinks. As a corollary, we show that the three limit sets of rule 18 are distinct. △ Less

Submitted 23 April, 2024; v1 submitted 24 August, 2023; originally announced August 2023.

Comments: 17 pages, 11 figures

MSC Class: 37B15

Structure and computability of preimages in the Game of Life

Authors: Ville Salo, Ilkka Törmä

Abstract: Conway's Game of Life is a two-dimensional cellular automaton. As a dynamical system, it is well-known to be computationally universal, i.e.\ capable of simulating an arbitrary Turing machine. We show that in a sense taking a single backwards step of the Game of Life is a computationally universal process, by constructing patterns whose preimage computation encodes an arbitrary circuit-satisfactio… ▽ More Conway's Game of Life is a two-dimensional cellular automaton. As a dynamical system, it is well-known to be computationally universal, i.e.\ capable of simulating an arbitrary Turing machine. We show that in a sense taking a single backwards step of the Game of Life is a computationally universal process, by constructing patterns whose preimage computation encodes an arbitrary circuit-satisfaction problem, or, equivalently, any tiling problem. As a corollary, we obtain for example that the set of orphans is coNP-complete, exhibit a $6210 \times 37800$-periodic configuration whose preimage is nonempty but contains no periodic configurations, and prove that the existence of a preimage for a periodic point is undecidable. Our constructions were obtained by a combination of computer searches and manual design. △ Less

Submitted 12 April, 2025; v1 submitted 20 August, 2023; originally announced August 2023.

Comments: 34 pages, 12 figures. Accompanied by two GitHub repositories containing programs and auxiliary data. To appear in Theoretical Computer Science

MSC Class: 68Q80 (Primary) 37B51 (Secondary)

Diddy: a Python toolbox for infinite discrete dynamical systems

Authors: Ville Salo, Ilkka Törmä

Abstract: We introduce Diddy, a collection of Python scripts for analyzing infinite discrete dynamical systems. The main focus is on generalized multidimensional shifts of finite type (SFTs). We show how Diddy can be used to easily define SFTs and cellular automata, and analyze their basic properties. We also showcase how to verify or rediscover some results from coding theory and cellular automata theory. We introduce Diddy, a collection of Python scripts for analyzing infinite discrete dynamical systems. The main focus is on generalized multidimensional shifts of finite type (SFTs). We show how Diddy can be used to easily define SFTs and cellular automata, and analyze their basic properties. We also showcase how to verify or rediscover some results from coding theory and cellular automata theory. △ Less

Submitted 2 May, 2023; originally announced May 2023.

Comments: 12 pages

MSC Class: 37-04

Finding codes on infinite grids automatically

Authors: Ville Salo, Ilkka Törmä

Abstract: We apply automata theory and Karp's minimum mean weight cycle algorithm to minimum density problems in coding theory. Using this method, we find the new upper bound $53/126 \approx 0.4206$ for the minimum density of an identifying code on the infinite hexagonal grid, down from the previous record of $3/7 \approx 0.4286$. We apply automata theory and Karp's minimum mean weight cycle algorithm to minimum density problems in coding theory. Using this method, we find the new upper bound $53/126 \approx 0.4206$ for the minimum density of an identifying code on the infinite hexagonal grid, down from the previous record of $3/7 \approx 0.4286$. △ Less

Submitted 9 July, 2024; v1 submitted 1 March, 2023; originally announced March 2023.

Comments: 19 pages, 5 figures

ACM Class: G.2.1

Journal ref: Fundamenta Informaticae, Volume 191, Issues 3-4: Iiro Honkala's 60 Birthday (November 10, 2024) fi:11012

Arithmetical Complexity of the Language of Generic Limit Sets of Cellular Automata

Authors: Solène J. Esnay, Alonso Núñez, Ilkka Törmä

Abstract: The generic limit set of a dynamical system is the smallest set that attracts most of the space in a topological sense: it is the smallest closed set with a comeager basin of attraction. Introduced by Milnor, it has been studied in the context of one-dimensional cellular automata by Djenaoui and Guillon, Delacourt, and Törmä. In this article we present complexity bounds on realizations of generic… ▽ More The generic limit set of a dynamical system is the smallest set that attracts most of the space in a topological sense: it is the smallest closed set with a comeager basin of attraction. Introduced by Milnor, it has been studied in the context of one-dimensional cellular automata by Djenaoui and Guillon, Delacourt, and Törmä. In this article we present complexity bounds on realizations of generic limit sets of cellular automata with prescribed properties. We show that generic limit sets have a $Π^0_2$ language if they are inclusion-minimal, a $Σ^0_1$ language if the cellular automaton has equicontinuous points, and that these bounds are tight. We also prove that many chain mixing $Π^0_2$ subshifts and all chain mixing $Δ^0_2$ subshifts are realizable as generic limit sets. As a corollary, we characterize the minimal subshifts that occur as generic limit sets. △ Less

Submitted 13 April, 2022; originally announced April 2022.

Comments: 33 pages, 5 figures, 1 table

MSC Class: 37B15

What can oracles teach us about the ultimate fate of life?

Authors: Ville Salo, Ilkka Törmä

Abstract: We settle two long-standing open problems about Conway's Life, a two-dimensional cellular automaton. We solve the Generalized grandfather problem: for all $n \geq 0$, there exists a configuration that has an $n$th predecessor but not an $(n+1)$st one. We also solve (one interpretation of) the Unique father problem: there exists a finite stable configuration that contains a finite subpattern that h… ▽ More We settle two long-standing open problems about Conway's Life, a two-dimensional cellular automaton. We solve the Generalized grandfather problem: for all $n \geq 0$, there exists a configuration that has an $n$th predecessor but not an $(n+1)$st one. We also solve (one interpretation of) the Unique father problem: there exists a finite stable configuration that contains a finite subpattern that has no predecessor patterns except itself. In particular this gives the first example of an unsynthetizable still life. The new key concept is that of a spatiotemporally periodic configuration (agar) which has a unique chain of preimages; we show that this property is semidecidable, and find examples of such agars using a SAT solver. Our results about the topological dynamics of Game of Life are as follows: it never reaches its limit set; its dynamics on its limit set is chain-wandering, in particular it is not topologically transitive and does not have dense periodic points; and the spatial dynamics of its limit set is non-sofic, and does not admit a sublinear gluing radius in the cardinal directions (in particular it is not block-gluing). Our computability results are that Game of Life's reachability problem, as well as the language of its limit set, are PSPACE-hard. △ Less

Submitted 25 April, 2022; v1 submitted 15 February, 2022; originally announced February 2022.

Comments: 20 pages, 6 figures. Accompanied by GitHub repository https://github.com/ilkka-torma/gol-agars

MSC Class: 37B15

Cellular Automata and Bootstrap Percolation

Authors: Ville Salo, Guillaume Theyssier, Ilkka Törmä

Abstract: We study qualitative properties of two-dimensional freezing cellular automata with a binary state set initialized on a random configuration. If the automaton is also monotone, the setting is equivalent to bootstrap percolation. We explore the extent to which monotonicity constrains the possible asymptotic dynamics by proving two results that do not hold in the subclass of monotone automata. First,… ▽ More We study qualitative properties of two-dimensional freezing cellular automata with a binary state set initialized on a random configuration. If the automaton is also monotone, the setting is equivalent to bootstrap percolation. We explore the extent to which monotonicity constrains the possible asymptotic dynamics by proving two results that do not hold in the subclass of monotone automata. First, it is undecidable whether the automaton almost surely fills the space when initialized on a Bernoulli random configuration with density $p$, for some/all $0 < p < 1$. Second, there exists an automaton whose space-filling property depends on $p$ in a non-monotone way. △ Less

Submitted 19 April, 2022; v1 submitted 1 October, 2021; originally announced October 2021.

Comments: 18 pages, 3 figures

MSC Class: 37B15; 68Q80; 60K35

Generically Nilpotent Cellular Automata

Authors: Ilkka Törmä

Abstract: We study the generic limit sets of one-dimensional cellular automata, which intuitively capture their asymptotic dynamics while discarding transient phenomena. As our main results, we characterize the automata whose generic limit set is a singleton, and show that this class is $Σ^0_2$-complete. We also prove that given a CA whose generic limit set is guaranteed to be a singleton, the sole configur… ▽ More We study the generic limit sets of one-dimensional cellular automata, which intuitively capture their asymptotic dynamics while discarding transient phenomena. As our main results, we characterize the automata whose generic limit set is a singleton, and show that this class is $Σ^0_2$-complete. We also prove that given a CA whose generic limit set is guaranteed to be a singleton, the sole configuration it contains cannot be algorithmically determined. △ Less

Submitted 29 August, 2021; originally announced August 2021.

Comments: 14 pages, 2 figures

MSC Class: 37B15

Fixed Point Constructions in Tilings and Cellular Automata

Authors: Ilkka Törmä

Abstract: The fixed point construction is a method for designing tile sets and cellular automata with highly nontrivial dynamical and computational properties. It produces an infinite hierarchy of systems where each layer simulates the next one. The simulations are implemented entirely by computations of Turing machines embedded in the tilings or spacetime diagrams. We present an overview of the constructio… ▽ More The fixed point construction is a method for designing tile sets and cellular automata with highly nontrivial dynamical and computational properties. It produces an infinite hierarchy of systems where each layer simulates the next one. The simulations are implemented entirely by computations of Turing machines embedded in the tilings or spacetime diagrams. We present an overview of the construction and list its applications in the literature. △ Less

Submitted 2 May, 2021; originally announced May 2021.

Comments: 15 pages. To be presented at AUTOMATA 2021 as an invited talk

A Physically Universal Turing Machine

Authors: Ville Salo, Ilkka Törmä

Abstract: We construct a two-dimensional Turing machine that is physically universal in both the moving tape and moving head model. In particular, it is mixing of all finite orders in both models. We also provide a variant that is physically universal in the moving tape model, but not in the moving head model. We construct a two-dimensional Turing machine that is physically universal in both the moving tape and moving head model. In particular, it is mixing of all finite orders in both models. We also provide a variant that is physically universal in the moving tape model, but not in the moving head model. △ Less

Submitted 20 March, 2020; originally announced March 2020.

Comments: 45 pages plus 6 pages of appendices, 17 figures

MSC Class: 68Q45; 37B50

Gardens of Eden in the Game of Life

Authors: Ville Salo, Ilkka Törmä

Abstract: We prove that in the Game of Life, if the thickness-four zero-padding of a rectangular pattern is not an orphan, then the corresponding finite-support configuration is not a Garden of Eden, and that the preimage of every finite-support configuration has dense semilinear configurations. In particular finite-support Gardens of Eden are in co-NP. We prove that in the Game of Life, if the thickness-four zero-padding of a rectangular pattern is not an orphan, then the corresponding finite-support configuration is not a Garden of Eden, and that the preimage of every finite-support configuration has dense semilinear configurations. In particular finite-support Gardens of Eden are in co-NP. △ Less

Submitted 3 December, 2019; v1 submitted 2 December, 2019; originally announced December 2019.

Comments: 16 pages + 5 pages of code; some figures

Complexity of Generic Limit Sets of Cellular Automata

Authors: Ilkka Törmä

Abstract: The generic limit set of a topological dynamical system of the smallest closed subset of the phase space that has a comeager realm of attraction. It intuitively captures the asymptotic dynamics of almost all initial conditions. It was defined by Milnor and studied in the context of cellular automata, whose generic limit sets are subshifts, by Djenaoui and Guillon. In this article we study the stru… ▽ More The generic limit set of a topological dynamical system of the smallest closed subset of the phase space that has a comeager realm of attraction. It intuitively captures the asymptotic dynamics of almost all initial conditions. It was defined by Milnor and studied in the context of cellular automata, whose generic limit sets are subshifts, by Djenaoui and Guillon. In this article we study the structural and computational restrictions that apply to generic limit sets of cellular automata. As our main result, we show that the language of a generic limit set can be at most $Σ^0_3$-hard, and lower in various special cases. We also prove a structural restriction on generic limit sets with a global period. △ Less

Submitted 14 December, 2020; v1 submitted 25 November, 2019; originally announced November 2019.

Comments: 13 pages, 2 figures

MSC Class: 37B15; 68Q17

Journal ref: Törmä I. (2020) Complexity of Generic Limit Sets of Cellular Automata. In: Zenil H. (eds) Cellular Automata and Discrete Complex Systems. AUTOMATA 2020. Lecture Notes in Computer Science, vol 12286. Springer, Cham

Recoding Lie algebraic subshifts

Authors: Ville Salo, Ilkka Törmä

Abstract: We study internal Lie algebras in the category of subshifts on a fixed group -- or Lie algebraic subshifts for short. We show that if the acting group is virtually polycyclic and the underlying vector space has dense homoclinic points, such subshifts can be recoded to have a cellwise Lie bracket. On the other hand there exist Lie algebraic subshifts (on any finitely-generated non-torsion group) wi… ▽ More We study internal Lie algebras in the category of subshifts on a fixed group -- or Lie algebraic subshifts for short. We show that if the acting group is virtually polycyclic and the underlying vector space has dense homoclinic points, such subshifts can be recoded to have a cellwise Lie bracket. On the other hand there exist Lie algebraic subshifts (on any finitely-generated non-torsion group) with cellwise vector space operations whose bracket cannot be recoded to be cellwise. We also show that one-dimensional full vector shifts with cellwise vector space operations can support infinitely many compatible Lie brackets even up to automorphisms of the underlying vector shift, and we state the classification problem of such brackets. From attempts to generalize these results to other acting groups, the following questions arise: Does every f.g. group admit a linear cellular automaton of infinite order? Which groups admit abelian group shifts whose homoclinic group is not generated by finitely many orbits? For the first question, we show that the Grigorchuk group admits such a CA, and for the second we show that the lamplighter group admits such group shifts. △ Less

Submitted 29 October, 2019; originally announced October 2019.

Comments: 18 pages

Stable Multi-Level Monotonic Eroders

Authors: Péter Gács, Ilkka Törmä

Abstract: Eroders are monotonic cellular automata with a linearly ordered state set that eventually wipe out any finite island of nonzero states. One-dimensional eroders were studied by Gal'perin in the 1970s, who presented a simple combinatorial characterization of the class. The multi-dimensional case has been studied by Toom and others, but no such characterization has been found. We prove a similar char… ▽ More Eroders are monotonic cellular automata with a linearly ordered state set that eventually wipe out any finite island of nonzero states. One-dimensional eroders were studied by Gal'perin in the 1970s, who presented a simple combinatorial characterization of the class. The multi-dimensional case has been studied by Toom and others, but no such characterization has been found. We prove a similar characterization for those one-dimensional monotonic cellular automata that are eroders even in the presence of random noise. △ Less

Submitted 25 September, 2018; originally announced September 2018.

Comments: 32 pages, 9 figures

MSC Class: 37B15; 60J05; 60K35

Countable Sofic Shifts with a Periodic Direction

Authors: Ilkka Törmä

Abstract: As a variant of the equal entropy cover problem, we ask whether all multidimensional sofic shifts with countably many configurations have SFT covers with countably many configurations. We answer this question in the negative by presenting explicit counterexamples. We formulate necessary conditions for a vertically periodic shift space to have a countable SFT cover, and prove that they are sufficie… ▽ More As a variant of the equal entropy cover problem, we ask whether all multidimensional sofic shifts with countably many configurations have SFT covers with countably many configurations. We answer this question in the negative by presenting explicit counterexamples. We formulate necessary conditions for a vertically periodic shift space to have a countable SFT cover, and prove that they are sufficient in a natural (but quite restricted) subclass of shift spaces. △ Less

Submitted 11 September, 2018; originally announced September 2018.

Comments: 24 pages, 8 figures

MSC Class: 37B50

Nilpotent Endomorphisms of Expansive Group Actions

Authors: Ville Salo, Ilkka Törmä

Abstract: We consider expansive group actions on a compact metric space containing a special fixed point denoted by $0$, and endomorphisms of such systems whose forward trajectories are attracted toward $0$. Such endomorphisms are called asymptotically nilpotent, and we study the conditions in which they are nilpotent, that is, map the entire space to $0$ in a finite number of iterations. We show that for a… ▽ More We consider expansive group actions on a compact metric space containing a special fixed point denoted by $0$, and endomorphisms of such systems whose forward trajectories are attracted toward $0$. Such endomorphisms are called asymptotically nilpotent, and we study the conditions in which they are nilpotent, that is, map the entire space to $0$ in a finite number of iterations. We show that for a large class of discrete groups, this property of nil-rigidity holds for all expansive actions that satisfy a natural specification-like property and have dense homoclinic points. Our main result in particular shows that the class includes all residually finite solvable groups and all groups of polynomial growth. For expansive actions of the group $\mathbb{Z}$, we show that a very weak gluing property suffices for nil-rigidity. For $\mathbb{Z}^2$-subshifts of finite type, we show that the block-gluing property suffices. The study of nil-rigidity is motivated by two aspects of the theory of cellular automata and symbolic dynamics: It can be seen as a finiteness property for groups, which is representative of the theory of cellular automata on groups. Nilpotency also plays a prominent role in the theory of cellular automata as dynamical systems. As a technical tool of possible independent interest, the proof involves the construction of tiered dynamical systems where several groups act on nested subsets of the original space. △ Less

Submitted 15 February, 2019; v1 submitted 20 April, 2018; originally announced April 2018.

Comments: 60 pages, 6 figures. Very minor changes in version 4

MSC Class: 37B05; 37B15; 54H15

Cantor-Bendixson ranks of countable SFTs

Authors: Ilkka Törmä

Abstract: We show that the possible Cantor-Bendixson ranks of countable SFTs are exactly the finite ordinals and ordinals of the form $λ+ 3$, where $λ$ is a computable ordinal. This result was claimed by the author in his PhD dissertation, but the proof contains an error, which is fixed in this note. We show that the possible Cantor-Bendixson ranks of countable SFTs are exactly the finite ordinals and ordinals of the form $λ+ 3$, where $λ$ is a computable ordinal. This result was claimed by the author in his PhD dissertation, but the proof contains an error, which is fixed in this note. △ Less

Submitted 2 March, 2018; originally announced March 2018.

MSC Class: 37B50

Factor Colorings of Linearly Recurrent Words

Authors: Ville Salo, Ilkka Törmä

Abstract: In this short article, we study factor colorings of aperiodic linearly recurrent infinite words. We show that there always exists a coloring which does not admit a monochromatic factorization of the word into factors of increasing lengths. In this short article, we study factor colorings of aperiodic linearly recurrent infinite words. We show that there always exists a coloring which does not admit a monochromatic factorization of the word into factors of increasing lengths. △ Less

Submitted 22 April, 2015; originally announced April 2015.

Comments: 7 pages

MSC Class: 68R15; 05D10

A One-Dimensional Physically Universal Cellular Automaton

Authors: Ville Salo, Ilkka Törmä

Abstract: Physical universality of a cellular automaton was defined by Janzing in 2010 as the ability to implement an arbitrary transformation of spatial patterns. In 2014, Schaeffer gave a construction of a two-dimensional physically universal cellular automaton. We construct a one-dimensional version of the automaton. Physical universality of a cellular automaton was defined by Janzing in 2010 as the ability to implement an arbitrary transformation of spatial patterns. In 2014, Schaeffer gave a construction of a two-dimensional physically universal cellular automaton. We construct a one-dimensional version of the automaton. △ Less

Submitted 19 January, 2015; v1 submitted 16 January, 2015; originally announced January 2015.

Comments: 17 pages, 6 figures. Corrected an error in a figure

MSC Class: 37B15 ACM Class: F.1.1

Complexity of Conjugacy, Factoring and Embedding for Countable Sofic Shifts of Rank 2

Authors: Ville Salo, Ilkka Törmä

Abstract: In this article, we study countable sofic shifts of Cantor-Bendixson rank at most 2. We prove that their conjugacy problem is complete for GI, the complexity class of graph isomorphism, and that the existence problems of block maps, factor maps and embeddings are NP-complete. In this article, we study countable sofic shifts of Cantor-Bendixson rank at most 2. We prove that their conjugacy problem is complete for GI, the complexity class of graph isomorphism, and that the existence problems of block maps, factor maps and embeddings are NP-complete. △ Less

Submitted 28 August, 2014; originally announced August 2014.

Comments: 14 pages, 1 figure. to appear in the postceedings of AUTOMATA 2014, published by Springer

Subshifts, MSO Logic, and Collapsing Hierarchies

Authors: Ilkka Törmä

Abstract: We use monadic second-order logic to define two-dimensional subshifts, or sets of colorings of the infinite plane. We present a natural family of quantifier alternation hierarchies, and show that they all collapse to the third level. In particular, this solves an open problem of [Jeandel & Theyssier 2013]. The results are in stark contrast with picture languages, where such hierarchies are usually… ▽ More We use monadic second-order logic to define two-dimensional subshifts, or sets of colorings of the infinite plane. We present a natural family of quantifier alternation hierarchies, and show that they all collapse to the third level. In particular, this solves an open problem of [Jeandel & Theyssier 2013]. The results are in stark contrast with picture languages, where such hierarchies are usually infinite. △ Less

Submitted 27 June, 2014; originally announced June 2014.

Comments: 12 pages, 5 figures. To appear in conference proceedings of TCS 2014, published by Springer

Trace Complexity of Chaotic Reversible Cellular Automata

Authors: Jarkko Kari, Ville Salo, Ilkka Törmä

Abstract: Delvenne, Kůrka and Blondel have defined new notions of computational complexity for arbitrary symbolic systems, and shown examples of effective systems that are computationally universal in this sense. The notion is defined in terms of the trace function of the system, and aims to capture its dynamics. We present a Devaney-chaotic reversible cellular automaton that is universal in their sense, an… ▽ More Delvenne, Kůrka and Blondel have defined new notions of computational complexity for arbitrary symbolic systems, and shown examples of effective systems that are computationally universal in this sense. The notion is defined in terms of the trace function of the system, and aims to capture its dynamics. We present a Devaney-chaotic reversible cellular automaton that is universal in their sense, answering a question that they explicitly left open. We also discuss some implications and limitations of the construction. △ Less

Submitted 17 April, 2014; originally announced April 2014.

Comments: 12 pages + 1 page appendix, 4 figures. Accepted to Reversible Computation 2014 (proceedings published by Springer)

Quantifier Extensions of Multidimensional Sofic Shifts

Authors: Ilkka Törmä

Abstract: We define a pair of simple combinatorial operations on subshifts, called existential and universal extensions, and study their basic properties. We prove that the existential extension of a sofic shift by another sofic shift is always sofic, and the same holds for the universal extension in one dimension. However, we also show by a construction that universal extensions of two-dimensional sofic sh… ▽ More We define a pair of simple combinatorial operations on subshifts, called existential and universal extensions, and study their basic properties. We prove that the existential extension of a sofic shift by another sofic shift is always sofic, and the same holds for the universal extension in one dimension. However, we also show by a construction that universal extensions of two-dimensional sofic shifts may not be sofic, even if the subshift we extend by is very simple. △ Less

Submitted 23 July, 2014; v1 submitted 10 January, 2014; originally announced January 2014.

Comments: 15 pages, 3 figures. Submitted to Proceedings of the American Mathematical Society

MSC Class: 37B50

A Uniquely Ergodic Cellular Automaton

Authors: Ilkka Törmä

Abstract: We construct a one-dimensional uniquely ergodic cellular automaton which is not nilpotent. This automaton can perform asymptotically infinitely sparse computation, which nevertheless never disappears completely. The construction builds on the self-simulating automaton of Gács. We also prove related results of dynamical and computational nature, including the undecidability of unique ergodicity, an… ▽ More We construct a one-dimensional uniquely ergodic cellular automaton which is not nilpotent. This automaton can perform asymptotically infinitely sparse computation, which nevertheless never disappears completely. The construction builds on the self-simulating automaton of Gács. We also prove related results of dynamical and computational nature, including the undecidability of unique ergodicity, and the undecidability of nilpotency in uniquely ergodic cellular automata. △ Less

Submitted 28 August, 2014; v1 submitted 2 October, 2013; originally announced October 2013.

Comments: 47 pages, 8 figures. Submitted to Journal of Computer and System Sciences

Constructions with Countable Subshifts of Finite Type

Authors: Ville Salo, Ilkka Törmä

Abstract: We present constructions of countable two-dimensional subshifts of finite type (SFTs) with interesting properties. Our main focus is on properties of the topological derivatives and subpattern posets of these objects. We present a countable SFT whose iterated derivatives are maximally complex from the computational point of view, constructions of countable SFTs with high Cantor-Bendixson ranks, a… ▽ More We present constructions of countable two-dimensional subshifts of finite type (SFTs) with interesting properties. Our main focus is on properties of the topological derivatives and subpattern posets of these objects. We present a countable SFT whose iterated derivatives are maximally complex from the computational point of view, constructions of countable SFTs with high Cantor-Bendixson ranks, a countable SFT whose subpattern poset contains an infinite descending chain and a countable SFT whose subpattern poset contains all finite posets. When possible, we make these constructions deterministic, and ensure the sets of rows are very simple as one-dimensional subshifts. △ Less

Submitted 2 October, 2013; originally announced October 2013.

Comments: 38 pages, 11 figures. Extended version of arXiv:1208.2756. To appear in Fundamenta Informaticae

Playing with Subshifts

Authors: Ville Salo, Ilkka Törmä

Abstract: We study the class of word-building games, where two players pick letters from a finite alphabet to construct a finite or infinite word. The outcome is determined by whether the resulting word lies in a prescribed set (a win for player $A$) or not (a win for player $B$). We focus on symbolic dynamical games, where the target set is a subshift. We investigate the relation between the target subshif… ▽ More We study the class of word-building games, where two players pick letters from a finite alphabet to construct a finite or infinite word. The outcome is determined by whether the resulting word lies in a prescribed set (a win for player $A$) or not (a win for player $B$). We focus on symbolic dynamical games, where the target set is a subshift. We investigate the relation between the target subshift and the set of turn orders for which $A$ has a winning strategy. △ Less

Submitted 2 October, 2013; originally announced October 2013.

Comments: 22 pages, 4 figures. To appear in Fundamenta Informaticae

Category Theory of Symbolic Dynamics

Authors: Ville Salo, Ilkka Törmä

Abstract: We study the central objects of symbolic dynamics, that is, subshifts and block maps, from the perspective of basic category theory, and present several natural categories with subshifts as objects and block maps as morphisms. Our main goals are to find universal objects in these symbolic categories, to classify their block maps based on their category theoretic properties, and to establish as man… ▽ More We study the central objects of symbolic dynamics, that is, subshifts and block maps, from the perspective of basic category theory, and present several natural categories with subshifts as objects and block maps as morphisms. Our main goals are to find universal objects in these symbolic categories, to classify their block maps based on their category theoretic properties, and to establish as many natural properties (finite completeness, regularity etc.) as possible. Existing definitions in category theory suggest interesting new problems for block maps. Our main technical contributions are the solution to the dual problem of the Extension Lemma and results on certain types of conserved quantities, suggested by the concept of a coequalizer. △ Less

Submitted 3 June, 2018; v1 submitted 10 September, 2013; originally announced September 2013.

Comments: 36 pages, 1 table. Published in Theoretical Computer Science

Block Maps between Primitive Uniform and Pisot Substitutions

Authors: Ville Salo, Ilkka Törmä

Abstract: In this article, we prove that for all pairs of primitive Pisot or uniform substitutions with the same dominating eigenvalue, there exists a finite set of block maps such that every block map between the corresponding subshifts is an element of this set, up to a shift. In this article, we prove that for all pairs of primitive Pisot or uniform substitutions with the same dominating eigenvalue, there exists a finite set of block maps such that every block map between the corresponding subshifts is an element of this set, up to a shift. △ Less

Submitted 17 March, 2014; v1 submitted 17 June, 2013; originally announced June 2013.

Comments: 21 pages. Minor corrections to grammar and some proofs. To appear in Ergodic Theory and Dynamical Systems after editorial input by Cambridge University Press. Copyright held by Cambridge University Press

Topology Inspired Problems for Cellular Automata, and a Counterexample in Topology

Authors: Ville Salo, Ilkka Törmä

Abstract: We consider two relatively natural topologizations of the set of all cellular automata on a fixed alphabet. The first turns out to be rather pathological, in that the countable space becomes neither first-countable nor sequential. Also, reversible automata form a closed set, while surjective ones are dense. The second topology, which is induced by a metric, is studied in more detail. Continuity of… ▽ More We consider two relatively natural topologizations of the set of all cellular automata on a fixed alphabet. The first turns out to be rather pathological, in that the countable space becomes neither first-countable nor sequential. Also, reversible automata form a closed set, while surjective ones are dense. The second topology, which is induced by a metric, is studied in more detail. Continuity of composition (under certain restrictions) and inversion, as well as closedness of the set of surjective automata, are proved, and some counterexamples are given. We then generalize this space, in the sense that every shift-invariant measure on the configuration space induces a pseudometric on cellular automata, and study the properties of these spaces. We also characterize the pseudometric spaces using the Besicovitch distance, and show a connection to the first (pathological) space. △ Less

Submitted 14 August, 2012; originally announced August 2012.

Comments: In Proceedings AUTOMATA&JAC 2012, arXiv:1208.2498

ACM Class: F.1.1

Journal ref: EPTCS 90, 2012, pp. 53-68

Geometry and Dynamics of the Besicovitch and Weyl Spaces

Authors: Ville Salo, Ilkka Törmä

Abstract: We study the geometric properties of Cantor subshifts in the Besicovitch space, proving that sofic shifts occupy exactly the homotopy classes of simplicial complexes. In addition, we study canonical projections into subshifts, characterize the cellular automata that are contracting or isometric in the Besicovitch or Weyl spaces, study continuous functions that locally look like cellular automata,… ▽ More We study the geometric properties of Cantor subshifts in the Besicovitch space, proving that sofic shifts occupy exactly the homotopy classes of simplicial complexes. In addition, we study canonical projections into subshifts, characterize the cellular automata that are contracting or isometric in the Besicovitch or Weyl spaces, study continuous functions that locally look like cellular automata, and present a new proof for the nonexistence of transitive cellular automata in the Besicovitch space. △ Less

Submitted 24 April, 2012; originally announced April 2012.

Comments: 15 pages. Submitted to DLT 2012

On Shift Spaces with Algebraic Structure

Authors: Ville Salo, Ilkka Törmä

Abstract: We investigate subshifts with a general algebraic structure and cellular automata on them, with an emphasis on (order-theoretic) lattices. Our main results concern the characterization of Boolean algebraic subshifts, conditions for algebraic subshifts to be recoded into cellwise algebras and the limit dynamics of homomorphic cellular automata on lattice subshifts. We investigate subshifts with a general algebraic structure and cellular automata on them, with an emphasis on (order-theoretic) lattices. Our main results concern the characterization of Boolean algebraic subshifts, conditions for algebraic subshifts to be recoded into cellwise algebras and the limit dynamics of homomorphic cellular automata on lattice subshifts. △ Less

Submitted 30 March, 2012; originally announced March 2012.

Comments: 12 pages. A shortened version accepted for publication in the proceedings of Computability in Europe 2012