A characterization of substitutive sequences using return words

Fabien Durand

DOI: https://doi.org/10.48550/arXiv.0807.3322

2008-07-22

Abstract:We prove that a sequence is primitive substitutive if and only if the set of its derived sequences is finite; we defined these sequences here.

Combinatorics

What problem does this paper attempt to address?

Automaticity of uniformly recurrent substitutive sequences

Elżbieta Krawczyk,Clemens Müllner

DOI: https://doi.org/10.48550/arXiv.2111.13134

2023-03-24

Abstract:We provide a complete characterisation of automaticity of uniformly recurrent substitutive sequences in terms of the incidence matrix of the return substitution of an underlying purely substitutive sequence. This gives an answer to a recent question of Allouche, Dekking and Queffélec in the uniformly recurrent case. We also show that the same criterion characterises automaticity of minimal substitutive systems.

Number Theory,Combinatorics,Dynamical Systems
Quasi-fixed points of substitutive systems

Elżbieta Krawczyk

2024-12-03

Abstract:We study automatic sequences and automatic systems generated by general constant length (nonprimitive) substitutions. While an automatic system is typically uncountable, the set of automatic sequences is countable, implying that most sequences within an automatic system are not themselves automatic. We provide a complete and succinct classification of automatic sequences that lie in a given automatic system in terms of the quasi-fixed points of the substitution defining the system. Our result extends to factor maps between automatic systems and highlights arithmetic properties underpinning these systems. We conjecture that a similar statement holds for general nonconstant length substitutions.

Combinatorics,Dynamical Systems
On sets of indefinitely desubstitutable words

Gwenaël Richomme

DOI: https://doi.org/10.1016/j.tcs.2021.01.004

IF: 1.002

2021-02-01

Theoretical Computer Science

Abstract:The stable set associated to a given set <math>S</math> of nonerasing endomorphisms or substitutions is the set of all right infinite words that can be indefinitely desubstituted over <math>S</math>. This notion generalizes the notion of sets of fixed points of morphisms. It is linked to S-adicity and to property preserving morphisms. Two main questions are considered. Which known sets of infinite words are stable sets? Which ones are stable sets of a finite set of substitutions? While bringing answers to the previous questions, some new characterizations of several well-known sets of words such as the set of binary balanced words or the set of episturmian words are presented. A characterization of the set of nonerasing endomorphisms that preserve episturmian words is also provided.

computer science, theory & methods
Substitution Dynamical Systems: Characterization of Linear Repetitivity and Applications

D. Damanik,D. Lenz

DOI: https://doi.org/10.48550/arXiv.math/0302231

2003-10-11

Abstract:We consider dynamical systems arising from substitutions over a finite alphabet. We prove that such a system is linearly repetitive if and only if it is minimal. Based on this characterization we extend various results from primitive substitutions to minimal substitutions. This includes applications to random Schrödinger operators and to number theory.

Dynamical Systems,Mathematical Physics
$L$-Primitive Words in Submonoids

Shubh Narayan Singh,K. V. Krishna

DOI: https://doi.org/10.48550/arXiv.1403.5788

2014-03-24

Abstract:This work considers a natural generalization of primitivity with respect to a language. Given a language $L$, a nonempty word $w$ is said to be $L$-primitive if $w$ is not a proper power of any word in $L$. After ascertaining the number of primitive words in submonoids of a free monoid, the work proceeds to count $L$-primitive words in submonoids of a free monoid. The work also studies the distribution of $L$-primitive words in certain subsets of free monoids.

Formal Languages and Automata Theory
Translated sums of quasi-primitive sequences

Laib, Ilias,Mouli, Kawter,Rezzoug, Nadir

DOI: https://doi.org/10.1007/s10998-024-00577-2

2024-06-12

Periodica Mathematica Hungarica

Abstract:A sequence of strictly positive integers is said to be quasi-primitive if there are no three distinct terms and such that . Erdős conjectured that the sum where is the sequence of all powers of prime numbers and . It is normal to ask whether the Erdős conjecture remains possible for any . However, in this observation we show that for x large enough there are an infinite number of primitive sequences such as . Furthermore, when is a sequence of semiprimes, the last inequality holds for any real number .

mathematics, applied
Additively irreducible sequences in commutative semigroups

Guoqing Wang

DOI: https://doi.org/10.48550/arXiv.1504.06818

2015-06-24

Abstract:Let $\mathcal{S}$ be a commutative semigroup, and let $T$ be a sequence of terms from the semigroup $\mathcal{S}$. We call $T$ an (additively) {\sl irreducible} sequence provided that no sum of its some terms vanishes. Given any element $a$ of $\mathcal{S}$, let ${\rm D}_a(\mathcal{S})$ be the largest length of the irreducible sequence such that the sum of all terms from the sequence is equal to $a$. In case that any ascending chain of principal ideals starting from the ideal $(a)$ terminates in $\mathcal{S}$, we found the sufficient and necessary conditions of ${\rm D}_a(\mathcal{S})$ being finite, and in particular, we gave sharp lower and upper bounds of ${\rm D}_a(\mathcal{S})$ in case ${\rm D}_a(\mathcal{S})$ is finite. We also applied the result to commutative unitary rings. As a special case, the value of ${\rm D}_a(\mathcal{S})$ was determined when $\mathcal{S}$ is the multiplicative semigroup of any finite commutative principal ideal unitary ring.

Combinatorics,Commutative Algebra,Group Theory,Number Theory
Sequences with constant number of return words

L’ubomíra Balková,Edita Pelantová,Wolfgang Steiner

DOI: https://doi.org/10.1007/s00605-008-0001-2

2008-07-26

Monatshefte für Mathematik

Abstract:An infinite word has the property Rm if every factor has exactly m return words. Vuillon showed that R2 characterizes Sturmian words. We prove that a word satisfies Rm if its complexity function is (m − 1)n + 1 and if it contains no weak bispecial factor. These conditions are necessary for m = 3, whereas for m = 4 the complexity function need not be 3n + 1. A new class of words satisfying Rm is given.

mathematics
Invertible Substitutions and Sturmian Sequences

Bo Tan,Zhi-Ying Wen

DOI: https://doi.org/10.1016/s0195-6698(03)00105-7

IF: 0.89

2003-01-01

European Journal of Combinatorics

Abstract:It is known on the one hand that a Sturmian sequence can be generated geometrically by the intersections of a straight line with the unit grid in the plane, and on the other hand that fixed points of invertible substitutions are Sturmian. We give a new characterization of invertible substitutions, which allows to determine the straight line which generates the fixed point of a given invertible substitution.
Distance Sequences of Locally Infinite Primitive Graphs

Katalin Berlow

DOI: https://doi.org/10.48550/arXiv.2009.11276

2020-09-24

Abstract:A graph is called primitive if its automorphism group acts primitively on the vertex set. In this paper, we prove a classification of the possible distance sequences of locally infinite primitive graphs. In particular we show that if a primitive graph is locally uncountable, the distance sequence is constant until it terminates. We also prove a constraint on the distance sequences of locally finite infinite graphs.

Combinatorics
Sturmian and infinitely desubstitutable words accepted by an ω-automaton

Pierre Béaur,Benjamin Hellouin de Menibus

2023-04-11

Abstract:Given an $\omega$-automaton and a set of substitutions, we look at which accepted words can also be defined through these substitutions, and in particular if there is at least one. We introduce a method using desubstitution of $\omega$-automata to describe the structure of preimages of accepted words under arbitrary sequences of homomorphisms: this takes the form of a meta-$\omega$-automaton. We decide the existence of an accepted purely substitutive word, as well as the existence of an accepted fixed point. In the case of multiple substitutions (non-erasing homomorphisms), we decide the existence of an accepted infinitely desubstitutable word, with possibly some constraints on the sequence of substitutions e.g. Sturmian words or Arnoux-Rauzy words). As an application, we decide when a set of finite words codes e.g. a Sturmian word. As another application, we also show that if an $\omega$-automaton accepts a Sturmian word, it accepts the image of the full shift under some Sturmian morphism.

Formal Languages and Automata Theory,Discrete Mathematics,Combinatorics
Characterizing morphic sequences

Hans Zantema

2023-09-19

Abstract:Morphic sequences form a natural class of infinite sequences, extending the well-studied class of automatic sequences. Where automatic sequences are known to have several equivalent characterizations and the class of automatic sequences is known to have several closure properties, for the class of morphic sequences similar closure properties are known, but only limited equivalent characterizations. In this paper we extend the latter. We discuss a known characterization of morphic sequences based on automata and we give a characterization of morphic sequences by finiteness of a particular class of subsequences. Moreover, we relate morphic sequences to rationality of infinite terms and describe them by infinitary rewriting.

Formal Languages and Automata Theory
Stability properties for subgroups generated by return words

France Gheeraert,Herman Goulet-Ouellet,Julien Leroy,Pierre Stas

2024-10-16

Abstract:Return words are a classical tool for studying shift spaces with low factor complexity. In recent years, their projection inside groups have attracted some attention, for instance in the context of dendric shift spaces, of generation of pseudorandom numbers (through the welldoc property), and of profinite invariants of shift spaces. Aiming at unifying disparate works, we introduce a notion of stability for subgroups generated by return words. Within this framework, we revisit several existing results and generalize some of them. We also study general aspects of stability, such as decidability or closure under certain operations.

Discrete Mathematics,Combinatorics,Dynamical Systems,Group Theory
Recurrent Partial Words

Francine Blanchet-Sadri,Aleksandar Chakarov,Lucas Manuelli,Jarett Schwartz,Slater Stich

DOI: https://doi.org/10.48550/arXiv.1108.3623

IF: 0.961

2011-08-18

Discrete Mathematics

Abstract:Partial words are sequences over a finite alphabet that may contain wildcard symbols, called holes, which match or are compatible with all letters; partial words without holes are said to be full words (or simply words). Given an infinite partial word w, the number of distinct full words over the alphabet that are compatible with factors of w of length n, called subwords of w, refers to a measure of complexity of infinite partial words so-called subword complexity. This measure is of particular interest because we can construct partial words with subword complexities not achievable by full words. In this paper, we consider the notion of recurrence over infinite partial words, that is, we study whether all of the finite subwords of a given infinite partial word appear infinitely often, and we establish connections between subword complexity and recurrence in this more general framework.
Substitutive Arnoux-Rauzy sequences have pure discrete spectrum

Valérie Berthé,Timo Jolivet,Anne Siegel

DOI: https://doi.org/10.48550/arXiv.1108.5574

2014-06-27

Abstract:We prove that the symbolic dynamical system generated by a purely substitutive Arnoux-Rauzy sequence is measurably conjugate to a toral translation. The proof is based on an explicit construction of a fundamental domain with fractal boundary (a Rauzy fractal) for this toral translation.

Dynamical Systems,Discrete Mathematics,Combinatorics
A characterization of Sturmian sequences by indistinguishable asymptotic pairs

Sebastián Barbieri,Sébastien Labbé,Štěpán Starosta

DOI: https://doi.org/10.1016/j.ejc.2021.103318

2021-02-04

Abstract:We give a new characterization of biinfinite Sturmian sequences in terms of indistinguishable asymptotic pairs. Two asymptotic sequences on a full $\mathbb{Z}$-shift are indistinguishable if the sets of occurrences of every pattern in each sequence coincide up to a finitely supported permutation. This characterization can be seen as an extension to biinfinite sequences of Pirillo's theorem which characterizes Christoffel words. Furthermore, we provide a full characterization of indistinguishable asymptotic pairs on arbitrary alphabets using substitutions and biinfinite characteristic Sturmian sequences. The proof is based on the well-known notion of derived sequences.

Combinatorics,Dynamical Systems
Finite-state Independence and Normal Sequences

Nicolás Álvarez,Verónica Becher,Olivier Carton

DOI: https://doi.org/10.48550/arXiv.1702.00320

2018-07-07

Abstract:We consider the previously defined notion of finite-state independence and we focus specifically on normal words. We characterize finite-state independence of normal words in three different ways, using three different kinds of asynchronous deterministic finite automata with two input tapes containing infinite words. Based on one of the characterizations we give an algorithm to construct a pair of finite-state independent normal words.

Formal Languages and Automata Theory,Discrete Mathematics
Substitution invariant Sturmian words and binary trees

Michel Dekking

DOI: https://doi.org/10.48550/arXiv.1705.08607

2017-05-24

Combinatorics

Abstract:We take a global view at substitution invariant Sturmian sequences. We show that homogeneous substitution invariant Sturmian sequences $s_{\alpha,\alpha}$ can be indexed by two binary trees, associated directly to Johannes Kepler's tree of harmonic fractions from 1619. We obtain similar results for the inhomogeneous sequences $s_{\alpha,1-\alpha}$ and $s_{\alpha,0}$.
Primitive Automata that are Synchronizing

Igor Rystsov,Marek Szykuła

2023-07-04

Abstract:A deterministic finite (semi)automaton is primitive if its transition monoid (semigroup) acting on the set of states has no non-trivial congruences. It is synchronizing if it contains a constant map (transformation). In analogy to synchronizing groups, we study the possibility of characterizing automata that are synchronizing if primitive. We prove that the implication holds for several classes of automata. In particular, we show it for automata whose every letter induce either a permutation or a semiconstant transformation (an idempotent with one point of contraction) unless all letters are of the first type. We propose and discuss two conjectures about possible more general characterizations.

Formal Languages and Automata Theory
Relative position in binary substitutions

Michael Coons,Christopher Ramsey,Nicolae Strungaru

2024-10-16

Abstract:Given an infinite word ${\bf w}$ on a finite alphabet, an immediate question arises:~can we understand the frequency of letters in ${\bf w}$\,? For words that are the fixed points of substitutions, the answer to this question is often `yes' -- the details and methods of these answers have been well-documented. In this paper, toward a better-understanding of the fixed points of binary substitutions, we delve deeper by investigating, in fine detail, the position of letters by defining various position functions and proving results about their behavior. Our analysis reveals new information about the Fibonacci substitution and the extended Pisa family of substitutions, as well as a new characterization of the Thue--Morse sequence.

Combinatorics,Discrete Mathematics

A characterization of substitutive sequences using return words

Automaticity of uniformly recurrent substitutive sequences

Quasi-fixed points of substitutive systems

On sets of indefinitely desubstitutable words

Substitution Dynamical Systems: Characterization of Linear Repetitivity and Applications

$L$-Primitive Words in Submonoids

Translated sums of quasi-primitive sequences

Additively irreducible sequences in commutative semigroups

Sequences with constant number of return words

Invertible Substitutions and Sturmian Sequences

Distance Sequences of Locally Infinite Primitive Graphs

Sturmian and infinitely desubstitutable words accepted by an ω-automaton

Characterizing morphic sequences

Stability properties for subgroups generated by return words

Recurrent Partial Words

Substitutive Arnoux-Rauzy sequences have pure discrete spectrum

A characterization of Sturmian sequences by indistinguishable asymptotic pairs

Finite-state Independence and Normal Sequences

Substitution invariant Sturmian words and binary trees

Primitive Automata that are Synchronizing

Relative position in binary substitutions