Balanced Words Having Simple Burrows-Wheeler Transform

Abstract

The investigation of the “clustering effect” of the Burrows-Wheeler transform (BWT) leads to study the words having simple BWT, i.e. words w over an ordered alphabet A = {a ₁,a ₂,...,a _k }, with a ₁ < a ₂ < ... < a _k , such that bwt(w) is of the form $a_k^{n_k} a_{k-1}^{n_{k-1}} \cdots a_1^{n_1}$, for some non-negative integers n ₁, n ₂, ..., n _k . We remark that, in the case of binary alphabets, there is an equivalence between words having simple BWT, the family of (circular) balanced words and the conjugates of standard words. In the case of alphabets of size greater than two, there is no more equivalence between these notions. As a main result of this paper we prove that, under assumption of balancing, the following three conditions on a word w are equivalent: i) w has simple BWT, ii) w is a circularly rich word, and iii) w is a conjugate of a finite epistandard word.