
arXiv: 1506.02797
handle: 20.500.14243/321233 , 11697/106902
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 $��$. vAs an analogue of the critical exponent, we introduce the abelian critical exponent $A(s_��)$ of a Sturmian word $s_��$ of angle $��$ as the quantity $A(s_��) = 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_��)$ equals the Lagrange constant of the number $��$. This yields a formula for computing $A(s_��)$ in terms of the partial quotients of the continued fraction expansion of $��$. Using this formula, we prove that $A(s_��) \geq \sqrt{5}$ and that the equality holds for the Fibonacci word. We further prove that $A(s_��)$ is finite if and only if $��$ has bounded partial quotients, that is, if and only if $s_��$ is $��$-power-free for some real number $��$. Concerning the infinite Fibonacci word, we prove that: 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; 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
To appear in Theoretical Computer Science
FOS: Computer and information sciences, critical exponent, Markov and Lagrange spectra and generalizations, Discrete Mathematics (cs.DM), Formal Languages and Automata Theory (cs.FL), [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], Computer Science - Formal Languages and Automata Theory, Fibonacci word, 510, abelian period, FOS: Mathematics, Mathematics - Combinatorics, Number Theory (math.NT), Combinatorics on words, Mathematics - Number Theory, ta111, Sturmian word, Abelian period; Abelian power; Critical exponent; Lagrange constant; Sturmian word; Theoretical Computer Science; Computer Science (all), Abelian period, Lagrange constant, abelian power, Critical exponent, Abelian power, Combinatorics (math.CO), Computer Science - Discrete Mathematics
FOS: Computer and information sciences, critical exponent, Markov and Lagrange spectra and generalizations, Discrete Mathematics (cs.DM), Formal Languages and Automata Theory (cs.FL), [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], Computer Science - Formal Languages and Automata Theory, Fibonacci word, 510, abelian period, FOS: Mathematics, Mathematics - Combinatorics, Number Theory (math.NT), Combinatorics on words, Mathematics - Number Theory, ta111, Sturmian word, Abelian period; Abelian power; Critical exponent; Lagrange constant; Sturmian word; Theoretical Computer Science; Computer Science (all), Abelian period, Lagrange constant, abelian power, Critical exponent, Abelian power, Combinatorics (math.CO), Computer Science - Discrete Mathematics
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 13 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
