سأل إيردوش عام 1961. والجواب: النصف، شبه مؤكد

ارمِ قطعة نقد لكل معامل من معاملات كثيرة حدود: الوجه يعطي +1، والظهر يعطي −1. والنتيجة كثيرة حدود ليتلوود عشوائية (random Littlewood polynomial)، ‎1 ± z ± z² ± … ± zⁿ. ومثل أي كثيرة حدود من الدرجة n، لها n جذرًا — وهي نقاط في المستوى المركّب تساوي عندها صفرًا.

في عام 1961، سأل عالم الرياضيات إيردوش (Erdős) أين تذهب هذه الجذور. وبعبارة أدق: مع ازدياد الدرجة، هل تؤول نسبة الجذور الواقعة داخل قرص الوحدة المغلق — الدائرة التي نصف قطرها 1 وكل ما بداخلها — إلى النصف بالضبط، باحتمال واحد؟ وصار السؤال المسألة رقم 522 في قائمة مسائل إيردوش. وكانت صيغة أضعف، صحيحة “باحتمال مرتفع” لا “بشكل شبه مؤكد”، قد بُرهنت من قبل على يد ياكير (Yakir).

والآن يجيب سيباستيان كوادا (Sebastien Kawada) من معهد ماساتشوستس للتكنولوجيا عن سؤال إيردوش: نعم.

ملتصقة بالدائرة

تبرهن الورقة أكثر من النصف. فكل الجذور تقريبًا تتزاحم في شريط رفيع حول دائرة الوحدة، على مسافة من رتبة 1/n. وإذا كبّرنا هذا الشريط باستخدام المتغيّر x = n(|z| − 1)، فإن نسبة الجذور الواقعة داخل الدائرة التي نصف قطرها 1 + x/n تستقر على منحنى واحد:

Φ(x) = ½ (1 + coth x − 1/x)

عند x = 0، يعطي المنحنى ½ بالضبط: جواب إيردوش. والمنحنى نفسه صالح لعائلة كاملة من المعاملات العشوائية — رميات قطعة النقد، ونقاط عشوائية على دائرة، وأعداد غاوسية. وهذا هو الجانب الكوني (universal) في العنوان.

بل تبقى النتيجة صحيحة حتى عندما ترتبط كثيرات الحدود ذات الدرجات المختلفة بأي طريقة كانت: سواء بُنيت بإضافة رمية واحدة في كل مرة، أو سُحبت من جديد تمامًا عند كل درجة. وفي حالة رميات قطعة النقد، يبقى فائض الجذور داخل القرص عن n/2 أقل من n^(3/4) تقريبًا.

أين تتوقف الكونية

تنظر الورقة بعد ذلك في التقلّبات الصغيرة حول النصف. وهنا يبدأ توزيع المعاملات في التأثير. فبالنسبة إلى المعاملات الغاوسية، ينمو تباين الفائض مثل 0.3059 × n. وبالنسبة إلى توزيعات متماثلة أخرى، يُزاح بمقدار جزء من اثني عشر من كمية تُسمّى التراكمي الرابع (fourth cumulant)، وهي تقيس مدى ثقل ذيول التوزيع. وفي حالة رميات قطعة النقد، يصبح الثابت 0.3059 − 1/6. وتتفق تجارب حاسوبية على 16384 كثيرة حدود عشوائية تصل درجتها إلى مليون مع هذه التنبؤات.

كيف بُرهنت

تتولّى أداتان كلاسيكيتان العبء الأكبر. صيغة ينسن (Jensen) تحوّل عدّ الجذور داخل قرص إلى متوسط للوغاريتم كثيرة الحدود حول دائرة؛ ويتبيّن أن هذا المتوسط شديد التركّز. والخطوة الصعبة هي الانتقال من متتالية متباعدة من الدرجات إلى كل الدرجات دفعة واحدة. أما بالنسبة إلى التقلّبات، فإن مبدأ السعة (argument principle) يحوّل فائض الجذور إلى عدٍّ بإشارة لعدد المرات التي يعبر فيها منحنى، ترسمه كثيرة الحدود على دائرة الوحدة، خطًّا مستقيمًا.

تحقّقت منه الآلة

كل نتيجة رئيسية في هذه الورقة المؤلفة من 82 صفحة متحقَّق منها صوريًا في مساعد البراهين Lean 4. وقد قُبل برهان المسألة رقم 522 حلًّا لصيغتها الصورية في مشروع Formal Conjectures التابع لغوغل ديب مايند، ويتيح ملف واحد لأي شخص إعادة تشغيله في متصفح الويب. ويكتب المؤلف أن نماذج ذكاء اصطناعي داخلية من مختبر مانوليس كيليس في معهد ماساتشوستس للتكنولوجيا، بما فيها نماذج لغوية، ساعدت في الصياغة الصورية بلغة Lean وفي التحقق من عدة اشتقاقات؛ ويؤكد المؤلف أن المقاربة الرياضية من صنعه.

في أبريل 2026، نُشرت على منتدى مسائل إيردوش حجّتان غير صوريتين للعبارة نفسها. ويقول كوادا إن هذا البرهان ومقاربته أصيلان، وإنه أول برهان متحقَّق منه صوريًا. وبعد خمسة وستين عامًا من طرح السؤال، يقول الجواب الذي تحقّقت منه الآلة: النصف، بشكل شبه مؤكد.