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

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

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

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

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

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

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

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