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

Quanta Magazine 2,3 млн 5 мин 4 мин 13.10.2022
Главное

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

💬 Цитаты

«Для меня математика — это прежде всего связи между вещами, которые кажутся совершенно не связанными друг с другом.»

Даниэль Ларсон 0:13

«Узнать затем, что автору всего 17 лет и он учится в школе, было просто умопомрачительно.»

Эндрю Гранвиль 2:31

«Он выполнял работу на уровне высококлассного аспиранта, это определенно выходит за рамки обычного.»

Эндрю Гранвиль 4:21
👥 Спикеры
📖 Термины
Числа Кармайкла
Составные числа, которые обладают свойствами простых чисел при тестировании по малой теореме Ферма.
Постулат Бертрана
Теорема в теории чисел, утверждающая, что для любого целого n > 1 всегда существует простое число между n и 2n.
Фурье-анализ
Математический метод, позволяющий раскладывать сложные функции или сигналы на более простые волновые компоненты.
Криптография
Наука о методах обеспечения конфиденциальности и защиты информации от несанкционированного доступа.
📊 Цифры
🗓 Хронология
  1. Период учебы в старшей школе Даниэль Ларсон увлекается теорией чисел и начинает изучать свойства чисел Кармайкла.
  2. Несколько лет назад Математики Итан Чжан и Джеймс Мейнард совершают прорыв в исследовании малых зазоров между простыми числами.
  3. Возраст 17 лет Ларсон завершает доказательство теоремы и отправляет рукопись профессору Эндрю Гранвилю.
  4. Период поступления в вуз Ларсон становится первокурсником Массачусетского технологического института (MIT).
Математика и физика Даниэль Ларсон числа Кармайкла постулат Бертрана криптография Эндрю Гранвиль