Простая одержимость

Нетрудно понять, почему Фримен Дайсон так оживился. Выражение, упомянутое Хью Монтгомери, — выражение, которое возникло из исследований нетривиальных нулей дзета-функции Римана, — оказалось в точности формфактором, связанным с эрмитовыми матрицами, т.е. с объектом, которым Дайсон занимался в течение нескольких лет до этого в ходе исследования квантовых динамических систем. (И Монтгомери даже преуменьшил степень чудесного везения, благодаря которому произошла их встреча. Хотя Дайсон приобрел известность как физик, свою первую ученую степень он получил по математике, причем первой областью его интересов была теория чисел. Если бы не эта его предыстория, то он не смог бы оценить сообщение Монтгомери.[169])

Чтобы проиллюстрировать сказанное, возьмем все нетривиальные нули дзета-функции Римана до высоты 500i — т.е. на критической прямой от ¹/₂ до ¹/₂ + 500i (на этих небольших высотах мы точно знаем, что Гипотеза Римана верна). В этом интервале имеется 269 нулей (именно поэтому на рисунках 18.2 и 18.3 выбрано число 269). Они показаны на рисунке 18.4: интервал, на котором они живут, разбит на 10 отрезков, которые расположены друг над другом аналогично тому, как мы это делали раньше. Сравнивая рисунок 18.4 с рисунками 18.2 и 18.3, можно заметить, что он похож на рисунок 18.2, но не на рисунок 18.3.

Рисунок 18.4. Первые 269 значений t, где ¹/₂ + ti — нетривиальные нули дзета-функции.

При сравнении этих рисунков надо кое-что принять во внимание. Нулям дзета-функции на рисунке 18.4 требуется некоторое время для «разгона», и в соответствии с принципом, описанным в главе 13.viii, они группируются плотнее в более высоких областях вдоль критической прямой. Кроме того, собственные значения на рисунке 18.2 расположены несколько более свободно в начале и, соответственно, несколько более тесно в середине. Оба эффекта можно уменьшить, если взять большее количество нулей для большей матрицы, а также использовать нормировку (см. ниже). Даже с учетом этих искажений на основе приведенных рисунков довольно правдоподобными представляются следующие выводы.

• Ни нули дзета-функции, ни собственные значения не похожи на случайным образом разбросанные точки.

• Нули дзета-функции и собственные значения ведут себя похожим образом.

• В частности, и для нулей дзета-функции, и для собственных значений наблюдается эффект отталкивания.

IV.

Статья Монтгомери об интервалах между нулями дзета-функции была опубликована в журнале Американского математического общества в 1973 году. Она начинается словами «На протяжении данной статьи мы принимаем справедливость Гипотезы Римана (ГР)…». В этом нет ничего особенного. К 1973 году множество математических статей состояли из теорем, в которых предполагалась справедливость Гипотезы.[170] На сегодняшний день число их выросло еще больше, и если ГР (как отныне я буду ее именовать, следуя Монтгомери и всем другим современным исследователям) окажется неверной, то вся эта структура обвалится. Правда если контрпримеров окажется немного, значительную часть удастся спасти.

В работе Монтгомери 1973 года содержатся два результата. Первый — это теорема об общих статистических свойствах интервалов между нулями дзета-функции. В этой теореме предполагается справедливость ГР. Второй результат — гипотеза. Она утверждает, что парная корреляционная функция для этих интервалов именно такова, как Монтгомери описал ее в разговоре с Дайсоном. Важно понимать, что это гипотеза. Монтгомери не смог ее доказать даже в предположении о справедливости ГР. И никому другому тоже не удалось этого доказать.

Большая часть свойств нулей дзета-функции Римана, о которых пишут или рассказывают, как и большая часть идей, возникших за последние 30 лет, подобным же образом носят гипотетический характер. В этой области науки наблюдается явный дефицит твердых доказательств. Отчасти это вызвано тем, что после того, как Монтгомери выявил связь между нулями дзета-функции и собственными значениями, исследованиями ГР занялось много физиков и прикладных математиков. Сэр Майкл Берри[171] любит по этому поводу цитировать лауреата Нобелевской премии по физике Ричарда Фейнмана: «Известного куда больше, чем удается доказать». Отчасти же это происходит потому, что ГР представляет собой очень, очень упрямую проблему. ГР посвящено такое грандиозное количество литературы, что приходится все время напоминать себе, что на самом деле о нулях дзета-функции лишь очень мало известно наверняка и даже при всем всплеске интереса в течение нескольких последних лет математически неопровержимые результаты по-прежнему появляются лишь изредка, через длительные интервалы времени.

V.