निर्धारक सतहों पर पूर्णांक बिंदुओं का वितरण और एक $\text{mod-}p$ समरूप

मूल जानकारी

• पेपर ID: 2508.14793
• शीर्षक: Distribution of integer points on determinant surfaces and a $\text{mod-}p$ analogue
• लेखक: Satadal Ganguly, Rachita Guria
• वर्गीकरण: math.NT (संख्या सिद्धांत)
• प्रकाशन समय: अगस्त 2025 (arXiv v2: 24 अगस्त 2025)
• पेपर लिंक: https://arxiv.org/abs/2508.14793

सारांश

यह पेपर निर्धारक समीकरण $xy-zw=r$ ($r$ एक अशून्य पूर्णांक है) के लिए चिकने भार के साथ पूर्णांक समाधानों की गणना के लिए स्पर्शोन्मुख सूत्र स्थापित करता है, स्पष्ट मुख्य पद और चर $x, y, z, w$ तथा $r$ के आकार के संबंध में मजबूत त्रुटि सीमाएं प्रदान करता है। साथ ही, सर्वांगसमता $xy-zw \equiv 1 \pmod{p}$ ($p$ एक बड़ी अभाज्य संख्या है) के लिए, समान स्पर्शोन्मुख सूत्र और मजबूत त्रुटि सीमाएं भी स्थापित की गई हैं।

अनुसंधान पृष्ठभूमि और प्रेरणा

मुख्य समस्या

यह पेपर द्विघात रूप द्वारा पूर्णांकों के प्रतिनिधित्व की शास्त्रीय समस्या का अध्ययन करता है, विशेष रूप से निर्धारक सतह $Q(x_1,x_2,x_3,x_4) = x_1x_2 - x_3x_4 = r$ पर पूर्णांक बिंदुओं की गणना समस्या पर ध्यान केंद्रित करता है।

महत्व

1. सैद्धांतिक मूल्य: द्विघात रूप द्वारा पूर्णांकों के प्रतिनिधित्व की समस्या फर्मा के समय से ही संख्या सिद्धांत का एक मूल विषय है, जो मॉड्यूलर रूपों के सिद्धांत, वृत्त विधि आदि गहन सैद्धांतिक उपकरणों से घनिष्ठ रूप से संबंधित है।
2. व्यावहारिक अनुप्रयोग: निर्धारक समीकरण की समाधान गणना विश्लेषणात्मक संख्या सिद्धांत के कई क्षेत्रों में स्वाभाविक रूप से प्रकट होती है:
   • L-फलन के आघूर्ण अनुमान (BC18, DFI97)
   • भाजक फलन के स्थानांतरित कनवल्शन योग अनुमान
   • मैट्रिक्स प्रतिनिधित्व सिद्धांत समस्याएं
3. तकनीकी चुनौतियां: अनिश्चित द्विघात रूपों के लिए, जब $n \geq 4$ हो, तो हैसे सिद्धांत सत्य है (सीगल प्रमेय)। लेकिन स्पष्ट और $r$ पर निर्भर मजबूत त्रुटि सीमाएं प्राप्त करना एक तकनीकी कठिनाई है।

मौजूदा विधियों की सीमाएं

1. Heath-Brown HB96 की वृत्त विधि:
   • केवल $r=0$ और $r=X^2$ दो विशेष मामलों को संभाला
   • सामान्य चतुर्थ द्विघात रूप के लिए, त्रुटि पद $O(X^{3/2+\varepsilon})$ है
   • $r$ को एक स्वतंत्र चर के रूप में प्रभावी ढंग से संभाल नहीं सकता
2. Getz Get18 का सुधार:
   • "दोहरी Kloosterman परिशोधन" के माध्यम से त्रुटि पद में सुधार
   • लेकिन केवल $r=0$ के मामले पर लागू होता है (क्योंकि $S_q(c)$ केवल $c=0$ पर $q$ के संबंध में गुणक है)
3. लेखकों का पूर्व कार्य GG23:
   • तीव्र कटाव (sharp-cut) के मामले को संभाला, लेकिन $|r| \leq X^{1/3}$ की आवश्यकता है
   • अधिक परिष्कृत वर्णक्रमीय सिद्धांत उपकरणों की आवश्यकता है

इस पेपर के नवाचार

यह पेपर वृत्त विधि के बजाय Poisson योग को सीधे लागू करके, समस्या को Kloosterman योग के अनुमान में परिवर्तित करता है, फिर Kuznetsov ट्रेस सूत्र का उपयोग करके प्राप्त करता है:

1. किसी भी $r = o(X^2)$ के लिए, त्रुटि पद $O(r^\theta X^{1+\varepsilon})$ है, जहां $\theta \leq 7/64$ Ramanujan-Petersson अनुमान का घातांक है
2. $r$ को एक स्वतंत्र चर के रूप में सामान्य मामले को संभाला
3. mod-$p$ सर्वांगसमता समस्या के लिए, साबित किया कि केवल $X \gg p^{1/2+\varepsilon}$ की आवश्यकता है स्पर्शोन्मुख सूत्र प्राप्त करने के लिए

मुख्य योगदान

1. प्रमेय 1.1 (मुख्य प्रमेय): समीकरण $ad-bc=r$ के लिए, स्पर्शोन्मुख सूत्र स्थापित किया $S_V(X,r) = M_V(X,r) + O_\varepsilon(r^\theta X^{1+\varepsilon})$ जहां मुख्य पद है $M_V(X,r) = \sum_{l|r}\sum_{k>0}\frac{\mu(k)}{k}\int\!\!\!\int\!\!\!\int \frac{1}{z}V\left(\frac{x}{X}\right)V\left(\frac{lky}{X}\right)V\left(\frac{lkz}{X}\right)V\left(\frac{r+lkxy}{zlkX}\right)dxdydz$
2. परिणाम 1.2: जब $r = o(X^2)$ हो, तो $S_V(X,r) = K(V,r)X^2 + O(\sigma(|r|)) + O(r^\theta X^{1+\varepsilon})$ जहां $K(V,r) = \frac{1}{\zeta(2)}\frac{\sigma(|r|)}{|r|}\int\!\!\!\int\!\!\!\int \frac{1}{t}V(u)V(v)V(t)V\left(\frac{uv}{t}\right)dudvdt$
3. प्रमेय 1.3 (mod-$p$ समरूप): सर्वांगसमता $ad-bc \equiv 1 \pmod{p}$ के लिए, जब $p^{1/100} < X < p/2$ हो, तो $\sum_{ad-bc\equiv 1\pmod{p}}V\left(\frac{a}{X}\right)V\left(\frac{b}{X}\right)V\left(\frac{c}{X}\right)V\left(\frac{d}{X}\right) = \frac{X^4}{p}\left(\int V(t)dt\right)^4 + O(X^2g(p))$ जहां $g(p) \to \infty$ मनमाने ढंग से धीमी गति से।
4. पद्धति संबंधी योगदान:
   • वृत्त विधि से बचना, Fourier विश्लेषण को सीधे लागू करना
   • Kuznetsov सूत्र में Bessel रूपांतरण का परिष्कृत विश्लेषण
   • विधि को $\alpha x_1x_2 - \beta x_3x_4 = r$ और त्रिपद रूप $\alpha x_1x_2 - \beta x_3^2$ तक सामान्यीकृत किया जा सकता है

विधि विस्तार

कार्य परिभाषा

समस्या 1 (निर्धारक समीकरण): दिया गया अशून्य पूर्णांक $r$ और वृद्धि पैरामीटर $X \to \infty$, संतुष्ट करने वाले समाधानों की गणना करें $ad - bc = r, \quad a,b,c,d \in \mathbb{Z}$ और $a,b,c,d \sim X$ (चिकने भार $V$ के साथ)।

समस्या 2 (mod-$p$ सर्वांगसमता): दिया गया बड़ी अभाज्य $p$ और पैरामीटर $X$, संतुष्ट करने वाले समाधानों की गणना करें $ad - bc \equiv 1 \pmod{p}$ और $|a|,|b|,|c|,|d| \leq X$ (चिकने भार के साथ)।

मुख्य विधि संरचना

प्रथम चरण: Poisson योग और आयाम में कमी

$d = (r+bc)/a$ को प्रतिस्थापित करें, शर्त $bc \equiv -r \pmod{a}$ बन जाती है: $S_V(X,r) = \sum_a \sum_c V\left(\frac{a}{X}\right)V\left(\frac{c}{X}\right)\sum_{\substack{b \in \mathbb{Z}\\b \equiv -r\bar{c} \pmod{a}}}V\left(\frac{b}{X}\right)V\left(\frac{r+bc}{aX}\right)$

Poisson योग सूत्र (लेम्मा 2.1) को $b$-योग पर लागू करें: $\sum_{b \equiv -r\bar{c} \pmod{a}}V_{a,c}(b) = \frac{1}{a}\sum_{n \in \mathbb{Z}}e\left(\frac{-nr\bar{c}}{a}\right)\hat{V}_{a,c}\left(\frac{n}{a}\right)$

$n=0$ पद (मुख्य पद) और $n \neq 0$ पद (त्रुटि पद) को अलग करें: $S_V(X,r) = M_V(X,r) + E_V(X,r)$

द्वितीय चरण: मुख्य पद विश्लेषण (अनुभाग 4)

मुख्य पद के लिए, पारस्परिक अभाज्यता शर्त को हटाने के बाद Möbius प्रतिलोम लागू करें: $M_V(X,r) = \sum_{l|r}\sum_{k>0}\frac{\mu(k)}{k}\int V\left(\frac{x}{X}\right)\sum_{a_1}\frac{1}{a_1}V\left(\frac{lka_1}{X}\right)\sum_{c_2}W(c_2,a_1)dx$

$c_2$-योग और $a_1$-योग पर फिर से Poisson योग लागू करें, शून्य आवृत्ति पद को अलग करें, प्रस्ताव 4.1 का स्पष्ट मुख्य पद प्राप्त करें।

तृतीय चरण: त्रुटि पद विश्लेषण (अनुभाग 5-7)

मुख्य रूपांतरण: $c_1$-योग पर Poisson योग लागू करें (लेम्मा 2.2), Kloosterman योग प्राप्त करें: $E_V(X,r) = \sum_{l|r}\sum_{n \neq 0}\int\!\!\int \sum_{a_1}\frac{1}{a_1^2}V_{a_1}(x,y)e\left(\frac{-nx}{a_1}\right)S(nr_1,0,a_1)dxdy$$\quad\quad\quad\quad + \sum_{l|r}\sum_{\substack{m,n \neq 0}}\int\!\!\int \sum_{a_1}\frac{1}{a_1^2}V_{a_1}(x,y)e\left(\frac{-nx-my}{a_1}\right)S(nr_1,-m,a_1)dxdy$

पहले पद को Ramanujan योग की मानक सीमा से $O(\tau(r)X^{1+\varepsilon})$ के रूप में अनुमानित करें।

मुख्य अनुमान (प्रस्ताव 6.1): साबित करने की आवश्यकता है $\sum_{|n| \ll X^\varepsilon/l}\sum_{|m| \ll X^\varepsilon}\sum_{c>0}\frac{1}{c}S(nr_1,-m,c)f\left(\frac{4\pi\sqrt{|mnr_1|}}{c}\right) \ll r^\theta X^\varepsilon$

तकनीकी नवाचार बिंदु

1. Kuznetsov सूत्र का अनुप्रयोग (अनुभाग 6)

Kuznetsov ट्रेस सूत्र (लेम्मा 2.6) लागू करें Kloosterman योग को तीन भागों में विघटित करने के लिए: $\sum_c \frac{1}{c}S(nr_1,-m,c)f\left(\frac{4\pi\sqrt{|mnr_1|}}{c}\right) = \Sigma_{\text{Maass}} + \Sigma_{\text{cont.}} + \Sigma_{\text{hol.}}$

• Maass रूप योगदान: $\Sigma_{\text{Maass}} = \sum_{j=1}^\infty \rho_j(nr_1)\rho_j(m)\check{f}(\kappa_j)$
• सतत वर्णक्रम योगदान: $\Sigma_{\text{cont.}} = \frac{1}{\pi}\int_{-\infty}^\infty \frac{(nmr_1)^{-i\eta}\sigma_{2i\eta}(nr_1)\sigma_{2i\eta}(m)\cosh(\pi\eta)\check{f}(\eta)}{|\zeta(1+2i\eta)|^2}d\eta$
• पूर्ण रूप योगदान: $\Sigma_{\text{hol.}} = \sum_{k \text{ even}}\tilde{f}(k)\sum_{j}\psi_{j,k}(m)\psi_{j,k}(nr_1)$

2. Bessel रूपांतरण का परिष्कृत अनुमान (अनुभाग 6.2-6.3)

मुख्य तकनीक: Mellin प्रतिलोम और Stirling सूत्र के माध्यम से, साबित करें:

प्रस्ताव 6.2: $\check{f}(\eta) \ll X^{2\varepsilon}\frac{e^{-\pi|\eta|}}{|\eta|^{2+\varepsilon}}$

प्रमाण विचार:

1. Mellin प्रतिलोम का उपयोग करके $K_{2i\eta}(t)$ का प्रतिनिधित्व करें (सूत्र 6.7)
2. समाकलन रेखा को $\sigma = -1-\delta$ पर स्थानांतरित करें, $s = \pm 2i\eta$ पर अवशेष एकत्र करें
3. दो बार आंशिक समाकलन करें ($f''(t) \ll t^{-2}$ का उपयोग करके)
4. Stirling अनंतस्पर्शी लागू करें (लेम्मा 2.3)

प्रस्ताव 6.3: $\ddot{f}(\eta) \ll X^\varepsilon \frac{e^{-\pi|\eta|}}{|\eta|^{5/2}}$

3. Maass रूप योगदान का अनुमान (अनुभाग 6.4)

लेम्मा 6.4 (मुख्य तकनीकी लेम्मा): $\sum_{1 \leq n \leq N}|\rho_j(nq)|^2/\cosh(\pi\kappa_j) \ll q^{\theta+\varepsilon}N(N\kappa_j)^\varepsilon$

प्रमाण: Hecke संबंध (2.7) और Kim-Sarnak सीमा ($\theta \leq 7/64$) का उपयोग करें।

प्रस्ताव 6.5: Cauchy-Schwarz असमानता और Weyl नियम (लेम्मा 2.7) लागू करें: $M(X) \ll X^{2\varepsilon}\sum_{K \text{ dyadic}}\frac{1}{K^{2+\varepsilon}}\sum_{\kappa_j \sim K}\kappa_j^\varepsilon \ll r^\theta X^\varepsilon$

4. सतत वर्णक्रम और पूर्ण रूपों का प्रबंधन

• सतत वर्णक्रम (प्रस्ताव 6.6): $\zeta(1+2i\eta)$ के अनंतस्पर्शी गुणों और घातीय क्षय का उपयोग करके, $\Sigma_{\text{cont.}} \ll X^\varepsilon$ प्राप्त करें
• पूर्ण रूप (प्रस्ताव 6.8): Petersson ट्रेस सूत्र, Deligne सीमा और J-Bessel फलन के योग सूत्र (लेम्मा 6.7) लागू करें, $\Sigma_{\text{hol.}} \ll X^\varepsilon$ प्राप्त करें

mod-$p$ समस्या की विधि (अनुभाग 8)

रणनीति अंतर: mod-$p$ समस्या के लिए, लंबकोणीयता लागू करें: $S(X,1,V;p) = \frac{1}{p}\sum_{a,b,c,d}V_X(a,b,c,d) + \frac{1}{p}\sum_{h \neq 0}^*e\left(\frac{-h}{p}\right)\sum V_X(a,b,c,d)e\left(\frac{h(ad-bc)}{p}\right)$

मुख्य तकनीक:

1. केवल दो चर ($c,d$) पर Poisson योग लागू करें (दोहराव से बचने के लिए)
2. $h$ को समाप्त करें, $ac+bd \equiv 0 \pmod{p}$ में रूपांतरित करें
3. फिर से Poisson योग लागू करें और लेम्मा 8.1 का उपयोग करें, द्वैत चर की लघुता ($\ll pg(p)/X$) का लाभ उठाएं

प्रायोगिक सेटअप

यह पेपर एक शुद्ध गणित सैद्धांतिक पेपर है, इसमें संख्यात्मक प्रयोग शामिल नहीं हैं। सभी परिणाम कठोर गणितीय प्रमाण के माध्यम से प्राप्त किए गए हैं।

सैद्धांतिक सत्यापन

1. ज्ञात परिणामों के साथ सामंजस्य:
   • जब $r=0$ या $r=X^2$ हो, तो परिणाम Heath-Brown HB96 के साथ सामंजस्यपूर्ण हैं
   • त्रुटि पद $O(r^\theta X^{1+\varepsilon})$ सामान्य चतुर्थ रूप के $O(X^{3/2+\varepsilon})$ से बेहतर है
2. सीमांत मामले:
   • जब $r = o(X^2)$ हो, तो मुख्य पद $\sim K(V,r)X^2$ अपेक्षित है
   • जब $X < \sqrt{p}$ हो, तो mod-$p$ समस्या निर्धारक समीकरण में परिणत होती है

प्रायोगिक परिणाम

मुख्य परिणाम

प्रमेय 1.1 का अर्थ:

• त्रुटि पद की शक्ति: $O(r^\theta X^{1+\varepsilon})$ जब $r = o(X^{2-\theta-\varepsilon})$ हो तो मुख्य पद $\sim X^2$ से बहुत छोटा है
• वर्तमान सर्वोत्तम: $\theta = 7/64$ जब $r = o(X^{121/64-\varepsilon})$ हो तो स्पर्शोन्मुख सूत्र देता है
• अनुमानित सर्वोत्तम: यदि Ramanujan-Petersson अनुमान सत्य है ($\theta=0$), तो सभी $r = o(X^2)$ के लिए स्पर्शोन्मुख सूत्र है

परिणाम 1.2 का सटीक मुख्य पद: $K(V,r) = \frac{1}{\zeta(2)}\frac{\sigma(|r|)}{|r|}\int\!\!\!\int\!\!\!\int \frac{1}{t}V(u)V(v)V(t)V\left(\frac{uv}{t}\right)dudvdt$

• गुणक $\frac{\sigma(|r|)}{|r|}$ समाधान संख्या पर $r$ की भाजक संरचना के प्रभाव को प्रतिबिंबित करता है
• $\frac{1}{\zeta(2)} = \frac{6}{\pi^2}$ पारस्परिक अभाज्यता शर्त की संभावना से आता है

प्रमेय 1.3 का महत्व:

• Ahmadi-Shparlinski AS07 के परिणाम में सुधार (उन्हें $X \gg p^{1/2+\varepsilon}$ की निश्चित $\varepsilon$ की आवश्यकता थी)
• यह पेपर साबित करता है कि किसी भी $g(p) \to \infty$ के लिए (कितना भी धीमा हो), जब तक $X \gg p^{1/2}g(p)$ हो स्पर्शोन्मुख सूत्र है
• अनुप्रयोग: ऊंचाई $O(p^{1/2+o(1)})$ वाली बड़ी संख्या में मैट्रिक्स mod $p$ के तहत $\text{SL}_2(\mathbb{F}_p)$ से संबंधित हैं

संबंधित कार्यों के साथ तुलना

लाभ:

1. $r$ की सीमा व्यापक है ($X^2$ तक लगभग पहुंचता है)
2. त्रुटि पद $r$ और $X$ पर निर्भरता अधिक इष्टतम है
3. विधि अधिक प्रत्यक्ष है, वृत्त विधि की तकनीकी जटिलता से बचता है

संबंधित कार्य

द्विघात रूप प्रतिनिधित्व सिद्धांत

1. शास्त्रीय सिद्धांत:
   • Jacobi-Siegel सिद्धांत: theta श्रृंखला और मॉड्यूलर रूपों के माध्यम से (Kit86)
   • Siegel प्रमेय: अनिश्चित द्विघात रूप जब $n \geq 4$ हो तो Hasse सिद्धांत संतुष्ट करते हैं (Sie51)
2. वृत्त विधि:
   • Hardy-Ramanujan-Littlewood द्वारा आविष्कृत, Kloosterman आदि द्वारा विकसित
   • Heath-Brown HB96 की "नई रूप वृत्त विधि"
3. वर्णक्रमीय विधि:
   • Deshouillers-Iwaniec DI82, DI83 की अग्रणी कार्य
   • Kuznetsov सूत्र का अनुप्रयोग

निर्धारक समीकरण के अनुप्रयोग

1. L-फलन आघूर्ण: Duke-Friedlander-Iwaniec DFI97
2. Kloosterman भिन्न के त्रिरेखीय रूप: Bettin-Chandee BC18
3. स्थानांतरित कनवल्शन योग: भाजक फलन से संबंधित

mod-$p$ मैट्रिक्स प्रतिनिधित्व

1. Ahmadi-Shparlinski AS07:
   • साबित किया कि $X \gg p^{1/2+\varepsilon}$ हो तो स्पर्शोन्मुख सूत्र है (1.6)
   • परिमित क्षेत्र पर मैट्रिक्स वितरण के लिए अनुप्रयोग
2. यह पेपर सुधार: $\varepsilon$ को किसी भी धीमी $g(p)$ तक कम करें

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

1. सैद्धांतिक योगदान:
   • निर्धारक समीकरण $xy-zw=r$ के लिए लगभग इष्टतम स्पर्शोन्मुख सूत्र स्थापित किया (Ramanujan-Petersson अनुमान के तहत)
   • त्रुटि पद $O(r^\theta X^{1+\varepsilon})$ दोनों आयामों में मजबूत सीमा तक पहुंचता है
2. पद्धति संबंधी योगदान:
   • Poisson योग+Kuznetsov सूत्र की शक्तिशाली क्षमता प्रदर्शित की
   • वृत्त विधि की तकनीकी जटिलता से बचा
   • Bessel रूपांतरण का परिष्कृत विश्लेषण मुख्य तकनीकी नवाचार है
3. अनुप्रयोग मूल्य:
   • L-फलन आघूर्ण अनुमान के लिए बेहतर उपकरण प्रदान करता है
   • mod-$p$ मैट्रिक्स वितरण के लिए लगभग इष्टतम परिणाम देता है

सीमाएं

1. सीमा प्रतिबंध:
   • प्रमेय 1.1 को $r = o(X^2)$ की आवश्यकता है (हालांकि बहुत व्यापक है)
   • प्रमेय 1.3 को $X > p^{1/100}$ की आवश्यकता है (तकनीकी शर्त, शिथिल की जा सकती है)
2. चिकने भार:
   • चिकने फलन $V$ का उपयोग करता है तीव्र कटाव के बजाय
   • तीव्र कटाव का मामला अधिक कठिन है (GG23 देखें)
3. अनसुलझे अनुमान पर निर्भरता:
   • त्रुटि पद Ramanujan-Petersson अनुमान की प्रगति पर निर्भर करता है
   • वर्तमान $\theta = 7/64$, अनुमानित मान $\theta = 0$
4. त्रिपद रूप अप्रबंधित:
   • टिप्पणी 1.4 में विधि को $\alpha x_1x_2 - \beta x_3^2$ तक सामान्यीकृत किया जा सकता है
   • लेकिन पेपर में विस्तृत प्रमाण नहीं दिया गया

भविष्य की दिशाएं

1. अन्य रूपों तक सामान्यीकरण:
   • त्रिपद रूप $\alpha x_1x_2 - \beta x_3^2$ (Salié योग+Proskurin सूत्र का उपयोग करके)
   • अधिक सामान्य अनिश्चित द्विघात रूप
2. त्रुटि पद में सुधार:
   • Ramanujan-Petersson अनुमान की प्रगति का लाभ उठाएं
   • अन्य वर्णक्रमीय विधियों की खोज करें
3. तीव्र कटाव:
   • GG23 में $r$ की सीमा विस्तारित करें (वर्तमान $|r| \leq X^{1/3}$)
   • अधिक परिष्कृत वर्णक्रमीय सिद्धांत उपकरणों की आवश्यकता है
4. अनुप्रयोग:
   • L-फलन आघूर्ण के सुधारित अनुमान
   • स्थानांतरित कनवल्शन योग के नए परिणाम

गहन मूल्यांकन

लाभ

1. विधि नवाचार:
   • Fourier विश्लेषण को सीधे लागू करना वृत्त विधि के बजाय, विचार स्पष्ट है
   • Bessel रूपांतरण का परिष्कृत अनुमान (प्रस्ताव 6.2-6.3) गहन विश्लेषणात्मक कौशल प्रदर्शित करता है
   • समस्या को Kloosterman योग में परिवर्तित करने के बाद वर्णक्रमीय सिद्धांत का उपयोग करना चतुर है
2. परिणाम शक्ति:
   • त्रुटि पद $O(r^\theta X^{1+\varepsilon})$ दोनों पैरामीटरों पर मजबूत सीमा है
   • $r = o(X^2)$ की सीमा लगभग इष्टतम है
   • mod-$p$ परिणाम पहले के सर्वोत्तम परिणाम में सुधार करता है
3. तकनीकी गहराई:
   • Kuznetsov सूत्र के तीनों भाग (Maass, सतत वर्णक्रम, पूर्ण) को परिष्कृत रूप से संभाला
   • लेम्मा 6.4 ($\rho_j(nq)$ के बारे में अनुमान) मुख्य तकनीकी योगदान है
   • Cauchy-Schwarz असमानता+Weyl नियम का संयोजन बहुत प्रभावी है
4. लेखन स्पष्टता:
   • संरचना स्पष्ट, प्रेरणा से प्रमाण तक तर्क सुसंगत है
   • संबंधित कार्यों के साथ तुलना विस्तृत है (टिप्पणी 1.1-1.6)
   • तकनीकी विवरण पूर्ण, पुनरुत्पादनीयता मजबूत है

कमियां

1. चिकने भार प्रतिबंध:
   • तीव्र कटाव का मामला अधिक अनुप्रयोग मूल्य है, लेकिन पेपर में नहीं संभाला
   • हालांकि लेखक GG23 में आंशिक मामले संभालते हैं, लेकिन सीमा संकीर्ण है
2. गहन अनुमान पर निर्भरता:
   • त्रुटि पद का विशिष्ट मान Ramanujan-Petersson अनुमान पर निर्भर करता है
   • वर्तमान $\theta = 7/64$ से $r$ की सीमा $o(X^{121/64})$ है, अभी भी सुधार की गुंजाइश है
3. सामान्यीकरण अधूरा:
   • टिप्पणी 1.4 में त्रिपद रूप तक सामान्यीकरण का उल्लेख है, लेकिन प्रमाण नहीं दिया
   • सामान्य अनिश्चित द्विघात रूप तक सामान्यीकरण स्पष्ट नहीं है
4. अनुप्रयोग प्रदर्शन अपर्याप्त:
   • हालांकि L-फलन आघूर्ण से संबंध का उल्लेख है, लेकिन विशिष्ट अनुप्रयोग नहीं दिया
   • कुछ संख्यात्मक उदाहरण या विशिष्ट अनुप्रयोग परिदृश्य जोड़ सकते हैं

प्रभाव

1. सैद्धांतिक प्रभाव:
   • अनिश्चित द्विघात रूप प्रतिनिधित्व समस्या के लिए नया शक्तिशाली उपकरण प्रदान करता है
   • Bessel रूपांतरण के अनुमान तकनीक अन्य समस्याओं के लिए प्रेरणा हो सकते हैं
   • इस प्रकार की समस्याओं पर वर्णक्रमीय विधि का लाभ प्रदर्शित करता है
2. पद्धति संबंधी प्रभाव:
   • Poisson योग+Kuznetsov सूत्र का प्रतिमान व्यापक रूप से अपनाया जा सकता है
   • वृत्त विधि की जटिलता से बचना, विधि को अधिक सामान्यीकृत करना आसान बनाता है
3. व्यावहारिक मूल्य:
   • L-फलन आघूर्ण अनुमान आदि अनुप्रयोग समस्याओं के लिए बेहतर सैद्धांतिक आधार प्रदान करता है
   • mod-$p$ परिणाम परिमित क्षेत्र पर मैट्रिक्स प्रतिनिधित्व सिद्धांत के लिए सीधा अनुप्रयोग है
4. पुनरुत्पादनीयता:
   • प्रमाण पूर्ण, तकनीकी विवरण स्पष्ट है
   • निर्भर उपकरण (Kuznetsov सूत्र, Weyl नियम आदि) मानक हैं
   • उच्च पुनरुत्पादनीयता

लागू परिदृश्य

1. सैद्धांतिक अनुसंधान:
   • अनिश्चित द्विघात रूप प्रतिनिधित्व समस्या
   • Kloosterman योग का अनुमान
   • स्वचालित रूप के वर्णक्रमीय सिद्धांत अनुप्रयोग
2. विश्लेषणात्मक संख्या सिद्धांत:
   • L-फलन आघूर्ण का अनुमान
   • स्थानांतरित कनवल्शन योग
   • घातीय योग का अनुमान
3. बीजगणितीय संख्या सिद्धांत:
   • Hasse सिद्धांत का परिमाणात्मक संस्करण
   • समाकल Brauer-Manin बाधा
4. परिमित क्षेत्र:
   • परिमित क्षेत्र पर मैट्रिक्स का वितरण
   • अभाज्य मॉड्यूलो सर्वांगसमता समस्याएं

संदर्भ साहित्य (मुख्य संदर्भ)

1. HB96 Heath-Brown, D. R. "A new form of the circle method, and its application to quadratic forms." J. Reine Angew. Math. 481 (1996): 149-206.
   • द्विघात रूप समस्याओं पर वृत्त विधि का अनुप्रयोग, पेपर का मुख्य तुलना वस्तु
2. DI83 Deshouillers, J.-M., and Iwaniec, H. "Kloosterman sums and Fourier coefficients of cusp forms." Invent. Math. 70 (1982/83): 219-288.
   • Kuznetsov सूत्र का शास्त्रीय संदर्भ
3. Kim03 Kim, H. H. "Functoriality for the exterior square of GL₄ and the symmetric fourth of GL₂." J. Amer. Math. Soc. 16 (2003): 139-183.
   • Ramanujan-Petersson अनुमान का सर्वोत्तम ज्ञात परिणाम $\theta \leq 7/64$
4. IK04 Iwaniec, H., and Kowalski, E. Analytic Number Theory. AMS, 2004.
   • विश्लेषणात्मक संख्या सिद्धांत की मानक संदर्भ पुस्तक
5. GG23 Ganguly, S., and Guria, R. "Counting lattice points on determinant surfaces and spectral methods of automorphic forms." Submitted, 2023.
   • लेखकों का पूर्व कार्य, तीव्र कटाव के मामले को संभालता है
6. AS07 Ahmadi, O., and Shparlinski, I. E. "Distribution of matrices with restricted entries over finite fields." Indag. Math. 18 (2007): 327-337.
   • mod-$p$ समस्या का पूर्व कार्य

समग्र मूल्यांकन: यह एक उच्च गुणवत्ता वाला विश्लेषणात्मक संख्या सिद्धांत पेपर है, जो Fourier विश्लेषण और स्वचालित रूपों के वर्णक्रमीय सिद्धांत को चतुराई से संयोजित करके, शास्त्रीय निर्धारक समीकरण समाधान गणना समस्या के लिए लगभग इष्टतम परिणाम देता है। विधि नवीन है, तकनीक गहन है, परिणाम शक्तिशाली है, इस क्षेत्र में महत्वपूर्ण योगदान है। विशेष रूप से Bessel रूपांतरण का परिष्कृत अनुमान और $r$ निर्भरता का प्रबंधन लेखकों की गहन विश्लेषणात्मक क्षमता प्रदर्शित करता है। पेपर लेखन स्पष्ट है, तर्क कठोर है, वर्णक्रमीय विधि अनुप्रयोग का उत्कृष्ट उदाहरण है।