🔢 mathematics

On Carmichael numbers of the form $2^np^m+1$

यह शोध पत्र सिद्ध करता है कि किसी भी निश्चित विषम पूर्णांक $m \ge 5$ के लिए, $2^np^m+1$ के रूप वाले कारमाइकल संख्याओं (Carmichael numbers) की केवल परिमित संख्याएँ ही विद्यमान हैं, जहाँ $n$ एक धनात्मक पूर्णांक है और $p$ एक अभाज्य संख्या है।

मूल लेखक: Florian Luca

प्रकाशित 2026-06-30

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

CC BY 4.0

मूल लेखक: Florian Luca

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

कल्पना कीजिए कि आप एक जासूस हैं जो एक बहुत ही विशिष्ट प्रकार के "बहरूपों" (imposter) नंबरों के बारे में रहस्य सुलझाने की कोशिश कर रहे हैं। गणित की दुनिया में, ये विशेष संख्याएँ कारमाइकल नंबर (Carmichael numbers) कहलाती हैं। ये बहुत चालाक हैं क्योंकि जब आप कुछ नियमों के साथ इनका परीक्षण करते हैं, तो ये अभाज्य संख्याओं (prime numbers - जो गणित के निर्माण खंड हैं) होने का ढोंग करती हैं, भले ही वास्तव में ये छोटी अभाज्य संख्याओं के गुणनफल से बनी होती हैं।

यहाँ दी गई जानकारी एक गणितीय जांच है जिसका नेतृत्व फ्लोरियन लुका (Florian Luca) ने किया है। इसका लक्ष्य एक विशिष्ट प्रश्न का उत्तर देना था: यदि हम एक बहुत ही विशिष्ट रेसिपी का उपयोग करके इन बहरूपों को बनाते हैं, तो वे कितने हो सकते हैं?

यहाँ इस जांच का सरल उपमाओं (analogies) का उपयोग करके विवरण दिया गया है:

1. रेसिपी: "2npm + 1" केक

गणितज्ञ ऐसे कारमाइकल नंबरों की तलाश कर रहे हैं जो एक सख्त रेसिपी का पालन करते हैं:
$N = 2^n \times p^m + 1$
इसे एक केक बनाने जैसा समझें जहाँ:

$p$ एक विशिष्ट अभाज्य सामग्री है (जैसे "मैदा")।
$m$ उस सामग्री की एक निश्चित मात्रा है (जैसे "5 कप")।
$n$ दूसरी सामग्री की एक परिवर्तनशील मात्रा है (जैसे "चीनी") जो बदल सकती है।
$2^n$ एक विशेष गुणक है (जैसे "यीस्ट" जो आकार को दोगुना कर देता है)।

प्रश्न यह है: यदि हम आटे ( $m$ ) की मात्रा को कम से कम 5 के एक विषम (odd) नंबर पर स्थिर रखते हैं, और हम चीनी ( $n$ ) और आटे के प्रकार ( $p$ ) को बदलते रहते हैं, तो इनमें से कितने केक वास्तव में "बहरूप" कारमाइकल नंबर बन पाएंगे?

2. बड़ी खोज: "सीमित" (Finite) निष्कर्ष

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

दूसरे शब्दों में, भले ही आप सैद्धांतिक रूप से चीनी ( $n$ ) और आटे के प्रकार ( $p$ ) को अनंत तक बदलते रह सकते हैं, लेकिन अंततः आप काम करने वाले संयोजनों (combinations) से बाहर निकल जाएंगे। आपको इन विशिष्ट बहरूप नंबरों की अनंत आपूर्ति नहीं मिलेगी। एक निश्चित बिंदु के बाद, और अधिक नहीं होंगे।

3. उन्होंने इसे कैसे हल किया: "छलनी" (Sieve) और "जाल" (Trap)

इसका प्रमाण एक बहु-चरणीय जासूसी कहानी की तरह है:

चरण 1: आकार की सीमा (The Sieve)
सबसे पहले, लेखकों ने दिखाया कि यदि ऐसा कोई नंबर मौजूद है, तो चीनी ( $n$ ) की मात्रा मनमाने ढंग से बहुत बड़ी नहीं हो सकती। यह आटे ( $p$ ) के आकार द्वारा सीमित है। इसने खोज के क्षेत्र को काफी कम कर दिया। यह ऐसा है जैसे यह महसूस करना कि यदि केक बहुत बड़ा है, तो वह ढह जाएगा, इसलिए बेकर उन्हें अनंत रूप से बड़ा नहीं बना सकता।
चरण 2: "गुणनात्मक स्वतंत्रता" का जाल (The Multiplicative Independence Trap)
उन्होंने इन नंबरों के भीतर की अभाज्य गुणनखंडों (सामग्रियों) को देखा। उन्होंने सिद्ध किया कि इन नंबरों के काम करने के लिए, सामग्रियाँ एक विशिष्ट गणितीय तरीके से "स्वतंत्र" होनी चाहिए। यदि वे नहीं होतीं, तो गणित टूट जाता (जैसे केक का बिखर जाना)। इसने उन्हें यह निष्कर्ष निकालने के लिए मजबूर किया कि सामग्रियों का "क्रम" (order) 2 की एक घात (power of 2) होना चाहिए।
चरण 3: बहुपद पहेली (The Final Trap)
यह सबसे जटिल हिस्सा है। लेखकों ने इस समस्या को बहुपदों (polynomials) (चर जैसे $x$ और $y$ वाले समीकरणों) की भाषा में अनुवादित किया।
उन्होंने कल्पना की कि यदि अनंत रूप से कई ऐसे नंबर होते, तो इसका मतलब होता कि एक विशिष्ट बहुपद समीकरण के अनंत समाधान होते।
फिर उन्होंने इस समीकरण का विश्लेषण करने के लिए गणित की एक अलग शाखा (श्मिट का सबस्पेस प्रमेय/Schmidt's Subspace Theorem, जिसका उल्लेख पेपर में किया गया है) से एक शक्तिशाली उपकरण का उपयोग किया।
उपमा: कल्पना करें कि बार-बार एक चौकोर लकड़ी के टुकड़े (square peg) को गोल छेद (round hole) में फिट करने की कोशिश करना। लेखकों ने दिखाया कि यदि वे मानते हैं कि अनंत समाधान हैं, तो "पेग्स" (नंबरों के गणितीय गुण) को पूर्ण वृत्त होना पड़ेगा। लेकिन जब उन्होंने करीब से देखा, तो "पेग्स" वास्तव में चौकोर थे।
विरोधाभास (Contradiction): उन्होंने सिद्ध किया कि इन समीकरणों के गणितीय "मूल" (solutions) "रूट्स ऑफ यूनिटी" (unity के मूल - वे संख्याएँ जो 1 पर वापस आती हैं) होने चाहिए। हालांकि, उनकी रेसिपी की विशिष्ट संरचना ने इसे असंभव बना दिया। यदि अनंत समाधान होते तो गणित का संतुलन नहीं बन पाता।

4. पकड़: "अप्रभावी" (Ineffective) प्रमाण

पेपर एक सीमा को स्वीकार करता है। हालांकि उन्होंने यह सिद्ध किया है कि इन कारमाइकल नंबरों की संख्या सीमित है, लेकिन वे हमें यह नहीं बता सकते कि आखिरी वाला कहाँ है।

उपमा: यह एक जासूस के ऐसा कहने जैसा है कि, "मुझे पता है कि हत्यारे ने एक निश्चित तारीख के बाद अपराध करना बंद कर दिया था, लेकिन मुझे सटीक वर्ष नहीं पता, और मैं अंतिम कुछ अपराधों की सूची भी नहीं दे सकता।"
यह प्रमाण गहरे, अमूर्त सिद्धांतों पर निर्भर करता है जो गारंटी देते हैं कि एक सीमा मौजूद है, लेकिन वे उस सीमा को खोजने के लिए कैलकुलेटर प्रदान नहीं करते हैं।

सारांश

फ्लोरियन लुका का पेपर यह सिद्ध करता है: "यदि आप $2^n p^m + 1$ के सूत्र का उपयोग करके कारमाइकल नंबर बनाने की कोशिश करते हैं, तो आप अंततः वैध संयोजनों से बाहर निकल जाएंगे। एक कठोर रोक है; इन नंबरों की सूची अनंत नहीं है।"

उन्होंने इसे यह दिखाकर हल किया कि अनंत सूची मानने से एक गणितीय विरोधाभास पैदा होता है, ठीक वैसे ही जैसे यह सिद्ध करना कि एक पुल अस्तित्व में नहीं हो सकता क्योंकि यदि ऐसा हुआ तो भौतिकी के नियम टूट जाएंगे।

तकनीकी सारांश: $2^n p^m + 1$ के रूप वाले कारमाइकल संख्याओं पर

समस्या विवरण
यह शोध पत्र एक विशिष्ट अंकगणितीय प्रगति (arithmetic progression) के भीतर कारमाइकल संख्याओं के वितरण की जांच करता है। एक कारमाइकल संख्या $N$ एक भाज्य पूर्णांक है जो इस शर्त को पूरा करता है कि सभी पूर्णांकों $a$ के लिए $a^N \equiv a \pmod N$ । ऐसी संख्याएँ अनिवार्य रूप से विषम, वर्गमुक्त (squarefree) होती हैं और इस शर्त को संतुष्ट करती हैं कि $N$ के प्रत्येक अभाज्य गुणनखंड $p$ के लिए $p-1 \mid N-1$ हो। फलस्वरूप, प्रत्येक कारमाइकल संख्या को $N = 2^n k + 1$ के रूप में लिखा जा सकता है, जहाँ $n$ एक धनात्मक पूर्णांक है और $k$ एक विषम पूर्णांक है।

समुच्चय $K$ को उन विषम पूर्णांकों $k$ के संग्रह के रूप में परिभाषित किया गया है कि $2^n k + 1$ किसी $n$ के लिए एक कारमाइकल संख्या है। पूर्व शोध ने स्थापित किया है कि $K$ में कोई अभाज्य संख्या (primes), कोई अभाज्य संख्याओं के वर्ग (squares of primes) नहीं हैं, और केवल घन $3^3$ शामिल है। यह शोध पत्र $k = p^m$ के मामले पर ध्यान केंद्रित करता है, विशेष रूप से इस प्रश्न को संबोधित करता है: यदि एक निश्चित विषम पूर्णांक $m \ge 5$ हो, तो क्या ऐसे अनंत अभाज्य $p$ हैं कि $p^m \in K$ ?

कार्यप्रणाली
प्रमाण दो मुख्य चरणों में आगे बढ़ता है, जो प्रारंभिक संख्या सिद्धांत (elementary number theory) को गहन डायोफेंटाइन ज्यामिति (Diophantine geometry) के परिणामों के साथ जोड़ता है।

प्रारंभिक सीमाएँ और न्यूनीकरण (Elementary Bounds and Reduction):
लेखक पहले $p$ और $m$ के संदर्भ में घातांक $n$ के लिए एक ऊपरी सीमा स्थापित करते हैं। [3] के परिणामों पर आधारित होते हुए, वे दिखाते हैं कि यदि $N = 2^n p^m + 1$ कारमाइकल है, तो $n < 25m^4 \log p$ होगा।
इस सीमा का उपयोग करते हुए, लेखक $N$ के अभाज्य गुणनखंडन का विश्लेषण करते हैं। वे $N$ को $q_i = 2^{a_i} p^{b_i} + 1$ के रूप वाले गुणनखंडों में विभाजित करते हैं। एक महत्वपूर्ण चरण $2^n p^m$ और $2^{a_i} p^{b_i}$ के गुणात्मक निर्भरता (multiplicative dependence) का विश्लेषण करना है। लेखक सिद्ध करते हैं कि पर्याप्त बड़े $p$ के लिए (विशेष रूप से $p > 500m^5 \log m$ ), $N$ के किसी भी अभाज्य गुणनखंड $q_i$ के मॉड्युलो $2$ की कोटि (order) $2 $की एक घात होनी चाहिए। यह$ N$ के अभाज्य गुणनखंडों की संरचना को महत्वपूर्ण रूप से प्रतिबंधित करता है।
सबस्पेस प्रमेय (Subspace Theorem) का अनुप्रयोग:
यह मानते हुए कि ऐसे अनंत अभाज्य $p$ मौजूद हैं, लेखक एक बहुपद पहचान (polynomial identity) व्युत्पन्न करते हैं। संरचनात्मक मापदंडों (गुणकों $k$ की संख्या, घातांक $a_i, b_i$ , और $n$ तथा $a_i$ के विषम भाग) को स्थिर करके, वे एक बहुपद समीकरण $P(X, Y) = 0$ का निर्माण करते हैं जहाँ $X = 2^{2\beta'}$ और $Y = p^{\beta'}$ है।
$(X, Y)$ के अनंत समाधानों के अस्तित्व के लिए, जहाँ $Y$ एक अभाज्य घात है, यह निहित है कि बहुपद $P(X, Y)$ को एक विशिष्ट बीजगणितीय वक्र (algebraic curve) पर शून्य होना चाहिए। लेखक एक विशिष्ट बीजगणिक वक्र के विश्लेषण के लिए कोर्वजा और ज़ैनियर [4] के परिणाम का उपयोग करते हैं, जो श्मिट के सबस्पेस प्रमेय पर आधारित है।
विशेष रूप से, वे प्रदर्शित करते हैं कि $N$ के गुणनखंडन से प्राप्त बहुपद साइक्लोटोमिक बहुपदों (cyclotomic polynomials) से संबंधित होने चाहिए। इन बहुपदों की डिग्री और मूलों (roots) की तुलना करके, वे एक विरोधाभास प्राप्त करते हैं: परिणामी बहुपद के अवकलज (derivative) के मूल इकाई वृत्त (unit circle) के भीतर होने चाहिए, जो इस तथ्य का खंडन करता है कि मूल बीजगणिक पूर्णांक (algebraic integers) हैं (क्रोनेकर के प्रमेय के माध्यम से)।

मुख्य योगदान और परिणाम
प्राथमिक परिणाम प्रमेय 1 है:

यदि $m \ge 5$ विषम है, तो केवल परिमित (finitely many) अभाज्य $p$ हैं कि $p^m \in K$ ।

दूसरे शब्दों में, किसी भी निश्चित विषम $m \ge 5$ के लिए, $2^n p^m + 1$ के रूप वाली कारमाइकल संख्याएँ केवल परिमित हैं।

प्रमाण यह स्थापित करता है कि जबकि ऐसे अभाज्यों का समुच्चय परिमित है, प्रमाण अप्रभावी (ineffective) है। लेखक स्पष्ट रूप से कहते हैं कि वे $m$ पर निर्भर सबसे बड़े अभाज्य $p$ के लिए एक स्पष्ट ऊपरी सीमा प्रदान नहीं कर सकते। परिमितता निर्मित डायोफेंटाइन समीकरण के अनंत समाधानों के गैर-अस्तित्व से व्युत्पन्न है, न कि किसी स्पष्ट गणना या सीमा से।

महत्व और दावे
यह शोध पत्र $K$ के तत्वों के रूप पर ज्ञात प्रतिबंधों का विस्तार करते हुए समुच्चय $K$ के वर्गीकरण में योगदान देता है। जबकि पिछले कार्यों ने अभाज्य, अभाज्य संख्याओं के वर्ग और विशिष्ट घन को खारिज कर दिया था, यह कार्य उच्च विषम घातों $p^m$ ( $m \ge 5$ के लिए) तक परिणाम को सामान्य बनाता है।

लेखक इस बात पर जोर देते हैं कि प्रमाण अप्रभावी है, जो श्मिट के सबस्पेस प्रमेय के माध्यम से कोर्वजा और ज़ैनियर के कार्य पर निर्भर है। फलस्वरूप, हालांकि यह शोध पत्र निश्चित $m$ के लिए ऐसे कारमाइकल संख्याओं की परिमितता की पुष्टि करता है, लेकिन यह अपवादों के विशिष्ट परिमित सेट की गणना करने की विधि प्रदान नहीं करता है। यह परिणाम इस विशिष्ट परिवार के अंकगणितीय अनुक्रमों के भीतर कारमाइकल संख्याओं के घनत्व पर एक सैद्धांतिक सीमा के रूप में खड़ा है।

1. रेसिपी: "2npm + 1" केक

2. बड़ी खोज: "सीमित" (Finite) निष्कर्ष

3. उन्होंने इसे कैसे हल किया: "छलनी" (Sieve) और "जाल" (Trap)

4. पकड़: "अप्रभावी" (Ineffective) प्रमाण

सारांश

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