Joint distribution of primes in multiple short intervals

ملخص تقني: التوزيع المشترك للأعداد الأولية في فترات قصيرة متعددة

بيان المشكلة
تبحث هذه الورقة في السلوك الإحصائي للعد الموزون للأعداد الأولية، ويرمز له بـ $\psi(x)$، ضمن فترات قصيرة متعددة. وبينما يحدد مبرهنة الأعداد الأولية متوسط الكثافة للأعداد الأولية، فإن تقلبات $\psi(x+H) - \psi(x)$ في الفترات القصيرة كانت موضوع دراسة مكثفة. وقد أثبتت الأعمال السابقة لـ مونتغمري وسونداراراجان أنه بالنسبة للفترات التي طولها $H$ حيث $H \to \infty$ و $\log H / \log N \to 0$، فإن التوزيع يكون طبيعياً تقاربياً. ومع ذلك، ظل التوزيع المشترك للأعداد الأولية في فترات قصيرة منفصلة متعددة، وتحديداً الارتباطات بينها، أقل استكشافاً، لا سيال في سياق "الفترات الضربيه" حيث يتناسب طول الفترة مع موقع $x$ (أي $h = \delta x$).

الأسئلة المركزية التي تعالجها الورقة هي:

1. ما هو التوزيع الحدّي المشترك لعد الأعداد الأولية الموزون في $r$ من الفترات القصيرة المنفصلة عندما $X \to \infty$؟
2. كيف تكون هذه العدات مرتبطة ببعضها البعض؟
3. هل تسبب هذه الارتباطات انحيازات في "سباقات الأعداد الأولية" (مقارنات عد الأعداد الأولية بين الفترات) على غرار سباق شانكس-ريني للأعداد الأولية في المتتاليات الحسابية؟

المنهجية
يتبنى المؤلف نهجاً تحليلياً فوريه (Fourier-analytic)، معدلاً طريقة روبنشتاين وسارناك (التي طُورت أصلاً للأعداد الأولية في المتتاليات الحسابية) لتناسب سياق الفترات القصيرة. وتعتمد الافتراضات الجوهرية على فرضية ريمان (RH) وفرضية الاستقلال الخطي (LI) المتعلقة بالأصول الموجبة لأصفار دالة زيتا غير التافهة.

الخطوات المنهجية الرئيسية تشمل:

• الصيغة الصريحة (Explicit Formula): استخدام الصيغة الصريحة لربط دالة عد الأعداد الأولية $\psi(x)$ بأصفار دالة زيتا $\rho = 1/2 + i\gamma$.
• بناء النموذج العشوائي: بموجب فرضيتي RH و LI، يتم نمذجة الانحراف المعياري لعد الأعداد الأولية كمتجه عشوائي $X_{\delta, t}$ يتضمن مجموعاً فوق الأصفار، موزوناً بدالة محددة $w(\rho)$ ومضروباً في متغيرات عشوائية مستقلة $U_\gamma$ موزعة بانتظام على دائرة الوحدة.
• الكثافة اللوغاريتمية: يتم تحليل التوزيع بالنسبة للكثافة اللوغاريتمية ($\frac{1}{\log X} \int_2^X \dots \frac{dx}{x}$)، وهي كثافة طبيعية للفترات الضربيه.
• الدوال المميزة (Characteristic Functions): يعتمد الإثبات بشكل كبير على تحليل تحويل فوريه (الدالة المميزة) للقياس الحدّي. ويستنتج المؤلف ناتج ضرب لانهائي لدوال بسل ($J_0$) يمثل هذا التحويل.
• التحليل التقاربي: من خلال تقدير مصفوفة التباين والتحكم في حدود الخطأ في صيغة عكس فوريه، يثبت المؤلف التقارب نحو توزيع غاوسي متعدد المتغيرات. يتضمن التحليل تقديرات دقيقة لمجموعات الأصفار، باستخدام صيغة ريمان-فون مانغولدت وخصائص الدالة $\Delta(t)$، التي تصف التنافر بين الفترات.

المساهمات والنتائج الرئيسية

1. التوزيع الغاوسي متعدد المتغيرات:
   تثبت الورقة أنه بموجب فرضيتي RH و LI، فإن العد الموزون للأعداد الأولية في $r$ من الفترات القصيرة المنفصلة بطول $\delta x$ (حيث $\delta$ صغيرة ولكن ثابتة بالنسبة لـ $X$) يتبع توزيعاً غاوسياً متعدد المتغيرات. المتوسط هو صفر (بعد المعايرة)، وهيكل التباين محدد صراحة.

2. الارتباطات السالبة الضعيفة:
   من النتائج الأساسية أن العدات في الفترات القصيرة المنفصلة ليست مستقلة؛ فهي تظهر ارتباطات سالبة ضعيفة. التباين بين فترتين يفصل بينهما مسافة المعلمة $|t_j - t_k|$ يتناسب تقريباً مع $-\frac{\Delta(|t_j - t_k|)}{\log(1/\delta)}$. تتصرف الدالة $\Delta(t)$ مثل $1/(2t)$ للقيم الكبيرة لـ $t$. وهذا يعني وجود تنافر "شبيه بكولوم": الأعداد الأولية في فترة واحدة تقلل قليلاً من احتمالية وجود أعداد أولية في الفترة المجاورة لها.

3. التحول الطوري في سباقات الأعداد الأولية:
   بتطبيق هذه النتائج التوزيعية على "سباقات الأعداد الأولية" (ترتيب العدات في فترات متعددة)، تحدد الورقة تحولاً طورياً حاداً:

   • النطاق غير المنحاز: إذا كان عدد الفترات $r$ صغيراً بالنسبة لـ $\log(1/\delta)$ (تحديداً $r = o(\frac{\log(1/\delta)}{\log \log(1/\delta)})$)، تظل السباقات غير منحازة تقاربياً؛ حيث تحدث جميع الترتيبات باحتمالية متساوية تقريباً ($1/r!$).
   • النطاق المنحاز: بمجرد أن يتجاوز $r$ عتبة حرجة (تتناسب تقريباً مع $\frac{\log(1/\delta)}{\log \log(1/\delta)}$)، تظهر الانحيازات. توضح الورقة أنه بالنسبة لقيم $r$ الكبيرة بما يكفي، توجد ترتيبات للفترات تحدث باحتمالية أقل بكثير من غيرها. وهذا نتيجة مباشرة لتراكم الارتباطات السالبة.

4. امتداد الاستقلال الخطي الكمي (QLI):
   بالنسبة لفترة واحدة متحركة حيث يتجه معامل الطول $\delta$ نحو الصفر مع $X \to \infty$ (تحديداً $\delta > (\log X)^{-\varepsilon}$)، يثبت المؤلف نظرية الحد المركزي بافتراض صياغة كمية لفرضية LI (المعروفة بـ QLI). هذا يوسع صلاحية التوزيع الغاوسي ليشمل فترات أقصر مما تم إثباته سابقاً تحت فرضية LI النوعية وحدها.

الأهمية والادعاءات
تزعم الورقة أنها الأولى التي تركز على توزيع الأعداد الأولية في الفترات القصيرة باستخدام إطار عمل روبنشتاين-سارناك، محولةً التركيز من فئات البواقي إلى أطوال الفترات.

• الحداثة: النتيجة جديدة حتى بالنسبة لفترة واحدة متحركة تحت صياغة كمية لـ LI.
• آلية الانحياز: يوفر العمل تفسيراً شفافاً لظهور الانحياز في سباقات الأعداد الأولية في الفترات القصيرة، وعزو ذلك إلى الهيكل المحدد لمصفوفة التباين (الارتباطات السالبة الضعيفة) وتراكم هذه الارتباطات مع نمو عدد الفترات.
• الدقة: يشير المؤلف إلى أن العتبة المستمدة للتحول الطوري أكثر دقة من النتائج السابقة في سياق سباق شانكس-ريني، وذلك بفضل هيكل الارتباط الدقيق والتقديرات المنقحة لمحدد مصفوفة التباين.
• القيود: تقر الورقة بأن الحجج من نوع "بيري-إيسين" (Berry–Esseen) المستخدمة تفرض حداً على عدد الفترات $r$ (مما يمنع وصوله إلى قوة كاملة لـ $\delta^{-1}$). يقترح المؤلف أن طرقاً بديلة (مثل طريقة ستين أو طريقة ليندبرج) قد توسع هذا النطاق، لكن تم اختيار النهج التحليلي الفوري الحالي لإنشاء حدود وثيقة للمسافة بين التوزيعات الكلية.

باختدال، تؤسس الورقة إطاراً احتمالياً صارماً للأعداد الأولية في فترات قصيرة متعددة، كاشفة عن قوة تنافر خفية بين الفترات تؤدي إلى تحول طوري من السلوك غير المنحاز إلى السلوك المنحاز في عمليات عد الأعداد الأولية المقارنة.