2025-11-21T02:43:15.649030

An effective analytic recurrence for prime numbers

Cloitre
The Golomb--Keller formula expresses the next prime $p_{n+1}$ as a recurrence relation in terms of the first $n$ primes $p_1, \ldots, p_n$ using the Riemann zeta function and an Euler product, but requires taking a limit as $s \to \infty$, rendering it non-constructive. We transform this asymptotic formula into an effective recurrence by proving that a finite parameter $s \leq p_n$ suffices when combined with the ceiling function, establishing a constructive method valid for all $n \geq 1$. The minimal integer parameter $s_n$ (OEIS A389650) reveals deep connections to prime constellations. We prove $\liminf_{n\to\infty} σ_n = 0$ unconditionally, where $σ_n = s_n/p_n$. The limit superior $C = \limsup σ_n$ satisfies $\log ψ\lesssim C \leq 0.4332$, where $ψ\approx 1.46557$ is the supergolden ratio. The lower bound is conditional on the twin prime conjecture; the upper bound is unconditional. The constant $C$ relates to the densest admissible prime constellation, connecting to the Hardy--Littlewood conjectures. The method extends to Dirichlet L-functions, yielding other effective formulas for calculating $p_{n+1}$ but also for predicting residues of $p_{n+1}$ modulo any integer with reduced precision requirements.
academic

صيغة تحليلية فعالة متكررة للأعداد الأولية

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

  • معرّف الورقة: 2508.02690
  • العنوان: An effective analytic recurrence for prime numbers
  • المؤلف: Benoit Cloitre
  • التصنيف: math.NT (نظرية الأعداد)، math.HO (التاريخ والنظرة العامة)
  • تاريخ النشر: 12 أكتوبر 2025 (arXiv v2)
  • رابط الورقة: https://arxiv.org/abs/2508.02690v2

الملخص

تعبّر صيغة جولومب-كيلر عن العدد الأولي التالي pn+1p_{n+1} من خلال دالة ريمان زيتا والجداء الأويلري، كعلاقة متكررة للأعداد الأولية الأولى p1,…,pnp_1, \ldots, p_n، لكنها تتطلب أخذ النهاية s→∞s \to \infty، مما يجعلها غير قابلة للاستخدام البنائي. تحول هذه الورقة هذه الصيغة المقاربة إلى متكررة فعالة من خلال إثبات أن معامل محدود s≤pns \leq p_n مع دالة السقف يكفي، مما يؤسس طريقة بنائية فعالة لجميع n≥1n \geq 1.

يكشف المعامل الصحيح الأصغر sns_n (OEIS A389650) عن ارتباطات عميقة مع تجمعات الأعداد الأولية. يثبت المؤلف بدون شروط أن lim inf⁡n→∞σn=0\liminf_{n\to\infty} \sigma_n = 0، حيث σn=sn/pn\sigma_n = s_n/p_n. يحقق الحد الأعلى C=lim sup⁡σnC = \limsup \sigma_n الشرط log⁡ψ≲C≤0.4332\log \psi \lesssim C \leq 0.4332، حيث ψ≈1.46557\psi \approx 1.46557 هي النسبة الذهبية الفائقة. يعتمد الحد الأدنى على حدسية التوأم الأولي؛ الحد الأعلى غير مشروط. يرتبط الثابت CC بأكثر التجمعات الأولية المقبولة كثافة، متصلاً بحدسية هاردي-ليتلوود.

تمتد الطريقة إلى دوال ديريخليه L، مما ينتج صيغاً فعالة أخرى لحساب pn+1p_{n+1}، وتتنبأ بـ pn+1p_{n+1} بمعامل صحيح عشوائي مع متطلبات دقة مخفضة.

السياق البحثي والدافع

خلفية المشكلة

البحث عن صيغ صريحة للأعداد الأولية مسألة كلاسيكية في نظرية الأعداد. بينما توجد صيغ مباشرة غير متكررة (مثل صيغة ويلانز وصيغة ميلز)، فإنها غير قابلة للتطبيق حسابياً. تركز هذه الورقة على العلاقات المتكررة، أي التعبير عن pn+1p_{n+1} بدلالة p1,…,pnp_1, \ldots, p_n.

التطور التاريخي

  • غاندي 4 استخدم أولاً الأولية والدالة موبيوس لتوفير مثل هذه المتكررات
  • فاندن إيندن 19 بسّط الإثبات
  • جاكيمتشوك 9 عمّم الطريقة
  • جولومب 5 اكتشف الصيغة بشكل مستقل باستخدام نظرية الأعداد التحليلية، وأعاد اكتشافها لاحقاً كيلر 10

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

الصيغة الكلاسيكية لجولومب-كيلر هي: pn+1=lim⁡s→∞[(∏k=1n(1−1pks))ζ(s)−1]−1/sp_{n+1} = \lim_{s\to\infty} \left[\left(\prod_{k=1}^n \left(1-\frac{1}{p_k^s}\right)\right) \zeta(s) - 1\right]^{-1/s}

المشكلة الرئيسية في هذه الصيغة هي ضرورة أخذ النهاية s→∞s \to \infty، مما يجعلها غير قابلة للاستخدام في الحسابات العملية.

الدافع البحثي

تتبنى هذه الورقة نهجاً معاكساً: الاحتفاظ بحساب سلسلة زيتا الكاملة حتى الدقة المطلوبة، لكن باستخدام ss محدود. بهذه الطريقة يتم اختزال الأس بدلاً من السلسلة، مما يجعل الصيغة بنائية.

المساهمات الأساسية

  1. صيغة متكررة بنائية: إثبات أنه لجميع n≥1n \geq 1، يوجد أصغر عدد صحيح sns_n بحيث: pn+1=⌈(−1+ζ(sn)∏j=1n(1−1pjsn))−1/sn⌉p_{n+1} = \left\lceil \left(-1 + \zeta(s_n) \prod_{j=1}^n \left(1-\frac{1}{p_j^{s_n}}\right)\right)^{-1/s_n} \right\rceil
  2. حدود فعالة:
    • إثبات sn≤2pns_n \leq 2p_n باستخدام افتراض بيرتراند (النظرية 10)
    • إثبات sn≤pns_n \leq p_n باستخدام نظرية ناجورا (النظرية 12)
  3. تحليل السلوك المقارب:
    • إثبات بدون شروط أن lim inf⁡n→∞σn=0\liminf_{n\to\infty} \sigma_n = 0 (القضية 13)
    • تأسيس حدود C:=lim sup⁡n→∞σnC := \limsup_{n\to\infty} \sigma_n: 0.3823≲C≤0.43320.3823 \lesssim C \leq 0.4332
  4. الارتباط مع تجمعات الأعداد الأولية: اكتشاف الحد الأدنى log⁡ψ≈0.3823\log \psi \approx 0.3823 (يعتمد على حدسية التوأم الأولي)، حيث ψ\psi هي النسبة الذهبية الفائقة
  5. التوسع إلى دوال ديريخليه L: يسمح بالتنبؤ بخصائص الباقي pn+1(mod4)p_{n+1} \pmod 4 وغيرها
  6. البيانات الرقمية: توفير قيم sns_n لـ n=1n = 1 إلى 200200 (OEIS A389650)

شرح الطريقة

تعريف المهمة

بمعلومية الأعداد الأولية الأولى p1,p2,…,pnp_1, p_2, \ldots, p_n، حساب العدد الأولي التالي pn+1p_{n+1} بشكل بنائي.

هيكل الطريقة الأساسي

1. آلية سلسلة ديريخليه

تعريف الدالة الرئيسية: Dn(s)=∑k≥1gcd⁡(k,Pn)=1k−sD_n(s) = \sum_{\substack{k \geq 1 \\ \gcd(k,P_n)=1}} k^{-s}

حيث Pn=∏j=1npjP_n = \prod_{j=1}^n p_j هي الأولية النونية.

2. تمثيل الجداء الأويلري

اللمة 3: لـ ℜ(s)>1\Re(s) > 1، Dn(s)=ζ(s)∏j=1n(1−pj−s)D_n(s) = \zeta(s) \prod_{j=1}^n (1-p_j^{-s})

3. تحليل خصائص التقارب

تعريف h(s)=(Dn(s)−1)−1/sh(s) = (D_n(s)-1)^{-1/s}، إثبات:

  • h(s)<pn+1h(s) < p_{n+1} لجميع s>1s > 1
  • lim⁡s→∞h(s)=pn+1\lim_{s\to\infty} h(s) = p_{n+1}
  • h(s)h(s) متزايدة بشكل صارم على (1,∞)(1,\infty)

4. تحديد المعامل الحرج

القضية 6: لكل n≥1n \geq 1، يوجد sn∗>1s_n^* > 1 فريد بحيث h(sn∗)=pn+1−1h(s_n^*) = p_{n+1} - 1.

تعريف sn=⌊sn∗⌋+1s_n = \lfloor s_n^* \rfloor + 1 كأصغر معامل صحيح.

نقاط الابتكار التقني

  1. المقايضة بين الدقة والاختزال: بخلاف طريقة كيلر التي تختزل مجموع السلسلة، تحتفظ هذه الورقة بـ ζ(s)\zeta(s) الكاملة لكن تستخدم ss محدود
  2. حيلة السقف: الاستخدام الماهر لخاصية ⌈h(s)⌉=pn+1\lceil h(s) \rceil = p_{n+1} إذا وفقط إذا s>sn∗s > s_n^*
  3. تقنيات الحدود المتكاملة: استخدام مقارنات متكاملة دقيقة للتحكم في أخطاء الذيل

الإعداد التجريبي

أدوات الحساب الرقمي

  • استخدام مكتبة PARI/GP وmpmath في Python للحسابات عالية الدقة
  • تتطلب 100 رقم عشري لـ n≤200n \leq 200
  • تتطلب حوالي 2500 رقم عشري لـ n≈500n \approx 500 (بسبب تعزيز تأثيرات الإلغاء)

طريقة التحقق

التحقق من خلال الحساب المباشر من الحدود النظرية sn≤pns_n \leq p_n لجميع n=1,…,200n = 1, \ldots, 200.

مثال عملي

حساب p7=17p_7 = 17 (بدءاً من n=6n = 6):

  • باستخدام s=2p6=26s = 2p_6 = 26: h(26)≈16.941817904h(26) \approx 16.941817904، نحصل على p7=⌈h(26)⌉=17p_7 = \lceil h(26) \rceil = 17
  • القيمة الأصغر الفعلية s6=8s_6 = 8: h(8)≈16.5189076h(8) \approx 16.5189076

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

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

التحقق من الحدود

  • النظرية 10: sn≤2pns_n \leq 2p_n لجميع n≥1n \geq 1
  • النظرية 12: sn≤pns_n \leq p_n لجميع n≥1n \geq 1 (عبر نظرية ناجورا)

السلوك المقارب

  • القضية 13: lim inf⁡n→∞σn=0\liminf_{n\to\infty} \sigma_n = 0 (بدون شروط)
  • النظرية 14: C=lim sup⁡n→∞σn≤0.4332C = \limsup_{n\to\infty} \sigma_n \leq 0.4332 (بدون شروط)
  • النظرية 15: تحت حدسية التوأم الأولي، C>log⁡ψ≈0.38225C > \log \psi \approx 0.38225

تحليل التوزيع التجريبي

تحليل البيانات لـ n=1n = 1 إلى 200200 يظهر:

  • بعد إزالة 5 قيم شاذة، توزيع σn\sigma_n يشبه توزيع بيتا
  • المتوسط ≈ 0.291، الوسيط ≈ 0.277، الانحراف المعياري ≈ 0.087
  • معاملات التوفيق: Beta(α≈7.64, β≈18.62)
  • المنوال النظري ≈ 0.274، يتطابق مع الوسيط التجريبي

صيغة المعامل الثابت

النظرية 18: لأي c>c0≈0.5956c > c_0 \approx 0.5956، يوجد N0(c)N_0(c) بحيث لجميع n≥N0(c)n \geq N_0(c)، الصيغة باستخدام s=cpns = cp_n تحسب pn+1p_{n+1} بشكل صحيح.

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

خط التطور التاريخي

  1. غاندي (1971): أول متكررة باستخدام الأولية والدالة موبيوس
  2. جولومب (1976): إدخال طرق نظرية الأعداد التحليلية
  3. كيلر (2007): إعادة اكتشاف مستقلة مع اشتقاق مختلف
  4. هذه الورقة (2025): جعل الصيغة بنائية للمرة الأولى

المقارنة مع الطرق الأخرى

  • صيغة ويلانز: مباشرة لكن غير قابلة للحساب
  • صيغة ميلز: مبنية على ثابت لكن تتطلب معرفة مسبقة بالأعداد الأولية
  • طرق الغربال: عملية لكن لا توفر بنية متكررة
  • هذه الطريقة: مثيرة للاهتمام نظرياً لكن معقدة حسابياً

الخلاصة والنقاش

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

  1. اختراق بنائي: تحويل صيغة جولومب-كيلر من مقاربة إلى قابلة للحساب الفعلي للمرة الأولى
  2. ارتباطات عميقة: الكشف عن الارتباطات الداخلية بين معاملات المتكررة الأولية وتجمعات الأعداد الأولية وتوزيع الفجوات
  3. حدود نظرية: تأسيس حدود دقيقة وسلوك مقارب للمعامل sns_n
  4. النسبة الذهبية الفائقة: اكتشاف تطبيق جديد لها في نظرية الأعداد الأولية

القيود

  1. التعقيد الحسابي: O(npn3log⁡pn)O(np_n^3 \log p_n) عمليات بت، متعددة الحدود لكن غير عملية فعلياً
  2. متطلبات الدقة: تتطلب دقة عاملة متزايدة بشكل أسي مع nn
  3. الاعتماديات: بعض النتائج تعتمد على حدسيات غير مثبتة (مثل حدسية التوأم الأولي)

الاتجاهات المستقبلية

  1. تحسين الحساب: البحث عن طرق لتقليل متطلبات الدقة
  2. الكمال النظري: إزالة الاعتماد على الحدسيات غير المثبتة
  3. التطبيقات المعممة: التوسع إلى دوال نظرية أعداد أخرى
  4. الاستكشاف الرقمي: حساب قيم sns_n لنطاقات أكبر للتحقق من الحدسيات

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

المميزات

  1. الابتكار النظري: حل ناجح لمسألة بنائية طويلة الأمد
  2. الصرامة المنهجية: استخدام تقنيات عميقة في نظرية الأعداد التحليلية
  3. الارتباطات العميقة: بناء جسر بين نظرية الصيغ المتكررة ونظرية تجمعات الأعداد الأولية
  4. البيانات الغنية: توفير تحقق رقمي تفصيلي وتحليل إحصائي

أوجه القصور

  1. الفائدة العملية المحدودة: بينما بنائية نظرياً، لكن تكاليف الحساب مرتفعة جداً
  2. تحديات الدقة: متطلبات الدقة العالية تحد من قابلية التوسع
  3. شروط بعض النتائج: بعض النتائج المهمة تعتمد على حدسيات غير مثبتة

التأثير والأهمية

  1. المساهمة النظرية: توفير منظور جديد لنظرية المتكررات الأولية
  2. القيمة المنهجية: إظهار كيفية تحويل الصيغ المقاربة إلى خوارزميات فعالة
  3. الارتباطات متعددة التخصصات: ربط نظرية الأعداد التحليلية والحسابية والهندسة الأولية

السيناريوهات المناسبة

  1. البحث النظري: توزيع الأعداد الأولية، نظرية الفجوات، دراسة التجمعات
  2. التجارب الرقمية: التحقق على نطاق صغير واستكشاف الأنماط
  3. العرض التعليمي: تطبيق كلاسيكي لطرق نظرية الأعداد التحليلية

المراجع

تتضمن المراجع الرئيسية:

  • 5 S. W. Golomb, Formulas for the next prime, Pacific J. Math. 63 (1976), 401–404
  • 10 J. B. Keller, A recursion equation for prime numbers, arXiv:0711.3940, 2007
  • 4 J. M. Gandhi, Formulae for the nth prime, Proc. Washington State Univ. Conf. Number Theory (1971), 96–107
  • 12 J. Nagura, On the interval containing at least one prime number, Proc. Japan Acad. 28 (1952), 177–181

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