A Connection Between Unbordered Partial Words and Sparse Rulers

TL;DR

This paper explores the relationship between unbordered partial words with holes and sparse rulers, improving bounds on holes in unbordered words over larger alphabets and extending results to two-dimensional cases.

Contribution

It establishes a new connection between unbordered partial words and sparse rulers, improving bounds and correcting previous theorems, with extensions to two-dimensional partial words.

Findings

Improved bounds on maximum holes in unbordered partial words for alphabets of size ≥ 4

Counterexample provided for a previously reported theorem

Asymptotic results for two-dimensional unbordered partial words

Abstract

$\textit{Partial words}$ are words that contain, in addition to letters, special symbols $\diamondsuit$ called $\textit{holes}$. Two partial words of $a=a_0 \dots a_n$ and $b=b_0 \dots b_n$ are $\textit{compatible}$ if for all $i$, $a_i = b_i$ or at least one of $a_i, b_i$ is a hole. A partial word is $\textit{unbordered}$ if it does not have a nonempty proper prefix and a suffix that are compatible. Otherwise the partial word is $\textit{bordered}$. A set $R \subseteq \{0, \dots, n\}$ is called a $\textit{complete sparse ruler of length $n$}$ if for all $k \in \{0, \dots, n\}$ there exists $r, s \in R$ such that $k = r - s$. These are also known as $\textit{restricted difference bases}$. From the definitions it follows that the more holes a partial word has, the more likely it is to be bordered. By introducing a connection between unbordered partial words and sparse rulers, we improve bounds on the maximum number of holes an unbordered partial word can have over alphabets of sizes $4$ or greater. We also provide a counterexample for a previously reported theorem. We then study a two-dimensional generalization of these results. We adapt methods from one-dimensional case to solve the correct asymptotic for the number of holes an unbordered two-dimensional binary partial word can have. This generalization might invoke further research questions.