The q-analog of the Markoff injectivity conjecture over the language of a balanced sequence

DOI10.5070/C62156881MaRDI QIDQ5052166zbMATHWikidataFDO

Authors

Publication date 21 November 2022

Published in Combinatorial Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2106.15886

balance \(q\)-analog Sturmian Markoff spectrum Christoffel

(q)-calculus and related topics (05A30) Combinatorics on words (68R15) Markov and Lagrange spectra and generalizations (11J06)

Abstract: The Markoff injectivity conjecture states that

w m a p s t o m u (w)_{12}

is injective on the set of Christoffel words where

m u : {m a t h t t 0, m a t h t t 1}^{*} o m a t h r m {S L}_{2} (m a t h b b Z)

is a certain homomorphism and

M_{12}

is the entry above the diagonal of a

2 i m e s 2

matrix

M

. Recently, Leclere and Morier-Genoud (2021) proposed a

q

-analog

m u_{q}

of

m u

such that

m u_{q} (w)_{12} |_{q = 1} = m u (w)_{12}

is the Markoff number associated to the Christoffel word

w

when evaluated at

q = 1

. We show that there exists an order

<_{r a d i x}

on

{m a t h t t 0, m a t h t t 1}^{*}

such that for every balanced sequence

s i n {m a t h t t 0, m a t h t t 1}^{m} a t h b b Z

and for all factors

u, v

in the language of

s

with

u <_{r a d i x} v

, the difference

m u_{q} (v)_{12} - m u_{q} (u)_{12}

is a nonzero polynomial of indeterminate

q

with nonnegative integer coefficients. Therefore, the map

u m a p s t o m 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.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: The \(q\)-analog of the Markoff injectivity conjecture over the language of a balanced sequence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5052166)