🔢 mathematics

On the sign changes of $ψ(x)-x$

تعمل هذه الورقة على تحسين الحد الأدنى لعدد تغيرات الإشارة للحد الخطي $\psi(x)-x$ في مبرهنة الأعداد الأولية من خلال إثبات أن $\liminf_{T\to\infty} V(T)/\log T \geq \gamma_0/\pi + 1/60$ ، وذلك باستخدام تقدير كثافة جديد لأصفار دالة $k$ المرتبطة بها يكون أكثر دقة بمقدار $4 \cdot 10^{21}$ مرة من التقديرات السابقة.

المؤلفون الأصليون: Maciej Grześkowiak, Jerzy Kaczorowski, Łukasz Pańkowski, Maciej Radziejewski

نُشر 2026-03-17

📖 4 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Maciej Grześkowiak, Jerzy Kaczorowski, Łukasz Pańkowski, Maciej Radziejewski

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

الصورة الكبيرة: شد وجذب مع الأعداد الأولية

تخيل أنك تحاول التنبؤ بالطقس. لديك نموذج رياضي مثالي يقول: "ستمطر بنسبة 50% تماماً من الوقت". ولكن عندما تنظر إلى بيانات الطقس الفعلية، تجدها فوضوية؛ فأحياناً تمطر بنسبة 55% من الوقت، وأحياناً أخرى بنسبة 45%. إنها تتذبذب حول توقعك.

في عالم الرياضيات، الأعداد الأولية هي "الطقس". فهي اللبنات الأساسية لجميع الأعداد (2، 3، 5، 7، 11...). وهناك قاعدة شهيرة تسمى مبرهنة الأعداد الأولية تعطينا تقديراً جيداً جداً لعدد الأعداد الأولية الموجودة حتى رقم معين $x$ . لنسمِّ هذا التقدير $x$ .

ومع ذلك، فإن العدّ الفعلي للأعداد الأولية، والذي يُرمز له بـ $\psi(x)$ ، لا يتطابق مع التقدير بشكل مثالي؛ فهو يتذبذب فوق الخط وتحته.

عندما يكون $\psi(x) > x$ ، يكون العدّ الفعلي أعلى مما هو متوقع.
عندما يكون $\psi(x) < x$ ، يكون العدّ الفعلي أقل مما هو متوقع.

يسأل البحث سؤالاً بسيطاً ولكنه عميق: كم مرة يتغير هذا العدّ من كونه "مرتفعاً جداً" إلى "منخفض جداً" (أو العكس) بينما ننتقل نحو أرقام أكبر وأكبر؟

لقد أثبت المؤلفون أن هذا التغيير يحدث بشكل أكثر تكراراً مما كان يعتقده أي شخص سابقاً.

المشكلة: عدّ "التحولات"

لنسمِّ عدد المرات التي يتغير فيها العدّ من جانب إلى آخر $V(T)$ .

إذا نظرت إلى الأرقام حتى مليون، فقد يتغير العدد 10 مرات.
إذا نظرت إلى الأرقام حتى تريليون، فسيتغير العدد أكثر من ذلك.

البحث يدور حول إثبات حد أدنى. هم يريدون القول: "مهما ذهبت بعيداً، فإن عدد التحولات هو على الأقل هذا القدر".

لعقود من الزمن، كان لدى علماء الرياضيات "سقف زجاجي" يمنعهم من رفع هذا الحد الأدنى. كانوا يعرفون أنه لا يقل عن رقم معين، لكنهم لم يستطيعوا إثبات أنه أعلى من ذلك. هذا البحث يحطم ذلك السقف.

السلاح السري: "الأصفار الشبحية"

لفهم سبب تذبذب العدّ، ينظر علماء الرياضيات إلى شيء يسمى دالة زيتا لريمان. هذه الدالة هي كائن رياضي معقد يعمل بمثابة "محلل ترددات" للأعداد الأولية.

داخل هذه الدالة، توجد نقاط خاصة تسمى الأصفار (حيث تساوي الدالة صفراً). هذه الأصفار تشبه "النوتات" في الوتر الموسيقي الذي يخلق التذبذب في الأعداد الأولية.

"النوتة" الأدنى (الصفر الأول) لها ارتفاع محدد، يسمى $\gamma_0$ (حوالي 14.13).
يثبت البحث أن تردد التذبذبات مرتبط مباشرة بهذه النوتة الأدنى.

أظهر المؤلفون أن عدد التحولات يتناسب تقريباً مع $\frac{\gamma_0}{\pi}$ . لكنهم وجدوا طريقة لإضافة "مكافأة" صغيرة إضافية لهذا الرقم، مما يثبت أن التحولات تحدث بتكرار أكبر مما اقترحته الصيغة الأساسية.

كيف فعلوا ذلك: طريقة "التبليط"

هذا هو الجزء الأكثر إبداعاً في البحث. كان على المؤلفين إثبات وجود ما يكفي من "الإزاحات" (لحظات زمنية) حيث يعبر التذبذب الخط.

تخيل أن لديك غرفة ضخمة متعددة الأبعاد (مكعب فائق). تريد ملء هذه الغرفة بالبلاط.

الطريقة القديمة: حاول علماء الرياضيات السابقون وضع البلاط في الغرفة باستخدام نمط شبكي صلب. لم يتمكنوا إلا من ضمان تغطية نسبة مئوية صغيرة من الغرفة. كان الأمر يشبه محاولة ملء مسبح ببعض الطوب المتناثر.
الطريقة الجديدة (طريقة التبليط): طور المؤلفون تقنية جديدة تسمى "طريقة التبليط" (Tiling Method).
- تخيل أن لديك قطعة قماش مرنة جداً وقابلة للتمدد.
- بدلاً من وضع الطوب واحدة تلو الأخرى، وجدوا طريقة لمد هذه القطعة بحيث تغطي كامل الغرفة تقريباً، تاركة فقط فجوات صغيرة عند الجدران.
- استخدموا خوارزمية حاسوبية (نسخة من خوارزمية LLL الشهيرة) لإيجاد "المد" المثالي الذي يناسب الغرفة.

التشبيه:
فكر في "الإزاحات" كأشخاص يحاولون العثور على مقعد في مسرح مزدحم.

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

من خلال ملء "غرفة" الاحتمالات بكفاءة أكبر بكثير، أثبتوا أن "التحولات" في عدّ الأعداد الأولية يجب أن تحدث بشكل أكثر تكراراً.

النتيجة: رقم قياسي جديد

يختتم البحث برقم محدد. لقد أثبتوا أن عدد التحولات ( $V(T)$ ) مقسوماً على لوغاريتم النطاق ( $\log T$ ) هو على الأقل:

$\frac{\gamma_0}{\pi} + \frac{1}{60}$

جزء الـ $\frac{1}{60}$ هو "المكافأة". قد يبدو صغيراً، ولكن في عالم الأعداد الأولية، هذا تحسن هائل. إنه يشبه تحسين تقدير نظام تحديد المواقع (GPS) من "أنت ضمن نطاق 10 أميال" إلى "أنت ضمن نطاق 0.1 ميل".

لماذا يهم هذا؟

إنه انتصار للمنطق: يظهر أنه حتى بعد 100 عام من دراسة الأعداد الأولية، لا يزال بإمكاننا العثور على حقائق جديدة وأكثر عمقاً حول كيفية سلوكها.
إنه تحفة تقنية: لم يكتفِ المؤلفون بالرياضيات على السبورة؛ بل جمعوا بين النظرية العميقة والحسابات الحاسوبية الضخمة (باستخدام "الحساب الكروي" لضمان دقة كل رقم عشري) لإثبات وجهة نظرهم.
إنه تكريم لأسطورة: البحث مهدى إلى ألبرتو بيريلي بمناسبة عيد ميلاده السبعين، احتفاءً بمسيرة حياته في هذا المجال.

الملخص في جملة واحدة

استخدم المؤلفون استراتيجية "تبليط" ذكية وحواسيب قوية لإثبات أن عدّ الأعداد الأولية يتذبذب ذهاباً وإياباً عبر متوسطه المتوقع بشكل أكثر تكراراً مما كنا نعرفه من قبل.

إليك ملخص تقني مفصل للورقة البحثية بعنوان "حول تغيرات الإشارة لـ $\psi(x) - x$ " من تأليف غرزكوفياك، كاشوروفسكي، بانكوفسكي، ورادجيوسيفسكي.

1. بيان المشكلة

تتناول الورقة مشكلة تقدير الحد الأدنى لـ $V(T)$ ، وهو عدد تغيرات الإشارة في حد الخطأ في مبرهنة الأعداد الأولية، المعرف بـ $\psi(x) - x$ ، ضمن الفترة $[1, T]$ . وبشكل محدد، يهدف المؤلفون إلى تحسين الحد الأدنى المعروف لـ النهاية الدنيا:
$\kappa_0 := \liminf_{T \to \infty} \frac{V(T)}{\log T}$
لقد أثبتت النتائج السابقة أن $\kappa_0 \ge \frac{\gamma_0}{\pi} + \epsilon$ ، حيث $\gamma_0 \approx 14.1347$ هو الجزء التخيلي لأول صفر غير بديهي لدالة زيتا ريمان ( $\zeta(s)$ ). كان الهدف هو زيادة الثابت المضاف $\epsilon$ بشكل كبير، والذي كان سابقاً صغيراً للغاية (من رتبة $10^{-30}$ ).

2. المنهجية

يعتمد البرهان على تفاعل متطور بين التحليل العددي للأعداد، ونظرية الدوال شبه الدورية، والتحقق الحسابي.

أ. الاتصال بأصفار الدوال شبه الدورية

يستخدم المؤلفون نتيجة لكاشوروفسكي (2011) تربط $\kappa_0$ بكثافة أصفار دالة $k$ معيرة (دالة شبه دورية) في نصف المستوى العلوي:
$F^*(z) = 1 + \sum_{n=1}^{\infty} \frac{\rho_0}{\rho_n} e^{i(\gamma_n - \gamma_0)z}$
حيث $\rho_n = \frac{1}{2} + i\gamma_n$ هي الأصفار غير البديهية لدالة $\zeta(s)$ .
إذا كانت فرضية ريمان (RH) صحيحة، فإن المشكلة تتقلص إلى إيجاد حد أدنى لكثافة $\kappa$ لأصفار $F^*(z)$ . تنص المبرهنة الرئيسية على أن:
$\kappa_0 \ge \frac{\gamma_0}{\pi} + 2\kappa$
وبالتالي، فإن إثبات قيمة أكبر لـ $\kappa$ يؤدي مباشرة إلى تحسين الحد لـ $\kappa_0$ .

ب. "طريقة التبليط" والتقريب الديوفانتيني

لتقدير كثافة الأصفار، يستخدم المؤلفون "طريقة تبليط" (tiling method) جديدة لعد "الإزاحات المناسبة" $\tau$ التي تنقل صفراً من المجموع الجزئي $F_N(z)$ إلى صفر للدالة الكاملة $F(z)$ .

المجاميع الجزئية والمسارات (Contours): ينظرون في المجموع الجزئي $F_N(z)$ (حيث $N=21$ ) ومسار مغلق محدد $z_1(t)$ في المستوى المركب.
العبارة 1 (الشرط الكافي): يقدمون شرطاً مرناً ليكون المسار المزاح $z_1(t) + \tau$ يحتوي على صفر. بخلاف الطرق السابقة التي تتطلب حدوداً موحدة للمسافة بين $\frac{\omega_n \tau}{2\pi}$ والأعداد الصحيحة، تستخدم هذه العبارة مجموعاً موزوناً يتضمن دوالاً غير متناقصة $w_n$ . وهذا يسمح بتقدير أكثر كفاءة لمجموعة الإزاحة الصالحة.
تقدير الكثافة (المبرهنة 3): الابتكار الجوهري هو المبرهنة 3، التي تستبدل تقدير مبرهنة مينكوفسكي للجسم المحدب الكلاسيكي ( $2^{-N} \text{vol}(A)$ $2^{- N} vol (A)$ ) بتقدير حجم لمجموعة جزئية $A' \subset A$ $A^{'} \subset A$ .
- تتضمن الطريقة بناء شبكة كثيفة من النقاط القابلة للوصول باستخدام خوارزمية LLL (لينستر-لينستر-لوفاز).
- من خلال "تبليط" فضاء الحل باستخدام نقاط هذه الشبكة، يظهرون أن كثافة الإزاحات الصالحة تقترب من الحجم المفترض $\text{vol}(A)$ بشكل أوثق بكثير من الحدود السابقة، مما يتجاوز فعلياً قيود فرضية الاستقلال الخطي.

ج. التحقق الحسابي

يعتمد الإطار النظري على حسابات عددية صارمة تم إجراؤها في برنامج Mathematica باستخدام مكتبة ARB (حساب الكرات/المدى) لضمان التحكم في حدود الخطأ.

المعلمات: يستخدمون $N=21$ (أول 21 صفراً غير بديهي).
تصميم المسار: تم بناء مسار خطي مجزأ $z_1(t)$ ودالة طور $\alpha(t)$ لتعظيم تغير التباين (argument variation) للدالة على طول المسار.
التحقق: يتحقق المؤلفون بصرامة من أن الجزء الحقيقي للدالة على طول المسار يظل موجباً (مما يحقق شروط العبارة 1) وأن معاملات التقريب الديوفانتيني تحقق الحدود المطلوبة.

3. المساهمات الرئيسية

تقدير كثافة جديد: تقدم الورقة تقديراً لكثافة أصفار الدوال المرتبطة بـ $k$ -functions أفضل بأكثر من $4 \cdot 10^{21}$ مرة من التقديرات السابقة من هذا النوع.
طريقة التبليط: تقنية جديدة لتقدير كثافة الإزاحات الديوفانتينية باستخدام تبليط الشبكة، والتي تسمح بمجموعات حلول غير محدبة وتقلل بشكل كبير من "الفقد" بالقرب من حدود فضاء الحل.
الشرط الكافي المرن (العبارة 1): شرط معمّم لوجود أصفار في المسارات المزاحة يستخدم المجاميع الموزونة بدلاً من المعايير الموحدة، مما يسمح بقيود أكثر إحكاماً على معلمات الإزاحة.
برهان صارم مدعوم حاسوبياً: يتضمن البرهان عمليات تحقق واسعة النطاق مدعومة بالحاسوب مع حدود خطأ صارمة، مما يضمن الصلاحية الرياضية للنتائج العددية.

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

يثبت المؤلفون المبرهنة 1:
$\liminf_{T \to \infty} \frac{V(T)}{\log T} \ge \frac{\gamma_0}{\pi} + \frac{1}{60}$
حيث $\gamma_0 \approx 14.1347$ .

المقارنة بالأعمال السابقة:
- إنغهام (1936): أثبت الإيجابية (بشرط).
- كاشوروفسكي (الثمانينيات): $\kappa_0 \ge \gamma_0/\pi$ .
- موريل، بلات، ترودجيان (2023): $\kappa_0 \ge \gamma_0/\pi + 1.867 \cdot 10^{-30}$ .
- هذه الورقة: $\kappa_0 \ge \gamma_0/\pi + 0.0166\dots$ (بما أن $1/60 \approx 0.0166$ ).
- يمثل هذا تحسناً هائلاً، حيث زاد الثابت المضاف بنحو 28 رتبة مقدارية مقارنة بأفضل نتيجة منشورة سابقة.

5. الأهمية

كسر الحاجز: تكسر هذه النتيجة الحاجز القائم منذ فترة طويلة $\gamma_0/\pi$ بهامش كبير، مما يثبت أن تذبذبات $\psi(x) - x$ أكثر تكراراً مما ثبت سابقاً.
التقدم المنهجي: توفر "طريقة التبليط" بالاقتران مع خوارزمية LLL أداة قوية جديدة للمسائل المتعلقة بتوزيع أصفار الدوال شبه الدورية والتقريب الديوفانتيني، والتي يمكن تطبيقها على مسائل أخرى في التحليل العددي للأعداد.
الدقة الحسابية: تضع الورقة معياراً عالياً للجمع بين التحليل النظري والبراهين المدعومة حاسوبياً الصارمة، باستخدام حساب الفترات للقضاء على عدم اليقين العددي.
مشروطة بفرضية ريمان (RH): بينما تفترض النتيجة الرئيسية صحة فرضية ريمان (لاستخدام الشكل المحدد للأصفار)، يشير المؤلفون إلى أنه إذا كانت فرضية ريمان خاطئة، فإن الحد الأدنى سيكون في الواقع أقوى بكثير ( $\kappa_0 \ge 3 \cdot 10^{12}/\pi$ )، مما يجعل حالة فرضية ريمان هي الحالة "الأصعب" والأكثر أهمية التي تمت معالجتها.

باختصار، تمثل هذه الورقة تحسناً تاريخياً في فهم السلوك التذبذبي لخطأ دالة عد الأعداد الأولية، وقد تحقق ذلك من خلال توليفة مبتكرة من التقنيات التحليلية ونظرية الأعداد الحسابية عالية الدقة.