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

Из этой теоремы между прочим следует, что все коэффициенты характеристического многочлена эрмитовой матрицы вещественны. Это получается потому, что собственные значения любой матрицы по определению являются нулями характеристического многочлена. Если нули многочлена — это a, b, с, …, то его можно разложить на множители как (x ? а)(x ? b)(x ? c)…. Если здесь просто раскрыть скобки, то получится многочлен в обычном виде. Но раз все числа a, b, с, … вещественные, то раскрытие скобок приводит к выражению, в котором все коэффициенты — вещественные числа. Используя приведенные выше собственные значения нашей эрмитовой (4?4)-матрицы, получаем, что характеристический многочлен равен (x ? 4,8573)(x ? 12,9535)(x + 16,553)(x + 3,2578). Раскрытие скобок дает характеристический многочлен в виде x4 + 2x3 ? 236x2 + 286x + 3393.

VI.

Все это было известно 100 лет назад… Другими словами, в то время, когда Давид Гильберт только приступал к изучению интегральных уравнений, причем исследование операторов играло там ключевую роль. В начале XX века другие математики — одни независимо, другие — вдохновившись работой Гильберта, — также были поглощены исследованием операторов. Операторы просто носились в воздухе. Гипотеза Римана в тот момент тоже висела в воздухе, но не до такой степени, хотя после доклада Гильберта в 1900 году и публикации книги Ландау в 1909-м всерьез задумываться о ней начали многие лучшие умы.

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

Имеется математический объект — эрмитова матрица, которая построена из комплексных чисел, но самая сокровенная и важная характеристика которой — набор собственных значений — неожиданным образом выражается одними лишь вещественными числами. А вот имеется функция — дзета-функция Римана, которая построена из комплексных чисел; и ее наиболее сокровенная и важная характеристика — набор ее нетривиальных нулей. (Для целей данного рассуждения забудем пока о других нулях.) Каждый из этих нулей лежит в критической полосе. Они симметричны относительно критической прямой с вещественной частью 1/2. Скажем, что типичный нуль имеет вид 1/2 + zi с некоторым числом z. Тогда Гипотеза Римана утверждает, что все z — вещественные числа.

Математики 1910-х годов на самом деле сказали бы «оператор», а не «матрица». Хотя матрицы и были разбросаны повсюду после их изобретения Артуром Кэли в 1856 году, они все же не стали всеобщим достоянием, пока около 1925 года на сцене не появилась квантовая механика. И все же здесь можно увидеть грубую аналогию. И набор собственных значений эрмитовой матрицы, и набор нетривиальных нулей дзета-функции представляют собой наборы чисел, возникающих из ключевого свойства существенно комплексных объектов и неожиданным образом оказывающихся вещественными. Отсюда возникает следующая

Гипотеза Гильберта-Пойа

Нетривиальные нули дзета-функции Римана соответствуют собственным значениям некоторого эрмитова оператора.

Происхождение этой гипотезы несколько туманно. И Гильберт, и Пойа должны были бы упоминать возможность некоторой подобной эквивалентности в лекциях или в разговорах в те годы (1910–1920). Но насколько мне удалось установить, ни один из них не воплотил эту мысль в опубликованной статье. Насколько я знаю — и, как сообщает Питер Сарнак, насколько он знает, — единственным письменным свидетельством того факта, что гипотеза Гильберта-Пойа вообще была высказана, остается письмо, которое 20 лет тому назад Пойа написал Эндрю Одлыжко и фрагмент которого приведен на рисунке 17.3. В нем Пойа сообщает, что Эдмунд Ландау задал ему следующий вопрос: «Можете ли вы придумать какую-нибудь физическую причину, в силу которой Гипотеза Римана была бы справедлива?» О том, какие именно предположения делал сам Гильберт, нет вообще никаких известных мне материальных свидетельств.

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

Рисунок 17.3. Фрагмент письма Джорджа Пойа к Эндрю Одлыжко.

Не следует, однако, забывать, что в математике начала XX века Гильберт был фигурой незаурядного масштаба, а также о том, что он жил и работал в немецкой академической среде, где на университетских профессоров их студенты и подчиненные взирали как на недоступных и всеведущих божеств, приближаться к которым следовало не иначе как с величайшим почтением. Не только к профессору нельзя было и помыслить себе обратиться как-нибудь иначе, нежели «господин профессор», но и жена его становилась «госпожа профессор». Однако для величайших из этих олимпийцев даже такого обращения оказывалось недостаточно. Наиболее выдающимся личностям немецкое правительство присваивало титул Geheimrat, «тайный советник», — примерный эквивалент посвящения в рыцари в Британии. Так что правильное обращение должно было звучать как «господин тайный советник», хотя сам Гильберт и не утруждал себя подобными формальностями.

В силу всего этого неудивительно, что если по удачному стечению обстоятельств вам случалось оказаться в достаточной близости от одного из этих небожителей, чтобы слышать его речь, то вам не скоро удавалось забыть его слова. Конечно, подобные гиганты вызывали к жизни определенное количество не подлежащих проверке апокрифов. И тем не менее, подсчитав все за и против, я склонен думать, что Гильберт в самом деле в какой-то момент высказал гипотезу Гильберта-Пойа или нечто ей эквивалентное. (Между прочим, если бы мы для краткости говорили просто «гипотеза Пойа», это привело бы к недоразумениям, поскольку имеется совершенно другая гипотеза, известная под таким названием.)

Глава 18. Теория чисел встречается с квантовой механикой

I.

В предыдущей главе мы рассмотрели математические предпосылки и некоторые исторические обстоятельства, которые привели к гипотезе Гильберта-Пойа. Эта гипотеза значительно опередила свое время и с полвека пролежала на полке невостребованной.

Эти полвека, однако, оказались очень насыщенными событиями в области физики — вообще самыми насыщенными за всю ее историю. В 1917 году, как раз примерно в то время, когда была выдвинута эта гипотеза, Эрнест Резерфорд открыл делимость атома; 15 лет спустя Кокрофт и Уолтон провели первый в мире эксперимент по искусственному делению атома. Это, в свою очередь, явилось шагом к работам Энрико Ферми и к первой управляемой цепной ядерной реакции, осуществленной в 1942 году, а затем к первому ядерному взрыву 16 июля 1945 года.

«Деление атома», как сообщают своим ученикам все без исключения преподаватели физики в старших классах, — название неправильное. Мы делим атомы всякий раз, как зажигаем спичку. То, о чем идет сейчас речь на самом деле, — это деление атомного ядра, т.е. сердца атома. Чтобы запустить ядерную реакцию — управляемую или уж как получится, — надо выстрелить субатомной частицей в атомные ядра какого-нибудь очень тяжелого элемента. Если сделать это некоторым определенным способом, то ядро расщепится, в свою очередь выстреливая при этом новые субатомные частицы. Эти частицы проникнут в ядра соседних атомов… и т.д., что и приведет к цепной реакции.

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