Showing 1–3 of 3 results for author: Aedo, I

Forward limit sets of semigroups of substitutions

Authors: Ibai Aedo, Uwe Grimm, Ian Short

Abstract: We introduce the forward limit set $Λ$ of a semigroup $S$ generated by a family of substitutions of a finite alphabet, which typically coincides with the set of all possible s-adic limits of that family. We provide several alternative characterisations of the forward limit set. For instance, we prove that $Λ$ is the unique maximal closed and strongly $S$-invariant subset of the space of all infini… ▽ More We introduce the forward limit set $Λ$ of a semigroup $S$ generated by a family of substitutions of a finite alphabet, which typically coincides with the set of all possible s-adic limits of that family. We provide several alternative characterisations of the forward limit set. For instance, we prove that $Λ$ is the unique maximal closed and strongly $S$-invariant subset of the space of all infinite words, and we prove that it is the closure of the set of images of all fixed points under $S$. It is usually difficult to compute a forward limit set explicitly; however, we show that, provided certain assumptions hold, $Λ$ is uncountable, and we supply upper bounds on its size in terms of logarithmic Hausdorff dimension. △ Less

Submitted 6 November, 2023; v1 submitted 28 April, 2023; originally announced May 2023.

Comments: 21 pages, 4 figures

MSC Class: 37B10; 54H15

Monochromatic arithmetic progressions in automatic sequences with group structure

Authors: Ibai Aedo, Uwe Grimm, Neil Mañibo, Yasushi Nagai, Petra Staynova

Abstract: We determine asymptotic growth rates for lengths of monochromatic arithmetic progressions in certain automatic sequences. In particular, we look at (one-sided) fixed points of aperiodic, primitive, bijective substitutions and spin substitutions, which are generalisations of the Thue--Morse and Rudin--Shapiro substitutions, respectively. For such infinite words, we show that there exists a subseque… ▽ More We determine asymptotic growth rates for lengths of monochromatic arithmetic progressions in certain automatic sequences. In particular, we look at (one-sided) fixed points of aperiodic, primitive, bijective substitutions and spin substitutions, which are generalisations of the Thue--Morse and Rudin--Shapiro substitutions, respectively. For such infinite words, we show that there exists a subsequence $\left\{d_n\right\}$ of differences along which the maximum length $A(d_n)$ of a monochromatic arithmetic progression (with fixed difference $d_n$) grows at least polynomially in $d_n$. Explicit upper and lower bounds for the growth exponent can be derived from a finite group associated to the substitution. As an application, we obtain bounds for a van der Waerden-type number for a class of colourings parametrised by the size of the alphabet and the length of the substitution. △ Less

Submitted 24 February, 2023; originally announced February 2023.

Comments: 29 pages, comments are welcome

MSC Class: 05D10; 05B45; 68R15

On long arithmetic progressions in binary Morse-like words

Authors: Ibai Aedo, Uwe Grimm, Yasushi Nagai, Petra Staynova

Abstract: We present results on the existence of long arithmetic progressions in the Thue-Morse word and in a class of generalised Thue-Morse words. Our arguments are inspired by van der Waerden's proof for the existence of arbitrary long monochromatic arithmetic progressions in any finite colouring of the (positive) integers. We present results on the existence of long arithmetic progressions in the Thue-Morse word and in a class of generalised Thue-Morse words. Our arguments are inspired by van der Waerden's proof for the existence of arbitrary long monochromatic arithmetic progressions in any finite colouring of the (positive) integers. △ Less

Submitted 9 February, 2021; v1 submitted 6 January, 2021; originally announced January 2021.

Comments: 23 pages; comments on binary/non-binary bijective case clarified and result for the binary case stated explicitly in proposition 34

MSC Class: 68R15; 37B10; 11B25

Journal ref: Theoretical Computer Science, 934 (2022) 65-80