एकट्या धावपटूला अखेर थोडी मोकळी जागा

एक फेरी लांबीचा एक वर्तुळाकार ट्रॅक कल्पना करा. काही धावपटू एकाच बिंदूपासून, एकाच क्षणी, प्रत्येक जण आपल्या स्वतःच्या स्थिर वेगाने सुरुवात करतात, आणि सगळे वेग वेगवेगळे आहेत. एकट्या धावपटूचे अनुमान सांगते की प्रत्येक धावपटू कधी ना कधी स्वतःला एकटा पाहील: एकूण n + 1 धावपटू असताना, इतर सगळ्यांपासून किमान एका फेरीच्या 1/(n + 1) इतक्या अंतरावर.

ही समस्या तिच्या नावापेक्षा जुनी आहे. शियू हू (Xiyu Hu, University of Chinese Academy of Sciences) आणि यिफान जिंग (Yifan Jing, ओहायो स्टेट विद्यापीठ) यांच्या मते, तिचे मूळ योर्ग विल्स (Jörg Wills) यांच्या, संख्यांचे अपूर्णांकांनी अंदाजन करण्यावरील, 1965 च्या डॉक्टरेट प्रबंधात आहे. क्युसिक (Cusick) यांनी अडथळ्यांनी अडवलेल्या दृष्टिरेषांच्या संदर्भात एक समतुल्य आवृत्ती दिली; धावपटू नंतर आले, गॉडिन (Goddyn) यांच्या पुनर्मांडणीसह. तेव्हापासून ती बिलियर्ड्सच्या मार्गांशी, आलेखांच्या रंगवणीशी आणि मॅट्रॉइड (matroid) नावाच्या अमूर्त रचनांमधील प्रवाहांशी जोडली गेली आहे.

एकटेपण मोजणे

गणितज्ञ सहसा एक धावपटू स्थिर धरतात आणि इतरांचे त्याच्या सापेक्ष वेग पाहतात: n भिन्न धन पूर्णांकांचा एक संच V. t या वेळी, v वेग असलेला धावपटू ट्रॅकवर vt या स्थानी असतो, आणि सुरुवातीच्या बिंदूपासूनचे त्याचे अंतर ∥vt∥ असे लिहिले जाते — म्हणजे vt पासून सर्वांत जवळच्या पूर्णांकापर्यंतचे अंतर. V चे कमाल एकटेपण आहे

ML(V) = t वरील कमाल (V मधील v वरील ∥vt∥ चे किमान)

म्हणजे सर्वांत जवळच्या धावपटूवरून ठरवलेला सर्वोत्तम क्षण. अनुमान ML(V) ≥ 1/(n + 1) असा दावा करते, आणि ही मर्यादा नेमकी (sharp) असेल: 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 वेगांच्या प्रत्येक संचासाठी. कितीही धावपटू असले तरी, जादा फरक आता सोप्या मर्यादेचा एक स्थिर अंश आहे. हा स्थिरांक स्पष्ट (explicit) आहे पण शोधनिबंधात त्याची गणना केलेली नाही, आणि लेखक तो इष्टतम करण्याचा प्रयत्न करत नाहीत. तो अनुमानित 1/(n + 1) पर्यंत पोहोचत नाही; विरघळून न जाणारी ही पहिली सुधारणा आहे.

सिद्धता वेगवेगळ्या धावपटूंच्या “धोक्याच्या खिडक्या” एकमेकांवर कशा आच्छादतात ते पाहते. काही आच्छादतात कारण त्यांचे केंद्र सामाईक असते — ज्या धावपटूंच्या वेगांना सामाईक विभाजक असतात ते सुरुवातीच्या बिंदूवर एकत्र पोहोचतात. इतर वेगवेगळ्या केंद्रांवर आच्छादतात. पहिल्या प्रकारासाठी, लेखक ग्रीन (Green) आणि वॉकर (Walker) यांचा मोठ्या सामाईक विभाजकांबद्दलचा एक युक्तिवाद अधिक परिष्कृत करतात. दुसऱ्यासाठी, ते एक नवी भौमितिक असमानता सिद्ध करतात: खिडक्या त्यांच्या केंद्रांभोवती रुंद केल्यावर, त्यांची आच्छादने प्रमाणापेक्षा जलद वाढली पाहिजेत. कोणत्याही प्रकारे, न झाकलेला वेळ आकसून शून्य होऊ शकत नाही.

बोनस म्हणून, हा निकाल “पायजमा समस्ये”साठीची (pyjama problem) खालची मर्यादाही सुधारतो: प्रतल झाकण्यासाठी पट्टेदार नक्षीच्या फिरवलेल्या आणि ताणलेल्या किती प्रती लागतात.

कोणी काय केले

शोधनिबंधात AI च्या वापराबद्दल स्पष्ट निवेदन आहे. रणनीती आणि आराखडा लेखकांचे स्वतःचे होते. ChatGPT 6 Pro आणि ChatGPT 6 Astra मुख्यतः युक्तिवाद तपासण्यासाठी, अनौपचारिक सिद्धता काटेकोर बनवण्यासाठी आणि परिष्करणांचा शोध घेण्यासाठी वापरले गेले. Pro ने सामाईक विभाजकांवरच्या बेरजा आणण्याचे सुचवले, आणि नंतर मुख्य असमानतेच्या सिद्धतेच्या पहिल्या आवृत्तीतील “काही छोट्या त्रुटी” दुरुस्त केल्या. अंतिम सिद्धता लेखकांनी लिहिल्या. साधनांबद्दलचा त्यांचा निर्णय नेमका आहे: “मॉडेल स्वतःहून एकट्या धावपटूची मर्यादा सुधारू शकली नाहीत.”

विल्स यांच्यानंतर साठ वर्षांनी, प्रत्येक धावपटूला हमी दिलेल्या एकटेपणाला, पहिल्यांदाच, जागचा न हलणारा एक जादा फरक मिळाला आहे.