Palindrome complexity versus factor complexity
Provides a fundamental limit on palindrome complexity relative to factor complexity for infinite words, of interest to combinatorics on words researchers.
The paper establishes a new asymptotic relationship between palindrome complexity and factor complexity for non-ultimately periodic infinite words, showing that palindrome complexity grows slower than factor complexity by at least a logarithmic factor, and proves the bound is essentially optimal.
Let ${\bf x} = (a_i)_{i \geq 0}$ be an infinite word over a finite alphabet $Σ$. Let $ρ(n)$ be the factor complexity function for $\bf x$ and ${\rm Pal}(n)$ be the palindrome complexity function for $\bf x$. We give a new relationship between these two quantities; namely, if $\bf x$ is not ultimately periodic, then $$ \lim_{n \rightarrow \infty} {{ {\rm Pal} (n) \log ({\rm Pal} (n) + 1)} \over {ρ(n)}} = 0. $$ Furthermore, we prove that the numerator in this result is essentially optimal.