अकेले धावक को आख़िरकार थोड़ी जगह मिली

एक चक्कर लंबे गोल ट्रैक की कल्पना करें। कई धावक एक ही पल में एक ही बिंदु से शुरू करते हैं, हर एक अपनी स्थिर रफ़्तार से, और सबकी रफ़्तार अलग। अकेले धावक का अनुमान (lonely runner conjecture) कहता है कि जब कुल n + 1 धावक हों, तो हर धावक किसी न किसी पल ख़ुद को अकेला पाएगा: बाक़ी सबसे कम से कम 1/(n + 1) चक्कर की दूरी पर।

यह सवाल अपने नाम से पुराना है। Xiyu Hu (चीनी विज्ञान अकादमी विश्वविद्यालय) और Yifan Jing (ओहायो स्टेट विश्वविद्यालय) के अनुसार, इसकी जड़ें Jörg Wills के 1965 के डॉक्टरेट शोध-प्रबंध में हैं, जो भिन्नों द्वारा संख्याओं के सन्निकटन पर था। Cusick ने अवरोधों से रुकी दृष्टि-रेखाओं के रूप में इसका एक समतुल्य रूप दिया; धावक बाद में आए, Goddyn के एक पुनर्सूत्रण के साथ। तब से इसे बिलियर्ड के प्रक्षेप-पथों, ग्राफ़ों के रंगने और मैट्रॉइड नाम की अमूर्त संरचनाओं में प्रवाहों से जोड़ा गया है।

अकेलेपन को मापना

गणितज्ञ आम तौर पर एक धावक को स्थिर मानकर बाक़ियों की रफ़्तार उसके सापेक्ष देखते हैं: n अलग-अलग धनात्मक पूर्णांकों का एक समुच्चय V। समय 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, 2018 में Terence Tao, और 2025 में Benjamin Bedert के सुधार। लेकिन इन सबमें एक कमज़ोरी साझा है: धावकों की संख्या बढ़ने के साथ 1/(2n) के सापेक्ष सुधार शून्य की ओर जाता है।

ऐसा सुधार जो फीका नहीं पड़ता

नया प्रमेय इसे बदल देता है:

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

एक निश्चित स्थिरांक c > 0 के लिए और n ≥ 2 रफ़्तारों के हर समुच्चय के लिए। अतिरिक्त गुंजाइश अब आसान सीमा का एक स्थिर अनुपात है, धावक चाहे जितने हों। स्थिरांक स्पष्ट है पर शोध-पत्र में उसका मान नहीं निकाला गया है, और लेखक उसे इष्टतम बनाने की कोई कोशिश नहीं करते। यह अनुमानित 1/(n + 1) तक नहीं पहुँचता; यह पहला सुधार है जो घुलकर ग़ायब नहीं होता।

उपपत्ति इस पर नज़र डालती है कि अलग-अलग धावकों की “ख़तरे की खिड़कियाँ” कैसे अतिव्याप्त होती हैं। कुछ इसलिए अतिव्याप्त होती हैं क्योंकि उनका केंद्र साझा है — जिन धावकों की रफ़्तारों में उभयनिष्ठ भाजक हैं, वे साथ-साथ शुरुआती बिंदु से गुज़रते हैं। बाक़ी अलग-अलग केंद्रों पर अतिव्याप्त होती हैं। पहले प्रकार के लिए, लेखक बड़े उभयनिष्ठ भाजकों के बारे में Green और Walker के एक तर्क को परिष्कृत करते हैं। दूसरे के लिए, वे एक नई ज्यामितीय असमिका सिद्ध करते हैं: जब खिड़कियों को उनके केंद्रों के आसपास चौड़ा किया जाता है, तो उनके अतिव्यापन को अनुपात से ज़्यादा तेज़ी से बढ़ना पड़ता है। दोनों ही सूरतों में, बिना ढका समय घटकर शून्य नहीं हो सकता।

बोनस के तौर पर, यह नतीजा “पायजामा समस्या” की एक निचली सीमा को भी सुधारता है: समतल को ढकने के लिए धारीदार पैटर्न की कितनी घुमाई और खींची गई प्रतियाँ चाहिए।

किसने क्या किया

शोध-पत्र में AI के इस्तेमाल पर एक स्पष्ट बयान है। रणनीति और ढाँचा लेखकों के अपने थे। ChatGPT 6 Pro और ChatGPT 6 Astra का इस्तेमाल मुख्य रूप से तर्क जाँचने, अनौपचारिक उपपत्तियों को कठोर उपपत्तियों में बदलने और परिष्कारों को टटोलने के लिए हुआ। Pro ने उभयनिष्ठ भाजकों पर योगफल लाने का सुझाव दिया, और बाद में मुख्य असमिका की उपपत्ति के पहले संस्करण में “कुछ छोटी कमियाँ” ठीक कीं। अंतिम उपपत्तियाँ लेखकों ने लिखीं। औज़ारों पर उनका फ़ैसला सटीक है: “मॉडल अपने दम पर अकेले धावक की सीमा को बेहतर नहीं कर सके।”

Wills के साठ साल बाद, हर धावक को मिलने वाले गारंटीशुदा अकेलेपन में पहली बार एक ऐसी गुंजाइश है जो टिकी रहती है।