arXiv++ Combinatorics

Let $π=(<_D,<_A)$ be a pair of distinct orders on a $k$-letter alphabet $A. $ The periodic trajectories $v_i^\infty $ of a discrete $k$-interval exchange transformations $T$ with permutation $π$ are characterized by the following order symmetry : $v_i^ω<_D v_j^ω$ (lexicographically) if and only if $v_i^{-ω}<_Av_j^{-ω}$ (reverse lexicographically). For general words $u$ and $v$ over $A$, the orders need not agree in which case either $u^ω<_A v^ω<_D u^ω$ (Type 1) or $v^ω<_A u^ω<_D v^ω$ (Type 2). We partition all such order crossings amongst the set of conjugates of two words $u$ and $v$ into disjoint families $T_1(u,v)$ and $T_2(u,v)$ and define the index $i(u,v)$ by $|T_1(u,v)|+|T_2(u,v)|.$ Remarkably the difference, $|T_2(u,v)|-|T_1(u,v)|,$ depends only on the Parikh vectors $λ(u)$ and $λ(v).$ We show that $|T_2(u,v)|-|T_1(u,v)|=λ(u)^T Ωλ(v)$ where $Ω$ is a $k\times k$ skew symmetric matrix depending only on $π.$ It follows that the Parikh vectors of the trajectories of a discrete interval exchange are orthogonal with respect to $Ω.$ Applied to dimension $3,$ we obtain an arithmetic formula for the number of orbits in a discrete $3$-interval exchange and hence a characterization of minimality. For general $k,$ the orthogonality of the trajectories gives an upper bound $\lfloor \frac{k+d}2 \rfloor$ on the number of distinct trajectories where $d=\dim \ker (Ω).$ If $T$ is symmetric, then the number of distinct trajectories is at most$\lfloor \frac{k+1}2 \rfloor.$ An alternate interpretation of this result is that on an ordered $k$-letter alphabet, there are at most $\lfloor \frac{k+1}2 \rfloor$ primitive, pairwise non conjugate perfectly clustering words which perfectly cluster collectively in a single array in which all their conjugates are arranged in increasing order.

For any interval exchange transformation $T$ (standard or generalized), if we define a morphism $φ$ from the set of letters to the set of the return words of a word in the natural coding, respecting the lexicographical order, the word $φv$ clusters (for the Burrows-Wheeler transform) for the permutation of $T$ if and only if the word $v$ clusters for the permutation of the induced map of $T$ on the cylinder $[w]$. When $T$ is symmetrical, all such natural codings are rich languages, and this implies that the two orders above are the same if $w$ is a palindrome. Finally, we generalize the result, proved by using the clustering of a word $w$, that $ww$ is produced by a generalized interval exchange transformation if and only if $ww$ is produced by a standard interval exchange transformation, to non-clustering $w$: in the symmetric case, $w$ is produced by a generalized interval exchange transformation if and only if $w$ is produced by a standard interval exchange transformation.

By a Christoffel matrix we mean a $n\times n$ matrix corresponding to the lexicographic array of a Christoffel word of length $n.$ In this note we show that if $R$ is an integral domain, then the product of two Christoffel matrices over $R$ is commutative and is a Christoffel matrix over $R.$ Furthermore, if a Christoffel matrix over $R$ is invertible, then its inverse is a Christoffel matrix over $R.$ Consequently, the set $GC_n(R)$ of all $n\times n$ invertible Christoffel matrices over $R$ forms an abelian subgroup of $GL_n(R).$ The subset of $GC_n(R)$ consisting all invertible Christoffel matrices having some element $a$ on the diagonal and $b$ elsewhere (with $a,b \in R$ distinct) forms a subgroup $H$ of $GC_n(R).$ If $R$ is a field, then the quotient $GC_n(R)/H$ is isomorphic to $(\Z/nZ)^\times,$ the multiplicative group of integers modulo $n.$ It follows that for each finite field $F$ and each finite abelian group $G,$ there exists $n\geq 2$ and a faithful representation $G\rightarrow GL_n(F)$ consisting entirely of $n\times n$ (invertible) Christoffel matrices over $F.$ We describe the structure of $GC_n(\Z/2\Z).$

In a 1983 paper, G. Ramharter asks what are the extremal arrangements for the cyclic analogues of the regular and semi-regular continuants first introduced by T.S. Motzkin and E.G. Straus in 1956. In this paper we answer this question by showing that for each set $A$ consisting of positive integers $1<a_1<a_2<\cdots <a_k$ and a $k$-term partition $P: n_1+n_2 + \cdots + n_k=n$, there exists a unique (up to reversal) cyclic word $x$ which maximizes (resp. minimizes) the regular cyclic continuant $K^{\circlearrowright}(\cdot)$ amongst all cyclic words over $A$ with Parikh vector $(n_1,n_2,\ldots,n_k)$. We also show that the same is true for the minimizing arrangement for the semi-regular cyclic continuant $\dot K^{\circlearrowright}(\cdot)$. As in the non-cyclic case, the main difficulty is to find the maximizing arrangement for the semi-regular continuant, which is not unique in general and may depend on the integers $a_1,\ldots,a_k$ and not just on their relative order. We show that if a cyclic word $x$ maximizes $\dot K^{\circlearrowright}(\cdot)$ amongst all permutations of $x$, then it verifies a strong combinatorial condition which we call the singular property. We develop an algorithm for constructing all singular cyclic words having a prescribed Parikh vector.

A regular continuant is the denominator $K$ of a terminating regular continued fraction, interpreted as a function of the partial quotients. We regard $K$ as a function defined on the set of all finite words on the alphabet $1<2<3<\dots$ with values in the positive integers. Given a word $w=w_1\cdots w_n$ with $w_i\in\mathbb{N}$ we define its multiplicity $μ(w)$ as the number of times the value $K(w)$ is assumed in the Abelian class $\mathcal{X}(w)$ of all permutations of the word $w.$ We prove that there is an infinity of different lacunary alphabets of the form $\{b_1<\dots <b_t<l+1<l+2<\dots <s\}$ with $b_j, t, l, s\in\mathbb{N}$ and $s$ sufficiently large such that $μ$ takes arbitrarily large values for words on these alphabets. The method of proof relies in part on a combinatorial characterisation of the word $w_{max}$ in the class $\mathcal{X}(w)$ where $K$ assumes its maximum.

Given a set $A$ of positive integers $a_1<\cdots<a_k$ and a partition $P: n_1+\cdots+n_k=n$, find the extremal denominators of the regular and semi-regular continued fraction $[0;x_1,\ldots,x_n]$ with partial quotients $x_i\in A$ and where each $a_i$ occurs exactly $n_i$ times in $x_1,\ldots,x_n$. In 1983, G. Ramharter gave an explicit description of the extremal arrangements of the regular continued fraction and the minimizing arrangement for the semi-regular continued fraction and showed that in each case the arrangement is unique up to reversal and independent of the actual values of the integers $a_i$. However, an explicit determination of a maximizing arrangement for the semi-regular continuant turned out to be more difficult. Ramharter conjectured that as in the other three cases, the maximizing arrangement is unique up to reversal and depends only on the partition $P$ and not on the values of the $a_i$. He further verified the conjecture in the case of a binary $A$. In this paper we confirm Ramharter's conjecture for sets $A$ with $|A|=3$ and give an algorithmic construction for the unique maximizing arrangement. We also show that Ramharter's conjecture fails for sets with $|A|\geq 4$, as the maximizing arrangement is in general neither unique nor independent of the values of the digits in $A$. The central idea is that the extremal arrangements satisfy a strong combinatorial condition, which may also be stated in the context of infinite sequences on an ordered set. We show that for bi-infinite binary words, this condition coincides with the Markoff property, discovered by A.A. Markoff in 1879 in his study of minima of binary quadratic forms. We further show that this same combinatorial condition is the fundamental property which describes the orbit structure of the natural codings of points under a symmetric $k$-interval exchange transformation.

A factorisation $x = u_1 u_2 \cdots$ of an infinite word $x$ on alphabet $X$ is called `monochromatic', for a given colouring of the finite words $X^*$ on alphabet $X$, if each $u_i$ is the same colour. Wojcik and Zamboni proved that the word $x$ is periodic if and only if for every finite colouring of $X^*$ there is a monochromatic factorisation of $x$. On the other hand, it follows from Ramsey's theorem that, for \textit{any} word $x$, for every finite colouring of $X^*$ there is a suffix of $x$ having a monochromatic factorisation. A factorisation $x = u_1 u_2 \cdots$ is called `super-monochromatic' if each word $u_{k_1} u_{k_2} \cdots u_{k_n}$, where $k_1 < \cdots < k_n$, is the same colour. Our aim in this paper is to show that a word $x$ is eventually periodic if and only if for every finite colouring of $X^*$ there is a suffix of $x$ having a super-monochromatic factorisation. Our main tool is a Ramsey result about alternating sums that may be of independent interest.

Let $\A$ be a finite non-empty set and $\preceq $ a total order on $\A^\nats$ verifying the following lexicographic like condition: For each $n\in \nats$ and $u, v\in \A^n,$ if $u^ω\prec v^ω$ then $ux\prec vy$ for all $x, y \in \A^\nats.$ A word $x\in \A^\nats$ is called $ω$-Lyndon if $x\prec y$ for each proper suffix $y$ of $x.$ A finite word $w\in \A^+$ is called $ω$-Lyndon if $w^ω\prec v^ω$ for each proper suffix $v$ of $w.$ In this note we prove that every infinite word may be written uniquely as a non-increasing product of $ω$-Lyndon words.

The Hales-Jewett Theorem states that given any finite nonempty set $\A$ and any finite coloring of the free semigroup $S$ over the alphabet $\A$ there is a {\it variable word\/} over $\A$ all of whose instances are the same color. This theorem has some extensions involving several distinct variables occurring in the variable word. We show that, when combined with a sufficiently well behaved homomorphism, the relevant variable word simultaneously satisfies a Ramsey-Theoretic conclusion in the other structure. As an example we show that if $τ$ is the homomorphism from the set of variable words into the natural numbers which associates to each variable word $w$ the number of occurrences of the variable in $w$, then given any finite coloring of $S$ and any infinite sequence of natural numbers, there is a variable word $w$ whose instances are monochromatic and $τ(w)$ is a sum of distinct members of the given sequence. Our methods rely on the algebraic structure of the Stone-\v Cech compactification of $S$ and the other semigroups that we consider. We show for example that if $τ$ is as in the paragraph above, there is a compact subsemigroup $P$ of $β\ben$ which contains all of the idempotents of $β\ben$ such that, given any $p\in P$, any $A\in p$, and any finite coloring of $S$, there is a variable word $w$ whose instances are monochromatic and $τ(w)\in A$. We end with a new short algebraic proof of an infinitary extension of the Graham-Rothschild Parameter Sets Theorem.

A finite word is closed if it contains a factor that occurs both as a prefix and as a suffix but does not have internal occurrences, otherwise it is open. We are interested in the {\it oc-sequence} of a word, which is the binary sequence whose $n$-th element is $0$ if the prefix of length $n$ of the word is open, or $1$ if it is closed. We exhibit results showing that this sequence is deeply related to the combinatorial and periodic structure of a word. In the case of Sturmian words, we show that these are uniquely determined (up to renaming letters) by their oc-sequence. Moreover, we prove that the class of finite Sturmian words is a maximal element with this property in the class of binary factorial languages. We then discuss several aspects of Sturmian words that can be expressed through this sequence. Finally, we provide a linear-time algorithm that computes the oc-sequence of a finite word, and a linear-time algorithm that reconstructs a finite Sturmian word from its oc-sequence.

In 2006 T. Brown asked the following question: Given a non-periodic infinite word $x=x_1x_2x_3\cdots$ with values in a non-empty set $\mathbb{A},$ does there exist a finite coloring $\varphi: \mathbb{A}^+\rightarrow C$ relative to which $x$ does not admit a $\varphi$-monochromatic factorisation, i.e., a factorisation of the form $x=u_1u_2u_3\cdots$ with $\varphi(u_i)=\varphi(u_j)$ for all $i,j\geq 1$? Various partial results in support of an affirmative answer to this question have appeared in the literature in recent years. In particular it is known that the question admits an affirmative answer for all non-uniformly recurrent words and various classes of uniformly recurrent words including Sturmian words. In this note we answer this question in general by showing that if $x=x_1x_2x_3\cdots$ is an infinite word with values in a non-empty set $\mathbb{A},$ then $x$ is periodic if and only if for every $2$-coloring $\varphi: \mathbb{A}^+\rightarrow \{0,1\}$ there exists a $\varphi$-monochromatic factorisation of $x.$ This characterization of periodicity of infinite words may be reformulated in the language of ultrafilters. Let $β\mathbb{A}^+$ denote the Stone-Cech compactification of the discrete semigroup $\mathbb{A}^+$ which we regard as the set of all ultrafilters on $\mathbb{A}^+.$ Then $x$ is periodic if and only if there exists $p\in β\mathbb{A}^+$ such that for each $A\in p$ there exists a factorisation $x=u_1u_2u_3\cdots $ with each $u_i \in A.$

Let $A^*$ denote the free monoid generated by a finite nonempty set $A.$ In this paper we introduce a new measure of complexity of languages $L\subseteq A^*$ defined in terms of the semigroup structure on $A^*.$ For each $L\subseteq A^*,$ we define its {\it cost} $c(L)$ as the infimum of all real numbers $α$ for which there exist a language $S\subseteq A^*$ with $p_S(n)=O(n^α)$ and a positive integer $k$ with $L\subseteq S^k.$ We also define the {\it cost dimension} $d_c(L)$ as the infimum of the set of all positive integers $k$ such that $L\subseteq S^k$ for some language $S$ with $p_S(n)=O(n^{c(L)}).$ We are primarily interested in languages $L$ given by the set of factors of an infinite word $x=x_0x_1x_2\cdots \in A^ω$ of zero topological entropy, in which case $c(L)<+\infty.$ We establish the following characterisation of words of linear factor complexity: Let $x\in A^ω$ and $L=$Fac$(x)$ be the set of factors of $x.$ Then $p_x(n)=Θ(n)$ if and only $c(L)=0$ and $d_c(L)=2.$ In other words, $p_x(n)=O(n)$ if and only if Fac$(x)\subseteq S^2$ for some language $S\subseteq A^+$ of bounded complexity (meaning $\limsup p_S(n)<+\infty).$ In general the cost of a language $L$ reflects deeply the underlying combinatorial structure induced by the semigroup structure on $A^*.$ For example, in contrast to the above characterisation of languages generated by words of sub-linear complexity, there exist non factorial languages $L$ of complexity $p_L(n)=O(\log n)$ (and hence of cost equal to $0)$ and of cost dimension $+\infty.$ In this paper we investigate the cost and cost dimension of languages defined by infinite words of zero topological entropy.

In combinatorics of words, a concatenation of $k$ consecutive equal blocks is called a power of order $k$. In this paper we take a different point of view and define an anti-power of order $k$ as a concatenation of $k$ consecutive pairwise distinct blocks of the same length. As a main result, we show that every infinite word contains powers of any order or anti-powers of any order. That is, the existence of powers or anti-powers is an unavoidable regularity. Indeed, we prove a stronger result, which relates the density of anti-powers to the existence of a factor that occurs with arbitrary exponent. As a consequence, we show that in every aperiodic uniformly recurrent word, anti-powers of every order begin at every position. We further show that every infinite word avoiding anti-powers of order $3$ is ultimately periodic, while there exist aperiodic words avoiding anti-powers of order $4$. We also show that there exist aperiodic recurrent words avoiding anti-powers of order $6$.

In their 1938 seminal paper on symbolic dynamics, Morse and Hedlund proved that every aperiodic infinite word $x\in A^N,$ over a non empty finite alphabet $A,$ contains at least $n+1$ distinct factors of each length $n.$ They further showed that an infinite word $x$ has exactly $n+1$ distinct factors of each length $n$ if and only if $x$ is binary, aperiodic and balanced, i.e., $x$ is a Sturmian word. In this paper we obtain a broad generalization of the Morse-Hedlund theorem via group actions. Given a subgroup $G$ of the symmetric group $S_n, $ let $1\leq ε(G)\leq n$ denote the number of distinct $G$-orbits of $\{1,2,\ldots ,n\}.$ Since $G$ is a subgroup of $S_n,$ it acts on $A^n=\{a_1a_2\cdots a_n\,|\,a_i\in A\}$ by permutation. Thus, given an infinite word $x\in A^N$ and an infinite sequence $ω=(G_n)_{n\geq 1}$ of subgroups $G_n \subseteq S_n,$ we consider the complexity function $p_{ω,x}:N \rightarrow N$ which counts for each length $n$ the number of equivalence classes of factors of $x$ of length $n$ under the action of $G_n.$ We show that if $x$ is aperiodic, then $p_{ω, x}(n)\geqε(G_n)+1$ for each $n\geq 1,$ and moreover, if equality holds for each $n,$ then $x$ is Sturmian. Conversely, let $x$ be a Sturmian word. Then for every infinite sequence $ω=(G_n)_{n\geq 1}$ of Abelian subgroups $G_n \subseteq S_n,$ there exists $ω'=(G_n')_{n\geq 1}$ such that for each $n\geq 1:$ $G_n'\subseteq S_n$ is isomorphic to $G_n$ and $p_{ω',x}(n)=ε(G'_n)+1.$ Applying the above results to the sequence $(Id_n)_{n\geq 1},$ where $Id_n$ is the trivial subgroup of $S_n$ consisting only of the identity, we recover both directions of the Morse-Hedland theorem.

We consider the class ${\cal P}_1$ of all infinite words $x\in A^ω$ over a finite alphabet $A$ admitting a prefixal factorization, i.e., a factorization $x= U_0 U_1U_2 \cdots $ where each $U_i$ is a non-empty prefix of $x.$ With each $x\in {\cal P}_1$ one naturally associates a "derived" infinite word $δ(x)$ which may or may not admit a prefixal factorization. We are interested in the class ${\cal P}_{\infty}$ of all words $x$ of ${\cal P}_1$ such that $δ^n(x) \in {\cal P}_1$ for all $n\geq 1$. Our primary motivation for studying the class ${\cal P}_{\infty}$ stems from its connection to a coloring problem on infinite words independently posed by T. Brown in \cite{BTC} and by the second author in \cite{LQZ}. More precisely, let ${\bf P}$ be the class of all words $x\in A^ω$ such that for every finite coloring $\varphi : A^+ \rightarrow C$ there exist $c\in C$ and a factorization $x= V_0V_1V_2\cdots $ with $\varphi(V_i)=c$ for each $i\geq 0.$ In \cite{DPZ} we conjectured that a word $x\in {\bf P}$ if and only if $x$ is purely periodic. In this paper we show that ${\bf P}\subseteq {\cal P}_{\infty},$ so in other words, potential candidates to a counter-example to our conjecture are amongst the non-periodic elements of ${\cal P}_{\infty}.$ We establish several results on the class ${\cal P}_{\infty}$. In particular, we show that a Sturmian word $x$ belongs to ${\cal P}_{\infty}$ if and only if $x$ is nonsingular, i.e., no proper suffix of $x$ is a standard Sturmian word.

Given a finite coloring (or finite partition) of the free semigroup $A^+$ over a set $A$, we consider various types of monochromatic factorizations of right sided infinite words $x\in A^ω$. Some stronger versions of the usual notion of monochromatic factorization are introduced. A factorization is called sequentially monochromatic when concatenations of consecutive blocks are monochromatic. A sequentially monochromatic factorization is called ultra monochromatic if any concatenation of arbitrary permuted blocks of the factorization has the same color of the single blocks. We establish links, and in some cases equivalences, between the existence of these factorizations and fundamental results in Ramsey theory including the infinite Ramsey theorem, Hindman's finite sums theorem, partition regularity of IP sets and the Milliken-Taylor theorem. We prove that for each finite set $A$ and each finite coloring $\varphi: A^+\rightarrow C,$ for almost all words $x\in A^ω,$ there exists $y$ in the subshift generated by $x$ admitting a $\varphi$-ultra monochromatic factorization, where "almost all" refers to the Bernoulli measure on $A^ω.$

We introduce and study a complexity function on words $c_x(n),$ called \emph{cyclic complexity}, which counts the number of conjugacy classes of factors of length $n$ of an infinite word $x.$ We extend the well-known Morse-Hedlund theorem to the setting of cyclic complexity by showing that a word is ultimately periodic if and only if it has bounded cyclic complexity. Unlike most complexity functions, cyclic complexity distinguishes between Sturmian words of different slopes. We prove that if $x$ is a Sturmian word and $y$ is a word having the same cyclic complexity of $x,$ then up to renaming letters, $x$ and $y$ have the same set of factors. In particular, $y$ is also Sturmian of slope equal to that of $x.$ Since $c_x(n)=1$ for some $n\geq 1$ implies $x$ is periodic, it is natural to consider the quantity $\liminf_{n\rightarrow \infty} c_x(n).$ We show that if $x$ is a Sturmian word, then $\liminf_{n\rightarrow \infty} c_x(n)=2.$ We prove however that this is not a characterization of Sturmian words by exhibiting a restricted class of Toeplitz words, including the period-doubling word, which also verify this same condition on the limit infimum. In contrast we show that, for the Thue-Morse word $t$, $\liminf_{n\rightarrow \infty} c_t(n)=+\infty.$

In a 1995 paper, Hof, Knill and Simon obtain a sufficient combinatorial criterion on the hull $Ω$ of the potential of a discrete Schrödinger operator which guarantees purely singular continuous spectrum on a generic subset of $Ω.$ In part, this condition requires the existence of infinitely many palindromic factors. In this same paper, they introduce the class P of morphisms $f:A^*\rightarrow B^*$ of the form $a\mapsto pq_a$ and ask whether every palindromic subshift generated by a primitive substitution arises from morphisms of class P or by morphisms of the form $a\mapsto q_ap$ where again $p$ and $q_a$ are palindromes. In this paper we give a partial affirmative answer to the question of Hof, Knill and Simon: we show that every rich primitive substitutive subshift is generated by at most two morphisms each of which is conjugate to a morphism of class P. More precisely, we show that every rich (or almost rich in the sense of finite defect) primitive morphic word $y\in B^ω$ is of the form $y=f(x)$ where $f:A^*\rightarrow B^*$ is conjugate to a morphism of class P, and where $x$ is a rich word fixed by a primitive substitution $g:A^*\rightarrow A^*$ of class P.

In this paper we consider the following question in the spirit of Ramsey theory: Given $x\in A^ω,$ where $A$ is a finite non-empty set, does there exist a finite coloring of the non-empty factors of $x$ with the property that no factorization of $x$ is monochromatic? We prove that this question has a positive answer using two colors for almost all words relative to the standard Bernoulli measure on $A^ω.$ We also show that it has a positive answer for various classes of uniformly recurrent words, including all aperiodic balanced words, and all words $x\in A^ω$ satisfying $λ_x(n+1)-λ_x(n)=1$ for all $n$ sufficiently large, where $ λ_x(n)$ denotes the number of distinct factors of $x$ of length $n.$

In this paper we introduce and study a new property of infinite words: An infinite word $x\in A^\mathbb{N}$, with values in a finite set $A$, is said to be $k$-self-shuffling $(k\geq 2)$ if $x$ admits factorizations: $x=\prod_{i=0}^\infty U_i^{(1)}\cdots U_i^{(k)}=\prod_{i=0}^\infty U_i^{(1)}=\cdots =\prod_{i=0}^\infty U_i^{(k)}$. In other words, there exists a shuffle of $k$-copies of $x$ which produces $x$. We are particularly interested in the case $k=2$, in which case we say $x$ is self-shuffling. This property of infinite words is shown to be an intrinsic property of the word and not of its language (set of factors). For instance, every aperiodic word contains a non self-shuffling word in its shift orbit closure. While the property of being self-shuffling is a relatively strong condition, many important words arising in the area of symbolic dynamics are verified to be self-shuffling. They include for instance the Thue-Morse word and all Sturmian words of intercept $0<ρ<1$ (while those of intercept $ρ=0$ are not self-shuffling). Our characterization of self-shuffling Sturmian words can be interpreted arithmetically in terms of a dynamical embedding and defines an arithmetic process we call the {\it stepping stone model}. One important feature of self-shuffling words stems from its morphic invariance, which provides a useful tool for showing that one word is not the morphic image of another. The notion of self-shuffling has other unexpected applications particularly in the area of substitutive dynamical systems. For example, as a consequence of our characterization of self-shuffling Sturmian words, we recover a number theoretic result, originally due to Yasutomi, on a classification of pure morphic Sturmian words in the orbit of the characteristic.