The Bombieri--van der Poorten Formula for Partial Quotients of Higher Degree Algebraic Irrationals

यहाँ कार्सटेन मुलर (Karsten Müller) के शोध पत्र "The Bombieri–van der Poorten Formula for Partial Quotients of Higher Degree Algebraic Irrationals" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र उच्च घात वाले बीजगणितीय अपरिमेय संख्याओं (algebraic irrationals) के रूप में $\alpha = \sqrt[m]{k}$ (जहाँ $m \geq 3$) के लिए नियमित निरंतर भिन्न विस्तार (regular continued fraction expansion) के आंशिक भाग ($b_{n+1}$) को निर्धारित करने की समस्या का समाधान करता है।

यद्यपि बॉम्बिएरी-वैन डेर पोर्टन (Bombieri–van der Poorten) सूत्र बीजगणकीय दूरी $d_n = |p_n^m - k q_n^m|$ और आंशिक भागों के बीच एक संबंध प्रदान करता है, लेकिन $m \geq 3$ के लिए शेष पद ($R_n$) के स्पष्ट विश्लेषणात्मक व्यवहार को पूरी तरह से अभिलक्षित (characterized) नहीं किया गया है। विशेष रूप से, यह शोध पत्र निम्नलिखित लक्ष्यों को प्राप्त करना चाहता है:

• $\theta_n = H_n + R_n$ के अपघटन में त्रुटि पद $R_n$ के लिए एक बंद-रूप अभिव्यक्ति (closed-form expression) व्युत्पन्न करना, जहाँ $\theta_n$ पूर्ण भाग (complete quotient) है और $H_n$ एक अग्रणी बीजगणकीय सन्निकटन (leading algebraic approximation) है।
• उन स्थितियों का निर्धारण करना जिनके तहत $|R_n| < 1$ होता है, जो फ्लोर फंक्शन $\lfloor H_n + R_n \rfloor$ के माध्यम से $b_{n+1}$ को विशिष्ट रूप से निर्धारित करने के लिए आवश्यक महत्वपूर्ण सीमा (critical threshold) है।
• यह जांचना कि क्या निम्न-घात वाले मामलों में देखी गई स्थिरता उच्च घातों ($m > 3$) के लिए भी बनी रहती है।

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

लेखक निरंतर भिन्न सिद्धांत (continued fraction theory) को बीजगणकीय संख्या सिद्धांत (algebraic number theory) के साथ संयोजित करते हुए एक कठोर विश्लेषणात्मक दृष्टिकोण अपनाते हैं।

• शेष पद का व्युत्पत्ति (Derivation of the Remainder):
  $m$-घातीय घातों के अंतर की पहचान से शुरू करते हुए, लेखक $x_n = p_n/q_n$ और बीजगणकीय दूरी $d_n$ के संदर्भ में पूर्ण भाग $\theta_n$ को व्यक्त करते हैं। घातों के योग को रैखिकीकृत (linearizing) करके (अर्थात $x_n \approx \alpha$ का सन्निकटन), लेखक अग्रणी पद $H_n = \frac{m p_n^{m-1}}{d_n q_n}$ को परिभाषित करते हैं।
  $R_n$ को स्पष्ट रूप से इस प्रकार व्युत्पन्न किया गया है:
  $$R_n = \frac{q_n^{m-2}}{d_n} \left( \sum_{j=0}^{m-1} x_n^j \alpha^{m-1-j} - m x_n^{m-1} \right) - \frac{q_{n-1}}{q_n}$$
  यह सूत्र बीजगणकीय सुधार पद (जो घातों के योग की गैर-रैखिकता से उत्पन्न होता है) और मानक निरंतर भिन्न पद ($q_{n-1}/q_n$) को अलग करता है।

• मामला विश्लेषण (Cubic vs. Higher Degree):

  • घतीय मामला ($m=3$): लेखक $m=3$ के लिए सुधार पद के सटीक बीजगणकीय गुणनखंड (factorization) का विश्लेषण करते हैं। $q_n$ के सापेक्ष इस पद के चिह्न और परिमाण का विश्लेषण करके, एक वैश्विक स्थिरता प्रमाण (global stability proof) निर्मित किया जाता है।
  • उच्च घात ($m > 3$): लेखक बीजगणकीय त्रुटि पद को सीमित करने के लिए मीन वैल्यू थ्योरम (Mean Value Theorem) का उपयोग करते हैं, यह दिखाते हुए कि यह $O(q_n^{-2})$ के रूप में घटता है। हालाँकि, शोध पत्र तर्क देता है कि उच्च घातों के लिए, $H_n$ वास्तविक घातों के योग से काफी विचलित हो सकता है इससे पहले कि $q_n^{-2}$ क्षय प्रभावी हो जाए, जिससे संभावित रूप से छोटे $n$ के लिए $|R_n| < 1$ की स्थिति का उल्लंघन होता है।

• प्रति-उदाहरण निर्माण (Counterexample Construction):
  सिद्धांत की सीमाओं का परीक्षण करने के लिए, लेखक एक 10वीं-घात वाले अपरिमेय संख्या ($\alpha = \sqrt[10]{50}$) का उपयोग करके एक विशिष्ट प्रति-उदाहरण निर्मित करते हैं ताकि स्थिरता सीमा की विफलता को प्रदर्शित किया जा सके।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. बंद-रूप त्रुटि प्रतिनिधित्व (Closed-Form Error Representation)

शोध पत्र किसी भी घात $m \geq 3$ के लिए शेष पद $R_n$ के लिए एक सटीक विश्लेषणात्मक सूत्र प्रदान करता है। यह केवल स्पर्शोन्मुख अनुमानों (asymptotic estimates) से आगे बढ़कर अभिसारी $x_n$, मूल $\alpha$, और बीजगणकीय दूरी $d_n$ को शामिल करने वाला एक सटीक प्रतिनिधित्व है।

B. घतीय अपरिमेय संख्याओं के लिए वैश्विक स्थिरता ($m=3$)

प्रमेय 2.1 इस शोध पत्र का केंद्रीय परिणाम है। यह सिद्ध करता है कि $\alpha = \sqrt[3]{k}$ के लिए, शेष पद सभी अभिसरकों (convergents) के लिए $|R_n| < 1$ संतुष्ट करता है जहाँ $q_n \geq 2$ है।

• निहितार्थ: घतीय अपरिमेय संख्याओं के लिए, अगला आंशिक भाग $H_n$ द्वारा दो की लंबाई वाली खिड़की (window of length two) के भीतर अद्वितीय रूप से निर्धारित किया जाता है।
• स्पष्ट सीमाएँ: यदि $x_n > \alpha$, तो $H_n - 2 < b_{n+1} \leq H_n$।
• फ्लोर फॉर्मूला: शोध पत्र स्थापित करता है कि $b_{n+1} = \lfloor H_n - \frac{q_{n-1}}{q_n} \rfloor + \varepsilon_n$, जहाँ $\varepsilon_n \in \{0, 1\}$, और अस्पष्टता तब समाप्त हो जाती है जब तर्क का भिन्नात्मक भाग शून्य नहीं होता।

C. उच्च घातों के लिए सामान्यीकरण ($m > 3$)

प्रमेय 3.1 स्वैच्छिक घातों $m$ के लिए इस ढांचे का विस्तार करता है। यह स्थापित करता है कि $b_{n+1}$, $H_n$ द्वारा सीमित है बशर्ते $q_n$ पर्याप्त रूप से बड़ा हो (विशेष रूप से $q_n^2 \geq C(m, \alpha)$)।

• शोध पत्र नोट करता है कि जबकि $O(q_n^{-2})$ का स्पर्शोन्मुख क्षय बना रहता है, स्थिरांक (constant factor) $m$ और $\alpha$ पर निर्भर करता है।
• उच्च घातों में छोटे हरों (denominators) के लिए, रैखिक सन्निकटन $R_n$ को $(-1, 1)$ के भीतर बांधने में विफल हो सकता है।

D. उच्च घातों के लिए प्रति-उदाहरण

अनुभाग 5 $m=10$ ($\alpha = \sqrt[10]{50}$) के लिए एक महत्वपूर्ण प्रति-उदाहरण प्रस्तुत करता है।

• अभिसरी $p_1/q_1 = 3/2$ ($q_1=2$) के लिए, गणना किया गया शेष पद $R_1 \approx -1.27$ है।
• चूँकि $|R_1| > 1$, इसलिए ह्यूरिस्टिक (heuristic) $b_2 \approx \lfloor H_1 \rfloor$ विफल हो जाता है (सही मान 11 के बजाय 12 का अनुमान लगाता है)।
• यह पुष्टि करता है कि "वैश्विक स्थिरता" (जो $q_n \geq 2$ के लिए वैध है) घतीय अपरिमेय संख्याओं का एक अद्वितीय संरचनात्मक गुण है और यह स्वतः ही उच्च घातों तक विस्तारित नहीं होता है।

4. महत्व और प्रभाव (Significance and Impact)

• एल्गोरिद्मिक दक्षता: ये परिणाम घतीय अपरिमेय संख्याओं के लिए आंशिक भागों के व्यापक संख्यात्मक सत्यापन की आवश्यकता को समाप्त करते हैं। शोधकर्ता अब $q_n \geq 2$ के लिए गारंटीकृत त्रुटि सीमा के साथ बॉम्बिएरी-वैन डेर डेल पोर्टन सूत्र पर भरोसा कर सकते हैं।
• डायोफेंटाइन सन्निकटन का परिशोधन: यह शोध पत्र बीजगणकीय दूरी $d_n$ और निरंतर भिन्न आंशिक भागों के बीच के संबंध को स्पष्ट करता है, जिससे उच्च-घात वाले बीजगणकीय संख्याओं के लिए एक अधिक सटीक "डायोफेंटाइन विंडो" प्राप्त होती है।
• सैद्धांतिक सीमाएँ: उच्च घातों के लिए छोटे हरों पर विफलता मोड की पहचान करके, यह शोध पत्र रोथ के प्रमेय (Roth's Theorem) और संबंधित एल्गोरिद्मिक समस्याओं के प्रभावी संस्करणों के अनुप्रयोग के लिए स्पष्ट सीमाएँ निर्धारित करता है।
• भावी कार्य के लिए आधार: त्रुटि पद का कठोर व्युत्पत्ति, रोथ के प्रमेय के प्रभावी संस्करणों और उच्च-घात वाले बीजगणकीय संख्याओं के निरंतर भिन्नों के एल्गोरिद्मिक निर्धारण की जांच के लिए एक मजबूत ढांचा प्रदान करता है, जैसा कि निष्कर्ष में उल्लेख किया गया है।

संक्षेप में, मुलर का शोध पत्र घतीय अपिमेय संख्याओं के लिए बॉम्बिएरी-वैन डेर पोर्टन ढांचे को कठोरता से मान्य करता है, सख्त स्थिरता सिद्ध करता है, और साथ ही यह भी स्पष्ट करता है कि उच्च-घात वाले बीजगणकीय संख्याओं के लिए यह स्थिरता किन सटीक स्थितियों में टूट जाती है।