توزيع النقاط الصحيحة على سطوح المحددات وتناظر mod-p

المعلومات الأساسية

• معرّف الورقة: 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$، يصح مبدأ Hasse (نظرية Siegel). لكن الحصول على حدود خطأ قوية صريحة تعتمد على $r$ يشكل صعوبة تقنية.

حدود الطرق الموجودة

1. طريقة Hasse-Brown الدائرية HB96:
   • تعاملت فقط مع الحالات الخاصة $r=0$ و $r=X^2$
   • بالنسبة للأشكال التربيعية الرباعية العامة، حد الخطأ هو $O(X^{3/2+\varepsilon})$
   • لا يمكنها التعامل بفعالية مع $r$ كمتغير مستقل
2. تحسين Getz Get18:
   • حسّن حد الخطأ من خلال "تحسين Kloosterman المزدوج"
   • لكنه ينطبق فقط على حالة $r=0$ (لأن $S_q(c)$ قابلة للضرب فيما يتعلق بـ $q$ فقط عندما $c=0$)
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. المساهمات المنهجية:
   • تجنب استخدام الطريقة الدائرية، تطبيق التحليل التوافقي مباشرة
   • تحليل دقيق لتحويل Bessel في صيغة Kuznetsov
   • يمكن تعميم الطريقة على $\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$

بتطبيق صيغة Poisson مرة أخرى على المجاميع على $c_2$ و $a_1$، مع فصل حد التردد الصفري، نحصل على الحد الرئيسي الصريح في القضية 4.1.

الخطوة الثالثة: تحليل حد الخطأ (الأقسام 5-7)

التحويل الرئيسي: بتطبيق صيغة Poisson على المجموع على $c_1$ (اللمة 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. تمثيل $K_{2i\eta}(t)$ بانعكاس Mellin (الصيغة 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. تطبيق صيغة Poisson على متغيرين فقط ($c,d$) (تجنب التكرار)
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})$ أصغر بكثير من الحد الرئيسي $\sim X^2$ عندما يكون $r = o(X^{2-\theta-\varepsilon})$
• الأمثل حالياً: $\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)})$ تنتمي إلى $\text{SL}_2(\mathbb{F}_p)$ mod $p$

المقارنة مع الأعمال ذات الصلة

المزايا:

1. نطاق $r$ أوسع (يقترب تقريباً من $X^2$)
2. اعتماد حد الخطأ على $r$ و $X$ أفضل
3. الطريقة أكثر مباشرة، تتجنب التعقيد التقني للطريقة الدائرية

الأعمال ذات الصلة

نظرية تمثيل الأشكال التربيعية

1. النظرية الكلاسيكية:
   • نظرية Jacobi-Siegel: دراسة من خلال سلاسل theta والأشكال المعيارية (Kit86)
   • نظرية Siegel: الأشكال التربيعية غير المحددة تحقق مبدأ Hasse عندما $n \geq 4$ (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. القطع الحاد:
   • توسيع نطاق $r$ في GG23 (حالياً $|r| \leq X^{1/3}$)
   • يتطلب أدوات نظرية طيفية أكثر دقة
4. التطبيقات:
   • تقديرات محسّنة لعزوم دوال L
   • نتائج جديدة للمجاميع المزاحة

التقييم المتعمق

المزايا

1. الابتكار المنهجي:
   • تطبيق التحليل التوافقي مباشرة بدلاً من الطريقة الدائرية، الفكرة واضحة
   • التقديرات الدقيقة لتحويل 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. الحقول المحدودة:
   • توزيع المصفوفات على الحقول المحدودة
   • مسائل التطابق modulo عدد أولي

المراجع الرئيسية

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$

التقييم الإجمالي: هذه ورقة عالية الجودة في نظرية الأعداد التحليلية، تجمع بذكاء بين التحليل التوافقي ونظرية الأشكال الذاتية الطيفية لإعطاء نتائج شبه مثلى لمسألة عد الحلول الصحيحة للمعادلة المحددة الكلاسيكية. الطريقة مبتكرة، التقنيات عميقة، النتائج قوية، وتشكل مساهمة مهمة في هذا المجال. بشكل خاص، التقديرات الدقيقة لتحويل Bessel ومعالجة الاعتماد على $r$ تعكس براعة تحليلية عميقة. الكتابة واضحة، المنطق صارم، وهي نموذج ممتاز لتطبيق الطرق الطيفية.