Lyndon words versus inverse Lyndon words: queries on suffixes and bordered words

TL;DR

This paper explores properties of Lyndon and inverse Lyndon factorizations, establishing bounds on common prefix lengths of suffixes and revealing new relations useful for string comparison tasks.

Contribution

It introduces novel bounds linking suffix common prefixes to inverse Lyndon factorization properties and extends Lyndon word applications in string comparison.

Findings

Maximum common prefix length is bounded by the maximum factor length in inverse Lyndon factorization.

Nonempty borders of factors cannot be prefixes of subsequent factors in inverse Lyndon factorizations.

Lyndon factorizations can capture common overlaps between words.

Abstract

Lyndon words have been largely investigated and showned to be a useful tool to prove interesting combinatorial properties of words. In this paper we state new properties of both Lyndon and inverse Lyndon factorizations of a word $w$, with the aim of exploring their use in some classical queries on $w$. The main property we prove is related to a classical query on words. We prove that there are relations between the length of the longest common extension (or longest common prefix) $lcp(x,y)$ of two different suffixes $x,y$ of a word $w$ and the maximum length $\mathcal{M}$ of two consecutive factors of the inverse Lyndon factorization of $w$. More precisely, $\mathcal{M}$ is an upper bound on the length of $lcp(x,y)$. This result is in some sense stronger than the compatibility property, proved by Mantaci, Restivo, Rosone and Sciortino for the Lyndon factorization and here for the inverse Lyndon factorization. Roughly, the compatibility property allows us to extend the mutual order between local suffixes of (inverse) Lyndon factors to the suffixes of the whole word. A main tool used in the proof of the above results is a property that we state for factors $m_i$ with nonempty borders in an inverse Lyndon factorization: a nonempty border of $m_i$ cannot be a prefix of the next factor $m_{i+1}$. The last property we prove shows that if two words share a common overlap, then their Lyndon factorizations can be used to capture the common overlap of the two words. The above results open to the study of new applications of Lyndon words and inverse Lyndon words in the field of string comparison.