On the problem of large gcd for disjoint residue classes

तकनीकी सारांश: विलगित अवशेष वर्गों (Disjoint Residue Classes) के लिए बड़े GCD की समस्या पर

समस्या का विवरण
यह शोध पत्र विलगित अवशेष वर्गों की अंकगणितीय संरचना के संबंध में एक मौलिक प्रश्न को संबोधित करता है। मान लीजिए कि $a_1 \pmod{m_1}, \dots, a_k \pmod{m_k}$ विलगित अवशेष वर्गों का एक परिवार है। विलगता (disjointness) के लिए एक आवश्यक शर्त यह है कि किन्हीं भी भिन्न $i, j$ के लिए, $\gcd(m_i, m_j) > 1$ हो। केंद्रीय समस्या यह निर्धारित करना है कि $k$ के फलन (function) के रूप में मॉड्युली (moduli) के बीच अधिकतम महत्तमतम समापवर्तक (greatest common divisor - GCD) कितना बड़ा होना चाहिए।

यह समस्या सन (Sun) के एक अनुमान (conjecture) से संबंधित है, जो यह प्रतिपादित करता है कि ऐसे किसी भी परिवार के लिए, $\max_{i<j} \gcd(m_i, m_j) \ge k$ होता है। हालांकि यह सीमा सर्वोत्तम संभव है (जैसा कि $k$ के भिन्न अवशेष वर्गों द्वारा प्रदर्शित किया गया है), फिर भी सामान्य $k$ के लिए यह अप्रामाणित बनी हुई है। पिछले परिणामों ने छोटे $k$ के लिए (जैसे $k \le 20$ ओ'ब्रायंट द्वारा, और समूह-सैद्धांतिक संस्करण के लिए $k=3,4$ ज़ू द्वारा) इस अनुमान को स्थापित किया था और विशिष्ट मामलों को भी सिद्ध किया था।

कार्यप्रणाली (Methodology)
लेखक अधिकतम GCD के लिए एक निचली सीमा (lower bound) प्राप्त करने के लिए संयोजनपरक ग्राफ सिद्धांत (combinatorial graph theory), सीव विधियों (sieve methods) और हार्मोनिक विश्लेषण (harmonic analysis) के संश्लेषण का उपयोग करते हैं। इस दृष्टिकोण के मुख्य चरण निम्नलिखित हैं:

1. रंगीन ग्राफ निर्माण (Colored Graph Construction): अवशेष वर्गों को एक पूर्ण ग्राफ (complete graph) के शीर्षों (vertices) के रूप में माना जाता है। दो शीर्षों के बीच का किनारा (edge) उनके संगत मॉड्युली के GCD द्वारा रंगीन होता है।
2. भारित विभाजन (Weighted Partitioning): लेखक $[d]$ (जहाँ $d = \max \gcd(m_i, m_j)$) के विभाजन के लिए $K_n$ के सेटों का परिचय देते हैं। शीर्षों को इन सेटों में उनकी सदस्यता के आधार पर भार (weights) दिए जाते हैं ताकि प्रत्येक शीर्ष का कुल भार 1 हो। यह एक "दोहरी गणना" (double counting) तर्क की अनुमति देता है जहाँ भारों का योग वर्गों की संख्या $k$ के बराबर होता है।
3. सीव-सैद्धांतिक विभाजन (Sieve-Theoretic Partition): एक प्रमुख तकनीकी घटक $[d]$ की कुछ सेटों $C_i$ में विभाजन (प्रपोजिशन 2.1) है। यह विभाजन अभाज्य गुणनखंडों के मल्टीस्केल अपघटन (multiscale decomposition) का उपयोग करके बनाया गया है (बहुत छोटे अभाज्य संख्याओं को अलग करना और अभाज्य संख्याओं को छोटे अंतराल में समूहित करना)। यह सुनिश्चित करता है कि प्रत्येक सेट $C_i$ के भीतर, भाजक-योग पैरामीटर $T_i$ (सेट में जोड़ों के GCD के योग से संबंधित) समान रूप से सीमित (uniformly bounded) रहता है।
4. संरचनात्मक लेम्मा (Structural Lemma - Lemma 4.1): $K_m$ और $K_n$ के बीच के किनारों के लिए एक द्विशाख (dichotomy) स्थापित की जाती है जहाँ किनारे का रंग (GCD) $\gcd(m, n)$ से भिन्न होता है। लेम्मा बताता है कि या तो एक सिरा एक छोटे "अपवाद" (exceptional) सेट से संबंधित है (जिसका आकार अभाज्य गुणनखंडों की संख्या द्वारा सीमित है), या एक निश्चित सिरे का भार ऐसे घटित होने वाले किनारों की संख्या के व्युत्क्रमानुपाती होता है। यह "गैर-मानक" किनारों के योगदान को नियंत्रित करता है।
5. फूरियर और मोबियस विश्लेषण (Fourier and Möbius Analysis): भारित GCD योग के लिए निचली सीमा प्राप्त करने हेतु, लेखक मोबियस व्युत्क्रमण (Möbius inversion) और डिस्क्रीट फूरियर ट्रांसफॉर्म का उपयोग करते हैं। विशेष रूप से, लेम्मा 5.1 भाजक-योगों और फूरियर गुणांकों से जुड़े एक विशिष्ट द्विघात रूप (quadratic form) की गैर-ऋणात्मकता स्थापित करता है। यह प्रत्येक विभाजन सेट के योगदान के लिए एक द्विघात निचली सीमा ($k_i^2$) प्रदान करता है।
6. विलगता के माध्यम से ऊपरी सीमा (Upper Bound via Disjointness): ऊपरी सीमा को विलगित अवशेष वर्गों की युग्मवार विलगता का लाभ उठाकर प्राप्त किया जाता है। वे पद जहाँ किनारे का रंग $\gcd(m, n)$ के बराबर होता है, चीनी शेष प्रमेय (Chinese Remainder Theorem) की अनुकूलता स्थिति (compatibility condition) से संबंधित होते, जो प्रतिच्छेदन (intersection) का संकेत देते; अतः इन पदों को हटा दिया जाता है। शेष पदों को संरचनात्मक लेम्मा और सीव विभाजन का उपयोग करके नियंत्रित किया जाता है।

मुख्य परिणाम
मुख्य प्रमेय अधिकतम GCD के लिए निम्नलिखित स्पर्शोन्मुखी निचली सीमा (asymptotic lower bound) स्थापित करता है:

$$\max_{1 \le i < j \le k} \gcd(m_i, m_j) \gg_k \exp\left( -(2 + o(1)) \sqrt{\frac{\log k}{\log \log k}} \right)$$

यह दर्शाता है कि अधिकतम GCD कम से कम $k^{1-o(1)}$ है, जिससे सन के अनुमान को एक उप-बहुपद कारक (sub-polynomial factor) $k^{o(1)}$ तक सिद्ध किया जा है।

इसके अतिरिक्त, लेख $x$ द्वारा सीमित भिन्न मॉड्युली की समस्या के संबंध में एक उपसंहार (corollary) प्राप्त करता है। $[1, x]$ के भीतर मॉड्युली वाले विलगित अंकगणितीय प्रगति के परिवारों के अधिकतम आकार $f(x)$ (विशेष रूप से $f(x) = x L(x)^{-1+o(1)}$ जहाँ $L(x) = \exp(\sqrt{\log x \log \log x})$) पर हालिया कार्य के साथ अपने परिणाम को जोड़ते हुए, लेखक दिखाते हैं कि कोई भी चरम परिवार (extremal family) दो ऐसे मॉड्युली को समाहित करेगा जो एक समान आकार के साझा गुणनात्मक कोर (multiplicative core) को साझा करते हैं, जिसका आकार $x L(x)^{-1+o(1)}$ है और जिनके सह-अभाज्य भाग (coprime tails) तुलनात्मक रूप से छोटे हैं।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह विलगित अवशेष वर्गों के एक परिवार में अधिकतम GCD के लिए पहला सामान्य निचली सीमा प्रदान करता है जो $k$ पर निर्भर है और अनुमानित रैखिक सीमा के निकट पहुँचता है। लेखक उल्लेख करते हैं कि उनका परिणाम ज्ञात तुच्छ निचली सीमा ($>1$) और सन के अनुमानित $\ge k$ के बीच के अंतर को पाटता है।

इसका महत्व तकनीकों के नवीन संयोजन में निहित है:

• मॉड्युली के GCD संरचना को देखने और विश्लेषण करने के लिए रंगीकृत ग्राफ (colored graph) का उपयोग।
• भाजक-योगों को नियंत्रित करने के लिए सीव-सैद्धांतिक विभाजन (sieve-theoretic partition) का अनुप्रयोग, जो वर्गों की संख्या को न्यूनतम रखते हुए एकरूपता बनाए रखता है।
• विलगता की स्थिति को GCD योगों के मात्रात्मक निचली सीमा में बदलने के लिए फूरियर ऑर्थोगोनैलिटी (Fourier orthogonality) का एकीकरण।

लेखक यह दावा नहीं करते हैं कि उन्होंने सन के अनुमान को पूरी तरह से हल कर दिया है, बल्कि वे यह दावा करते हैं कि उनका अनुमान सबसे मजबूत ज्ञात सामान्य परिणाम है, जो समस्या को $k^{o(1)}$ के कारक तक कम कर देता है। यह कार्य विलगित अवशेष वर्गों की समस्या को GCD योगों और डफिन-शेफ़र अनुमान (Duffin–Schaeffer conjecture) के व्यापक संदर्भ से जोड़ता है, जो संख्या सिद्धांत में GCD ग्राफों की उपयोगिता को रेखांकित करता है।