$(a,a)$-Carmichael numbers and greatest common divisors of $p-a$

तकनीकी सारांश: (A, A)-कारमाइकल संख्याएँ और $P - A$ के महत्तम समापवर्तक (GCD)

समस्या विवरण
यह शोध पत्र $(a, a)$-कारमाइकल संख्याओं के वितरण और निर्माण को संबोधित करता है। एक मिश्रित (composite), वर्गमुक्त (squarefree) पूर्णांक $n$ को $(a, a)$-कारमाइकल संख्या के रूप में परिभाषित किया गया है यदि $n$ के प्रत्येक अभाज्य गुणनखंड $p$ के लिए, स्थिति $p - a \mid n - a$ सत्य हो। यह शास्त्रीय कारमाइकल संख्याओं (जहाँ $a=1$) की परिभाषा का सामान्यीकरण है, जो $p-1 \mid n-1$ को संतुष्ट करती हैं।

मुख्य समस्या जो जाँची जा रही है वह यह है कि क्या ऐसे अनंत $(a, a)$-कारमाइकल संख्याएँ मौजूद हैं जिनका $p - a$ पदों का महत्तम समापवर्तक (GCD) सीमित (bounded) हो। विशेष रूप से, एक दिए गए $(a, a)$-कारमाइकल संख्या $n$ के लिए, जिसके अभाज्य गुणनखंड $p_1, \dots, p_m$ हैं, $K = \gcd(p_1 - a, \dots, p_m - a)$ मान लें। यह शोध पत्र $X$ तक $K = \nu$ वाले $(a, a)$-कारमाइकल संख्याओं की गणना $C_\nu(X, a)$ के लिए एक निचला स्तर (lower bound) निर्धारित करने का प्रयास करता है।

यह जांच एक व्यापक खुले प्रश्न की ओर एक मध्यवर्ती चरण के रूप में फ्रेम की गई है: क्या एक निश्चित अभाज्य $Q$ द्वारा विभाज्य अनंत $(a, a)$-कारमाइकल संख्याएँ मौजूद हैं? पूर्ववर्ती कारमाइकल संख्या निर्माणों (जैसे, अल्फोर्ड, ग्रैनविले, और पोमेरेंस [1]) में आम तौर पर यह आवश्यक था कि जैसे-जैसे $n$ बढ़ता है, GCD $K$ भी बढ़ता जाए, जो एक निश्चित अभाज्य द्वारा विभाज्य अनंत संख्याओं के निर्माण को रोकता है। लेखक का लक्ष्य यह दिखाना है कि $K$ को स्थिर (विशेष रूप से $K=\nu$) रखा जा सकता है और फिर भी संख्याओं का एक बड़ा सेट उत्पन्न किया जा सकता है।

कार्यप्रणाली (Methodology)
प्रमाण [1], [17], और [18] में उपयोग किए गए मानक संयोजनपरक दृष्टिकोण (combinatorial approach) को संशोधित करने वाले एक सशर्त निर्माण ढांचे (conditional construction framework) पर आधारित है। कार्यप्रणाली में निम्नलिखित मुख्य घटक शामिल हैं:

1. सशर्त धारणा (Conditional Assumption): परिणाम कन्जेक्चर 2 (Conjecture 2) पर आधारित हैं, जो अर्थिक श्रेणी (arithmetic progression) में प्रथम अभाज्य के संबंध में हीथ-ब्राउन के एक अनुमान का कमजोर संस्करण है। यह अनुमान प्रस्ताव देता है कि किसी भी $A \ge 2$ के लिए, यदि $l$ पर्याप्त रूप से बड़ा है और $(b, l) = 1$ है, तो एक अभाज्य $p \equiv b \pmod l$ मौजूद है जहाँ $p < l(\log l)^A$। यह अर्थिक श्रेणियों में छोटे गुणकों (multipliers) की उपस्थिति सुनिश्चित करता है।

2. अभाज्य समूहों का द्वैत निर्माण (Dual Construction of Prime Sets):

   • लेखक अभाज्य $r$ के उत्पादों से प्राप्त दो विलग (disjoint) अभाज्य समूहों, $Q_1$ और $Q_2$ का निर्माण करते हैं।
   • इन समूहों का उपयोग बड़े पूर्णांकों $L_1$ और $L_2$ को बनाने के लिए किया जाता है। महत्वपूर्ण रूप से, निर्माण यह सुनिश्चित करता है कि कारमाइकल लैम्ब्डा फलन $\lambda(L_1 L_2)$ का मान $L_1 L_2$ के सापेक्ष अत्यंत छोटा है (विशेष रूप से $\lambda(L_1 L_2) \le e^{4/5 z}$)।
   • दो अभाज्य समूह, $P_{k_1}$ और $P_{k_2}$, क्रमशः $L_1$ और $L_2$ के सापेक्ष अर्थिक श्रेणियों के आधार पर परिभाषित किए गए हैं। मापदंडों $k_1$ और $k_2$ को छोटे पूर्णांकों के रूप में चुना गया है ताकि $P_{k_1}$ के अभाज्य $d_1 k_1 \nu + a$ के रूप में हों और $P_{k_2}$ के अभाज्य $d_2 k_2 \nu + a$ के रूप में हों।

3. संयोजनपरक चयन (Combinatorial Selection):

   • $(\mathbb{Z}/M\mathbb{Z})^\times$ में शून्य-योग उप-अनुक्रमों (zero-sum subsequences) के संबंध में वैन एमडे बोअस, क्रुयस्विक और मेशलम के एक प्रमेय का उपयोग करते हुए, लेखक यह प्रदर्शित करते हैं कि $P_{k_1}$ और $P_{k_2}$ के भीतर अभाज्य के ऐसे उपसमुच्चय मौजूद हैं जिनके उत्पाद, $n_1$ और $n_2$, विशिष्ट सर्वांगसमता (congruence) स्थितियों को संतुष्ट करते हैं।
   • विशेष रूप से, $n_1 \equiv 1 \pmod{L_1 L_2 k_1 k_2 k_3 \nu}$ और $n_2 \equiv 1 \pmod{L_1 L_2 k_1 k_2 k_3 \nu}$, जहाँ $P = L_1 L_2 k_1 k_2 k_3 \nu + a$ एक विशिष्ट अभाज्य है जो अनुमान के माध्यम से प्राप्त किया गया है।

4. अंतिम निर्माण (Final Construction):

   • अंतिम $(a, a)$-कारमाइकल संख्या $n = P n_1 n_2$ के रूप में निर्मित की जाती है।
   • इसकी संरचना यह सुनिश्चित करती है कि $n$ के किसी भी अभाज्य गुणनखंड $p$ के लिए, $p - a$ का $n - a$ को विभाजित करना सत्य है।
   • एक महत्वपूर्ण लेम्मा (lemma) यह सिद्ध करता है कि इस निर्माण के लिए, अलग-अलग समूहों के अभाज्य $p_1, p_2$ के लिए $\gcd(p_1 - a, p_2 - a) = \nu$ है, जिससे यह सुनिश्चित होता है कि वैश्विक GCD $K$ ठीक $\nu$ है।

प्रमुख योगदान और परिणाम
प्राथमिक परिणाम प्रमेय 1 (Theorem 1) है, जो एक निश्चित GCD $\nu$ के साथ $(a, a)$-कारमाइकल संख्याओं की संख्या के लिए एक निचला स्तर (lower bound) स्थापित करता है।

• प्रमेय: यदि कन्जेक्चर 2 सत्य है, तो किसी भी पूर्णांक $a$ और किसी भी प्राकृतिक संख्या $\nu$ के लिए जहाँ $(a, \nu) = 1$ और $a, \nu$ विपरीत समता (opposite parity) रखते हैं:
  $$C_\nu(X, a) \ge X^{1 - (2+o(1)) \frac{\log \log \log \log X}{\log \log \log X}}$$
• सीमा का महत्व (Significance of the Bound): यह निचला स्तर वही है जो लेखक द्वारा [17] में शास्त्रीय कारमाइकल संख्याओं ($C(X, 1)$) की कुल गणना के लिए पहले स्थापित किया गया था।
• परंपरा से विचलन: जहाँ पारंपरिक निर्माणों में $n$ के बढ़ने के साथ GCD $K$ का बढ़ना आवश्यक था, यह परिणाम दर्शाता है कि $K = \nu$ को स्थिर रखा जा सकता है और फिर भी एक बड़ा सेट उत्पन्न किया जा सकता है जो "सर्वश्रेष्ठ संभव के करीब" है।

महत्व और दावे
शोध पत्र का दावा है कि यह परिणाम कारमाइकल संख्याओं के अध्ययन में पिछले तरीकों से एक महत्वपूर्ण विचलन है।

• सीमित GCD (Bounded GCD): यह एक विशिष्ट मध्यवर्ती प्रश्न (परिचय में प्रश्न 5) को हल करता है, यह दिखाते हुए कि एक सीमित GCD $\nu$ वाले $(a, a)$-कारमाइकल संख्याओं की संख्या नगण्य नहीं है; बल्कि, यह शास्त्रीय कारमाइकल संख्याओं के कुल सेट के समान विषमांतर क्रम (asymptotic order) की है।
• खुले प्रश्नों के निहितार्थ: हालांकि शोध पत्र यह स्वीकार करता है कि एक निश्चित अभाज्य $Q$ द्वारा विभाज्य अनंत $(a, a)$-कारमाइकल संख्याओं का पूर्ण प्रश्न अभी भी पहुंच से बाहर है, यह परिणाम सुझाव देता है कि सीमित GCD का प्रतिबंध इन संख्याओं के घनत्व को महत्वपूर्ण रूप से कम नहीं करता है।
• इष्टतमता (Optimality): लेखक नोट करते हैं कि प्राप्त निचला स्तर कारमाइकल संख्याओं की कुल संख्या के लिए प्रस्तावित ऊपरी स्तर (पोमेरेंस द्वारा प्रस्तावित) के करीब है, जो यह सुझाव देता है कि सीमित $K$ वाला $(a, a)$-कारमाइकल संख्याओं का सेट कुल सेट का एक बड़ा हिस्सा है।

यह शोध पत्र बिना शर्त (unconditionally) ऐसी संख्याओं की अनंतता को सिद्ध करने का दावा नहीं करता है, न ही यह सीधे तौर पर निश्चित अभाज्य विभाजक $Q$ के लिए प्रश्न को हल करता है। इसके बजाय, यह एक सशर्त प्रमाण प्रदान करता है कि "सीमित GCD" का प्रतिबंध कारमाइकल संख्याओं के उच्च घनत्व के साथ संगत है।