Termination of the balanced pair algorithm under rewriting

About 23 years old · traced to

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)=b…e\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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.