العدّاء الوحيد يحظى أخيرًا ببعض المساحة

تخيّل مضمارًا دائريًا طوله دورة واحدة. ينطلق عدّة عدّائين من النقطة نفسها في اللحظة نفسها، كلٌّ بسرعته الثابتة، وكل السرعات مختلفة. تقول حدسية العدّاء الوحيد (lonely runner conjecture) إن كل عدّاء سيجد نفسه، في لحظة ما، وحيدًا: على مسافة لا تقل عن 1/(n + 1) من الدورة عن جميع الآخرين، حين يكون مجموع العدّائين n + 1.

المسألة أقدم من اسمها. فبحسب شييو هو (Xiyu Hu) من جامعة الأكاديمية الصينية للعلوم، ويي فان جينغ (Yifan Jing) من جامعة ولاية أوهايو، تعود إلى أطروحة الدكتوراه التي قدّمها يورغ فيلس (Jörg Wills) عام 1965 حول تقريب الأعداد بالكسور. وقدّم كيوزيك (Cusick) صيغة مكافئة بلغة خطوط النظر التي تحجبها العوائق؛ أما العدّاؤون فجاؤوا لاحقًا، مع إعادة صياغة على يد غودين (Goddyn). ومنذ ذلك الحين رُبطت بمسارات البلياردو، وتلوين المخططات (الغرافات)، والتدفّقات في بنى مجرّدة تُسمّى الماترويدات.

قياس الوحدة

عادةً ما يثبّت الرياضيون عدّاءً واحدًا وينظرون إلى سرعات الآخرين نسبةً إليه: مجموعة V من n عددًا صحيحًا موجبًا مختلفًا. في اللحظة t، يكون العدّاء ذو السرعة v في الموضع vt حول المضمار، وتُكتب مسافته عن نقطة الانطلاق ∥vt∥ — أي المسافة من vt إلى أقرب عدد صحيح. والوحدة القصوى للمجموعة V هي

ML(V) = القيمة العظمى على t للقيمة الصغرى على v في V لـ ∥vt∥

أي أفضل لحظة، محكومًا عليها بالعدّاء الأقرب. وتزعم الحدسية أن ML(V) ≥ 1/(n + 1)، وهذا سيكون حدًّا محكمًا: فللسرعات 1، 2، …، n، تساوي الوحدة القصوى 1/(n + 1) بالضبط. فمع عدّاءين متحرّكين بالسرعتين 1 و2 مثلًا، لا يمكن للعدّاء الثابت أن يبتعد عن كليهما أكثر من ثلث دورة — في اللحظة 1/3.

النصف السهل

يأتي نصف الجواب بثمن زهيد. فاللحظات التي يكون فيها عدّاء معيّن ضمن مسافة δ من نقطة الانطلاق تملأ جزءًا قدره 2δ من الساعة. ومع n عدّاء، إذا كان 2nδ أقل من 1، فلا يمكن لهذه النوافذ الزمنية أن تغطّي كل شيء، ومن ثَمّ تكون لحظة ما خالية منها جميعًا. وبجعل δ تكبر حتى حدّها نحصل على

ML(V) ≥ 1/(2n)

وهذا تقريبًا نصف ما تتنبّأ به الحدسية. وقد تبيّن أن تجاوزه أمر عنيد. ويسرد المؤلفان التاريخ: لعقود، لم تكن هناك سوى تحسينات من رتبة 1/n²؛ ثم جاءت تحسينات بيرارناو وسيرا (Perarnau وSerra)، وتيرينس تاو (Terence Tao) عام 2018، وبنيامين بيديرت (Benjamin Bedert) عام 2025. لكنها كلها تشترك في نقطة ضعف: نسبةً إلى 1/(2n)، يؤول التحسين إلى الصفر كلما ازداد عدد العدّائين.

تحسين لا يتلاشى

تغيّر المبرهنة الجديدة ذلك:

ML(V) > (1 + c)/(2n)

لثابت معيّن c > 0 ولـكل مجموعة من n ≥ 2 سرعة. أصبح الهامش الإضافي الآن نسبة ثابتة من الحدّ السهل، مهما كان عدد العدّائين. والثابت صريح لكنه غير محسوب في الورقة، ولا يحاول المؤلفان تحسينه إلى أقصى حدّ. وهو لا يبلغ القيمة المحدوسة 1/(n + 1)؛ لكنه أول تحسين لا يذوب.

ينظر البرهان في كيفية تداخل «نوافذ الخطر» الخاصة بالعدّائين المختلفين. فبعضها يتداخل لأنها تتشارك المركز نفسه — فالعدّاؤون الذين لسرعاتهم قواسم مشتركة يمرّون بنقطة الانطلاق معًا. وبعضها الآخر يتداخل عند مراكز مختلفة. وللنوع الأول، يحسّن المؤلفان حجة حول القواسم المشتركة الكبيرة تعود إلى غرين ووكر (Green وWalker). وللنوع الثاني، يبرهنان على متباينة هندسية جديدة: حين تُوسَّع النوافذ حول مراكزها، يجب أن تنمو تداخلاتها أسرع من التناسب. وفي الحالتين، لا يمكن للوقت غير المغطّى أن يتقلّص إلى لا شيء.

وكمكسب إضافي، تحسّن النتيجة حدًّا أدنى لـ«مسألة البيجامة»: كم نسخة مدوَّرة وممطوطة من نمط مخطَّط نحتاج لتغطية المستوى.

من فعل ماذا

تتضمّن الورقة بيانًا صريحًا حول استخدام الذكاء الاصطناعي. فالاستراتيجية والإطار من صنع المؤلفَين نفسيهما. واستُخدم ChatGPT 6 Pro وChatGPT 6 Astra أساسًا للتحقّق من الحجج، وتحويل البراهين غير الرسمية إلى براهين صارمة، واستكشاف التحسينات. واقترح Pro إدخال مجاميع على القواسم المشتركة، ثم أصلح لاحقًا «بعض الثغرات الصغيرة» في نسخة أولى من برهان المتباينة الأساسية. وكتب المؤلفان البراهين النهائية. وحكمهما على الأدوات دقيق: «لم تستطع النماذج تحسين حدّ العدّاء الوحيد بمفردها».

بعد ستين عامًا من فيلس، بات للوحدة المضمونة لكل عدّاء، لأول مرة، هامشٌ يبقى ثابتًا.