The q-analog of the Markoff injectivity conjecture over the language of a balanced sequence
The Markoff injectivity conjecture states that w↦μ(w)12 is injective on the set of Christoffel words where μ:{0,1}∗→SL2(Z) is a certain homomorphism and M12 is the entry above the diagonal of a 2×2 matrix M. Recently, Leclere and Morier-Genoud (2021) proposed a q-analog μq of μ such that μq(w)12∣q=1=μ(w)12 is the Markoff number associated to the Christoffel word w when evaluated at q=1. We show that there exists an order <radix on {0,1}∗ such that for every balanced sequence s∈{0,1}Z and for all factors u,v in the language of s with u<radixv, the difference μq(v)12−μq(u)12 is a nonzero polynomial of indeterminate q with nonnegative integer coefficients. Therefore, the map u↦μq(u)12 is injective over the language of a balanced sequence. The proof uses an equivalence between balanced sequences satisfying some Markoff property and indistinguishable asymptotic pairs.