Таҳқиқоти Paul D. Nelson вариансияи асимптотикии квантии лифтҳои микролокалии шаклҳои Hecke–Maass cusp-ро дар рӯйҳои гиперболии арифметикии компакт, ки аз тартибҳои максималии алгебраҳои кватернионӣ ба даст меоянд, муайян мекунад. Натиҷаи асосии таҳқиқот нишон медиҳад, ки барои оилаҳои функсияҳои хоси энергияи баланд, лаппишҳои тартиби дуюм, ки ба таври мувофиқ миқёсбандӣ ва бо вазнҳои арифметикии \(L\)-функсия вазнгузорӣ шудаанд, дорои лимит мебошанд; агар ду мушоҳидашаванда ба тасвирҳои автоморфии гуногун тааллуқ дошта бошанд, лимит сифр аст, аммо агар ба як тасвир тааллуқ дошта бошанд, лимит бо ифодаи ошкоре дода мешавад, ки як \(L\)-арзиши марказиро бо коррелятсияи классикии ҷараёни диагоналӣ якҷо мекунад. Усули таҳқиқот theta correspondence, формулаи inner product-и Rallis, баробарпаҳншавии функсияҳои элементарии theta, таҳлили гармоникии ҷамъӣ ва зарбӣ дар алгебраҳои кватернионӣ ва шакли аналитикии усули coadjoint orbit-ро дар як исбот муттаҳид мекунад.

Натиҷа назарияи вариансияи квантиро, ки Luo–Sarnak–Zhao барои рӯйи модулӣ бо cusp таҳия карда буданд, ба рӯйҳои арифметикии компакт ва non-split интиқол медиҳад, ки дар онҳо ин механизми мустақими Fourier expansion вуҷуд надорад. Бо вуҷуди ин, таҳқиқот вариансияи квантиро барои як manifold-и умумии Riemann ҳал намекунад, барои ҳамаи оилаҳои функсияҳои хос як формуларо исбот намекунад ва худи quantum unique ergodicity-ро аз нав исбот намекунад. Теоремаи асосӣ дар доираи рӯйҳои муайяни арифметикии компакт, ки аз тартибҳои максималӣ ба вуҷуд меоянд, сохтори 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 таъкид мекунад, ин аст, ки ба чунин маълумоти тартиби дуюм тавассути формулаҳои классикии trace мустақиман дастрасӣ нест.

Кадом холигиро таҳқиқот мехоҳад пур кунад?

Усули пешинаи Luo, Sarnak ва Zhao дар quotient-ҳои арифметикии non-compact, монанди рӯйи модулӣ, аз Fourier expansion-ҳои параболӣ дар атрофи cusp ва сохтори зарбии eigenvalue-ҳои Hecke ба таври қавӣ истифода мебурд. Дар рӯйҳои гиперболии арифметикии компакт бошад cusp вуҷуд надорад. Аз ин рӯ, \(q\)-expansion-ҳои классикиро ба ҳамон шакл истифода бурдан мумкин нест.

Стратегияи асосии Nelson иваз кардани механизме, ки cusp таъмин мекард, бо сохтори дигар аст: Eichler–Shimizu theta correspondence. Барои quotient-и арифметикие, ки аз алгебраи кватернионии \(B\) меояд, ин correspondence ҳосили ду нусхаи як функсияи хосро бо theta integral дар фазои дигари автоморфӣ мепайвандад. Ҳамин тавр, дар ҳолати компакт, ки Fourier expansion-и мустақим вуҷуд надорад, статистикаи тартиби дуюм боз барои таҳлили гармоникӣ кушода мешавад.

Муҳити геометрии таҳқиқот чӣ гуна сохта мешавад?

Бигзор \(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\) фазоест, ки сохтори динамикӣ ва representation-theoretic-и марбут дар он ҷой мегирад. Дар ҳолати асосии мақола, азбаски \(B\) non-split аст, \(X\) компакт мебошад.

Операторҳои Hecke \(T_{\mathfrak p}\) дар ҷойҳои ниҳоии сода бо амали right translation-и \(G\) якҷо кор мекунанд. Ҳамин тавр \(L^2_0(X)\) ҳам нисбат ба \(G\) ва ҳам нисбат ба операторҳои Hecke ба eigenspace-ҳо ҷудо мешавад.

Hecke–Maass eigenform ва микролокал lift чист?

Барои representation-и автоморфии \(\pi\), агар infinitesimal character \(\lambda_\pi<0\) бошад, дар \(\pi\) як вектори \(K^1\)-invariant вуҷуд дорад ва ин вектор дар \(Y\) ба Hecke–Maass eigenform-и \(\phi_\pi\) мувофиқ меояд. Eigenvalue-и Laplace:

\[ \frac14-\lambda_\pi \]

аст.

Дар ҳоле ки eigenfunction танҳо маълумоти мавқеъро дар \(Y\) мебарад, микролокал lift \(\mu_\pi\) функционалест, ки маълумоти самтро дар phase space низ ба сохтори representation-theoretic дохил мекунад:

\[ \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. \]

Микролокал lift-ҳои истифодашуда дар таҳқиқот инчунин дар лимити энергияи баланд нисбат ба амали subgroup-и диагоналии \(H\) хосияти асимптотикии invariance доранд.

Фарқи quantum unique ergodicity ва quantum variance чист?

Натиҷаи арифметикии quantum unique ergodicity, ки дар манбаъ ёдовар мешавад, мегӯяд, ки барои \(\Psi\)-и собит бо миёнаи сифр дар лимити энергияи баланд:

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

. Вариансияи квантӣ бошад мепурсад, ки ҳангоми ба сифр наздик шудани ин арзишҳо онҳо бо кадом андоза ва бо чӣ гуна сохтори коррелятсионӣ лаппиш мекунанд.

Ба ибораи дигар, “функсияҳои хос дар ниҳоят баробар паҳн мешаванд” саволи тартиби якум аст; теоремаи асосии Nelson лаппиши тартиби дуюми арифметикӣ сохташударо дар атрофи баробарпаҳншавӣ меомӯзад.

Чаро танҳо мушоҳидашавандаҳои “even” истифода мешаванд?

Мақола representation-ҳоеро, ки шартҳои муайяни local root number ва паритети Hecke-ро қонеъ мекунанд, even меномад. Дар ҷойҳои ниҳоии ramified eigenvalue-ҳои мувофиқи \(T_{\mathfrak p}\) бояд \(+1\) бошанд ва local root number дар ҷойи воқеии фарқкунанда низ \(+1\) бошад.

Ин интихоби техникӣ барои зебоӣ нест. Тавре ки дар таҳқиқот нишон дода шудааст, агар \(\sigma\) even набошад:

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

мешавад. Аз ин рӯ масъалаи асосии вариансияи квантӣ табиатан ба мушоҳидашавандаҳои even кам карда мешавад.

Теоремаи асосӣ дақиқ чӣ мегӯяд?

Ду eigenfunction-и собит, бо миёнаи сифр ва even — \(\Psi_1,\Psi_2\) — интихоб шаванд. Representation-ҳои автоморфие, ки онҳо тавлид мекунанд, \(\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\)-функсияҳои автоморфӣ низ сохта мешаванд ва инро ба формулаи ошкори асимптотикӣ табдил медиҳад.

\(h\) дар Theorem 1 чиро ифода мекунад?

\(h\rightarrow0\) параметри лимити нимаклассикии (semiclassical) таҳқиқот аст. Шарти:

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

дар ҷамъ параметрҳои спектралии функсияҳои хосро ҳангоми хурд шудани \(h\) дар миқёсҳои ҳарчи баландтари энергия интихоб мекунад. Аз ин рӯ формула дар бораи як eigenfunction нест, балки дар бораи рафтори миёнаи тартиби дуюми як оилаи eigenfunction-ҳои энергияи баланд аст.

Суръати ҳамгароӣ маълум аст?

Мақола мегӯяд, ки исботи Theorem 1 суръати ҳамгароии навъи:

\[ O(h^\delta) \]

медиҳад ва дар ин ҷо як \(\delta>0\)-и собит вуҷуд дорад. Аммо муаллиф \(\delta\)-ро ба таври ошкор ҳисоб ё оптимизатсия намекунад.

Гуфта мешавад, ки ҳангоми истифодаи smooth dyadic weight ба ҷойи буриши тези спектралӣ, усулҳо эҳтимол то:

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

оптимизатсия шаванд. Ин изҳороти дуюм дар мақола теоремаи асосии исботшуда нест, балки арзёбии ояндабинонаи усул мебошад.

Оё барои шаклҳои holomorphic ҳам ҳамин сохтор кор мекунад?

Бале. Theorem 2 барои массаҳои \(L^2\)-и шаклҳои holomorphic дар рӯйҳои арифметикии компакт натиҷаи аналогии variansияи квантиро медиҳад.

Дар ин ҳолат \(\lambda_\pi>0\) ва \(\pi\) representation-и discrete-series бо lowest weight \(k\) мебошад:

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

Барои \(K\)-invariant \(\Psi_1,\Psi_2\)-и мувофиқ:

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

вуҷуд дорад. Агар representation-ҳо гуногун бошанд, лимит сифр аст; агар ба як \(\sigma\) тааллуқ дошта бошанд:

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

ба даст меояд.

Чаро theta correspondence нақши марказӣ дорад?

Дар рӯйи модулӣ ва split, зарбпазирии Hecke-и Fourier coefficient-ҳои eigenform метавонад ифодаҳои дараҷаи дуюмро ба статистикаи хаттии идорашаванда табдил диҳад. Дар ҳолати компактии кватернионӣ чунин механизми cusp Fourier вуҷуд надорад.

Дар равиши Eichler–Shimizu ба ҷойи он theta kernel \(\Theta\) ва Jacquet–Langlands lift \(\Phi_\phi\) истифода шуда, ба таври схемавӣ:

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

муносибат гирифта мешавад.

Ҳангоми гузоштани \(x=y\) ва интегралгирӣ бо \(\Psi\), matrix element:

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

тавассути theta lift-ҳо ифода мешавад. Ҳамин тавр масъалаи variansияи квантӣ ба масъалаи ҳал кардани inner product-ҳои theta function табдил меёбад.

Чаро амали “Thickening” таҳия мешавад?

Яке аз навовариҳои техникии мақола операторҳои “thickening” мебошанд, ки test function-ро аз гурӯҳи зарбӣ ба фазои ҷамъии алгебраи кватернионӣ интиқол медиҳанд.

Дар модели воқеӣ:

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

ва барои test function-и муайяни \(W\):

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

муайян мешавад.

Ин табдил танҳо як бознависии техникӣ нест. Он ба ядрои theta function-и сохтаи муаллиф табдил ёфта, қисми ҳалли “inversion problem” мегардад, ки оилаи автоморфии лозимаро аз механизми theta боз тавлид мекунад.

Формулаи квадратии trace чӣ кор мекунад?

Дар Theorem 3 версияи умумии variansияи квантӣ чунин ҷудо мешавад:

\[ 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)\) ҷамъбасти variansияи квантии бо вазни арифметикӣ, \(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) \]

мебошад.

Ин натиҷа пули асосиест, ки масъалаи глобалии automorphic variance дар Theorem 1 ва Theorem 2-ро ба масъалаҳои идорашавандаи таҳлили маҳаллӣ кам мекунад.

Формулаи Rallis inner product дар куҷо ворид мешавад?

Ифодаҳое, ки баъди манипулятсияҳои theta пайдо мешаванд:

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

мебошанд. Равиши асосии глобалии таҳқиқот онро асимптотикӣ бо:

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

мепайвандад.

Ҳангоми татбиқи формулаи Rallis ба inner product-и ternary theta lift-ҳо, \(L\)-арзиши марказии автоморфӣ ба таври табиӣ пайдо мешавад. Пас фактори:

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

дар Theorem 1 ислоҳи арифметикии худсарона дар марҳилаи охир нест, балки ҳадест, ки аз сохтори inner product-и theta lift-ҳо ба вуҷуд меояд.

Баробарпаҳншавии функсияҳои элементарии theta чӣ медиҳад?

Ҷудо кардани ҳади асосӣ танҳо кофӣ нест; бояд нишон дода шавад, ки фарқи inner product-и ҳосил ва ҳосили inner product-ҳо хурд аст. Таҳқиқот инро бо натиҷаҳо оид ба баробарпаҳншавии тарҷумаҳои функсияҳои элементарии 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). \]

Ин баҳо ҳади хаторо дар формулаи квадратии trace кам мекунад.

Масъалаи глобалӣ чӣ гуна ба масъалаи маҳаллӣ табдил меёбад?

Архитектураи дуқисмии мақола ин фарқро равшан инъикос мекунад. Қисми аввал тавассути theta functions, adelic automorphic forms, формулаи Rallis ва ҷамъҳои умумии varians амалҳои глобалӣ-ро месозад. Қисми дуюм бошад дар \(G=\operatorname{PGL}_2(\mathbb R)\) таҳлили маҳаллии архимедӣ анҷом медиҳад.

Бо Theorem 3 қисми боқимондаи масъалаи глобалӣ ба сохтани test operator-ҳое, ки microlocal lift-ҳоро дуруст дарк мекунанд, ва таҳлили ҳадҳои асосӣ/хатои онҳо дар лимити нимаклассикӣ кам карда мешавад.

Чаро усули coadjoint orbit истифода мешавад?

Бигзор \(\mathfrak g\) Lie algebra-и \(G\) ва \(i\mathfrak g^*\) фазои dual-и мувофиқи он бошад. Дар таҳқиқот нуқтаҳои навъи:

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

ва orbit-ҳои \(G\)-и онҳо истифода мешаванд. Азбаски stabilizer-и ин нуқта маҳз subgroup-и диагоналии:

\[ H \]

аст, интеграли коррелятсияи \(H\) дар ҳади асосии Theorem 1 аз геометрияи coadjoint orbit ба таври табиӣ пайдо мешавад.

Ин аз ҷиҳати методологӣ муҳим аст: дар манбаъ интеграли \(H\) танҳо аз рӯйи монандӣ ба формулаи пешина илова намешавад; он аз геометрияи stabilizer-и local semiclassical support тавлид мешавад.

Integral operator-ҳо microlocal lift-ҳоро чӣ гуна мегиранд?

Таърифи классикии microlocal lift raising ва lowering differential operator-ҳоро истифода мебарад. Theorem 3 бошад бо integral operator-ҳои гурӯҳӣ кор мекунад:

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

.

Nelson барои пайвастани ин ду забон semiclassical pseudodifferential/operator calculus-ро истифода мебарад. Барои symbol-и \(a\):

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

навъи integral operator-ҳо сохта мешаванд. Вақте ки symbol дар минтақаи муайяни coadjoint orbit мутамарказ мешавад, operator ҳамчун projected approximate барои microlocal lift амал мекунад.

Ин механизм дар ниҳоят имкон медиҳад нишон дода шавад, ки:

\[ V(f) \]

ва ҷамъбасти ҳадафшудаи microlocal quantum variance як асимптотикаи асосӣ доранд.

Чаро вазнҳои арифметикӣ ҳастанд?

Дар теоремаи асосӣ ҳар \(\pi\) бо вазни зерин меояд:

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

Тибқи манбаъ, ин вазнҳо табиатан аз нормализатсияҳои theta/Jacquet–Langlands-и усул пайдо мешаванд. Муаллиф мегӯяд, ки онҳо андозаи сабук доранд ва миёнаашон 1 аст.

Дар бахши натиҷаҳо шарҳ дода мешавад, ки чӣ гуна ба variance-и бевазн гузаштан мумкин аст. Барои ин partial adjoint \(L\)-functions бо маҷмӯи калонтари ҷойҳои ниҳоии сода истифода мешаванд ва идеяи иваз кардани лимитҳо баррасӣ мегардад. Омили ислоҳи маҳаллӣ:

\[ 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 дар ин муҳит чӣ гуна татбиқ мешавад. Аз ин рӯ шакли бевазн набояд бо statement-и мустақими Theorem 1 омехта шавад.

Чаро системаҳои арифметикӣ ва ғайриарифметикӣ метавонанд гуногун рафтор кунанд?

Аз рӯйи intuition-и нимаклассикии қисми охир, дар ҳолати generic non-arithmetic наздикии ду representation асосан бо параметрҳои архимедӣ/спектралӣ чен карда мешавад. Дар ҳолати арифметикӣ eigenvalue-ҳои Hecke маълумоти иловагӣ медиҳанд.

Аз ин рӯ муаллиф пешниҳод мекунад, ки на танҳо:

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

балки дар ҷойҳои хурди сода шартҳои:

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

низ баррасӣ шаванд.

Ҳисоби формалии ин модели intuitive бо Euler product-ҳо бо константаи исботшудаи variansияи арифметикӣ мувофиқ аст. Муаллиф инро на ҳамчун исботи мустақили теоремаи асосӣ, балки ҳамчун heuristic барои шарҳ ва санҷидани сохтори натиҷа пешниҳод мекунад.

Натиҷаҳое, ки таҳқиқот дастгирӣ мекунад

• Барои оилаи муайяншудаи Hecke–Maass microlocal lift дар рӯйҳои гиперболии арифметикии компакт лимити асимптотикии variansияи квантии бо вазни арифметикӣ вуҷуд дорад.
• Агар ду мушоҳидашаванда ба representation-ҳои автоморфии гуногун тааллуқ дошта бошанд, лимит сифр аст.
• Дар як representation ҳади асосӣ ҳосили ошкори \(L\)-арзиши марказӣ ва коррелятсияи ҷараёни диагоналиро дар бар мегирад.
• Ҳамин усул барои массаҳои \(L^2\)-и шаклҳои holomorphic теоремаи аналогии varians медиҳад.
• Theta correspondence ва формулаи квадратии trace дастрасӣ ба статистикаи тартиби дуюмро дар ҳолати кватернионии компакт бе cusp Fourier expansion таъмин мекунанд.
• Таҳлили coadjoint orbit пайдоиши геометрии интеграли \(H\)-ро дар ҳади асосӣ шарҳ медиҳад.

Натиҷаҳое, ки таҳқиқот исбот намекунад

• Натиҷа теоремаи умумии variansияи квантӣ барои ҳамаи manifold-ҳои Riemann бо curvature-и манфӣ ё ergodic нест.
• Таҳқиқот дар системаи физикии квантӣ таҷрибаи лабораторӣ анҷом намедиҳад.
• Алгебраҳои кватернионӣ дар ин ҷо ҳамчун архитектураи ҳисобии компютерҳои квантӣ истифода намешаванд.
• Мақола лаппиши ҳар як eigenfunction-и алоҳидаро дақиқ пешгӯӣ намекунад; рафтори асимптотикии тартиби дуюми миёнаҳои оилаҳоро меомӯзад.
• Statement-и асосии Theorem 1 бо вазнҳои арифметикӣ аст; ҳамаи ҷузъиёти техникии variance-и бевазн дар мақола аз нав исбот нашудаанд.
• Суръати ҳамгароии \(O(h^{1/2})\) ҳамчун теоремаи асосӣ исбот нашуда, барои варианти smooth dyadic weighted ҳамчун оптимизатсияи эҳтимолӣ гуфта шудааст.
• Арзёбиҳои random-matrix ва Euler-product дар қисми охир исботҳои ивазкунандаи теоремаи исботшуда нестанд, балки санҷишҳои heuristic consistency мебошанд.

Аз нуқтаи назари Туркия чӣ гуна тафсир бояд кард?

Натиҷаҳои ин таҳқиқот ба намунаи ҷуғрофӣ, демографӣ ё миллӣ вобаста нестанд. Аз ин рӯ, мисли таҳқиқоти тандурустӣ, энергетика ё илмҳои иҷтимоӣ масъалаи “интиқоли маълумот ба Туркия” вуҷуд надорад. Барои таҳқиқоти назарияи ададҳо, геометрияи спектралӣ ва физикаи математикӣ дар Туркия ин кор теоремаҳо ва усулҳои универсалии математикӣ пешниҳод мекунад; аммо манбаъ дар бораи муассиса, dataset ё application-и мушаххаси Туркия натиҷа намедиҳад.

Усул ва Натиҷаҳои Таҳқиқот

Архитектураи умумии исбот

Part 1: таҳлили глобалии автоморфӣ

Қисми аввали асосии таҳқиқот дар забони adelic бар майдони умумии ададии \(F\) ва алгебраи non-split кватернионии \(B\) сохта шудааст. Local Weil representation-ҳо, global theta kernel-ҳо, elementary theta functions ва ternary theta lift-ҳо систематикӣ муайян мешаванд.

Алгебраи кватернионӣ:

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

ба қисмҳои scalar ва trace-zero ҷудо мешавад. Factorization-и Weil representation бо ин orthogonal decomposition асоси ҷудо шудани similitude theta function-ҳоро ба ҳосилҳои:

\[ \theta_i h_i \]

фароҳам меорад.

Абзори якуми глобалӣ: баробарпаҳншавии ҳосили theta

Манбаъ decomposition-и спектралии пештар таҳияшудаи elementary theta functions-ро истифода карда, фарқи байни:

\[ \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\) назорат мекунад. Ин global mixing/equidistribution estimate таъсирҳои non-diagonal theta-ро дар формулаи variance ба error term мебарад.

Абзори дуюми глобалӣ: формулаи Rallis inner product

Барои ternary theta lift, формулаи Rallis Petersson inner product-и ду lift-и ба як representation-и автоморфӣ тааллуқдоштаро бо central:

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

value ва local matrix coefficient integrals ифода мекунад. Барои representation-ҳои автоморфии гуногун theta lift-ҳо ортогоналанд.

Ин ортогоналӣ асоси глобалии сохтори:

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

дар Theorem 1 мебошад.

Чаро Theorem 4 аз Theorem 3 умумитар аст?

Theorem 4 формулаи квадратии trace-ро дар шакли adelic бар number fields месозад. Variance-и умумӣ:

\[ 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} \]

яъне main ва error parts ҷудо мешавад ва error forms симметрияҳои \(O_1(F)\), \(SO(B^0_S)\) ва metaplectic доранд.

Theorem 3 бошад махсускунонии real/archimedean-и ин натиҷаи adelic барои масъалаи асосии hyperbolic surface аст.

Part 2: таҳлили маҳаллии нимаклассикӣ

Дар қисми дуюм таҳқиқот ба Lie algebra-и \(G=\operatorname{PGL}_2(\mathbb R)\) мегузарад. Representation-ҳо ҳамчун principal series ва discrete series тасниф мешаванд; робитаи character-ҳо бо coadjoint orbit integrals тавассути формулаи Kirillov истифода мешавад.

Coadjoint orbit-ҳои дученака бо invariant polynomial-и:

\[ \Lambda \]

ҳамчун:

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

муайян мешаванд.

Барои ҳолати Maass orbit-ҳои марбут:

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

ва барои ҳолати holomorphic discrete-series:

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

мебошанд.

Нақши symbol calculus

Муаллиф барои \(0\leq\delta<1/2\) semiclassical symbol classes-и \(S^m_\delta\) ва operator-ҳои:

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

аз онҳо ҳосилшударо истифода мебарад. Composition, equivariance ва trace asymptotic properties-и operator-ҳо барои назорати microlocal lift тавассути integral operator лозиманд.

Барои representation-и tempered trace asymptotic-и асосӣ:

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

аст.

Ин ифода пули нимаклассикиест, ки trace-и operator-и квантиро бо integral дар coadjoint orbit-и классикии мувофиқ муқоиса мекунад.

Проектори тахминӣ барои microlocal lift

Барои \(\pi\)-и энергияи баланд symbol дар атрофи \(\xi(t)\) мутамарказ мешавад. Integral operator ҳамин тавр ба проектори тахминӣ табдил меёбад, ки directional support-и microlocal lift-ро интихоб мекунад.

Дар натиҷаи ин интихоб, барои \(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-и ҳади асосӣ

Inner product аз group ба Lie algebra кашида мешавад, Parseval татбиқ мегардад ва integral дар coadjoint orbit-ҳо ҷудо мешавад. Азбаски stabilizer-и limiting microlocal support \(H\) аст, ҳади асосӣ ба:

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

табдил меёбад.

Ин марҳила натиҷаи асосии геометрии қисми local analytic-и таҳқиқот аст.

Чаро error term нобуд мешавад?

Test function-и сохташудаи \(f\) дар миқёси тақрибан:

\[ 1+O(h) \]

атрофи identity-и group мутамарказ мешавад. Функсияҳои баъди thickening дар trace-zero component ба Schwartz function-ҳое табдил меёбанд, ки дар паҳноии тақрибан \(h\) мутамарказанд.

Мақола онро бо normalized dilation operator чунин менависад:

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

.

Error estimate-и 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}) \]

-ро медиҳад ва бо symbol class estimate-ҳо:

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

ба даст меояд.

Вазифаҳои чор теоремаи асосӣ

Ёддошти ислоҳии манбаъ дар бораи адабиёти пешина

Nelson ҳангоми муқоисаи ҳади асосии Theorem 1 бо натиҷаи Luo–Sarnak–Zhao мегӯяд, ки ҳади асосии ӯ нисфи аналоги мувофиқ аст ва инро ба хатоҳои хурди ҳисоб дар кори пешина нисбат медиҳад. Барои аналоги holomorphic низ нишон медиҳад, ки дар як ҷамъбасти муайяни формулаи пешинаи Luo–Sarnak омили \(1/2\) намерасад.

Ин ёддошт номуайянии теоремаи асосии худи таҳқиқот нест; ин изҳороти ошкори ислоҳи математикӣ дар бораи формулаҳои пешина ҳангоми муқоисаи normalization-ҳо мебошад.

Ҷанбаҳои қавии усул

• Механизми наверо месозад, ки ба cusp Fourier expansion вобаста нест ва аз ин рӯ дар compact arithmetic quotients кор мекунад.
• Абзорҳои global automorphic-ро аз local semiclassical analysis равшан ҷудо мекунад.
• Theta correspondence, формулаи Rallis ва геометрияи coadjoint orbit-ро дар як масъалаи variance муттаҳид мекунад.
• Theorem 4 сохтореро медиҳад, ки на танҳо барои як spectral family, балки барои ҷамъҳои умумитари automorphic variance дубора истифода мешавад.
• Манбаи геометрии diagonal \(H\)-integral дар main term-ро бо ҳисоби stabilizer шарҳ медиҳад.
• Режимҳои spectral-и holomorphic ва Maass-ро зери як усули умумӣ баррасӣ мекунад.

Маҳдудиятҳои методологӣ ва доира

Барои содда кардани баён таҳқиқот бо arithmetic surfaces-и вобаста ба maximal orders кор мекунад ва барои number field фарзияи odd narrow class number-ро истифода мебарад. Гарчанде ки ҳолати асосии нав будани натиҷаҳо \(F=\mathbb Q\) гуфта мешавад, муаллиф чаҳорчӯбаи умумитари totally real number fields-ро нигоҳ медорад.

Theorem 1 танҳо барои even observables nontrivial аст; дар odd representation components matrix element-ҳои microlocal-и мувофиқ сифр мешаванд.

Вазни арифметикӣ:

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

қисми statement-и theorem-и асосӣ мебошад. Барои ба даст овардани шакли бевазн абзорҳои иловагии \(L\)-function лозиманд ва мақола ҳамаи ҷузъиёти ин argument-ро такрор намекунад.

Гарчанде барои ҳамгароӣ power saving-и мусбат ба даст меояд, exponent оптимизатсия нашудааст.

Баъзе Euler-product limits ва random-matrix comparisons дар қисми охир ошкоро дар сатҳи heuristic мебошанд; онҳо бо Theorem 1–4-и исботшуда як epistemic status надоранд.

Аҳамияти математикии таҳқиқот

Таҳқиқот нишон медиҳад, ки дастрасӣ ба статистикаи хаоси квантии тартиби дуюм дар рӯйҳои арифметикии компакт ҳатман ба cusp Fourier expansion вобаста нест. Theta correspondence-и алгебраҳои кватернионӣ механизми глобалие медиҳад, ки метавонад ҷойи Fourier multiplicativity-ро гирад, дар ҳоле ки усули coadjoint orbit сохтори геометрии маҳаллиро дар лимити энергияи баланд ҳал мекунад.

Азбаски формулаи ҳосилшуда коррелятсияи классикии ҷараёнро бо central automorphic \(L\)-value якҷо мекунад, он сохтори дугонаи “динамикаи классикӣ + спектри арифметикӣ”-и хаоси квантии арифметикиро дар як натиҷаи дақиқи асимптотикӣ намоён мекунад.

Ёддошт оид ба Манбаъ ва Усул

Сарлавҳаи пурраи аслӣ дар манбаи боршуда: 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-и боршуда изҳороти алоҳидаи open license дида намешавад. Сиёсати нашрии Annals of Mathematics мегӯяд, ки барои версияи дар маҷалла нашршуда литсензияи CC BY амал намекунад.

Mathematical Subject Classification: Дар PDF ҳамчун 2010 MSC: Primary 11F70; Secondary 11F27, 58J51 дода шудааст. Сабти нашршудаи Annals ҳамон кодҳоро зери классификатсияи 2020 рӯйхат мекунад.

Таҷриба/dataset: Нест. Таҳқиқот кори назариявии математика аст.

Санҷиши гипотезаи оморӣ: Нест. Калимаи “Variance” дар ин ҷо variance-и sample дар statistics-и таҷрибавӣ нест, балки ҷамъбасти асимптотикии тартиби дуюми spectral/microlocal-ро ифода мекунад.

Усулҳои асосӣ: Eichler–Shimizu theta correspondence; Jacquet–Langlands correspondence; Weil representation; similitude ва ternary theta lifts; Rallis inner product formula; баробарпаҳншавии функсияҳои elementar theta; таҳлили гармоникии adelic; quadratic trace formula; Harish–Chandra \(\Xi\)-estimates; semiclassical pseudodifferential/operator calculus; Kirillov character formula; coadjoint orbit method.

Натиҷаи асосӣ: Барои microlocal lift-ҳои Hecke–Maass cusp forms дар рӯйҳои гиперболии арифметикии компакт variansияи асимптотикии квантии бо вазни арифметикӣ бо формулаи ошкори central \(L\)-value ва correlation-и diagonal flow муайян мешавад.

Натиҷаи дуюми асосӣ: Ҳамин усул барои массаҳои \(L^2\)-и шаклҳои holomorphic дар рӯйҳои арифметикии компакт теоремаи аналогии variansияи квантӣ медиҳад.

Маблағгузорӣ: Дар матни v3-и боршуда изҳороти алоҳидаи funding ё grant муайян нашудааст.

Сипосгузорӣ: Paul D. Nelson ба Peter Sarnak барои ташвиқ ва ба Raphael Steiner барои шарҳу ислоҳҳои бисёр муфиди ӯ оид ба draft-и пешина сипос мегӯяд.

Дастрасии маълумот: Азбаски dataset-и таҷрибавӣ ё мушоҳидавӣ вуҷуд надорад, бахши classical data availability мавҷуд нест.

Кумитаи ахлоқ / ризоияти огоҳона: Татбиқ намешавад; маълумоти инсон, ҳайвон ё клиникӣ истифода нашудааст.

Бархӯрди манфиатҳо: Дар матни arXiv v3-и боршуда изҳороти алоҳидаи conflict of interest вуҷуд надорад.

Ёддошти садоқат ба версия

Тавзеҳи илмии ин мақолаи Verianla ба матни 71-саҳифагии arXiv v3-и боршуда асос ёфтааст. Сабти Annals of Mathematics танҳо барои тасдиқи bibliographic identity, peer-review status, publication date, page range ва DOI истифода шудааст. Азбаски версияи маҷалла метавонад pagination ё typesetting-и таҳририи дигар дошта бошад, PDF-и боршуда ва версияи рецензияшуда бесадо ҳамчун як ҳуҷҷат якҷо нашудаанд.

Сабти arXiv мегӯяд, ки пас аз тавсияҳои рецензент ба v2 бахши собиқи Part 1-и мақолаи II-и силсила илова шуд ва дар v3 references нав шуданд. Аз ин рӯ версияи аввалини arXiv-и 2019 ва v3-и боршудаи 2025 як версия нестанд.

Ҳудуди тафсири илмӣ

Мафҳуми “квант” дар мақола синоними технологияи quantum computing нест. Таҳқиқот дар бораи high-energy limits-и Laplace eigenfunctions, geodesic flow, automorphic representations ва arithmetic quantum chaos аст.

Theorem 1 барои compact arithmetic quotients ва оилаҳои муайяни Hecke–Maass исбот шудааст. Васеъ кардани автоматии натиҷа ба ҳамаи chaotic quantum systems ё ҳамаи negatively curved manifolds аз ҷониби манбаъ дастгирӣ намешавад.

Ҳамчунин statement-и дақиқи Theorem 1 вазнҳои adjoint \(L\)-function-ро дорад. Гарчанде дар қисми натиҷаҳо correction factor барои variance-и бевазн шарҳ дода мешавад, ҳамаи ҷузъиёти аналитикии ин гузариш аз нав исбот нашудаанд. Ба ҳамин монанд, эҳтимоли error rate-и \(O(h^{1/2})\) натиҷаи умумии исботшуда нест, балки ҳамчун оптимизатсияи эҳтимолӣ барои варианти smooth dyadic weighted баён шудааст.