🔢 mathematics

Small values of Carmichael's lambda function

यह शोध पत्र एक संभावित परिकल्पना (powersmooth shifted primes पर) के तहत, छोटे कारमाइकल लैम्ब्डा फलन (Carmichael lambda function) मानों वाले पूर्णांकों $n \le x$ की गणना के लिए एक स्पर्शोन्मुखी रूप से तीक्ष्ण (asymptotically sharp) ऊपरी सीमा स्थापित करता है, और इस परिणाम को उन विषम पूर्णांकों की संख्या पर एक नई ऊपरी सीमा प्राप्त करने के लिए लागू करता है जहाँ 2 का गुणात्मक क्रम (multiplicative order) $x^{1/2}$ से काफी छोटा है।

मूल लेखक: Paul Pollack

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

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

CC BY 4.0

मूल लेखक: Paul Pollack

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

मुख्य विचार: संख्याओं की "गति सीमा" (Speed Limit)

कल्पना कीजिए कि आपके पास एक विशाल लॉकबॉक्स है जिस पर संख्या $n$ अंकित है। इस बॉक्स के अंदर, संख्याओं का एक विशेष क्लब (जिसे मल्टीप्लिकेटिव ग्रुप कहा जाता है) है जो 'मॉड्यूलो $n$ ' के साथ गुणा का खेल खेल सकता है।

इस खेल में, यदि आप एक संख्या $a$ चुनते हैं और उसे बार-बार खुद से गुणा करते रहते हैं ( $a, a^2, a^3, \dots$ ), तो अंततः आप फिर से संख्या 1 पर पहुँच जाएंगे। 1 पर वापस आने में लगने वाले चरणों की संख्या को 'ऑर्डर' (order) कहा जाता है।

कारमाइकल का $\lambda(n)$ इस क्लब के लिए "मास्टर स्पीड लिमिट" है। यह वह न्यूनतम चरणों की संख्या है जो यह गारंटी देती है कि क्लब का प्रत्येक सदस्य एक ही समय में 1 पर वापस आ जाए।

यदि $n$ एक अभाज्य संख्या (prime number) है, तो क्लब बहुत बड़ा होता है, और गति सीमा अपने आप में लगभग संख्या जितनी ही बड़ी होती है।
यदि $n$ एक "अव्यवस्थित" भाज्य संख्या (composite number) है, तो गति सीमा आश्चर्यजनक रूप से छोटी हो सकती है।

प्रश्न: $x$ की एक विशाल सीमा तक कितने $n$ (संख्याएँ) ऐसे हैं जिनकी गति सीमा बहुत कम ( $\lambda(n) \le y$ ) है?
यह शोध पत्र इन "धीमी" संख्याओं को गिनने का प्रयास करता है।

उपमा: संख्याओं का पुस्तकालय (The Library of Numbers)

एक विशाल पुस्तकालय की कल्पना करें जिसमें 1 से $x$ तक की प्रत्येक पुस्तक (संख्या) मौजूद है।

"सामान्य" पुस्तक: इस पुस्तकालय की अधिकांश पुस्तकें "तेज़" हैं। उनकी गति सीमा बहुत बड़ी है। यदि आप एक यादृच्छिक (random) संख्या चुनते हैं, तो उसका $\lambda(n)$ संभवतः बहुत बड़ा होगा।
"धीमी" पुस्तकें: कुछ पुस्तकें "धीमी" हैं। उनकी गति सीमा बहुत छोटी है।

लेखक, पॉल पोलक, यह पता लगाने की कोशिश कर रहे हैं कि जब हम एक विशिष्ट गति सीमा $y$ निर्धारित करते हैं, तो इस पुस्तकालय में कितने "धीमी" पुस्तकें हैं।

मुख्य खोज: "स्लो ज़ोन" (Slow Zone) का एक नया मानचित्र

इस शोध पत्र से पहले, गणितज्ञों को "तेज़" पुस्तकों (सामान्य वाली) और "सुपर-स्लो" पुस्तकों (अत्यंत दुर्लभ वाली) के बारे में पता था। लेकिन एक रहस्यमय मध्य क्षेत्र था—एक "ट्वाइलाइट ज़ोन" (twilight zone) जहाँ संख्याएँ धीमी थीं, लेकिन बहुत ज़्यादा धीमी नहीं थीं।

पोलक इस ट्वाइलाइट ज़ोन के लिए एक सटीक मानचित्र खींचते हैं। वह एक ऐसा सूत्र (formula) प्रदान करते हैं जो इन धीमी संख्याओं की गणना अविश्वसनीय सटीकता के साथ करता है।

सूत्र का रहस्य:
शोध पत्र प्रकट करता है कि इन धीमी संख्याओं की संख्या लॉगारिदम (logarithms) से जुड़े एक विशिष्ट, जटिल फलन (function) पर निर्भर करती है (इसे "लॉग-लॉग-लॉग फंक्शन" मान लें)।

यदि आप अपनी गति सीमा $y$ को बहुत छोटा रखते हैं, तो धीमी पुस्तकों की संख्या तेजी से गिर जाती है।
यदि आप $y$ को मध्यम रूप से छोटा रखते हैं, तो धीमी पुस्तकों की संख्या एक विशिष्ट वक्र (curve) का अनुसरण करती है।

यह शोध पत्र सिद्ध करता है कि उसका सूत्र इन धीमी संख्याओं के अस्तित्व के लिए एक 'अपर बाउंड' (upper bound/ऊपरी सीमा) है। वह यह भी दिखाते हैं कि यदि अभाज्य संख्याओं के बारे में एक निश्चित तर्कसंगत अनुमान ("हाइपोथीसिस यू" या Hypothesis U) सत्य है, तो यह ऊपरी सीमा ही वास्तविक संख्या है। दूसरे शब्दों में, यह सूत्र केवल एक सीमा नहीं है; यह वास्तविक उत्तर है।

"शिफ्टेड प्राइम" का रहस्य (Hypothesis U)

अपने सूत्र को पूर्ण सिद्ध करने के लिए, पोलक 'शिफ्टेड प्राइम्स' (shifted primes) के बारे में एक परिकल्पना पर भरोसा करते हैं।

एक अभाज्य संख्या $p$ को एक विशेष कुंजी (key) के रूप में सोचें।
एक "शिफ्टेड प्राइम" $p-1$ है।
यह परिकल्पना सुझाव देती है कि इन शिफ्टेड प्राइम्स की "स्मूथनेस" (यह कितनी आसानी से छोटे कारकों में टूट सकता है) उसी आकार की यादृच्छिक संख्याओं की तरह व्यवहार करती है।

यदि यह परिकल्पना सही साबित होती है, तो पोलक का मानचित्र 100% सटीक है। यदि नहीं, तो भी उनका मानचित्र एक बहुत ही सख्त ऊपरी सीमा है जिसे कोई तोड़ नहीं सकता।

वास्तविक दुनिया का अनुप्रयोग: "2 का ऑर्डर" (The Order of 2)

यह शोध पत्र संख्या 2 के एक व्यावहारिक अनुप्रयोग के साथ समाप्त होता है।
क्रिप्टोग्राफी और कंप्यूटर विज्ञान में, हम अक्सर "मॉड्यूलो $n$ में 2 के ऑर्डर" की परवाह करते हैं। यह वह संख्या है कि आपको 2 को कितनी बार खुद से गुणा करना होगा ताकि आप मॉड्यूलो $n$ में 1 पर वापस आ सकें।

पुरानी जानकारी: हम जानते थे कि लगभग सभी विषम संख्याओं $n$ के लिए, 2 का ऑर्डर बहुत बड़ा होता है (कम से कम $\sqrt{n}$ के बराबर)।
नया परिणाम: पोलक अपने नए मानचित्र का उपयोग यह सिद्ध करने के लिए करते हैं कि यदि आप उन संख्याओं को खोजते हैं जहाँ 2 का ऑर्डर $\sqrt{n}$ से काफी छोटा है, तो उनमें से लगभग कोई नहीं हैं।

वह ऐसी "सुपर-स्लो" संख्याओं की संख्या पर एक सख्त ऊपरी सीमा देते हैं। यह कहने जैसा है कि, "यदि आप राजमार्ग पर 10 मील प्रति घंटे से कम चलने वाली कार की तलाश कर रहे हैं, तो आपको लगभग शून्य मिलेंगी, और यहाँ इसका सटीक गणितीय प्रमाण दिया गया है कि ऐसा क्यों है।"

"ट्वाइलाइट ज़ोन" परिणामों का सारांश

यह शोध पत्र एक विशिष्ट सीमा पर ध्यान केंद्रित करता है जहाँ $y$ (गति सीमा) न तो बहुत छोटी है और न ही बहुत बड़ी।

अपर बाउंड (Upper Bound): वह सिद्ध करते हैं कि आप इन धीमी पूर्णांकों की एक निश्चित संख्या से अधिक नहीं रख सकते।
शार्पनेस (Sharpness): वह तर्क देते हैं कि यह सीमा संभवतः सटीक गणना है, बशर्ते अभाज्य संख्याओं के बारे में हमारी समझ सही हो।
विधि (Method): वह इन संख्याओं को गिनने के लिए एर्डोस (Erdős) और पोमरेंस (Pomerance) जैसे गणितज्ञों के पुराने तरीकों और नई, सूक्ष्म तकनीकों के मिश्रण का उपयोग करते हैं, और इन्हें कारकों और अभाज्य संख्याओं की एक जटिल पहेली के रूप में देखते हैं।

संक्षेप में

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

पॉल पोलैक द्वारा "स्मॉल वैल्यूज ऑफ कारमाइकल के $\lambda$ -फंक्शन" का तकनीकी सारांश

समस्या विवरण
यह शोध पत्र कारमाइकल के $\lambda$ -फंक्शन, $\lambda(n)$ , के "मध्यवर्ती" (intermediate) मानों के वितरण की जांच करता है, जो $(\mathbb{Z}/n\mathbb{Z})^\times$ के मल्टीप्लिकेटिव ग्रुप का एक्सपोनेंट (exponent) है। जबकि $\lambda(n)$ का अधिकतम क्रम (maximal order) तुच्छ है ( $p$ के लिए $n-1$ ), और इसका विशिष्ट क्रम (typical order) अच्छी तरह से समझा जा चुका है (एर्दोस, पोमरेंस और श्मट्ज़ ने दिखाया है कि लगभग सभी $n$ के लिए $\lambda(n) \approx n(\log n)^{-\log \log \log n - A}$ होता है), विशिष्ट आकार से काफी छोटे लेकिन न्यूनतम क्रम से बड़े मानों का वितरण कम खोजा गया है।

मुख्य अध्ययन वस्तु गणना फलन (counting function) $L(x, y) = \#\{n \le x : \lambda(n) \le y\}$ है। इस शोध पत्र का लक्ष्य $y$ के लिए एक ऊपरी बाउंड (upper bound) स्थापित करना है जो $x$ के सापेक्ष "उचित रूप से बड़े" रेंज में एसिम्प्टोटिक रूप से सटीक (asymptotically sharp) हो, विशेष रूप से उस $y$ के लिए जो निम्नलिखित को संतुष्ट करता है:
$\exp((\log_2 x)^{1+\varepsilon}) \le y \le x / \exp((\log_2 x)^{1+\varepsilon})$
जहाँ $\log_k$ प्राकृतिक लघुगणक (natural logarithm) का $k$ -वाँ इटरेशन (iterate) है।

कार्यप्रणाली (Methodology)
प्रमाण रणनीति को विभिन्न $y$ श्रेणियों में कठोर ऊपरी बाउंड और सशर्त निचले बाउंड (एक विशिष्ट शिफ्टेड प्राइम्स हाइपोथेसिस पर आधारित) स्थापित करने में विभाजित किया गया है।

छोटे $y$ के लिए ऊपरी बाउंड:
$\exp((\log_2 x)^{1+\varepsilon}) \le y \le x^{1/\log_2 x}$ की सीमा के लिए, लेखक एर्दोस और पोमरेंस की तकनीकों को अनुकूलित करते हैं। मुख्य तर्क एक निश्चित $\lambda(n) = m$ वाले $n \le x$ पूर्णांकों की संख्या को बांधने के लिए रैन्किन के ट्रिक (Rankin's trick) का उपयोग करता है। $n$ के सभी अभाज्य गुणनखंडों $p$ के लिए $p-1 \mid m$ की स्थिति का विश्लेषण करके, लेखक एक घातांकीय ऊपरी बाउंड (exponential upper bound) प्राप्त करते हैं जो फलन $\mathcal{L}(x, y) = \exp\left(\frac{\log x \log_3 x}{\log_2 y}\right)$ से संबंधित है।
निचले बाउंड (सशर्त):
यह दिखाने के लिए कि ऊपरी बाउंड सटीक (sharp) हैं, शोध पत्र हाइपोथेसिस U को मानता है, जो शिफ्टेड प्राइम्स की 'पावरस्मूथनेस' (powersmoothness) के वितरण के संबंध में एक अनुमान है। विशेष रूप से, यह दावा करता है कि ऐसे अभाज्य $p \le x$ की संख्या जहाँ सबसे बड़ा अभाज्य घात (prime power) $p-1$ को विभाजित करता है, वह $x$ तक के $y$ -पावरस्मूथ पूर्णांकों की गणना के समान व्यवहार करती है।

छोटे $y$ के लिए, लेखक "लोकप्रिय" $\lambda(n)$ मानों का निर्माण करते हैं, जहाँ वे उन अभाजों के उत्पादों का उपयोग करते हैं जिनके लिए $p-1$ पावरस्मूथ है, जिससे एर्दोस और पोमरेंस के यूलर टोटिएंट फंक्शन (Euler's totient function) संबंधी तर्कों को अनुकूलित किया जाता है।
बड़े $y$ के लिए (विशेष रूप से $y \ge \mathcal{L}(x)^2$ ), पूर्णांकों के युग्मों $(a, b)$ को शामिल करने वाला एक अलग निर्माण उपयोग किया जाता है ताकि छोटे $\lambda(n)$ वाले पर्याप्त $n$ के अस्तित्व को प्रदर्शित किया जा सके।

बड़े $y$ के लिए ऊपरी बाउंड:
इस शोध पत्र का सबसे नवीन योगदान बड़े $y$ (विशेष रूप से $x/\exp((\log_2 x)^{1+\varepsilon})$ तक) के लिए कठोर ऊपरी बाउंड है। यह खंड यूलर के $\phi$ -फंक्शन के प्री-इमेज (preimage) और फैक्टराइजेशन काउंटिंग फंक्शन्स के पिछले कार्यों की विधियों को पुनरावृत्त और परिष्कृत करता है।

प्रमाण में उनके अभाज्य गुणनखंड गुणों के आधार पर पूर्णांकों का विस्तृत स्तरीकरण (stratification) शामिल है।
यह मल्टीप्लिकेटिव कंपोजिशन (ordered factorizations) और ऐसे कंपोजिशन की संख्या के बाउंड का उपयोग करता है, जिसे $g_w(n)$ द्वारा दर्शाया गया है।
मुख्य लेम्मा (lemmas) स्थापित करते हैं कि एक सेट $S$ के लिए जिसकी डेंसिटी $x^{1-\beta}$ है, मल्टीप्लिकेटिव कंपोजिशन का योग $x/\mathcal{L}(x)^\beta$ द्वारा सीमित है।
तर्क समस्या को स्क्वायर-फ्री (squarefree) पूर्णांकों की गणना करने तक कम करता है और रेडिकल (radical) के गुणों तथा ब्रुन-तिचमार्श असमानता (Brun-Titchmarsh inequality) का उपयोग करके उन $n$ की संख्या को बांधता है जहाँ $\phi(n)/\lambda(n)$ विशिष्ट डायडिक अंतराल (dyadic intervals) में आता है।

प्रमुख परिणाम
मुख्य परिणाम थ्योरम 1.1 है, जो निर्दिष्ट डोमेन में $L(x, y)$ के लिए एक ऊपरी बाउंड प्रदान करता है। जैसे कि $x \to \infty$ :
$\frac{L(x, y)}{x} \le \begin{cases} \mathcal{L}(x/y)^{-1+o(1)} & \text{यदि } y \ge \mathcal{L}(x)^2, \\ \mathcal{L}(x, y)^{-1+o(1)} & \text{अन्यथा।} \end{cases}$
शोध पत्र का दावा है कि हाइपोथेसिस U के तहत, ये ऊपरी बाउंड एसिम्प्टोटिक रूप से सटीक (asymptotically sharp) हैं (अर्थात, समानता बनी रहती है)।

मल्टीप्लिकेटिव ऑर्डर्स पर अनुप्रयोग
एक प्रत्यक्ष अनुप्रयोग के रूप में, शोध पत्र कोरोलरी 1.2 प्राप्त करता है, जो विषम पूर्णांक $n \le x$ की संख्या पर एक नया ऊपरी बाउंड प्रदान करता है जिनके लिए $n$ के मॉड्युलो 2 का मल्टीप्लिकेटिव ऑर्डर, $l(n)$ , छोटा है।
विशेष रूप से, किसी भी निश्चित $\delta > 0$ और $\beta \ge 0$ के लिए:
$\#\{ \text{विषम } n \le x : l(n) \le x^\beta \} \le \frac{x}{\mathcal{L}(x)^{\frac{1}{2} - \beta - \delta}}$
यह परिणाम पिछले ज्ञान में सुधार करता है, जो $1/2$ से काफी नीचे के एक्सपोनेंट्स के लिए गैर-तुच्छ (non-trivial) बाउंड स्थापित नहीं कर सका था। लेखक नोट करते हैं कि हालांकि बाउंड में $1/2 - \beta$ एक्सपोनेंट दिखाई देता है, "सही" संस्करण संभवतः $1 - \beta$ होगा, जो छोटे मल्टीप्लिकेटिव ऑर्डर्स वाले अभाजों के वितरण पर और अधिक कार्य की आवश्यकता को दर्शाता है।

महत्व और दावे
शोध पत्र का दावा है कि यह $\lambda(n)$ के मध्यवर्ती मानों के वितरण के लिए पहला सटीक एसिम्प्टोटिक ऊपरी बाउंड प्रदान करता है। इसका महत्व निम्नलिखित में निहित है:

अंतराल को भरना: यह $\lambda(n)$ के विशिष्ट क्रम और न्यूनतम क्रम के बीच के अंतराल को भरता है, एक ऐसा क्षेत्र जो पहले अनक्वांटिफाइड (unquantified) था।
सटीकता (Sharpness): परिणामों को हाइपोथेसिस U के तहत सटीक दिखाया गया है, जो शिफ्टेड प्राइम्स की स्मूथनेस के संबंध में एक संभावित हाइपोथेसिस है, जिसे स्यूडोप्राइम्स (pseudoprimes) से संबंधित कार्यों द्वारा समर्थित किया गया है।
पद्धतिगत नवीनता (Methodological Novelty): बड़े $y$ के लिए ऊपरी बाउंड के प्रमाण में मल्टीप्लिकेटिव कंपोजिशन और फैक्टराइजेशन काउंटिंग से जुड़ी परिष्कृत तकनीकों का उपयोग किया गया है, जिसे लेखक का सुझाव है कि अन्य समस्याओं, जैसे यूलर के $\phi$ -फंक्शन के लोकप्रिय मानों के वितरण पर भी लागू किया जा सकता है।
ऑर्डर्स पर अनुप्रयोग: $l(n)$ के संबंध में कोरोलरी, छोटे मल्टीप्लिकेटिव ऑर्डर्स की आवृत्ति के लिए अब तक के सबसे मजबूत ऊपरी बाउंड प्रदान करता है, जो एक लंबे समय से चली आ रही सीमा को संबोधित करता है जहाँ $1/2$ का एक्सपोनेंट एक बाधा था।

लेखक सशर्त निचले बाउंड की प्रकृति और $l(n)$ के अनुप्रयोग में एक्सपोनेंट को सुधारने की क्षमता के संबंध में एक विनम्र लहजा बनाए रखते हैं, यह नोट करते हुए कि वर्तमान ज्ञान अभी तक बिना किसी और अनुमान के "सही" एक्सपोनेंट को सिद्ध करने की अनुमति नहीं देता है।