Dead ends in square-free digit walks

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

بيان المشكلة
تبحث الورقة في وجود وكثافة "النهايات المسدودة" (dead ends) في مسارات الأرقام الخالية من المربعات. يُعرَّف المسار الخالي من المربعات في القاعدة $b$ بأنه يبدأ بعدد $N_0$ خالٍ من المربعات، ويحاول بناء متتالية لانهائية $N_0, N_1, N_2, \dots$ حيث يتم تشكيل كل حد لاحق بإضافة رقم $d \in \{0, \dots, b-1\}$ بحيث يظل $N_{k+1} = bN_k + d$ خالياً من المربعات.

يُعرَّف العدد الصحيح الموجب $N$ بأنه نهاية مسدودة إذا كان:

1. $N$ خالياً من المربات.
2. لكل رقم $d$ في القاعدة، يكون الامتداد $bN + d$ ليس خالياً من المربعات.

السؤال المركزي، الذي طرحه ميلر وآخرون [5]، هو ما إذا كانت المسارات اللانهائية الخالية من المربعات موجودة. وبينما يشير نموذج عشوائي ("نموذج Blind Unlimited") إلى أن المسارات اللانهائية موجودة باحتمالية تقترب من 1 (مما يعني أن النهايات المسدودة نادرة، بكثافة تقاربية تبلغ $\approx 5.218 \times 10^{-5}$ في القاعدة 10)، فإن هذه الورقة تحلل بدقة الكثافة الحسابية الفعلية للنهايات المسدودة لتحديد ما إذا كان التنبؤ العشوائي صائباً.

المنهجية
يستخدم المؤلفون مزيجاً من نظرية الأعداد متعددة الحدود الأساسية ومبادئ الاحتواء والاستبعاد، متجنبين الافتراضات الاحتمالية للنموذج العشوائي.

1. دوال المؤشر: تمت إعادة صياغة المشكلة باستخدام دالة موبيوس $\mu(n)$. وبما أن $\mu(n)^2$ هي دالة المؤشر للأعداد الخالية من المربعات، فقد تم التعبير عن مؤشر النهاية المسدودة $N$ كالتالي:
   $$\mathbb{1}_{N \text{ is dead end}} = \mu(N)^2 \prod_{d \in D} (1 - \mu(bN + d)^2)$$
   حيث $D$ هي مجموعة الأرقام.

2. الاحتواء والاستبعاد: يتم توسيع حد الضرب إلى مجموع على جميع المجموعات الجزئية $S$ لمجموعة الأرقام. هذا يحول دالة العد $D_b(X)$ (عدد النهايات المسدودة $\le X$) إلى مجموع متبادل لدوال العد $Q_S(X)$، حيث تحصي $Q_S(X)$ الأعداد $n \le X$ بحيث يكون $n$ وجميع امتداداته $bn+d$(لـ$d \in S$) خالية من المربعات.

3. تحليل المنخل (Sieve Analysis): بالنسبة لمجموعة جزئية ثابتة $S$، يتم تحليل شرط أن يكون $n$ و $bn+d$خاليين من المربعات، رقم برقم أولي. يحدد المؤلفون فئات البواقي "السيئة"$\pmod{p^2}$ التي يجب تجنبها. وباستخدام نظرية الباقي الصينية، يحددون كثافة الأعداد التي تتجنب هذه الفئات.

   • بالنسبة للأعداد الأولية الكبيرة (حيث $p \nmid b$)، فإن الشرط $p^2 \mid (bn+d)$ يجبر $n$ على الدخول في فئة باقية واحدة $\pmod{p^2}$. ومن الأهمية بمكان أن مربع أولي واحد يمكن أن يعيق امتداداً رقمياً واحداً فقط في كل مرة.
   • يتم التعبير عن الكثافة كحاصل ضرب لانهائي (حاصل ضرب أويلر) للعوامل المحلية $(1 - \nu_{p,b}(S)/p^2)$، حيث $\nu_{p,b}(S)$ يحصي عدد فئات البواقي الممنوعة $\pmod{p^2}$.

4. التحكم في حد الخطأ: تقوم البرهنة بدقة بضبط حدود الخطأ الناجمة عن قطع المنخل عند معلمة $z$ وعن مساهمة الأعداد الأولية الكبيرة، مما يؤدي إلى حد خطأ قدره $O(X/\sqrt{\log X})$.

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

• النظرية 1.1 (القاعدة 10): الكثافة التقاربية للنهايات المسدودة في القاعدة 10 موجودة وتُعطى بـ:
  $$c_{\text{dead}} = \sum_{S \subseteq \{0,\dots,9\}} (-1)^{|S|} \prod_{p \text{ prime}} \left( 1 - \frac{\nu_p(S)}{p^2} \right)$$
  حيث $\nu_p(S)$ هو عدد فئات البواقي $n \pmod{p^2}$ بحيث $p^2 \mid n$ أو $p^2 \mid (10n+d)$ لأي $d \in S$.
  القيمة المحسوبة هي $c_{\text{dead}} \approx 1.317 \times 10^{-9}$.

• النظرية 1.2 (القاعدة العامة $b$): تعمم النتيجة لأي قاعدة $b \ge 2$. تُعطى الكثافة $c_{\text{dead}}(b)$ بتعبير مشابه يتضمن مجموعاً متبادلاً لحواصل ضرب أويلر. تقدم الورقة تقريبات محسوبة للقواعد الأولية $b \in \{2, 3, 5, 7\}$.

• التباين مع النماذج العشوائية: الكثافة الحقيقية ($\approx 1.3 \times 10^{-9}$) أصغر بنحو 40,000 مرة من التنبؤ العشوائي ($\approx 5.2 \times 10^{-5}$). ويعزو المؤلفون ذلك إلى التبعيات الحسابية: يفترض النموذج العشوائي الساذج استقلالية امتدادات الأرقام، ولكن في الواقع، يتطلب فشل جميع الامتدادات العشرة في آن واحد حدوث إعاقة متزامنة بواسطة العديد من مربعات الأعداد الأولية المتميزة، وهو شرط أكثر صرامة بكثير مما يوحي به نموذج الاحتمالية المستقلة.

الأهمية والادعاءات

• حل التخمين: توضح الورقة أنه بينما يتنبأ الهيورستيك العشوائي بأن المسارات اللانهائية شبه مؤكدة، فإن البنية الحسابية الفعلية تجعل النهايات المسدودة أندر بكثير مما هو متوقع. ومع ذلك، يظل وجود مسار لانهائي مسألة مفتوحة؛ فالورقة تحدد ندرة "العوائق" (النهايات المسدودة) لكنها لا تثبت وجود مسار لانهائي.
• النمذجة الرسمية: أحد الادعاءات الرئيسية للورقة هو أن النظرية الرئيسية (النظرية 1.2) قد تم صياغتها رسمياً بالكامل في Lean/Mathlib وتم إنتاج البرهان تلقائياً بواسطة أداة ذكاء اصطناعي تسمى AxiomProver. تم تزويد النظام فقط ببيان للمشكلة باللغة الطبيعية، وقام النظام باستنباط الصيغة المغلقة والبرهان بشكل مستقل.
• السياق التاريخي (تحديث): يشير المؤلفون إلى أنه بعد النشر الأولي في arXiv، علموا من كانان سونداراراجان أن النتيجة الرئيسية قد تم الحصول عليها مسبقاً من قبل ميرسكي في عام 1947 [6]. وتُقر الورقة بأن عمل ميلر وآخرون لعام 2024 [5] لم يشر إلى هذا العمل السابق. وبناءً عليه، بينما يعد الصياغة الرسمية في Lean برهاناً آلياً صالحاً، يذكر المؤلفون أن المخطوطة لن تُقدم للنشر في مجلة كإسهام بحثي أولي، بل ستعمل كدراسة حالة للبرهنة النظرية الآلية.

الخلاصة
تقدم الورقة اشتقاقاً حسابياً دقيقاً لكثافة النهايات المسدودة في مسارات الأرقام الخالية من المربعات، مما يكشف عن انحراف هائل عن التنبؤات العشوائية بسبب التبعيات نظرية الأعداد. وتكمن مساهمتها الأكثر حداثة، كما صاغها المؤلفون، في النجاح في الصياغة الرسمية الكاملة لهذه النتيجة باستخدام AxiomProver، مما يثبت قدرة أنظمة الذكاء الاصطنا الحالي على التعامل مع مسائل غير تافهة في نظرية الأعداد التحليلية.