Paul D. Nelsonдун изилдөөсү кватернион алгебраларындагы максималдык тартиптерден алынган компакттуу арифметикалык гиперболалык беттерде Hecke–Maass cusp формаларынын микролокалдык лифттеринин асимптотикалык кванттык вариациясын аныктайт. Изилдөөнүн негизги жыйынтыгы жогорку энергиялуу өздүк функциялардын үй-бүлөлөрү үчүн ылайыктуу түрдө масштабдалган жана арифметикалык \(L\)-функциянын салмактары менен салмакталган экинчи тартиптеги термелүүлөрдүн чеги бар экенин көрсөтөт; эки байкалма ар башка автоморфтук көрсөтүлүштөргө таандык болсо чек нөл болот, бир эле көрсөтүлүшкө таандык болсо чек борбордук \(L\)-маанини классикалык диагоналдык агымдын корреляциясы менен бириктирген ачык туюнтма аркылуу берилет. Изилдөөнүн ыкмасы theta correspondence, Rallis ички көбөйтүндү формуласы, элементардык theta функцияларынын тең бөлүштүрүлүшү, кватернион алгебраларындагы кошуу жана көбөйтүү боюнча гармоникалык анализ жана coadjoint orbit ыкмасынын аналитикалык формасын бир эле далилде бириктирет.

Жыйынтык Luo–Sarnak–Zhao тарабынан cusp камтыган модулдук бет үчүн иштелип чыккан кванттык вариация теориясын бул Fourier жайылуу механизми түздөн-түз жок болгон компакттуу, non-split арифметикалык беттерге өткөрөт. Бирок изилдөө жалпы Riemann көптүрдүүлүгү үчүн кванттык вариацияны чечпейт, бардык өздүк функция үй-бүлөлөрү үчүн бир эле формуланы далилдебейт жана кванттык уникалдуу эргодикалуулукту кайра далилдебейт. Негизги теорема максималдык тартиптерден чыккан белгилүү арифметикалык компакттуу беттер, Hecke түзүмү, паритет шарттары жана белгилүү арифметикалык салмактар алдында түзүлгөн.

Бул жерде “кванттык вариация” эмнени билдирет?

Бул изилдөөдөгү кванттык вариация кванттык компьютерлерде колдонулган qubitтердин вариациясы эмес. Түшүнүк математикалык кванттык хаос контекстинде жогорку энергиялуу Laplace өздүк функцияларынын геометриялык мейкиндикте кандай бөлүштүрүлүшүндөгү экинчи тартиптеги термелүүлөрдү билдирет.

Негизги маселе \(\mathcal{F}\) өздүк функция үй-бүлөсү жана туруктуу байкалмалар \(\Psi_1,\Psi_2\) үчүн төмөнкү типтеги суммалардын жогорку энергия чегиндеги жүрүм-турумун түшүнүү:

\[ \sum_{\phi\in\mathcal{F}} \langle \phi,\Psi_1\phi\rangle \langle \Psi_2\phi,\phi\rangle. \]

Биринчи тартиптеги статистика өздүк функциянын массасы орточо кандай бөлүштүрүлөрүн сураса, кванттык вариация ошол орточонун айланасындагы экинчи тартиптеги корреляцияларды өлчөйт. Nelson белгилеген кыйынчылык — бул экинчи тартиптеги маалыматтарга классикалык из формулалары аркылуу түз жетүү мүмкүн эмес.

Изилдөө чечүүгө аракет кылган боштук эмнеде?

Luo, Sarnak жана Zhaoнун мурдагы ыкмасы модулдук бет сыяктуу non-compact арифметикалык бөлүнүштөрдө cusp айланасындагы параболалык Fourier жайылууларын жана Hecke өздүк маанилеринин көбөйтүү түзүмүн күчтүү пайдаланган. Компакттуу арифметикалык гиперболалык беттерде болсо cusp жок. Ошондуктан классикалык \(q\)-жайылууларын ошол эле формада колдонуу мүмкүн эмес.

Nelsonдун негизги стратегиясы cusp берген механизмди башка түзүм менен алмаштыруу: Eichler–Shimizu theta correspondence. Кватернион алгебрасы \(B\)ден чыккан арифметикалык бөлүнүш үчүн бул дал келүү бир өздүк функциянын эки көчүрмөсүнүн көбөйтүндүсүн башка автоморфтук мейкиндиктеги theta интегралы менен байланыштырат. Ошентип түз Fourier жайылуусу жок компакттуу учурда экинчи тартиптеги статистика кайра гармоникалык анализге ачылат.

Изилдөөнүн геометриялык чөйрөсү кантип курулат?

\(F\) толук реалдуу сан талаасы жана \(B\), \(F\) үстүндө бир гана реалдуу жерде \(M_2(\mathbb{R})\)ге ажыраган кватернион алгебрасы болсун. Максималдык тартип \(R\subset B\) тандалганда анын бирдиктеринен алынган арифметикалык тор:

\[ \Gamma\leq G,\qquad G=\operatorname{PGL}_2(\mathbb{R}) \]

аркылуу:

\[ X=\Gamma\backslash G, \qquad Y=X/K^1 \]

мейкиндиктери аныкталат. \(Y\) — арифметикалык гиперболалык бет, \(X\) болсо тиешелүү динамикалык жана көрсөтүлүш-теориялык түзүм жайгашкан мейкиндик. Макаланын негизги абалында \(B\) non-split болгондуктан \(X\) компакттуу.

Чектүү жөнөкөй жерлердеги Hecke операторлору \(T_{\mathfrak p}\), \(G\)нин оң жылдыруу аракети менен бирге иштейт. Ошентип \(L^2_0(X)\) \(G\) жана Hecke операторлору боюнча өздүк компоненттерге бөлүнөт.

Hecke–Maass өздүк формалары жана микролокалдык лифт деген эмне?

\(\pi\) автоморфтук көрсөтүлүшү үчүн infinitesimal character \(\lambda_\pi<0\) болгондо, \(\pi\) ичинде \(K^1\)-invariant вектор бар жана ал \(Y\) үстүндөгү Hecke–Maass өздүк форма \(\phi_\pi\)га туура келет. Laplace өздүк мааниси:

\[ \frac14-\lambda_\pi \]

түрүндө.

Өздүк функция \(Y\) үстүндөгү позиция маалыматын гана ташыса, микролокалдык лифт \(\mu_\pi\) фаза мейкиндигиндеги багыт маалыматын да көрсөтүлүш-теориялык түзүмгө кошкон функционал:

\[ \mu_\pi: \{\text{smooth, }K\text{-finite }\Psi:X\rightarrow\mathbb C\} \longrightarrow\mathbb C. \]

\(\Psi\) бет \(Y\)ден келген \(K^1\)-invariant функция болсо:

\[ \mu_\pi(\Psi)= \langle\phi_\pi\Psi,\phi_\pi\rangle. \]

Изилдөөдө колдонулган микролокалдык лифттер жогорку энергия чегинде диагоналдык чакан топ \(H\) аракетине карата асимптотикалык invariance касиетине да ээ.

Кванттык уникалдуу эргодикалуулук менен кванттык вариациянын айырмасы эмнеде?

Булакта эске салынган арифметикалык кванттык уникалдуу эргодикалуулук жыйынтыгы орточосу нөл болгон туруктуу \(\Psi\) үчүн жогорку энергия чегинде:

\[ \mu_\pi(\Psi)\rightarrow0 \]

болорун айтат. Кванттык вариация болсо бул маанилер нөлгө жакындаганда кандай чоңдукта жана кандай корреляция түзүмү менен термелерин сурайт.

Башкача айтканда, “өздүк функциялар акырында тең бөлүштүрүлөт” деген сөз биринчи тартиптеги суроо; Nelsonдун негизги теоремасы тең бөлүштүрүлүүнүн айланасындагы арифметикалык түзүлгөн экинчи тартиптеги термелүүнү карайт.

Эмне үчүн “even” байкалмалар гана колдонулат?

Макала белгилүү жергиликтүү root number жана Hecke паритет шарттарын аткарган көрсөтүлүштөрдү even деп атайт. Чектүү ramified жөнөкөй жерлерде тиешелүү \(T_{\mathfrak p}\) өздүк маанилери \(+1\) болушу жана бөлүнгөн реалдуу жердеги жергиликтүү root number \(+1\) болушу керек.

Бул техникалык эстетикалык тандоо эмес. Изилдөөдө көрсөтүлгөндөй, \(\sigma\) even болбосо:

\[ \mu_\pi(\Psi)=0 \]

болот. Ошондуктан негизги кванттык вариация маселеси табигый түрдө even байкалмаларга кыскарат.

Негизги теорема так эмне дейт?

Эки туруктуу, орточосу нөл жана even өздүк функция \(\Psi_1,\Psi_2\) тандалсын. Алар жараткан автоморфтук көрсөтүлүштөр \(\sigma_1,\sigma_2\) болсун. Ошондой эле:

\[ \iota_\pi=L^{(S)}(\operatorname{ad}\pi,1) \]

арифметикалык салмагы колдонулсун. Theorem 1:

\[ \lim_{h\to0} h \sum_{\substack{\pi\in A_0\\0<-h^2\lambda_\pi<1}} \iota_\pi\, \mu_\pi(\Psi_1)\mu_\pi(\Psi_2) \]

чегинин бар экенин далилдейт.

Эгер:

\[ \sigma_1\neq\sigma_2, \]

болсо чек:

\[ 0 \]

болот.

Эгер:

\[ \sigma_1=\sigma_2=:\sigma \]

болсо чек:

\[ \boxed{ \frac{c_B}{2\pi} L^{(S)} \left(\sigma,\frac12\right) \int_{s\in H} \langle s\Psi_1^w,\Psi_2^w\rangle\,ds } \]

туюнтмасына барабар.

Бул жерде:

\[ c_B= \frac{2^{\#S}\zeta_F^{(S)}(2)} {\operatorname{vol}(X)} \]

жана:

\[ \Psi^w=\frac12(\Psi+w\Psi) \]

Weyl элементине карата симметриялаштырууну билдирет.

Бул формула эмне үчүн маанилүү?

Формуланын өзгөчө жагы кванттык термелүүнүн негизги мүчөсүндө эки өзүнчө түзүмдүн болушу. Биринчиси:

\[ L^{(S)} \left(\sigma,\frac12\right) \]

түрүндөгү арифметикалык борбордук \(L\)-маани. Экинчиси:

\[ \int_H \langle s\Psi_1^w,\Psi_2^w\rangle\,ds \]

түрүндөгү классикалык динамикалык корреляция. Негизги вариация туруктуусу бул экөөнүн көбөйтүндүсү катары чыгат.

Ошентип, изилдөө компакттуу арифметикалык кванттык хаостогу экинчи тартиптеги термелүүлөр классикалык геодезиялык динамика менен гана эмес, Hecke арифметикасы жана автоморфтук \(L\)-функциялар менен да түзүлөрүн ачык асимптотикалык формула менен көрсөтөт.

Theorem 1деги \(h\) эмнени билдирет?

\(h\rightarrow0\) — изилдөөнүн жарым классикалык (semiclassical) чек параметри. Суммадагы:

\[ 0<-h^2\lambda_\pi<1 \]

шарты \(h\) кичирейген сайын өздүк функциялардын спектралдык параметрлерин барган сайын жогорку энергия масштабдарынан тандайт. Ошондуктан формула бир өздүк функция тууралуу эмес, жогорку энергиялуу өздүк функциялар үй-бүлөсүнүн орточо экинчи тартиптеги жүрүм-туруму тууралуу.

Жакындашуу ылдамдыгы белгилүүбү?

Макала Theorem 1дин далили:

\[ O(h^\delta) \]

түрүндөгү жакындашуу ылдамдыгын берерин жана бул жерде туруктуу \(\delta>0\) бар экенин айтат. Бирок автор \(\delta\)ны ачык эсептебейт же оптималдаштырбайт.

Курч спектралдык кесүүнүн ордуна жылмакай dyadic weight колдонулса, ыкмаларды мүмкүн:

\[ O(h^{1/2}) \]

деңгээлине чейин оптималдаштырууга болору айтылат. Бул экинчи билдирүү макалада далилденген негизги теорема эмес, ыкма жөнүндө келечектеги баа.

Голоморфтук формалар үчүн да ошол түзүм иштейби?

Ооба. Theorem 2 компакттуу арифметикалык беттерде голоморфтук формалардын \(L^2\)-массалары үчүн аналогдук кванттык вариация жыйынтыгын берет.

Бул учурда \(\lambda_\pi>0\) жана \(\pi\) lowest weight \(k\)га ээ discrete-series көрсөтүлүш:

\[ \lambda_\pi= \left(k-\frac12\right)^2. \]

Тиешелүү \(K\)-invariant \(\Psi_1,\Psi_2\) үчүн:

\[ \lim_{h\to0} h \sum_{\substack{\pi\in A_0\\0

бар. Көрсөтүлүштөр ар башка болсо чек нөл; бир эле \(\sigma\)га таандык болсо:

\[ c_B L^{(S)} \left(\sigma,\frac12\right) \langle\Psi_1,\Psi_2\rangle \]

алынат.

Theta correspondence эмне үчүн борбордук ролду ойнойт?

Split модулдук бетте өздүк формалардын Fourier коэффициенттерине тиешелүү Hecke көбөймөлүүлүгү экинчи даражадагы туюнтмаларды башкарууга жеңилирээк сызыктуу статистикага айландыра алат. Компакттуу кватерниондук учурда ошол cusp Fourier механизми жок.

Eichler–Shimizu мамилесинде анын ордуна theta өзөгү \(\Theta\) жана Jacquet–Langlands lift \(\Phi_\phi\) колдонулуп, схемалык түрдө:

\[ \phi(x)\phi(y) = \int \Phi_\phi(z) \Theta(x,y;z)\,dz \]

мамилеси алынат.

\(x=y\) алынып \(\Psi\) менен интегралданганда матрица элементи:

\[ \langle\phi,\Psi\phi\rangle \]

theta liftтери аркылуу туюнтулат. Ошентип кванттык вариация маселеси theta функцияларынын ички көбөйтүндүлөрүн чечүү маселесине айланат.

“Thickening” операциясы эмне үчүн иштелип чыккан?

Макаланын техникалык жаңылыктарынын бири көбөймө топтогу тест функциясын кватернион алгебрасынын кошулма мейкиндигине өткөргөн “thickening” операторлору.

Реалдуу моделде:

\[ G=\operatorname{PGL}_2(\mathbb R), \qquad M=M_2(\mathbb R) \]

жана белгилүү \(W\) тест функциясы үчүн:

\[ \heartsuit_\tau f(x) = 1_{M^\times}(x) \frac{W(\tau\det x)} {|\tau\det x|} f(\operatorname{pr}(x)) \]

аныкталат.

Бул өзгөртүү жөн гана техникалык кайра жазуу эмес. Ал автор курган theta функциясынын өзөгүнө айланып, талап кылынган автоморфтук үй-бүлөнү theta механизминен кайра чыгарган “inversion problem” чечиминин бөлүгү болот.

Квадраттык из формуласы эмне кылат?

Theorem 3тө кванттык вариациянын жалпы версиясы:

\[ V(f) = M(f) + \sum_{\tau_1,\tau_2\in X} E_{\tau_1,\tau_2} \left( \heartsuit_{\tau_1}f, \heartsuit_{\tau_2}f \right) \]

түрүндө ажыратылат.

Бул жерде \(V(f)\) арифметикалык салмакталган кванттык вариация суммасын, \(M(f)\) күтүлгөн негизги мүчөнү, \(E_{\tau_1,\tau_2}\) болсо башкарылышы керек болгон ката мүчөлөрүн билдирет.

Ката үчүн негизги баалоо:

\[ \left| E_{\tau_1,\tau_2} (D_y\varphi_1,D_y\varphi_2) \right| \leq \frac{ \log(|y|+|y|^{-1}) }{ |y|+|y|^{-1} } C(\varphi_1)C(\varphi_2) \]

түрүндө.

Бул жыйынтык Theorem 1 жана Theorem 2деги глобалдык автоморфтук вариация маселесин башкарууга ыңгайлуу жергиликтүү анализ маселелерине түшүргөн негизги көпүрө.

Rallis ички көбөйтүндү формуласы кайда ишке кирет?

Theta манипуляцияларынан кийин чыккан туюнтмалар:

\[ \langle\theta_1h_1,\theta_2h_2\rangle \]

түрүндө. Изилдөөнүн негизги глобалдык мамилеси муну асимптотикалык түрдө:

\[ \langle\theta_1,\theta_2\rangle \langle h_1,h_2\rangle \]

менен байланыштырат.

Ternary theta liftтеринин ички көбөйтүндүсүнө Rallis формуласы колдонулганда борбордук автоморфтук \(L\)-маани табигый чыгат. Ошентип Theorem 1деги:

\[ L^{(S)} \left(\sigma,\frac12\right) \]

фактор акыркы баскычта өзүм билемдик менен кошулган арифметикалык түзөтүү эмес, theta liftтеринин ички көбөйтүндү түзүмүнөн чыккан мүчө.

Элементардык theta функцияларынын тең бөлүштүрүлүшү эмне берет?

Негизги мүчөнү ажыратуу жетиштүү эмес; көбөйтүндүнүн ички көбөйтүндүсү менен ички көбөйтүндүлөрдүн көбөйтүндүсүнүн айырмасы кичине экенин көрсөтүү керек. Изилдөө муну диагоналдык агым астында элементардык theta функцияларынын жылдырууларынын тең бөлүштүрүлүшү тууралуу жыйынтыктар менен башкарат.

Схемалык түрдө:

\[ \langle\theta_1\cdot D_yh_1, \theta_2\cdot D_yh_2\rangle = \langle\theta_1,\theta_2\rangle \langle h_1,h_2\rangle + O\!\left( \frac{\log(|y|+|y|^{-1})} {|y|+|y|^{-1}} \right). \]

Бул баалоо квадраттык из формуласындагы ката мүчөнү кичирейтет.

Глобалдык маселе кантип жергиликтүү маселеге айланат?

Макаланын эки бөлүктүү архитектурасы бул айырманы ачык чагылдырат. Биринчи бөлүк theta функциялары, аделик автоморфтук формалар, Rallis формуласы жана жалпы вариация суммалары аркылуу глобалдык амалдарды курат. Экинчи бөлүк болсо \(G=\operatorname{PGL}_2(\mathbb R)\) үстүндө архимеддик жергиликтүү анализ жүргүзөт.

Theorem 3 аркылуу глобалдык бөлүктүн калган бөлүгү микролокалдык лифттерди туура кармаган тест операторлорун өндүрүү жана алардын негизги/ката мүчөлөрүн жарым классикалык чекте изилдөө маселесине түшүрүлөт.

Coadjoint orbit ыкмасы эмне үчүн колдонулат?

\(\mathfrak g\) — \(G\)нин Lie алгебрасы, \(i\mathfrak g^*\) анын тиешелүү dual мейкиндиги болсун. Изилдөөдө:

\[ \xi(t) = i \begin{pmatrix} t&0\\ 0&-t \end{pmatrix} \]

түрүндөгү чекиттердин \(G\)-орбиттери колдонулат. Бул чекиттин стабилизатору так диагоналдык чакан топ:

\[ H \]

болгондуктан, Theorem 1дин негизги мүчөсүндөгү \(H\)-корреляция интегралы coadjoint orbit геометриясынан табигый чыгат.

Бул методологиялык жактан маанилүү: булакта \(H\)-интеграл жөн гана мурдагы формуланы окшоштуруп кошулбайт; жергиликтүү жарым классикалык таянычтын стабилизатор геометриясынан жаралат.

Интеграл операторлор микролокалдык лифттерди кантип кармайт?

Классикалык микролокалдык лифт аныктамасы raising жана lowering дифференциалдык операторлорун колдонот. Theorem 3 болсо топ үстүндө:

\[ \pi(f) = \int_G f(g)\pi(g)\,dg \]

түрүндөгү интеграл операторлор менен иштейт.

Nelson бул эки тилди бириктирүү үчүн жарым классикалык pseudodifferential/operator calculus колдонот. \(a\) символу үчүн:

\[ \operatorname{Op}_h(a) \]

түрүндөгү интеграл операторлор курулат. Символ тиешелүү coadjoint orbitтин белгилүү аймагында топтолсо, оператор микролокалдык лифттин жакын проектоору сыяктуу иштейт.

Бул механизм акырында:

\[ V(f) \]

менен максатталган микролокалдык кванттык вариация суммасынын бир эле негизги асимптотикага ээ экенин көрсөтүүгө мүмкүндүк берет.

Арифметикалык салмактар эмне үчүн бар?

Негизги теоремада ар бир \(\pi\) төмөнкү салмак менен келет:

\[ \iota_\pi = L^{(S)}(\operatorname{ad}\pi,1). \]

Булакка ылайык, бул салмактар ыкманын theta/Jacquet–Langlands нормалдаштырууларынан табигый чыгат. Автор алардын жеңил чоңдукта экенин жана орточосу 1 экенин белгилейт.

Макаланын жыйынтык бөлүмүндө салмаксыз вариацияга кантип өтүү мүмкүн экени түшүндүрүлөт. Бул үчүн чоңураак чектүү жөнөкөй топтомдор менен жарым-жартылай adjoint \(L\)-функциялар колдонулуп, чектерди алмаштыруу идеясы каралат. Жергиликтүү түзөтүү көбөйткүчү:

\[ c_\sigma = \frac{1}{\zeta_F^{(S)}(2)} \prod_{\mathfrak p\notin S} \left( 1- \frac{\lambda_\sigma(\mathfrak p)} {|\mathfrak p|^{3/2}+|\mathfrak p|^{1/2}} \right) \]

түрүндө.

Бирок булак бул салмаксыз өтүүнүн бардык техникалык деталдарын кайра далилдебегенин, мурдагы Luo–Sarnak–Zhao мамилеси бул шартта кантип колдонуларын түшүндүргөнүн өзгөчө белгилейт. Ошондуктан салмаксыз форма Theorem 1дин түз statementи менен аралаштырылбашы керек.

Арифметикалык жана арифметикалык эмес системалар эмне үчүн ар башка жүрүшү мүмкүн?

Акыркы бөлүмдөгү жарым классикалык интуиция боюнча generic non-arithmetic учурда эки көрсөтүлүштүн жакындыгы негизинен архимеддик/спектралдык параметрлер менен өлчөнүшү мүмкүн. Арифметикалык учурда болсо Hecke өздүк маанилери кошумча маалымат берет.

Ошондуктан автор эки көрсөтүлүш үчүн бир гана:

\[ \sqrt{-\lambda_{\pi_1}} \approx \sqrt{-\lambda_{\pi_2}} \]

болушун эмес, кичинекей жөнөкөй жерлерде:

\[ \lambda_{\pi_1}(\mathfrak p) \approx \lambda_{\pi_2}(\mathfrak p) \]

шарттарын да кароону сунуш кылат.

Бул интуитивдүү моделдин Euler көбөйтүндүлөрү менен формалдык эсеби далилденген арифметикалык вариация туруктуусу менен шайкеш. Автор муну негизги теореманын өз алдынча далили катары эмес, жыйынтыктын түзүмүн түшүндүргөн жана текшерген эвристика катары берет.

Изилдөө колдогон жыйынтыктар

• Компакттуу арифметикалык гиперболалык беттерде белгиленген Hecke–Maass микролокалдык лифт үй-бүлөсү үчүн арифметикалык салмакталган асимптотикалык кванттык вариация чеги бар.
• Эки байкалма ар башка автоморфтук көрсөтүлүштөргө таандык болсо чек нөл.
• Бир эле көрсөтүлүштө негизги мүчө борбордук \(L\)-маани менен диагоналдык агым корреляциясынын ачык көбөйтүндүсүн камтыйт.
• Ошол эле ыкма голоморфтук формалардын \(L^2\)-массалары үчүн аналогдук вариация теоремасын берет.
• Theta correspondence жана квадраттык из формуласы cusp Fourier жайылуусуз компакттуу кватерниондук учурда экинчи тартиптеги статистикага жетүүнү камсыздайт.
• Coadjoint orbit анализи негизги мүчөдөгү \(H\)-интегралдын геометриялык келип чыгышын түшүндүрөт.

Изилдөө далилдебеген жыйынтыктар

• Жыйынтык бардык терс ийри же эргодикалык Riemann көптүрдүүлүктөрү үчүн жалпы кванттык вариация теоремасы эмес.
• Изилдөө физикалык кванттык система үстүндө лабораториялык эксперимент жүргүзбөйт.
• Кватернион алгебралары бул жерде кванттык компьютерлердин эсептөө архитектурасы катары колдонулбайт.
• Макала ар бир жеке өздүк функциянын термелүүсүн так божомолдобойт; үй-бүлөлүк орточолордун асимптотикалык экинчи тартиптеги жүрүм-турумун изилдейт.
• Theorem 1дин негизги statementи арифметикалык салмакталган; салмаксыз вариациянын бардык техникалык деталдары макалада кайра далилденбейт.
• \(O(h^{1/2})\) жакындашуу ылдамдыгы негизги теорема катары далилденген эмес, жылмакай dyadic салмакталган вариант үчүн мүмкүн болгон оптималдаштыруу катары көрсөтүлгөн.
• Акыркы бөлүмдөгү random-matrix жана Euler-product баалоолору далилденген теореманы алмаштырган далилдер эмес, эвристикалык шайкештик текшерүүлөрү.

Түркия жагынан кандай чечмелениши керек?

Бул изилдөөнүн жыйынтыктары географиялык, демографиялык же улуттук үлгүгө байланыштуу эмес. Ошондуктан саламаттык, энергетика же социалдык илимдердегидей “Түркияга маалымат өткөрүү” маселеси жок. Түркиядагы сандар теориясы, спектралдык геометрия жана математикалык физика изилдөөлөрү жагынан иш универсалдуу математикалык теоремаларды жана ыкмаларды берет; бирок булак Түркиядагы белгилүү мекеме, маалымат топтому же колдонмо тууралуу жыйынтык бербейт.

Изилдөөнүн Ыкмасы жана Жыйынтыктары

Далилдин жалпы архитектурасы

Part 1: глобалдык автоморфтук анализ

Изилдөөнүн биринчи чоң бөлүгү жалпы сан талаасы \(F\) жана non-split кватернион алгебрасы \(B\) үстүндө аделик тилде курулат. Жергиликтүү Weil көрсөтүлүштөрү, глобалдык theta өзөктөрү, элементардык theta функциялары жана ternary theta liftтери системалуу аныкталат.

Кватернион алгебрасы:

\[ B=F\oplus B^0 \]

түрүндө скалярдык жана trace-zero бөлүктөргө ажыратылат. Weil көрсөтүлүшүнүн ушул ортогоналдык ажыроо менен факторланышы similitude theta функцияларынын:

\[ \theta_i h_i \]

түрүндөгү көбөйтүндүлөргө бөлүнүшүнүн негизин түзөт.

Биринчи глобалдык курал: theta көбөйтүндүлөрүнүн тең бөлүштүрүлүшү

Булак мурда иштелип чыккан элементардык theta функцияларынын спектралдык ажыроосун колдонуп:

\[ \langle\theta_1\cdot\rho(s)h_1, \theta_2\cdot\rho(s)h_2\rangle \]

менен:

\[ \langle\theta_1,\theta_2\rangle \langle h_1,h_2\rangle \]

ортосундагы айырманы Harish–Chandra \(\Xi\)-функциясы аркылуу башкарат. Бул глобалдык mixing/equidistribution баалоосу вариация формуласындагы диагоналдык эмес theta өз ара аракеттерин ката мүчөгө сүрөт.

Экинчи глобалдык курал: Rallis ички көбөйтүндү формуласы

Ternary theta liftтери үчүн Rallis формуласы бир эле автоморфтук көрсөтүлүшкө таандык эки лифттин Petersson ички көбөйтүндүсүн борбордук:

\[ L^{(S)} \left(\pi,\frac12\right) \]

маани жана жергиликтүү матрица коэффициентинин интегралдары менен туюнтат. Ар башка автоморфтук көрсөтүлүштөрдө theta liftтери ортогоналдуу.

Бул ортогоналдуулук Theorem 1деги:

\[ \sigma_1\neq\sigma_2 \quad\Longrightarrow\quad \text{limit}=0 \]

түзүмүнүн глобалдык негизин берет.

Theorem 4 эмне үчүн Theorem 3төн жалпыраак?

Theorem 4 квадраттык из формуласын сан талаалары үстүндө аделик формада курат. Жалпы вариация:

\[ V_f(\Psi_1,\Psi_2) = \sum_{\pi} L^{(S)}(\operatorname{ad}\pi,1) \omega_\pi(f,\Psi_1) \omega_\pi(f,\Psi_2) \]

менен аныкталат.

Теорема мунун:

\[ V_f=M_f+\sum_{\tau_1,\tau_2}\varepsilon_{\tau_1,\tau_2} \]

түрүндө негизги жана ката бөлүктөргө ажырарын жана ката формалары \(O_1(F)\), \(SO(B^0_S)\) жана метаплектик симметрияларга ээ экенин көрсөтөт.

Theorem 3 болсо ушул аделик жыйынтыктын негизги гиперболалык бет маселесине керектүү реалдуу/архимеддик адистешүүсү.

Part 2: жергиликтүү жарым классикалык анализ

Экинчи бөлүктө изилдөө \(G=\operatorname{PGL}_2(\mathbb R)\)нин Lie алгебрасына түшөт. Көрсөтүлүштөр principal series жана discrete series болуп классификацияланат; characterлердин coadjoint orbit интегралдары менен байланышы Kirillov формуласы аркылуу колдонулат.

Эки өлчөмдүү coadjoint orbitтер invariant полином:

\[ \Lambda \]

аркылуу:

\[ \mathcal O(\lambda) = \{ \xi\in i\mathfrak g^*-\{0\}: \Lambda(\xi)=\lambda \} \]

түрүндө аныкталат.

Maass абалы үчүн тиешелүү орбиттер:

\[ \mathcal O(-t^2) \]

болсо, голоморфтук discrete-series учурда тиешелүү орбиттер:

\[ \mathcal O(t^2) \]

болот.

Символ эсебинин ролу

Автор \(0\leq\delta<1/2\) үчүн жарым классикалык символ класстары \(S^m_\delta\) жана алардан чыккан:

\[ \operatorname{Op}_h(a) \]

операторлорду колдонот. Операторлордун composition, equivariance жана trace asymptotic касиеттери микролокалдык лифттерди интеграл операторлор менен башкарууга керек.

Tempered көрсөтүлүш үчүн негизги trace асимптотикасы:

\[ \operatorname{tr} \bigl( h\,\operatorname{Op}_h(a) \bigr) = \sum_{0\leq j

түрүндө.

Бул туюнтма кванттык оператордун изин тиешелүү классикалык coadjoint orbit үстүндөгү интеграл менен салыштырган жарым классикалык көпүрө.

Микролокалдык лифт үчүн болжолдуу проектор

Жогорку энергиялуу \(\pi\) үчүн символ \(\xi(t)\) айланасында топтолот. Интеграл оператор ошентип микролокалдык лифт алып жүргөн багыттык таянычты тандаган болжолдуу проекторго айланат.

Бул тандоонун натыйжасында ылайыктуу \(f\) үчүн макала:

\[ V(f) = h \sum_\pi \iota_\pi k(h^2\lambda_\pi)^2 \mu_\pi(\Psi_1) \mu_\pi(\Psi_2) + O(h^\delta) \]

түрүндөгү мамилени алат.

Негизги мүчөнүн coadjoint геометриясы

Ички көбөйтүндү топтон Lie алгебрасына тартылат, Parseval колдонулат жана интеграл coadjoint orbitтер боюнча бөлүнөт. Limiting microlocal supportтун стабилизатору \(H\) болгондуктан негизги мүчө:

\[ \int_H \langle s\Psi_1^w, \Psi_2^w \rangle ds \]

формасын алат.

Бул этап изилдөөнүн жергиликтүү аналитикалык бөлүгүнүн негизги геометриялык жыйынтыгы.

Ката мүчө эмне үчүн жоголот?

Курулган тест функциясы \(f\) топтун бирдик элементинин болжол менен:

\[ 1+O(h) \]

масштабында топтолот. Thickeningден кийин алынган функциялар trace-zero компонентинде болжол менен \(h\) кеңдикте топтолгон Schwartz функцияларына айланат.

Макала муну нормалдаштырылган dilation оператору менен:

\[ \heartsuit_\tau f = D_{1/h}\Phi_h^\tau \]

түрүндө туюнтат.

Theorem 3түн ката баалоосу андан кийин:

\[ E_{\tau_1,\tau_2} ( \heartsuit_{\tau_1}f, \heartsuit_{\tau_2}f ) \ll h\log(h^{-1}) C(\Phi_h^{\tau_1}) C(\Phi_h^{\tau_2}) \]

түрүндөгү башкарууну берет жана символ классынын баалары менен:

\[ E_{\tau_1,\tau_2} ( \heartsuit_{\tau_1}f, \heartsuit_{\tau_2}f ) \ll h^{1-\delta'} \]

жыйынтыгына жетет.

Төрт негизги теореманын функциялары

Булактын мурдагы адабият боюнча түзөтүү эскертүүсү

Nelson Theorem 1дин негизги мүчөсүн Luo–Sarnak–Zhao жыйынтыгы менен салыштырганда өзүнүн негизги мүчөсү тиешелүү аналогдун жарымы экенин белгилейт жана муну мурдагы иштеги чакан эсеп каталары менен байланыштырат. Голоморфтук аналог үчүн да мурдагы Luo–Sarnak формуласындагы белгилүү суммада \(1/2\) факторунун жетишпегенин көрсөтөт.

Бул эскертүү изилдөөнүн өз негизги теоремасындагы белгисиздик эмес; автор нормалдаштырууларды салыштырып жатып мурдагы формулаларга ачык математикалык түзөтүү киргизген билдирүү.

Ыкманын күчтүү жактары

• Cusp Fourier жайылуусуна таянбаган жана ошондуктан компакттуу арифметикалык quotients үстүндө иштей алган жаңы механизм курат.
• Глобалдык автоморфтук куралдар менен жергиликтүү жарым классикалык анализди ачык бөлөт.
• Theta correspondence, Rallis формуласы жана coadjoint orbit геометриясын бир вариация маселесинде бириктирет.
• Theorem 4 бир эле спектралдык үй-бүлө үчүн эмес, жалпы автоморфтук вариация суммалары үчүн кайра колдонулуучу түзүм берет.
• Негизги мүчөдөгү диагоналдык \(H\)-интегралдын геометриялык булагын стабилизатор эсеби менен түшүндүрөт.
• Голоморфтук жана Maass спектралдык режимдерин бир жалпы ыкма астында карайт.

Методологиялык жана камтуу чектөөлөрү

Изилдөө баяндоону жөнөкөйлөтүү үчүн максималдык тартиптерге байланышкан арифметикалык беттер менен иштейт жана сан талаасы үчүн odd narrow class number божомолун колдонот. Негизги жыйынтыктар жаңы болгон негизги учур \(F=\mathbb Q\) деп белгиленгени менен, автор жалпыраак толук реалдуу сан талааларынын алкагын сактайт.

Theorem 1 even байкалмалар үчүн гана nontrivial; odd көрсөтүлүш компоненттеринде тиешелүү микролокалдык матрица элементтери нөл болот.

Арифметикалык салмак:

\[ L^{(S)}(\operatorname{ad}\pi,1) \]

негизги theorem statementинин бөлүгү. Салмаксыз форманы алуу үчүн кошумча \(L\)-функция куралдары керек жана макала бул аргументтин бардык деталдарын кайталабайт.

Жакындашуу үчүн оң power saving алынганы менен даража оптималдаштырылган эмес.

Акыркы бөлүмдөгү айрым Euler-product чектери жана random-matrix салыштыруулары ачык эвристикалык деңгээлде; далилденген Theorem 1–4 менен бир эпистемикалык статуска ээ эмес.

Изилдөөнүн математикалык мааниси

Изилдөө компакттуу арифметикалык беттерде экинчи тартиптеги кванттык хаос статистикасына жетүү cusp Fourier жайылуусуна милдеттүү түрдө байланышпаганын көрсөтөт. Кватернион алгебраларынын theta correspondenceи Fourier көбөймөлүүлүгүн алмаштыра алган глобалдык механизм берет, coadjoint orbit ыкмасы болсо жогорку энергия чегиндеги жергиликтүү геометриялык түзүмдү чечет.

Алынган формула классикалык агым корреляциясын борбордук автоморфтук \(L\)-маани менен бириктиргендиктен, арифметикалык кванттык хаостун “классикалык динамика + арифметикалык спектр” түрүндөгү кош түзүмүн так асимптотикалык жыйынтыкта көрүнүктүү кылат.

Булак жана Ыкма Жөнүндө Эскертүү

Жүктөлгөн булактагы толук оригиналдуу аталыш: QUANTUM VARIANCE ON QUATERNION ALGEBRAS, III

Автор: Paul D. Nelson.

Тең биринчи/тең салым: Колдонулбайт; иш бир авторлуу.

Жооптуу автор: Булакта өзүнчө “corresponding author” деп белгиленген эмес.

Жүктөлгөн версиядагы мекеме: Aarhus University, Institut for Matematik, Denmark.

Илимий тармак: Сандар теориясы, автоморфтук формалар, математикалык кванттык хаос, спектралдык теория жана гармоникалык анализ.

Булак түрү жана версиясы: Каралган файл arXiv:1903.08686v3 [math.NT] версиясы. Биринчи arXiv жөнөтүүсү 20 Март 2019, v2 24 Июнь 2025 жана жүктөлгөн v3 21 Октябрь 2025. PDFтин өзүндөгү дата сапы 22 Октябрь 2025. arXiv v3 final version деп белгиленген.

Рецензия статусу: Жүктөлгөн файл arXiv версиясы; бирок иш кийин Annals of Mathematics журналында рецензияланган түрдө жарыяланган.

Рецензияланган басылма: Annals of Mathematics, Volume 203, Issue 3, 2026, s. 781–867.

Рецензияланган басылма DOI: 10.4007/annals.2026.203.3.3.

arXiv DOI: 10.48550/arXiv.1903.08686.

Жарыялоо процесси: Алынган 16 Октябрь 2019; ревизия 15 Май 2025; кабыл алынган 20 Июнь 2025; онлайн жарыя 1 Май 2026.

Оригиналдуу басма мекемеси: Annals of Mathematics Princeton University Department of Mathematics тарабынан Institute for Advanced Study менен кызматташтыкта жарыяланат.

Лицензия эскертүүсү: Жүктөлгөн PDF текстинде өзүнчө ачык лицензия билдирүүсү көрүнбөйт. Annals of Mathematics басма саясаты журналда жарыяланган версия үчүн CC BY лицензиясы колдонулбай турганын көрсөтөт.

Mathematical Subject Classification: PDFте 2010 MSC катары Primary 11F70; Secondary 11F27, 58J51 берилген. Annalsтын жарыяланган жазуусу ошол эле коддорду 2020 классификациясы астында көрсөтөт.

Эксперимент/маалымат топтому: Жок. Изилдөө теориялык математика иши.

Статистикалык гипотеза тести: Жок. “Variance” бул жерде эксперименттик статистикадагы үлгү вариациясы эмес, спектралдык/микролокалдык экинчи тартиптеги асимптотикалык сумманы билдирет.

Негизги ыкмалар: Eichler–Shimizu theta correspondence; Jacquet–Langlands correspondence; Weil representation; similitude жана ternary theta lifts; Rallis inner product formula; элементардык theta функцияларынын тең бөлүштүрүлүшү; аделик гармоникалык анализ; квадраттык из формуласы; Harish–Chandra \(\Xi\)-баалоолору; жарым классикалык pseudodifferential/operator calculus; Kirillov character формуласы; coadjoint orbit ыкмасы.

Негизги жыйынтык: Компакттуу арифметикалык гиперболалык беттерде Hecke–Maass cusp формаларынын микролокалдык лифттери үчүн арифметикалык салмакталган асимптотикалык кванттык вариация ачык борбордук \(L\)-маани жана диагоналдык агым корреляциясы формуласы менен аныкталат.

Экинчи негизги жыйынтык: Ошол эле ыкма голоморфтук формалардын \(L^2\)-массалары үчүн компакттуу арифметикалык беттерде аналогдук кванттык вариация теоремасын берет.

Каржылоо: Жүктөлгөн v3 текстинде өзүнчө каржылоо же grant билдирүүсү аныкталган эмес.

Ыраазычылык: Paul D. Nelson Peter Sarnakка колдоосу жана Raphael Steinerге мурдагы долбоор боюнча көптөгөн пайдалуу комментарий жана түзөтүүлөрү үчүн ыраазычылык билдирет.

Маалымат жеткиликтүүлүгү: Эксперименттик же байкоо маалымат топтому жок болгондуктан классикалык мааниде маалымат жеткиликтүүлүгү бөлүмү жок.

Этикалык комитет / маалымдалган макулдук: Колдонулбайт; адам, жаныбар же клиникалык маалымат колдонулган эмес.

Кызыкчылыктардын кагылышы: Жүктөлгөн arXiv v3 текстинде өзүнчө кызыкчылыктардын кагылышы билдирүүсү жок.

Версияга берилгендик эскертүүсү

Бул Verianla макаласынын илимий түшүндүрмөсү жүктөлгөн 71 барактуу arXiv v3 текстине негизделет. Annals of Mathematics жазуусу библиографиялык идентификацияны, рецензия статусун, жарыя күнүн, барак аралыгын жана DOIни гана текшерүү үчүн колдонулган. Журнал версиясында башка барак жайгашуусу же редакциялык терүү болушу мүмкүн болгондуктан жүктөлгөн PDF менен рецензияланган версия бир документтей үнсүз бириктирилген эмес.

arXiv жазуусу рецензент сунуштарынан кийин v2ге сериянын II макаласынын мурдагы Part 1 бөлүмү кошулганын жана v3тө шилтемелер жаңыртылганын көрсөтөт. Ошондуктан 2019дагы биринчи arXiv версиясы менен жүктөлгөн 2025 v3 бир версия эмес.

Илимий чечмелөөнүн чеги

Макаладагы “квант” түшүнүгү кванттык эсептөө технологиясы менен синоним эмес. Изилдөө Laplace өздүк функцияларынын жогорку энергия чектери, геодезиялык агым, автоморфтук көрсөтүлүштөр жана арифметикалык кванттык хаос тууралуу.

Theorem 1 белгилүү компакттуу арифметикалык quotients жана Hecke–Maass үй-бүлөлөрү үчүн далилденген. Жыйынтыкты бардык хаостук кванттык системаларга же бардык терс ийри көптүрдүүлүктөргө автоматтык кеңейтүү булак тарабынан колдоого алынбайт.

Ошондой эле Theorem 1дин так statementинде adjoint \(L\)-функция салмактары бар. Макаланын жыйынтык бөлүмүндө салмаксыз вариация үчүн керектүү түзөтүү көбөйткүчү түшүндүрүлгөнү менен, бул өтүүнүн бардык аналитикалык деталдары кайра далилденген эмес. Ошол сыяктуу мүмкүн болгон \(O(h^{1/2})\) ката ылдамдыгы далилденген жалпы жыйынтык эмес, жылмакай dyadic салмакталган вариант үчүн мүмкүн оптималдаштыруу катары берилген.