Paul D. Nelsonning tadqiqoti kvaternion algebralaridagi maksimal tartiblardan hosil bo‘lgan kompakt arifmetik giperbolik sirtlarda Hecke–Maass cusp formalari mikrolokal liftlarining asimptotik kvant variansiyasini aniqlaydi. Tadqiqotning asosiy natijasi yuqori energiyali xosfunksiya oilalari uchun mos ravishda masshtablangan va arifmetik \(L\)-funksiya og‘irliklari bilan og‘irliklangan ikkinchi tartibli tebranishlarning limitga ega ekanini ko‘rsatadi; ikki kuzatiluvchi turli avtomorfik tasvirlarga tegishli bo‘lsa limit nol, bir xil tasvirga tegishli bo‘lsa esa limit markaziy \(L\)-qiymatni klassik diagonal oqim korrelyatsiyasi bilan birlashtiruvchi ochiq ifoda orqali beriladi. Tadqiqot usuli theta correspondence, Rallis ichki ko‘paytma formulasi, elementar theta funksiyalarining teng taqsimlanishi, kvaternion algebralarda qo‘shish va ko‘paytirishga oid garmonik tahlil hamda coadjoint orbit usulining analitik shaklini bir isbotda birlashtiradi.

Natija Luo–Sarnak–Zhao tomonidan cusp mavjud bo‘lgan modular sirt uchun ishlab chiqilgan kvant variansiyasi nazariyasini ushbu Fourier yoyilma mexanizmi to‘g‘ridan-to‘g‘ri mavjud bo‘lmagan kompakt, non-split arifmetik sirtlarga olib o‘tadi. Biroq tadqiqot umumiy Riemann ko‘pxilligi uchun kvant variansiyasini hal qilmaydi, barcha xosfunksiya oilalari uchun bir xil formulani isbotlamaydi va kvant noyob ergodikligini qaytadan isbotlamaydi. Asosiy teorema maksimal tartiblardan kelib chiqadigan muayyan arifmetik kompakt sirtlar, Hecke tuzilmasi, juftlik shartlari va muayyan arifmetik og‘irliklar ostida qurilgan.

Bu yerda “kvant variansiyasi” nimani anglatadi?

Bu tadqiqotdagi kvant variansiyasi kvant kompyuterlarida ishlatiladigan qubitlar variansiyasi emas. Tushuncha matematik kvant xaosi doirasida yuqori energiyali Laplace xosfunksiyalarining geometrik fazoda qanday taqsimlanishidagi ikkinchi tartibli tebranishlarni anglatadi.

Asosiy muammo \(\mathcal{F}\) xosfunksiya oilasi va sobit kuzatiluvchilar \(\Psi_1,\Psi_2\) uchun quyidagi turdagi yig‘indilarning yuqori energiya limitidagi xatti-harakatini tushunishdir:

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

Birinchi tartibli statistikalar xosfunksiya massasining o‘rtacha qanday taqsimlanishini so‘rasa, kvant variansiyasi shu o‘rtacha atrofidagi ikkinchi tartibli korrelyatsiyalarni o‘lchaydi. Nelson ta’kidlagan qiyinchilik shundaki, bu ikkinchi tartibli ma’lumotlarga klassik iz formulalari orqali to‘g‘ridan-to‘g‘ri kirib bo‘lmaydi.

Tadqiqot hal qilmoqchi bo‘lgan bo‘shliq nima?

Luo, Sarnak va Zhaoning oldingi usuli modular sirt kabi non-compact arifmetik bo‘linmalarda cusp atrofidagi parabolik Fourier yoyilmalaridan va Hecke xosqiymatlarining ko‘paytma tuzilmasidan kuchli foydalangan. Kompakt arifmetik giperbolik sirtlarda esa cusp yo‘q. Shuning uchun klassik \(q\)-yoyilmalarni ayni shaklda ishlatib bo‘lmaydi.

Nelsonning asosiy strategiyasi cusp ta’minlaydigan mexanizmni boshqa tuzilma bilan almashtirishdir: Eichler–Shimizu theta correspondence. Kvaternion algebra \(B\)dan keladigan arifmetik bo‘linma uchun bu moslik xosfunksiyaning ikki nusxasi ko‘paytmasini boshqa avtomorfik fazodagi theta integrali bilan bog‘laydi. Shu tariqa to‘g‘ridan-to‘g‘ri Fourier yoyilmasi yo‘q kompakt holatda ikkinchi tartibli statistika yana garmonik tahlil uchun ochiladi.

Tadqiqotning geometrik muhiti qanday quriladi?

\(F\) to‘liq haqiqiy son maydoni va \(B\), \(F\) ustida faqat bitta haqiqiy joyda \(M_2(\mathbb{R})\)ga ajraladigan kvaternion algebra bo‘lsin. Maksimal tartib \(R\subset B\) tanlanganda uning birliklaridan hosil qilingan arifmetik panjara:

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

orqali:

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

fazolar aniqlanadi. \(Y\) arifmetik giperbolik sirt, \(X\) esa tegishli dinamik va tasviriy-nazariy tuzilma tashiladigan fazodir. Maqolaning asosiy holatida \(B\) non-split bo‘lgani uchun \(X\) kompaktdir.

Chekli tub joylardagi Hecke operatorlari \(T_{\mathfrak p}\) \(G\)ning o‘ng siljitish ta’siri bilan birga ishlaydi. Shunday qilib \(L^2_0(X)\) ham \(G\), ham Hecke operatorlari bo‘yicha xoskomponentlarga ajraladi.

Hecke–Maass xosformalarning va mikrolokal liftning ma’nosi nima?

\(\pi\) avtomorfik tasvir uchun infinitesimal character \(\lambda_\pi<0\) bo‘lsa, \(\pi\) ichida \(K^1\)-invariant vektor mavjud va u \(Y\) ustidagi Hecke–Maass xosforma \(\phi_\pi\)ga mos keladi. Laplace xosqiymati:

\[ \frac14-\lambda_\pi \]

ko‘rinishidadir.

Xosfunksiya faqat \(Y\) ustidagi joylashuv ma’lumotini tashisa, mikrolokal lift \(\mu_\pi\) faza fazosidagi yo‘nalish ma’lumotini ham tasviriy-nazariy tuzilishga qo‘shuvchi funksionaldir:

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

\(\Psi\) sirt \(Y\)dan keladigan \(K^1\)-invariant funksiya bo‘lsa:

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

Tadqiqotda ishlatiladigan mikrolokal liftlar yuqori energiya limitida diagonal kichik guruh \(H\) ta’siriga nisbatan asimptotik invariance xususiyatiga ham ega.

Kvant noyob ergodikligi bilan kvant variansiyasi o‘rtasidagi farq nima?

Manbada eslatilgan arifmetik kvant noyob ergodiklik natijasi o‘rtachasi nol bo‘lgan sobit \(\Psi\) uchun yuqori energiya limitida:

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

bo‘lishini aytadi. Kvant variansiyasi esa bu qiymatlar nolga yaqinlashayotganda qanday kattalikda va qanday korrelyatsiya tuzilmasi bilan tebranishini so‘raydi.

Boshqacha aytganda, “xosfunksiyalar oxir-oqibat teng taqsimlanadi” degan gap birinchi tartibli savol; Nelsonning asosiy teoremasi teng taqsimlanish atrofidagi arifmetik jihatdan tuzilgan ikkinchi tartibli tebranishni ko‘rib chiqadi.

Nega faqat “even” kuzatiluvchilar ishlatiladi?

Maqola muayyan mahalliy root number va Hecke juftlik shartlarini qanoatlantiradigan tasvirlarni even deb ataydi. Chekli ramifikatsiyalangan tub joylarda tegishli \(T_{\mathfrak p}\) xosqiymatlari \(+1\) bo‘lishi va ajratib ko‘rsatilgan haqiqiy joydagi mahalliy root number \(+1\) bo‘lishi kerak.

Bu texnik estetik tanlov emas. Tadqiqotda ko‘rsatilganidek, \(\sigma\) even bo‘lmasa:

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

bo‘ladi. Shuning uchun asosiy kvant variansiyasi muammosi tabiiy ravishda even kuzatiluvchilarga kamayadi.

Asosiy teorema aynan nimani aytadi?

Ikki sobit, o‘rtachasi nol va even xosfunksiya \(\Psi_1,\Psi_2\) tanlansin. Ular hosil qiladigan avtomorfik tasvirlar \(\sigma_1,\sigma_2\) bo‘lsin. Shuningdek:

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

arifmetik og‘irligi ishlatilsin. 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) \]

limitining mavjudligini isbotlaydi.

Agar:

\[ \sigma_1\neq\sigma_2, \]

bo‘lsa limit:

\[ 0 \]

bo‘ladi.

Agar:

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

bo‘lsa limit:

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

ifodaga teng.

Bu yerda:

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

va:

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

Weyl elementiga nisbatan simmetrizatsiyani anglatadi.

Bu formula nega muhim?

Formulaning diqqatga sazovor jihati kvant tebranishining asosiy hadida ikki xil tuzilmaning borligidir. Birinchisi:

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

ko‘rinishidagi arifmetik markaziy \(L\)-qiymat. Ikkinchisi:

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

ko‘rinishidagi klassik dinamik korrelyatsiya. Asosiy variansiya doimiysi shu ikkisining ko‘paytmasi sifatida paydo bo‘ladi.

Demak, tadqiqot natijasi kompakt arifmetik kvant xaosida ikkinchi tartibli tebranishlar faqat klassik geodezik dinamika bilan emas, balki Hecke arifmetikasi va avtomorfik \(L\)-funksiyalar bilan ham tuzilganini aniq asimptotik formulaga aylantiradi.

Theorem 1 dagi \(h\) nimani ifodalaydi?

\(h\rightarrow0\) tadqiqotning yarim klassik (semiclassical) limit parametridir. Yig‘indidagi:

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

sharti \(h\) kichraygani sari xosfunksiyalarning spektral parametrlarini tobora yuqori energiya masshtablarida tanlaydi. Shuning uchun formula bitta xosfunksiya haqida emas, yuqori energiyali xosfunksiyalar oilasining o‘rtacha ikkinchi tartibli xatti-harakati haqida.

Yaqinlashish tezligi ma’lummi?

Maqola Theorem 1 isboti:

\[ O(h^\delta) \]

tipidagi yaqinlashish tezligini berishini va bunda sobit \(\delta>0\) mavjudligini aytadi. Biroq muallif \(\delta\)ni aniq hisoblamaydi yoki optimallashtirmaydi.

Keskin spektral kesish o‘rniga silliq dyadic weight ishlatilsa, usullar ehtimol:

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

darajasigacha optimallashtirilishi mumkinligi aytiladi. Bu ikkinchi gap maqolada isbotlangan asosiy teorema emas, usul haqida istiqboldagi bahodir.

Holomorfik formalar uchun ham shu tuzilma ishlaydimi?

Ha. Theorem 2 kompakt arifmetik sirtlarda holomorfik formalarning \(L^2\)-massalari uchun analog kvant variansiyasi natijasini beradi.

Bu holda \(\lambda_\pi>0\) va \(\pi\) lowest weight \(k\)ga ega discrete-series tasvirdir:

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

Mos \(K\)-invariant \(\Psi_1,\Psi_2\) uchun:

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

mavjud. Tasvirlar turli bo‘lsa limit nol; bir xil \(\sigma\)ga tegishli bo‘lsa:

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

olinadi.

Theta correspondence nega markaziy rol o‘ynaydi?

Split modular sirtda xosformalarning Fourier koeffitsiyentlariga tegishli Hecke ko‘paytmaliligi ikkinchi darajali ifodalarni boshqarilishi osonroq chiziqli statistikaga aylantirishi mumkin. Kompakt kvaternion holatda esa shu cusp Fourier mexanizmi mavjud emas.

Eichler–Shimizu yondashuvida buning o‘rniga theta yadrosi \(\Theta\) va Jacquet–Langlands lift \(\Phi_\phi\) ishlatilib, sxematik tarzda:

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

munosabati olinadi.

\(x=y\) olinib \(\Psi\) bilan integrallanganda matritsa elementi:

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

theta liftlar orqali ifodalanadi. Shunday qilib kvant variansiyasi muammosi theta funksiyalarining ichki ko‘paytmalarini yechish muammosiga aylanadi.

“Thickening” amali nega ishlab chiqilgan?

Maqolaning texnik yangiliklaridan biri ko‘paytma guruhdagi test funksiyasini kvaternion algebraning qo‘shiluvchi fazosiga olib o‘tuvchi “thickening” operatorlaridir.

Haqiqiy modelda:

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

va muayyan \(W\) test funksiyasi uchun:

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

aniqlanadi.

Bu o‘zgartirish shunchaki texnik qayta yozish emas. U muallif qurgan theta funksiyasining yadrosiga aylanadi va shu orqali kerakli avtomorfik oilani theta mexanizmidan qayta hosil qiluvchi “inversion problem” yechimining bir qismi bo‘ladi.

Kvadratik iz formulasi nima qiladi?

Theorem 3 da kvant variansiyasining umumiy ko‘rinishi:

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

ko‘rinishida ajratiladi.

Bu yerda \(V(f)\) arifmetik og‘irlikli kvant variansiyasi yig‘indisini, \(M(f)\) kutilgan asosiy hadni, \(E_{\tau_1,\tau_2}\) esa nazorat qilinishi kerak bo‘lgan xato hadlarini ifodalaydi.

Xato uchun asosiy baho:

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

ko‘rinishidadir.

Bu natija Theorem 1 va Theorem 2 dagi global avtomorfik variansiya muammosini boshqarish osonroq bo‘lgan mahalliy tahlil muammolariga kamaytiruvchi asosiy ko‘prikdir.

Rallis ichki ko‘paytma formulasi qayerda ishga tushadi?

Theta manipulyatsiyalaridan keyin paydo bo‘ladigan ifodalar:

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

ko‘rinishidadir. Tadqiqotning asosiy global yondashuvi buni asimptotik ravishda:

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

bilan bog‘laydi.

Ternary theta liftlarining ichki ko‘paytmasiga Rallis formulasi qo‘llanganda markaziy avtomorfik \(L\)-qiymat tabiiy ravishda paydo bo‘ladi. Shunday qilib Theorem 1 dagi:

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

omil yakuniy bosqichda ixtiyoriy qo‘shilgan arifmetik tuzatish emas, theta liftlarining ichki ko‘paytma tuzilmasidan kelib chiqadigan haddir.

Elementar theta funksiyalarining teng taqsimlanishi nima beradi?

Asosiy hadni ajratishning o‘zi yetarli emas; ko‘paytmaning ichki ko‘paytmasi bilan ichki ko‘paytmalar ko‘paytmasi orasidagi farq kichik ekanini ko‘rsatish kerak. Tadqiqot buni diagonal oqim ostida elementar theta funksiyalari siljishlarining teng taqsimlanishiga oid natijalar bilan nazorat qiladi.

Sxematik tarzda:

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

Bu baho kvadratik iz formulasidagi xato hadni kichraytiradi.

Global muammo qanday qilib mahalliy muammoga aylanadi?

Maqolaning ikki qismli arxitekturasi bu farqni aniq aks ettiradi. Birinchi qism theta funksiyalari, adelik avtomorfik formalar, Rallis formulasi va umumiy variansiya yig‘indilari orqali global amallarni quradi. Ikkinchi qism esa \(G=\operatorname{PGL}_2(\mathbb R)\) ustida arximedik mahalliy tahlil olib boradi.

Theorem 3 tufayli global qismning qolgan qismi mikrolokal liftlarni to‘g‘ri ushlaydigan test operatorlarini yaratish va ularning asosiy/xato hadlarini yarim klassik limitda tekshirish muammosiga kamayadi.

Coadjoint orbit usuli nega ishlatiladi?

\(\mathfrak g\), \(G\)ning Lie algebrasi va \(i\mathfrak g^*\) uning tegishli dual fazosi bo‘lsin. Tadqiqotda:

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

turidagi nuqtalarning \(G\)-orbitlaridan foydalaniladi. Bu nuqtaning stabilizatori aynan diagonal kichik guruh:

\[ H \]

bo‘lgani uchun Theorem 1 ning asosiy hadidagi \(H\)-korrelyatsiya integrali coadjoint orbit geometriyasidan tabiiy chiqadi.

Bu metodologik jihatdan muhim: manbada \(H\)-integrali shunchaki oldingi formulaga o‘xshatib qo‘shilmaydi; u mahalliy yarim klassik tayanchning stabilizator geometriyasidan hosil bo‘ladi.

Integral operatorlar mikrolokal liftlarni qanday ushlaydi?

Klassik mikrolokal lift ta’rifi raising va lowering differensial operatorlaridan foydalanadi. Bunga qarshi Theorem 3 guruh ustidagi:

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

turidagi integral operatorlar bilan ishlaydi.

Nelson bu ikki tilni birlashtirish uchun yarim klassik pseudodifferential/operator calculus dan foydalanadi. \(a\) simvol uchun:

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

turidagi integral operatorlar quriladi. Simvol tegishli coadjoint orbitning muayyan qismida jamlanganda operator mikrolokal liftning taxminiy proyektori kabi ishlaydi.

Bu mexanizm oxir-oqibat:

\[ V(f) \]

bilan maqsad qilingan mikrolokal kvant variansiyasi yig‘indisi bir xil asosiy asimptotikaga ega ekanini ko‘rsatishga imkon beradi.

Arifmetik og‘irliklar nega mavjud?

Asosiy teoremada har bir \(\pi\) quyidagi og‘irlik bilan keladi:

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

Manbaga ko‘ra, bu og‘irliklar usulning theta/Jacquet–Langlands normallashtirishlaridan tabiiy ravishda kelib chiqadi. Muallif ular yengil kattalikda ekanini va o‘rtachasi 1 ekanini aytadi.

Maqolaning xulosa bo‘limida og‘irliksiz variansiyaga qanday o‘tish mumkinligi izohlanadi. Buning uchun kattaroq chekli tub to‘plamlar bilan qisman adjoint \(L\)-funksiyalar ishlatiladi va limitlarni almashtirish g‘oyasi ko‘rib chiqiladi. Mahalliy tuzatish ko‘paytuvchisi:

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

ko‘rinishidadir.

Biroq manba bu og‘irliksiz o‘tishning barcha texnik tafsilotlarini qayta isbotlamaganini, oldingi Luo–Sarnak–Zhao yondashuvining bu sharoitda qanday qo‘llanishini tushuntirganini alohida ta’kidlaydi. Shuning uchun og‘irliksiz ko‘rinish Theorem 1 ning bevosita statementi bilan aralashtirilmasligi kerak.

Arifmetik va arifmetik bo‘lmagan tizimlar nega boshqacha tutishi mumkin?

Oxirgi bo‘limdagi yarim klassik intuitsiyaga ko‘ra generic non-arithmetic holatda ikki tasvirning yaqinligi asosan arximedik/spektral parametrlar bilan o‘lchanishi mumkin. Arifmetik holatda esa Hecke xosqiymatlari qo‘shimcha ma’lumot beradi.

Shuning uchun muallif faqat:

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

bo‘lishini emas, kichik tub joylarda:

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

shartlarini ham hisobga olishni taklif qiladi.

Bu intuitiv modelning Euler ko‘paytmalari bilan formal hisobi isbotlangan arifmetik variansiya doimiysi bilan mos keladi. Muallif buni asosiy teoremaning mustaqil isboti sifatida emas, natija tuzilishini tushuntiruvchi va tekshiruvchi heuristika sifatida taqdim etadi.

Tadqiqot qo‘llab-quvvatlaydigan xulosalar

• Kompakt arifmetik giperbolik sirtlarda belgilangan Hecke–Maass mikrolokal lift oilasi uchun arifmetik og‘irlikli asimptotik kvant variansiyasi limiti mavjud.
• Ikki kuzatiluvchi turli avtomorfik tasvirlarga tegishli bo‘lsa limit nol.
• Bir xil tasvirda asosiy had markaziy \(L\)-qiymat bilan diagonal oqim korrelyatsiyasining ochiq ko‘paytmasini o‘z ichiga oladi.
• Shu usul holomorfik formalarning \(L^2\)-massalari uchun analog variansiya teoremasini beradi.
• Theta correspondence va kvadratik iz formulasi cusp Fourier yoyilmasisiz kompakt kvaternion holatda ikkinchi tartibli statistikaga kirishni ta’minlaydi.
• Coadjoint orbit tahlili asosiy haddagi \(H\)-integralining geometrik kelib chiqishini tushuntiradi.

Tadqiqot isbotlamagan xulosalar

• Natija barcha manfiy egrilikli yoki ergodik Riemann ko‘pxilliklari uchun umumiy kvant variansiyasi teoremasi emas.
• Tadqiqot fizik kvant tizimida laboratoriya tajribasi o‘tkazmaydi.
• Kvaternion algebralar bu yerda kvant kompyuterlarining hisoblash arxitekturasi sifatida ishlatilmaydi.
• Maqola har bir individual xosfunksiyaning tebranishini aniq bashorat qilmaydi; oila o‘rtachalarining asimptotik ikkinchi tartibli xatti-harakatini o‘rganadi.
• Theorem 1 ning asosiy statementi arifmetik og‘irliklidir; og‘irliksiz variansiyaning barcha texnik tafsilotlari maqolada qayta isbotlanmagan.
• \(O(h^{1/2})\) yaqinlashish tezligi asosiy teorema sifatida isbotlanmagan, silliq dyadic og‘irlikli variant uchun mumkin bo‘lgan optimallashtirish sifatida qayd qilingan.
• Oxirgi bo‘limdagi random-matrix va Euler-product baholari isbotlangan teorema o‘rnini bosuvchi isbotlar emas, heuristik moslik tekshiruvlaridir.

Turkiya nuqtayi nazaridan qanday talqin qilinishi kerak?

Bu tadqiqot natijalari geografik, demografik yoki milliy namunaga bog‘liq emas. Shu sabab sog‘liq, energetika yoki ijtimoiy fanlardagi kabi “Turkiyaga ma’lumot transferi” muammosi yo‘q. Turkiyadagi sonlar nazariyasi, spektral geometriya va matematik fizika tadqiqotlari nuqtayi nazaridan ish universal matematik teoremalar va usullarni taklif qiladi; ammo manba Turkiyadagi muayyan institut, ma’lumotlar to‘plami yoki amaliyot haqida natija bermaydi.

Tadqiqot Usuli va Natijalari

Isbotning umumiy arxitekturasi

Part 1: global avtomorfik tahlil

Tadqiqotning birinchi katta qismi umumiy son maydoni \(F\) va non-split kvaternion algebra \(B\) ustida adelik tilda quriladi. Mahalliy Weil tasvirlari, global theta yadrolari, elementar theta funksiyalari va ternary theta liftlar tizimli ravishda aniqlanadi.

Kvaternion algebra:

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

ko‘rinishida skalyar va trace-zero qismlarga ajratiladi. Weil tasvirining shu ortogonal ajralish bilan faktorlanishi similitude theta funksiyalarining:

\[ \theta_i h_i \]

turidagi ko‘paytmalarga ajralishiga asos bo‘ladi.

Birinchi global vosita: theta ko‘paytmalarining teng taqsimlanishi

Manba ilgari ishlab chiqilgan elementar theta funksiyalarining spektral ajralishidan foydalanib:

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

bilan:

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

orasidagi farqni Harish–Chandra \(\Xi\)-funksiyasi orqali nazorat qiladi. Ushbu global mixing/equidistribution bahosi variansiya formulasidagi diagonal bo‘lmagan theta o‘zaro ta’sirlarini xato hadga suradi.

Ikkinchi global vosita: Rallis ichki ko‘paytma formulasi

Ternary theta liftlar uchun Rallis formulasi bir xil avtomorfik tasvirga tegishli ikki liftning Petersson ichki ko‘paytmasini markaziy:

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

qiymat va mahalliy matritsa koeffitsiyenti integrallari orqali ifodalaydi. Turli avtomorfik tasvirlar bo‘lganda theta liftlar ortogonaldir.

Bu ortogonallik Theorem 1 dagi:

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

tuzilmasining global asosini beradi.

Theorem 4 nega Theorem 3 dan umumiyroq?

Theorem 4 kvadratik iz formulasini son maydonlari ustida adelik ko‘rinishda quradi. Umumiy variansiya:

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

bilan aniqlanadi.

Teorema buning:

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

ko‘rinishida asosiy va xato qismlarga ajralishini hamda xato shakllari \(O_1(F)\), \(SO(B^0_S)\) va metaplektik simmetriyalarga ega ekanini ko‘rsatadi.

Theorem 3 esa shu adelik natijaning asosiy giperbolik sirt masalasida zarur bo‘lgan haqiqiy/arximedik maxsus holatidir.

Part 2: mahalliy yarim klassik tahlil

Ikkinchi qismda tadqiqot \(G=\operatorname{PGL}_2(\mathbb R)\)ning Lie algebrasiga tushadi. Tasvirlar principal series va discrete series sifatida tasniflanadi; xarakterlarning coadjoint orbit integrallari bilan bog‘lanishi Kirillov formulasi orqali ishlatiladi.

Ikki o‘lchamli coadjoint orbitlar invariant polinom:

\[ \Lambda \]

yordamida:

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

ko‘rinishida aniqlanadi.

Maass holati uchun tegishli orbitlar:

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

bo‘lsa, holomorfik discrete-series holatida tegishli orbitlar:

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

bo‘ladi.

Simvol hisobining roli

Muallif \(0\leq\delta<1/2\) uchun yarim klassik simvol sinflari \(S^m_\delta\) va ulardan hosil bo‘ladigan:

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

operatorlardan foydalanadi. Operatorlarning composition, equivariance va trace asymptotic xususiyatlari mikrolokal liftlarni integral operatorlar bilan nazorat qilish uchun zarur.

Tempered tasvir uchun asosiy trace asimptotikasi:

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

ko‘rinishidadir.

Bu ifoda kvant operator izini tegishli klassik coadjoint orbitdagi integral bilan solishtiruvchi yarim klassik ko‘prikdir.

Mikrolokal lift uchun taxminiy proyektor

Yuqori energiyali \(\pi\) uchun simvol \(\xi(t)\) atrofida jamlanadi. Integral operator shu tariqa mikrolokal lift tashiydigan yo‘nalish tayanchini tanlaydigan taxminiy proyektorga aylanadi.

Bu tanlov natijasida mos \(f\) uchun maqola:

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

turidagi munosabatni oladi.

Asosiy hadning coadjoint geometriyasi

Ichki ko‘paytma guruhdan Lie algebrasiga tortiladi, Parseval qo‘llanadi va integral coadjoint orbitlar bo‘ylab ajratiladi. Limiting microlocal support stabilizatori \(H\) bo‘lgani uchun asosiy had:

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

ko‘rinishini oladi.

Bu bosqich tadqiqotning mahalliy analitik qismining asosiy geometrik natijasidir.

Xato had nega yo‘qoladi?

Qurilgan test funksiyasi \(f\) guruh identikligi atrofida taxminan:

\[ 1+O(h) \]

masshtabida jamlanadi. Thickening dan keyin hosil bo‘lgan funksiyalar trace-zero komponentida taxminan \(h\) kenglikda jamlangan Schwartz funksiyalariga aylanadi.

Maqola buni normallashgan dilation operatori bilan:

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

ko‘rinishida ifodalaydi.

Theorem 3 ning xato bahosi keyin:

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

turidagi nazoratni beradi va simvol sinfi baholari bilan:

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

natijaga erishiladi.

To‘rtta asosiy teoremaning vazifalari

Manbaning oldingi adabiyotga oid tuzatish eslatmasi

Nelson Theorem 1 asosiy hadini Luo–Sarnak–Zhao natijasi bilan solishtirganda o‘z asosiy hadi tegishli analogning yarmi ekanini aytadi va buni oldingi ishdagi kichik hisob xatolari bilan bog‘laydi. Holomorfik analog uchun ham oldingi Luo–Sarnak formulasidagi muayyan yig‘indida \(1/2\) omili yetishmaganini ko‘rsatadi.

Bu eslatma tadqiqotning o‘z asosiy teoremasidagi noaniqlik emas; muallifning normallashtirishlarni solishtirish paytida oldingi formulalarga oid ochiq matematik tuzatish bayonidir.

Usulning kuchli tomonlari

• Cusp Fourier yoyilmasiga tayanmaydigan va shu sabab kompakt arifmetik quotients da ishlay oladigan yangi mexanizm quradi.
• Global avtomorfik vositalar bilan mahalliy yarim klassik tahlilni aniq ajratadi.
• Theta correspondence, Rallis formulasi va coadjoint orbit geometriyasini bir variansiya muammosida birlashtiradi.
• Theorem 4 bitta spektral oila uchungina emas, umumiyroq avtomorfik variansiya yig‘indilarida qayta ishlatilishi mumkin bo‘lgan tuzilmani beradi.
• Asosiy haddagi diagonal \(H\)-integralning geometrik manbasini stabilizator hisobi bilan tushuntiradi.
• Holomorfik va Maass spektral rejimlarini bir umumiy usul ostida ko‘rib chiqadi.

Metodologik va qamrov cheklovlari

Tadqiqot taqdimotni soddalashtirish maqsadida maksimal tartiblarga bog‘liq arifmetik sirtlarda ishlaydi va son maydoni uchun odd narrow class number farazini ishlatadi. Asosiy natijalar yangi bo‘lgan fundamental holat \(F=\mathbb Q\) ekani aytilsa-da, muallif umumiyroq to‘liq haqiqiy son maydonlari doirasini saqlaydi.

Theorem 1 faqat even kuzatiluvchilar uchun nontrivial; odd tasvir komponentlarida tegishli mikrolokal matritsa elementlari nol bo‘ladi.

Arifmetik og‘irlik:

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

asosiy theorem statement ning bir qismidir. Og‘irliksiz shaklni olish uchun qo‘shimcha \(L\)-funksiya vositalari kerak va maqola bu argumentning barcha tafsilotlarini takrorlamaydi.

Yaqinlashish uchun musbat power saving olingan bo‘lsa-da, daraja optimallashtirilmagan.

Oxirgi bo‘limdagi ayrim Euler-product limitlari va random-matrix taqqoslashlari ochiqchasiga heuristik darajada; ular isbotlangan Theorem 1–4 bilan bir xil epistemik maqomga ega emas.

Tadqiqotning matematik ahamiyati

Tadqiqot kompakt arifmetik sirtlarda ikkinchi tartibli kvant xaosi statistikasiga kirish cusp Fourier yoyilmasiga majburiy bog‘liq emasligini ko‘rsatadi. Kvaternion algebralarning theta correspondence’i Fourier ko‘paytmaliligini almashtira oladigan global mexanizm beradi, coadjoint orbit usuli esa yuqori energiya limitidagi mahalliy geometrik tuzilmani yechadi.

Hosil bo‘lgan formula klassik oqim korrelyatsiyasini markaziy avtomorfik \(L\)-qiymat bilan birlashtirgani sabab arifmetik kvant xaosining “klassik dinamika + arifmetik spektr” ko‘rinishidagi ikki tomonlama tuzilishini aniq asimptotik natijada ko‘rsatadi.

Manba va Usul Haqida Izoh

Yuklangan manbadagi to‘liq asl sarlavha: QUANTUM VARIANCE ON QUATERNION ALGEBRAS, III

Muallif: Paul D. Nelson.

Teng birinchi/teng hissa: Qo‘llanmaydi; tadqiqot bir muallifli.

Mas’ul muallif: Manbada alohida “corresponding author” deb belgilanmagan.

Yuklangan versiyadagi muassasa: Aarhus University, Institut for Matematik, Denmark.

Ilmiy soha: Sonlar nazariyasi, avtomorfik formalar, matematik kvant xaosi, spektral nazariya va garmonik tahlil.

Manba turi va versiyasi: Ko‘rib chiqilgan fayl arXiv:1903.08686v3 [math.NT] versiyasidir. Birinchi arXiv yuborilishi 20 Mart 2019, v2 24 Iyun 2025 va yuklangan v3 21 Oktabr 2025 sanasida. PDFning o‘z sana qatori 22 Oktabr 2025. arXiv v3 final version deb belgilangan.

Taqriz holati: Yuklangan fayl arXiv versiyasi; ammo tadqiqot keyinchalik Annals of Mathematics jurnalida taqrizlangan holda chop etilgan.

Taqrizlangan nashr: Annals of Mathematics, Volume 203, Issue 3, 2026, s. 781–867.

Taqrizlangan nashr DOI: 10.4007/annals.2026.203.3.3.

arXiv DOI: 10.48550/arXiv.1903.08686.

Nashr jarayoni: Qabul qilingan 16 Oktabr 2019; reviziya 15 May 2025; qabul 20 Iyun 2025; onlayn nashr 1 May 2026.

Asl nashr muassasasi: Annals of Mathematics Princeton University Department of Mathematics tomonidan Institute for Advanced Study hamkorligida chop etiladi.

Litsenziya izohi: Yuklangan PDF matnida alohida ochiq litsenziya bayonoti ko‘rinmaydi. Annals of Mathematics nashr siyosati jurnalda chop etilgan versiya uchun CC BY litsenziyasi amal qilmasligini bildiradi.

Mathematical Subject Classification: PDFda 2010 MSC sifatida Primary 11F70; Secondary 11F27, 58J51 berilgan. Annalsning chop etilgan yozuvi shu kodlarni 2020 tasnifi ostida ko‘rsatadi.

Tajriba/ma’lumotlar to‘plami: Yo‘q. Tadqiqot nazariy matematika ishidir.

Statistik gipoteza testi: Yo‘q. “Variance” so‘zi bu yerda eksperimental statistikadagi namunaviy varians emas, spektral/mikrolokal ikkinchi tartibli asimptotik yig‘indini anglatadi.

Asosiy usullar: Eichler–Shimizu theta correspondence; Jacquet–Langlands correspondence; Weil representation; similitude va ternary theta lifts; Rallis inner product formula; elementar theta funksiyalarining teng taqsimlanishi; adelik garmonik tahlil; kvadratik iz formulasi; Harish–Chandra \(\Xi\)-baholari; yarim klassik pseudodifferential/operator calculus; Kirillov xarakter formulasi; coadjoint orbit usuli.

Asosiy natija: Kompakt arifmetik giperbolik sirtlarda Hecke–Maass cusp formalari mikrolokal liftlari uchun arifmetik og‘irlikli asimptotik kvant variansiyasi ochiq markaziy \(L\)-qiymat va diagonal oqim korrelyatsiyasi formulasi bilan aniqlanadi.

Ikkinchi asosiy natija: Shu usul holomorfik formalarning \(L^2\)-massalari uchun kompakt arifmetik sirtlarda analog kvant variansiyasi teoremasini beradi.

Moliyalashtirish: Yuklangan v3 matnida alohida moliyalashtirish yoki grant bayonoti aniqlanmagan.

Minnatdorchilik: Paul D. Nelson Peter Sarnakka rag‘batlantirgani va Raphael Steinerga avvalgi qoralama haqidagi ko‘plab foydali izoh hamda tuzatishlari uchun minnatdorchilik bildiradi.

Ma’lumot mavjudligi: Eksperimental yoki kuzatuv ma’lumotlar to‘plami bo‘lmagani uchun klassik ma’nodagi ma’lumot mavjudligi bo‘limi yo‘q.

Etika qo‘mitasi / xabardor rozilik: Qo‘llanmaydi; inson, hayvon yoki klinik ma’lumot ishlatilmagan.

Manfaatlar to‘qnashuvi: Yuklangan arXiv v3 matnida alohida manfaatlar to‘qnashuvi bayonoti yo‘q.

Versiyaga sodiqlik izohi

Ushbu Verianla maqolasining ilmiy izohi yuklangan 71 sahifalik arXiv v3 matniga asoslanadi. Annals of Mathematics yozuvi faqat bibliografik identifikatsiya, taqriz holati, nashr sanasi, sahifa oralig‘i va DOIni tasdiqlash uchun ishlatilgan. Jurnal versiyasida boshqacha sahifalash yoki tahririy terish bo‘lishi mumkinligi sabab yuklangan PDF va taqrizlangan versiya bitta hujjatdek jim birlashtirilmagan.

arXiv yozuvi hakam tavsiyalaridan so‘ng v2 ga seriyaning II maqolasidagi oldingi Part 1 bo‘limi qo‘shilganini va v3 da havolalar yangilanganini ko‘rsatadi. Shuning uchun 2019 dagi birinchi arXiv versiyasi bilan yuklangan 2025 v3 bir xil versiya emas.

Ilmiy talqin chegarasi

Maqoladagi “kvant” tushunchasi kvant hisoblash texnologiyasi bilan sinonim emas. Tadqiqot Laplace xosfunksiyalarining yuqori energiya limitlari, geodezik oqim, avtomorfik tasvirlar va arifmetik kvant xaosi haqida.

Theorem 1 muayyan kompakt arifmetik quotients va Hecke–Maass oilalari uchun isbotlangan. Natijani barcha xaotik kvant tizimlari yoki barcha manfiy egrilikli ko‘pxilliklarga avtomatik yoyish manba tomonidan qo‘llab-quvvatlanmaydi.

Shuningdek Theorem 1 ning aniq statementida adjoint \(L\)-funksiya og‘irliklari mavjud. Maqolaning xulosa bo‘limida og‘irliksiz variansiya uchun zarur tuzatish ko‘paytuvchisi izohlangan bo‘lsa-da, bu o‘tishning barcha analitik tafsilotlari qayta isbotlanmagan. Xuddi shuningdek mumkin bo‘lgan \(O(h^{1/2})\) xato darajasi isbotlangan umumiy natija emas, silliq dyadic og‘irlikli variant uchun ehtimoliy optimallashtirish sifatida ifodalangan.