Missing digits and sums of two prime squares

ملخص تقني: الأرقام المفقودة ومجموع مربعات عددين أوليين

بيان المسألة
تبحث هذه الورقة في التقاطع بين مجالين متميزين في النظرية التحليلية للأعداد: الأعداد الصحيحة ذات الأرقام المفقودة في تمثيلها بأساس-$g$، وتمثيل الأعداد الصحيحة كمجموع لمربعي عددين أوليين. وتحديداً، يدرس المؤلف مجموعة $A(X)$ من الأعداد الصحيحة حتى $X = g^k$ التي يخلو تمثيلها بأساس-$g$ من رقم ثابت $b$ ($0 \le b < g$). الهدف الرئيسي هو تحديد السلوك التقاربي والعدد لجزئية $A(X)$ التي يمكن كتابتها على صورة $n = p^2 + q^2$ حيث $p, q$ أعداد أولية.

تركز الدراسة على كميتين رئيسيتين:

1. العد الموزون للتمثيلات، والمعرف بمجموع دالة فون مانغولد (von Mangoldt) عبر التمثيلات: $r_2(n) = \sum_{a^2+b^2=n} \Lambda(a)\Lambda(b)$.
2. العد غير الموزون للتمثيلات، والمعرف بعدد أزواج الأعداد الأولية: $r^*(n) = \#\{(p, q) \in \mathbb{P}^2 : p^2 + q^2 = n\}$.

المنهجية
تستخدم الورقة مزيجاً من طريقة الدائرة (Hardy–Littlewood circle method) ونظرية الغربال (sieve theory)، مع تكييف تقنيات استخدمها ماينارد [14] للأعداد الأولية ذات الأرقام المفقودة، والمؤلف نفسه [17] لمجموع مربعي عددين أوليين.

1. طريقة الدائرة للمجاميع الموزونة (المبرهنة 1.1):
   يعتمد برهان متوسط $r_2(n)$ عبر مجموعة الأرقام المفقودة على طريقة الدائرة. يتم تقسيم الفترة الوحدة إلى أقواس كبرى (قرب الأعداد النسبية ذات المقامات الصغيرة) وأقواس صغرى.

• الأقواس الكبرى: يتضمن التحليل تقييم السلسلة المنفردة (singular series)، مما يتطلب فهم الكثافة المحلية للحلول للمعادلة $u^2 + v^2 \equiv a \pmod q$ حيث $u, v$ أعداد أولية فيما بينها بالنسبة للمقياس $q$. وتتمثل الجدة الرئيسية في اشتقاق عامل محلي $S(b, g)$ يعتمد على الرقم المفقود $b$ والتحليل الأولي للأساس $g$.
• الأقواس الصغرى: يستفيد المؤلف من خصائص التضاؤل القوي لـ Fourier (Fourier decay) لدالة المؤشر لمجموعة الرقم المفقود (التي أثبتها ماينارد [14]) مقترنة بتقديرات المجموع الأسي للأعداد الأولية (التمهيدية 2.4) لحد من مساهمة الأقواس الصغرى.

2. العزم الثاني وطرق الغربال (المبرهنة 1.4):
   لدراسة الدالة غير الموزونة $r^*(n)$، تحلل الورقة العزم الثاني $\sum (r^*(n)^2 - 2r^*(n))$ الذي يحصي الحلول خارج القطر لـ $p_1^2 + q_1^2 = p_2^2 + q_2^2$.

• التحليل في $\mathbb{Z}[i]$: يكيف المؤلف فكرة من [17] عبر تحليل المعادلة $p_1^2 + q_1^2 = p_2^2 + q_2^2$ في الأعداد الجاوسية كـ $(a+ib)(c+id) = (a-ib)(c-id)$(حسب الوحدات). يحول هذا المشكلة إلى عد الحلول حيث تكون الأشكال الخطية في$a, b, c, d$ أعداد أولية.
• هجين الغربال وطريقة الدائرة: يتم تخفيف شرط الأولية باستخدام غربال علوي (التمهيدية 2.11) للسماح بالأعداد "الخشنة" (rough integers). ثم يتم تحليل المجموع الناتج باستخدام طريقة الدائرة. ومن الأهمية بمكان أن الأقواس الكبرى لهذا المجموع الثاني تُعرف بعرض أرفع بكثير ($\exp(O(\log X)^{1/2})$) مقارنة بالجزء الأول، مما يستلزم تقديرات أكثر دقة للمجموع الأسي (التمهيدية 2.10) للتعامل مع الأقواس الصغرى.

النتائج الرئيسية

• المبرهنة 1.1 (المتوسط الموزون): بالنسبة لأس $g$ كبير بما يكفي، يحقق المجموع الموزون للتمثيلات:
  $$\sum_{n \in A(X)} r_2(n) = S(b, g) \cdot \frac{\pi}{4} \#A(X) + O_A\left(\frac{\#A(X)}{(\log X)^A}\right)$$
  حيث يعتمد العامل المحلي $S(b, g) = \frac{g}{g-1}\left(1 - \frac{\rho(b; g)}{\phi^2(g)}\right)$ على الرقم المفقود $b$. وتشير الورقة إلى انحياز مثير للاهتمام: يتم تعظيم $S(b, g)$ عندما يكون $b=0$ ويكون لـ $g$ عامل أولي $p \equiv 3 \pmod 4$، ويتم تقليله عندما يكون $b=0$ وجميع العوامل الأولية لـ $g$ هي $\equiv 1 \pmod 4$.

• النتيجة 1.3: باستخدام المبرهنة 1.1 والجمع الجزئي، تثبت الورقة حداً أدنى للمجموع غير الموزون:
  $$\sum_{n \in A(X)} r^*(n) \asymp \frac{\#A(X)}{(\log X)^2}$$

• المبرهنة 1.4 (حد العزم الثاني): تثبت الورقة حداً علوياً للمساهمة خارج القطر:
  $$\sum_{n \in A(X)} (r^*(n)^2 - 2r^*(n)) \ll \frac{\#A(X)(\log \log X)^4}{\log X}$$
  يعزو المؤلف صراحةً فقدان عامل $(\log X)^2$ في حد الخطأ إلى عدم القدرة على جعل الأقواس الكبرى رقيقة بما يكفي، وهو قيد ناتج عن غياب حدود $L^\infty$ لتحويل Fourier لدالة مؤشر الرقم المفقود.

• المبرهنة 1.6 (عدد الأعداد القابلة للتمثيل): من خلال الجمع بين العزم الأول (النتيجة 1.3) والعزم الثاني (المبرهنة 1.4) عبر متباينات كوشي-شفارز وماركوف، تستنتج الورقة حداً أدنى غير بديهي لعدد الأعداد ذات الأرقام المفقودة التي يمكن تمثيلها كمجموع لمربعي عددين أوليين:
  $$\frac{\#A(X)}{(\log X)^3 (\log \log X)^4} \ll \#\{n \in A(X) : r^*(n) > 0\} \ll \frac{\#A(X)}{(\log X)^2}$$

الأهمية والادعاءات
تساهم هذه الورقة في الجسم المتنامي من الأدبيات المتعلقة بمسائل "الأرقام المفقودة" عبر توسيع النطاق من الأعداد الأولية المفردة (ماينارد [14]) وثلاثة أعداد أولية (ماير-راسيس [12]، لينج-ساونهي [10]) إلى المسائل الجمعية لمربعات الأعداد الأولية.

يدعي المؤلف الأهمية التالية:

1. اكتشاف الانحياز: يكشف اشتقاق العامل المحلي $S(b, g)$ عن انحياز حسابي محدد في توزيع هذه الأعداد اعتماداً على الرقم المفقود والعوامل الأولية للأساس.
2. الوجود غير البديهي: تثبت المبرهنة 1.6 وجود عدد لا نهائي من الأعداد ذات الأرقام المفقودة التي هي مجموع لمربعي عددين أوليين، مما يوفر حداً أدنى، ورغم أنه ليس تقاربياً، إلا أنه أفضل بكثير من الحدود البديهية.
3. التركيب المنهجي: يوضح العمل جدوى الجمع بين طريقة الدائرة وتقديرات الغربال للتعامل مع العزم الثاني لدوال التمثيل فوق المجموعات الضئيلة المعرفة بقيود الأرقام.

تظل الورقة متواضعة فيما يتعلق بحدة الحد الأدنى في المبرهنة 1.6. يذكر المؤلف صراحة أن الحصول على التقارب المتوقع $\sim \frac{\pi}{2} S(b, g) \frac{\#A(X)}{(\log X)^2}$ يعوقه حالياً فقدان عامل $(\log X)^2$ في تقدير العزم الثاني، وهو ما يعد نتيجة مباشرة للقيود في فهم حدود $L^\infty$ لتحويل Fourier لمجموعة الرقم المفقود. كما لوحظ أن النتائج تمتد لتشمل حالات يتم فيها فقدان عدة أرقام، بشرط أن يكون عدد الأرقام المفقودة صغيراً بما يكفي بالنسبة للأساس.