Парная корреляционная гипотеза Монтгомери (Hgjugx tkjjylxenkuugx inhkmy[g Bkumikbyjn)

Перейти к навигации Перейти к поиску
Хью Монтгомери в Обервольфахе в 2008 году

Па́рная корреляцио́нная гипо́теза Монтго́мери — гипотеза американского математика Хью Монтгомери (1973) о том, что парная корреляция между парами нулей дзета-функции Римана (нормированная к единице среднего расстояния) есть[1]:

что, как указал ему (1972) Фримен Дайсон[2][3], совпадает с парной корреляционной функцией (иначе говоря — с формфактором для парных корреляций) собственных значений гауссовых случайных эрмитовых матриц. Неформально это означает, что вероятность нахождения нуля в очень коротком интервале длины 2πL/log(T) на расстоянии 2πu/log(T) от нуля 1/2+iT примерно в L раз превышает приведённое выше выражение (коэффициент 2π/log(T) является нормировочным фактором, который можно неофициально представить как среднее расстояние между нулями с мнимой частью относительно T). Эндрю Одлыжко[англ.] (1987) показал[4], что гипотеза была подтверждена крупномасштабными компьютерными вычислениями нулей дзета-функции Римана. Гипотеза была распространена на корреляции более 2 нулей, а также на дзета-функции автоморфных представлений[5]. В 1982 году студент Монтгомери Али Эрхан Озлюк доказал гипотезу о парной корреляции для некоторых L-функций Дирихле[6].

Связь со случайными унитарными матрицами может привести к доказательству гипотезы Римана. Гипотеза Гильберта — Пойи утверждает, что нули дзета-функции Римана соответствуют собственным значениям линейного оператора, и подразумевает RH. Ряд исследователей считают, что это является перспективным подходом[4].

Монтгомери изучал преобразование Фурье F(x) парной корреляционной функции и показал (предполагая гипотезу Римана), что она равна |x| для |x|<1. Его методы не смогли определить его для |x|≥1, но он предположил, что он был равен 1 для этих x, что подразумевает, что парная корреляционная функция такая же, как и выше. Он также был мотивирован тем, что гипотеза Римана не является «кирпичной стеной», и можно смело высказывать более сильные предположения.

Численный подсчёт Одлыжко

[править | править код]
Вещественная линия описывает двухточечную корреляционную функцию случайной матрицы типа ГУА. Синие точки описывают нормализованные расстояния первых 105 нетривиальных нулей дзета-функции Римана.

В 1980-х годах, мотивированный гипотезой Монтгомери, Одлыжко начал интенсивное численное исследование статистики нулей дзета-функции Римана. Используя самый быстрый в мире суперкомпьютер Cray X-MP, проведя детальные численные расчёты, он продемонстрировал подтверждение гипотезы Монтгомери и соответствие распределения расстояний между нетривиальными нулями собственным значениям случайной матрицы гауссова унитарного ансамбля (ГУА). Результаты Одлыжко опубликовал в 1987 году в статье «О распределении интервалов между нулями дзета-функции»[4].

Как отмечает Дербишир[2], результаты Одлыжко оказались не полностью убедительными — малых интервалов получилось несколько больше, чем предсказывалось моделью ГУА. Дальнейшие исследования прояснили ситуацию с несоответствиями, и парная корреляционная гипотеза Монтгомери стала «законом Монтгомери — Одлыжко» (впервые упоминание о «законе Монтгомери — Одлыжко» появилось в статье Николаса Каца и Питера Сарнака 1999 года):

Распределение интервалов между последовательными нетривиальными нулями дзета-функции Римана (в правильной нормировке) статистически тождественно распределению собственных значений ГУА-оператора.

Для нетривиального нуля, 1/2+iγn, пусть нормированные расстояния будут

Тогда мы ожидаем следующую формулу в качестве предела для :

Основываясь на новом алгоритме, разработанном Одлыжко и Шёнхаге[англ.], позволившим им вычислить значение ζ(1/2 + it) в среднем времени tε шагов, Одлыжко вычислил миллионы нулей на высотах около 1020 и дал ряд доказательств для ГУА-гипотезы[7].

На рисунке представлены первые 105 нетривиальных нулей дзета-функции Римана. Чем больше выборок из нулей, тем ближе их распределение приближается к форме случайной матрицы ГУА.

Связь с квантовым хаосом

[править | править код]

Как указывает кандидат физико-математических наук Трушечкин А. С., распределение нетривиальных нулей дзета-функции Римана тесно связано с явлением квантового хаоса[8][9]:

Явление квантового хаоса оказалось тесно связано с распределением нетривиальных нулей дзета-функции Римана (Монтгомери, 1973 г., Одлыжко, 1987 г.). Одним из подходов к известной проблеме о нулях дзета-функции был предложен Гильбертом и Пойей. Согласно их гипотезе, нетривиальные нули дзета-функции соответствуют собственным значениям некоторого самосопряжённого оператора в гильбертовом пространстве. В 1986 г. Берри предположил, что этот самосопряжённый оператор может являться оператором Гамильтона квантовой системы, которая соответствует классической хаотической системе. Позже Конн, а также Берри и Китинг[англ.] предложили гамильтонианы, у которых первые два ведущих члена в распределении собственных значений в квазиклассическом пределе совпадают с соответствующими членами распределения нетривиальных нулей дзета-функции (даваемыми формулой Римана–Мангольдта).

Примечания

[править | править код]

Литература

[править | править код]
  • Дербишир Д. Простая одержимость: Бернхард Риман и величайшая нерешенная проблема в математике = Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics / пер. с англ. А. М. Семихатова. — М.: Астрель : Corpus, 2010. — 464 с. — 5000 экз. — ISBN 978-5-271-25422-2.
  • Стюарт И. Величайшие математические задачи / пер. с англ. Н. Лисовой. — М.: Альпина нон-фикшн, 2015. — 460 с. — 5000 экз. — ISBN 978-5-91671-318-3.
  • Katz N.[англ.], Sarnak P. Zeroes of zeta functions and symmetry (англ.) // Bulletin. New Series : journal. — American Mathematical Society, 1999. — Vol. 36, iss. 1. — P. 1—26. — ISSN 0002-9904. — doi:10.1090/S0273-0979-99-00766-1.
  • Montgomery H. L. The pair correlation of zeros of the zeta function. Analytic number theory (англ.) // Proc. Sympos. Pure Math.[англ.] : journal. — Providence, R.I.: American Mathematical Society, 1973. — Vol. XXIV. — P. 181—193.
  • Odlyzko A.[англ.]. On the distribution of spacings between zeros of the zeta function (англ.) // Mathematics of Computation[англ.] : journal. — Providence, R.I.: American Mathematical Society, 1987. — Vol. 48, iss. 177. — P. 273—308. — ISSN 0025-5718. — doi:10.2307/2007890.
  • Odlyzko A.[англ.]. The 1020-th zero of the Riemann zeta function and 70 million of its neighbors (англ.) // AT&T Bell Lab. preprint. — AT&T Bell Lab., 1989.
  • Rudnick Z., Sarnak P. Zeros of principal L-functions and random matrix theory (англ.) // Duke Mathematical Journal[англ.] : journal. — Duke University Press, 1996. — Vol. 81, iss. 2. — P. 269—322. — ISSN 0012-7094. — doi:10.1215/S0012-7094-96-08115-6.
  • Özlük A. E. Pair Correlation of Zeros of Dirichlet's L-functions (англ.) : Ph. D. Dissertation. — Ann Arbor: University of Michigan, 1982.