In mathematics, the Markov spectrum, devised by Andrey Markov, is a complicated set of real numbers arising in Markov Diophantine equations and also in the theory of Diophantine approximation.
Quadratic form characterization Consider a quadratic form given by f(x,y) = ax2 + bxy + cy2 and suppose that its discriminant is fixed, say equal to −1/4. In other words, b2 − 4ac = 1. One can ask for the minimal value achieved by | f ( x , y ) | {\displaystyle \left\vert f(x,y)\right\vert } when it is evaluated at non-zero vectors of the grid Z 2 {\displaystyle \mathbb {Z} ^{2}} , and if this minimum does not exist, for the infimum. The Markov spectrum M is the set obtained by repeating this search with different quadratic forms with discriminant fixed to −1/4: M = { ( inf ( x , y ) ∈ Z 2 ∖ { ( 0 , 0 ) } | f ( x , y ) | ) − 1 : f ( x , y ) = a x 2 + b x y + c y 2 , b 2 − 4 a c = 1 } {\displaystyle M=\left\{\left(\inf _{(x,y)\in \mathbb {Z} ^{2}\smallsetminus \{(0,0)\}}|f(x,y)|\right)^{-1}:f(x,y)=ax^{2}+bxy+cy^{2},\ b^{2}-4ac=1\right\}}
Lagrange spectrum
Starting from Hurwitz's theorem on Diophantine approximation, that any real number ξ {\displaystyle \xi } has a sequence of rational approximations m/n tending to it with
| ξ − m n | < 1 5 n 2 , {\displaystyle \left|\xi -{\frac {m}{n}}\right|<{\frac {1}{{\sqrt {5}}\,n^{2}}},}
it is possible to ask for each value of 1/c with 1/c ≥ √5 about the existence of some ξ {\displaystyle \xi } for which
| ξ − m n | < c n 2 {\displaystyle \left|\xi -{\frac {m}{n}}\right|<{\frac {c}{n^{2}}}}
for such a sequence, for which c is the best possible (maximal) value. Such 1/c make up the Lagrange spectrum L, a set of real numbers at least √5 (which is the smallest value of the spectrum). The formulation with the reciprocal is awkward, but the traditional definition invites it; looking at the set of c instead allows a definition instead by means of an inferior limit. For that, consider
lim inf n → ∞ n 2 | ξ − m n | , {\displaystyle \liminf _{n\to \infty }n^{2}\left|\xi -{\frac {m}{n}}\right|,}
where m is chosen as an integer function of n to make the difference minimal. This is a function of ξ {\displaystyle \xi } , and the reciprocal of the Lagrange spectrum is the range of values it takes on irrational numbers.
… excerpt ends here. Continue reading the full article.
