Showing 1–17 of 17 results for author: Rust, D

Monochromatic arithmetic progressions in the Fibonacci, Thue-Morse, and Rudin-Shapiro words

Authors: Gandhar Joshi, Dan Rust

Abstract: We investigate the lengths and starting positions of the longest monochromatic arithmetic progressions for a fixed difference in the Fibonacci word. We provide a complete classification for their lengths in terms of a simple formula. Our strongest results are proved using methods from dynamical systems, especially the dynamics of circle rotations. We also employ computer-based methods in the form… ▽ More We investigate the lengths and starting positions of the longest monochromatic arithmetic progressions for a fixed difference in the Fibonacci word. We provide a complete classification for their lengths in terms of a simple formula. Our strongest results are proved using methods from dynamical systems, especially the dynamics of circle rotations. We also employ computer-based methods in the form of the automatic theorem-proving software Walnut. This allows us to extend recent results concerning similar questions for the Thue-Morse word and the Rudin-Shapiro word. This also allows us to obtain some results for the Fibonacci word that do not seem to be amenable to dynamical methods. △ Less

Submitted 11 June, 2025; v1 submitted 10 January, 2025; originally announced January 2025.

Comments: Changes made to address feedback from anonymous referee. Accepted for publication in Theoretical Computer Science

MSC Class: 52C23; 37B10; 11B85; 68Q45

Rauzy fractals of random substitutions

Authors: Philipp Gohlke, Andrew Mitchell, Dan Rust, Tony Samuel

Abstract: We develop a theory of Rauzy fractals for random substitutions, which are a generalisation of deterministic substitutions where the substituted image of a letter is determined by a Markov process. We show that a Rauzy fractal can be associated with a given random substitution in a canonical manner, under natural assumptions on the random substitution. Further, we show the existence of a natural me… ▽ More We develop a theory of Rauzy fractals for random substitutions, which are a generalisation of deterministic substitutions where the substituted image of a letter is determined by a Markov process. We show that a Rauzy fractal can be associated with a given random substitution in a canonical manner, under natural assumptions on the random substitution. Further, we show the existence of a natural measure supported on the Rauzy fractal, which we call the Rauzy measure, that captures geometric and dynamical information. We provide several different constructions for the Rauzy fractal and Rauzy measure, which we show coincide, and ascertain various analytic, dynamical and geometric properties. While the Rauzy fractal is independent of the choice of (non-degenerate) probabilities assigned to a given random substitution, the Rauzy measure captures the explicit choice of probabilities. Moreover, Rauzy measures vary continuously with the choice of probabilities, thus provide a natural means of interpolating between Rauzy fractals of deterministic substitutions. △ Less

Submitted 12 January, 2024; originally announced January 2024.

Comments: 30 pages, 4 figures

MSC Class: 52C23; 28A80; 37A50; 37B10

Corner the Empress

Authors: Robbert Fokkink, Gerard Francis Ortega, Dan Rust

Abstract: Wythoff Nim aka Corner the Lady is a classic combinatorial game. A Queen is placed on an infinite chess board and two players take alternate turns, moving the Queen closer to the corner. The first player that corners the Queen wins. What happens if the Queen gets superior powers and is able to go off diagonal? In this paper we study the intriguing patterns that emerge from such games. Wythoff Nim aka Corner the Lady is a classic combinatorial game. A Queen is placed on an infinite chess board and two players take alternate turns, moving the Queen closer to the corner. The first player that corners the Queen wins. What happens if the Queen gets superior powers and is able to go off diagonal? In this paper we study the intriguing patterns that emerge from such games. △ Less

Submitted 8 December, 2022; v1 submitted 25 April, 2022; originally announced April 2022.

Comments: 7 pages and 2 figures

MSC Class: 91A46; 68R15

Substitutions on compact alphabets

Authors: Neil Mañibo, Dan Rust, James J. Walton

Abstract: We develop a systematic approach to continuous substitutions on compact Hausdorff alphabets. Focussing on implications of irreducibility and primitivity, we highlight important features of the topological dynamics of their (generalised) subshifts. We then reframe questions from ergodic theory in terms of spectral properties of a corresponding substitution operator. This requires an extension of st… ▽ More We develop a systematic approach to continuous substitutions on compact Hausdorff alphabets. Focussing on implications of irreducibility and primitivity, we highlight important features of the topological dynamics of their (generalised) subshifts. We then reframe questions from ergodic theory in terms of spectral properties of a corresponding substitution operator. This requires an extension of standard Perron--Frobenius theory to the setting of Banach lattices. As an application, we identify computable criteria that guarantee quasi-compactness of the substitution operator. This allows unique ergodicity to be verified for several classes of examples. For instance, it follows that every primitive and constant length substitution on an alphabet with an isolated point is uniquely ergodic, a result which fails when there are no isolated points. △ Less

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

Comments: 51 pages, 1 figure. Some minor typos fixed and routine proofs removed from S2. To appear (without section on higher dimensions) in Journal of the LMS

MSC Class: 37B10; 47B65; 52C23

Automorphism groups of random substitution subshifts

Authors: Robbert Fokkink, Dan Rust, Ville Salo

Abstract: We prove that for a suitably nice class of random substitutions, their corresponding subshifts have automorphism groups that contain an infinite simple subgroup and a copy of the automorphism group of a full shift. Hence, they are countable, non-amenable and non-residually finite. To show this, we introduce the concept of shuffles and generalised shuffles for random substitutions, as well as a loc… ▽ More We prove that for a suitably nice class of random substitutions, their corresponding subshifts have automorphism groups that contain an infinite simple subgroup and a copy of the automorphism group of a full shift. Hence, they are countable, non-amenable and non-residually finite. To show this, we introduce the concept of shuffles and generalised shuffles for random substitutions, as well as a local version of recognisability for random substitutions that will be of independent interest. Without recognisability, we need a more refined notion of recognisable words in order to understand their automorphisms. We show that the existence of a single recognisable word is often enough to embed the automorphism group of a full shift in the automorphism group of the random substitution subshift. △ Less

Submitted 12 September, 2023; v1 submitted 25 March, 2022; originally announced March 2022.

MSC Class: 37B10; 37A50; 37B40; 52C23

Spectral properties of substitutions on compact alphabets

Authors: Neil Mañibo, Dan Rust, James J. Walton

Abstract: We consider substitutions on compact alphabets and provide sufficient conditions for the diffraction to be pure point, absolutely continuous and singular continuous. This allows one to construct examples for which the Koopman operator on the associated function space has specific spectral components. For abelian bijective substitutions, we provide a dichotomy result regarding the spectral type of… ▽ More We consider substitutions on compact alphabets and provide sufficient conditions for the diffraction to be pure point, absolutely continuous and singular continuous. This allows one to construct examples for which the Koopman operator on the associated function space has specific spectral components. For abelian bijective substitutions, we provide a dichotomy result regarding the spectral type of the diffraction. We also provide the first example of a substitution that has countably infinite Lebesgue spectral components and countably infinite singular continuous components. Lastly, we give a non-constant length substitution on a countably infinite alphabet that gives rise to substitutive Delone sets of infinite type. This extends the spectral theory of substitutions on finite alphabets and Delone sets of finite type with inflation symmetry. △ Less

Submitted 6 September, 2022; v1 submitted 3 August, 2021; originally announced August 2021.

Comments: 16 pages (improved version)

MSC Class: 37B10; 37A30; 52C23; 42A16

Measure theoretic entropy of random substitution subshifts

Authors: Philipp Gohlke, Andrew Mitchell, Dan Rust, Tony Samuel

Abstract: Subshifts of deterministic substitutions are ubiquitous objects in dynamical systems and aperiodic order (the mathematical theory of quasicrystals). Two of their most striking features are that they have low complexity (zero topological entropy) and are uniquely ergodic. Random substitutions are a generalisation of deterministic substitutions where the substituted image of a letter is determined b… ▽ More Subshifts of deterministic substitutions are ubiquitous objects in dynamical systems and aperiodic order (the mathematical theory of quasicrystals). Two of their most striking features are that they have low complexity (zero topological entropy) and are uniquely ergodic. Random substitutions are a generalisation of deterministic substitutions where the substituted image of a letter is determined by a Markov process. In stark contrast to their deterministic counterparts, subshifts of random substitutions often have positive topological entropy, and support uncountably many ergodic measures. The underlying Markov process singles out one of the ergodic measures, called the frequency measure. Here, we develop new techniques for computing and studying the entropy of these frequency measures. As an application of our results, we obtain closed form formulas for the entropy of frequency measures for a wide range of random substitution subshifts and show that in many cases there exists a frequency measure of maximal entropy. Further, for a class of random substitution subshifts, we prove that this measure is the unique measure of maximal entropy. These subshifts do not satisfy Bowen's specification property or the weaker specification property of Climenhaga and Thompson and hence provide an interesting new class of intrinsically ergodic subshifts. △ Less

Submitted 20 June, 2022; v1 submitted 24 May, 2021; originally announced May 2021.

Comments: 31 pages, 2 figures. Relaxed assumptions in main result

MSC Class: 37B10; 37A25; 37A50; 52C23

Topological Mixing of Random Substitutions

Authors: Eden Miro, Dan Rust, Lorenzo Sadun, Gwendolyn S. Tadeo

Abstract: We investigate topological mixing of compatible random substitutions. For primitive random substitutions on two letters whose second eigenvalue is greater than one in modulus, we identify a simple, computable criterion which is equivalent to topological mixing of the associated subshift. This generalises previous results on deterministic substitutions. In the case of recognisable, irreducible Piso… ▽ More We investigate topological mixing of compatible random substitutions. For primitive random substitutions on two letters whose second eigenvalue is greater than one in modulus, we identify a simple, computable criterion which is equivalent to topological mixing of the associated subshift. This generalises previous results on deterministic substitutions. In the case of recognisable, irreducible Pisot random substitutions, we show that the associated subshift is not topologically mixing. Without recognisability, we rely on more specialised methods for excluding mixing and we apply these methods to show that the random Fibonacci substitution subshift is not topologically mixing. △ Less

Submitted 3 March, 2021; originally announced March 2021.

MSC Class: 37B10; 37B52; 37A25

Zeckendorf representations and mixing properties of sequences

Authors: Neil Manibo, Eden Miro, Dan Rust, Gwendolyn S. Tadeo

Abstract: We use generalised Zeckendorf representations of natural numbers to investigate mixing properties of symbolic dynamical systems. The systems we consider consist of bi-infinite sequences associated with so-called random substitutions. We focus on random substitutions associated with the Fibonacci, tribonacci and metallic mean numbers and take advantage of their respective numeration schemes. We use generalised Zeckendorf representations of natural numbers to investigate mixing properties of symbolic dynamical systems. The systems we consider consist of bi-infinite sequences associated with so-called random substitutions. We focus on random substitutions associated with the Fibonacci, tribonacci and metallic mean numbers and take advantage of their respective numeration schemes. △ Less

Submitted 3 December, 2019; originally announced December 2019.

MSC Class: 11B39; 37A25; 37B10

A modification of Wythoff's Nim

Authors: Robbert Fokkink, Dan Rust

Abstract: We modify Wythoff's game by allowing an additional move, which we call a "split", and show how the $P$-positions are coded by the Tribonacci word. We analyze the table of letter positions of arbitrary $k$-bonacci words and find a $\mathrm{mex}$-rule that generates the Quadribonacci table. We modify Wythoff's game by allowing an additional move, which we call a "split", and show how the $P$-positions are coded by the Tribonacci word. We analyze the table of letter positions of arbitrary $k$-bonacci words and find a $\mathrm{mex}$-rule that generates the Quadribonacci table. △ Less

Submitted 18 November, 2019; v1 submitted 17 April, 2019; originally announced April 2019.

MSC Class: 91A46; 68R15

Periodic points in random substitution subshifts

Authors: Dan Rust

Abstract: We study various aspects of periodic points for random substitution subshifts. In order to do so, we introduce a new property for random substitutions called the disjoint images condition. We provide a procedure for determining the property for compatible random substitutions-random substitutions for which a well-defined abelianisation exists. We find some simple necessary criteria for primitive,… ▽ More We study various aspects of periodic points for random substitution subshifts. In order to do so, we introduce a new property for random substitutions called the disjoint images condition. We provide a procedure for determining the property for compatible random substitutions-random substitutions for which a well-defined abelianisation exists. We find some simple necessary criteria for primitive, compatible random substitutions to admit periodic points in their subshifts. In the case that the random substitution further has disjoint images and is of constant length, we provide a stronger criterion. A method is outlined for enumerating periodic points of any specified length in a random substitution subshift. △ Less

Submitted 17 August, 2018; originally announced August 2018.

MSC Class: 37B10; 37A50; 37B40; 52C23

Shifts of finite type and random substitutions

Authors: Philipp Gohlke, Dan Rust, Timo Spindeler

Abstract: We prove that every topologically transitive shift of finite type in one dimension is topologically conjugate to a subshift arising from a primitive random substitution on a finite alphabet. As a result, we show that the set of values of topological entropy which can be attained by random substitution subshifts contains all Perron numbers and so is dense in the positive real numbers. We also provi… ▽ More We prove that every topologically transitive shift of finite type in one dimension is topologically conjugate to a subshift arising from a primitive random substitution on a finite alphabet. As a result, we show that the set of values of topological entropy which can be attained by random substitution subshifts contains all Perron numbers and so is dense in the positive real numbers. We also provide an independent proof of this density statement using elementary methods. △ Less

Submitted 14 December, 2017; originally announced December 2017.

MSC Class: 37B10; 37A50; 37B40; 52C23

Journal ref: Discrete Contin. Dyn. Syst. 39 (2019) 5085--5103

Dynamical systems arising from random substitutions

Authors: Dan Rust, Timo Spindeler

Abstract: Random substitutions are a natural generalisation of their classical `deterministic' counterpart, whereby at every step of iterating the substitution, instead of replacing a letter with a predetermined word, every letter is independently replaced by a word from a finite set of possible words according to a probability distribution. We discuss the subshifts associated with such substitutions and ex… ▽ More Random substitutions are a natural generalisation of their classical `deterministic' counterpart, whereby at every step of iterating the substitution, instead of replacing a letter with a predetermined word, every letter is independently replaced by a word from a finite set of possible words according to a probability distribution. We discuss the subshifts associated with such substitutions and explore the dynamical and ergodic properties of these systems in order to establish the groundwork for their systematic study. Among other results, we show under reasonable conditions that such systems are topologically transitive, have either empty or dense sets of periodic points, have dense sets of linearly repetitive elements, are rarely strictly ergodic, and have positive topological entropy. △ Less

Submitted 31 July, 2017; originally announced July 2017.

MSC Class: 37B10; 37A50; 37B40; 37A25

Computations for symbolic substitutions

Authors: Dan Rust, Scott Balchin

Abstract: We provide a survey of results from symbolic dynamics and algebraic topology relating to Grout, a new user-friendly program developed to calculate combinatorial properties and topological invariants of a large class of symbolic substitutions. We study their subshifts (and related spaces) with an emphasis on examples of computations. We implement a check to verify that no counterexample exists to t… ▽ More We provide a survey of results from symbolic dynamics and algebraic topology relating to Grout, a new user-friendly program developed to calculate combinatorial properties and topological invariants of a large class of symbolic substitutions. We study their subshifts (and related spaces) with an emphasis on examples of computations. We implement a check to verify that no counterexample exists to the so-called "strong coincidence conjecture" for a large number of substitutions on three and four letters. △ Less

Submitted 30 May, 2017; originally announced May 2017.

Comments: arXiv admin note: text overlap with arXiv:1512.00398

MSC Class: 37B10; 52C23; 54H20; 55N05; 68R15

Journal ref: Journal of Integer Sequences, Vol. 20 (2017), Article 17.4.1

Beyond primitivity for one-dimensional substitution subshifts and tiling spaces

Authors: Gregory R. Maloney, Dan Rust

Abstract: We study the topology and dynamics of subshifts and tiling spaces associated to non-primitive substitutions in one dimension. We identify a property of a substitution, which we call tameness, in the presence of which most of the possible pathological behaviours of non-minimal substitutions cannot occur. We find a characterization of tameness, and use this to prove a slightly stronger version of a… ▽ More We study the topology and dynamics of subshifts and tiling spaces associated to non-primitive substitutions in one dimension. We identify a property of a substitution, which we call tameness, in the presence of which most of the possible pathological behaviours of non-minimal substitutions cannot occur. We find a characterization of tameness, and use this to prove a slightly stronger version of a result of Durand, which says that the subshift of a minimal substitution is topologically conjugate to the subshift of a primitive substitution. We then extend to the non-minimal setting a result obtained by Anderson and Putnam for primitive substitutions, which says that a substitution tiling space is homeomorphic to an inverse limit of a certain finite graphx under a self-map induced by the substitution. We use this result to explore the structure of the lattice of closed invariant subspaces and quotients of a substitution tiling space, for which we compute cohomological invariants that are stronger that the Čech cohomology of the tiling space alone. △ Less

Submitted 17 July, 2017; v1 submitted 5 April, 2016; originally announced April 2016.

Comments: Minor tweaks reflecting referee comments. To appear in Ergodic Theory and Dynamical Systems

MSC Class: 37B10; 55N05; 54H20; 37B50; 52C23

Grout: A 1-Dimensional Substitution Tiling Space Program

Authors: Scott Balchin, Dan Rust

Abstract: We introduce a GUI fronted program that can compute combinatorial properties and topological invariants of recognisable and primitive symbolic substitutions on finite alphabets and their associated tiling spaces. We introduce theory from the study of aperiodic 1-dimensional tilings along with pseudocode highlighting the algorithms that we have implemented into the GUI. Grout is written using C++ a… ▽ More We introduce a GUI fronted program that can compute combinatorial properties and topological invariants of recognisable and primitive symbolic substitutions on finite alphabets and their associated tiling spaces. We introduce theory from the study of aperiodic 1-dimensional tilings along with pseudocode highlighting the algorithms that we have implemented into the GUI. Grout is written using C++ and its standard library. △ Less

Submitted 1 December, 2015; originally announced December 2015.

MSC Class: 37B10; 55N05; 54H20; 37B50; 52C23

An uncountable set of tiling spaces with distinct cohomology

Authors: Dan Rust

Abstract: We generalise the notion of a Barge-Diamond complex, in the one-dimensional case, to a mixed system of tiling substitutions. This gives a way of describing the associated tiling space as an inverse limit of Barge-Diamond complexes. We give an effective method for calculating the Čech cohomology of the tiling space via an exact sequence relating the associated sequence of substitution matrices and… ▽ More We generalise the notion of a Barge-Diamond complex, in the one-dimensional case, to a mixed system of tiling substitutions. This gives a way of describing the associated tiling space as an inverse limit of Barge-Diamond complexes. We give an effective method for calculating the Čech cohomology of the tiling space via an exact sequence relating the associated sequence of substitution matrices and certain subcomplexes appearing in the approximants. As an application, we show that there exists a system of three substitutions on two letters which exhibit an uncountable collection of minimal tiling spaces with distinct isomorphism classes of Čech cohomology. △ Less

Submitted 18 November, 2014; originally announced November 2014.

Comments: 22 pages