Гипотеза Зарембы

Гипотеза Зарембы — утверждение теории чисел о представлениях несократимых дробей через непрерывные дроби: существует абсолютная константа со следующим свойством: для любого существует такое, что и для разложения[1]:

выполняются неравенства:

.

В наиболее сильной формулировке фигурирует значение для произвольного и значение для достаточно больших .[2].

Гипотезу выдвинул Станислав Заремба-младший (польск. Stanisław Krystyn Zaremba) в 1972 году. Главный прорыв в её исследовании связан с работой Бургейна и Конторовича (нем. Alex Kontorovich) 2014 года, в которой слабый вариант гипотезы доказан для почти всех чисел. Впоследствии их результаты многократно улучшались.

Мотивация

Исторически гипотеза возникла в связи с поиском оптимального способа численного интегрирования в духе метода Монте-Карло. Через ограничение на неполные частные Заремба оценивал характеристику решётки, описывающую минимальную удалённость её точек от центра координат[3]. Ряд советских математиков также задумывались об этой гипотезе в связи с численным интегрированием, но в печатном виде её нигде не заявляли[4].

Сама постановка задачи связана с диофантовыми приближениями. Для приближения произвольного вещественного числа дробью каноническим мерилом качества считается число , для которого (чем больше , тем лучше приближение). Известно, что рациональные лучше всего приближаются своими подходящими дробями , для которых известна оценка . Поскольку , то при наличии безусловной оценки предыдущая оценка не может быть лучше, чем . Легко получить и аналогичную (с точностью до константы) оценку снизу, поэтому гипотеза Зарембы — это в точности утверждение о существовании несократимых плохо приближаемых дробей с любым знаменателем.[5]

Обобщения

«Алфавиты» значений неполных частных

Часто рассматривается более общий вопрос[6]: как зависят свойства  (множества знаменателей , для которых существуют несократимые дроби с условием для всех ) от алфавита (конечного множества натуральных чисел)? В частности, для каких множество содержит почти все или все достаточно большие ?

Гипотеза Хенсли

Хенсли в 1996 году рассмотрел связь ограничений на неполные частные с хаусдорфовой размерностью соответствующих дробей, и выдвинул гипотезу, которая впоследствии была опровергнута[7]:

Множество содержит все достаточно большие числа тогда и только тогда, когда ( — множество дробей из интервала , все неполные частные которых лежат в алфавите ,  — хаусдорфова размерность.

Контпример[8] построен для алфавита : известно, что , но в то же время .

Бургейн и Конторович предложили более слабую форму этой гипотезы, связанную со знаменателями , на которые наложены дополнительные ограничения. При этом они доказали её плотностную версию для более сильного ограничения, чем [9].

Вычисление хаусдорфовой размерности

Вопрос вычисления хаусдорфовой размерности для алфавитов вида рассматривался в теории диофантовых приближений задолго до гипотезы Зарембы и, видимо, берёт начало с работы 1928 года[10]. В статье, где была предложена гипотеза, Хенсли описал общий алгоритм с полиномиальным временем работы, основанный на следующем результате[11]: для заданного алфавита значение можно вычислить с точностью всего за операций.

Существует гипотеза, что множество значений таких размерностей всюду плотно. Из компьютерных вычислений известно, что расстояние между его соседними элементами по крайней мере не меньше [12].

Для алфавитов из подряд идущих чисел Хенсли получил оценку:

.

В частности, установлено, что:

.

Этот факт существенно использовался в доказательстве центрального результата Бургейна и Конторовича[13].

Продвижения

Слабые точные результаты

Нидеррейтер доказал гипотезу для степеней двойки и степеней тройки при и для степеней пятёрки при [14].

Рукавишникова, развивая простой результат Коробова, показала существование для любого дроби с условием , где  — функция Эйлера[15].

Плотностные результаты

Наиболее сильным и общим является результат Бургейна и Конторовича:

,

то есть что гипотеза Зарембы с параметром верна для почти всех чисел. Их результат касался не только этого алфавита, но и любого другого с условием [16]. Впоследствии их результат был улучшен для и остаточного члена , где  — константа[17].

Для более слабых ограничений тот же метод позволяет показать, что множество имеет положительную плотностью. В частности, из дальнейших улучшений известно, что это верно когда , в том числе для [18].

Оценки с хаусдорфовой размерностью

Хенсли показал, что если , то . Позже Бургейн и Конторович улучшили это неравенство до показателя вместо .[19] Для отдельных интервалов значений позже были получены более сильные оценки. В частности, известно, что и что при показатель степени стремится к единице[20].

Общее число дробей над тем или иным алфавитом со знаменателями, не превышающими , с точностью до константы равно [21].

Модулярная версия

Хенсли обнаружил, что знаменатели дробей, удовлетворяющих гипотезе Зарембы, равномерно распределены (с учётом кратности) по любому модулю.[22] Из этого, в частности, следует существование таких дробей со знаменателями, равными нулю (и любому другому знчению) по тому или иному модулю.

Следствие из результата Хенсли (1994): для любого существует функция такая, что для любого : существует несократимая дробь , неполные частные которых ограничены .

При это утверждение было бы эквивалентно гипотезе Зарембы. Позже для простых были получены оценки скорости роста в экстремальных случаях:

  • для некоторой константы верно, что [23];
  • для любого существует достаточно большое такое, что [24].

Методы исследования

Современные методы, восходящие к статье Бургейна и Конторовича, рассматривают гипотезу Зарембы на языке матриц размера 2x2 и изучают соответствующие свойства матричных групп. Благодаря соотношению подходящих дробей разложение может быть записано как произведение матриц:

,

где звёздочками в первой матрице закрыты числа, значение которых не существенно.

Руководствуясь этим, изучается группа, порождённая матрицами вида:

,

на наличие в ней матриц с тем или иным значением в нижней правой позиции. Для анализа распределения таких значений используются тригонометрические суммы, а именно — специальные аналоги коэффициентов Фурье[25].

Использование такого инструментария, а также работа фактически со множествами произведений (где элементы множества — матрицы) придаёт задаче арифметико-комбинаторный характер.

Примечания

  1. Согласно общей теории непрерывных дробей, такое разложение единственно.
  2. Borosh, Niederreiter, 1983, с. 69
  3. Niederreiter, 1978, с. 988—989, см. также описание понятия «good lattice points» на с. 986
  4. Кан, Фроленков, 2014, с. 88
  5. Коробов, 1963, с. 25, лемма 5
  6. Bourgain, Kontorovich, 2014, раздел 1
  7. Hensley, 1996, с. 16, гипотеза 3
  8. Bourgain, Kontorovich, 2014, см. гипотезу 1.3 и комментарий после неё
  9. Bourgain, Kontorovich, 2014, гипотеза 1.7, теорема 1.8
  10. См. второй абзац в Good, 1941
  11. Hensley, 1996, с. 44, теорема 3
  12. Jenkinson, 2004, см. обзор вычислительных результатов в разделе 4, а результат о плотности распределения значений в разделе 5
  13. Bourgain, Kontorovich, 2014, замечание 1.11
  14. Niederreiter, 1986.
  15. Moshchevitin, 2012, с. 23, раздел 5.1
  16. Bourgain, Kontorovich, 2014, замечание 1.20
  17. Magee, Oh, Winter, 2019, с. 92.
  18. Кан, 2017.
  19. Bourgain, Kontorovich, 2014, замечание 1.15, теорема 1.23
  20. Кан, 2020, см. там же обзор результатов для других значений
  21. Bourgain, Kontorovich, 2014, замечание 1.13
  22. Hensley, 1994, с. 54, следствие 3.
  23. Moshchevitin, Shkredov, 2019, теорема 2
  24. Shkredov, 2020, теорема 5
  25. Bourgain, Kontorovich, 2014, с. 142—144

Литература

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.