Termination of the balanced pair algorithm under rewriting

From papers

Let φ\varphi be a Pisot substitution on nn letters. Let φ~\tilde\varphi be a rewriting of φ\varphi such that, for some letters b,eb,e in the rewritten alphabet, φ~(i)=be\tilde\varphi(i)=b\ldots e for all ii. Let LλL_\lambda be the specified length vector for the rewritten substitution. Assume that the balanced pair algorithm for the original Pisot substitution φ\varphi terminates. Rewriting termination conjecture. The balanced pair algorithm for the rewritten substitution φ~\tilde\varphi also terminates for the length vector LλL_\lambda. The claim concerns whether termination is preserved when a Pisot substitution is replaced by a rewriting into composite letters; the preceding example gives evidence for this expectation, but the paper states that it has not been shown.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Brian F. Martensen, “A Generalized Balanced Pair Algorithm”, arXiv:math/0309194 (2003).

Solutions 0

No solutions have been posted yet.