Простая одержимость полностью

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

Спектр мнений о ценности построения Конна довольно широк. Вовсе не будучи уверенным, что я сам ее понимаю, я опросил нескольких настоящих математиков, работающих в этой области. Сейчас мне надо продвигаться вперед с крайней осторожностью. Насколько мне известно, Ален Конн, возможно, заявит о доказательстве Гипотезы Римана в тот день, когда эта книга выйдет из печати, и мне не хотелось бы никого вводить в заблуждение. Приведу две цитаты из того, что мне сказали профессионалы:

У меня недостаточно подготовки, чтобы выбрать, какая из точек зрения правильна. Но с учетом высокого положения и способностей математиков X и Y я сильно подозреваю, что одна из них наверняка верна…[184]

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

Имеются два непрямых подхода. Например, есть наша теорема 15.2 о функции M, получаемой накапливанием значений мебиусовой функции μ. Эта теорема, как было сказано, в точности эквивалентна Гипотезе. Специалист по аналитической теории чисел Деннис Хеджхал из университета Миннесоты использует этот подход, чтобы познакомить с Гипотезой Римана нематематическую аудиторию и при этом избежать введения комплексных чисел. Вот как, по его словам (я пересказываю, а не цитирую), выражается ГР.

Выпишем все натуральные числа, начиная с 2. Под каждым числом запишем его простые делители. Затем, игнорируя всякое число, среди делителей которого есть квадрат (или любая более высокая степень, которая по необходимости содержит в себе и квадрат), будем двигаться вдоль чисел, отмечая как «орел» каждое число с четным числом простых делителей и как «решку» — с нечетным. Получаем бесконечную строку из орлов и решек — нечто вроде того, что возникает в опыте по подбрасыванию монеты:

Далее, из классической теории вероятностей хорошо известно, чего ожидать от подбрасывания монеты большое число раз N. В среднем будет ¹/₂N орлов и ¹/₂N решек. Но, разумеется, далеко не всегда будут получаться в точности эти значения. Предположим, мы вычли число орлов из числа решек (или наоборот, в зависимости оттого, какое из них больше). Что мы ожидаем по поводу величины этого избытка? В среднем это будет √N, т.е. N^1/2. Это было известно уже 300 лет назад, во времена Якоба Бернулли. Если подбрасывать «честную» монету миллион раз, то в среднем получится избыток в тысячу орлов (или решек). Может выйти больше или меньше — но в среднем, коль скоро вы продолжаете подбрасывать монету, т.е. при стремлении N к бесконечности, — величина избытка растет в определенном темпе: не быстрее, чем N^1/2+ε для любого сколь угодно малого числа ε. Прямо как у нас в теореме 15.2!

На самом деле теорема 15.2, которая эквивалентна ГР, утверждает, что функция M растет точно так же, как избыток в опыте по подбрасыванию монеты. По-другому утверждение теоремы можно выразить так: свободное от квадратов число является орлом или решкой — т.е. имеет четное или нечетное число простых делителей — с вероятностью 50:50. Такое положение дел выглядит довольно правдоподобным и может на самом деле оказаться верным. Если вы сможете доказать, что это утверждение действительно верно, то вы тем самым докажете и ГР.[185]