Source author record

Sébastien Labbé

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.DS Discrete Mathematics Formal Languages and Automata Theory math.MG math.GR math.NT

Catalog footprint

Research overview

11works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

The $q$ -analog of the Markoff injectivity conjecture over the language of a balanced sequence

The Markoff injectivity conjecture states that $w\mapstoμ(w)_{12}$ is injective on the set of Christoffel words where $μ:\{\mathtt{0},\mathtt{1}\}^*\to\mathrm{SL}_2(\mathbb{Z})$ is a certain homomorphism and $M_{12}$ is the entry above the diagonal of a $2\times2$ matrix $M$ . Recently, Leclere and Morier-Genoud (2021) proposed a $q$ -analog $μ_q$ of $μ$ such that $μ_{q}(w)_{12}|_{q=1}=μ(w)_{12}$ is the Markoff number associated to the Christoffel word $w$ when evaluated at $q=1$ . We show that there exists an order $<_{radix}$ on $\{\mathtt{0},\mathtt{1}\}^*$ such that for every balanced sequence $s \in \{\mathtt{0},\mathtt{1}\}^\mathbb{Z}$ and for all factors $u, v$ in the language of $s$ with $u <_{radix} v$ , the difference $μ_q(v)_{12} - μ_q(u)_{12}$ is a nonzero polynomial of indeterminate $q$ with nonnegative integer coefficients. Therefore, the map $u\mapstoμ_q(u)_{12}$ is injective over the language of a balanced sequence. The proof uses an equivalence between balanced sequences satisfying some Markoff property and indistinguishable asymptotic pairs.

preprint2020arXiv

Markov partitions for toral $\mathbb{Z}^2$ -rotations featuring Jeandel-Rao Wang shift and model sets

We define a partition $\mathcal{P}_0$ and a $\mathbb{Z}^2$ -rotation ( $\mathbb{Z}^2$ -action defined by rotations) on a 2-dimensional torus whose associated symbolic dynamical system is a minimal proper subshift of the Jeandel-Rao aperiodic Wang shift defined by 11 Wang tiles. We define another partition $\mathcal{P}_\mathcal{U}$ and a $\mathbb{Z}^2$ -rotation on $\mathbb{T}^2$ whose associated symbolic dynamical system is equal to a minimal and aperiodic Wang shift defined by 19 Wang tiles. This proves that $\mathcal{P}_\mathcal{U}$ is a Markov partition for the $\mathbb{Z}^2$ -rotation on $\mathbb{T}^2$ . We prove in both cases that the toral $\mathbb{Z}^2$ -rotation is the maximal equicontinuous factor of the minimal subshifts and that the set of fiber cardinalities of the factor map is $\{1,2,8\}$ . The two minimal subshifts are uniquely ergodic and are isomorphic as measure-preserving dynamical systems to the toral $\mathbb{Z}^2$ -rotations. It provides a construction of these Wang shifts as model sets of 4-to-2 cut and project schemes. A do-it-yourself puzzle is available in the appendix to illustrate the results.

preprint2017arXiv

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

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.

preprint2015arXiv

$3$ -dimensional Continued Fraction Algorithms Cheat Sheets

Multidimensional Continued Fraction Algorithms are generalizations of the Euclid algorithm and find iteratively the gcd of two or more numbers. They are defined as linear applications on some subcone of $\mathbb{R}^d$ . We consider multidimensional continued fraction algorithms that acts symmetrically on the positive cone $\mathbb{R}^d_+$ for $d=3$ . We include well-known and old ones (Poincaré, Brun, Selmer, Fully Subtractive) and new ones (Arnoux-Rauzy-Poincaré, Reverse, Cassaigne). For each algorithm, one page (called cheat sheet) gathers a handful of informations most of them generated with the open source software Sage with the optional Sage package \texttt{slabbe-0.2.spkg}. The information includes the $n$ -cylinders, density function of an absolutely continuous invariant measure, domain of the natural extension, lyapunov exponents as well as data regarding combinatorics on words, symbolic dynamics and digital geometry, that is, associated substitutions, generated $S$ -adic systems, factor complexity, discrepancy, dual substitutions and generation of digital planes. The document ends with a table of comparison of Lyapunov exponents and gives the code allowing to reproduce any of the results or figures appearing in these cheat sheets.

preprint2015arXiv

A Perron theorem for matrices with negative entries and applications to Coxeter groups

Handelman (J. Operator Theory, 1981) proved that if the spectral radius of a matrix $A$ is a simple root of the characteristic polynomial and is strictly greater than the modulus of any other root, then $A$ is conjugate to a matrix $Z$ some power of which is positive. In this article, we provide an explicit conjugate matrix $Z$ , and prove that the spectral radius of $A$ is a simple and dominant eigenvalue of $A$ if and only if $Z$ is eventually positive. For $n\times n$ real matrices with each row-sum equal to $1$ , this criterion can be declined into checking that each entry of some power is strictly larger than the average of the entries of the same column minus $\frac{1}{n}$ . We apply the criterion to elements of irreducible infinite nonaffine Coxeter groups to provide evidences for the dominance of the spectral radius, which is still unknown.

preprint2015arXiv

Palindromic sequences generated from marked morphisms

Fixed points ${\bf u}=φ({\bf u})$ of marked and primitive morphisms $φ$ over arbitrary alphabet are considered. We show that if ${\bf u}$ is palindromic, i.e., its language contains infinitely many palindromes, then some power of $φ$ has a conjugate in class ${\mathcal P}$ . This class was introduced by Hof, Knill, Simon (1995) in order to study palindromic morphic words. Our definitions of marked and well-marked morphisms are more general than the ones previously used by Frid (1999) or Tan (2007). As any morphism with aperiodic fixed point over binary alphabet is marked, our result generalizes the result of Tan. Labbé (2014) demonstrated that already on a ternary alphabet the property of morphisms to be marked is important for the validity of our theorem. The main tool used in our proof is the description of bispecial factors in fixed points of morphisms provided by Klouda (2012).

preprint2014arXiv

A d-dimensional extension of Christoffel words

In this article, we extend the definition of Christoffel words to directed subgraphs of the hypercubic lattice in arbitrary dimension that we call Christoffel graphs. Christoffel graphs when $d=2$ correspond to well-known Christoffel words. Due to periodicity, the $d$ -dimensional Christoffel graph can be embedded in a $(d-1)$ -torus (a parallelogram when $d=3$ ). We show that Christoffel graphs have similar properties to those of Christoffel words: symmetry of their central part and conjugation with their reversal. Our main result extends Pirillo's theorem (characterization of Christoffel words which asserts that a word $amb$ is a Christoffel word if and only if it is conjugate to $bma$ ) in arbitrary dimension. In the generalization, the map $amb\mapsto bma$ is seen as a flip operation on graphs embedded in $\mathbb{Z}^d$ and the conjugation is a translation. We show that a fully periodic subgraph of the hypercubic lattice is a translate of its flip if and only if it is a Christoffel graph.

preprint2014arXiv

Factor Complexity of S-adic sequences generated by the Arnoux-Rauzy-Poincaré Algorithm

The Arnoux-Rauzy-Poincaré multidimensional continued fraction algorithm is obtained by combining the Arnoux-Rauzy and Poincaré algorithms. It is a generalized Euclidean algorithm. Its three-dimensional linear version consists in subtracting the sum of the two smallest entries to the largest if possible (Arnoux-Rauzy step), and otherwise, in subtracting the smallest entry to the median and the median to the largest (the Poincaré step), and by performing when possible Arnoux-Rauzy steps in priority. After renormalization it provides a piecewise fractional map of the standard $2$ -simplex. We study here the factor complexity of its associated symbolic dynamical system, defined as an $S$ -adic system. It is made of infinite words generated by the composition of sequences of finitely many substitutions, together with some restrictions concerning the allowed sequences of substitutions expressed in terms of a regular language. Here, the substitutions are provided by the matrices of the linear version of the algorithm. We give an upper bound for the linear growth of the factor complexity. We then deduce the convergence of the associated algorithm by unique ergodicity.

preprint2011arXiv

Complexity of the Fibonacci snowflake

The object under study is a particular closed curve on the square lattice $\Z^2$ related with the Fibonacci sequence $F_n$ . It belongs to a class of curves whose length is $4F_{3n+1}$ , and whose interiors by translation tile the plane. The limit object, when conveniently normalized, is a fractal line for which we compute first the fractal dimension, and then give a complexity measure.

preprint2011arXiv

Uniformly balanced words with linear complexity and prescribed letter frequencies

We consider the following problem. Let us fix a finite alphabet A; for any given d-uple of letter frequencies, how to construct an infinite word u over the alphabet A satisfying the following conditions: u has linear complexity function, u is uniformly balanced, the letter frequencies in u are given by the given d-uple. This paper investigates a construction method for such words based on the use of mixed multidimensional continued fraction algorithms.

preprint2007arXiv

On the critical exponent of generalized Thue-Morse words

For certain generalized Thue-Morse words t, we compute the "critical exponent", i.e., the supremum of the set of rational numbers that are exponents of powers in t, and determine exactly the occurrences of powers realizing it.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Sébastien Labbé

Research overview

Is this your work?

11 publications

The $q$ -analog of the Markoff injectivity conjecture over the language of a balanced sequence

Markov partitions for toral $\mathbb{Z}^2$ -rotations featuring Jeandel-Rao Wang shift and model sets

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

$3$ -dimensional Continued Fraction Algorithms Cheat Sheets

A Perron theorem for matrices with negative entries and applications to Coxeter groups

Palindromic sequences generated from marked morphisms

A d-dimensional extension of Christoffel words

Factor Complexity of S-adic sequences generated by the Arnoux-Rauzy-Poincaré Algorithm

Complexity of the Fibonacci snowflake

Uniformly balanced words with linear complexity and prescribed letter frequencies

On the critical exponent of generalized Thue-Morse words

See the researcher in context

Building this map preview

Sébastien Labbé

Research overview

Is this your work?

11 publications

The qqq-analog of the Markoff injectivity conjecture over the language of a balanced sequence

Markov partitions for toral Z2\mathbb{Z}^2Z2-rotations featuring Jeandel-Rao Wang shift and model sets

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

333-dimensional Continued Fraction Algorithms Cheat Sheets

A Perron theorem for matrices with negative entries and applications to Coxeter groups

Palindromic sequences generated from marked morphisms

A d-dimensional extension of Christoffel words

Factor Complexity of S-adic sequences generated by the Arnoux-Rauzy-Poincaré Algorithm

Complexity of the Fibonacci snowflake

Uniformly balanced words with linear complexity and prescribed letter frequencies

On the critical exponent of generalized Thue-Morse words

See the researcher in context

Building this map preview

The $q$ -analog of the Markoff injectivity conjecture over the language of a balanced sequence

Markov partitions for toral $\mathbb{Z}^2$ -rotations featuring Jeandel-Rao Wang shift and model sets

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

$3$ -dimensional Continued Fraction Algorithms Cheat Sheets