🔢 mathematics

Resolution of two conjectures by Erd\H{o}s and Hall concerning separable numbers

यह शोध पत्र यह सिद्ध करके कि दो की पृथक्करणीय (separable) और गैर-पृथक्करणीय (non-separable) घातों का निचला घनत्व धनात्मक है, और प्रथम अभाज्य संख्याओं के गुणनफल के बराबर गुणनफल वाले इंटरलॉकिंग युग्मों की संख्या परिमित है, एर्दोश और हॉल के दो अनुमानों को हल करता है।

मूल लेखक: Stijn Cambie, Wouter van Doorn

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

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

CC BY 4.0

मूल लेखक: Stijn Cambie, Wouter van Doorn

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

कल्पना कीजिए कि आपके पास संख्याओं की दो टीमें हैं, टीम M और टीम N। प्रत्येक टीम के पास अपने "सदस्यों" (भाजकों) की एक सूची है, जो छोटे से बड़े क्रम में व्यवस्थित है।

यह शोधपत्र एक विशेष संबंध पेश करता है जिसे "इंटरलॉकिंग" (interlocking) कहा जाता है। इसे एक ज़िप या एक ऐसे नृत्य की तरह समझें जहाँ भागीदारों को पूरी तरह से बारी-बारी से आना चाहिए। यदि आप टीम N के सभी सदस्यों को (1 को छोड़कर) एक पंक्ति में खड़ा करते हैं, तो टीम M का एक सदस्य टीम N के हर जोड़े के बीच खड़ा होना चाहिए। इसके विपरीत, यदि आप टीम M के सदस्यों को (1 को छोड़कर) एक पंक्ति में खड़ा करते हैं, तो टीम N का एक सदस्य उनके हर जोड़े के बीच खड़ा होना चाहिए।

यदि दो संख्याएँ यह नृत्य कर सकती हैं, तो वे एक "इंटरलॉकिंग पेयर" (interlocking pair) हैं। एक संख्या को "सेपरेबल" (separable) कहा जाता है यदि वह नृत्य करने के लिए एक साथी ढूँढ सकती है।

बड़े प्रश्न

दो प्रसिद्ध गणितज्ञों, एर्दोश (Erdős) और हॉल (Hall) ने इन संख्याओं के बारे में दो बड़े प्रश्न पूछे थे:

"दो की शक्ति" वाला प्रश्न: उन्होंने अनुमान लगाया कि यदि आप $2^k$ (2, 4, 8, 16, 32, आदि) जैसी संख्या लेते हैं, तो वह लगभग हमेशा "सेपरेबल" होती है। दूसरे शब्दों में, उन्होंने सोचा कि दो की घात वाली संख्याएँ नृत्य के साथी खोजने में बहुत अच्छी होती हैं।
"प्राइम प्रोडक्ट" (अभाज्य गुणनफल) वाला प्रश्न: उन्होंने अनुमान लगाया कि यदि आप पहले $k$ अभाज्यों को आपस में गुणा करते हैं (जैसे $2 \times 3 \times 5 \times 7 \dots$ ), और $k$ एक बड़ी संख्या है, तो आप इस विशाल गुणनफल को कभी भी दो इंटरलॉकिंग संख्याओं में नहीं बाँट सकते।

इस शोधपत्र ने क्या पाया

लेखकों, स्टिन कैम्बी (Stijn Cambie) और वौटर वैन डोर्न (Wouter van Doorn) ने सिद्ध किया कि ये दोनों अनुमान गलत थे (या कम से कम, पूरी तरह से सही नहीं थे)।

1. दो की शक्ति का आश्चर्य

लेखकों ने सिद्ध किया कि दो की घातों के बारे में एर्दोश और हॉल का यह अनुमान गलत था कि वे "लगभग हमेशा" सेपरेबल होते हैं।

खोज: उन्होंने संख्याओं का एक विशिष्ट पैटर्न (12 से भाग देने पर मिलने वाले शेषफल पर आधारित) खोजा जहाँ $2^k$ एक साथी नहीं ढूँढ सकता। चाहे आप कितनी भी कोशिश कर लें, आप इन विशिष्ट दो की घातों को किसी अन्य संख्या के साथ इंटरलॉक नहीं कर सकते।
ट्विस्ट: हालाँकि, उन्होंने यह भी सिद्ध किया कि दो की घातों के कुछ अन्य रूप भी हैं जो साथी ढूँढ सकते हैं। वास्तव में, ये "सफल" दो की घातें इतनी अधिक हैं कि वे सभी संख्याओं का एक महत्वपूर्ण हिस्सा बनाती हैं।
निर्णय: यह केवल "हाँ" या "नहीं" का मामला नहीं है। परिदृश्य मिश्रित है। कुछ दो की घातें बेहतरीन डांसर हैं; अन्य पूरी तरह से नाचने में असमर्थ हैं। दोनों समूहों का घनत्व (density) सकारात्मक है, जिसका अर्थ है कि दोनों समूह पर्याप्त मात्रा में हैं।

2. प्राइम प्रोडक्ट की सीमा

पहले $k$ अभाज्यों के गुणनफल के संबंध में:

खोज: लेखकों ने पुष्टि की कि एर्दोश और हॉल इस सीमा के बारे में सही थे, लेकिन उन्होंने यह भी खोज निकाला कि वह रेखा ठीक कहाँ खींची गई है।
निर्णय: आप पहले कुछ अभाज्यों के गुणनफल को दो इंटरलॉकिंग संख्याओं में बाँट सकते हैं, लेकिन केवल तभी जब आपके पास 8 या उससे कम अभाज्य संख्याएँ हों। यदि आप 9 या अधिक अभाज्यों के साथ ऐसा करने की कोशिश करते हैं, तो यह गणितीय रूप से असंभव हो जाता है। "डांस फ्लोर" बहुत अधिक भीड़भाड़ वाला हो जाता है, और संख्याएँ अब पूरी तरह से बारी-बारी से नहीं आ पातीं।

यह क्यों महत्वपूर्ण है (सरल शब्दों में)

यह शोधपत्र संख्याओं की दुनिया में एक जासूसी कहानी की तरह है।

पुरानी थ्योरी: "दो की घातें हमेशा साथी खोजने में अच्छी होती हैं, और बड़े प्राइम प्रोडक्ट्स कभी भी इसमें अच्छे नहीं होते।"
नई वास्तविकता: "वास्तव में, दो की घातें एक मिला-जुला मामला हैं—कुछ बेहतरीन हैं, कुछ बहुत खराब; और प्राइम प्रोडक्ट्स के लिए, एक कठिन कट-ऑफ पॉइंट (8 अभाज्य तक) है जहाँ जादू काम करना बंद कर देता है।"

लेखकों ने केवल अनुमान नहीं लगाया; उन्होंने सटीक रूप से सिद्ध किया कि कौन सी संख्याएँ विफल होती हैं और कौन सी सफल होती हैं, जिससे दशकों से चल रही बहस सुलझ गई। उन्होंने अपने काम की दोबारा जाँच करने के लिए कंप्यूटर कोड (Lean) का भी उपयोग किया, जिससे यह सुनिश्चित हुआ कि उनका तर्क पूरी तरह से अचूक है।

समस्या विवरण
यह शोध पत्र अर्दोस (Erdős) और हॉल (Hall) द्वारा "सेपरेबल संख्याओं" (separable numbers) और "इंटरलॉकिंग पेयर्स" (interlocking pairs) के संबंध में प्रस्तावित दो अनुमानों को संबोधित करता है। उनकी शब्दावली के अनुसार, दो धनात्मक पूर्णांक $m$ और $n$ एक इंटरलॉकिंग पेयर (interlocking pair) बनाते हैं यदि $n$ के किन्हीं भी दो क्रमागत विभाजकों के बीच (जो 1 से बड़े हों), $m$ का एक विभाजक मौजूद हो, और इसके विपरीत भी। एक पूर्णांक को तब सेपरेबल (separable) कहा जाता है यदि वह ऐसे जोड़े का हिस्सा हो।

लेखक दो विशिष्ट खुले प्रश्नों पर ध्यान केंद्रित करते हैं:

सेपरेबल पावर्स ऑफ टू की डेंसिटी (Density of Separable Powers of Two): अर्दोस और हॉल ने अनुमान लगाया था कि लगभग सभी $k$ के लिए $2^k$ सेपरेबल है। उन्होंने यह भी उल्लेख किया कि यह निर्धारित करने में कठिनाई है कि क्या गणना फलन (counting function) $A(x)$ (संख्या $x$ तक की सेपरेबल संख्याएँ) $A(x) = o(x)$ को संतुष्ट करता है।
प्राइम्स का इंटरलॉकिंग प्रोडक्ट (Interlocking Products of Primes): अर्दोस और हॉल ने अनुमान लगाया था कि यदि $k$ पर्याप्त रूप से बड़ा है, तो ऐसा कोई इंटरलॉकिंग पेयर $(m, n)$ मौजूद नहीं है जिसका गुणनफल $mn $प्रथम$ k $अभाज्य संख्याओं का गुणनफल$ P_k$ हो।

कार्यप्रणाली (Methodology)
लेखक इन अनुमानों को हल करने के लिए कॉम्बिनेटोरियल नंबर थ्योरी (combinatorial number theory), विभाजक विश्लेषण (divisor analysis), और प्राइम गैप्स (prime gaps) के परिणामों के संयोजन का उपयोग करते हैं।

विभाजक गणना और पैरिटी (Divisor Counting and Parity): शोध पत्र लेम्मा 1 (Lemma 1) स्थापित करके शुरू होता है, जो दो इंटरलॉकिंग संख्याओं के विभाजकों की संख्या $\tau(n)$ के बीच संबंध बताता है। विशेष रूप से, यदि $d_2(n) < d_2(m)$ , तो $\tau(m) = \tau(n)$ होगा यदि $n < m$ , और $\tau(m) = \tau(n) - 1$ होगा यदि $n > m$ । यह लेम्मा संभावित पार्टनर के ढांचे के संबंध में विरोधाभासों को निकालने के लिए महत्वपूर्ण है।
$2^k$ के अनुमान का खंडन करना:
- यह दिखाने के लिए कि $k$ के एक धनात्मक निचली घनत्व (positive lower density) के लिए $2^k$ सेपरेबल नहीं है, लेखक एक काल्पनिक पार्टनर $m$ के विभाजकों पर प्रतिबंधों का विश्लेषण करते हैं। $\tau(m)$ के विषम या सम होने के मामलों का परीक्षण करने और मॉड्यूलर अंकगणित ( $k \equiv 1, 2, 9, 10 \pmod{12}$ ) का उपयोग करके, वे प्रदर्शित करते हैं कि ऐसा कोई भी $m$ अनिवार्य रूप से ऐसे विभाजकों को धारण करेगा जो इंटरलॉकिंग स्थिति का उल्लंघन करते हैं (उदाहरण के लिए, 2 की शक्तियों के बीच ऐसे अंतराल बनाना जिन्हें भरा नहीं जा सकता)।
- यह दिखाने के लिए कि $k$ के एक धनात्मक निचली घनत्व के लिए $2^k$ सेपरेबल है, लेखक "वेल-स्प्रेड" (well-spread) विभाजकों वाले पूर्णांकों के एक सेट $S$ को परिभाषित करते हैं। लेम्मा 4 (अंतरालों में विभाजकों के वितरण पर एक परिणाम) और लेम्मा 3 (प्राइम गैप्स पर परिणाम) का उपयोग करते हुए, वे सिद्ध करते हैं कि सेट $S$ सभी धनात्मक पूर्णांकों के आधे से अधिक भाग को समाहित करता है। वे $n=2^k$ के लिए एक विशिष्ट इंटरलॉकिंग पार्टनर $m$ का निर्माण करते हैं जब $k$ , $S$ के एक स्केल्ड संस्करण ( $2^t S$ ) का हिस्सा होता है, जिससे घातांकों के एक धनात्मक घनत्व के लिए दो की सेपरेबल पावर्स का अस्तित्व सिद्ध होता है।
प्रोडक्ट कंजैक्चर की पुष्टि करना:
- दूसरे अनुमान के लिए, लेखक $mn = P_k$ होने पर $m$ और $n$ के बीच अभाज्य कारकों के वितरण का विश्लेषण करते हैं। इंटरलॉकिंग आवश्यकता के आधार पर $m$ और $n$ को छोटे अभाज्य कारकों को पुनरावृत्ति से सौंपकर, वे दिखाते हैं कि $k > 8$ के लिए, प्रतिबंध एक ऐसे विरोधाभास को जन्म देते हैं जहाँ $m$ के पास ऐसे विभाजक होने चाहिए जिन्हें $n$ समायोजित नहीं कर सकता (विशेष रूप से 23 और 26 जैसे विभाजकों को शामिल करते हुए बनाम $n$ के 24 या 25 का गुणज न होने की अक्षमता)।

मुख्य योगदान और परिणाम
शोध पत्र सेपरेबल संख्याओं के सिद्धांत के दो लंबे समय से चले आ रहे खुले प्रश्नों का निर्णायक समाधान प्रदान करता है:

"लगभग सभी" (Almost All) अनुमान का खंडन: लेखक यह सिद्ध करते हैं कि $k$ का निचला घनत्व जिसके लिए $2^k$ सेपरेबल है, धनात्मक है, लेकिन महत्वपूर्ण रूप से, $k$ का निचला घनत्व जिसके लिए $2^k$ सेपरेबल नहीं है, वह भी धनात्मक है।
- थ्योरम 2: सभी $k > 2$ के लिए, जहाँ $k \equiv 1, 2, 9, 10 \pmod{12}$ , $2^k$ सेपरेबल नहीं है।
- थ्योरम 6: यदि $k \in 2^t S$ (जहाँ $S$ वेल-डिस्ट्रीब्यूटेड विभाजकों वाले पूर्णांकों का सेट है), तो $2^k$ सेपरेबल है। ऐसे $k$ का निचला घनत्व कम से कम $1/2^{t+1}$ है।
- महत्व: यह इस अनुमान का खंडन करता है कि लगभग सभी $k$ के लिए $2^k$ सेपरेबल है, यह प्रदर्शित करते हुए कि गैर-सेपरेबल $2^k$ की आवृत्ति इतनी अधिक है कि उनका निचला घनत्व धनात्मक है।
प्रोडक्ट कंजैक्चर की पुष्टि:
- थ्योरम 9: यदि $(m, n)$ एक इंटरलॉकिंग पेयर है ताकि $mn = P_k$ (प्रथम $k$ अभाज्य संख्याओं का गुणनफल), तो $k \le 8$ है।
- महत्व: यह अर्दोस-हॉल अनुमान की पुष्टि करता है कि बड़े $k$ के लिए, ऐसा कोई इंटरलॉकिंग पेयर मौजूद नहीं है। लेखक स्पष्ट रूप से नोट करते हैं कि सम $k \le 8$ के लिए, ऐसे पेयर्स मौजूद हैं, लेकिन इस सीमा के बाद वे अस्तित्वहीन हो जाते हैं।

महत्व
यह शोध पत्र सेपरेबल संख्याओं के सिद्धांत के दो लंबे समय से चले आ रहे खुले प्रश्नों को हल करता है। यह सिद्ध करके कि गैर-सेपरेबल $2^k$ का सेट धनात्मक निचला घनत्व रखता है, लेखक सेपरेबल संख्याओं के वितरण को स्पष्ट करते हैं, यह दिखाते हुए कि यह गुण उतना व्यापक नहीं है जितना कि पहले अनुमान लगाया गया था। इसके अलावा, प्रथम $k$ अभाज्य संख्याओं के गुणनफल से बने इंटरलॉकिंग पेयर्स के लिए एक सख्त ऊपरी सीमा ( $k \le 8$ ) स्थापित करके, यह शोध पत्र प्रिमोरियल्स (primorials) के संबंध में ऐसे पेयर्स की संरचनात्मक सीमाओं को तय करता है। लेखक यह भी नोट करते हैं कि उनके परिणामों को लीन (Lean) प्रूफ असिस्टेंट का उपयोग करके सत्यापित किया गया है।

बड़े प्रश्न

इस शोधपत्र ने क्या पाया

1. दो की शक्ति का आश्चर्य

2. प्राइम प्रोडक्ट की सीमा

यह क्यों महत्वपूर्ण है (सरल शब्दों में)

इसी तरह के और पेपर