Reconstruction of a word from a multiset of its factors

Let Dk(w) be the multiset containing all factors of w of length k including repetitions. One of the main results is that if Dk(w)=Dk(v) for all , then w=v. The bound is optimal; however we will also show that if Dk(w)=Dk(v) for all , then w and v are structurally similar.