Двухвековая тайна Гаусса: математики наконец решили классическую загадку теории чисел

Математики из Гарвардского университета и Института перспективных исследований предложили новый аналитический подход к решению проблемы, над которой ученые работали более двух столетий. Исследователи создали теоретическую базу, которая позволяет приблизиться к доказательству гипотезы Коэна-Ленстры, касающейся циклической природы квадратичных форм. Работа объединяет методы из разных областей математики, однако на текущем этапе она представляет собой построение структуры для доказательства, а не финальный вывод о точном поведении каждой отдельной формы.

Закономерности циклов Гаусса

Проблема берет начало в труде Карла Фридриха Гаусса 1801 года. Математик изучал квадратичные формы (например, $ax² + bxy + cy²$) и операцию "композиции" — способ объединения двух таких форм для получения третьей. Гаусс заметил, что если многократно применять эту операцию к одной и той же форме, процесс превращается в цикл: через конечное число итераций система неизбежно возвращается к исходному состоянию.

Несмотря на то что цикличность подтверждалась для любых стартовых форм, Гаусс не смог вывести общее правило, определяющее длину этих циклов. Этот вопрос оставался без ответа в математике на протяжении более 150 лет.

Суть гипотезы Коэна-Ленстра

В 1983 году Анри Коэн и Хендрик Ленстра предложили рассматривать проблему не через поиск точной длины каждого цикла, а через статистику. Они выдвинули предположение, что поведение совокупностей математических объектов можно описать с помощью теории вероятностей. Это легло в основу "арифметической статистики".

Исследователи сосредоточились на простых числах ($p > 2$). Гипотеза Коэна-Ленстры утверждает, что в среднем только одно семейство родственных квадратичных форм требует ровно $p$ шагов для возврата к исходному состоянию, независимо от выбора простого числа. Эта работа сместила фокус с анализа единичного объекта на изучение среднего поведения всей группы объектов.

"В глубоких математических задачах часто наблюдается эффект, когда решение требует объединения инструментов из совершенно разных разделов — от статистики и геометрии до топологии. Это признак того, что проблема затрагивает фундаментальные принципы структуры чисел", — отметил ученый-физик Дмитрий Лапшин.

Метод Ландесмана и Леви

Аарон Ландесман и Ишан Леви попытались исправить ошибку в ранее опубликованном и отозванном доказательстве 2012 года. Основным инструментом их анализа стала теорема о завершении группы из гомотопической теории. Эта область изучает инварианты форм при их деформации (растяжении или сжатии).

Метод исследователей основан на создании матриц, где строки и столбцы соответствуют определенным геометрическим характеристикам растущего семейства фигур. В частности, они анализировали количество "дыр" в этих фигурах. Согласно логике теоремы о завершении группы, при увеличении структуры её форма должна стабилизироваться и перейти в повторяющийся паттерн. Если гипотеза Коэна-Ленстры верна, значения в строках этих матриц должны стремиться к фиксированному числу, часто к нулю.

Границы текущего результата

Работа Ландесмана и Леви представляет собой создание нового теоретического каркаса (framework). Она демонстрирует, что выбранный аппарат гомотопической теории и матричный анализ позволяют воспроизвести ожидаемые результаты для части данных. Однако работа не является окончательным доказательством гипотезы для всех возможных случаев.

Эта таблица показывает, что авторы перешли от простых предположений к конкретному механизму проверки, но окончательный вывод требует полной валидации всех параметров матрицы.

Текущее исследование переводит проблему Гаусса из плоскости чистого перебора чисел в область топологии и алгебраической геометрии. Это позволяет использовать инструменты анализа форм для поиска закономерностей в числах. Для окончательного подтверждения гипотезы Коэна-Ленстры необходимо доказать, что стабилизация значений в матрицах происходит системно для всех типов квадратичных форм, а не только в частных случаях.