Парная корреляционная гипотеза Монтгомери

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

1-\left({\frac {\sin(\pi u)}{\pi u}}\right)^{2}+\delta (u),

Хью Монтгомери в Обервольфахе в 2008 году

что, как указал ему (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, что подразумевает, что парная корреляционная функция такая же, как и выше. Он также был мотивирован тем, что гипотеза Римана не является «кирпичной стеной», и можно смело высказывать более сильные предположения.

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

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

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

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

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

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

\delta _{n}={\frac {\gamma _{n+1}-\gamma _{n}}{2\pi }}{\log {\frac {\gamma _{n}}{2\pi }}}.

Тогда мы ожидаем следующую формулу в качестве предела для $M,N\to \infty$ :

{\frac {1}{M}}\{(n,k)|N\leq n\leq N+M,\,k\geq 0,\,

\delta _{n}+\delta _{n+1}+\cdots +\delta _{n+k}\in [\alpha ,\beta ]\}

\sim \int _{\alpha }^{\beta }\left(1-{\biggl (}{\frac {\sin {\pi u}}{\pi u}}{\biggr )}^{2}\right)du

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

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

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

Как указывает кандидат физико-математических наук Трушечкин А. С., распределение нетривиальных нулей дзета-функции Римана тесно связано с явлением квантового хаоса[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 10²⁰-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.

Ссылки

Трушечкин, А. С. Квантовый хаос, периодические орбиты и дзета-функция Римана. Краткое изложение заявки : сайт. — 2013.
Трушечкин, А. С. Видеодоклад по темам: аксиомы квантовой механики, чудо квантовой интерференции, квантовая вероятность, группа Гейзенберга–Вейля, интегралы Фейнмана по путям, квантовая телепортация, квантовый хаос и дзета-функция Римана : сайт. — 2013.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[_0e681beeb00593e2-1] Монтгомери, 1973.

[_90ac0adafa8dbea5-2] Дербишир, 2010.

[_192fcd8eb10c140c-3] Стюарт, 2015.

[_a0fdb386e6e4fdf9-4] Одлыжко, 1987.

[_a48e73a36a803ea8-5] Рудник, Сарнак, 1996.

[_1da0c84d4ad5787a-6] Özlük, 1982.

[_75f91000cba8ac14-7] Одлыжкo, 1989.

[_f74cb4a99072d12b-8] Трушечкин, 2013.

[_083a8a7d16cda611-9] Трушечкин—Видеодоклад, 2013.