Skip to main content
1 of 6

Combinatorics of palindromic decompositions

This is sort of a companion to my question Number of trivializations of a trivial word in the free group (which in turn is motivated by my earlier question here). It turns out that that question may be reduced to this (well to certain extent at any rate).

A $\text{palindromic decomposition}$ (paldec for short) of a word $w$ (in letters, say, $a_1,...,a_n$) is any equality $$ w=p_1\cdots p_k $$ in the free semigroup on $a_1$, ..., $a_n$ such that each of the $p_i$ is a $\text{palindrome}$, i. e. coincides with itself read backwards.

Obviously each word has at least one such decomposition since each single letter word is a palindrome according to this definition. For many words this is the only one, but for quite a few there are several others. For example, the word referee has seven paldecs:

refer·ee
refer·e·e
r·efe·r·ee
r·efe·r·e·e
r·e·f·ere·e
r·e·f·e·r·ee
r·e·f·e·r·e·e

Thus for each $n$ and $N$ the set of $n^N$ words of length $N$ in $n$ letters decomposes into classes, with the class $P_n^{(N)}(m)$ containing all such words having exactly $m$ paldecs.

Have the numbers $\#P_n^{(N)}(m)$ been considered in the literature? There are all kinds of papers on palindromes, too many for me to sort them out. Maybe somebody knows? Any generating functions, or statistics, or anything at all?