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

Шрифт
Интервал
/>πu)>2. Он очень оживился и сказал: «Это же формфактор для парных корреляций собственных значений случайных эрмитовых матриц!»

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

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

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

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

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

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

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

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


IV.

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

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

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

Продолжить чтение
Рекомендуем почитать
Математика на ходу

Как приобщить ребенка к математике и даже сделать так, чтобы он ее полюбил? Замечательные британские популяризаторы науки Роб Истуэй и Майк Эскью нашли веселый и легкий путь к детскому сердцу, превратив страшное пугало – математику – в серию увлекательных игр для детей от 4 до 14 лет. Пусть ваш ребенок исподволь овладевает математической премудростью, играя изо дня в день в угадайку, числовые прятки, двадцаточку и зеленую волну. Вы сможете играть за столом, в очереди к врачу, в магазине, на прогулке, используя подручный счетный материал: машины на стоянке, товары на полках супермаркета, мотоциклистов на дороге… И конечно, ничто не мешает вам переиначивать придуманные авторами математические забавы на свой лад, приспосабливая их ко вкусам и потребностям собственных детей.

Значимые фигуры

Несмотря на загадочное происхождение отдельных своих элементов, математика не рождается в вакууме: ее создают люди. Некоторые из этих людей демонстрируют поразительную оригинальность и ясность ума. Именно им мы обязаны великими прорывными открытиями, именно их называем пионерами, первопроходцами, значимыми фигурами математики. Иэн Стюарт описывает открытия и раскрывает перед нами судьбы 25 величайших математиков в истории – от Архимеда до Уильяма Тёрстона. Каждый из этих потрясающих людей из разных уголков мира внес решающий вклад в развитие своей области математики.

Квантовый оптоэлектронный генератор

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

Флатландия. Сферландия

Произведения Э. Эбботта и Д. Бюргера едины по своей тематике. Авторы в увлекательной форме с неизменным юмором вводят читателя в русло важных геометрических идей, таких, как размерность, связность, кривизна, демонстрируя абстрактные объекты в различных «житейских» ситуациях. Книга дополнена научно-популярными статьями о четвертом измерении. Ее с интересом и пользой прочтут все любители занимательной математики.

Стратегии решения математических задач

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

Вначале была аксиома. Гильберт. Основания математики

Давид Гильберт намеревался привести математику из методологического хаоса, в который она погрузилась в конце XIX века, к порядку посредством аксиомы, обосновавшей ее непротиворечиво и полно. В итоге этот эпохальный проект провалился, но сама попытка навсегда изменила облик всей дисциплины. Чтобы избавить математику от противоречий, сделать ее «идеальной», Гильберт исследовал ее вдоль и поперек, даже углубился в физику, чтобы предоставить квантовой механике структуру, названную позже его именем, — гильбертово пространство.