Almost all primes are partially regular

ملخص تقني: "معظم الأعداد الأولية هي أولية جزئية الانتظام"

بيان المسألة
تتناول الورقة البحثية توزيع حالات عدم الانتظام في حساب الحقول السيكلوطومية (الدائرية). لأي عدد أولي فردي $p$، ليكن $K_p = \mathbb{Q}(\zeta_p)$ هو الحقل السيكلوطومي الـ $p$-ي، و $Cl(K_p)$ هو زمرة الفئات المثالية الخاصة به. يُعرَّف العدد الأولي $p$ كلاسيكيًا بأنه منتظم إذا كان $p$ لا يقسم عدد الفئات $|Cl(K_p)|$، وهو شرط يكافئ عدم قسمة $p$ لبسط أي عدد برنولي $B_{2k}$ لـ $2 \le 2k \le p-3$. وبينما يُعرف وجود أعداد أولية غير منتظمة (جنسن)، فإن كثافتها يُفترض أن تكون تقريبًا $1 - e^{-1/2}$.

يتقصى المؤلفون مفهومًا أضعف يسمى الانتظام الجزئي. يُعرَّف العدد الأولي الفردي $p$ بأنه $m$-منتظم إذا كان $p \nmid \text{num}(B_{2k})$ لجميع الأعداد الزوجية $2k$ في النطاق $2 \le 2k \le \min(m, p-3)$. والسؤال المركزي هو ما إذا كانت هناك مجموعة ذات "كثافة واحد" من الأعداد الأولية تحقق الانتظام الجزئي لنطاق محدد $M_\alpha(p)$ ينمو مع $p$، حيث $M_\alpha(p) \approx \sqrt{p}/(\log p)^\alpha$ لـ $\alpha > 1/2$.

المنهجية
يعتمد إثبات النظرية الرئيسية على تقنيات نظرية الأعداد التحليلية المتعلقة بنمو بسور أعداد برنولي وتوزيع القواسم الأولية. تسير المنهجية كما يلي:

1. الاختزال إلى نطاق موحد: حدد المؤلفون حدًا موحدًا $m_X = \lfloor \sqrt{X}/(\log X)^\alpha \rfloor$ للأعداد الأولية $p \le X$. وأظهروا أنه إذا فشل عدد أولي $p \le X$ في أن يكون $M_\alpha(p)$-منتظمًا، فإنه سيفشل أيضًا في أن يكون $m_X$-منتظمًا (لـ $X$ كبيرة بما يكفي).
2. تحديد الأعداد الأولية غير المنتظمة: باستخدام اللمة 2.1، تم تحديد عدد الأعداد الأولية $p \le X$ التي ليست $m_X$-منتظمة عبر $\omega_{pf}(P_{m_X})$، حيث $P_{m_X}$ هو حاصل ضرب بسور أعداد برنولي $B_{2k}$ لـ $1 \le k \le m_X$، و $\omega_{pf}(n)$ يمثل عدد القواسم الأولية المتميزة لـ $n$.
3. تقدير بسور أعداد برنولي: اشتق المؤلفون حدًا علويًا لـ $\log |P_m|$ باستخدام صيغة أويلر لـ $\zeta(2k)$ ونظرية فون ستودت-كلاوزن. وثبتوا أن $\log P_m \le C_2 m^2 \log m$.
4. عد القواسم الأولية: بتطبيق نظرية الأعداد الأولية وخصائص دالة البريموريال (primorial function)، حددوا $\omega_{pf}(P_{m_X})$ بـ $C_3 \frac{\log P_{m_X}}{\log \log P_{m_X}}$.
5. التحليل التقاربي: من خلال دمج هذه التقديرات، تبين أن عدد الأعداد الأولية غير المنتظمة محكوم بـ $O\left(\frac{X}{(\log X)^{2\alpha}}\right)$. وبما أن $\alpha > 1/2$، فإن الأس $2\alpha > 1$ يضمن أن كثافة الأعداد الأولية غير المنتظمة تؤول إلى الصفر عندما $X \to \infty$.

المساهمات والنتائج الرئيسية
تثبت الورقة النتيجة الرئيسية التالية:

• النظرية 1.1: لأي $\alpha > 1/2$ ثابتة، فإن مجموعة الأعداد الأولية $p$ التي ليست $M_\alpha(p)$-منتظمة لها كثافة تقاربية صفر. وتحديدًا، يتم تحديد عدد هذه الأعداد حتى $X$ بـ $C_\alpha \frac{X}{(\log X)^{2\alpha}}$. ويشير المؤلفون إلى أنه يمكن اختيار الثابت $C_\alpha$ بشكل مستقل عن $\alpha$ (تحديدًا $C_\alpha = 10$).

الاستنتاجات والآثار المترتبة
تستخلص الورقة عدة نتائج هامة من نتيجة الانتظام الجزئي هذه:

1. نظرية فاندير (Partial Vandiver Theorem) (الاستنتاج 1.4): من خلال الجمع بين النظرية 1.1 ونظرية هيربراند-ريبيه (التي تربط الفضاءات الذاتية الفردية للحقل الفئوي بأعداد برنولي) ومبدأ الانعكاس لليوبولدت (الذي يربط الفضاءات الذاتية الزوجية والفردية)، يثبت المؤلفون أنه بالنسبة لمجموعة ذات كثافة واحد من الأعداد الأولية، فإن الفضاءات الذاتية الزوجية $A_p(\omega^{2k})$ لـ $p$-جزء من الحقل الفئوي تتلاشى لجميع $2k \le M_\alpha(p)$. وهذا يوفر تحققًا جزئيًا من حدسية كومر-فاندير.
2. عدم تلاشي دالات $L$ الـ $p$-آدية (الاستنتاج 1.5): عبر فرضية إيساوا الرئيسية (مازور-وايلز)، فإن تلاشي الفضاءات الذاتية الجبرية يعني أن دالات $L$ الـ $p$-آدية المرتبطة بها $L_p(s, \omega^{2k})$ هي وحدات في جبر إيساوا $\Lambda = \mathbb{Z}_p[[T]]$. وبناءً على ذلك، فإن هذه الدالات لا تملك أصفارًا في $\mathbb{Z}_p لمعظم الأعداد الأولية.
3. التطابقات ونظرية $K$ (الاستنتاج 1.7): تعني النتيجة أنه لمعظم الأعداد الأولية:
   • تتحقق تطابقات مجموع قوى محددة تتضمن أعداد برنولي بمقاس $p^2$.
   • لا توجد تطابقات بين أشكال هيكه (Hecke eigenforms) المنسوبة لـ level 1 ووزن $2k$ والمنظمة (normalized cuspidal) بمقاس $p$ للأوزان الصغيرة.
   • مجموعات $K$ الجبرية $K_{4k-2}(\mathbb{Z})$ لا تحتوي على $p$-torsion لهذه الأوزان.

الأهمية والتحقق
تسلط الورقة الضوء على جانبين رئيسيين لأهميتها:

1. النتيجة الرياضية: تقدم إثباتًا صارمًا بأن "معظم" الأعداد الأولية تحقق شكلًا قويًا من الانتظام الجزئي، مما يوسع فهم توزيع الأعداد الأولية غير المنتظمة ويقدم حلًا جزئيًا لحدسية فاندير في نطاق محدد.
2. الصورية والذكاء الاصطناعي: تعمل الورقة كحالة دراسية لأداة AxiomProver، وهي أداة ذكاء اصطناعي قيد التطوير. يذكر المؤلفون أن النظرية 1.1 قد تم إثباتها وصياغتها رسميًا بالكامل في Lean/Mathlib (الإصدار 4.26.0) بواسطة AxiomProver، بدءًا فقط من بيان طبيعي للحدسية، دون مساعدة بشرية في توليد البرهان. ثم أعاد المؤلفون البشريون بناء السرد التفسيري بناءً على البرهان الرسمي. الكود والمواد المرافقة متاحة علنًا في مستودع AxiomMath.

يؤكد المؤلفون أن الذكاء الاصطناعي لم يقم بإعادة إثبات نظريات خارجية عميقة (مثل هيربراند-ريبيه أو الحدسية الرئيسية) بل اشتق بشكل مستقل التقدير التحليلي المحدد المطلوب للنظرية 1.1، بما في ذلك الاشتقاق المستقل لحد مرتبط بنظرية فون ستودت-كلاوزن.