# Даниэль Ларсон доказал аналог постулата Бертрана для чисел Кармайкла

Источник: https://www.youtube.com/watch?v=Kqi_6v2RGB0
Канал: Quanta Magazine
Опубликовано: 13.10.2022

---

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

## 🔢 Загадка чисел Кармайкла и вызов криптографии
[[JUMP:0:01]]

По словам Даниэля Ларсона, эта математическая проблема буквально «залезла ему под кожу», сопротивляясь любым попыткам доказательства, но именно упрямство заставляло его двигаться дальше. Математика для него — это прежде всего поиск неочевидных связей между вещами, которые кажутся совершенно не связанными друг с другом. Будучи школьником, он сосредоточился на изучении чисел Кармайкла.

Число Кармайкла — это такое составное число $n$, для которого при всех целых числах $a$ выражение $a^n - a$ делится на $n$ без остатка. Главная сложность работы с ними заключается в том, что их крайне трудно конструировать: они создаются из простых множителей, обладающих специфическими свойствами, но заранее предсказать точное количество этих множителей невозможно. Без этого знания математикам тяжело получить точное представление об истинных размерах таких чисел.

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

## 💡 Математический прорыв: от постулата Бертрана до гармонического анализа
[[JUMP:1:14]]

В классической теории чисел существует знаменитый постулат Бертрана, который гласит: для любого достаточно большого числа всегда существует как минимум одно простое число в интервале между самим этим числом и его удвоенным значением. Даниэль Ларсон поставил перед собой амбициозную цель — доказать, что аналогичное утверждение справедливо и для чисел Кармайкла.

Для реализации своего замысла молодой исследователь использовал недавний крупный научный прорыв, совершенный математиками Итаном Чжаном и Джеймсом Мейнардом. Их революционная методика была посвящена изучению малых зазоров между простыми числами. Ларсон признается, что у него было множество идей, которые ни к чему не приводили, пока он не осознал, что результаты Чжана и Мейнарда можно адаптировать к изучению чисел Кармайкла. В итоге ему удалось доказать, что для любого достаточно большого $n$ гарантированно существует число Кармайкла в промежутке между $n$ и $2n$.

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

Сам Ларсон описывает этот метод с помощью наглядной аналогии:

> На основе базовых утверждений о «стволе» дерева фурье-анализ позволяет делать масштабные выводы о его «ветвях». В моей задаче стволом выступало определенное множество простых чисел, а мне требовалось научиться предсказывать, где именно на ветвях будут располагаться «яблоки» — то есть числа Кармайкла.

## 🤝 Признание легенд и поддержка научного сообщества
[[JUMP:2:06]]

Завершив математические выкладки, Ларсон все еще не был на 100% уверен в отсутствии скрытых ошибок, поэтому решился отправить свою работу Эндрю Гранвилю — одному из ведущих мировых экспертов в этой области.

Профессор Гранвиль вспоминает, что получил рукопись от абсолютно незнакомого человека по имени Даниэль Ларсон. Текст показался ему довольно технически сложным, но за ним стояли реальные, глубокие идеи. По признанию ученого, математики всегда испытывают удивление, получая качественные результаты от неизвестных авторов, но известие о том, что создателю работы всего 17 лет и он учится в школе, стало для него настоящим потрясением.

Гранвиль чрезвычайно высоко оценивает достижение молодого коллеги:

* Работа Ларсона выполнена на уровне топ-аспиранта престижного университета.
* Данный случай абсолютно уникален и выходит за рамки привычного, даже с учетом того, что в США ежегодно заявляют о себе несколько математических вундеркиндов.
* Ларсон выделяется как исключительный талант даже на фоне других юных дарований.

Сам Даниэль Ларсон, ставший первокурсником Массачусетского технологического института (MIT), выражает огромную благодарность признанным легендам математики — Мейнарду, Гранвилю и Померансу, чьи имена он слышал годами. Тот факт, что ученые с мировым именем ответили на письмо случайного человека и внимательно изучили его выкладки, вызывает у него искреннюю признательность.

По мнению Ларсона, это наглядно демонстрирует открытость и дружелюбие сообщества специалистов по теории чисел к новичкам. На собственном примере он призывает всех увлеченных людей пробовать свои силы в решении различных математических проблем и не бояться писать признанным авторитетам, поскольку они обязательно ответят.