🔢 mathematics

The moments of split greatest common divisors

यह शोध पत्र लुकास अनुक्रमों (Lucas sequences) के लिए महत्तम समापवर्तकों (greatest common divisors) $\sum_{n \leq x}\,\gcd(n,u_n)^\lambda$ के क्षणों (moments) के अनंतस्पर्शी व्यवहार (asymptotic behavior) को अभिलक्षित करता है, जिससे बीजगणिक समूह $\mathbb G_{\mathrm{a}} \times \mathbb G_{\mathrm{m}}$ के लिए अनियंत्रित और सशर्त दोनों परिणामों के साथ क्षण समस्या (moment problem) का समाधान होता है।

मूल लेखक: Abhishek Jha, Ayan Nath, Emanuele Tron

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

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

CC BY 4.0

मूल लेखक: Abhishek Jha, Ayan Nath, Emanuele Tron

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

कल्पना कीजिए कि आपके पास संख्याओं की दो विशाल, अनंत सूचियाँ हैं। आइए हम इन्हें सूची A और सूची B कहें।

सूची A साधारण गिनती वाली संख्याएँ हैं: 1, 2, 3, 4, 5...
सूची B एक विशिष्ट गणितीय नियम (जिसे लुकास अनुक्रम कहा जाता है) द्वारा निर्मित एक विशेष, जटिल अनुक्रम है। इसे एक ऐसी रेसिपी की तरह समझें जहाँ आप अंतिम दो संख्याओं को लेते हैं, उन्हें कुछ गुप्त मसालों के साथ मिलाते हैं, और अगली संख्या प्राप्त करते हैं। प्रसिद्ध उदाहरणों में फाइबोनैची अनुक्रम शामिल हैं, लेकिन यह शोध पत्र उनके एक पूरे परिवार पर नज़र डालता है।

अब, कल्पना कीजिए कि आप सूची A से $n$ -वीं संख्या और सूची B से $n$ -वीं संख्या लेते हैं। आप एक सरल प्रश्न पूछते हैं: "वह सबसे बड़ी संख्या क्या है जो उन दोनों को विभाजित करती है?"

गणित में, इसे महतम समापवर्तक (Greatest Common Divisor - GCD) कहा जाता है। आइए इस साझा संख्या को $g(n)$ कहें।

यह शोध पत्र इन साझा संख्याओं के "मोमेंट्स" (moments) का अध्ययन करने के बारे में है। सामान्य शब्दों में, एक "मोमेंट" इन साझा संख्याओं के कुल भार या कुल आयतन को मापने जैसा है जैसे-जैसे आप सूचियों में आगे बढ़ते जाते हैं। लेखक जानना चाहते हैं: जैसे-जैसे हम पहले 10 लाख नंबरों, फिर 1 अरब, फिर 1 ट्रिलियन नंबरों को देखते हैं, इन साझा कारकों का कुल "आकार" कैसे बढ़ता है?

समस्या: एक उलझी हुई गांठ

लंबे समय से, गणितज्ञ इस गांठ को सुलझाने की कोशिश कर रहे हैं।

कुछ पिछले शोधकर्ताओं ने इन संख्याओं के लॉगारिदम (जो संख्या के बजाय उसके अंकों की संख्या को मापने जैसा है) को देखा। उन्होंने एक स्पष्ट पैटर्न पाया।
दूसरों ने एक ऊपरी सीमा (एक छत/ceiling) खोजने की कोशिश की कि कुल योग कितना बड़ा हो सकता है, लेकिन उनकी छत ढीली थी और पूरी कहानी नहीं बता पा रही थी।

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

खोज: दो अलग-अलग लेंस

लेखकों ने इस समस्या को दो अलग-अलग "लेंस" या विधियों का उपयोग करके देखा, जिसके परिणामस्वरूप दो मुख्य निष्कर्ष निकले:

1. "सशर्त" लेंस (एक आदर्श परिदृश्य)
कल्पना कीजिए कि आप एक खेल खेल रहे हैं जहाँ आपको यह मानने की अनुमति है कि ब्रह्मांड के कुछ "मानक नियम" सत्य हैं, भले ही हमने उन्हें अभी तक सिद्ध न किया हो। ये संख्या सिद्धांत (विशेष रूप से, अभाज्य संख्याओं के वितरण के बारे में अनुमान) के "भौतिकी के नियमों" की तरह हैं।

परिणाम: यदि हम मान लें कि ये मानक नियम लागू होते हैं, तो लेखकों ने एक बहुत ही सटीक सूत्र खोजा। उन्होंने पाया कि GCDs का कुल भार लगभग ठीक $x^{\lambda+1}$ (जहाँ $x$ वह दूरी है जहाँ तक आपने गणना की है) की तरह बढ़ता है, लेकिन इसमें एक बहुत ही छोटा, विशिष्ट "घर्षण" (friction) कारक है जो इसे थोड़ा धीमा कर देता है।
रूपक: यह एक स्थिर गति से कार चलाने जैसा है। आप जानते हैं कि एक घंटे में आप कितनी दूर जाएंगे, सिवाय इसके कि हवा का एक मामूली सा प्रतिरोध (घर्षण) है जो आपको एक बहुत ही विशिष्ट, गणना योग्य मात्रा में धीमा कर देता है।

2. "असशर्त" लेंस (कठोर सत्य)
यह "बिना किसी धारणा" वाला दृष्टिकोण है। लेखक किसी भी अपुष्ट नियमों पर निर्भर नहीं रहना चाहते थे। वे वह सिद्ध करना चाहते थे जो वास्तव में सच है।

परिणाम: उन्होंने एक छत (अधिकतम संभव भार) सिद्ध की जो आदर्श परिदृश्य से थोड़ी अधिक है, और एक फर्श (न्यूनतम संभव भार) सिद्ध की जो उससे कम है।
रूपक: बिना हवा की गति जाने, आप यह नहीं कह सकते कि कार कितनी तेज़ चल रही है। लेकिन आप कह सकते हैं, "यह निश्चित रूप से 100 मील प्रति घंटे से तेज़ नहीं है, और यह निश्चित रूप से 60 मील प्रति घंटे से धीमी नहीं है।"
चुनौती: जो "फर्श" (न्यूनतम वृद्धि) उन्होंने पाया, वह लगभग $x^{0.715}$ है। वे बिना उन "मानक नियमों" को माने (जिनका उल्लेख पहले लेंस में किया गया था) यह सिद्ध नहीं कर सके कि यह उससे ऊपर क्यों जाता है। उन्हें संदेह है कि वास्तविक उत्तर बहुत अधिक है (आदर्श परिदृश्य के करीब), लेकिन इसे सिद्ध करने के लिए "स्मूथ नंबर्स" (छोटी अभाज्य संख्याओं से बनी संख्याएँ) के बारे में एक बहुत ही कठिन पहेली को सुलझाना आवश्यक है जिसे गणितज्ञों ने अभी तक नहीं सुलझाया है।

यह क्यों महत्वपूर्ण है?

लेखक उल्लेख करते हैं कि उनका कार्य उन विशिष्ट पहेलियों को हल करता है जिनमें अन्य गणितज्ञ फंसे हुए थे।

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

निचोड़ (Bottom Line)

इन लेखकों को एक धुंधले पर्वत श्रृंखला का मानचित्र बनाने वाले कार्टोग्राफर के रूप में समझें।

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

उन्होंने इन साझा कारकों के "मोमेंट्स" (कुल भार) को परिभाषित करने का कार्य सफलतापूर्वक पूरा किया है, जो इन संख्या अनुक्रमों के लिए अब तक का सबसे अच्छा संभव उत्तर प्रदान करता है, साथ ही यह भी स्पष्ट करता है कि शेष रहस्य कहाँ छिपे हैं।

तकनीकी सारांश: स्प्लिट ग्रेटेस्ट कॉमन डिविज़र (GCD) के क्षण (Moments)

समस्या विवरण
यह शोध पत्र एक गैर-अपभ्रंश (non-degenerate) लुकास अनुक्रम (Lucas sequence) $(u_n)$ के क्षणों (moments) के अनुक्रम $(\gcd(n, u_n))_{n \in \mathbb{N}}$ के स्पर्शोन्मुख व्यवहार (asymptotic behavior) को संबोधित करता है। जबकि सामान्य विभाज्यता अनुक्रमों (divisibility sequences) के लिए $\gcd(u_n, v_n)$ का अध्ययन संख्यात्मक ज्यामिति (Diophantine geometry) की गहरी कल्पनाओं (जैसे वोयटा की कल्पना/Vojta's conjecture) से जुड़ा एक कठिन प्रश्न है, $\gcd(n, u_n)$ का विशिष्ट मामला बीजगणितीय समूह $\mathbb{G}_a \times \mathbb{G}_m$ से उत्पन्न होने वाले विभाज्यता अनुक्रमों के अनुरूप है।

पूर्व कार्य में सन्ना (Sanna) ने लघुगणकीय क्षणों $\sum_{n \le x} (\log \gcd(n, u_n))^\lambda$ के लिए स्पर्शोन्मुखी व्यवहार स्थापित किया था। हालाँकि, स्वयं अनुक्रम के क्षणों $\sum_{n \le x} \gcd(n, u_n)^\lambda$ का अध्ययन काफी हद तक अनसुलझा रहा है, जिसमें केवल आंशिक ऊपरी सीमाएँ (upper bounds) उपलब्ध थीं (जैसे कि मास्ट्रोस्टेफानो द्वारा)। प्राथमिक उद्देश्य इन क्षणों के लिए सटीक स्पर्शोन्मुखी अनुमान निर्धारित करना है, जो विश्लेषणात्मक संख्या सिद्धांत की मानक कल्पनाओं पर आधारित अनकंडीशनल (unconditional) और कंडीशनल (conditional) दोनों परिणाम प्रदान करते हैं।

कार्यप्रणाली (Methodology)
लेखक विश्लेषणात्मक संख्या सिद्धांत, लुकास अनुक्रमों के गुणों, और स्मूथ संख्याओं (smooth numbers) से जुड़ी संयोजन संबंधी रचनाओं के संयोजन का उपयोग करते हैं।

उपस्थिति का रैंक (Rank of Appearance) और विभाज्यता: विश्लेषण उपस्थिति के रैंक $z(m)$ पर निर्भर करता है, जो $m \mid u_n$ के लिए सबसे छोटा $n$ है। शर्त $n' = \gcd(n'k, u_{n'k})$ को $z(n')$ और $n'k$ की विभाज्यता से संबंधित शर्तों में अनुवादित किया जाता है। योग को $(n', k)$ के युग्मों के आधार पर विभाजित किया जाता है जहाँ $n = n'k$ है।
ऊपरी सीमाएँ (Upper Bounds): अनकंडीशनल ऊपरी सीमा को सहायक चरों के आकार के आधार पर योग डोमेन को विभाजित करके प्राप्त किया गया है। एक महत्वपूर्ण घटक उन पूर्णांकों की संख्या को सीमित करना है जिनके लिए $\gcd(n, z(n))$ $g cd (n, z (n))$ बड़ा है। यह एक निश्चित रैंक की उपस्थिति वाले पूर्णांकों की गणना के संबंध में गॉर्डन और पोमेरेंस के परिणाम का उपयोग करता है।
- कंडीशनल ऊपरी सीमा के लिए, लेखक कल्पना 3.2 (Conjecture 3.2) को मानते हैं, जो एक निश्चित रैंक की उपस्थिति वाले पूर्णांकों के लिए एक मजबूत घनत्व अनुमान प्रस्तावित करती है, जो छद्म-अभाजों (pseudoprimes) के लिए सीमाओं के समान है।
निम्नतम सीमाएँ (Lower Bounds): लेखकों द्वारा पूर्णांकों के एक बड़े उपसमुच्चय का निर्माण किया जाता है ताकि $n \mid u_n$ $n ∣ u_{n}$ हो सके (इसे $N_u(x)$ $N_{u} (x)$ द्वारा दर्शाया गया है)।
- कंडीशनल निम्नतम सीमा: लेखक विस्थापित अभाजों (shifted primes) $p$ से बने पूर्णांकों के एक सेट का निर्माण करते हैं जहाँ $p - (\Delta/p)$ एक स्मूथ संख्या है। यह कल्पना 4.2 (Conjecture 4.2) पर निर्भर करता है, जो स्मूथ विस्थापित अभाजों के वितरण के संबंध में ग्रैनविले की कल्पना का एक कमजोर उदाहरण है।
- अनकंडीशनल निम्नतम सीमा: $a_2 = \pm 1$ के विशिष्ट मामले के लिए, लेखक स्मूथ विस्थापित अभाजों के अंकगणितीय प्रगति (arithmetic progressions) में वितरण पर लियाटमैन (Lichtman) के हालिया परिणाम (प्रमेय 5.1) का उपयोग करते हैं। यह बिना किसी अप्रामाणिक कल्पनाओं को माने, $u_n$ को विभाजित करने वाले पूर्णांकों $n$ का एक पर्याप्त बड़ा सेट बनाने की अनुमति देता है।
समाकल अनुमान (Integral Estimates): सेट $N_u(x)$ की कार्डिनैलिटी से क्षण योग (moment sum) में संक्रमण करने के लिए, लेखक करमाटा के इंटीग्रल प्रमेय (Karamata's integral theorem) और पार्शियल समेशन (partial summation) तर्कों को लागू करते हैं।

प्रमुख परिणाम

कंडीशनल स्पर्शोन्मुखी व्यवहार (Theorem 1.3): कल्पनाओं 3.2 और 4.2 को मानते हुए, $a_2 = \pm 1$ वाले एक गैर-अपभ्रंश लुकास अनुक्रम के लिए, क्षण निम्नलिखित संतुष्ट करते हैं:
$\sum_{n \le x} \gcd(n, u_n)^\lambda = x^{\lambda+1 - (1+o_\lambda(1)) \frac{\log \log \log x}{\log \log x}}$
यह $\mathbb{G}_a \times \mathbb{G}_m$ के लिए क्षण समस्या को मानक कल्पनाओं के तहत हल करता है।
अनकंडीशनल ऊपरी सीमा (Theorem 1.4): किसी भी गैर-अपभ्रंश लुकास अनुक्रम के लिए, लेखक सिद्ध करते हैं कि:
$\sum_{n \le x} \gcd(n, u_n)^\lambda \le x^{\lambda+1 - (1/2+o_\lambda(1)) \frac{\log \log \log x}{\log \log x}}$
घातांक $1/2$ को वर्तमान पद्धति का एक आर्टिफैक्ट (artifact) बताया गया है।
अनकंडीशनल निम्नतम सीमा (Theorem 1.4): यदि $a_2 = \pm 1$ है, तो लेखक एक निम्नतम सीमा स्थापित करते हैं:
$\sum_{n \le x} \gcd(n, u_n)^\lambda \ge x^{\lambda + 0.715}$
यह परिणाम लियाटमैन के स्मूथ विस्थापित अभाजों पर प्रमेय का उपयोग करके प्राप्त किया गया है।
परिमार्जित कल्पना (Conjecture 1.5): लुकास छद्म-अभाजों (Lucas pseudoprimes) के साथ समानता के आधार पर, लेखक एक अधिक सटीक स्पर्शोन्मुखी रूप की कल्पना करते हैं जिसमें पुनरावर्ती लघुगणक (iterated logarithms) के साथ एक घातांकीय पद शामिल है, जो यह सुझाव देता है कि वर्तमान सीमाएँ परिशुद्धता की अंतिम सीमा नहीं हैं।
उपपल्लव (Corollaries): ये विधियाँ $\gcd(n, u_n)$ के वितरण पर बेहतर सीमाएँ (उपपल्लव 1.6) प्रदान करती हैं और $[25]$ के मुख्य प्रमेय के लिए एक नया विश्लेषणात्मक प्रमाण प्रदान करती हैं, जो $n$ की गणना करता है जहाँ $\gcd(n, u_n) = n$ है।

महत्व और दावे
शोध पत्र दावा करता है कि यह $\mathbb{G}_a \times \mathbb{G}_m$ के क्षण समस्या पर "महत्वपूर्ण प्रगति" करता है। विशेष रूप से, यह:

$a_2 = \pm 1$ के मामले में [29] की कल्पनाओं 3 और 5 को हल करता है।
[13] की मुख्य कल्पना को हल करता है।
लियाटमैन के बाउंड के माध्यम से [2, Th. 1.3] की अनकंडीशनल ऊपरी सीमा में सुधार करता है।
[13] और [25] की कल्पनाओं के लिए एक मिलान योग्य निम्नतम सीमा प्रदान करता है।
[27] के प्रश्न 1.1 के एक विशिष्ट मामले का उत्तर देता है और प्रश्न 1.2 पर प्रगति करता है।

लेखक नोट करते हैं कि कंडीशनल स्पर्शोन्मुखी व्यवहार (Theorem 1.3) को अनकंडीशनल रूप से सिद्ध करना वर्तमान में अव्यवहार्य है, क्योंकि निम्नतम सीमा स्मूथ विस्थापित अभाजों के वितरण पर निर्भर करती है, जो कि एक ऐसी समस्या है जिसे एलियट-हैलबॉर्म (Elliott–Halberstam) जैसी कल्पनाओं को माने बिना अभी तक हल नहीं किया गया है। $a_2 = \pm 1$ के मामले को इन पद्धतियों के लिए सबसे "दिलचस्प" और सुलभ परिदृश्य के रूप में रेखांकित किया गया है।

समस्या: एक उलझी हुई गांठ

खोज: दो अलग-अलग लेंस

यह क्यों महत्वपूर्ण है?

निचोड़ (Bottom Line)

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