Conjectures on when the generalized rotor-router sequence is Sturmian

From papers

Fix positive integers rr and ss, and let wr,sw_{r,s} be the binary word associated with the generalized one-dimensional rotor-router model. The source also gives the parameters

α=sr+s,β=α1r+12.\alpha=\frac{\sqrt{s}}{\sqrt{r}+\sqrt{s}},\qquad \beta=\frac{\alpha-1}{r}+\frac12.

Sturmian-region conjectures. (i) If 4rs3-4\leq r-s\leq3, then, except for (r,s)=(4,1)(r,s)=(4,1), wr,sw_{r,s} is Sturmian. (ii) If rs=4r-s=4, then wr,sw_{r,s} is Sturmian if and only if rr is even. (iii) If rs<4r-s<-4, then, with finitely many exceptions, wr,sw_{r,s} is not Sturmian. These conjectures concern the observed diagonal stripe of Sturmian parameters; the source gives no resolution.

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

Lionel Levine, “The Rotor-Router Model”, arXiv:math/0409407 (2004).

Solutions 0

No solutions have been posted yet.