Erdős Unit Distance Problem क्या है?

समस्या क्या पूछती है?

डिस्क्रीट ज्यामिति (discrete geometry) में Erdős unit distance problem एक प्रसिद्ध खुली समस्या है। इसमें पूछा जाता है:

यदि समतल (Euclidean plane) में (n) बिंदु दिए हों, तो उनमें से अधिकतम कितनी जोड़ी ऐसी हो सकती है जिनकी दूरी बिल्कुल 1 इकाई हो?

दूसरे शब्दों में, हम यह जानना चाहते हैं कि (n) बिंदुओं के किसी भी विन्यास में unit distance pairs की अधिकतम संभव संख्या कितनी हो सकती है।

एर्डोश का अनुमान

1946 में प्रसिद्ध गणितज्ञ Paul Erdős ने अनुमान लगाया कि यह संख्या लगभग रैखिक होगी। उनका अनुमान था कि अधिकतम संख्या लगभग

[
n^{1+o(1)}
]

के क्रम की होगी। यह अनुमान उन उदाहरणों से प्रेरित था जहाँ बिंदुओं को integer lattice (ग्रिड) पर रखा जाता है, जिससे बड़ी संख्या में यूनिट दूरी वाली जोड़ियाँ बनती हैं।

उदाहरण के लिए, यदि बिंदुओं को (\sqrt{n} \times \sqrt{n}) वाले वर्गीय ग्रिड पर रखा जाए, तो क्षैतिज और ऊर्ध्वाधर दिशा में बहुत‑सी जोड़ियाँ ठीक 1 दूरी पर मिलती हैं।

वर्तमान में ज्ञात सीमा (Bounds)

आज तक शोधकर्ताओं ने इस समस्या के लिए कुछ सीमाएँ (bounds) स्थापित की हैं, लेकिन एर्डोश का पूरा अनुमान सिद्ध नहीं हो पाया है।

वर्तमान स्थिति लगभग इस प्रकार है:

lower bound:  n^(1 + O(1/log log n))
upper bound:  O(n^(4/3))
conjecture:   n^(1+o(1))

• निचली सीमा (Lower bound): एर्डोश के मूल निर्माणों से पता चलता है कि कम से कम लगभग (n^{1+O(1/\log\log n)}) यूनिट दूरी वाली जोड़ियाँ संभव हैं।
• ऊपरी सीमा (Upper bound): 1984 में Spencer, Szemerédi और Trotter ने साबित किया कि अधिकतम संख्या (O(n^{4/3})) से अधिक नहीं हो सकती।

यह ऊपरी सीमा आज भी इस समस्या के लिए सबसे अच्छा सामान्य परिणाम मानी जाती है।

समस्या अब भी क्यों महत्वपूर्ण है?

यह प्रश्न combinatorial geometry और incidence theory जैसे क्षेत्रों से जुड़ा है। इसमें बिंदुओं और रेखाओं के संबंधों का अध्ययन किया जाता है, जो कंप्यूटेशनल ज्यामिति और ग्राफ थ्योरी जैसे क्षेत्रों में भी उपयोगी है।

कई दशकों से इस पर शोध जारी है, लेकिन अभी तक ऐसा प्रमाण नहीं मिला है जो एर्डोश के अनुमान (n^{1+o(1)}) को पूरी तरह सिद्ध या खारिज कर सके।

निष्कर्ष

यदि आप इस समस्या का पूर्ण समाधान या प्रमाण ढूँढ रहे हैं, तो स्थिति साफ है: अब तक इसका पूरा प्रमाण ज्ञात नहीं है। यह आधुनिक गणित की उन प्रसिद्ध समस्याओं में से है जो आज भी खुली हुई हैं।