On the Diophantine Inequality $\lvert x^{2} - 2^{a}\cdot 3^{b}\rvert < 3\max\{a,b\}$

"On the Diophantine Inequality $|x^2 - 2^a \cdot 3^b| < 3 \max\{a, b\}$" का तकनीकी सारांश

समस्या विवरण
यह शोध पत्र दीओफैंटाइन असमिका (Diophantine inequality) का अन्वेषण करता है:
$$1 \le |x^2 - 2^a \cdot 3^b| < 3 \max\{a, b\}$$
जहाँ $x, a, b$ गैर-ऋणात्मक पूर्णांक हैं। लेखक सभी समाधानों $(a, b, x)$ के सेट को निर्धारित करने का प्रयास करते हैं। यह समस्या योगात्मक (additive) और गुणात्मक (multiplicative) संख्या सिद्धांत के संगम पर स्थित है, जो विशेष रूप से यह जांचती है कि एक पूर्ण वर्ग (perfect square), 3-स्मूथ संख्या (संख्या जिसका रूप $2^a 3^b$ हो) के कितने निकट हो सकता है, जब त्रुटि पद (error term) घातांकों के साथ रैखिक रूप से बढ़ने के लिए बाध्य हो, जबकि $2^a 3^b$ स्वयं चरघातांकीय (exponentially) रूप से बढ़ता है। यह शास्त्रीय समीकरण $x^2 = 2^a 3^b$ के विपरीत है, जिसमें $a$ और $b$ के सम होने पर अनंत 'ट्रिवियल' समाधानों का एक परिवार होता है। यह असमिका खोज को उन "निकट-चूक" (near-misses) तक सीमित करती है जहाँ अंतर शून्य नहीं है लेकिन अपेक्षाकृत छोटा है।

कार्यप्रणाली (Methodology)
प्रमाण की रणनीति $A := \max\{a, b\}$ के परिमाण के आधार पर दो भागों में विभाजित है, जिसमें कम्प्यूटेशनल सत्यापन, विश्लेषणात्मक संख्या सिद्धांत और ट्रांसेंडेंस (transcendence) विधियों का संयोजन किया गया है।

1. लघु मामले ($A \le 2200$):
   लेखक SageMath का उपयोग करके एक व्यापक कम्प्यूटेशनल खोज (exhaustive computational search) करते हैं। $[0, 2200]$ की सीमा के भीतर $(a, b)$ के युग्मों के लिए, वे $\sqrt{2^a 3^b}$ के सबसे निकटवर्ती पूर्णांक $x$ (विशेष रूप से $\lfloor \sqrt{2^a 3^b} \rfloor$ और $\lfloor \sqrt{2^a 3^b} \rfloor + 1$) की पहचान करते हैं और सीधे असमिका को सत्यापित करते हैं। इससे समाधानों की एक परिमित सूची प्राप्त होती है।

2. विशाल मामले ($A > 2200$):
   बड़े घातांकों के लिए, लेखक समस्या को अपरिमेय संख्याओं $\sqrt{d}$ (जहाँ $d \in \{2, 3, 6\}$) से संबंधित एक परिमेय सन्निकटन (rational approximation) समस्या में बदल देते हैं।

• निरंतर भिन्न (Continued Fractions) में न्यूनीकरण: $a$ और $b$ की समता (parity) का विश्लेषण करके, $2^a 3^b$ को $2^{2\alpha} 3^{2\beta} d$ के रूप में पुनर्गठित किया जाता है। असमिका यह संकेत देती है कि एक परिमेय संख्या $x_0/y_0$, $\sqrt{d}$ का सन्निकटन $K/y_0^2$ के त्रुटि स्तर के साथ करती है, जहाँ $K$, $A$ पर निर्भर करता है।
• वर्ली का प्रमेय (Worley's Theorem): लेखक ऐसे परिमेय सन्निकटन को अभिलक्षित करने के लिए वर्ली के प्रमेय को लागू करते हैं। यह स्थापित करता है कि $x_0/y_0$ या तो $\sqrt{d}$ के निरंतर भिन्न का एक अभिसरण (convergent) होगा या क्रमिक अभिसरणों का एक विशिष्ट रैखिक संयोजन होगा। यह एक एकीकृत चरघातांकीय दीओफैंटाइन समीकरण की ओर ले जाता है जिसका रूप है:
  $$2\sqrt{d} y_0 = C\gamma^n + D\delta^n$$
  जहाँ $\gamma$, द्विघाती क्षेत्र $\mathbb{Q}(\sqrt{d})$ की मौलिक इकाई (fundamental unit) है, और $C, D$ विशिष्ट परिवारों द्वारा पैरामीटराइज्ड बीजगणितीय पूर्णांक हैं।
• p-adic लीनियर फॉर्म इन लॉगारिदम: घातांक $n$ (और फलस्वरूप $A$) को सीमित करने के लिए, लेखक एकीकृत समीकरण के $p$-adic मानों ($p \in \{2, 3\}$) का उपयोग करते हैं। वे बुगेउड (Bugeaud) और लॉोरेंट (Laurent) द्वारा दिए गए दो लघुगणकीय (logarithms) के $p$-adic लीनियर फॉर्म के निचले स्तर के बाउंड प्रमेय को लागू करते हैं। यह चरण $A$ के लिए एक प्रारंभिक, हालांकि बहुत बड़ा, ऊपरी बाउंड (लगभग $3.57 \times 10^7$) प्रदान करता है।
• LLL एल्गोरिदम न्यूनीकरण: प्रारंभिक बाउंड प्रत्यक्ष गणना के लिए बहुत बड़ा है। लेखक (Lenstra–Lenstra–Lovász) LLL लैट्टिस रिडक्शन एल्गोरिदम का उपयोग करके बाउंड को काफी कम करने के लिए करते हैं। लघुगणकीय समीकरण से प्राप्त लीनियर फॉर्म पर आधारित एक लैट्टिस का निर्माण करके, वे $A$ के ऊपरी बाउंड को $2200$ तक कम कर देते हैं।

3. विशेष मामलों का प्रबंधन:
   लेखक उन संभावित 'एज केसेस' को संबोधित करते हैं जहाँ लीनियर फॉर्म में शामिल बीजगणितीय संख्याएँ गुणात्मक रूप से आश्रित (multiplicatively dependent) होती हैं। वे प्रदर्शित करते हैं कि ऐसे परिदृश्यों में, $A$ पर बाउंड और भी छोटा ($A < 180$) हो जाता है, जिससे यह सुनिश्चित होता है कि ये मामले प्रारंभिक कम्प्यूटेशनल खोज द्वारा पहले ही कवर कर लिए गए हैं।

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

• पूर्ण वर्गीकरण: यह शोध पत्र स्थापित करता है कि असमिका के ठीक 57 गैर-ऋणात्मक पूर्णांक समाधान $(a, b, x)$ हैं।
• स्पष्ट सूची: सभी 57 समाधान पेपर की तालिका 1.1 में स्पष्ट रूप से सूचीबद्ध हैं। लेखक नोट करते हैं कि यदि हम धनात्मक पूर्णांक $x, a, b$ तक खोज को सीमित करते हैं, तो ठीक 28 समाधान हैं।
• पद्धतिगत संश्लेषण (Methodological Synthesis): यह कार्य यह प्रदर्शित करता है कि विशिष्ट दीओफैंटाइन असमिकाओं को हल करने के लिए शास्त्रीय सन्निकटन उपकरणों (वर्ली का प्रमेय, निरंतर भिन्न), आधुनिक ट्रांसेंडेंस विधियों (बुगेउड-लॉोरेंट बाउंड्स) और कम्प्यूटेशनल लैट्टिस रिडक्शन (LLL) को संयोजित करने की प्रभावशीलता क्या है।

महत्व
यह शोध पत्र उन दीओफैंटाइन असमिकाओं को समझने के व्यापक कार्यक्रम में योगदान देता है जहाँ बहुपद व्यंजक (polynomial expressions) गुणात्मक रूप से संरचित समुच्चयों (स्मूथ संख्याओं) का सन्निकटन करते हैं। यह "निकट-चूक" समीकरणों के अध्ययन को केवल सटीक दीओफैंटाइन समीकरणों (जैसे पिल्लाई-प्रकार के समीकरण) के दायरे से आगे, नियंत्रित त्रुटि पदों वाले मामलों तक विस्तारित करता है। लेखक इस बात पर प्रकाश डालते हैं कि घातांकों में स्थिरांक के बजाय रैखिक रूप से बढ़ने वाले त्रुटि पद की उपस्थिति एक अत्यधिक प्रतिबंधित शासन (regime) बनाती है जिसमें केवल सीमित संख्या में समाधान होते हैं। इस विशिष्ट असमिका का सफल समाधान ऐसी समस्याओं को पूरी तरह से हल करने में वर्तमान ट्रांसेंडेंस विधियों की शक्ति का प्रदर्शन है।