Utafiti wa Paul D. Nelson unabainisha variansi ya kiasi ya kiasimptoti ya lifti za mikrolokali za fomu za Hecke–Maass cusp kwenye nyuso za kihiperboliki za kiaritmetiki zilizo kompakt zinazotokana na mpangilio wa juu kabisa katika aljebra za quaternion. Matokeo makuu ya utafiti yanaonyesha kwamba kwa familia za eigenfunction za nishati ya juu, mabadiliko ya daraja la pili yaliyopimwa kwa kiwango kinachofaa na kuwekewa uzito wa aritmetiki wa \(L\)-function yana kikomo; ikiwa vitu viwili vinavyotazamwa vinatoka katika representation tofauti za automorphic, kikomo ni sifuri, ilhali ikiwa vinatoka katika representation ileile, kikomo hutolewa na usemi wa wazi unaounganisha \(L\)-value ya kati na correlation ya classical diagonal flow. Mbinu ya utafiti inaunganisha theta correspondence, Rallis inner-product formula, usambazaji sawia wa elementary theta functions, harmonic analysis ya kuongeza na kuzidisha katika aljebra za quaternion, na namna ya kiuchanganuzi ya coadjoint orbit method katika uthibitisho mmoja.

Matokeo yanapanua nadharia ya quantum variance iliyotengenezwa na Luo–Sarnak–Zhao kwa modular surface yenye cusp hadi nyuso za kiaritmetiki zilizo kompakt na non-split ambako utaratibu huu wa moja kwa moja wa Fourier expansion haupo. Hata hivyo, utafiti hautatui quantum variance kwa Riemann manifold ya jumla, hauthibitishi fomula hiyo hiyo kwa familia zote za eigenfunction, na haurudii kuthibitisha quantum unique ergodicity yenyewe. Theorem kuu imewekwa chini ya masharti ya nyuso maalumu za kiaritmetiki zilizo kompakt zinazotokana na maximal orders, muundo wa Hecke, masharti ya parity na uzito maalumu wa kiaritmetiki.

“Quantum variance” hapa inamaanisha nini?

Quantum variance katika utafiti huu si variansi ya qubit zinazotumiwa katika kompyuta za kiasi. Dhana hii iko katika muktadha wa mathematical quantum chaos na inaeleza mabadiliko ya daraja la pili katika namna eigenfunction za Laplace za nishati ya juu zinavyosambaa kwenye nafasi ya kijiometri.

Tatizo la msingi ni kuelewa tabia katika kikomo cha nishati ya juu ya jumla za aina hii kwa familia ya eigenfunction \(\mathcal{F}\) na observables zisizobadilika \(\Psi_1,\Psi_2\):

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

Wakati statistics za daraja la kwanza zinauliza jinsi massa ya eigenfunction inavyosambaa kwa wastani, quantum variance hupima correlations za daraja la pili zinazozunguka wastani huo. Ugumu anaosisitiza Nelson ni kwamba taarifa hizi za daraja la pili hazipatikani moja kwa moja kupitia classical trace formulas.

Ni pengo gani utafiti unajaribu kulitatua?

Mbinu ya awali ya Luo, Sarnak na Zhao ilitegemea kwa kiasi kikubwa parabolic Fourier expansions karibu na cusp na muundo wa kuzidisha wa Hecke eigenvalues katika arithmetic quotients zisizo kompakt kama modular surface. Katika nyuso za kihiperboliki za kiaritmetiki zilizo kompakt hakuna cusp. Kwa hiyo haiwezekani kutumia classical \(q\)-expansions kwa namna ileile.

Strategia kuu ya Nelson ni kubadilisha utaratibu uliotolewa na cusp kwa muundo mwingine: Eichler–Shimizu theta correspondence. Kwa arithmetic quotient inayotokana na algebra ya quaternion \(B\), correspondence hii inaunganisha product ya nakala mbili za eigenfunction na theta integral katika nafasi nyingine ya automorphic. Hivyo, hata katika hali kompakt isiyo na Fourier expansion ya moja kwa moja, statistics za daraja la pili zinaweza kufunguliwa tena kwa harmonic analysis.

Mazingira ya kijiometri ya utafiti yanajengwaje?

Hebu \(F\) iwe totally real number field na \(B\) iwe quaternion algebra juu ya \(F\) inayogawanyika kuwa \(M_2(\mathbb{R})\) katika sehemu moja tu ya kweli. Maximal order \(R\subset B\) inapochaguliwa, arithmetic lattice inayopatikana kutoka units zake:

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

hutumiwa kufafanua nafasi:

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

. \(Y\) ni arithmetic hyperbolic surface, na \(X\) ni nafasi inayobeba muundo husika wa dynamical na representation-theoretic. Katika hali kuu ya makala, kwa sababu \(B\) ni non-split, \(X\) ni kompakt.

Hecke operators \(T_{\mathfrak p}\) katika finite prime places hufanya kazi pamoja na right translation action ya \(G\). Hivyo \(L^2_0(X)\) hugawanyika katika eigenspaces kwa kuzingatia \(G\) na Hecke operators.

Hecke–Maass eigenforms na microlocal lift ni nini?

Kwa automorphic representation \(\pi\), ikiwa infinitesimal character \(\lambda_\pi<0\), ndani ya \(\pi\) kuna vector ya \(K^1\)-invariant, na vector hii juu ya \(Y\) inalingana na Hecke–Maass eigenform \(\phi_\pi\). Laplace eigenvalue ni:

\[ \frac14-\lambda_\pi \]

.

Wakati eigenfunction hubeba tu taarifa ya nafasi juu ya \(Y\), microlocal lift \(\mu_\pi\) ni functional inayojumuisha pia taarifa ya mwelekeo katika phase space ndani ya muundo wa representation theory:

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

Ikiwa \(\Psi\) ni function inayotoka kwenye surface \(Y\) na ni \(K^1\)-invariant, basi:

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

Microlocal lifts zinazotumiwa katika utafiti pia zina sifa ya asymptotic invariance chini ya action ya diagonal subgroup \(H\) katika kikomo cha nishati ya juu.

Kuna tofauti gani kati ya quantum unique ergodicity na quantum variance?

Matokeo ya arithmetic quantum unique ergodicity yanayokumbushwa katika chanzo yanasema kwamba kwa \(\Psi\) isiyobadilika yenye wastani sifuri, katika kikomo cha nishati ya juu:

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

. Quantum variance huuliza maadili haya yanapokaribia sifuri yanatetemeka kwa ukubwa gani na kwa muundo gani wa correlation.

Kwa maneno mengine, kauli “eigenfunctions hatimaye zinasambaa sawia” ni swali la daraja la kwanza; theorem kuu ya Nelson inashughulikia mabadiliko ya daraja la pili yaliyoundwa kiaritmetiki kuzunguka usambazaji sawia huo.

Kwa nini observables za “even” pekee hutumiwa?

Makala inaita representations zinazotimiza masharti fulani ya local root number na Hecke parity kuwa even. Katika finite ramified primes, eigenvalues husika za \(T_{\mathfrak p}\) lazima ziwe \(+1\), na local root number katika real place iliyochaguliwa lazima pia iwe \(+1\).

Hili si chaguo la kiufundi kwa ajili ya urembo. Kama utafiti unavyoonyesha, ikiwa \(\sigma\) si even:

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

. Kwa hiyo tatizo kuu la quantum variance kwa kawaida hupunguzwa hadi observables za even.

Theorem kuu inasema nini hasa?

Chagua eigenfunctions mbili zisizobadilika, zenye wastani sifuri na even, \(\Psi_1,\Psi_2\). Automorphic representations zinazozalishwa nazo ziwe \(\sigma_1,\sigma_2\). Pia tumia arithmetic weight:

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

. Theorem 1 inathibitisha kuwa kikomo:

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

kipo.

Ikiwa:

\[ \sigma_1\neq\sigma_2, \]

basi kikomo ni:

\[ 0 \]

.

Ikiwa:

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

basi kikomo ni sawa na:

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

.

Hapa:

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

na:

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

inaonyesha symmetrization kwa mujibu wa Weyl element.

Kwa nini fomula hii ni muhimu?

Jambo la kuvutia ni kwamba main term ya quantum fluctuation ina miundo miwili tofauti. Wa kwanza ni:

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

ambayo ni arithmetic central \(L\)-value. Wa pili ni:

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

ambayo ni classical dynamical correlation. Main variance constant hujitokeza kama product ya hizi mbili.

Kwa hiyo matokeo ya utafiti yanabadilisha wazo kwamba mabadiliko ya daraja la pili katika compact arithmetic quantum chaos yameundwa si kwa classical geodesic dynamics tu, bali pia kwa Hecke arithmetic na automorphic \(L\)-functions, kuwa fomula wazi ya kiasimptoti.

\(h\) katika Theorem 1 inawakilisha nini?

\(h\rightarrow0\) ni semiclassical limit parameter ya utafiti. Sharti katika jumla:

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

huchagua spectral parameters za eigenfunction katika scales za nishati zinazoongezeka kadiri \(h\) inavyopungua. Kwa hiyo fomula haizungumzii eigenfunction moja, bali tabia ya wastani ya daraja la pili ya familia ya eigenfunction za nishati ya juu.

Je, kasi ya convergence inajulikana?

Makala inaeleza kwamba uthibitisho wa Theorem 1 unatoa kasi ya convergence ya aina:

\[ O(h^\delta) \]

ambapo kuna constant \(\delta>0\). Hata hivyo, mwandishi hahesabu wala kuboresha \(\delta\) kwa uwazi.

Inasemwa kwamba kwa kutumia smooth dyadic weight badala ya sharp spectral cutoff, mbinu huenda zikaboreshwa hadi kiwango cha:

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

. Kauli hii ya pili si theorem kuu iliyothibitishwa katika makala, bali tathmini ya mbele kuhusu mbinu.

Je, muundo huo huo unafanya kazi kwa holomorphic forms?

Ndiyo. Theorem 2 inatoa matokeo analogi ya quantum variance kwa \(L^2\)-masses za holomorphic forms kwenye compact arithmetic surfaces.

Katika hali hii \(\lambda_\pi>0\) na \(\pi\) ni discrete-series representation yenye lowest weight \(k\):

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

Kwa \(K\)-invariant \(\Psi_1,\Psi_2\) zinazofaa:

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

ipo. Ikiwa representations ni tofauti, kikomo ni sifuri; ikiwa zote zinatoka katika \(\sigma\) ileile:

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

hupatikana.

Kwa nini theta correspondence ina nafasi kuu?

Katika split modular surface, Hecke multiplicativity ya Fourier coefficients za eigenforms inaweza kubadilisha expressions za quadratic kuwa linear statistics zinazodhibitika zaidi. Katika hali ya compact quaternionic, hakuna cusp Fourier mechanism hiyo.

Katika mbinu ya Eichler–Shimizu, theta kernel \(\Theta\) na Jacquet–Langlands lift \(\Phi_\phi\) hutumiwa badala yake ili kupata, kwa muundo wa schematic:

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

.

Wakati \(x=y\) na integration inafanywa dhidi ya \(\Psi\), matrix element:

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

inaweza kuandikwa kupitia theta lifts. Hivyo tatizo la quantum variance hubadilika kuwa tatizo la kutatua inner products za theta functions.

Kwa nini operesheni ya “Thickening” inaendelezwa?

Moja ya ubunifu wa kiufundi wa makala ni operators za “thickening” zinazohamisha test function kutoka multiplicative group hadi additive space ya quaternion algebra.

Katika real model:

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

na kwa test function fulani \(W\):

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

hufafanuliwa.

Transformation hii si uandishi mpya wa kiufundi tu. Inakuwa kernel ya theta function iliyojengwa na mwandishi na hivyo kuwa sehemu ya suluhisho la “inversion problem” linalotumika kuzalisha tena automorphic family inayotakiwa kutoka theta mechanism.

Quadratic trace formula inafanya nini?

Katika Theorem 3, toleo la jumla la quantum variance hugawanywa kama:

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

.

Hapa \(V(f)\) inawakilisha jumla ya quantum variance yenye arithmetic weight, \(M(f)\) main term inayotarajiwa, na \(E_{\tau_1,\tau_2}\) error terms zinazohitaji kudhibitiwa.

Makadirio ya msingi kwa kosa ni:

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

.

Matokeo haya ndiyo daraja kuu linalopunguza tatizo la global automorphic variance katika Theorem 1 na Theorem 2 hadi matatizo ya local analysis yanayoweza kudhibitiwa zaidi.

Rallis inner-product formula inaingia wapi?

Baada ya theta manipulations, expressions zinazotokea ni:

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

. Mbinu kuu ya global ya utafiti inaunganisha hii kiasimptoti na:

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

.

Rallis formula inapowekwa kwenye inner product ya ternary theta lifts, central automorphic \(L\)-value hujitokeza kwa kawaida. Hivyo factor:

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

katika Theorem 1 si arithmetic correction iliyoongezwa kiholela mwishoni, bali ni term inayotokana na inner-product structure ya theta lifts.

Equidistribution ya elementary theta functions inatoa nini?

Kutenganisha main term pekee haitoshi; ni lazima ionyeshwe kuwa tofauti kati ya inner product ya product na product ya inner products ni ndogo. Utafiti unadhibiti hili kwa matokeo juu ya equidistribution ya translates za elementary theta functions chini ya diagonal flow.

Kwa schematic:

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

Estimate hii hupunguza error term katika quadratic trace formula.

Tatizo la global linabadilikaje kuwa tatizo la local?

Architecture ya sehemu mbili ya makala inaonyesha tofauti hii wazi. Sehemu ya kwanza hujenga global operations kupitia theta functions, adelic automorphic forms, Rallis formula na general variance sums. Sehemu ya pili hufanya Archimedean local analysis juu ya \(G=\operatorname{PGL}_2(\mathbb R)\).

Kupitia Theorem 3, sehemu iliyobaki ya tatizo la global hupunguzwa hadi tatizo la kuzalisha test operators zinazokamata microlocal lifts vizuri na kuchunguza main/error terms zake katika semiclassical limit.

Kwa nini coadjoint orbit method hutumiwa?

Hebu \(\mathfrak g\) iwe Lie algebra ya \(G\) na \(i\mathfrak g^*\) iwe dual space inayohusiana nayo. Utafiti hutumia pointi za aina:

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

na \(G\)-orbits zake. Kwa sababu stabilizer ya pointi hii ni diagonal subgroup hasa:

\[ H \]

, \(H\)-correlation integral katika main term ya Theorem 1 hutoka kwa kawaida katika coadjoint orbit geometry.

Hili ni muhimu kimetodolojia: katika chanzo, \(H\)-integral haiongezwi kwa kufanana tu na fomula ya awali; inazalishwa kutoka stabilizer geometry ya local semiclassical support.

Integral operators zinakamataje microlocal lifts?

Ufafanuzi wa classical microlocal lift hutumia raising na lowering differential operators. Kinyume chake, Theorem 3 inafanya kazi na integral operators juu ya group:

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

.

Nelson hutumia semiclassical pseudodifferential/operator calculus kuunganisha lugha hizi mbili. Kwa symbol \(a\), operators za aina:

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

hujengwa. Symbol inapowekwa katika eneo maalumu la coadjoint orbit, operator hutenda kama approximate projector ya microlocal lift.

Utaratibu huu hatimaye hufanya iwezekane kuonyesha kwamba:

\[ V(f) \]

na jumla lengwa ya microlocal quantum variance zina main asymptotic ileile.

Kwa nini kuna arithmetic weights?

Katika theorem kuu kila \(\pi\) huja na uzito:

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

Kulingana na chanzo, uzito huu hutoka kwa kawaida katika theta/Jacquet–Langlands normalizations za mbinu. Mwandishi anaeleza kuwa ni wa ukubwa mdogo na wastani wake ni 1.

Sehemu ya matokeo inaeleza jinsi ya kuhamia kwenye unweighted variance. Kwa hili, partial adjoint \(L\)-functions na finite prime sets kubwa zaidi hutumiwa na wazo la kubadilishana limits linajadiliwa. Local correction factor ni:

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

.

Hata hivyo, chanzo kinasisitiza kwamba hakijathibitisha tena maelezo yote ya kiufundi ya transition hii ya unweighted, bali kinaeleza jinsi mbinu ya awali ya Luo–Sarnak–Zhao inaweza kutumika katika mazingira haya. Kwa hiyo unweighted form haipaswi kuchanganywa na direct statement ya Theorem 1.

Kwa nini mifumo ya arithmetic na non-arithmetic inaweza kutenda tofauti?

Kulingana na semiclassical intuition katika sehemu ya mwisho, katika generic non-arithmetic case ukaribu wa representations mbili unaweza kupimwa hasa na Archimedean/spectral parameters. Katika arithmetic case, Hecke eigenvalues hubeba taarifa za ziada.

Kwa hiyo mwandishi anapendekeza kufikiria si tu:

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

lakini pia, katika small primes, masharti:

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

.

Hesabu rasmi ya model hii ya intuition kwa Euler products inalingana na arithmetic variance constant iliyothibitishwa. Mwandishi anaiwasilisha si kama uthibitisho huru wa theorem kuu, bali kama heuristic inayofafanua na kukagua muundo wa matokeo.

Matokeo yanayoungwa mkono na utafiti

• Kuna arithmetic-weighted asymptotic quantum variance limit kwa familia iliyobainishwa ya Hecke–Maass microlocal lifts kwenye compact arithmetic hyperbolic surfaces.
• Ikiwa observables mbili zinatoka katika automorphic representations tofauti, kikomo ni sifuri.
• Katika representation ileile, main term ina product wazi ya central \(L\)-value na diagonal flow correlation.
• Mbinu hiyo hiyo inatoa theorem analogi ya variance kwa \(L^2\)-masses za holomorphic forms.
• Theta correspondence na quadratic trace formula huruhusu kufikia statistics za daraja la pili katika hali ya compact quaternionic bila cusp Fourier expansion.
• Coadjoint orbit analysis inaeleza chanzo cha kijiometri cha \(H\)-integral katika main term.

Matokeo ambayo utafiti haujathibitisha

• Matokeo si theorem ya jumla ya quantum variance kwa Riemann manifolds zote zenye curvature hasi au ergodic.
• Utafiti haufanyi majaribio ya maabara juu ya mfumo halisi wa quantum.
• Quaternion algebras hazitumiwi hapa kama computing architecture ya quantum computers.
• Makala haitabiri kwa usahihi mabadiliko ya kila eigenfunction binafsi; inachunguza asymptotic second-order behavior ya family averages.
• Direct statement ya Theorem 1 ni arithmetic-weighted; maelezo yote ya kiufundi ya unweighted variance hayajathibitishwa tena katika makala.
• Kasi ya convergence ya \(O(h^{1/2})\) haijathibitishwa kama theorem kuu, bali imetajwa kama optimization inayowezekana kwa smooth dyadic weighted variant.
• Random-matrix na Euler-product evaluations katika sehemu ya mwisho si proofs zinazobadilisha theorem iliyothibitishwa, bali ni heuristic consistency checks.

Inapaswa kufasiriwaje kwa mtazamo wa Uturuki?

Matokeo ya utafiti huu hayategemei sampuli ya kijiografia, kidemografia au kitaifa. Kwa hiyo hakuna tatizo la “kuhamisha data kwenda Uturuki” kama katika tafiti za afya, nishati au sayansi za kijamii. Kwa utafiti wa number theory, spectral geometry na mathematical physics nchini Uturuki, kazi hii inatoa mathematical theorems na methods za ulimwengu wote; hata hivyo, chanzo hakitoi matokeo kuhusu taasisi maalumu, dataset au application nchini Uturuki.

Mbinu na Matokeo ya Utafiti

Architecture ya jumla ya uthibitisho

Part 1: global automorphic analysis

Sehemu kuu ya kwanza ya utafiti imejengwa katika lugha ya adelic juu ya general number field \(F\) na non-split quaternion algebra \(B\). Local Weil representations, global theta kernels, elementary theta functions na ternary theta lifts hufafanuliwa kwa utaratibu.

Quaternion algebra:

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

hugawanywa katika scalar na trace-zero parts. Factorization ya Weil representation pamoja na orthogonal decomposition hii ndiyo msingi wa kutenganisha similitude theta functions kuwa products za aina:

\[ \theta_i h_i \]

.

Global tool ya kwanza: equidistribution ya theta products

Chanzo hutumia spectral decomposition iliyotengenezwa awali ya elementary theta functions kudhibiti tofauti kati ya:

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

na:

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

kupitia Harish–Chandra \(\Xi\)-function. Global mixing/equidistribution estimate hii husukuma non-diagonal theta interactions katika variance formula kwenda kwenye error term.

Global tool ya pili: Rallis inner-product formula

Kwa ternary theta lifts, Rallis formula huandika Petersson inner product ya lifts mbili katika automorphic representation ileile kwa central:

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

value na local matrix coefficient integrals. Ikiwa automorphic representations ni tofauti, theta lifts ni orthogonal.

Orthogonality hii hutoa msingi wa global wa muundo:

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

katika Theorem 1.

Kwa nini Theorem 4 ni ya jumla zaidi kuliko Theorem 3?

Theorem 4 hujenga quadratic trace formula katika adelic form juu ya number fields. General variance hufafanuliwa kwa:

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

.

Theorem inaonyesha kwamba hii hugawanyika kuwa main na error parts:

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

na kwamba error forms zina symmetries za \(O_1(F)\), \(SO(B^0_S)\) na metaplectic.

Theorem 3 ni real/Archimedean specialization ya adelic result hii inayohitajika katika tatizo kuu la hyperbolic surface.

Part 2: local semiclassical analysis

Katika sehemu ya pili utafiti hushuka hadi Lie algebra ya \(G=\operatorname{PGL}_2(\mathbb R)\). Representations huainishwa kama principal series na discrete series; uhusiano wa characters na coadjoint orbit integrals hutumiwa kupitia Kirillov formula.

Two-dimensional coadjoint orbits hufafanuliwa kupitia invariant polynomial:

\[ \Lambda \]

kama:

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

.

Kwa Maass case, orbits husika ni:

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

wakati kwa holomorphic discrete-series case ni:

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

.

Jukumu la symbol calculus

Mwandishi hutumia, kwa \(0\leq\delta<1/2\), semiclassical symbol classes \(S^m_\delta\) na operators zinazotokana nazo:

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

. Composition, equivariance na trace asymptotic properties za operators zinahitajika ili kudhibiti microlocal lifts kwa integral operators.

Kwa tempered representation, basic trace asymptotic ni:

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

.

Usemi huu ni semiclassical bridge inayolinganishwa trace ya quantum operator na integral juu ya corresponding classical coadjoint orbit.

Approximate projector kwa microlocal lift

Kwa high-energy \(\pi\), symbol huzingatia eneo karibu na \(\xi(t)\). Integral operator hivyo hubadilika kuwa approximate projector inayochagua directional support inayobebwa na microlocal lift.

Kutokana na uchaguzi huu, kwa \(f\) inayofaa makala hupata uhusiano wa aina:

\[ 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 geometry ya main term

Inner product huvutwa kutoka group hadi Lie algebra, Parseval hutumika, na integral hugawanywa kwa coadjoint orbits. Kwa sababu stabilizer ya limiting microlocal support ni \(H\), main term huchukua umbo:

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

.

Hatua hii ni matokeo makuu ya kijiometri ya local analytic section ya utafiti.

Kwa nini error term inapotea?

Test function \(f\) iliyojengwa hujikusanya karibu na group identity kwa scale ya takriban:

\[ 1+O(h) \]

. Baada ya thickening, functions zinazopatikana huwa Schwartz functions zilizokusanywa kwa upana wa takriban \(h\) katika trace-zero component.

Makala huandika hili kwa normalized dilation operator:

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

.

Error estimate ya Theorem 3 kisha hutoa udhibiti:

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

na pamoja na symbol class estimates hufikia:

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

.

Majukumu ya theorem nne kuu

Correction note ya chanzo kuhusu literature ya awali

Nelson anapolinganisha main term ya Theorem 1 na matokeo ya Luo–Sarnak–Zhao, anaeleza kwamba main term yake ni nusu ya analog husika na anaunganisha hili na makosa madogo ya hesabu katika kazi ya awali. Kwa holomorphic analog pia anaonyesha kukosekana kwa factor \(1/2\) katika jumla fulani ya fomula ya Luo–Sarnak ya awali.

Dokezo hili si kutokuwa na uhakika kwa theorem kuu ya utafiti wenyewe; ni taarifa wazi ya mathematical correction kuhusu fomula za awali wakati wa kulinganisha normalizations.

Nguvu za mbinu

• Inajenga utaratibu mpya usiotegemea cusp Fourier expansion na kwa hiyo unaoweza kufanya kazi kwenye compact arithmetic quotients.
• Inatenganisha wazi global automorphic tools na local semiclassical analysis.
• Inaunganisha theta correspondence, Rallis formula na coadjoint orbit geometry katika tatizo moja la variance.
• Theorem 4 inatoa muundo unaoweza kutumika tena si kwa spectral family moja tu bali kwa general automorphic variance sums.
• Inaeleza geometric source ya diagonal \(H\)-integral katika main term kupitia stabilizer calculation.
• Inashughulikia holomorphic na Maass spectral regimes chini ya mbinu ileile ya jumla.

Vikwazo vya kimetodolojia na upeo

Ili kurahisisha uwasilishaji, utafiti unafanya kazi na arithmetic surfaces zinazohusishwa na maximal orders na hutumia odd narrow class number assumption kwa number field. Ingawa hali ya msingi ambako matokeo mapya ni \(F=\mathbb Q\), mwandishi huhifadhi framework ya general totally real number fields.

Theorem 1 ni nontrivial kwa even observables pekee; katika odd representation components, microlocal matrix elements husika ni sifuri.

Arithmetic weight:

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

ni sehemu ya main theorem statement. Kupata unweighted form kunahitaji \(L\)-function tools za ziada, na makala hairudii maelezo yote ya argument hiyo.

Ingawa positive power saving inapatikana kwa convergence, exponent haijaboreshwa.

Baadhi ya Euler-product limits na random-matrix comparisons katika sehemu ya mwisho ziko wazi katika kiwango cha heuristic; hazina epistemic status ileile kama Theorem 1–4 zilizothibitishwa.

Umuhimu wa kihisabati wa utafiti

Utafiti unaonyesha kwamba kupata second-order quantum chaos statistics kwenye compact arithmetic surfaces si lazima kutegemee cusp Fourier expansion. Theta correspondence ya quaternion algebras hutoa global mechanism inayoweza kuchukua nafasi ya Fourier multiplicativity, wakati coadjoint orbit method hutatua local geometric structure katika high-energy limit.

Kwa sababu fomula inayopatikana inaunganisha classical flow correlation na central automorphic \(L\)-value, inaweka wazi muundo maradufu wa arithmetic quantum chaos wa “classical dynamics + arithmetic spectrum” katika matokeo sahihi ya kiasimptoti.

Maelezo ya Chanzo na Mbinu

Kichwa kamili cha asili katika chanzo kilichopakiwa: QUANTUM VARIANCE ON QUATERNION ALGEBRAS, III

Mwandishi: Paul D. Nelson.

Mwandishi wa kwanza sawa/mchango sawa: Haitumiki; kazi ina mwandishi mmoja.

Mwandishi anayewajibika: Hakutiwa alama tofauti kama “corresponding author” katika chanzo.

Taasisi katika toleo lililopakiwa: Aarhus University, Institut for Matematik, Denmark.

Eneo la kisayansi: Number theory, automorphic forms, mathematical quantum chaos, spectral theory na harmonic analysis.

Aina na toleo la chanzo: Faili iliyokaguliwa ni arXiv:1903.08686v3 [math.NT]. Uwasilishaji wa kwanza wa arXiv ulikuwa 20 Machi 2019, v2 24 Juni 2025 na v3 iliyopakiwa 21 Oktoba 2025. Mstari wa tarehe wa PDF yenyewe ni 22 Oktoba 2025. arXiv v3 imewekwa alama kama final version.

Hali ya mapitio: Faili iliyopakiwa ni toleo la arXiv; hata hivyo, kazi ilichapishwa baadaye katika Annals of Mathematics baada ya peer review.

Chapisho lililopitiwa na rika: Annals of Mathematics, Volume 203, Issue 3, 2026, s. 781–867.

DOI ya chapisho lililopitiwa na rika: 10.4007/annals.2026.203.3.3.

arXiv DOI: 10.48550/arXiv.1903.08686.

Mchakato wa uchapishaji: Imepokelewa 16 Oktoba 2019; marekebisho 15 Mei 2025; imekubaliwa 20 Juni 2025; imechapishwa mtandaoni 1 Mei 2026.

Taasisi ya asili ya uchapishaji: Annals of Mathematics huchapishwa na Princeton University Department of Mathematics kwa ushirikiano na Institute for Advanced Study.

Dokezo la leseni: Maandishi ya PDF iliyopakiwa hayaonyeshi tamko tofauti la open license. Sera ya uchapishaji ya Annals of Mathematics inaeleza kuwa CC BY license haitumiki kwa toleo lililochapishwa katika jarida.

Mathematical Subject Classification: PDF inatoa 2010 MSC kama Primary 11F70; Secondary 11F27, 58J51. Rekodi iliyochapishwa ya Annals inaorodhesha codes hizo hizo chini ya classification ya 2020.

Jaribio/dataset: Hakuna. Utafiti ni kazi ya theoretical mathematics.

Statistical hypothesis test: Hakuna. Neno “Variance” hapa si sample variance ya experimental statistics, bali spectral/microlocal second-order asymptotic sum.

Mbinu kuu: Eichler–Shimizu theta correspondence; Jacquet–Langlands correspondence; Weil representation; similitude na ternary theta lifts; Rallis inner product formula; equidistribution ya elementary theta functions; adelic harmonic analysis; quadratic trace formula; Harish–Chandra \(\Xi\)-estimates; semiclassical pseudodifferential/operator calculus; Kirillov character formula; coadjoint orbit method.

Matokeo makuu: Kwa Hecke–Maass cusp-form microlocal lifts kwenye compact arithmetic hyperbolic surfaces, arithmetic-weighted asymptotic quantum variance hubainishwa kwa fomula wazi ya central \(L\)-value na diagonal flow correlation.

Matokeo makuu ya pili: Mbinu hiyo hiyo inatoa analog quantum variance theorem kwa \(L^2\)-masses za holomorphic forms kwenye compact arithmetic surfaces.

Ufadhili: Hakuna taarifa tofauti ya funding au grant iliyotambuliwa katika maandishi ya v3 yaliyopakiwa.

Shukrani: Paul D. Nelson anamshukuru Peter Sarnak kwa kumtia moyo na Raphael Steiner kwa maoni mengi yenye manufaa na marekebisho juu ya draft ya awali.

Upatikanaji wa data: Kwa kuwa hakuna experimental au observational dataset, hakuna sehemu ya data availability kwa maana ya kawaida.

Kamati ya maadili / ridhaa iliyoarifiwa: Haitumiki; hakuna data ya binadamu, wanyama au clinical iliyotumiwa.

Mgongano wa maslahi: Hakuna tamko tofauti la conflict of interest katika arXiv v3 text iliyopakiwa.

Dokezo la uaminifu kwa toleo

Maelezo ya kisayansi ya makala hii ya Verianla yanategemea maandishi ya kurasa 71 ya arXiv v3 yaliyopakiwa. Rekodi ya Annals of Mathematics ilitumiwa tu kuthibitisha bibliographic identity, peer-review status, publication date, page range na DOI. Kwa sababu journal version inaweza kuwa na pagination au editorial typesetting tofauti, PDF iliyopakiwa na peer-reviewed version hazijaunganishwa kimya kimya kama document moja.

Rekodi ya arXiv inaeleza kuwa baada ya mapendekezo ya referee, v2 iliongezewa former Part 1 ya paper II katika series, na references zikasasishwa katika v3. Kwa hiyo first arXiv version ya 2019 na uploaded 2025 v3 si toleo lilelile.

Mpaka wa tafsiri ya kisayansi

Dhana ya “quantum” katika makala si sawa na quantum computing technology. Utafiti unahusu high-energy limits za Laplace eigenfunctions, geodesic flow, automorphic representations na arithmetic quantum chaos.

Theorem 1 imethibitishwa kwa compact arithmetic quotients na familia maalumu za Hecke–Maass. Kuipanua moja kwa moja kwa chaotic quantum systems zote au negatively curved manifolds zote hakuungwi mkono na chanzo.

Pia direct statement ya Theorem 1 ina adjoint \(L\)-function weights. Ingawa correction factor inayohitajika kwa unweighted variance inaelezwa katika sehemu ya matokeo, maelezo yote ya kiuchanganuzi ya transition hii hayajathibitishwa tena. Vivyo hivyo, possible \(O(h^{1/2})\) error rate si general result iliyothibitishwa, bali optimization inayowezekana kwa smooth dyadic weighted variant.