Refereed journal article or data article (A1)

Abelian powers and repetitions in Sturmian words




List of AuthorsFici Gabriele,Langiu Alessio,Lecroq Thierry,Lefebvre Arnaud,Mignosi Filippo,Peltomäki Jarkko,Prieur-Gaston élise

PublisherElsevier B.V.

Publication year2016

JournalTheoretical Computer Science

Journal acronymTCS

Volume number635

Start page16

End page34

Number of pages19

ISSN0304-3975

eISSN1879-2294

DOIhttp://dx.doi.org/10.1016/j.tcs.2016.04.039

Self-archived copy’s web addresshttp://arxiv.org/abs/1506.02797


Abstract

Richomme, Saari and Zamboni (J.~Lond.~Math.~Soc.~83:~79--95,~2011) proved that at every position of a Sturmian word starts an  abelian power of exponent $k$ for every $k > 0$. We improve on this result by studying the maximum exponents of abelian powers and abelian repetitions (an abelian repetition is an analogue of a fractional power) in Sturmian words. We give a formula for computing the maximum exponent of an abelian power of abelian period $m$ starting at a given position in any Sturmian word of rotation angle $alpha$. By considering all possible abelian periods $m$, we recover the result of Richomme, Saari and Zamboni.

As an analogue of the critical exponent, we introduce the abelian critical exponent $A(s_alpha)$ of a Sturmian word $s_alpha$ of angle $alpha$ as the quantity $A(s_alpha) = limsup k_{m}/m=limsup k'_{m}/m$, where $k_{m}$ (resp. $k'_{m}$) denotes the maximum exponent of an abelian power (resp.~of an abelian repetition) of abelian period $m$ (the superior limits coincide for Sturmian words). We show that $A(s_alpha)$ equals the Lagrange constant of the number $alpha$. This yields a formula for computing $A(s_alpha)$ in terms of the partial quotients of the continued fraction expansion of $alpha$. Using this formula, we prove that $A(s_alpha) geq sqrt{5}$ and that the equality holds for the Fibonacci word. We further prove that $A(s_alpha)$ is finite if and only if $alpha$ has bounded partial quotients, that is, if and only if $s_{alpha}$ is $eta$-power-free for some real number $eta$.

Concerning the infinite Fibonacci word, we prove that: emph{i}) The longest prefix that is an abelian repetition of period $F_j$, $j>1$, has length $F_j(F_{j+1}+F_{j-1}+1)-2$ if $j$ is even or $F_j( F_{j+1}+F_{j-1} )-2$ if $j$ is odd, where $F_{j}$ is the $j$th Fibonacci number; emph{ii}) The minimum abelian period of any factor is a Fibonacci number.  Further, we derive a formula for the minimum abelian periods of the finite Fibonacci words: we prove that for $jgeq 3$ the Fibonacci word $f_j$, of length $F_{j}$, has minimum abelian period equal to $F_{lfloor{j/2}
floor}$ if $j = 0, 1, 2mod{4}$ or to $F_{1+lfloor{j/2}
floor}$ if $j=3mod{4}$.


Last updated on 2021-24-06 at 10:49