Число Маркова

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Первые уровни дерева чисел Маркова

Число Маркова — это положительные числа x, y или z, являющиеся частями решения диофантова уравнения Маркова

которое изучал Андрей Марков[1][2].

Первые несколько чисел Маркова

1, 2, 5, 13, 29, 34, 89, 169, 194, 233, 433, 610, 985, 1325, ... (A002559),

появляющиеся как координаты троек Маркова

(1, 1, 1), (1, 1, 2), (1, 2, 5), (1, 5, 13), (2, 5, 29), (1, 13, 34), (1, 34, 89), (2, 29, 169), (5, 13, 194), (1, 89, 233), (5, 29, 433), (1, 233, 610), (89, 233, 62210), и т.д.

Существует бесконечно много чисел Маркова и троек Маркова.

Дерево Маркова[править | править код]

Существует простой способ получения новой тройки Маркова из старой тройки (xyz). Сначала нормализуем тройку x,y,z, переставив числа так, чтобы x ≤ y ≤ z. Далее, если (xyz) является тройкой Маркова, то совершив прыжок Виета, получим (xy, 3xy − z). Если применить эту операцию второй раз, получим исходную тройку. Если связать каждую нормализованную тройку Маркова с 1, 2 или 3 нормализованными тройками, можно получить граф (дерево), имеющий в корне тройку (1,1,1), как на рисунке. Этот граф связен. Другими словами, любая тройка Маркова может быть получена из (1,1,1) в результате последовательности описанной выше операции[3]. Если мы начнём, скажем, с тройки (1, 5, 13), мы получим три соседние тройки — (5, 13, 194), (1, 13, 34) и (1, 2, 5) дерева Маркова, если в качестве z подставить 1, 5 и 13 соответственно. Если начать с (1, 1, 2) и перед каждой операцией менять местами y и z, получим тройки с числами Фибоначчи. Если же начать с той же тройки и менять местами x и z, получим числа Пелля.

Все числа Маркова, полученные первым способом, являются числами Фибоначчи с нечётными индексами (A001519), а полученные вторым способом — числами Пелля с нечётными индексами (или такими числами n, что 2n2 − 1 является квадратом, A001653). Таким образом, имеется бесконечно много троек Маркова вида

где Fx является x-м числом Фибоначчи. Таким же образом, существует бесконечно много троек Маркова вида

где Pxx-ое число Пелля[4]

Другие свойства[править | править код]

Кроме двух наименьших особенных троек (1,1,1) и (1,1,2) все тройки Маркова состоят из трёх различных целых чисел[5].

Гипотеза единственности утверждает, что для заданного числа Маркова c существует в точности одно нормализованное решение, в котором c является наибольшим элементом — доказательства этого факта объявлялись, но ни одно из них не признано удовлетворительным[6].

Нечётные числа Маркова сравнимы с 1 по модулю 4, чётные же числа сравнимы с 2 по модулю 32[7].

В статье 1982 года Дон Цагир высказал гипотезу, что n-ое число Маркова асимптотически задаётся выражением

, где

Более того, он указал на то, что , приближение исходного диофантова уравнения, эквивалентно с f(t) = arch(3t/2)[8]. Гипотезу доказали[9] Грег Макшейн и Игорь Ривин в 1995, используя технику гиперболической геометрии[10].

n-ое число Лагранжа[en]* можно вычислить из n-го числа Маркова по формуле

Числа Маркова являются суммами (неуникальных) пар квадратов.

Теорема Маркова[править | править код]

Марков[1][11] показал, что если

является неопределённой бинарной квадратичной формой с вещественными коэффициентами и дискриминант , то существуют целые числа xy, для которых f принимает ненулевое значение, по абсолютной величине не превосходящее

,

если только f не имеет вид формы Маркова [12] — умноженную на константу форму

,

где (pqr) является тройкой Маркова и

Матрицы[править | править код]

Если X и Y принадлежат SL2(C), то

Tr(X) Tr(Y) Tr(XY) + Tr(XYX−1Y−1) + 2 = Tr(X)2 + Tr(Y)2 + Tr(XY)2

так что в случае Tr(XYX−1Y−1) = −2

Tr(X) Tr(Y) Tr(XY) = Tr(X)2 + Tr(Y)2 + Tr(XY)2

В частности, если X и Y имеют целочисленные составляющие, то Tr(X)/3, Tr(Y)/3 и Tr(XY)/3 является тройкой Маркова. Если XYZ = Е, то Tr(XY) = Tr(Z), более симметричны, если X, Y и Z входят в SL2(Z) с XYZ = Е и коммутатор двух из них имеет след −2, тогда их следы/3 являются тройкой Маркова[13].

См. также[править | править код]

Примечания[править | править код]

  1. 1 2 Марков, 1879.
  2. Марков, 1880.
  3. Cassels, 1957, с. 28.
  4. A030452 перечисляет числа Маркова, которые появляются в решениях с x = 5.
  5. Cassels, 1957, с. 27.
  6. Guy, 2004, с. 263.
  7. Zhang, 2007, с. 295–301.
  8. Zagier, 1982, с. 709–723.
  9. Не все авторы согласны, что гипотеза доказана, поскольку Макшейн и Ривин доказали её с ошибкой .
  10. McShane, Rivin, 1995.
  11. Марков, 1880.
  12. Cassels, 1957, с. 39.
  13. Aigner, 2013, с. 63–77.

Литература[править | править код]