Русская Википедия:Гипотеза Гильберта — Пойи

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

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

История

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

Было предположено, что это возможно в случае, если мнимые части <math>t</math> нетривиальных нулей дзета-функции Римана:

<math> \tfrac12 + it </math>

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

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

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

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

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

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

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

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

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

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

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

<math> E_{n}=E_{n}^{0}+ \left. \left \langle \varphi^{0}_n \right | V \left | \varphi^{0}_n \right. \right \rangle </math>

где <math>E^{0}_n</math> и <math>\varphi^{0}_n</math> — собственные значения и собственные состояния гамильтониана свободных частиц. Это уравнение можно считать интегральным уравнением Фредгольма первого рода с энергиями <math>E_n</math>. Такие интегральные уравнения могут быть решены с помощью резольвенты ядра, где потенциал может быть записан как

<math> V(x)=A\int_{-\infty}^{\infty} \left (g(k)+\overline{g(k)}-E_{k}^{0} \right )\,R(x,k)\,dk </math>

где <math>R(x,k)</math> — резольвента ядра, <math>A</math> — действительная константа, и

<math> g(k)=i \sum_{n=0}^{\infty} \left(\frac{1}{2}-\rho_n \right)\delta(k-n) </math>

где <math>\delta(k-n)</math> — дельта-функция Дирака, и <math>\rho_n</math> — нетривиальные нули дзета-функции <math>\zeta (\rho_n)=0 </math>.

Майкл Берри и Шаблон:Нп3 предположили, что гамильтониан <math>H</math> на самом деле является некоторым квантованием классического гамильтониана <math>xp</math>, где <math>p</math> — канонический импульс, связанный с <math>x</math>[8]. Простейшим эрмитовым оператором, соответствующим <math>xp</math>, является

<math>H = \tfrac1{2} (xp+px) = - i \left( x \frac{\mathrm{d}}{\mathrm{d} x} + \frac1{2} \right).</math>

Это уточнение гипотезы Гильберта — Пойи известно как гипотеза Берри (или гипотеза Берри — Китинга). Эти концепции далеки от конкретики, так как не ясно, на каком пространстве должен действовать этот оператор, чтобы получить правильную динамику, либо как его упорядочить, чтобы получить ожидаемые логарифмические поправки. Берри и Китинг предположили, что, поскольку этот оператор инвариантен относительно Шаблон:Нп3, возможно, граничное условие <math>f(nx)=f(x)</math> для целого числа <math>n</math> может помочь получить правильные асимптотические результаты, действительные для больших <math>n</math>

<math>\frac{1}{2} + i \frac{ 2\pi n}{\log n}.</math>[9]

В марте 2017 года Шаблон:Нп3, Шаблон:Нп3 и Маркус П. Мюллер опубликовали статью[10][11], основывающуюся на подходе Берри к проблеме, где был введён оператор

<math>\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 )</math>

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

Примечания

Шаблон:Примечания

Литература

  1. Шаблон:Citation Шаблон:Cite web
  2. 2,0 2,1 2,2 2,3 Odlyzko, Andrew, Correspondence about the origins of the Hilbert-Polya Conjecture. Шаблон:Wayback
  3. Трушечкин А. С., Квантовый хаос, периодические орбиты и дзета-функция Римана. Шаблон:Wayback // Краткое изложение заявки.
  4. Трушечкин А. С., Видеодоклад (2013) по темам: аксиомы квантовой механики, чудо квантовой интерференции, квантовая вероятность, группа Гейзенберга-Вейля, интегралы Фейнмана по путям, квантовая телепортация, квантовый хаос и дзета-функция Римана.
  5. 5,0 5,1 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.
  6. 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.
  7. Connes, Alain (1998), «Trace formula in noncommutative geometry and the zeros of the Riemann zeta function», arXiv: math/9811068.
  8. 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.
  9. 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.
  10. 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.
  11. Шаблон:Cite web
  12. Belissard, Jean (2017), «Comment on „Hamiltonian for the Zeros of the Riemann Zeta Function“», arXiv:1704.02644 [quant-ph]
  13. 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].
  14. 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.