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

Гипо́теза Ги́льберта — По́йи — математическая гипотеза, дающая один из существующих подходов к решению гипотезы Римана при помощи спектральной теории. Сформулирована венгерским математиком Дьёрдем Пойей и, по рассказу Эрнста Хеллингера, немецким математиком Давидом Гильбертом^[1][2][3].

Гипотеза указывает на возможную связь между нетривиальными нулями дзета-функции Римана и явлениями квантовой механики и формулируется следующим образом^[4][5][6][7]: нетривиальные нули дзета-функции Римана (их мнимые части) соответствуют собственным значениям некоторого эрмитового оператора (неограниченного самосопряжённого оператора в гильбертовом пространстве).

История

В письме к Эндрю Одлыжко^[англ.] от 3 января 1982 года^[3] (единственном письменном свидетельстве того, что гипотеза Гильберта — Пойи в принципе была высказана её авторами^[4]) Пойа сообщил, что, в период его пребывания в Гёттингене примерно с 1912 по 1914 год, Эдмунд Ландау задал ему вопрос^[4]: «Можете ли вы придумать какую-нибудь физическую причину, в силу которой гипотеза Римана была бы справедливой?».

Было предположено, что это возможно в случае, если мнимые части ${\displaystyle t}$ нетривиальных нулей дзета-функции Римана:

${\displaystyle {\tfrac {1}{2}}+it}$

соответствуют собственным значениям неограниченного самосопряжённого оператора^[3]. Самое раннее письменное опубликование гипотезы, как представляется, было осуществлено Монтгомери (1973)^[3][8].

1950-е годы и формула следа Сельберга

Сельберг в начале 1950-х годов доказал двойственность между длиной спектра римановой поверхности и собственными значениями её лапласиана. Эта так называемая формула следа Сельберга^[англ.] имела поразительное сходство с явными формулами^[англ.], что придало достоверности гипотезе Гильберта — Пойи.

1970-е годы и случайные матрицы

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

Дайсон обнаружил, что статистическое распределение, найденное Монтгомери, оказалось таким же, как парное корреляционное распределение для собственных значений случайной эрмитовой матрицы. Эти распределения имеют важное значение в физике — собственные состояния гамильтониана, например — энергетические уровни атомного ядра, — удовлетворяют такой статистике. Последующая работа убедительно подтвердила связь между распределением нулей дзета-функции Римана и собственными значениями случайной эрмитовой матрицы из гауссова унитарного ансамбля, и теперь считается, что они подчиняются одной и той же статистике. Таким образом, гипотеза Гильберта — Пойи теперь имеет более прочную основу, хотя она ещё не привела к доказательству гипотезы Римана^[9].

Дальнейшее развитие

В развитии, придавшем значительный импульс данному подходу к гипотезе Римана посредством функционального анализа, Ален Конн сформулировал формулу следа, фактически эквивалентную гипотезе Римана, что усилило аналогию с формулой следа Сельберга до степени, дающей точные утверждения. Конн даёт геометрическую интерпретацию явной формулы^[англ.] теории чисел как формулы следа на некоммутативной геометрии классов аделей^{[англ.][10]}.

Возможная связь с квантовой механикой

На возможную связь оператора Гильберта — Пойи с квантовой механикой указал сам Пойа. Оператор гипотезы Гильберта — Пойи имеет вид ${\displaystyle {\tfrac {1}{2}}+iH}$, где ${\displaystyle H}$ — гамильтониан частицы с массой ${\displaystyle m}$, движущейся под воздействием потенциала ${\displaystyle V(x)}$. Гипотеза Римана эквивалентна утверждению, что гамильтониан — эрмитов, либо эквивалентна тому, что ${\displaystyle V}$ — действительно.

Используя теорию возмущений первого порядка, энергия n-го собственного состояния связана с математическим ожиданием потенциала:

${\displaystyle E_{n}=E_{n}^{0}+\left.\left\langle \varphi _{n}^{0}\right|V\left|\varphi _{n}^{0}\right.\right\rangle }$

где ${\displaystyle E_{n}^{0}}$ и ${\displaystyle \varphi _{n}^{0}}$ — собственные значения и собственные состояния гамильтониана свободных частиц. Это уравнение можно считать интегральным уравнением Фредгольма первого рода с энергиями ${\displaystyle E_{n}}$. Такие интегральные уравнения могут быть решены с помощью резольвенты ядра, где потенциал может быть записан как

${\displaystyle V(x)=A\int _{-\infty }^{\infty }\left(g(k)+{\overline {g(k)}}-E_{k}^{0}\right)\,R(x,k)\,dk}$

где ${\displaystyle R(x,k)}$ — резольвента ядра, ${\displaystyle A}$ — действительная константа, и

${\displaystyle g(k)=i\sum _{n=0}^{\infty }\left({\frac {1}{2}}-\rho _{n}\right)\delta (k-n)}$

где ${\displaystyle \delta (k-n)}$ — дельта-функция Дирака, и ${\displaystyle \rho _{n}}$ — нетривиальные нули дзета-функции ${\displaystyle \zeta (\rho _{n})=0}$.

Майкл Берри и Джонатан Китинг^[англ.] предположили, что гамильтониан ${\displaystyle H}$ на самом деле является некоторым квантованием классического гамильтониана ${\displaystyle xp}$, где ${\displaystyle p}$ — канонический импульс, связанный с ${\displaystyle x}$^[11]. Простейшим эрмитовым оператором, соответствующим ${\displaystyle xp}$, является

${\displaystyle H={\tfrac {1}{2}}(xp+px)=-i\left(x{\frac {\mathrm {d} }{\mathrm {d} x}}+{\frac {1}{2}}\right).}$

Это уточнение гипотезы Гильберта — Пойи известно как гипотеза Берри (или гипотеза Берри — Китинга). Эти концепции далеки от конкретики, так как не ясно, на каком пространстве должен действовать этот оператор, чтобы получить правильную динамику, либо как его упорядочить, чтобы получить ожидаемые логарифмические поправки. Берри и Китинг предположили, что, поскольку этот оператор инвариантен относительно дилатации^[англ.], возможно, граничное условие ${\displaystyle f(nx)=f(x)}$ для целого числа ${\displaystyle n}$ может помочь получить правильные асимптотические результаты, действительные для больших ${\displaystyle n}$

${\displaystyle {\frac {1}{2}}+i{\frac {2\pi n}{\log n}}.}$^[12]

В марте 2017 года Карл М. Бендер^[англ.], Дорже С. Броди^[англ.] и Маркус П. Мюллер опубликовали статью^[13][14], основывающуюся на подходе Берри к проблеме, где был введён оператор

${\displaystyle {\hat {H}}={\frac {1}{1-e^{-i{\hat {p}}}}}\left({\hat {x}}{\hat {p}}+{\hat {p}}{\hat {x}}\right)\left(1-e^{-i{\hat {p}}}\right)}$

который, по их утверждению, удовлетворяет некоторой модифицированной версии условий гипотезы Гильберта — Пойи. Жан Беллисард раскритиковал эту статью^[15], и авторы дали свои пояснения^[16]. Кроме того, Фредерик Моксли подошёл к проблеме с использованием уравнения Шрёдингера^[17].

Примечания

1. Дербишир, 2010, Глава 17. Немного алгебры, с. 334—337.
2. Endres, S.; Steiner, F. (2009), The Berry-Keating operator on L²(R _> ,dx) and on compact quantum graphs with general self-adjoint realizations, p. 37, Архивировано 24 июня 2021, Дата обращения: 20 июня 2021 Источник  (неопр.). Дата обращения: 20 июня 2021. Архивировано 24 июня 2021 года.
3. Odlyzko, Andrew, Correspondence about the origins of the Hilbert-Polya Conjecture. Архивная копия от 2 сентября 2020 на Wayback Machine
4. Дербишир, 2010, Глава 17. Немного алгебры, с. 335.
5. Стюарт, 2015, Глава 9. Закономерности простых чисел. Гипотеза Римана, с. 250—251.
6. Трушечкин А. С., Квантовый хаос, периодические орбиты и дзета-функция Римана. Архивная копия от 21 января 2022 на Wayback Machine // Краткое изложение заявки.
7. Трушечкин А. С., Видеодоклад (2013) по темам: аксиомы квантовой механики, чудо квантовой интерференции, квантовая вероятность, группа Гейзенберга-Вейля, интегралы Фейнмана по путям, квантовая телепортация, квантовый хаос и дзета-функция Римана.
8. Montgomery, Hugh L. (1973), «The pair correlation of zeros of the zeta function», Analytic number theory, Proc. Sympos. Pure Math., XXIV, Providence, R.I.: American Mathematical Society, pp. 181—193, MR 0337821.
9. Rudnick, Zeev; Sarnak, Peter (1996), «Zeros of Principal L-functions and Random Matrix Theory», Duke Journal of Mathematics, 81 (2): 269—322, doi:10.1215/s0012-7094-96-08115-6.
10. Connes, Alain (1998), «Trace formula in noncommutative geometry and the zeros of the Riemann zeta function», arXiv: math/9811068.
11. Berry, Michael V.; Keating, Jonathan P. (1999a), «H = xp and the Riemann zeros», in Keating, Jonathan P.; Khmelnitski, David E.; Lerner, Igor V. (eds.), Supersymmetry and Trace Formulae: Chaos and Disorder (PDF), New York: Plenum, pp. 355—367, ISBN 978-0-306-45933-7.
12. Berry, Michael V.; Keating, Jonathan P. (1999b), «The Riemann zeros and eigenvalue asymptotics» (PDF), SIAM Review, 41 (2): 236—266, Bibcode:1999SIAMR..41..236B, doi:10.1137/s0036144598347497.
13. Bender, Carl M.; Brody, Dorje C.; Müller, Markus P. (2017), «Hamiltonian for the Zeros of the Riemann Zeta Function», Physical Review Letters, 118 (13), arXiv:1608.03679, Bibcode:2017PhRvL.118m0201B, doi:10.1103/PhysRevLett.118.130201.
14. Квантовая механика подсказала возможное доказательство гипотезы Римана.  (неопр.) Дата обращения: 19 ноября 2019. Архивировано 25 сентября 2020 года.
15. Belissard, Jean (2017), «Comment on „Hamiltonian for the Zeros of the Riemann Zeta Function“», arXiv:1704.02644 [quant-ph]
16. Bender, Carl M.; Brody, Dorje C.; Müller, Markus P. (2017), «Comment on 'Comment on „Hamiltonian for the zeros of the Riemann zeta function“'», arXiv:1705.06767 [quant-ph].
17. Moxley, Frederick (2017). «A Schrödinger equation for solving the Bender-Brody-Müller conjecture». AIP Conference Proceedings. 1905: 030024. Bibcode:2017AIPC.1905c0024M. doi:10.1063/1.5012170.

Литература

• Джон Дербишир. Простая одержимость: Бернхард Риман и величайшая нерешенная проблема в математике. = 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.