Two dimensional covering systems and possible prime producing $a^m-b^n$

यहाँ एंड्रयू ग्रैनविले और फ्रांसेस्को पापालार्डी के शोध पत्र "Two Dimensional Covering Systems and Possible Prime Producing $a^m - b^n$" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र पूर्णांकों $a, b \ge 2$ और गैर-ऋणात्मक पूर्णांकों $m, n$ के लिए व्यंजक $|a^m - b^n|$ द्वारा उत्पन्न होने वाले अभाज्य मानों (prime values) के वितरण की जांच करता है।

केंद्रीय प्रश्न यह है: किन परिस्थितियों में $|a^m - b^n|$ अनंत रूप से भिन्न अभाज्य मान लेता है?

लेखक इस घटना के लिए एक विशिष्ट बाधा (obstruction) की पहचान करते हैं: एक गैर-शून्य पूर्णांक $Q$ का अस्तित्व ऐसा कि सभी $m, n \ge 1$ के लिए $\gcd(a^m - b^n, Q) > 1$ हो। यदि ऐसा कोई $Q$ मौजूद है, तो यह व्यंजक $Q$ के अभाज्य गुणनखंडों द्वारा "कवर" (covered) है, जिसका अर्थ है कि यह केवल सीमित संख्या में युग्मों $(m, n)$ के लिए अभाज्य (या अभाज्य घात) हो सकता है। यह शोध पत्र इन बाधाओं को लक्षणित करने का लक्ष्य रखता है और यह अनुमान लगाता है कि यही एकमात्र कारण हैं जिनसे $|a^m - b^n|$ अनंत अभाज्य उत्पन्न करने में विफल हो सकता है।

2. कार्यप्रणाली (Methodology)

लेखक संख्या-सिद्धांत के उपकरणों, बीजगणितीय संरचनाओं और ह्यूरिस्टिक संभावabilistic मॉडलिंग (heuristic probabilistic modeling) के संयोजन का उपयोग करते हैं:

A. द्वि-आयामी कवरिंग सिस्टम (Two-Dimensional Covering Systems)

मुख्य गणितीय उपकरण द्वि-आयामी कवरिंग सिस्टम है।

• परिभाषा: पूर्णांकों के ट्रिपल $\{(u_i, v_i, r_i)\}$ का एक सेट एक कवरिंग सिस्टम है यदि प्रत्येक पूर्णांक युग्म $(m, n)$ के लिए, एक इंडेक्स $i$ मौजूद है जिससे $m v_i \equiv n u_i \pmod{r_i}$ होता है।
• अभा्यों से संबंध: लेखक "$\gcd(a^m - b^n, Q) > 1$ सभी $m, n$ के लिए" की स्थिति और $a$ तथा $b$ के गुणात्मक क्रमों (multiplicative orders) से प्राप्त द्वि-आयामी कवरिंग सिस्टम के बीच एक एकैकी संबंध (bijection) स्थापित करते हैं।
• निर्माण:
  • प्राइम $p \nmid ab$ के लिए, $r = \text{ord}_p(a)$ और $s = \text{ord}_p(b)$ मान लें।
  • वे एक न्यूनीकरण किया गया ट्रिपल (reduced triple) $(u, v, L)$ परिभाषित करते हैं जहाँ $L = \text{lcm}(r, s)$, $u = L/s$, और $v$ को $p$ modulo $a$ और $b$ के बीच डिस्क्रीट लॉगरिदम संबंध से प्राप्त किया जाता है।
  • युग्मों $(m, n)$ का सेट जहाँ $p \mid (a^m - b^n)$ होता है, ठीक लैट्टिस (lattice) $S(u, v, L)$ के अनुरूप होता है।
  • यदि प्राइम्स का एक परिमित सेट $Q = p_1 \dots p_k$ सभी $(m, n)$ को कवर करता है, तो संगत न्यूनीकरण किए गए ट्रिपल एक द्वि-आयामी कवरिंग सिस्टम बनाते हैं।

B. S-यूनिट प्रमेय और सीगल का प्रमेय (S-Unit Theorem and Siegel's Theorem)

लेखक यह सिद्ध करने के लिए सीगल के S-यूनिट प्रमेय का उपयोग करते हैं कि यदि एक कवरिंग बाधा (covering obstruction) मौजूद है (अर्थात स्थिति (1.1) सत्य है), तो $|a^m - b^n|$ केवल सीमित युग्मों $(m, n)$ के लिए अभाज्य या अभाज्य घात हो सकता है। यह कठोरता से स्थापित करता है कि कवरिंग सिस्टम, अभाज्य मानों की परिमितता के लिए एक पर्याप्त स्थिति (sufficient condition) है।

C. ह्यूरिस्टिक संभावabilistic मॉडलिंग (Cramér Model)

जब कोई कवरिंग सिस्टम मौजूद नहीं होता, तब अभाज्य घनत्व की भविष्यवाणी करने के लिए लेखक क्रैमर ह्यूरिस्टिक (Cramér heuristic) को अनुकूलित करते हैं:

1. युग्मों की गणना: वे उन युग्मों $(m, n)$ की संख्या का अनुमान लगाते हैं जिनके लिए $|a^m - b^n| \le x$, जो $\frac{(\log x)^2}{\log a \log b}$ के रूप में बढ़ता है।
2. अभाज्य प्रायिकता: वे छोटे अभाज्य संख्याओं द्वारा विभाज्यता और $\gcd(m, n) = 1$ की स्थिति को ध्यान में रखते हुए मानक प्रायिकता $1/\log x$ को स्थानीय कारकों (local factors) द्वारा समायोजित करते हैं।
3. स्थिरांक $\kappa_{a,b}$: वे एक सीमांत स्थिरांक $\kappa_{a,b}$ को परिभाषित करते हैं जो भाज्य मोड्युली (composite moduli) $q_k$ के एक अनुक्रम के सह-विभाज्य (coprime) होने के अनुपात से प्राप्त होता है।
4. अनुमानित एसिम्प्टोटिक (Conjectured Asymptotic): वे प्रस्तावित करते हैं कि अभाज्य की संख्या एसिम्प्टोटिक रूप से निम्न प्रकार होगी:
   $$\#\{|a^m - b^n| \le x : |a^m - b^n| \text{ is prime}\} \sim c_{a,b} \log x$$
   जहाँ $c_{a,b} = \frac{2ab \kappa_{a,b}}{\phi(ab) \log a \log b}$।

3. मुख्य योगदान (Key Contributions)

1. कन्जेक्चर 1 का प्रतिपादन: लेखक अनुमान लगाते हैं कि $a, b \ge 2$ (दोनों पूर्ण घात न हों) के लिए, $|a^m - b^n|$ अनंत अभाज्य उत्पन्न करता है यदि और केवल यदि कोई पूर्णांक $Q$ मौजूद नहीं है जिससे सभी $m, n$ के लिए $\gcd(a^m - b^n, Q) > 1$ हो।
2. पूर्ण घातों के लिए सामान्यीकरण (Conjecture 2): वे उन मामलों तक इस अनुमान का विस्तार करते हैं जहाँ $a$ या $b$ पूर्ण घात हैं ($a=A^k, b=B^\ell$), जिसमें बाधा की स्थिति को घातांकों की पावर इंडेक्स के साथ सह-विभाज्यता (coprimality) की आवश्यकता के साथ संशोधित किया गया है।
3. एल्गोरिद्मिक निर्माण: वे द्वि-आयामी कवरिंग सिस्टम का उपयोग करके कवरिंग स्थिति को संतुष्ट करने वाले सभी ट्रिपल $(a, b, Q)$ बनाने की विधि प्रदान करते हैं। यह "काउंटर-एग्जांपल" (कम अभाज्य उत्पन्न करने वाले युग्मों) के व्यवस्थित निर्माण की अनुमति देता है।
4. बाधाओं का वर्गीकरण: वे सिद्ध करते हैं कि गैर-तुच्छ (non-trivial) कवरिंग सिस्टम के लिए $a-1$ और $b-1$ में विषम अभाज्य गुणनखंड होने चाहिए, जिससे वे मामले खारिज हो जाते हैं जहाँ $a$ या $b$, 2 की घात हों या $2^\ell + 1$ के रूप में हों।

4. परिणाम और कम्प्यूटेशनल साक्ष्य (Results and Computational Evidence)

लेखकों ने अपने ह्यूरिस्टिक्स और अनुमानों को सत्यापित करने के लिए व्यापक कम्प्यूटेशनल प्रयोग किए:

• बाधा का सत्यापन: उन्होंने $(a, b)$ के विशिष्ट युग्मों की पहचान की जहाँ $b \le 100$ और $a+b \le 500$ था, जिन्होंने बहुत कम अभाज्य उत्पन्न किए (जैसे, $(9, 74)$, $(29, 34)$, $(13, 302)$)। इन युग्मों के लिए, उन्होंने सफलतापूर्वक संगत द्वि-आयामी कवरिंग सिस्टम का निर्माण किया, जिससे बाधा परिकल्पना की पुष्टि हुई।
• एसिम्प्टोटिक फॉर्मूला का सत्यापन:
  • उन्होंने विभिन्न युग्मों के लिए $\Pi_{a,b}(100)$ अभा्यों की गणना की।
  • उन्होंने देखे गए काउंट्स की तुलना अपने अनुमानित स्थिरांक $G_2(a, b)$ से की।
  • तालिका 3 और तालिका 6 दर्शाती हैं कि देखा गया औसत अभाज्य संख्या अनुमानित मानों के बहुत करीब है (उदाहरण के लिए, $(26, 149)$ के लिए, भविष्यवाणी 100 थी, देखा गया 115 था; $(128, 253)$ के लिए, भविष्यवाणी 100 थी, देखा गया 102 था)।
• स्थिरांकों का अभिसरण (Convergence of Constants): उन्होंने बढ़ते $k$ के लिए अनुक्रम $\kappa_{a,b}(k)$ की गणना की (तालिका 2), यह देखते हुए कि ये मान एक स्थिर गैर-शून्य स्थिरांक की ओर अभिसरित होते प्रतीत होते हैं, जो एसिम्प्टोटिक घनत्व के अस्तित्व का समर्थन करता है।

5. महत्व (Significance)

• कवरिंग सिस्टम का नया अनुप्रयोग: यह शोध पत्र एक्सपोनेंशियल डायोफेंटाइन समीकरणों में अभाज्य मानों के अध्ययन में द्वि-आयामी कवरिंग सिस्टम के एक नवीन अनुप्रयोग को प्रस्तुत करता है, जो पारंपरिक एक-आयामी कवरिंग सिस्टम (जैसे एर्डोस-सेल्फ्रिज समस्या में उपयोग किए जाने वाले) से आगे जाता है।
• प्राइम डिस्ट्रीब्यूशन कन्जेक्चर का परिशोधन: यह $|a^m - b^n|$ अनुक्रम में अभा्यों के घनत्व के लिए एक सटीक अनुमान प्रदान करता है, जिसमें एक विशिष्ट स्थिरांक कारक शामिल है जो स्थानीय मोडुलर बाधाओं (local modular obstructions) को ध्यान में रखता है। यह बहुपद (polynomial) के लिए बेटमैन-हॉर्न अनुमान के समानांतर है लेकिन इसे गैर-बहुपद, एक्सपोनेंशियल सेटिंग के लिए अनुकूलित करता है।
• "खराब" मामलों का पूर्ण लक्षण वर्णन: अभाज्य मानों की परिमितता को सीधे कवरिंग सिस्टम के अस्तित्व से जोड़कर, यह शोध पत्र एक पूर्ण संरचनात्मक स्पष्टीकरण प्रदान करता है कि क्यों कुछ युग्म $(a, b)$ अभाज्य उत्पन्न करने में विफल रहते हैं, जो उन्हें "जेनेरिक" मामलों से अलग करता है जहाँ अनंत अभाज्य अपेक्षित होते हैं।
• कम्प्यूटेशनल बेंचमार्किंग: व्यापक संख्यात्मक डेटा उनके अनुमानों के लिए एक मजबूत अनुभवजन्य आधार के रूप में कार्य करता है, जो अपेक्षाकृत छोटे $x$ के लिए भी प्रस्तावित ह्यूरिस्टिक की सटीकता को उजागर करता है।

संक्षेप में, ग्रैनविले और पापालार्डी बीजगणितीय कवरिंग सिस्टम को एक्सपोनेंशियल अनुक्रमों में अभा्यों के वितरण से जोड़ने वाला एक कठोर ढांचा प्रदान करते हैं, यह प्रस्तावित करते हुए कि कवरिंग सिस्टम ही $|a^m - b^n|$ में अभा्यों की अनंतता के लिए एकमात्र बाधा हैं, और इसे मजबूत कम्प्यूटेशनल साक्ष्य के साथ समर्थित करते हैं।