🔢 mathematics

An incomplete attack on the upper bound of the unit distance problem

यह शोध पत्र यह प्रदर्शित करने के एक अपूर्ण प्रयास को प्रस्तुत करता है कि $n$ बिंदुओं द्वारा तल में निर्धारित इकाई दूरियों (unit distances) के लिए लगभग $n^{4/3}$ की स्थापित ऊपरी सीमा सटीक नहीं है, जबकि साथ ही उन बिंदुओं और रेखाओं की विन्यासों के बारे में अंतर्दृष्टि भी प्रदान करता है जो सटीक सेमेरेडी-ट्रोटर (Szemerédi-Trotter) इंसीडेंस बाउंड को प्राप्त करते हैं।

मूल लेखक: Steven Senger

प्रकाशित 2026-05-27

📖 7 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Steven Senger

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

यहाँ स्टीवन सेंगर के शोध पत्र, "An incomplete attack on the upper bound of the unit distance problem" का सरल, रोजमर्रा की भाषा में अनुवाद दिया गया है, जिसमें उपमाओं (analogies) का उपयोग किया गया है।

मुख्य विचार: "पार्टी डिस्टेंस" की समस्या

कल्पना कीजिए कि आप एक बड़े डांस फ्लोर पर कहीं भी खड़े $n$ मेहमानों के साथ एक बड़ी पार्टी आयोजित करते हैं। आप जानना चाहते हैं: अधिकतम कितने जोड़े (pairs) ऐसे हो सकते हैं जो एक-दूसरे से ठीक एक मीटर की दूरी पर खड़े हों?

1946 में, एक प्रसिद्ध गणितज्ञ एर्डोस (Erdős) ने अनुमान लगाया था कि यह संख्या बहुत बड़ी नहीं हो सकती। उनका मानना था कि यह संख्या लगभग $n$ (मेहमानों की संख्या) और उससे थोड़ा सा अधिक होगी।

हालाँकि, हमारे पास अभी जो सबसे अच्छा गणितीय प्रमाण है (1980 के दशक का), वह कहता है कि यह संख्या $n^{4/3}$ तक ऊँची हो सकती है। इसे समझने के लिए: यदि आपके पास 1,000,000 मेहमान हैं, तो एक मीटर की दूरी पर खड़े जोड़ों की "सुरक्षित" सीमा लगभग 10,000,000 है।

इस शोध पत्र का लक्ष्य:
लेखक, स्टीवन सेंगर, यह सिद्ध करने की कोशिश कर रहे हैं कि यह सीमा ( $n^{4/3}$ ) बहुत अधिक है। वह यह दिखाना चाहते हैं कि आप ज्यामिति (geometry) के नियमों को तोड़े बिना इतने सारे लोगों को एक मीटर की दूरी पर नहीं बिठा सकते। वह इसे एक "अधूना हमला" (incomplete attack) कहते हैं क्योंकि वह फंस गए थे और प्रमाण पूरा नहीं कर सके, लेकिन वह अपना "नक्शा" साझा करना चाहते हैं ताकि कोई और इस यात्रा को पूरा कर सके।

रणनीति: "क्रॉसिंग रोड्स" (चौराहों) की उपमा

अपना तर्क सिद्ध करने के लिए, सेंगर ट्रैफिक जाम (गणितज्ञ इसे "क्रॉसिंग नंबर लेम्मा" कहते हैं) से जुड़ी एक चतुर तकनीक का उपयोग करते हैं।

नक्शा: कल्पना कीजिए कि आप एक नक्शा बना रहे हैं जहाँ हर मेहमान एक बिंदु (dot) है। यदि दो मेहमान ठीक एक मीटर की दूरी पर हैं, तो आप उन्हें जोड़ने के लिए एक घुमावदार रेखा (arc) खींचते हैं।
ट्रैफिक: जब आप ये सभी रेखाएँ खींचते हैं, तो वे अनिवार्य रूप से एक-दूसरे को काटेंगी। "क्रॉसिंग नंबर" बस उन स्थानों की गिनती है जहाँ ये रेखाएँ आपस में टकराती हैं।
नियम: एक ज्ञात गणितीय नियम है जो कहता है: यदि आपके पास बहुत सारी रेखाएँ (edges) हैं और पर्याप्त बिंदु (vertices) नहीं हैं, तो रेखाएँ एक बड़ी संख्या में एक-दूसरे को काटने के लिए मजबूर होती हैं।

सेंगर का तर्क:
वह सबसे खराब स्थिति मान लेते हैं: कि $n^{4/3}$ की सीमा वास्तव में सच है। यदि यह सच होता, तो वह तर्क देते हैं, तो रेखाओं के टकराने का "ट्रैफिक जाम" अविश्वसनीय रूप से विशिष्ट और समान (uniform) होना चाहिए।

उपमा: एक हाईवे की कल्पना करें जहाँ हर एक कार अन्य कारों के साथ होने वाली "बाल-बाल बची" (near-misses) घटनाओं की बिल्कुल समान संख्या में शामिल है।
दावा: सेंगर दिखाते हैं कि गणित के काम करने के लिए, लगभग हर "एक-मीटर कनेक्शन" को लगभग $n^{2/3}$ अन्य रेखाओं द्वारा कटा हुआ होना चाहिए। यह कहने जैसा है कि पार्टी में मौजूद लगभग हर व्यक्ति ऐसी जगह खड़ा है जहाँ अन्य लोगों के "एक-मीटर ज़ोन" के ठीक 1,000 ओवरलैप (overlap) हो रहे हैं।

"ल्यून" (Lune) और "स्ट्रिप" (Strip)

इसे ठोस बनाने के लिए, सेंगर डांस फ्लोर को छोटे, प्रबंधनीय टुकड़ों में विभाजित करते हैं।

ल्यून्स (अर्धचंद्राकार आकार):
यदि दो लोग, एलिस और बॉब, एक मीटर से कम दूरी पर हैं, तो उनके "एक-मीटर सर्कल" एक ऐसे आकार में ओवरलैप होते हैं जो अर्धचंद्र (crescent moon) जैसा दिखता है (गणितज्ञ इसे ल्यून (lune) कहते हैं)।
- सेंगर तर्क देते हैं कि यदि $n^{4/3}$ की सीमा सच है, तो इन अर्धचंद्राकार आकारों में लोगों की भारी भीड़ जमा होनी चाहिए।
- वह "विशिष्ट बिंदुओं" (Typical Points) की पहचान करते हैं: ये वे मेहमान हैं जो इतने अधिक लोगों से घिरे हुए हैं कि वे इन भीड़भाड़ वाले अर्धचंद्राकार आकारों का हिस्सा हैं।
दो वर्ग (Two Squares):
वह डांस फ्लोर पर केवल दो छोटे वर्गों पर ध्यान केंद्रित करते हैं जिनमें सबसे अधिक "एक-मीटर जोड़े" मौजूद हैं। फिर वह भीड़ को छाँटते हैं, उन लोगों को हटा देते हैं जो एक-दूसरे के बहुत करीब या बहुत दूर हैं, जिससे एक "साफ" समूह बचता है।
- परिणाम: अंत में उनके पास एक पतली क्षैतिज पट्टी (horizontal strip) में भरे हुए लोगों का एक समूह बचता है। इस पट्टी में, लोग एक बहुत ही कठोर, ग्रिड जैसी संरचना में व्यवस्थित हैं जहाँ उनके बीच के अंतराल लगभग एक समान आकार के हैं।

"अधूरा" भाग: जाल (The Trap)

यहीं पर शोध पत्र का काम रुक जाता है। सेंगर ज्यामिति के लिए एक जाल बिछाते हैं:

वह इस समूह में उन दो लोगों को ढूंढते हैं जो एक घुमावदार पथ पर एक-दूसरे के सबसे करीब हैं। मान लीजिए कि उनके बीच की दूरी $\epsilon$ (एक बहुत छोटी संख्या) है।
वह तर्क देते हैं कि चूंकि समूह इतना घना है, इसलिए वहां लोगों का एक और जोड़ा होना ही चाहिए जो $\epsilon$ से भी अधिक करीब हो।
आशा: यदि आप लगातार ऐसे जोड़े पाते रहते हैं जो और भी करीब होते जा रहे हैं, तो अंततः दूरी शून्य हो जानी चाहिए (दो लोग एक ही स्थान पर), जो कि असंभव है। यह मूल धारणा ( $n^{4/3}$ ) को गलत साबित कर देगा।

यह क्यों विफल हुआ:
सेंगर स्वीकार करते हैं कि वह फंस गए थे। वह गणितीय रूप से यह सिद्ध नहीं कर सके कि वह "करीब वाला जोड़ा" वास्तव में अस्तित्व में था जो विरोधाभास पैदा करता। उन्होंने उल्लेख किया कि अन्य गणितज्ञों (काट्ज़ और सिलिएर) ने बाद में अधिक मजबूत परिणाम खोजे हैं जो इस समस्या को हल कर सकते थे, इसलिए उन्होंने अपना विशिष्ट दृष्टिकोण छोड़ दिया।

एक नोट: बिंदु और रेखाएँ (Points and Lines)

यह शोध पत्र संक्षेप में एक संबंधित समस्या पर भी चर्चा करता है: बिंदु और रेखाएँ।

कल्पना कीजिए कि आपके पास $n$ बिंदु और $n$ रेखाएँ हैं। एक बिंदु कितनी बार ठीक एक रेखा पर स्थित हो सकता है?
गणित कहता है कि अधिकतम भी लगभग $n^{4/3}$ ही है।
सेंगर दिखाते हैं कि यदि आप इस अधिकतम तक पहुँचते हैं, तो बिंदु और रेखाएँ एक बहुत ही विशिष्ट, "तीक्ष्ण" (sharp) पैटर्न में व्यवस्थित होती हैं, जो भीड़भाड़ वाले डांस फ्लोर के समान है। वह एक "दर्पण" तकनीक (जिसे द्वैतता या duality कहा जाता है) का उपयोग करके दिखाते हैं कि भीड़भाड़ वाले बिंदुओं के नियम, भीड़भाड़ वाली रेखाओं के नियमों के समान ही हैं।

सारांश

समस्या: क्या हम यह सिद्ध कर सकते हैं कि आपके पास उतने "एक-मीटर जोड़े" नहीं हो सकते जितने कि वर्तमान गणित की अनुमति देता है ( $n^{4/3}$ )?
विधि: मान लीजिए कि आपके पास वास्तव में इतने जोड़े हो सकते हैं। यह बिंदुओं को एक बहुत ही विशिष्ट, भीड़भाड़ वाले तरीके में व्यवस्थित होने के लिए मजबूर करता है जहाँ "ट्रैफिक" (टकराती रेखाएँ) पूरी तरह से समान होती हैं।
प्रयास: सेंगर ने यह दिखाने की कोशिश की कि यह पूर्ण एकरूपता एक ज्यामितीय असंभवता (लोग अनंत रूप से करीब आ रहे हैं) की ओर ले जाती है।
परिणाम: वह फंस गए। वह प्रमाण पूरा नहीं कर सके, लेकिन उन्होंने वह "रोडमैप" तैयार किया कि यदि यह सीमा सच होती तो बिंदु कैसे व्यवहार करते। वह आशा करते हैं कि कोई और इस नक्शे को उठाएगा और यात्रा पूरी करेगा।

नोट: शोध पत्र स्पष्ट रूप से बताता है कि यह एक अधूरा (incomplete) प्रयास है। यह दावा नहीं करता कि इसने समस्या को हल कर लिया है, न ही यह AI या अन्य क्षेत्रों के लिए नए अनुप्रयोग प्रदान करता है। यह पूरी तरह से एक विशिष्ट ज्यामितीय पहेली का गणितीय अन्वेषण है।

तकनीकी सारांश: यूनिट डिस्टेंस समस्या के अपर बाउंड (Upper Bound) पर एक अपूर्ण आक्रमण

समस्या का विवरण
यह शोध पत्र समतल (plane) में 'यूनिट डिस्टेंस प्रॉब्लम' को संबोधित करता है, जो $n$ बिंदुओं के एक सेट में इकाई दूरी (unit distance) द्वारा अलग किए गए जोड़ों की संख्या पर एक ऊपरी सीमा (upper bound) खोजने का प्रयास करता है। स्थापित ऊपरी सीमा, जिसे स्पेंसर, ज़ेमेरेडी और ट्रोटर द्वारा सिद्ध किया गया है, $O(n^{4/3})$ है। एर्दोश ने $n^{1+\epsilon}$ की सीमा का अनुमान लगाया था, लेकिन हाल के परिणामों ने (AI द्वारा और सॉविन द्वारा स्पष्ट निर्माणों के माध्यम से) इस अनुमान को गलत सिद्ध करते हुए अंतर को कम तो किया है, लेकिन इसे पूरी तरह बंद नहीं किया है। लेखक इस बात की जांच कर रहे हैं कि क्या $n^{4/3}$ की सीमा सटीक (sharp) है। विशेष रूप से, यह पत्र एक विरोधाभास (contradiction) उत्पन्न करने का प्रयास करता है, यह मानते हुए कि सीमा टाइट (tight) है और उस अधिकतम को प्राप्त करने वाले बिंदु समूहों की ज्यामितीय संरचना का विश्लेषण करता है।

कार्यप्रणाली (Methodology)
लेखक विरोधाभास द्वारा प्रमाण (proof by contradiction) का उपयोग करते हैं, यह मानते हुए कि एक सेट $P$ मौजूद है जिसमें $n$ बिंदु $\Theta(n^{4/3})$ यूनिट दूरियां निर्धारित करते हैं। कार्यप्रणाली संरचनात्मक विश्लेषण और ज्यामितीय न्यूनीकरण (geometric reduction) के कई चरणों के माध्यम से आगे बढ़ती है:

ग्राफ-थ्योरेटिक ढांचा: प्रमाण 'क्रॉसिंग नंबर लेम्मा' (लेम्मा 1.2) का उपयोग करता है, जो एक ग्राफ में किनारों (edges) की संख्या $|E|$ और शीर्षों (vertices) की संख्या $|V|$ को उसके क्रॉसिंग नंबर $cr(G)$ से जोड़ता है। एक ऐसा ग्राफ बनाकर जहाँ शीर्ष बिंदु हैं और किनारे क्रमिक बिंदुओं को जोड़ने वाले इकाई वृत्तों (unit circles) के चाप (arcs) हैं, लेखक यूनिट दूरियों को वृत्त प्रतिच्छेदन (circle intersections) की संख्या से जोड़ते हैं।
औसत क्रॉसिंग विश्लेषण: लेखक स्थापित करते हैं कि यदि $n^{4/3}$ की सीमा सटीक है, तो संबंधित ग्राफ में लगभग $n^{2/3}$ क्रॉसिंग वाले "सामान्य" (typical) किनारे होने चाहिए। इससे "सामान्य" बिंदुओं (प्रपोजिशन 1.5) का अस्तित्व सिद्ध होता है जो $\approx n^{1/3}$ वृत्तों पर स्थित होते हैं, जहाँ प्रत्येक वृत्त में $\approx n^{1/3}$ बिंदु होते हैं, और इन वृत्तों पर क्रमिक बिंदुओं के बीच के क्षेत्र (lunes) में $\approx n^{2/3}$ बिंदु होते हैं।
ज्यामितीय न्यूनीकरण (Pigeonholing): समतल को वर्गों (squares) में विभाजित किया जाता है, और विश्लेषण को उन दो वर्गों तक सीमित किया जाता है जिनमें यूनिट दूरियों का सबसे घना संकेंद्रण होता है। बिंदु समूह को निम्नलिखित रूप में परिष्कृत किया जाता है:
- दो उप-समुच्चयों $A$ और $B$ के बीच यूनिट दूरियों को अधिकतम करने के लिए एक क्षैतिज पट्टी (horizontal strip) $H_\delta$ का चयन करना।
- बिंदुओं को छाँटना (pruning) ताकि किसी भी इकाई वृत्त पर क्रमिक बिंदुओं के बीच न्यूनतम चाप लंबाई $\epsilon$ सुनिश्चित हो सके, जिसके परिणामस्वरूप एक उप-समुच्चय $E$ प्राप्त होता है जिसमें $\gtrsim n$ बिंदु और $\gtrsim n^{4/3}$ यूनिट दूरियां होती हैं।
त्रिकोणमितीय अनुमान (Trigonometric Estimation): लेखक साइन (sine) और कोसाइन (cosine) के टेलर विस्तार (Taylor expansions) का उपयोग करके प्रतिच्छेदी वृत्तों पर बिंदुओं के बीच की दूरी का अनुमान निकालते हैं। लेम्मा 3.2 और कोरोलरी 3.3 चाप की लंबाई $\alpha, \beta$ और स्पर्शों (tangents) के बीच के कोण $\theta$ के आधार पर दूरी $|a-c|$ का सन्निकटन प्रदान करते हैं। मूल विचार यह है कि यदि बिंदु कसकर क्लस्टर (clustered) हैं, तो प्रारंभिक न्यूनतम पृथक्करण $\epsilon$ से भी अधिक निकट एक दूसरा जोड़ा मिल जाना चाहिए, जो संभावित रूप से विरोधाभास की ओर ले जा सकता है।
ज़ेमेरेडी-ट्रोटर इनसिडेंस बाउंड से संबंध: यह पत्र बिंदु-रेखा प्रतिच्छेदन (point-line incidences) के संबंध में ज़ेमेरेडी-ट्रोटर प्रमेय के समानांतर एक संबंध खींचता है। यह "ST-शार्प पेयर्स" (बिंदुओं और रेखाओं के $n$ सेट जिनमें $\Theta(n^{4/3})$ प्रतिच्छेदन हैं) का विश्लेषण करता है ताकि समान संरचनात्मक गुणों, जैसे कि रेखाओं पर बिंदुओं के वितरण और डुअल ग्राफ के क्रॉसिंग व्यवहार को प्रदर्शित किया जा सके।

प्रमुख योगदान और परिणाम

संरचनात्मक लक्षण वर्णन (Structural Characterization): यह पत्र उन ज्यामितीय बाधाओं का विस्तृत लक्षण वर्णन प्रदान करता है जिन्हें कोई भी बिंदु समूह संतुष्ट करेगा यदि वह $n^{4/3}$ की ऊपरी सीमा प्राप्त करना चाहता है। इसमें "सामान्य" बिंदुओं की आवश्यकता, ल्यून्स (lunes) के भीतर बिंदुओं का विशिष्ट वितरण, और इकाई वृत्तों पर बिंदुओं के बीच न्यूनतम पृथक्करण $\epsilon$ शामिल है।
परिष्कृत ज्यामितीय लेम्मा: लेखक छोटे चाप की लंबाई और कोणों की सीमा में बिंदुओं के व्यवहार का विश्लेषण करने के लिए विशिष्ट त्रिकोणमितीय अनुमान (प्रपोजिशन 3.1, लेम्मा 3.2, कोरोलरी 3.3) प्रस्तुत करते हैं, जो इस बात में अंतर करते हैं कि दूरियां चाप के अंतर (arc differences) के रूप में व्यवहार करती हैं या चाप-कोण उत्पादों (arc-angle products) के रूप में।
द्वैत विश्लेषण (Duality Analysis): यह पत्र बिंदु-रेखा प्रतिच्छेदन के डुअल सेटिंग में क्रॉसिंग नंबर तर्क को विस्तारित करता है, यह दिखाते हुए कि ST-शार्प पेयर्स समान संरचनात्मक नियमितताएं प्रदर्शित करते हैं (प्रपोजिशन 4.2–4.4)।

महत्व और सीमाएं
यह पत्र स्पष्ट रूप से स्वयं को एक "अपूर्ण प्रयास" के रूप में फ्रेम करता है। लेखक बताते हैं कि यह कार्य 2015 और 2021 के बीच किया गया था लेकिन इसे छोड़ दिया गया क्योंकि लेखक अंतिम विरोधाभास के व्युत्पन्न (derivation) में एक "अटकने वाले" (stuck) बिंदु से टकरा गए थे। इसके अलावा, लेखक नोट करते हैं कि काट्ज़ और सिलियर (संदर्भ [4] के रूप में उल्लेखित) के बाद के कार्य ने काफी मजबूत परिणाम दिए हैं, जिससे यह विशिष्ट आक्रमण अप्रचलित (obsolete) हो गया है।

इस दस्तावेज़ का महत्व एक हल किए गए प्रमेय में नहीं, बल्कि दृष्टिकोण के विवरण में निहित है। लेखक को उम्मीद है कि पिजनहोलिंग योजना, छंटाई एल्गोरिदम (pruning algorithm), और त्रिकोणमितीय अनुमानों का विस्तृत विवरण उन अन्य लोगों के लिए उपयोगी सिद्ध होगा जो यूनिट डिस्टेंस बाउंड की शार्पनेस या ज़ेमेरेडी-ट्रोटर चरम सेटों (extremal sets) की संरचना की जांच कर रहे हैं। यह दस्तावेज़ तर्क की एक विशिष्ट पद्धति का भंडार है जो, हालांकि इस मामले में विरोधाभास उत्पन्न करने में विफल रही, $n^{4/3}$ बाउंड के संभावित प्रति-उदाहरणों (counterexamples) के ज्यामितीय परिदृश्य की एक कठोर खोज प्रदान करती है।