Showing 1–40 of 40 results for author: Yassawi, R

Obstacles to Topological Factoring of Toeplitz shifts

Authors: Maryam Hosseini, Reem Yassawi

Abstract: For every Toeplitz sequence $x$ with period structure $(q_i)_{i\geq 1}$, one can identify a period structure ${\bf p}=(p_i)_{i\geq 0}$ which leads to a Bratteli-Vershik realization of the associated Toeplitz shift; we refer to this period structure as {\it constructive}. Let $(X,σ,x)$ and $(Y,σ,y)$ be Toeplitz shifts where $x\in X$ and $y\in Y$ are Toeplitz sequences with constructive period struc… ▽ More For every Toeplitz sequence $x$ with period structure $(q_i)_{i\geq 1}$, one can identify a period structure ${\bf p}=(p_i)_{i\geq 0}$ which leads to a Bratteli-Vershik realization of the associated Toeplitz shift; we refer to this period structure as {\it constructive}. Let $(X,σ,x)$ and $(Y,σ,y)$ be Toeplitz shifts where $x\in X$ and $y\in Y$ are Toeplitz sequences with constructive period structures $(p^n)_{n\geq 1}$ and $(q^n)_{n\geq 1}$, respectively. Using the Bratteli-Vershik realization of factor maps between Toeplitz shifts, we prove that if there exists a topological factoring $ π:(X,σ)\rightarrow (Y,σ)$ with $π(x)=y$, then $q\mid p$. In particular, if $π$ is conjugacy, then $p=q$. We also prove that Toeplitz sequences are mapped to Toeplitz sequences through topological factorings. △ Less

Submitted 16 February, 2025; v1 submitted 5 December, 2024; originally announced December 2024.

Comments: 26 pages, 5 figures

MSC Class: 37B10; 37B05

Algebraic power series and their automatic complexity II: modulo prime powers

Authors: Eric Rowland, Reem Yassawi

Abstract: Christol and, independently, Denef and Lipshitz showed that an algebraic sequence of $p$-adic integers (or integers) is $p$-automatic when reduced modulo $p^α$. Previously, the best known bound on the minimal automaton size for such a sequence was doubly exponential in $α$. We improve this bound to the order of $p^{α^3 h d}$, where $h$ and $d$ are the height and degree of the minimal annihilating… ▽ More Christol and, independently, Denef and Lipshitz showed that an algebraic sequence of $p$-adic integers (or integers) is $p$-automatic when reduced modulo $p^α$. Previously, the best known bound on the minimal automaton size for such a sequence was doubly exponential in $α$. We improve this bound to the order of $p^{α^3 h d}$, where $h$ and $d$ are the height and degree of the minimal annihilating polynomial modulo $p$. We achieve this bound by showing that all states in the automaton are naturally represented in a new numeration system. This significantly restricts the set of possible states. Since our approach embeds algebraic sequences as diagonals of rational functions, we also obtain bounds more generally for diagonals of multivariate rational functions. △ Less

Submitted 20 September, 2024; v1 submitted 1 August, 2024; originally announced August 2024.

Comments: 43 pages, 1 figure, 2 tables; includes discussions of related results due to Beukers and Straub

A dynamical view of Tijdeman's solution of the chairman assignment problem

Authors: Valérie Berthé, Olivier Carton, Nicolas Chevallier, Wolfgang Steiner, Reem Yassawi

Abstract: In 1980, R. Tijdeman provided an on-line algorithm that generates sequences over a finite alphabet with minimal discrepancy, that is, such that the occurrence of each letter optimally tracks its frequency. In this article, we define discrete dynamical systems generating these sequences. The dynamical systems are defined as exchanges of polytopal pieces, yielding cut and project schemes, and they… ▽ More In 1980, R. Tijdeman provided an on-line algorithm that generates sequences over a finite alphabet with minimal discrepancy, that is, such that the occurrence of each letter optimally tracks its frequency. In this article, we define discrete dynamical systems generating these sequences. The dynamical systems are defined as exchanges of polytopal pieces, yielding cut and project schemes, and they code tilings of the line whose sets of vertices form model sets. We prove that these sequences of low discrepancy are natural codings of toral translations with respect to polytopal atoms, and that they generate a minimal and uniquely ergodic subshift with purely discrete spectrum. Finally, we show that the factor complexity of these sequences is of polynomial growth order $n^{d-1}$, where $d$ is the cardinality of the alphabet. △ Less

Submitted 17 January, 2025; v1 submitted 14 May, 2024; originally announced May 2024.

Journal ref: Comb. Number Th. 13 (2024) 377-412

Mahler equations for Zeckendorf numeration

Authors: Olivier Carton, Reem Yassawi

Abstract: We define generalised equations of Z-Mahler type, based on the Zeckendorf numeration system. We show that if a sequence over a commutative ring is Z-regular, then it is the sequence of coefficients of a series which is a solution of a Z-Mahler equation. Conversely, if the Z-Mahler equation is isolating, then its solutions define Z-regular sequences. This is a generalisation of results of Becker an… ▽ More We define generalised equations of Z-Mahler type, based on the Zeckendorf numeration system. We show that if a sequence over a commutative ring is Z-regular, then it is the sequence of coefficients of a series which is a solution of a Z-Mahler equation. Conversely, if the Z-Mahler equation is isolating, then its solutions define Z-regular sequences. This is a generalisation of results of Becker and Dumas. We provide an example to show that there exist non-isolating Z-Mahler equations whose solutions do not define Z-regular sequences. Our proof yields a new construction of weighted automata that generate classical q-regular sequences. △ Less

Submitted 3 May, 2024; originally announced May 2024.

Comments: 33 pages, 6 figures

MSC Class: 11B85; 68Q45

Meyer sets, Pisot numbers, and self-similarity in symbolic dynamical systems

Authors: Valérie Berthé, Reem Yassawi

Abstract: Aperiodic order refers to the mathematical formalisation of quasicrystals. Substitutions and cut and project sets are among their main actors; they also play a key role in the study of dynamical systems, whether they are symbolic, generated by tilings, or point sets. We focus here on the relations between quasicrystals and self-similarity from an arithmetical and dynamical viewpoint, illustrating… ▽ More Aperiodic order refers to the mathematical formalisation of quasicrystals. Substitutions and cut and project sets are among their main actors; they also play a key role in the study of dynamical systems, whether they are symbolic, generated by tilings, or point sets. We focus here on the relations between quasicrystals and self-similarity from an arithmetical and dynamical viewpoint, illustrating how efficiently aperiodic order irrigates various domains of mathematics and theoretical computer science, on a journey from Diophantine approximation to computability theory. In particular, we see how Pisot numbers allow the definition of simple model sets, and how they also intervene for scaling factors for invariance by multiplication of Meyer sets. We focus in particular on the characterisation due to Yves Meyer: any Pisot or Salem number is a parameter of dilation that preserves some Meyer set. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Comments: An expository article. 25 pages, 2 figures. To appear, Documents mathématiques 22, 2024

MSC Class: 37B10; 37B52; 37A05; 52C23; 37E05; 11K16; 42A32; 43A45; 68R15; 03D80; 11R06

An elementary proof of Bridy's theorem

Authors: Eric Rowland, Manon Stipulanti, Reem Yassawi

Abstract: Christol's theorem states that a power series with coefficients in a finite field is algebraic if and only if its coefficient sequence is automatic. A natural question is how the size of a polynomial describing such a sequence relates to the size of an automaton describing the same sequence. Bridy used tools from algebraic geometry to bound the size of the minimal automaton for a sequence, given i… ▽ More Christol's theorem states that a power series with coefficients in a finite field is algebraic if and only if its coefficient sequence is automatic. A natural question is how the size of a polynomial describing such a sequence relates to the size of an automaton describing the same sequence. Bridy used tools from algebraic geometry to bound the size of the minimal automaton for a sequence, given its minimal polynomial. We produce a new proof of Bridy's bound by embedding algebraic sequences as diagonals of rational functions. △ Less

Submitted 26 March, 2025; v1 submitted 21 August, 2023; originally announced August 2023.

Comments: 31 pages, 2 figures, 2 tables; publication version

MSC Class: 11B85; 13F25; 14H05

Almost automorphic and bijective factors of substitution shifts

Authors: Alvaro Bustos-Gajardo, Johannes Kellendonk, Reem Yassawi

Abstract: In this article we completely characterise constant length substitution shifts which have an almost automorphic factor, or which have a bijective substitution factor. Our approach is algebraic: we study these dynamical properties in terms of a finite semigroup defined by the substitution. We characterise the existence of almost automorphic factors in terms of Green's R-relation, and the existence… ▽ More In this article we completely characterise constant length substitution shifts which have an almost automorphic factor, or which have a bijective substitution factor. Our approach is algebraic: we study these dynamical properties in terms of a finite semigroup defined by the substitution. We characterise the existence of almost automorphic factors in terms of Green's R-relation, and the existence of bijective factors in terms of Green's L-relation. Our results are constructive. △ Less

Submitted 4 July, 2023; originally announced July 2023.

Comments: 36 pages

MSC Class: 37B02; 37B10; 37B52; 20M10; 20M35

Semicocycle discontinuities for substitutions and reverse-reading automata

Authors: Gandhar Joshi, Reem Yassawi

Abstract: In this article we define the semigroup associated to a substitution. We use it to construct a minimal automaton which generates a substitution sequence u in reverse reading. We show, in the case where the substitution has a coincidence, that this automaton completely describes the semicocycle discontinuities of u. In this article we define the semigroup associated to a substitution. We use it to construct a minimal automaton which generates a substitution sequence u in reverse reading. We show, in the case where the substitution has a coincidence, that this automaton completely describes the semicocycle discontinuities of u. △ Less

Submitted 14 March, 2023; v1 submitted 3 November, 2022; originally announced November 2022.

Comments: 17 pages, 2 figures. This second version is re-written and improved

Torsion-free $S$-adic shifts and their spectrum

Authors: Álvaro Bustos-Gajardo, Neil Mañibo, Reem Yassawi

Abstract: In this work we study $S$-adic shifts generated by sequences of morphisms that are constant-length. We call a sequence of constant-length morphisms torsion-free if any prime divisor of one of the lengths is a divisor of infinitely many of the lengths. We show that torsion-free directive sequences generate shifts that enjoy the property of quasi-recognizability which can be used as a substitute for… ▽ More In this work we study $S$-adic shifts generated by sequences of morphisms that are constant-length. We call a sequence of constant-length morphisms torsion-free if any prime divisor of one of the lengths is a divisor of infinitely many of the lengths. We show that torsion-free directive sequences generate shifts that enjoy the property of quasi-recognizability which can be used as a substitute for recognizability. Indeed quasi-recognizable directive sequences can be replaced by a recognizable directive sequence. With this, we give a finer description of the spectrum of shifts generated by torsion-free sequences defined on a sequence of alphabets of bounded size, in terms of extensions of the notions of height and column number. We illustrate our results throughout with examples that explain the subtleties that can arise. △ Less

Submitted 13 May, 2023; v1 submitted 5 September, 2022; originally announced September 2022.

Comments: Improved version. Several new remarks and examples added (Remarks 11 and 18, Example 13). 31 pages, to appear: Studia Mathematica

MSC Class: 37A05; 37B10; 37B52

Coboundaries and eigenvalues of finitary S-adic systems

Authors: Valérie Berthé, Paulina Cecchi Bernales, Reem Yassawi

Abstract: An S-adic system is a symbolic dynamical system generated by iterating an infinite sequence of substitutions or morphisms, called a directive sequence. A finitary S-adic dynamical system is one where the directive sequence consists of morphisms selected from a finite set. We study eigenvalues and coboundaries for finitary recognizable S-adic dynamical systems, i.e., those where points can be uniqu… ▽ More An S-adic system is a symbolic dynamical system generated by iterating an infinite sequence of substitutions or morphisms, called a directive sequence. A finitary S-adic dynamical system is one where the directive sequence consists of morphisms selected from a finite set. We study eigenvalues and coboundaries for finitary recognizable S-adic dynamical systems, i.e., those where points can be uniquely desubstituted using the given sequence of morphisms. To do this we identify the notions of straightness and essential words, and use them to define a coboundary, inspired by of Host's formalism, which allows us to express necessary and sufficient conditions that a complex number must satisfy in order to be a continuous or measurable eigenvalue. We then apply our results to finitary directive sequences of substitutions of constant length, and show how to create constant-length $S$-adic shifts with non-trivial coboundaries. We show that in this case all continuous eigenvalues are rational and we give a complete description of the rationals that can be an eigenvalue, indicating how this leads to a Cobham-style result for these systems. △ Less

Submitted 27 January, 2025; v1 submitted 15 February, 2022; originally announced February 2022.

Comments: Minor revisions. 41 pages

MSC Class: 37B10; 05A05

How to prove that a sequence is not automatic

Authors: J. -P. Allouche, J. Shallit, R. Yassawi

Abstract: Automatic sequences have many properties that other sequences (in particular, non-uniformly morphic sequences) do not necessarily share. In this paper we survey a number of different methods that can be used to prove that a given sequence is not automatic. When the sequences take their values in the finite field ${\mathbb F}_q$, this also permits proving that the associated formal power series are… ▽ More Automatic sequences have many properties that other sequences (in particular, non-uniformly morphic sequences) do not necessarily share. In this paper we survey a number of different methods that can be used to prove that a given sequence is not automatic. When the sequences take their values in the finite field ${\mathbb F}_q$, this also permits proving that the associated formal power series are transcendental over ${\mathbb F}_q(X)$. △ Less

Submitted 27 April, 2021; originally announced April 2021.

MSC Class: 11B85; 68R15;

Tame or wild Toeplitz shifts

Authors: Gabriel Fuhrmann, Johannes Kellendonk, Reem Yassawi

Abstract: We investigate tameness of Toeplitz shifts. By introducing the notion of extended Bratteli-Vershik diagrams, we show that such shifts with finite Toeplitz rank are tame if and only if there are at most countably many orbits of singular fibres over the maximal equicontinuous factor. The ideas are illustrated using the class of substitution subshifts. A body of elaborate examples shows that the assu… ▽ More We investigate tameness of Toeplitz shifts. By introducing the notion of extended Bratteli-Vershik diagrams, we show that such shifts with finite Toeplitz rank are tame if and only if there are at most countably many orbits of singular fibres over the maximal equicontinuous factor. The ideas are illustrated using the class of substitution subshifts. A body of elaborate examples shows that the assumptions of our results cannot be relaxed. △ Less

Submitted 12 November, 2020; v1 submitted 21 October, 2020; originally announced October 2020.

Comments: 30 pages, 3 figures. Minor revisions of the first version

MSC Class: 37B10; 54H15; 20M20

Journal ref: Ergod. Th. Dynam. Sys. 44 (2024) 1379-1417

Lucas congruences for the Apéry numbers modulo $p^2$

Authors: Eric Rowland, Reem Yassawi, Christian Krattenthaler

Abstract: The sequence $A(n)_{n \geq 0}$ of Apéry numbers can be interpolated to $\mathbb{C}$ by an entire function. We give a formula for the Taylor coefficients of this function, centered at the origin, as a $\mathbb{Z}$-linear combination of multiple zeta values. We then show that for integers $n$ whose base-$p$ digits belong to a certain set, $A(n)$ satisfies a Lucas congruence modulo $p^2$. The sequence $A(n)_{n \geq 0}$ of Apéry numbers can be interpolated to $\mathbb{C}$ by an entire function. We give a formula for the Taylor coefficients of this function, centered at the origin, as a $\mathbb{Z}$-linear combination of multiple zeta values. We then show that for integers $n$ whose base-$p$ digits belong to a certain set, $A(n)$ satisfies a Lucas congruence modulo $p^2$. △ Less

Submitted 26 January, 2021; v1 submitted 10 May, 2020; originally announced May 2020.

Comments: 13 pages, 1 figure; publication version

Journal ref: Integers 21 (2021) Article #A20 (15 pages)

The Ellis semigroup of bijective substitutions

Authors: Johannes Kellendonk, Reem Yassawi

Abstract: For topological dynamical systems $(X,T,σ)$ with abelian group $T$ which admit an equicontinuous factor $π:(X,T,σ)\to (Y,T,δ)$ the Ellis semigroup $E(X)$ is an extension of $Y$ by its subsemigroup $E^{fib}(X)$ of elements which preserve the fibres of $π$. We establish methods to compute $E^{fib}(X)$ and use them to determine the Ellis semigroup of dynamical systems arising from primitive aperiodic… ▽ More For topological dynamical systems $(X,T,σ)$ with abelian group $T$ which admit an equicontinuous factor $π:(X,T,σ)\to (Y,T,δ)$ the Ellis semigroup $E(X)$ is an extension of $Y$ by its subsemigroup $E^{fib}(X)$ of elements which preserve the fibres of $π$. We establish methods to compute $E^{fib}(X)$ and use them to determine the Ellis semigroup of dynamical systems arising from primitive aperiodic bijective substitutions. As an application we show that for these substitution shifts, the virtual automorphism group is isomorphic to the classical automorphism group. △ Less

Submitted 27 November, 2020; v1 submitted 15 August, 2019; originally announced August 2019.

Comments: In this version we improve substantially the description of the full Ellis semigroup $E(X)$. For primitive aperiodic bijective substitutions whose classical height coincides with its generalised height we show that $E(X)$ isomorphic to a semi-direct product of $E^{fib}(X)$ by $Y$

MSC Class: 37B15; 54H20; 20M10

A note on Christol's theorem

Authors: Boris Adamczewski, Reem Yassawi

Abstract: Christol's theorem characterises algebraic power series over finite fields in terms of finite automata. In a recent article, Bridy develops a new proof of Christol's theorem by Speyer, to obtain a tight quantitative version, that is, to bound the size of the corresponding automaton in terms of the height and degree of the power series, as well as the genus of the curve associated with the minimal… ▽ More Christol's theorem characterises algebraic power series over finite fields in terms of finite automata. In a recent article, Bridy develops a new proof of Christol's theorem by Speyer, to obtain a tight quantitative version, that is, to bound the size of the corresponding automaton in terms of the height and degree of the power series, as well as the genus of the curve associated with the minimal polynomial of the power series. Speyer's proof, and Bridy's development, both take place in the setting of algebraic geometry, in particular by considering Kähler differentials of the function field of the curve. In this note we show how an elementary approach, based on diagonals of bivariate rational functions, provides essentially the same bounds. △ Less

Submitted 20 June, 2019; originally announced June 2019.

Comments: 14 pages

MSC Class: 11B85

Automorphisms of automatic shifts

Authors: Clemens Müllner, Reem Yassawi

Abstract: In this article we continue the study of automorphism groups of constant length substitution shifts and also their topological factors. We show that up to conjugacy, all roots of the identity map are letter exchanging maps, and all other nontrivial automorphisms arise from {\em twisted} compressions of another constant length substitution. We characterise the group of roots of the identity in both… ▽ More In this article we continue the study of automorphism groups of constant length substitution shifts and also their topological factors. We show that up to conjugacy, all roots of the identity map are letter exchanging maps, and all other nontrivial automorphisms arise from {\em twisted} compressions of another constant length substitution. We characterise the group of roots of the identity in both the measurable and topological setting. Finally, we show that any topological factor of a constant length substitution shift is topologically conjugate to a constant length substitution shift via a letter-to-letter code. △ Less

Submitted 6 June, 2019; v1 submitted 1 April, 2019; originally announced April 2019.

Comments: 36 pages. We have added some results, mostly in Section 4, where we characterise the group of roots of the identity in the measurable as well as topological setting

MSC Class: Primary 37B10; 11B85; Secondary 37B05; 37B15

Journal ref: Ergod. Th. Dynam. Sys. 41 (2021) 1530-1559

Automaticity and invariant measures of linear cellular automata

Authors: Eric Rowland, Reem Yassawi

Abstract: We show that spacetime diagrams of linear cellular automata $Φ: {\mathbb F}_p^{\mathbb Z} \to {\mathbb F}_p^{\mathbb Z}$ with $(-p)$-automatic initial conditions are automatic. This extends existing results on initial conditions which are eventually constant. Each automatic spacetime diagram defines a $(σ, Φ)$-invariant subset of ${\mathbb F}_p^{\mathbb Z}$, where $σ$ is the left shift map, and if… ▽ More We show that spacetime diagrams of linear cellular automata $Φ: {\mathbb F}_p^{\mathbb Z} \to {\mathbb F}_p^{\mathbb Z}$ with $(-p)$-automatic initial conditions are automatic. This extends existing results on initial conditions which are eventually constant. Each automatic spacetime diagram defines a $(σ, Φ)$-invariant subset of ${\mathbb F}_p^{\mathbb Z}$, where $σ$ is the left shift map, and if the initial condition is not eventually periodic then this invariant set is nontrivial. For the Ledrappier cellular automaton we construct a family of nontrivial $(σ, Φ)$-invariant measures on ${\mathbb F}_3^{\mathbb Z}$. Finally, given a linear cellular automaton $Φ$, we construct a nontrivial $(σ, Φ)$-invariant measure on ${\mathbb F}_p^{\mathbb Z}$ for all but finitely many $p$. △ Less

Submitted 19 February, 2020; v1 submitted 3 November, 2018; originally announced November 2018.

Comments: 33 pages, 8 figures; fixed some typos

MSC Class: 11B85; 37B15

Journal ref: Can. J. Math.-J. Can. Math. 72 (2020) 1691-1726

Topological rigidity of linear cellular automaton shifts

Authors: Robert Fokkink, Reem Yassawi

Abstract: We prove that topologically isomorphic linear cellular automaton shifts are algebraically isomorphic. Using this, we show that two distinct such shifts cannot be isomorphic. We conclude that the automorphism group of a linear cellular automaton shift is a finitely generated abelian group. We prove that topologically isomorphic linear cellular automaton shifts are algebraically isomorphic. Using this, we show that two distinct such shifts cannot be isomorphic. We conclude that the automorphism group of a linear cellular automaton shift is a finitely generated abelian group. △ Less

Submitted 23 May, 2018; v1 submitted 9 January, 2018; originally announced January 2018.

Comments: 10 pages, 1 figure. minor changes made

MSC Class: 37B10; 37B05; 37B15

Recognizability for sequences of morphisms

Authors: Valérie Berthé, Wolfgang Steiner, Jörg Thuswaldner, Reem Yassawi

Abstract: We investigate different notions of recognizability for a free monoid morphism $σ: \mathcal{A}^* \to \mathcal{B}^*$. Full recognizability occurs when each (aperiodic) point in $\mathcal{B}^\mathbb{Z}$ admits at most one tiling with words $σ(a)$, $a \in \mathcal{A}$. This is stronger than the classical notion of recognizability of a substitution $σ: \mathcal{A}^*\to\mathcal{A}^*$, where the tiling… ▽ More We investigate different notions of recognizability for a free monoid morphism $σ: \mathcal{A}^* \to \mathcal{B}^*$. Full recognizability occurs when each (aperiodic) point in $\mathcal{B}^\mathbb{Z}$ admits at most one tiling with words $σ(a)$, $a \in \mathcal{A}$. This is stronger than the classical notion of recognizability of a substitution $σ: \mathcal{A}^*\to\mathcal{A}^*$, where the tiling must be compatible with the language of the substitution. We show that if $|\mathcal A|=2$, or if $σ$'s incidence matrix has rank $|\mathcal A|$, or if $σ$ is permutative, then $σ$ is fully recognizable. Next we investigate the classical notion of recognizability and improve earlier results of Mossé (1992) and Bezuglyi, Kwiatkowski and Medynets (2009), by showing that any substitution is recognizable for aperiodic points in its substitutive shift. Finally we define recognizability and also eventual recognizability for sequences of morphisms which define an $S$-adic shift. We prove that a sequence of morphisms on alphabets of bounded size, such that compositions of consecutive morphisms are growing on all letters, is eventually recognizable for aperiodic points. We provide examples of eventually recognizable, but not recognizable, sequences of morphisms, and sequences of morphisms which are not eventually recognizable. As an application, for a recognizable sequence of morphisms, we obtain an almost everywhere bijective correspondence between the $S$-adic shift it generates, and the measurable Bratteli-Vershik dynamical system that it defines. △ Less

Submitted 22 May, 2020; v1 submitted 29 April, 2017; originally announced May 2017.

Comments: Final version

MSC Class: 37B10 37A05 68R15

Reversing and extended symmetries of shift spaces

Authors: Michael Baake, John Roberts, Reem Yassawi

Abstract: The reversing symmetry group is considered in the setting of symbolic dynamics. While this group is generally too big to be analysed in detail, there are interesting cases with some form of rigidity where one can determine all symmetries and reversing symmetries explicitly. They include Sturmian shifts as well as classic examples such as the Thue--Morse system with various generalisations or the R… ▽ More The reversing symmetry group is considered in the setting of symbolic dynamics. While this group is generally too big to be analysed in detail, there are interesting cases with some form of rigidity where one can determine all symmetries and reversing symmetries explicitly. They include Sturmian shifts as well as classic examples such as the Thue--Morse system with various generalisations or the Rudin--Shapiro system. We also look at generalisations of the reversing symmetry group to higher-dimensional shift spaces, then called the group of \emph{extended symmetries}. We develop their basic theory for faithful $\mathbb{Z}^{d}$-actions, and determine the extended symmetry group of the chair tiling shift, which can be described as a model set, and of Ledrappier's shift, which is an example of algebraic origin. △ Less

Submitted 30 October, 2017; v1 submitted 17 November, 2016; originally announced November 2016.

Comments: 35 pages, 4 figures; revised and slightly extended version

MSC Class: 37B10; 37B50; 52C23; 20B27; 20H05

Journal ref: Discr. Cont. Dynam. Syst. A 38 (2018) 835-866

$p$-adic asymptotic properties of constant-recursive sequences

Authors: Eric Rowland, Reem Yassawi

Abstract: In this article we study $p$-adic properties of sequences of integers (or $p$-adic integers) that satisfy a linear recurrence with constant coefficients. For such a sequence, we give an explicit approximate twisted interpolation to $\mathbb Z_p$. We then use this interpolation for two applications. The first is that certain subsequences of constant-recursive sequences converge $p$-adically. The se… ▽ More In this article we study $p$-adic properties of sequences of integers (or $p$-adic integers) that satisfy a linear recurrence with constant coefficients. For such a sequence, we give an explicit approximate twisted interpolation to $\mathbb Z_p$. We then use this interpolation for two applications. The first is that certain subsequences of constant-recursive sequences converge $p$-adically. The second is that the density of the residues modulo $p^α$ attained by a constant-recursive sequence converges, as $α\to \infty$, to the Haar measure of a certain subset of $\mathbb Z_p$. To illustrate these results, we determine some particular limits for the Fibonacci sequence. △ Less

Submitted 1 May, 2017; v1 submitted 30 January, 2016; originally announced February 2016.

Comments: 16 pages, 2 figures

Journal ref: Indagationes Mathematicae 28 (2017) 205-220

Computing automorphism groups of shifts using atypical equivalence classes

Authors: Ethan M. Coven, Anthony Quas, Reem Yassawi

Abstract: We study the automorphism group of an infinite minimal shift $(X,σ)$ such that the complexity difference function, $p(n+1)-p(n)$, is bounded. We give some new bounds on $\mbox{Aut}(X,σ)/\langle σ\rangle$ and also study the one-sided case. For a class of Toeplitz shifts, including the class of shifts defined by constant length primitive substitutions with a coincidence and with height one, we show… ▽ More We study the automorphism group of an infinite minimal shift $(X,σ)$ such that the complexity difference function, $p(n+1)-p(n)$, is bounded. We give some new bounds on $\mbox{Aut}(X,σ)/\langle σ\rangle$ and also study the one-sided case. For a class of Toeplitz shifts, including the class of shifts defined by constant length primitive substitutions with a coincidence and with height one, we show that the two-sided automorphism group is a cyclic group. We next focus on shifts generated by primitive constant length substitutions. For these shifts, we give an algorithm that computes their two-sided automorphism group, As a corollary we describe how to compute the set of conjugacies between two such shifts. △ Less

Submitted 1 February, 2017; v1 submitted 11 May, 2015; originally announced May 2015.

Comments: This new version of the article has been reformatted for Discrete Analysis but is otherwise identical to the previous version

MSC Class: 37B10; 54H20 (primary); 37B05; 37B15 (secondary)

Endomorphisms and automorphisms of minimal symbolic systems with sublinear complexity

Authors: Ethan Coven, Reem Yassawi

Abstract: We show that if the complexity difference function p(n+1)-p(n) of a infinite minimal shift is bounded, then the the automorphism group of the one-sided shift is finite, and the automorphism group of the corresponding two-sided shift "modulo the shift" is finite. For the minimal Sturmian and minimal substitution shifts, the bounds can be explicitly computed, and for linearly recurrent shifts, the b… ▽ More We show that if the complexity difference function p(n+1)-p(n) of a infinite minimal shift is bounded, then the the automorphism group of the one-sided shift is finite, and the automorphism group of the corresponding two-sided shift "modulo the shift" is finite. For the minimal Sturmian and minimal substitution shifts, the bounds can be explicitly computed, and for linearly recurrent shifts, the bound can be expressed as a function of the linear recurrence constant. We also show that any endomorphism of a linearly recurrent shift is a root of a power of the shift map. △ Less

Submitted 29 November, 2014; originally announced December 2014.

Comments: 6 pages

MSC Class: 37B10; 37B05 37B15

Bratteli diagrams where random orders are imperfect

Authors: Jeannette Janssen, Anthony Quas, Reem Yassawi

Abstract: For the simple Bratteli diagrams B where there is a single edge connecting any two vertices in consecutive levels, we show that a random order has uncountably many infinite paths if and only if the growth rate of the level-n vertex sets is super-linear. This gives us the dichotomy: a random order on a slowly growing Bratteli diagram admits a homeomorphism, while a random order on a quickly growing… ▽ More For the simple Bratteli diagrams B where there is a single edge connecting any two vertices in consecutive levels, we show that a random order has uncountably many infinite paths if and only if the growth rate of the level-n vertex sets is super-linear. This gives us the dichotomy: a random order on a slowly growing Bratteli diagram admits a homeomorphism, while a random order on a quickly growing Bratteli diagram does not. We also show that for a large family of infinite rank Bratteli diagrams, a random order on B does not admit a continuous Vershik map. △ Less

Submitted 10 June, 2016; v1 submitted 13 July, 2014; originally announced July 2014.

Comments: 14 pages, 1 figure. The exposition incorporates the referee's remarks. arXiv admin note: text overlap with arXiv:1503.03360 by other authors

MSC Class: 37B10 (primary); 54H20; 37A50 (secondary)

Profinite automata

Authors: Eric Rowland, Reem Yassawi

Abstract: Many sequences of $p$-adic integers project modulo $p^α$ to $p$-automatic sequences for every $α\geq 0$. Examples include algebraic sequences of integers, which satisfy this property for every prime $p$, and some cocycle sequences, which we show satisfy this property for a fixed $p$. For such a sequence, we construct a profinite automaton that projects modulo $p^α$ to the automaton generating the… ▽ More Many sequences of $p$-adic integers project modulo $p^α$ to $p$-automatic sequences for every $α\geq 0$. Examples include algebraic sequences of integers, which satisfy this property for every prime $p$, and some cocycle sequences, which we show satisfy this property for a fixed $p$. For such a sequence, we construct a profinite automaton that projects modulo $p^α$ to the automaton generating the projected sequence. In general, the profinite automaton has infinitely many states. Additionally, we consider the closure of the orbit, under the shift map, of the $p$-adic integer sequence, defining a shift dynamical system. We describe how this shift is a letter-to-letter coding of a shift generated by a constant-length substitution defined on an uncountable alphabet, and we establish some dynamical properties of these shifts. △ Less

Submitted 12 November, 2016; v1 submitted 29 March, 2014; originally announced March 2014.

Comments: 24 pages; added Amice--Fresnel reference

MSC Class: 37B10; 11B85; 11A07; 05A15

Journal ref: Advances in Applied Mathematics 85 (2017) 60-83

Automatic congruences for diagonals of rational functions

Authors: Eric Rowland, Reem Yassawi

Abstract: In this paper we use the framework of automatic sequences to study combinatorial sequences modulo prime powers. Given a sequence whose generating function is the diagonal of a rational power series, we provide a method, based on work of Denef and Lipshitz, for computing a finite automaton for the sequence modulo $p^α$, for all but finitely many primes $p$. This method gives completely automatic pr… ▽ More In this paper we use the framework of automatic sequences to study combinatorial sequences modulo prime powers. Given a sequence whose generating function is the diagonal of a rational power series, we provide a method, based on work of Denef and Lipshitz, for computing a finite automaton for the sequence modulo $p^α$, for all but finitely many primes $p$. This method gives completely automatic proofs of known results, establishes a number of new theorems for well-known sequences, and allows us to resolve some conjectures regarding the Apéry numbers. We also give a second method, which applies to an algebraic sequence modulo $p^α$ for all primes $p$, but is significantly slower. Finally, we show that a broad range of multidimensional sequences possess Lucas products modulo $p$. △ Less

Submitted 23 April, 2014; v1 submitted 31 October, 2013; originally announced October 2013.

Comments: 42 pages, many figures; final version (minor changes)

MSC Class: 05A15; 11A07; 11B50; 11B85

Journal ref: Journal de Théorie des Nombres de Bordeaux 27 (2015) 245-288

Perfect orderings on Bratteli diagrams II: general Bratteli diagrams

Authors: Sergey Bezuglyi, Reem Yassawi

Abstract: We continue our study of orderings on Bratteli diagrams started in previous work, joint with Jan Kwiatkowski, where Bratteli diagrams of finite rank were considered. We extend the notions of languages, permutations (called correspondences in this paper), skeletons and associated graphs to the case of general Bratteli diagrams, and show their relevance to the study of perfect orderings: those that… ▽ More We continue our study of orderings on Bratteli diagrams started in previous work, joint with Jan Kwiatkowski, where Bratteli diagrams of finite rank were considered. We extend the notions of languages, permutations (called correspondences in this paper), skeletons and associated graphs to the case of general Bratteli diagrams, and show their relevance to the study of perfect orderings: those that support Vershik maps; in particular, perfect orderings with several extremal paths. A perfect ordering comes equipped with a skeleton and a correspondence, and conversely, given a skeleton and correspondence, we describe explicitly how to construct perfect orderings, by showing that paths in the associated directed graphs determine the language of the order. We describe an explicit algorithmic method to create perfect orderings on Bratteli diagrams based on the study of certain relations between the entries of the diagram's incidence matrices and properties of the associated graphs, with the latter relations characterizing diagrams which support perfect orderings. Also, we apply the notions of skeletons and associated graphs, to give a new combinatorial proof of the fact that diagrams supporting perfect orderings with k maximal paths have a direct sum of k-1 copies of the integers contained in their infinitesimal subgroup. Under certain conditions, we show that a similar result holds if the diagram supports countably many maximal paths. Our results are illustrated by numerous examples. △ Less

Submitted 10 June, 2016; v1 submitted 7 June, 2013; originally announced June 2013.

Comments: 32 pages, 6 figures. This version incorporates the referee's remarks. arXiv admin note: text overlap with arXiv:1204.1621

MSC Class: 37B10; 37A05 (primary) 37A20 (secondary)

A characterization of $p$-automatic sequences as columns of linear cellular automata

Authors: Eric Rowland, Reem Yassawi

Abstract: We show that a sequence over a finite field $\mathbb F_q$ of characteristic $p$ is $p$-automatic if and only if it occurs as a column of the spacetime diagram, with eventually periodic initial conditions, of a linear cellular automaton with memory over $\mathbb F_q$. As a consequence, the subshift generated by a length-$p$ substitution can be realized as a topological factor of a linear cellular a… ▽ More We show that a sequence over a finite field $\mathbb F_q$ of characteristic $p$ is $p$-automatic if and only if it occurs as a column of the spacetime diagram, with eventually periodic initial conditions, of a linear cellular automaton with memory over $\mathbb F_q$. As a consequence, the subshift generated by a length-$p$ substitution can be realized as a topological factor of a linear cellular automaton. △ Less

Submitted 27 November, 2014; v1 submitted 26 September, 2012; originally announced September 2012.

Comments: 19 pages, 6 figures; final version

MSC Class: 37B10; 37B15; 68Q80

Journal ref: Advances in Applied Mathematics 63 (2015) 68-89

A family of sand automata

Authors: Nicholas Faulkner, Reem Yassawi

Abstract: We study some dynamical properties of a family of two-dimensional cellular automata: those that arise from an underlying one dimensional sand automaton whose local rule is obtained using a latin square. We identify a simple sand automaton G whose local rule is algebraic, and classify this automaton as having equicontinuity points, but not being equicontinuous. We also show it is not surjective. We… ▽ More We study some dynamical properties of a family of two-dimensional cellular automata: those that arise from an underlying one dimensional sand automaton whose local rule is obtained using a latin square. We identify a simple sand automaton G whose local rule is algebraic, and classify this automaton as having equicontinuity points, but not being equicontinuous. We also show it is not surjective. We generalise some of these results to a wider class of sand automata. △ Less

Submitted 17 May, 2012; originally announced May 2012.

Comments: 20 pages, 4 figures

MSC Class: 37B15; 68Q80

Perfect orderings on Bratteli diagrams

Authors: Sergey Bezuglyi, Jan Kwiatkowski, Reem Yassawi

Abstract: Given a Bratteli diagram B, we study the set O(B) of all possible orderings w on a Bratteli diagram B and its subset P(B) consisting of `perfect' orderings that produce Bratteli-Vershik dynamical systems (Vershik maps). We give necessary and sufficient conditions for w to be perfect. On the other hand, a wide class of non-simple Bratteli diagrams that do not admit Vershik maps is explicitly descri… ▽ More Given a Bratteli diagram B, we study the set O(B) of all possible orderings w on a Bratteli diagram B and its subset P(B) consisting of `perfect' orderings that produce Bratteli-Vershik dynamical systems (Vershik maps). We give necessary and sufficient conditions for w to be perfect. On the other hand, a wide class of non-simple Bratteli diagrams that do not admit Vershik maps is explicitly described. In the case of finite rank Bratteli diagrams, we show that the existence of perfect orderings with a prescribed number of extreme paths affects significantly the values of the entries of the incidence matrices and the structure of the diagram B. Endowing the set O(B) with product measure, we prove that there is some j such that almost all orderings on B have j maximal and minimal paths, and that if j is strictly greater than the number of minimal components that B has, then almost all orderings are imperfect. △ Less

Submitted 10 August, 2013; v1 submitted 7 April, 2012; originally announced April 2012.

Comments: 41 pages, 5 figures

MSC Class: 37B10; 37A05 (Primary) 37A20 (Secondary)

Branch points of substitutions and closing ordered Bratteli diagrams

Authors: Reem Yassawi

Abstract: We study stationary ordered Bratteli diagrams and give necessary and sufficient conditions for these orders to generate a continuous Vershik map. We apply this to finding adic representations for one sided substitution subshifts. We give an algorithm to find the branch points of a substitution, which have to be mapped to the minimal elements of such an ordering. We find adic representations for su… ▽ More We study stationary ordered Bratteli diagrams and give necessary and sufficient conditions for these orders to generate a continuous Vershik map. We apply this to finding adic representations for one sided substitution subshifts. We give an algorithm to find the branch points of a substitution, which have to be mapped to the minimal elements of such an ordering. We find adic representations for substitutions with one branch point, and also substitutions all of whose branch points are fixed. △ Less

Submitted 28 June, 2011; originally announced June 2011.

Comments: 21 pages

MSC Class: 37B10

Embedding odometers in cellular automata

Authors: Ethan M. Coven, Reem Yassawi

Abstract: We consider the problem of embedding odometers in one-dimensional cellular automata. We show that (1) every odometer can be be embedded in a gliders with reflecting walls cellular automaton, which one depending on the odometer, and (2) an odometer can be embedded in a cellular automaton, which is a group endomorphism on an n-letter group, and where n depends on the odometer, if and only if the o… ▽ More We consider the problem of embedding odometers in one-dimensional cellular automata. We show that (1) every odometer can be be embedded in a gliders with reflecting walls cellular automaton, which one depending on the odometer, and (2) an odometer can be embedded in a cellular automaton, which is a group endomorphism on an n-letter group, and where n depends on the odometer, if and only if the odometer is "finitary." △ Less

Submitted 4 August, 2009; originally announced August 2009.

Comments: 8 pages

MSC Class: 37B15

Bratteli-Vershik representations of some one-sided substitution subshifts

Authors: Reem Yassawi

Abstract: We study one-sided substitution subshifts, and how they can be represented using Bratteli-Vershik systems. In particular we focus on minimal recognizable substitutions such that the generated one-sided substitution subshift contains only one non-shift-invertible element (a branch point), and we call these substitutions quasi-invertible. We give an algorithm to check whether a substitution is quasi… ▽ More We study one-sided substitution subshifts, and how they can be represented using Bratteli-Vershik systems. In particular we focus on minimal recognizable substitutions such that the generated one-sided substitution subshift contains only one non-shift-invertible element (a branch point), and we call these substitutions quasi-invertible. We give an algorithm to check whether a substitution is quasi-invertible, and show that any substitution with a rational Perron value is orbit equivalent to a quasi-invertible substitution. If the quasi-invertible substitution is left proper, then its subshift is equal to a substitution subshift where the original branch point is the new substitution fixed point. We use these results to prove that any reasonable quasi-invertible substitution subshift has a Bratteli-Vershik representation. We also give an example of a pair of substitutions whose 2-sided subshifts are topologically conjugate, while their 1-sided subshifts are not. △ Less

Submitted 14 December, 2010; v1 submitted 16 July, 2009; originally announced July 2009.

Comments: 18 pages, 1 figure

MSC Class: 37B10

Embedding Bratteli-Vershik systems in cellular automata

Authors: Marcus Pivato, Reem Yassawi

Abstract: Many dynamical systems can be naturally represented as `Bratteli-Vershik' (or `adic') systems, which provide an appealing combinatorial description of their dynamics. If an adic system X satisfies two technical conditions (`focus' and `bounded width') then we show how to represent X using a two-dimensional subshift of finite type Y; each `row' in a Y-admissible configuration corresponds to an in… ▽ More Many dynamical systems can be naturally represented as `Bratteli-Vershik' (or `adic') systems, which provide an appealing combinatorial description of their dynamics. If an adic system X satisfies two technical conditions (`focus' and `bounded width') then we show how to represent X using a two-dimensional subshift of finite type Y; each `row' in a Y-admissible configuration corresponds to an infinite path in the Bratteli diagram of X, and the vertical shift on Y corresponds to the `successor' map of X. Any Y-admissible configuration can then be recoded as the spacetime diagram of a one-dimensional cellular automaton F; in this way X is `embedded' in F (i.e. X is conjugate to a subsystem of F). With this technique, we can embed many odometers, Toeplitz systems, and constant-length substitution systems in one-dimensional cellular automata. △ Less

Submitted 19 October, 2007; originally announced October 2007.

Comments: 12 pages, 3 figures

MSC Class: 37B15; 37B10

Attractiveness of the Haar measure for linear cellular automata on Markov subgroups

Authors: Alejandro Maass, Servet Mart\'{ı}nez, Marcus Pivato, Reem Yassawi

Abstract: For the action of an algebraic cellular automaton on a Markov subgroup, we show that the Cesàro mean of the iterates of a Markov measure converges to the Haar measure. This is proven by using the combinatorics of the binomial coefficients on the regenerative construction of the Markov measure. For the action of an algebraic cellular automaton on a Markov subgroup, we show that the Cesàro mean of the iterates of a Markov measure converges to the Haar measure. This is proven by using the combinatorics of the binomial coefficients on the regenerative construction of the Markov measure. △ Less

Submitted 9 August, 2006; originally announced August 2006.

Comments: Published at http://dx.doi.org/10.1214/074921706000000130 in the IMS Lecture Notes--Monograph Series (http://www.imstat.org/publications/lecnotes.htm) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-LNMS48-LNMS4810 MSC Class: 54H20 (Primary) 37B20 (Secondary)

Journal ref: IMS Lecture Notes--Monograph Series 2006, Vol. 48, 100-108

Prevalence of Odometers in Cellular Automata

Authors: Ethan M. Coven, Marcus Pivato, Reem Yassawi, .

Abstract: We consider a left permutive cellular automaton Phi, with no memory and positive anticipation, defined on the space of all doubly infinite sequences with entries from a finite alphabet. For each such automaton that is not one-to-one, there is a dense set of points X (which is large in another sense too) such that the Phi-orbit closure of each x in X is topologically conjugate to an odometer (the… ▽ More We consider a left permutive cellular automaton Phi, with no memory and positive anticipation, defined on the space of all doubly infinite sequences with entries from a finite alphabet. For each such automaton that is not one-to-one, there is a dense set of points X (which is large in another sense too) such that the Phi-orbit closure of each x in X is topologically conjugate to an odometer (the ``+1'' map on a projective limit of finite cyclic groups). We identify this odometer in several cases. △ Less

Submitted 1 November, 2005; originally announced November 2005.

Comments: 8 pages

MSC Class: 37B15 (primary); 68Q80 (secondary)

Asymptotic Randomization of Sofic Shifts by Linear Cellular Automata

Authors: Marcus Pivato, Reem Yassawi

Abstract: Let M=Z^D be a D-dimensional lattice, and let A be an abelian group. A^M is then a compact abelian group; a `linear cellular automaton' (LCA) is a topological group endomorphism Φ:A^M --> A^M that commutes with all shift maps. Suppose μis a probability measure on A^M whose support is a subshift of finite type or sofic shift. We provide sufficient conditions (on Φand μ) under which Φ`asymptotic… ▽ More Let M=Z^D be a D-dimensional lattice, and let A be an abelian group. A^M is then a compact abelian group; a `linear cellular automaton' (LCA) is a topological group endomorphism Φ:A^M --> A^M that commutes with all shift maps. Suppose μis a probability measure on A^M whose support is a subshift of finite type or sofic shift. We provide sufficient conditions (on Φand μ) under which Φ`asymptotically randomizes' μ, meaning that wk*lim_{J\ni j --> oo} Φ^j μ= η, where ηis the Haar measure on A^M, and J has Cesaro density 1. In the case when Φ=1+σ, we provide a condition on μthat is both necessary and sufficient. We then use this to construct an example of a zero-entropy measure which is asymptotically randomized by 1+σ(all previously known examples had positive entropy). △ Less

Submitted 13 April, 2006; v1 submitted 7 June, 2003; originally announced June 2003.

Comments: 24 pages, 3 figures

MSC Class: 37B15 (Primary); 37A50 (Secondary)

Asymptotic behaviour of measures with long range correlations under the action of cellular automata

Authors: Marcus Pivato, Reem Yassawi

Abstract: This paper has been withdrawn by the authors, due an error involving the weak* convergence argument in section 2 This paper has been withdrawn by the authors, due an error involving the weak* convergence argument in section 2 △ Less

Submitted 4 June, 2003; v1 submitted 15 October, 2002; originally announced October 2002.

Comments: This paper has been withdrawn by the authors, due an error involving the weak* convergence argument in section 2

MSC Class: 37B15 (primary); 68Q80 (secondary)

Limit Measures for Affine Cellular Automata, II

Authors: Marcus Pivato, Reem Yassawi

Abstract: If M is a monoid (e.g. the lattice Z^D), and A is an abelian group, then A^M is a compact abelian group; a linear cellular automaton (LCA) is a continuous endomorphism F:A^M --> A^M that commutes with all shift maps. If F is diffusive, and mu is a harmonically mixing (HM) probability measure on A^M, then the sequence {F^N mu} (N=1,2,3,...) weak*-converges to the Haar measure on A^M, in density.… ▽ More If M is a monoid (e.g. the lattice Z^D), and A is an abelian group, then A^M is a compact abelian group; a linear cellular automaton (LCA) is a continuous endomorphism F:A^M --> A^M that commutes with all shift maps. If F is diffusive, and mu is a harmonically mixing (HM) probability measure on A^M, then the sequence {F^N mu} (N=1,2,3,...) weak*-converges to the Haar measure on A^M, in density. Fully supported Markov measures on A^Z are HM, and nontrivial LCA on A^{Z^D} are diffusive when A=Z/p is a prime cyclic group. In the present work, we provide sufficient conditions for diffusion of LCA on A^{Z^D} when A=Z/n is any cyclic group or when A=[Z/(p^r)]^J (p prime). We show that any fully supported Markov random field on A^{Z^D} is HM (where A is any abelian group). △ Less

Submitted 28 April, 2003; v1 submitted 12 August, 2001; originally announced August 2001.

Comments: LaTeX2E Format, 20 pages, 1 LaTeX figure, 2 EPS figures, to appear in Ergodic Theory and Dynamical Systems, submitted April 2001

MSC Class: 37B15; 68Q80

Limit Measures for Affine Cellular Automata

Authors: Marcus Pivato, Reem Yassawi

Abstract: Let M be a monoid (e.g. the lattice Z^D), and A an abelian group. A^M is then a compact abelian group; a linear cellular automaton (LCA) is a continuous endomorphism F:A^M --> A^M that commutes with all shift maps. Let mu be a (possibly nonstationary) probability measure on A^M; we develop sufficient conditions on mu and F so that the sequence {F^N mu} (N=1,2,3,...) weak*-converges to the Haar… ▽ More Let M be a monoid (e.g. the lattice Z^D), and A an abelian group. A^M is then a compact abelian group; a linear cellular automaton (LCA) is a continuous endomorphism F:A^M --> A^M that commutes with all shift maps. Let mu be a (possibly nonstationary) probability measure on A^M; we develop sufficient conditions on mu and F so that the sequence {F^N mu} (N=1,2,3,...) weak*-converges to the Haar measure on A^M, in density (and thus, in Cesaro average as well). As an application, we show: if A=Z/p (p prime), F is any ``nontrivial'' LCA on A^{(Z^D)}, and mu belongs to a broad class of measures (including most Bernoulli measures (for D >= 1) and ``fully supported'' N-step Markov measures (when D=1), then F^N mu weak*-converges to Haar measure in density. △ Less

Submitted 31 August, 2002; v1 submitted 12 August, 2001; originally announced August 2001.

Comments: LaTeX2E Format, revised version contains minor corrections

MSC Class: 37B15; 68Q80

Journal ref: Ergodic Theory & Dynamical Systems (August, 2002) v.22 (#4) pp 1269-1287