तकनीकी सारांश: अनुक्रम $\gcd(a^n - 1, b^n - 1)$ पर

समस्या विवरण

यह शोध पत्र अनुक्रम $(g_n)_{n \ge 1}$ के अंकगणितीय संरचना का अन्वेषण करता है, जिसे पूर्णांकों $a, b \ge 2$ के लिए $g_n := \gcd(a^n - 1, b^n - 1)$ के रूप में परिभाषित किया गया है। यह अनुक्रम स्वाभाविक रूप से दो शास्त्रीय क्षेत्रों के मिलन बिंदु पर स्थित है: घातांकीय अनुक्रमों के महत्तम समापवर्तक (GCD) और विभाज्यता अनुक्रमों (divisibility sequences) का सिद्धांत।

मुख्य प्रेरणा ऐलोन-रुडनिक अनुमान (Ailon–Rudnick conjecture) से उत्पन्न होती है जो पूर्णांकों के संदर्भ में है। जबकि ऐलोन और रुडनिक ने फलन-क्षेत्र (function-field) के संदर्भ में एक सुदृढ़ प्रमेय सिद्ध किया था कि यदि $f, g \in \mathbb{C}[T]$ गुणात्मक रूप से स्वतंत्र (multiplicatively independent) हैं, तो $\gcd(f^n - 1, g^n - 1)$ एक बहुपद द्वारा सीमित होता है, किंतु पूर्णांकों का मामला अभी भी खुला है। यह अनुमान प्रस्तावित करता है कि यदि $a$ और $b$ गुणात्मक रूप से स्वतंत्र हैं और $\gcd(a-1, b-1)=1$ है, तो अनंत $n$ के लिए $\gcd(a^n - 1, b^n - 1) = 1$ होगा।

इस शोध पत्र का लक्ष्य यह स्पष्ट रूप से निर्धारित करना है कि स्थिर-गुणांक रैखिक पुनरावृत्ति (constant-coefficient linear recurrences) और रैखिक विभाज्यता अनुक्रमों (LDS) के ढांचों का उपयोग करके $(g_n)$ के बारे में क्या बताया जा सकता है और क्या नहीं।

कार्यप्रणाली

लेखक बीजगणितीय संख्या सिद्धांत (algebraic number theory), विश्लेषणात्मक सीमाओं (analytic bounds) और संरचनात्मक वर्गीकरण प्रमेयों के संयोजन का उपयोग करता है:

1. रैखिक पुनरावृत्तियों की कठोरता (Rigidity of Linear Recurrences): शोध पत्र शास्त्रीय सिद्धांत का उपयोग करता है कि सभी संयुग्मी (conjugates) बंद इकाई डिस्क (closed unit disk) में रहने वाले बीजगणितीय पूर्णांक, इकाई के मूल (roots of unity) होते हैं (क्रोनेकर का लेम्मा)। इसे रैखिक पुनरावृत्तियों के जनरेटिंग फंक्शन्स पर लागू किया जाता है ताकि यह दिखाया जा सके कि उप-घातांकीय वृद्धि (subexponential growth) वाले अनुक्रम अंततः अंकगणितीय प्रगति (arithmetic progressions) पर बहुपद होते हैं।
2. उप-घातांकीय सीमाएँ (Subexponential Bounds): मौलिक मात्रात्मक इनपुट बुगेउड, कोर्वजा और ज़ानियर का प्रमेय है, जो स्थापित करता है कि गुणात्मक रूप से स्वतंत्र $a, b$ के लिए, $\log \gcd(a^n - 1, b^n - 1) \le \epsilon n + O_\epsilon(1)$।
3. LDS का वर्गीकरण: यह कार्य ग्रैनविले के हालिया 'पूर्णांक रैखिक विभाज्यता अनुक्रमों' के वर्गीकरण पर निर्भर करता है, जो ऐसे अनुक्रमों को आवधिक (periodic), शक्ति (power), और बहुपद जनित (polynomially generated) घटकों में विभाजित करता है।
4. स्थानीय अंकगणित (LTE): शोध पत्र $g_n$ के $p$-adic मानों (valuations) के लिए सटीक सूत्र प्राप्त करने के लिए 'लिफ्टिंग द एक्सपोनेंट' (LTE) लेम्मा का उपयोग करता है।
5. चक्रीय परिणामत (Cyclotomic Resultants): अभाज्य सूचकांकों (prime indices) के लिए ऐलोन-रुडनिक अनुमान को संबोधित करने के लिए, शोध पत्र चक्रीय बहुपदों (cyclotomic polynomials) और परिणामत (resultants) के गुणों का उपयोग करता है ताकि समस्या को परिमित प्रमाणपत्रों (finite certificates) और स्थानीय आवरण समस्याओं (local covering problems) तक कम किया जा सके।

मुख्य योगदान और परिणाम

1. GCD अनुक्रम का एक रैखिक पुनरावृत्ति के रूप में वर्गीकरण

शोध पत्र एक तीव्र कठोरता प्रमेय (rigidity theorem) स्थापित करता है कि क्या $(g_n)$ एक स्थिर-गुणांक रैखिक पुनरावृत्ति का पालन करता है।

• प्रमेय 1.1: अनुक्रम $(g_n)$ एक स्थिर-गुणांक रैखिक पुनरावृत्ति का पालन करता है यदि और केवल यदि $a$ और $b$ गुणात्मक रूप से आश्रित (multiplicatively dependent) हैं।
  • यदि आश्रित हैं, तो पूर्णांक $c \ge 2$ और $r, s \ge 1$ विद्यमान हैं कि $a=c^r, b=c^s$। इस स्थिति में, $g_n = c^{\gcd(r,s)n} - 1$, जो एक सरल रैखिक पुनरावृत्ति है।
  • यदि स्वतंत्र हैं, तो अनुक्रम का कोई भी भाग (tail) रैखिक पुनरावृत्ति का पालन नहीं करता है।
• उपप्रमेय 3.4: फलस्वरूप, $(g_n)$ एक रैखिक विभाज्यता अनुक्रम (LDS) है यदि और केवल यदि $a$ और $b$ गुणात्मक रूप से आश्रित हैं।

2. सामान्य LDS कारकों की कठोरता

शोध पत्र इस बात पर विचार करता है कि क्या कोई गैर-तुच्छ रैखिक विभाज्यता अनुक्रम स्वतंत्र मामले में $a^n - 1$ और $b^n - 1$ दोनों को एक साथ विभाजित कर सकता है।

• प्रमेय 1.2 / प्रमेय 4.3: यदि $a$ और $b$ गुणात्मक रूप से स्वतंत्र हैं, तो प्रत्येक पूर्णांक रैखिक विभाज्यता अनुक्रम $(W_n)$ जो $W_n \mid a^n - 1$ और $W_n \mid b^n - 1$ को संतुष्ट करता है, आवधिक (periodic) है।
  • यह परिणाम बुगेउड-कोर्वजा-ज़ानियर सीमा (उप-घातांकीय वृद्धि) को ग्रैनविले के LDS वर्गीकरण के साथ जोड़ता है। यह इंगित करता है कि "रैखिक पुनरावृत्ति" तंत्र स्वतंत्र मामले में गैर-तुच्छ सामान्य कारकों की व्याख्या नहीं कर सकता; ऐसा कोई भी सामान्य कारक आवधिक होना चाहिए।

3. स्थानीय संरचना और सपोर्ट सूत्र

शोध पत्र $(g_n)$ के सपोर्ट और मानों (valuations) के लिए सटीक सूत्र प्रदान करता है, जिससे "खराब सेट" $\{n : g_n > 1\}$ की पहचान होती है।

• सपोर्ट सूत्र (प्रमेय 5.1): एक अभाज्य $p \nmid ab$ के लिए, $L_p = \text{lcm}(\text{ord}_p(a), \text{ord}_p(b))$ मान लें। तब $p \mid g_n \iff L_p \mid n$।
• वैल्यूएशन सूत्र (प्रमेय 5.2): विषम अभाज्य $p \nmid ab$ के लिए, यदि $L_p \mid n$, तो $v_p(g_n) = c_p + v_p(n)$, जहाँ $c_p = \min(v_p(a^{L_p}-1), v_p(b^{L_p}-1))$।
• बैड सेट लक्षण (उपप्रमेय 5.4): $\gcd(a-1, b-1)=1$ के सामान्यीकरण के तहत, सेट $\{n : g_n > 1\}$ अंकगणितीय प्रगति का संघ (union) है:
  $$\{n \ge 1 : g_n > 1\} = \bigcup_{p \nmid ab} L_p \mathbb{N}$$
  ऐलोन-रुडनिक अनुमान इस संघ के पूरक (complement) की अनंतता के समान है।

4. ऐलोन-रुडनिक अनुमान की ओर न्यूनीकरण (Reductions)

शोध पत्र कई संरचनात्मक न्यूनीकरण प्राप्त करता है जो रैखिक पुनरावृत्ति तंत्रों को हटाकर अनुमान की कठिनाई को स्थानीय आवरण समस्याओं (local covering problems) तक सीमित कर देता है।

• प्रिमिटिव-सपोर्ट मानदंड (प्रमेय 5.6): बैड सेट को न्यूनतम अवधियों $L_p$ के एक प्रिमिटिव सेट $B$ द्वारा उत्पन्न प्रगति के संघ में संकुचित किया जा सकता है। यदि $\sum_{d \in B} 1/d < \infty$, तो 'गुड सेट' का धनात्मक निचला स्पर्श घनत्व (lower asymptotic density) होता है।
• अभाज्य-सूचकांक न्यूनीकरण (प्रमेय 6.2): एक अपवाद सेट $\Sigma(a,b)$ के बाहर एक अभाज्य $\ell$ के लिए, $g_\ell > 1$ तभी होता है जब $A_\ell = \frac{a^\ell-1}{a-1}$ और $B_\ell = \frac{b^\ell-1}{b-1}$ में एक सामान्य प्रिमिटिव भाजक (primitive divisor) हो (अर्थात, एक अभाज्य $p$ मौजूद है जिसके लिए $\text{ord}_p(a) = \text{ord}_p(b) = \ell$ है)।
• परिमित प्रमाणपत्र (प्रमेय 6.4): यदि $g_\ell > 1$, तो पूर्णांक $1 \le u, v \le \lceil \sqrt{\ell} \rceil$ और एक अभाज्य $p \equiv 1 \pmod \ell$ विद्यमान हैं कि $p \mid a^u - b^v$ या $p \mid a^u b^v - 1$।
• परिणामत संपीड़न (उपप्रमेय 6.6): स्थिति $g_\ell > 1$ यह सूचित करती है कि एक अभाज्य $p \equiv 1 \pmod \ell$ का अस्तित्व है जो चक्रीय परिणामत $R_\ell(b-a) = \text{Res}_X(\Phi_\ell(X), \Phi_\ell(X + b-a))$ को विभाजित करता है।

महत्व और दावे

शोध पत्र दावा करता है कि वह रैखिक पुनरावृत्तियों और विभाज्यता अनुक्रमों के संदर्भ में $(g_n)$ के अनुक्रम का एक निर्णायक संरचनात्मक विश्लेषण प्रदान करता है।

• रैखिक तंत्रों का उन्मूलन: प्राथमिक महत्व यह है कि शोध पत्र यह सिद्ध करता है कि अनुक्रम $(g_n)$ स्वयं एक रैखिक विभाज्यता अनुक्रम नहीं है (जब तक कि $a, b$ आश्रित न हों), और कोई भी गैर-आवधिक रैखिक विभाज्यता अनुक्रम स्वतंत्र मामले में एक सामान्य कारक के रूप में कार्य नहीं कर सकता है। यह सुझाव देता है कि ऐलोन-रुडनिक अनुमान को $(g_n)$ को एक रैखिक पुनरावृत्ति के रूप में मॉडल करके हल नहीं किया जा सकता है।
• कठिनाई का स्थानीयकरण: सटीक स्थानीय सूत्रों और न्यूनीकरणों को स्थापित करके, शोध पत्र तर्क देता कि अनुमान की शेष कठिनाई एक स्थानीय आवरण समस्या (local covering problem) है जो गुणात्मक क्रमों (multiplicative orders) और अभाज्य-सूचकांक बाधाओं द्वारा नियंत्रित होती है, न कि एक वैश्विक रैखिक पुनरावृत्ति घटना द्वारा।
• सटीक लक्षण वर्णन: शोध पत्र सामान्य मामले के लिए प्रथम सटीक सपोर्ट और वैल्यूएशन सूत्र प्रदान करता है, जिससे बैड सेट को स्थानीय अवधियों $L_p$ द्वारा निर्धारित अंकगणितीय प्रगति के एक स्पष्ट संघ के रूप में पहचाना गया है।

लेखक निष्कर्ष निकालता है कि "रैखिक-पुनरावृत्ति तंत्र" पूरी तरह से समझ लिए गए हैं और हटा दिए गए हैं; अब समस्या स्थानीय अवधियों $\{L_p\}$ के घनत्व और आवरण गुणों के विश्लेषण तक सीमित हो गई है।