Шесть задач, на которых буксует математика

В 2000 году Математический институт Клэя расчехлил семь "задач тысячелетия" - по мотивам знаменитого списка Давида Гильберта, которому уже сто лет. За каждую посулили миллион долларов. За четверть века взяли только одну. Это вам не школьный экзамен, а скорее приглашение поломать голову. Эти задачи - как красные флажки на карте: здесь привычные методы спотыкаются, нужны не просто новые формулы, а свежий взгляд.

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

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

Проблема Пуанкаре: первая и пока единственная

Идее уже за сто лет. Если говорить без занудства: возьмём замкнутый трёхмерный объект без краёв - пространство, которое нигде не обрывается. Предположим, любую верёвочную петлю на нём можно стянуть в точку, не разрывая. Тогда такой объект - по сути, трёхмерная сфера (у неё нет края, не путайте с шаром). Задача казалась очевидной, но строгое доказательство для всех мыслимых форм потребовало почти столетия.

Представьте объём без границ, где любую замкнутую нитку можно сжать до узелка. Если это свойство выполнено, то наше пространство - родной брат сферы. Звучит просто, а доказать оказалось невероятно трудно.

В 2002 году Григорий Перельман опубликовал серию препринтов в открытом архиве arXiv. Он использовал "потоки Риччи" - уравнение, которое сглаживает неровности, будто нагреваешь смятый лист бумаги, и он сам распрямляется. На трёхмерных объектах процесс иногда даёт разрывы, сингулярности. Перельман придумал "хирургию": вовремя отсекать проблемные места и продолжать сглаживание дальше. За это ему присудили миллион, но он отказался, сказав: важна истина, а не чек. И подчеркнул, что фундамент заложил Ричард Гамильтон.

Проблема Римана: музыка простых чисел

Речь о дзета-функции - сложной формуле, которая упаковывает всё, что можно сказать о простых числах. Гипотеза утверждает: все особые "нули" этой функции лежат на одной прямой (там, где действительная часть равна 1/2). Если это правда, то хаос простых чисел подчиняется строгой мелодии.

Простые числа (2,3,5,7,11...) кажутся случайным лесом. Дзета-функция - как карта, которая обещает показать тропы. Проверены многие миллиарды первых нетривиальных нулей, и все они лежат на критической прямой. Для математиков "миллиарды примеров" не доказательство. Нужна строгая логика, охватывающая все нули сразу. Её пока нет.

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

P против NP: проверить - легко, найти - трудно

Сравним две категории задач. P - те, что решаются быстро (например, сложить колонку чисел). NP - те, где ответ легко проверить, но отыскать его без подсказки - мука. Классический пример: проверить, что 15 = 3 × 5, просто (перемножил и готово). А вот найти множители для 100-значного числа - задача, для которой неизвестен быстрый алгоритм. Для очень больших чисел известные методы всё ещё требуют колоссальных вычислительных ресурсов.

Большинство специалистов уверены: P не равно NP, то есть быстро проверять и быстро находить - не одно и то же. Строгого доказательства нет. Если бы вдруг оказалось, что они равны, то рухнула бы большая часть криптографии с открытым ключом - RSA, ECC и прочие схемы, на которых держатся безопасные платежи и переписка. Симметричные шифры (как в бытовых мессенджерах) уцелели бы, но мир стал бы другим.

Вопрос о равенстве классов P и NP сводится к тому, можно ли отыскать решение так же быстро, как проверить его правильность, и от ответа зависит, устоит ли криптография с открытым ключом.

Уравнения Навье-Стокса: турбулентность под микроскопом

Это законы, по которым течёт вода, воздух и любая вязкая жидкость. Они правят бал в каждой кастрюле с кипящим супом и в каждом завихрении дыма. На плоской картинке, в двух измерениях, математики доказали: гладкое решение существует всегда, на все времена. В трёхмерном, настоящем мире - загадка. Никто не знает, может ли плавное течение внезапно породить сингулярность, "взрыв", после которого всё становится хаотичным.

Формально проблема тысячелетия спрашивает именно о существовании гладких решений для всех начальных данных. Но за этим стоит знакомое каждому: турбулентность. Завихрения за лодкой, хаос за кормой самолёта - мы их видим, но строго описать не можем.

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

Проблема Ходжа: мост между геометрией и алгеброй

Здесь придётся признать: это задача из разряда тех, что трудно объяснить без высшей математики. Если максимально просто: у любой сложной геометрической фигуры есть топологические "тени" - дырки, выступы. Гипотеза Ходжа пытается понять, какие из этих теней обязаны быть "настоящими", то есть описываться алгебраическими уравнениями. Для ряда важных классов многообразий гипотезу удалось подтвердить, но общий случай по-прежнему открыт. Специалисты знают множество частных успехов, а цельного доказательства всё нет.

Гипотеза Ходжа же стремится связать геометрические формы с алгебраическими описаниями, и хотя отдельные успехи есть, цельный мост ещё не построен.

Гипотеза Бёрча - Свиннертон-Дайера (BSD): эллиптические кривые в криптографии

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

Гипотеза BSD связывает этот ранг с поведением L-функции кривой в критической точке (s=1). Для рангов 0 и 1 гипотезу доказали для многих классов кривых. Для всех остальных - нет. Почему это важно? Эллиптические кривые лежат в основе современной криптографии (алгоритмы ECC). Понять их глубже - значит лучше защищать данные.

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

Теория Янга - Миллса и массовый зазор: почему кварки не вылетают поодиночке

Внутри протонов и нейтронов сидят кварки. Но вытащить один кварк наружу нельзя - они всегда склеены в группы. Это явление называют конфайнментом. Теория Янга-Миллса (чистая калибровочная теория в четырёхмерном пространстве-времени) должна его объяснить. Ключевое понятие - "массовый зазор": минимальная ненулевая энергия, которую нужно затратить, чтобы возбудить систему.

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

Теория Янга-Миллса обязана объяснить конфайнмент кварков, и существование массового зазора, ведь, подтверждено лишь косвенно, а математическая строгость пока ускользает.

Почему задачи не решены до сих пор

Институт Клэя установил строгие правила: решение должно выйти в рецензируемом журнале, затем начинается период экспертной проверки (фактически - годы). Только когда мировое математическое сообщество признает работу верной, премию вручают. Это фильтр от ошибок и поспешных сенсаций.

Главная причина, конечно, не бюрократия. Для этих задач пока нет нужных инструментов. Как если бы нужно было завинтить гайку, а у человечества были только молотки. Каждое решение (как перельмановское) почти всегда приносит с собой новый математический аппарат. И это ценнее денег.

...

За четверть века было много громких заявлений. Ни одно не прошло проверку. Не потому, что математикам не хватает старания или вычислительных мощностей, а потому что настоящая наука не гонится за спринтами. Шесть задач - не стены, а приглашение. Истинная награда - не миллион, а те новые методы, которые рождаются на пути к ответу. Иногда полезно не спешить с ответом, а повнимательнее вглядеться в вопрос.