Джон Дербишир - Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике.

Как раз незадолго до этого Хью Монтгомери исследовал интервалы между нетривиальными нулями дзета-функции. Это исследование не было частью программы по возможному доказательству Гипотезы Римана. Просто так случилось, что определенный результат о природе этих интервалов имел приложения в области теории чисел, для полей, несколько напоминающих поле а + b √2, с которым мы познакомились в главе 17.ii. [165]Этим и занимался Монтгомери. Вот как звучит эта история в его собственном изложении:

Я сделал эту работу еще будучи аспирантом. Я уже подготовил текст диссертации, но еще не защитился. В начале работы я не понимал, что все это означает. У меня было такое чувство, что здесь нечто скрывается, но я не знал, что именно, и это меня сильно тревожило.

Той весной 1972 года Хэролд Даймонд [166]организовал конференцию по аналитической теории чисел в Сент-Луисе. Я поехал на эту конференцию и сделал там доклад, а потом полетел в Энн-Арбор. К тому моменту я принял приглашение на работу в Энн-Арбор и собирался купить там дом. И действительно купил. Затем, на обратном пути в Англию, я остановился в Принстоне с целью поговорить с Атле [Сельбергом] о своей работе. Я побаивался, что, показав ему свои результаты, услышу в ответ: «Неплохо, Хью, но я доказал все это много лет назад». С моей души упал камень, когда он ничего такого не сказал. Он выказал некоторый интерес, но в целом достаточно поверхностный.

В тот же день вечером мы вместе с Чоула [167]отправились на чай в Фалд-Холл. Посреди комнаты я увидел Фримена Дайсона. Предыдущий год я провел в Институте и прекрасно знал Дайсона в лицо, однако никогда с ним не разговаривал. Чоула спросил: «Вы знакомы с Дайсоном?» Я ответил, что не знаком. Он сказал: «Давайте я вас представлю». Я сказал, что не надо, я как-то не настроен знакомиться с Дайсоном. Но Чоула не отставал и в конце концов поволок меня через всю комнату, чтобы представить Дайсону. Дайсон был очень вежлив и спросил меня, чем я занимаюсь. Я ответил, что изучаю разности между нетривиальными нулями дзета-функции Римана и что у меня есть гипотеза, что в выражении для функции распределения этих разностей под интегралом стоит 1 − ( sin πu / πu ) 2. Он очень оживился и сказал: «Это же формфактор для парных корреляций собственных значений случайных эрмитовых матриц!»

До этого я и не слышал о «парных корреляциях». Оказалось, что именно они являются недостающим связующим звеном. На следующий день Атле передал мне записку Дайсона со ссылкой на книгу Мехты [168]и с указанием на то, какие именно места мне надо посмотреть, и т.д. Этот разговор с Дайсоном остался нашим единственным разговором, и его письмо ко мне также было ровно одно. Но и этого оказалось немало. Я полагаю, что к сегодняшнему дню эту связь все равно удалось бы как-нибудь найти, но, без сомнения, было крупным везением, что она нашлась так быстро, потому что, когда я писал статью в выпускаемый по итогам конференции сборник, я уже был в состоянии использовать соответствующую терминологию, привести ссылки и дать интерпретацию. Забавно, что несколько лет спустя Дайсон опубликовал статью под заглавием «Упущенные возможности». Наверняка имеется масса упущенных возможностей, но моя история представляет собой контрпример. Поистине потрясающее стечение обстоятельств привело к нашей встрече в самый решительный момент.

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

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