Showing 1–23 of 23 results for author: Leroy, J

Algebraic characterization of dendricity

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

Abstract: Dendric shift spaces simultaneously generalize codings of regular interval exchanges and episturmian shift spaces, themselves both generalizations of Sturmian words. One of the key properties enforced by dendricity is the Return Theorem. In this paper, we prove its converse, providing the following natural algebraic perspective on dendricity: A minimal shift space is dendric if and only if every s… ▽ More Dendric shift spaces simultaneously generalize codings of regular interval exchanges and episturmian shift spaces, themselves both generalizations of Sturmian words. One of the key properties enforced by dendricity is the Return Theorem. In this paper, we prove its converse, providing the following natural algebraic perspective on dendricity: A minimal shift space is dendric if and only if every set of return words is a basis of the free group over the alphabet. △ Less

Submitted 21 June, 2024; originally announced June 2024.

Comments: 7 pages

Decidability of the isomorphism problem between multidimensional substitutive subshifts

Authors: Christopher Cabezas, Julien Leroy

Abstract: An important question in dynamical systems is the classification problem, i.e., the ability to distinguish between two isomorphic systems. In this work, we study the topological factors between a family of multidimensional substitutive subshifts generated by morphisms with uniform support. We prove that it is decidable to check whether two minimal aperiodic substitutive subshifts are isomorphic, u… ▽ More An important question in dynamical systems is the classification problem, i.e., the ability to distinguish between two isomorphic systems. In this work, we study the topological factors between a family of multidimensional substitutive subshifts generated by morphisms with uniform support. We prove that it is decidable to check whether two minimal aperiodic substitutive subshifts are isomorphic, under having the same combinatorial structure. The strategy followed in this work consists of giving a complete description of the factor maps between these subshifts. Then, we deduce some interesting consequences on coalescence, automorphism groups, and the number of aperiodic symbolic factors of substitutive subshifts. We also prove other combinatorial results on these substitutions, such as the decidability of defining a subshift, the computability of the recognizability radius, and the conjugacy between substitutions with different supports. △ Less

Submitted 17 March, 2024; originally announced March 2024.

MSC Class: 37B10 (Primary) 37A35; 37B51; 68R15 (Secondary)

$\mathcal{S}$-adic characterization of minimal dendric shifts

Authors: France Gheeraert, Julien Leroy

Abstract: Dendric shifts are defined by combinatorial restrictions of the extensions of the words in their languages. This family generalizes well-known families of shifts such as Sturmian shifts, Arnoux-Rauzy shifts and codings of interval exchange transformations. It is known that any minimal dendric shift has a primitive $\mathcal{S}$-adic representation where the morphisms in $\mathcal{S}$ are positive… ▽ More Dendric shifts are defined by combinatorial restrictions of the extensions of the words in their languages. This family generalizes well-known families of shifts such as Sturmian shifts, Arnoux-Rauzy shifts and codings of interval exchange transformations. It is known that any minimal dendric shift has a primitive $\mathcal{S}$-adic representation where the morphisms in $\mathcal{S}$ are positive tame automorphisms of the free group generated by the alphabet. In this paper we give an $\mathcal{S}$-adic characterization of this family by means of two finite graphs. As an application, we are able to decide whether a shift space generated by a uniformly recurrent morphic word is (eventually) dendric. △ Less

Submitted 22 February, 2024; v1 submitted 1 June, 2022; originally announced June 2022.

Comments: 28 pages

MSC Class: 68R15; 37B10

Almost everywhere balanced sequences of complexity $2n+1$

Authors: Julien Cassaigne, Sébastien Labbé, Julien Leroy

Abstract: We study ternary sequences associated with a multidimensional continued fraction algorithm introduced by the first author. The algorithm is defined by two matrices and we show that it is measurably isomorphic to the shift on the set $\{1,2\}^\mathbb{N}$ of directive sequences. For a given set $\mathcal{C}$ of two substitutions, we show that there exists a $\mathcal{C}$-adic sequence for every vect… ▽ More We study ternary sequences associated with a multidimensional continued fraction algorithm introduced by the first author. The algorithm is defined by two matrices and we show that it is measurably isomorphic to the shift on the set $\{1,2\}^\mathbb{N}$ of directive sequences. For a given set $\mathcal{C}$ of two substitutions, we show that there exists a $\mathcal{C}$-adic sequence for every vector of letter frequencies or, equivalently, for every directive sequence. We show that their factor complexity is at most $2n+1$ and is $2n+1$ if and only if the letter frequencies are rationally independent if and only if the $\mathcal{C}$-adic representation is primitive. It turns out that in this case, the sequences are dendric. We also prove that $μ$-almost every $\mathcal{C}$-adic sequence is balanced, where $μ$ is any shift-invariant ergodic Borel probability measure on $\{1,2\}^\mathbb{N}$ giving a positive measure to the cylinder $[12121212]$. We also prove that the second Lyapunov exponent of the matrix cocycle associated with the measure $μ$ is negative. △ Less

Submitted 11 May, 2022; v1 submitted 19 February, 2021; originally announced February 2021.

Comments: 42 pages, 9 figures. Extended and augmented version of arXiv:1707.02741

MSC Class: 37B10 (Primary) 68R15; 11J70; 37H15 (Secondary)

Journal ref: Moscow J. Comb. Number Th. 11 (2022) 287-333

$\mathcal{S}$-adic characterization of minimal ternary dendric shifts

Authors: France Gheeraert, Marie Lejeune, Julien Leroy

Abstract: Dendric shifts are defined by combinatorial restrictions of the extensions of the words in their languages. This family generalizes well-known families of shifts such as Sturmian shifts, Arnoux-Rauzy shifts and codings of interval exchange transformations. It is known that any minimal dendric shift has a primitive $\mathcal{S}$-adic representation where the morphisms in $\mathcal{S}$ are positive… ▽ More Dendric shifts are defined by combinatorial restrictions of the extensions of the words in their languages. This family generalizes well-known families of shifts such as Sturmian shifts, Arnoux-Rauzy shifts and codings of interval exchange transformations. It is known that any minimal dendric shift has a primitive $\mathcal{S}$-adic representation where the morphisms in $\mathcal{S}$ are positive tame automorphisms of the free group generated by the alphabet. In this paper we investigate those $\mathcal{S}$-adic representations, heading towards an $\mathcal{S}$-adic characterization of this family. We obtain such a characterization in the ternary case, involving a directed graph with 2 vertices. △ Less

Submitted 22 June, 2021; v1 submitted 19 February, 2021; originally announced February 2021.

Comments: 40 pages

MSC Class: 68R15; 37B10

On The Dimension Group of Unimodular S-Adic Subshifts

Authors: Valerie Berthe, P Cecchi Bernales, Fabien Durand, J Leroy, Dominique Perrin, Samuel Petite

Abstract: Dimension groups are complete invariants of strong orbit equivalence for minimal Cantor systems. This paper studies a natural family of minimal Cantor systems having a finitely generated dimension group, namely the primitive unimodular proper S-adic subshifts. They are generated by iterating sequences of substitutions. Proper substitutions are such that the images of letters start with a same lett… ▽ More Dimension groups are complete invariants of strong orbit equivalence for minimal Cantor systems. This paper studies a natural family of minimal Cantor systems having a finitely generated dimension group, namely the primitive unimodular proper S-adic subshifts. They are generated by iterating sequences of substitutions. Proper substitutions are such that the images of letters start with a same letter, and similarly end with a same letter. This family includes various classes of subshifts such as Brun subshifts or dendric subshifts, that in turn include Arnoux-Rauzy subshifts and natural coding of interval exchange transformations. We compute their dimension group and investigate the relation between the triviality of the infinitesimal subgroup and rational independence of letter measures. We also introduce the notion of balanced functions and provide a topological characterization of bal-ancedness for primitive unimodular proper S-adic subshifts. △ Less

Submitted 2 September, 2020; v1 submitted 18 November, 2019; originally announced November 2019.

Computing the $k$-binomial complexity of the Thue--Morse word

Authors: Marie Lejeune, Julien Leroy, Michel Rigo

Abstract: Two words are $k$-binomially equivalent whenever they share the same subwords, i.e., subsequences, of length at most $k$ with the same multiplicities. This is a refinement of both abelian equivalence and the Simon congruence. The $k$-binomial complexity of an infinite word $\mathbf{x}$ maps the integer $n$ to the number of classes in the quotient, by this $k$-binomial equivalence relation, of the… ▽ More Two words are $k$-binomially equivalent whenever they share the same subwords, i.e., subsequences, of length at most $k$ with the same multiplicities. This is a refinement of both abelian equivalence and the Simon congruence. The $k$-binomial complexity of an infinite word $\mathbf{x}$ maps the integer $n$ to the number of classes in the quotient, by this $k$-binomial equivalence relation, of the set of factors of length $n$ occurring in $\mathbf{x}$. This complexity measure has not been investigated very much. In this paper, we characterize the $k$-binomial complexity of the Thue--Morse word. The result is striking, compared to more familiar complexity functions. Although the Thue--Morse word is aperiodic, its $k$-binomial complexity eventually takes only two values. In this paper, we first obtain general results about the number of occurrences of subwords appearing in iterates of the form $Ψ^\ell(w)$ for an arbitrary morphism $Ψ$. We also thoroughly describe the factors of the Thue--Morse word by introducing a relevant new equivalence relation. △ Less

Submitted 18 December, 2018; originally announced December 2018.

MSC Class: 68R15

Decidability of the isomorphism and the factorization between minimal substitution subshifts

Authors: Fabien Durand, Julien Leroy

Abstract: Classification is a central problem for dynamical systems, in particular for families that arise in a wide range of topics, like substitution subshifts. It is important to be able to distinguish whether two such subshifts are isomorphic, but the existing invariants are not sufficient for this purpose. We first show that given two minimal substitution subshifts, there exists a computable constant… ▽ More Classification is a central problem for dynamical systems, in particular for families that arise in a wide range of topics, like substitution subshifts. It is important to be able to distinguish whether two such subshifts are isomorphic, but the existing invariants are not sufficient for this purpose. We first show that given two minimal substitution subshifts, there exists a computable constant $R$ such that any factor map between these subshifts (if any) is the composition of a factor map with a radius smaller than $R$ and some power of the shift map. Then we prove that it is decidable to check whether a given sliding block code is a factor map between two prescribed minimal substitution subshifts. As a consequence of these two results, we provide an algorithm that, given two minimal substitution subshifts, decides whether one is a factor of the other and, as a straightforward corollary, whether they are isomorphic. △ Less

Submitted 23 August, 2022; v1 submitted 13 June, 2018; originally announced June 2018.

Comments: 65 pages

MSC Class: 37B10; 68R15

A Set of Sequences of Complexity $2n+1$

Authors: Julien Cassaigne, Sébastien Labbé, Julien Leroy

Abstract: We prove the existence of a ternary sequence of factor complexity $2n+1$ for any given vector of rationally independent letter frequencies. Such sequences are constructed from an infinite product of two substitutions according to a particular Multidimensional Continued Fraction algorithm. We show that this algorithm is conjugate to a well-known one, the Selmer algorithm. Experimentations (Baldwin,… ▽ More We prove the existence of a ternary sequence of factor complexity $2n+1$ for any given vector of rationally independent letter frequencies. Such sequences are constructed from an infinite product of two substitutions according to a particular Multidimensional Continued Fraction algorithm. We show that this algorithm is conjugate to a well-known one, the Selmer algorithm. Experimentations (Baldwin, 1992) suggest that their second Lyapunov exponent is negative which presages finite balance properties. △ Less

Submitted 10 July, 2017; originally announced July 2017.

Comments: 12 pages, 11th International Conference on Words (Montreal, September 11-15, 2017)

MSC Class: 68R15 (Primary) 37B10; 37B70 (Secondary)

Journal ref: In: Brlek S., Dolce F., Reutenauer C., Vandomme É. (eds) Combinatorics on Words. WORDS 2017. Lecture Notes in Computer Science, vol 10432. Springer, Cham

Counting Subwords Occurrences in Base-b Expansions

Authors: Julien Leroy, Michel Rigo, Manon Stipulanti

Abstract: We count the number of distinct (scattered) subwords occurring in the base-b expansion of the non-negative integers. More precisely, we consider the sequence $(S_b(n))_{n\ge 0}$ counting the number of positive entries on each row of a generalization of the Pascal triangle to binomial coefficients of base-$b$ expansions. By using a convenient tree structure, we provide recurrence relations for… ▽ More We count the number of distinct (scattered) subwords occurring in the base-b expansion of the non-negative integers. More precisely, we consider the sequence $(S_b(n))_{n\ge 0}$ counting the number of positive entries on each row of a generalization of the Pascal triangle to binomial coefficients of base-$b$ expansions. By using a convenient tree structure, we provide recurrence relations for $(S_b(n))_{n\ge 0}$ leading to the $b$-regularity of the latter sequence. Then we deduce the asymptotics of the summatory function of the sequence $(S_b(n))_{n\ge 0}$. △ Less

Submitted 29 May, 2017; originally announced May 2017.

Comments: 22 pages, 9 figures

MSC Class: 11A63; 11B65; 11B85; 41A60; 68R15

Journal ref: Integers 18A (2018), no. A13, 32 pp

Counting the number of non-zero coefficients in rows of generalized Pascal triangles

Authors: Julien Leroy, Michel Rigo, Manon Stipulanti

Abstract: This paper is about counting the number of distinct (scattered) subwords occurring in a given word. More precisely, we consider the generalization of the Pascal triangle to binomial coefficients of words and the sequence $(S(n))_{n\ge 0}$ counting the number of positive entries on each row. By introducing a convenient tree structure, we provide a recurrence relation for $(S(n))_{n\ge 0}$. This lea… ▽ More This paper is about counting the number of distinct (scattered) subwords occurring in a given word. More precisely, we consider the generalization of the Pascal triangle to binomial coefficients of words and the sequence $(S(n))_{n\ge 0}$ counting the number of positive entries on each row. By introducing a convenient tree structure, we provide a recurrence relation for $(S(n))_{n\ge 0}$. This leads to a connection with the $2$-regular Stern-Brocot sequence and the sequence of denominators occurring in the Farey tree. Then we extend our construction to the Zeckendorf numeration system based on the Fibonacci sequence. Again our tree structure permits us to obtain recurrence relations for and the F-regularity of the corresponding sequence. △ Less

Submitted 23 May, 2017; originally announced May 2017.

Comments: 28 pages, 10 figures

Journal ref: Discrete Math. 340 (2017) 862-881

Behavior of digital sequences through exotic numeration systems

Authors: Julien Leroy, Michel Rigo, Manon Stipulanti

Abstract: Many digital functions studied in the literature, e.g., the summatory function of the base-$k$ sum-of-digits function, have a behavior showing some periodic fluctuation. Such functions are usually studied using techniques from analytic number theory or linear algebra. In this paper we develop a method based on exotic numeration systems and we apply it on two examples motivated by the study of gene… ▽ More Many digital functions studied in the literature, e.g., the summatory function of the base-$k$ sum-of-digits function, have a behavior showing some periodic fluctuation. Such functions are usually studied using techniques from analytic number theory or linear algebra. In this paper we develop a method based on exotic numeration systems and we apply it on two examples motivated by the study of generalized Pascal triangles and binomial coefficients of words. △ Less

Submitted 23 May, 2017; originally announced May 2017.

Comments: 32 pages, 27 figures

MSC Class: 11A63; 11B85; 41A60

Journal ref: Electron. J. Combin. 24 (2017), no. 1, Paper 1.44, 36 pp

Generalized Pascal triangle for binomial coefficients of words

Authors: Julien Leroy, Michel Rigo, Manon Stipulanti

Abstract: We introduce a generalization of Pascal triangle based on binomial coefficients of finite words. These coefficients count the number of times a word appears as a subsequence of another finite word. Similarly to the Sierpiński gasket that can be built as the limit set, for the Hausdorff distance, of a convergent sequence of normalized compact blocks extracted from Pascal triangle modulo $2$, we des… ▽ More We introduce a generalization of Pascal triangle based on binomial coefficients of finite words. These coefficients count the number of times a word appears as a subsequence of another finite word. Similarly to the Sierpiński gasket that can be built as the limit set, for the Hausdorff distance, of a convergent sequence of normalized compact blocks extracted from Pascal triangle modulo $2$, we describe and study the first properties of the subset of $[0, 1] \times [0, 1]$ associated with this extended Pascal triangle modulo a prime $p$. △ Less

Submitted 23 May, 2017; originally announced May 2017.

Comments: 20 pages, 15 figures

MSC Class: 28A80 (primary); and 28A78; 11B85; 68R15 (secondary)

Journal ref: Adv. Appl. Math. 80 (2016) 24-27

The constant of recognizability is computable for primitive morphisms

Authors: Fabien Durand, Julien Leroy

Abstract: Mossé proved that primitive morphisms are recognizable. In this paper we give a computable upper bound for the constant of recognizability of such a morphism. This bound can be expressed only using the cardinality of the alphabet and the length of the longest image under the morphism of a letter. Mossé proved that primitive morphisms are recognizable. In this paper we give a computable upper bound for the constant of recognizability of such a morphism. This bound can be expressed only using the cardinality of the alphabet and the length of the longest image under the morphism of a letter. △ Less

Submitted 18 October, 2016; originally announced October 2016.

MSC Class: 68R15

Asymptotic properties of free monoid morphisms

Authors: Emilie Charlier, Julien Leroy, Michel Rigo

Abstract: Motivated by applications in the theory of numeration systems and recognizable sets of integers, this paper deals with morphic words when erasing morphisms are taken into account. Cobham showed that if an infinite word $w =g(f^ω(a))$ is the image of a fixed point of a morphism $f$ under another morphism $g$, then there exist a non-erasing morphism $σ$ and a coding $τ$ such that $w =τ(σ^ω(b))$. B… ▽ More Motivated by applications in the theory of numeration systems and recognizable sets of integers, this paper deals with morphic words when erasing morphisms are taken into account. Cobham showed that if an infinite word $w =g(f^ω(a))$ is the image of a fixed point of a morphism $f$ under another morphism $g$, then there exist a non-erasing morphism $σ$ and a coding $τ$ such that $w =τ(σ^ω(b))$. Based on the Perron theorem about asymptotic properties of powers of non-negative matrices, our main contribution is an in-depth study of the growth type of iterated morphisms when one replaces erasing morphisms with non-erasing ones. We also explicitly provide an algorithm computing $σ$ and $τ$ from $f$ and $g$. △ Less

Submitted 15 April, 2016; v1 submitted 1 July, 2015; originally announced July 2015.

Comments: 25 pages

MSC Class: 68R15; 15B36

Bifix codes and interval exchanges

Authors: Valérie Berthé, Clelia De Felice, Francesco Dolce, Julien Leroy, Dominique Perrin, Christophe Reutenauer, Giuseppina Rindone

Abstract: We investigate the relation between bifix codes and interval exchange transformations. We prove that the class of natural codings of regular interval echange transformations is closed under maximal bifix decoding. We investigate the relation between bifix codes and interval exchange transformations. We prove that the class of natural codings of regular interval echange transformations is closed under maximal bifix decoding. △ Less

Submitted 20 February, 2015; v1 submitted 2 August, 2014; originally announced August 2014.

Comments: arXiv admin note: substantial text overlap with arXiv:1305.0127, arXiv:1308.5396

Journal ref: J. Pure Appl. Algebra, 19 (2015) 2781-2798

An analogue of Cobham's theorem for graph directed iterated function systems

Authors: Emilie Charlier, Julien Leroy, Michel Rigo

Abstract: Feng and Wang showed that two homogeneous iterated function systems in $\mathbb{R}$ with multiplicatively independent contraction ratios necessarily have different attractors. In this paper, we extend this result to graph directed iterated function systems in $\mathbb{R}^n$ with contraction ratios that are of the form $\frac{1}β$, for integers $β$. By using a result of Boigelot et al., this allows… ▽ More Feng and Wang showed that two homogeneous iterated function systems in $\mathbb{R}$ with multiplicatively independent contraction ratios necessarily have different attractors. In this paper, we extend this result to graph directed iterated function systems in $\mathbb{R}^n$ with contraction ratios that are of the form $\frac{1}β$, for integers $β$. By using a result of Boigelot et al., this allows us to give a proof of a conjecture of Adamczewski and Bell. In doing so, we link the graph directed iterated function systems to Büchi automata. In particular, this link extends to real numbers $β$. We introduce a logical formalism that permits to characterize sets of $\mathbb{R}^n$ whose representations in base $β$ are recognized by some Büchi automata. This result depends on the algebraic properties of the base: $β$ being a Pisot or a Parry number. The main motivation of this work is to draw a general picture representing the different frameworks where an analogue of Cobham's theorem is known. △ Less

Submitted 25 November, 2013; v1 submitted 1 October, 2013; originally announced October 2013.

Comments: 30 pages; updated version, including a new introduction and some new references

MSC Class: 28A80 (primary); and 28A78; 11B85; 68Q70; 11K16 (secondary)

Maximal bifix decoding

Authors: Valérie Berthé, Clelia De Felice, Francesco Dolce, and Julien Leroy, Dominique Perrin, Christophe Reutenauer, Giuseppina Rindone

Abstract: We introduce a class of sets of words which is a natural common generalization of Sturmian sets and of interval exchange sets. This class of sets consists of the uniformly recurrent tree sets, where the tree sets are defined by a condition on the possible extensions of bispecial factors. We prove that this class is closed under maximal bifix decoding. The proof uses the fact that the class is also… ▽ More We introduce a class of sets of words which is a natural common generalization of Sturmian sets and of interval exchange sets. This class of sets consists of the uniformly recurrent tree sets, where the tree sets are defined by a condition on the possible extensions of bispecial factors. We prove that this class is closed under maximal bifix decoding. The proof uses the fact that the class is also closed under decoding with respect to return words. △ Less

Submitted 23 February, 2015; v1 submitted 25 August, 2013; originally announced August 2013.

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

Journal ref: Discrete Math. 338 (2015)725-742

Acyclic, connected and tree sets

Authors: Valerie Berthé, Clelia De Felice, Francesco Dolce, Julien Leroy, Dominique Perrin, Christophe Reutenauer, Giuseppina Rindone

Abstract: Given a set $F$ of words, one associates to each word $w$ in $F$ an undirected graph, called its extension graph, and which describes the possible extensions of $w$ on the left and on the right. We investigate the family of sets of words defined by the property of the extension graph of each word in the set to be acyclic or connected or a tree. We prove that in a uniformly recurrent tree set, the… ▽ More Given a set $F$ of words, one associates to each word $w$ in $F$ an undirected graph, called its extension graph, and which describes the possible extensions of $w$ on the left and on the right. We investigate the family of sets of words defined by the property of the extension graph of each word in the set to be acyclic or connected or a tree. We prove that in a uniformly recurrent tree set, the sets of first return words are bases of the free group on the alphabet. Concerning acyclic sets, we prove as a main result that a set $F$ is acyclic if and only if any bifix code included in $F$ is a basis of the subgroup that it generates. △ Less

Submitted 21 February, 2015; v1 submitted 20 August, 2013; originally announced August 2013.

Comments: arXiv admin note: substantial text overlap with arXiv:1305.0127, arXiv:1011.5369, Monatsh. Math. (2015)

An $S$-adic characterization of minimal subshifts with first difference of complexity $1 \leq p(n+1) - p(n) \leq 2$

Authors: Julien Leroy

Abstract: In [Ergodic Theory Dynam. System, 16 (1996) 663--682], S. Ferenczi proved that any minimal subshift with first difference of complexity bounded by 2 is $S$-adic with $\card S \leq 3^{27}$. In this paper, we improve this result by giving an $S$-adic charaterization of these subshifts with a set $S$ of 5 morphisms, solving by this way the $S$-adic conjecture for this particular case. In [Ergodic Theory Dynam. System, 16 (1996) 663--682], S. Ferenczi proved that any minimal subshift with first difference of complexity bounded by 2 is $S$-adic with $\card S \leq 3^{27}$. In this paper, we improve this result by giving an $S$-adic charaterization of these subshifts with a set $S$ of 5 morphisms, solving by this way the $S$-adic conjecture for this particular case. △ Less

Submitted 2 May, 2013; originally announced May 2013.

The finite index basis property

Authors: Valérie Berthé, Clelia De Felice, Francesco Dolce, Julien Leroy, Dominique Perrin, Christophe Reutenauer, Giuseppina Rindone

Abstract: We describe in this paper a connection between bifix codes, symbolic dynamical systems and free groups. This is in the spirit of the connection established previously for the symbolic systems corresponding to Sturmian words. We introduce a class of sets of factors of an infinite word with linear factor complexity containing Sturmian sets and regular interval exchange sets, namemly the class of tre… ▽ More We describe in this paper a connection between bifix codes, symbolic dynamical systems and free groups. This is in the spirit of the connection established previously for the symbolic systems corresponding to Sturmian words. We introduce a class of sets of factors of an infinite word with linear factor complexity containing Sturmian sets and regular interval exchange sets, namemly the class of tree sets. We prove as a main result that for a uniformly recurrent tree set $F$, a finite bifix code $X$ on the alphabet $A$ is $F$-maximal of $F$-degree $d$ if and only if it is the basis of a subgroup of index $d$ of the free group on $A$. △ Less

Submitted 20 February, 2015; v1 submitted 1 May, 2013; originally announced May 2013.

Comments: arXiv admin note: text overlap with arXiv:1011.5369, arXiv:1305.0120

Journal ref: J. Pure Appl. Algebra, 219 (2015) 2521-2537

$S$-adic conjecture and Bratteli diagrams

Authors: Fabien Durand, Julien Leroy

Abstract: In this note we apply a substantial improvement of a result of S. Ferenczi on $S$-adic subshifts to give Bratteli-Vershik representations of these subshifts. In this note we apply a substantial improvement of a result of S. Ferenczi on $S$-adic subshifts to give Bratteli-Vershik representations of these subshifts. △ Less

Submitted 4 October, 2012; originally announced October 2012.

Comments: 6 pages

Towards a statement of the S-adic conjecture through examples

Authors: Fabien Durand, Julien Leroy, Gwénaël Richomme

Abstract: The $S$-adic conjecture claims that there exists a condition $C$ such that a sequence has a sub-linear complexity if and only if it is an $S$-adic sequence satisfying Condition $C$ for some finite set $S$ of morphisms. We present an overview of the factor complexity of $S$-adic sequences and we give some examples that either illustrate some interesting properties or that are counter-examples to wh… ▽ More The $S$-adic conjecture claims that there exists a condition $C$ such that a sequence has a sub-linear complexity if and only if it is an $S$-adic sequence satisfying Condition $C$ for some finite set $S$ of morphisms. We present an overview of the factor complexity of $S$-adic sequences and we give some examples that either illustrate some interesting properties or that are counter-examples to what could be believed to be "a good Condition $C$". △ Less

Submitted 31 August, 2012; originally announced August 2012.

Comments: 25