Investigation of subsequences in words is an important part of string algorithms and combinatorics, with applications to string processing, bioinformatics, error-correcting codes. A lot of research has been done in algorithms and complexity of finding longest common subsequences [4, 1], their expected length in random words , codes with bounded lengths of pairwise longest common subsequences , etc. An important type of subsequences is a longest palindromic subsequence, which is in fact a longest common subsequence of a word and its reversal. Despite a lot of research in algorithms and statistics of longest common subsequences, the combinatorics of palindromic subsequences is not very well understood. We mention [5, 6, 2, 7] as some results in this direction. In this note we recall some known conjectures on this topic and provide a number of new ones.
The main topic of this note are finite words. A linear word (or just a word) is a finite sequence of symbols over some alphabet. A subsequence of a linear word is a word with . A circular word is an equivalence class of linear words under rotations. Informally, a circular word is a linear word written on a circle, without any marked beginning or ending. A linear word is a subsequence of a circular word if it is a subsequence of some linear word from the corresponding equivalence class (such linear word is called a linear representation).
A word is a palindrome if for every . A word is called binary if its alphabet is of size two (in this case we usually assume that the alphabet is ). A binary word is an antipalindrome if for every . The reversal of a word is the word .
In 1999 Lyngsø and Pedersen formulated the following conjecture motivated by analysis of an approximation algorithm for a 2D protein folding problem .
Conjecture 1 (Lyngsø and Pedersen, 1999).
Every binary circular word of length divisible by with equal number of zeros and ones has an antipalindromic subsequence of length at least .
To the best of our knowledge, no progress has been achieved in proving this conjecture, even though it has drawn substantial attention from the combinatorics of words community. However, it is a source of other interesting conjectures.
In the mentioned conjecture, the position of a longest antipalindromic subsequence on the circle is arbitrary. A strengthening is to require the two halves of the subsequence to lie on different halves of the circle according to some partition of the circle into two parts of equal length. Surprisingly, experiments show that this does not change the bound.
Conjecture 2 (Brevier, Preissmann and Sebő, ).
Let be a binary circular word of length divisible by with equal number of zeros and ones. Then can be partitioned into two linear words of equal length, , having subsequences such that is an antipalindrome and .
We checked this conjecture up to by computer. The worst known case for the both conjectures is provided by the word showing the tightness of the conjectured bound (by tightness everywhere in this note we understand the existence of a lower bound different from the conjectured bound by at most a small additive constant). The bound instead of can be easily proved, but no better bound is known.
Consider an arbitrary partition of into two linear words of equal length, . The number of zeros in is the same as the number of ones in and vice versa. Thus we can pick an antipalindromic subsequence or with having the required properties. ∎
2 Circular Words
A natural idea is to look at palindromic subsequences instead of antipalindromic ones. This leads to a number of interesting conjectures which we describe in this section. First, we formulate palindromic counterparts to Conjectures 1 and 2.
Every binary circular word of length has a palindromic subsequence of length at least .
Let be a binary circular word of length divisible by . Then can be partitioned into linear words of equal length, , having subsequences such that (that is, is a palindrome) and .
We checked both conjectures up to by computer. The worst known case for Conjecture 5 is provided by the word , showing the tightness of the conjectured bound. The word provides an upper bound of for Conjecture 4. A better bound is discussed in Section 3.
In Conjecture 4 it is enough to pick the subsequence consisting of all appearances of the letter with the largest frequency to get the lower bound. It is also easy to prove the bound for Conjecture 5. No better bounds are known to be proved.
Conjecture 5 is true when replacing by .
Consider an arbitrary partition of into two linear words of equal length, . Assume that the number of ones in is at least , and has less ones than . By changing the partition by one letter each time (by adding a subsequent letter to the end of and removing one from the beginning), we get an opposite situation in steps. That means that there exists a partition , , such that the number of ones in is the same as the number of ones in . Thus, we can pick an antipalindromic subsequence with having the required properties. ∎
Conjecture 5 is about a palindromic subsequence aligned with some cut of the circular word into two equal halves. There are such cuts, so one attempt to simplify the conjecture is to look at only two cuts which are “orthogonal”. This way we attempt to switch from the circular case to something close to the linear case, which is often easier to deal with.
Let be a circular word of length divisible by . Let be some partition of into four linear words of equal length. Let and , , , be the longest palindromic subsequences of such that , , , are subsequences of , , , respectively. Informally, these two palindromes are aligned to two orthogonal cuts of the word into two linear words of equal length. The partitions and are two particular partitions (made by two orthogonal cuts) considered among all partitions in Conjecture 5.
For every word of length divisible by and its every linear representation , the maximum of the lengths of and defined above is at least .
We checked this conjecture up to by computer. The worst known case is provided by the already appeared word showing the tightness of the conjectured bound. The bound can be proved as follows.
For every word of length divisible by and its every linear representation , the maximum of the lengths of and is at least .
Suppose that . Then without loss of generality we can assume that the number of zeros in and the number of ones in is less than . Then by the pigeonhole principle the number of ones in both and , and the number of zeros in both and is at least . It means that we can pick a subsequence of zeros and then ones from and a symmetrical subsequence from . Thus we get . ∎
In fact, a slightly stronger statement that the total length of and is can be proved this way. We conjecture the optimal bound for this value to be equal to .
Even being proved, the bound of in this conjecture would not improve the known bound for Conjecture 5. However, Conjecture 7 deals with palindromic subsequences of only two linear words, and thus seems to be easier to handle. Considering four regular cuts instead of two should already improve the bound for Conjecture 5.
3 Showing Asymptotic Tightness of Conjecture 4
In this section we present the main technical contribution of this paper, which is an infinite family of words providing a better upper bound for Conjecture 4. In fact, we show a stronger result for words over an arbitrary alphabet. Below we consider words over the alphabet , i.e. .
We say that is a consecutive subword of a word if there exist words with .
We call a word of type if it is a consecutive subword of or a consecutive subword of . In the first case we write , in the second case we write .
Furthermore, we define .
Thus if it is a concatenation of blocks , where the first and the last blocks may be shorter, and analogously for .
We denote by the word we get when exchanging every letter by , e.g. . We see directly that if and only if . Furthermore, we have that if and only if .
Let be a word of length and be a word of length , where . Then, the length of the longest common subsequence of and is at most .
Let be a common subsequence of and of length . We see that is of the form , where all , all are positive and . We find directly that for :
We consider now the minimal length of a consecutive subword of that contains , where . Thus, cannot be contained in one block of the form . This shows that the minimal length of a consecutive subword of that contains is at least .
We think of in the bound above as the “main term”. Therefore, we need that is small. The remaining term origins from boundary phenomena due to incomplete blocks. We note that this “main term” is indeed sharp for large , when is integer and as the following example shows.
We consider , with integer, and . One finds that is a subsequence of and thus, is a subsequence of . This gives directly and .
For the following considerations we will need a generalization of the notion of antipalindromes to the case of non-binary alphabet. One natural version would be to say that is an antipalindrome if and differ at every position. However, we work with a stronger notion, which still provides an interesting bound.
We call a word a strong antipalindrome if .
For every there exists a circular word over the alphabet with equal number of ’s, ’s, , ’s ( occurences of each letter) such that any palindromic and any strongly antipalindromic subsequence of it is of length at most .
Let us consider a circular word with a linear representation , where . We see directly that and, thus, . Furthermore, we have .
We only work in the palindromic case from now on, but the same reasoning also holds in the case of strong antipalindromes.
Let be a palindromic subsequence of even length. Thus, we find that is a subsequence of the linear word and is a subsequence of the linear word , where and for all .
This shows that is a common subsequence of and
. By removing the parts of that belong to the boundary blocks we get that is a common subsequence of and , where
From now on, we only work with . We can rewrite as a concatenation of at most blocks , where each is a common subsequence of some and where . Furthermore, we have and
By using Lemma 10 we find that
This gives in total (together with the bound on )
Thus, choosing finishes the proof. ∎
The trivial lower bound is . For palindromes, this can be seen immediately. For strong antipalindromes the case for odd works very similarly: We see that and the word is a strongly antipalindromic subsequence of length . The case is even slightly more complicated but can be dealt with in the same way as .
Theorem 13 deserves some remarks. First, it is interesting that the family of words constructed in the theorem provides the same bound for both palindromic and strongly antipalindromic subsequences. Second, it provides a generalization of the palindromic and strongly antipalindromic conjectures to the case of an alphabet of more than two letters. These conjectures also remain open.
Finally, for any , we find that the bound holds almost surely for large in the case when we choose every letter independently and uniformly in .
To see this, we fix a subsequence of length and call it . Then we try to find or as a subsequence of the remaining word . However, any letter in is chosen independently and uniformly. Therefore, it takes on average
letters until one finds one specific letter. By the law of large numbers, the number of letters we have to read in a string of independent and uniformly chosen letters to find a specific subsequence of length
is asymptotically normal distributed with mean
and variancefor some . By the Chebyshev inequality, we find that (or any of the mentioned forms above) appears in almost surely for large as .
4 Linear Words
The minimum length of the longest palindromic/antipalindromic subsequence in the class of all linear binary words with letters can be easily computed. However, for some restricted classes of words their behavior is more complicated. One of the simplest restrictions is to forbid some number of consecutive equal letters. The following proposition is then not hard to prove. It suggests some progress for Conjectures 1 and 4 for binary words without three consecutive equal letters.
Every binary word of length without three consecutive equal letters has a palindromic subsequence of length at least . The same is true for an antipalindromic subsequence.
Let be a binary word without three consecutive equal letters. Consider the representation such that each is composed of only zeros or only ones, and two consecutive words and consist of different letters. Then the length of each is at most . Assume that is even (otherwise remove ). Then one can pick at least one letter from each pair , (or two letters if both , are of the same length) and all the letters from in such a way that the resulting subsequence is a palindrome. This way we get a palindromic subsequence of length at least . The same proof can be done for antipalindromic subsequences. ∎
For the antipalindromic part, one can take the word to see tightness (we conjecture the bound to be tight for words with equal number of zeros and ones, but we could not find an example providing tightness). For palindromic subsequences we conjecture a stronger bound.
Every binary word of length without three consecutive equal letters has a palindromic subsequence of length at least .
We checked this conjecture up to . The worst known cases are provided by the word , showing the tightness of the conjectured bound.
Note that every binary word without two consecutive equal letters is a sequence of alternating zeros and ones, and thus has a palindromic subsequence of length , where is the length of the word. For a three-letter alphabet it is not hard to prove the following.
Let be a word of length over a three-letter alphabet. If has no two consecutive equal letters, then it has a palindromic subsequence of length at least .
Assume that the number of letters in is even (otherwise, remove the last letter). Let where is a word of length . Each such word contains two different letters. Then for each pair , there exists a letter present in both words. By taking such a letter from every pair, we get a palindrome of length . ∎
Based on these observations and computer experiments, we formulate the following conjecture.
Let be a word of length over an alphabet of size , . If has no two consecutive equal letters, then it has a palindromic subsequence of length at least .
We checked this conjecture up to for and for by computer. A critical example for this conjecture is provided by a word which is a concatenation of the word and words for . This word shows that the conjectured bound is tight.
5 Further Work
There are some questions besides the conjectures above that are worth mentioning. First, there is no known reduction between the palindromic and antipalindromic conjectures. Thus, it is interesting to know whether a bound for one of them implies some bound for the other one. Second, no non-trivial relation is known for the bounds for the same conjecture but different size of alphabets.
We thank anonymous reviewers for their comments on the presentation of the paper. The second author is also grateful to András Sebő, Michel Rigo and Dominique Perrin for many useful discussions during the course of the work.
-  Abboud, A., Backurs, A., Williams, V.V.: Tight hardness results for lcs and other sequence similarity measures. In: 2015 IEEE 56th Annual Symposium on Foundations of Computer Science, pp. 59–78 (2015). https://doi.org/10.1109/FOCS.2015.14
-  Axenovich, M., Person, Y., Puzynina, S.: A regularity lemma and twins in words. J. Comb. Theory, Series A 120(4), 733–743 (2013). https://doi.org/10.1016/j.jcta.2013.01.001
-  Brevier, G., Preissmann, M., Sebő, A.: Private communication.
-  Bringmann, K., Kunnemann, M.: Quadratic conditional lower bounds for string problems and dynamic time warping. In: 2015 IEEE 56th Annual Symposium on Foundations of Computer Science, pp. 79–97 (2015). https://doi.org/10.1109/FOCS.2015.15
-  Bukh, B., Ma, J.: Longest common subsequences in sets of words. SIAM J. Discrete Math. 28(4), 2042–2049 (2014). https://doi.org/10.1137/140975000
-  Bukh, B., Zhou, L.: Twins in words and long common subsequences in permutations. Isr. J. Math. 213(1), 183–209 (2016). https://doi.org/10.1007/s11856-016-1323-8
-  Holub, Š., Saari, K.: On highly palindromic words. Discrete Appl. Math 157(5), 953–959 (2009). https://doi.org/10.1016/j.dam.2008.03.039
-  Lyngsø, R.B., Pedersen, C.N.: Protein folding in the 2D HP model. Tech. rep., University of Aarhus (1999)
-  Paterson, M., Dančík, V.: Longest common subsequences. In: I. Prìvara, B. Rovan, P.R. (ed.) MFCS 1994, pp. 127–142. LNCS vol. 841, Springer-Verlag (1994)
-  Sloane, N.: On single-deletion-correcting codes. In: Codes and Designs, vol. 10, pp. 273–291 (2000)