🔢 mathematics

Anomalous Partial Quotients in the Continued Fraction of $\sqrt{ζ(3)-S_N}$

यह शोधपत्र यह सिद्ध करता है कि कंपैनियन पेल संख्याओं (companion Pell numbers) से व्युत्पन्न विशिष्ट सूचकांकों $N_k$ के लिए, $\sqrt{\zeta(3)-S_{N_k}}$ का सतत भिन्न (continued fraction) एक घन वृद्धि पद (cubic growth term) सहित असामान्य आंशिक भाग प्रदर्शित करता है, जो यूलर-मैक्लॉरिन विस्तारों को पेल पहचानों के साथ संयोजित करके और LEAN प्रूफ़ असिस्टेंट का उपयोग करके परिणामों को सत्यापित करके प्राप्त किया गया है।

मूल लेखक: David Victor Feldman

प्रकाशित 2026-07-07

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: David Victor Feldman

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक बहुत ही अजीब, अदृश्य रस्सी की लंबाई मापने की कोशिश कर रहे हैं। यह रस्सी एक प्रसिद्ध गणितीय स्थिरांक (जिसे $\zeta(3)$ कहा जाता है) और संख्याओं के एक विशिष्ट योग के बीच के एक बहुत छोटे अंतर (gap) को दर्शाती है। आमतौर पर, जब गणितज्ञ एक विशेष उपकरण जिसे "कंटीन्यूड फ्रैक्शन" (continued fraction) कहा जाता है, का उपयोग करके इस अंतर को मापने की कोशिश करते हैं, तो उन्हें जो संख्याएँ मिलती हैं वे अनुमानित होती हैं और एक स्थिर, उबाऊ तरीके से बढ़ती हैं—जैसे एक सीढ़ी जहाँ हर पायदान लगभग एक ही आकार का होता है।

हालाँकि, इस शोध पत्र ने एक गुप्त शॉर्टकट खोज निकाला है। संख्या रेखा पर कुछ बहुत ही विशिष्ट, दुर्लभ स्थानों पर (जिन्हें "पेल इंडिसेस" (Pell indices) कहा जाता है), इस रस्सी का व्यवहार नाटकीय रूप से बदल जाता है। यह बिल्कुल वैसा ही है जैसे आप एक सामान्य सीढ़ी चढ़ रहे हों, और अचानक, हर तीसरी सीढ़ी एक विशाल छलांग बन जाए, जबकि बीच की सीढ़ियाँ नगण्य, लगभग अदृश्य छोटी उछाल बन जाएँ।

यहाँ इस शोध पत्र की खोज का सरल उपमाओं (analogies) का उपयोग करके विवरण दिया गया है:

1. "सामान्य" व्यवहार बनाम "विसंगति" (The "Normal" Behavior vs. The "Anomaly")

कंटीन्यूड फ्रैक्शन को संख्याओं के एक क्रम (पार्शियल कोटिएंट्स) में एक संख्या को तोड़ने की एक रेसिपी के रूप में समझें।

सामान्य नियम: अधिकांश संख्याओं के लिए, ये रेसिपी स्टेप्स धीरे-धीरे और रैखिक (linearly) रूप से बढ़ते हैं। यदि आप स्टेप 1 से स्टेप 100 तक जाते हैं, तो संख्याएँ थोड़ी बड़ी हो जाती हैं, लेकिन बहुत अधिक नहीं।
विसंगति (The Anomaly): लेखक, डेविड फेल्डमैन ने पाया कि विशिष्ट "जादुई संख्याओं" (जो पेल संख्याओं नामक एक अनुक्रम से प्राप्त होती हैं) पर, यह रेसिपी बेकाबू हो जाती है।
- पहला नंबर अनुक्रम में बहुत बड़ा है (रैखिक विकास)।
- दूसरा नंबर केवल "1" है (बहुत छोटा)।
- तीसरा नंबर विस्फोट करता है! यह क्यूबिक (cubic) रूप से बढ़ता है। यदि पहला नंबर 10 है, तो तीसरा नंबर 1,000 या 10,000 हो सकता है। यह एक ऐसी सीढ़ी की तरह है जहाँ एक पायदान एक गगनचुंबी इमारत है।
- चौथा नंबर फिर से "1" है।
- पांचवां और छठा नंबर शेषफल (remainders) पर आधारित एक जटिल, दोहराते हुए पैटर्न का पालन करते हैं।

2. "जादुई संख्याएँ" (The "Magic Numbers" - द पेल कनेक्शन)

यह केवल विशिष्ट स्थानों पर ही क्यों होता है? यह शोध पत्र इस घटना को पेल संख्याओं (0, 1, 2, 5, 12, 29...) नामक एक विशेष संख्या परिवार से जोड़ता है।

कल्पना कीजिए कि ये संख्याएँ एक छिपे हुए दरवाजे की चाबियाँ हैं। जब आप हमारे "अदृश्य रस्सी" के फॉर्मूले में एक पेल संख्या डालते हैं, तो गणित पूरी तरह से संरेखित (align) हो जाता है, जिससे वह "विशाल छलांग" (cubic growth) प्रकट होती है।
शोध पत्र यह सिद्ध करता है कि इन विशिष्ट चाबियों पर, गणित के अपरिमेय (irrational) हिस्से (जटिल वर्गमूल) एक बहुत ही सटीक तरीके से एक-दूसरे को काट देते हैं, जिससे एक साफ, अनुमानित पैटर्न पीछे रह जाता है।

3. उन्होंने इसे कैसे सिद्ध किया (The Two-Step Dance)

लेखक ने केवल अनुमान नहीं लगाया; उन्होंने दो अलग-अलग तरीकों से इसे सिद्ध किया, जैसे दो अलग-अलग दिशा-सूचक यंत्रों (compasses) से मानचित्र की जाँच करना:

विधि A: उच्च-परिशुद्धता दूरबीन (Euler-Maclaurin Expansion)
लेखक ने "गैप" पर अत्यधिक सटीकता के साथ ज़ूम करने के लिए एक शक्तिशाली गणितीय दूरबीन का उपयोग किया। उन्होंने फॉर्मूले को पदों (terms) की एक लंबी श्रृंखला में विस्तारित किया। पहले कुछ पदों की अत्यधिक सटीकता के साथ गणना करके, वह देख सके कि संख्याओं का "फ्लोर" (पूर्णांक भाग) कहाँ लैंड करेगा। इसने उस विशाल क्यूबिक उछाल की पुष्टि की।
विधि B: "रैशनलाइजेशन" (Rationalization) की ट्रिक
सबसे कठिन हिस्सा अनुक्रम के पहले नंबर को सिद्ध करना था। इसके लिए, लेखक ने "रैशनलाइजेशन" नामक एक चतुर ट्रिक का उपयोग किया।
- उपमा: कल्पना कीजिए कि आपके पास एक विक्षिप्त, अपरिमेय संख्या (जैसे $\sqrt{2}$ ) है जिसे एक भिन्न (fraction) से गुणा किया गया है। इसे मापना कठिन है। लेकिन यदि आप ऊपर और नीचे को एक विशिष्ट "कंजुगेट" (साथी संख्या) से गुणा करते हैं, तो वह जटिल वर्गमूल गायब हो जाता है, और आप एक साफ, परिमेय (rational) संख्या के साथ बचते हैं।
- ऐसा करके, लेखक ने दिखाया कि वह मान दो पूर्णांकों (विशेष रूप से $M-1$ और $M$ के बीच) के बीच स्थित है, जिससे यह सिद्ध हुआ कि पहला नंबर वास्तव में क्या होना चाहिए।

4. कंप्यूटर सत्यापन (The Computer Verification)

शोध पत्र उल्लेख करता है कि इन सभी दावों की जाँच Lean नामक एक कंप्यूटर प्रोग्राम (Aristotle की मदद से) द्वारा की गई है।

उपमा: इसे एक अत्यंत सख्त रेफरी के रूप में समझें। लेखक ने अपना प्रमाण लिखा, और कंप्यूटर ने हर एक तार्किक चरण को यह सुनिश्चित करने के लिए पढ़ा कि कोई गलती न हो, कोई कदम छूटा न हो, और कोई "हाथ हिलाकर बात टालने" (hand-waving) वाली स्थिति न हो। कंप्यूटर ने पूरे तर्क को "ग्रीन लाइट" दी।

5. बाकी का क्या? (Open Questions)

यह शोध पत्र सब कुछ हल करने का दावा नहीं करता है। यह कुछ रहस्यों को खुला छोड़ देता है:

"ह्यूरिस्टिक" (Heuristic) अनुमान: लेखक के पास एक मजबूत धारणा (heuristic) है कि जादुई पेल इंडिसेस के आने से पहले संख्याएँ कैसी दिखती हैं, लेकिन उन्होंने अभी तक अपने उस अनुमान के पहले कुछ चरणों को कठोरता से सिद्ध नहीं किया है। यह बादलों में एक पैटर्न देखने जैसा है, लेकिन अभी आपके पास इसे सिद्ध करने के लिए भौतिकी (physics) नहीं है।
छठे स्टेप के आगे: शोध पत्र अनुक्रम के पहले छह नंबरों की सटीक गणना करता है। सातवें, आठवें या सौवें स्टेप पर क्या होता है? पैटर्न जटिल हो जाता है, और लेखक स्वीकार करते हैं कि पूर्ण, दीर्घकालिक व्यवहार का वर्णन करना अभी भी एक खुला प्रश्न है।
$\zeta(3)$ क्यों? लेखक समझाते हैं कि यह विशिष्ट "क्यूबिक विस्फोट" केवल संख्याओं की विशिष्ट घात (power) के कारण होता है (जो संख्या 3 से संबंधित है)। यदि आप गणित को थोड़ा बदल देंगे, तो वह विशाल छलांग नहीं होगी।

सारांश

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

तकनीकी सारांश: $\sqrt{\zeta(3) - S_N}$ के सतत भिन्न (Continued Fraction) में विसंगत आंशिक भाग (Anomalous Partial Quotients)

समस्या विवरण
यह शोध पत्र $\sqrt{R_N}$ के सरल सतत भिन्न विस्तार के व्यवहार की जांच करता है, जहाँ $R_N = \zeta(3) - S_N$ और $S_N = \sum_{j=1}^N j^{-3}$ है। जबकि $\sqrt{R_N}$ के आंशिक भाग सामान्यतः $O(N)$ आकार के होते हैं, लेखक ने सूचकांकों (indices) की एक विशिष्ट अनुक्रम $N_k$ की पहचान की है जहाँ विस्तार "विसंगत" व्यवहार प्रदर्शित करता है। विशेष रूप से, इन सूचकांकों पर, तीसरा आंशिक भाग संबद्ध पेल संख्याओं (Pell numbers) के साथ त्रिघाती (cubic) रूप से बढ़ता है, जो सामान्य मामलों में देखे जाने वाले रैखिक (linear) विकास से काफी विचलित होता है।

कार्यप्रणाली
प्रमाण स्व-निहित है और दो अलग-अलग चरणों में आगे बढ़ता है, जो विश्लेषणात्मक संख्या सिद्धांत को औपचारिक सत्यापन (formal verification) के साथ जोड़ता है:

यूलर-मैकलॉरिन विस्तार और परिमेयकरण (चरण 1 और 2):
- लेखक $1/\sqrt{R_{N_k}}$ को उच्च सटीकता के साथ अनुमानित करने के लिए यूलर-मैकलॉरिन विस्तार का उपयोग करते हैं। चुने गए सूचकांकों $N_k$ की एक महत्वपूर्ण बीजगणितीय विशेषता यह है कि वे अपरिमेय पदों (विशेष रूप से $\sqrt{2}$ ) के निरस्तीकरण (cancellation) की अनुमति देते हैं जब विस्तार को पेल संख्याओं $M_k = P_{2k+1}$ और संग साथी पेल संख्याओं (companion Pell numbers) $Q_{2k+1}$ के संदर्भ में व्यक्त किया जाता है।
- इससे $M_k$ के परिमेय गुणांकों के साथ एक लॉरेंट बहुपद (Laurent polynomial) विस्तार प्राप्त होता है।
- पहले आंशिक भाग ( $PQ_0$ ) को कठोरता से स्थापित करने के लिए, शोध पत्र एक "परिमेयकरण" तर्क का उपयोग करता है। पेल पहचान $Q^2 - 2M^2 = -1$ से प्राप्त एक परिमेय सन्निकटन द्वारा $\sqrt{R_N}$ को गुणा करके, लेखक इसे अंतराल $(M_k - 1, M_k)$ के भीतर सीमित करते हैं, जिससे सिद्ध होता है कि $PQ_0 = M_k - 1$ है।
सतत भिन्न श्रृंखला और अनुमानी व्युत्पत्ति (Heuristic Derivation):
- पहले छह आंशिक भागों को प्राप्त करने के लिए उच्च-सटीक विस्तार का उपयोग करते हुए, लेखक क्रमिक "फ्लोर-एंड-इनवर्ट" (floor-and-invert) चरणों का उपयोग करते हैं।
- गोस्पर के बिहोमोजेनिक सतत भिन्न एल्गोरिदम (Gosper's bihomographic continued-fraction algorithm) का उपयोग करते हुए एक अनुमानी व्युत्पत्ति प्रदान की गई है। यह एल्गोरिदम दो संख्याओं के गुणनफल के सतत भिन्न के रूप में समस्या का उपचार करता है ( $1/\sqrt{R_N} = 1/(\sqrt{R_N/2} \cdot \sqrt{2})$ ), जो यह अंतर्दृष्टि प्रदान करता है कि क्यों पेल सूचकांक एक प्रतिध्वनि (resonance) उत्पन्न करते हैं जो विसंगत त्रिघाती पद को जन्म देती है।

मुख्य परिणाम
शोध पत्र प्रमेय 1.1 को स्थापित करता है, जो सभी $k \geq 3$ के लिए $\sqrt{R_{N_k}}$ के सतत भिन्न के पहले छह आंशिक भागों को स्पष्ट रूप से निर्धारित करता है। यदि $M_k = P_{2k+1}$ और $r_k = (10M_k) \pmod{261}$ है, तो विस्तार इस प्रकार शुरू होता है:
$\sqrt{R_{N_k}} = [0; M_k - 1, 1, 6M_k^3 + 12M_k - 2, 1, \lfloor \frac{10M_k - 261}{261} \rfloor, \lfloor \frac{261}{r_k} \rfloor + \epsilon_k, \dots]$
जहाँ $\epsilon_k = -1$ यदि $r_k$ , 261 को विभाजित करता है (विशिष्ट आवधिक सूचकांकों पर घटित होता है) और अन्यथा $0$ है।

विकास दर (Growth Rates): आंशिक भाग विशिष्ट विकास व्यवहार प्रदर्शित करते हैं:
- $PQ_0 \sim M_k$ (रैखिक)
- $PQ_1 = 1$
- $PQ_2 \sim 6M_k^3$ (त्रिघाती, मुख्य विसंगति)
- $PQ_3 = 1$
- $PQ_4 \sim \frac{10}{261}M_k$ (रैखिक)
- $PQ_5$ एक सीमाबद्ध मान है (अधिकतम 261) और $r_k$ के मॉड्यूलर पुनरावृत्ति (modular recurrence) पर निर्भर करता है।
औपचारिकीकरण (Formalization): दावा किए गए सभी परिणामों को Aristotle लाइब्रेरी की सहायता से LEAN प्रमाण सहायक (proof assistant) में औपचारिक रूप दिया गया है। औपचारिकीकरण में यूलर-मैकलॉरिन सीमाएँ और पहले आंशिक भाग के लिए परिमेयकरण प्रमाण शामिल है।

महत्व और खुले प्रश्न
शोध पत्र इस बात पर प्रकाश डालता है कि पहला चरण ( $PQ_0 = M_k - 1$ ) कितना "नाजुक" है, जो पेल सूचकांकों के कारण $\sqrt{2}$ पदों के सटीक निरस्तीकरण पर निर्भर करता है। $PQ_2$ के त्रिघाती विकास को वह तंत्र माना गया है जो इन सूचकांकों को असाधारण बनाता है।

लेखक कई सीमाओं और खुले प्रश्नों को नोट करते हैं:

अनुमानी बनाम कठोर (Heuristic vs. Rigorous): जबकि पहले छह भाग सिद्ध हैं, मध्यवर्ती फलन $g(N) = \sqrt{R_N/2}$ (अनुमान 4.1) के सतत भिन्न के लिए एक अनुमानी व्युत्पत्ति शेष सीमा (remainder bounds) के कारण सबसे छोटे सूचकांकों ( $k=1$ ) के लिए सिद्ध नहीं है। यह संलग्न Lean औपचारिकीकरण में एकमात्र अपुष्ट दावा है।
सामान्यीकरण (Generalization): विशिष्ट त्रिघाती विसंगति $\zeta(3)$ (जहाँ $s=3$ ) से जुड़ी है। अन्य विषम $s$ के लिए, अग्रणी विकास दर बदल जाती है, और प्रतिध्वनि तंत्र टूट जाता है।
भावी दिशाएँ: शोध पत्र $PQ_5$ से परे आंशिक भागों की पूर्ण अर्ध-आवधिक संरचना (quasi-periodic structure), $\zeta(3)$ के लिए एपेरी (Apéry) के अपरिमेयता प्रमाणों के साथ संभावित संबंधों, और क्या ये विशिष्ट सन्निकटन नए अपरिमेयता या ट्रांसेंडेंसल (transcendence) परिणाम प्रदान करते हैं, पर प्रश्न उठाता है।