🔢 mathematics

The level-8 Apery-limit and a proof of the Ramanujan Machine conjecture Z1

यह शोधपत्र एटा-प्रोडक्ट पैरामीट्राइजेशन (eta-product parametrization), व्रोंस्कियन आइडेंटिटीज (Wronskian identities) और आइचलर इंटीग्रल्स (Eichler integrals) सहित उन्नत तकनीकों का उपयोग करते हुए लेवल-8 अपेरी-लिमिट (Apery-limit) को $(7/32)\zeta(3)$ स्थापित करके रामानुजन मशीन अनुमान Z1 का पहला पूर्ण प्रमाण प्रदान करता है।

मूल लेखक: Alex Shvets

प्रकाशित 2026-04-17

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

CC BY 4.0

मूल लेखक: Alex Shvets

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

कल्पना कीजिए कि आप एक विशाल, अनंत पहेली को हल करने की कोशिश कर रहे हैं। पहेली के एक तरफ, आपके पास संख्याओं का एक क्रम है जो एक बहुत ही विशिष्ट, जटिल नियम का पालन करते हुए अविश्वसनीय रूप से तेजी से बढ़ता है। दूसरी ओर, आपके पास एक "साथी" (companion) क्रम है जो ठीक उसी नियम का पालन करता है लेकिन अलग संख्याओं से शुरू होता है।

बड़ी चुनौती यह है कि गणितज्ञों ने लंबे समय से एक सवाल पूछा है: जैसे-जैसे ये संख्याएँ अनंत रूप से बड़ी होती जाती हैं, साथी क्रम और मुख्य क्रम के बीच का अनुपात क्या होता है?

यह शोध पत्र, जिसे एलेक्स श्वेट्स (Alex Shvets) द्वारा लिखा गया है, इस विशिष्ट, अत्यंत कठिन संस्करण (जिसे "लेवल-8" समस्या कहा जाता है) को हल करता है, और इसके माध्यम से वह एक प्रसिद्ध अनुमान को सिद्ध करता है जो "रामानुजन मशीन" (एक प्रोजेक्ट जो नए गणितीय सूत्रों को खोजने के लिए कंप्यूटर का उपयोग करता है) द्वारा लगाया गया था।

यहाँ इस कहानी का विवरण दिया गया है कि उन्होंने इसे कैसे हल किया, जिसे सरल अवधारणाओं में विभाजित किया गया है।

1. दो प्रतिद्वंद्वी धावक

इन दोनों अनुक्रमों (sequences) को एक ट्रैक पर दौड़ने वाले दो धावकों के रूप में सोचें जो अनंत तक फैला हुआ है।

धावक A ( $s_n$ अनुक्रम): यह धावक "मुख्य पात्र" है। वे अपने अगले कदम को तय करने के लिए निर्देशों का एक जटिल सेट (एक क्यूबिक रिकरेंस रिलेशन) का पालन करते हैं।
धावक B ( $B_n$ अनुक्रम): यह धावक ठीक उन्हीं निर्देशों का पालन करता है लेकिन एक अलग स्थान से शुरू होता है।

गणितज्ञ यह जानना चाहते थे: यदि दोनों धावक अनंत तक दौड़ते हैं, तो वे एक-दूसरे से कितनी दूर होंगे? विशेष रूप से, यदि आप धावक B की दूरी को धावक A की दूरी से विभाजित करते हैं, तो क्या यह एक विशिष्ट संख्या पर स्थिर होता है?

यह पत्र सिद्ध करता है कि यह अनुपात एक बहुत ही विशेष संख्या पर स्थिर हो जाता है: $\frac{7}{32} \times \zeta(3)$ ।
(नोट: $\zeta(3)$ एक प्रसिद्ध स्थिरांक है जिसे अपेरी स्थिरांक (Apéry's constant) कहा जाता है, जो सभी संख्याओं के घन (cubes) के योग से संबंधित है। यह $\pi$ की तरह है, लेकिन घनों के लिए।)

2. गुप्त मानचित्र: "मॉड्यूलर पैरामीट्राइजेशन" (Modular Parametrization)

इसे हल करने के लिए, लेखक ने केवल धावकों को देखा नहीं; बल्कि उन्होंने एक गुप्त मानचित्र की तलाश की जो उनके दौड़ने के पथ को पूरी तरह से एक अलग दुनिया से जोड़ता है।

गणित में, "मॉड्यूलर फॉर्म्स" (modular forms) की एक अवधारणा है। कल्पना करें कि ये एक विशेष प्रकार के संगीत वाद्ययंत्र हैं जो कॉम्प्लेक्स प्लेन (complex plane) में एक डोनट (टोरस) के आकार के आधार पर एक गीत बजाते हैं।

लेखक एक विशिष्ट "वाद्ययंत्र" (एटा-प्रोडक्ट/eta-product) का उपयोग करता है जो एक अनुवादक के रूप में कार्य करता है।
यह अनुवादक हमारे अनुक्रमों के जटिल दौड़ने के नियमों को एक सुचारू, बहते हुए गीत (एक जटिल चर $\tau$ का फलन) में बदल देता है।
अचानक, धावकों के बिखरे हुए, असतत (discrete) कदम एक सुचारू, निरंतर लहर में बदल जाते हैं। यह समस्या का विश्लेषण करना बहुत आसान बना देता है।

3. "आइचलर इंटीग्रल" (Eichler Integral - द टाइम मशीन)

यह पत्र आइचलर इंटीग्रल नामक एक उपकरण पेश करता है। इसे एक टाइम मशीन या एक परछाई प्रोजेक्टर के रूप में सोचें।

"मुख्य धावक" ( $s_n$ ) एक मानक लहर (standard wave) के अनुरूप है।
"साथी धावक" ( $B_n$ ) उस लहर के छाया या इंटीग्रल के अनुरूप है।
इस छाया का अध्ययन करके, लेखक यह पता लगा सकता है कि साथी धावक वास्तव में कैसे व्यवहार करता है, बिना उनके हर एक कदम की गणना किए।

4. दर्पण परीक्षण (Fricke Involution)

यहाँ सबसे चतुर हिस्सा है। लेखक एक गणितीय "दर्पण" का उपयोग करता है जिसे फ्रिके इनवोल्यूशन (Fricke involution) कहा जाता है।

कल्पना करें कि ट्रैक के बीच में एक दर्पण है। यदि आप दर्पण में धावक को देखते हैं, तो वे थोड़े अलग दिखते हैं, लेकिन वे अभी भी वही व्यक्ति हैं।
लेखक इस "छाया" (आइचलर इंटीग्रल) पर यह दर्पण लागू करता है।
जब वह मूल छाया और दर्पण वाली छाया को एक साथ जोड़ता है, तो कुछ जादुई होता है: सभी जटिल, उलझाने वाले हिस्से एक-दूसरे को रद्द कर देते हैं।
जो बचता है वह एक सरल, साफ बहुपद (polynomial - एक बुनियादी बीजगणितीय समीकरण) है। इस बहुपद में वह उत्तर समाहित है जिसे हम खोज रहे हैं: अनुपात $\frac{7}{32}\zeta(3)$ ।

5. चट्टान का किनारा (Singularity Analysis)

अंतिम उत्तर खोजने के लिए, लेखक इन फलनों (functions) के "दुनिया के किनारे" का विश्लेषण करता है। गणित में, फलन अक्सर एक विशिष्ट बिंदु के पास अजीब व्यवहार करते हैं जिसे सिंगुलैरिटी (singularity) या विलक्षणता (जैसे कि एक चट्टान का किनारा) कहा जाता है।

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

6. भव्य पुरस्कार: रामानुजन मशीन अनुमान (Ramanujan Machine Conjecture)

अंतिम लक्ष्य केवल अनुपात खोजना नहीं था; बल्कि एक विशिष्ट कंटीन्यूड फ्रैक्शन (Continued Fraction) को सिद्ध करना था।

कंटिन्यूड फ्रैक्शन (निरंतर भिन्न) एक संख्या को एक भिन्न के अंदर एक भिन्न के अंदर एक भिन्न के रूप में लिखने का एक तरीका है... अनंत तक।
"रामानुजन मशीन" (एक कंप्यूटर प्रोजेक्ट) ने अनुमान लगाया था कि एक विशिष्ट, बहुत जटिल कंटिन्यूड फ्रैक्शन $\frac{8}{7\zeta(3)}$ के बराबर है।
क्योंकि लेखक ने सिद्ध किया कि धावकों का अनुपात $\frac{7}{32}\zeta(3)$ है, इसलिए गणित स्वतः ही इस परिणाम को पलट देता है और यह सिद्ध करता है कि कंटिन्यूड फ्रैक्शन वास्तव में $\frac{8}{7\zeta(3)}$ है।

सारांश

संक्षेप में, एलेक्स श्वेट्स ने अनंत रूप से बढ़ती संख्याओं के दो अनुक्रमों की एक समस्या को लिया। उन्होंने:

मॉड्यूलर फॉर्म्स का उपयोग करके उन्हें एक सुचारू "गीत" में अनुवादित किया।
दो अनुक्रमों के बीच के संबंध को सरल बनाने के लिए एक "दर्पण" ट्रिक का उपयोग किया।
एक गणितीय "चट्टान" के पास उनके व्यवहार का विश्लेषण किया।
सिद्ध किया कि उनका अनुपात ठीक $\frac{7}{32}\zeta(3)$ है।
इसका उपयोग एक जटिल भिन्न के बारे में कंप्यूटर-जनित अनुमान की पुष्टि करने के लिए किया, जिससे गणितीय स्थिरांकों की पहेली में एक नया टुकड़ा जुड़ गया।

यह इस बात का एक सुंदर उदाहरण है कि कैसे संख्या सिद्धांत (number theory), जटिल विश्लेषण (complex analysis) और ज्यामिति (geometry) जैसे विभिन्न क्षेत्रों को जोड़ने से उन समस्याओं को हल किया जा सकता है जो केवल गणना (brute force) के माध्यम से हल करना असंभव लगता है।

यहाँ एलेक्स श्वेत्स के शोध पत्र "The Level-8 Apéry-Limit and a Proof of the Ramanujan Machine Conjecture Z1" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र संख्या सिद्धांत (number theory) और विशेष फलनों के सिद्धांत (theory of special functions) में दो परस्पर जुड़े हुए समस्याओं को संबोधित करता है:

लेवल-8 अपेरी-लिमिट (The Level-8 Apéry-Limit): एक विशिष्ट घन आवर्ती संबंध (cubic recurrence relation) द्वारा परिभाषित अनुक्रमों के लिए, एक परिमेय संगति अनुक्रम (rational companion sequence) $B^{(8)}_n$ और लेवल-8 अपेरी-जैसे अनुक्रम $s_n$ के बीच के अनुपात के अनंत (asymptotic) परिमित मान (limit) का निर्धारण करना, जब $n \to \infty$ हो।
रामानुजन मशीन अनुमान Z1 (The Ramanujan Machine Conjecture Z1): एक विशिष्ट बहुपद सतत भिन्न (polynomial continued fraction) पहचान को सिद्ध करना, जिसका अनुमान "रामानुजन मशीन" परियोजना द्वारा लगाया गया था। यह अनुमान बताता है कि आंशिक अंशों (partial numerators) $a_n = (2n+1)(3n^2+3n+1)$ और आंशिक हरों (partial denominators) $b_n = -n^6$ वाला सतत भिन्न $\frac{8}{7\zeta(3)}$ पर अभिसरित (converge) होता है।

यद्यपि $\frac{7}{32}\zeta(3)$ का मान पहले से ही संख्यात्मक रूप से पहचाना जा चुका था और गोलिशेव (Golyshev) के एक अप्रकाशित प्रीप्रिंट में मॉड्यूलरिटी तर्कों के माध्यम से रेखांकित किया गया था, फिर भी एक पूर्ण, स्व-निहित प्रमाण का अभाव था।

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

लेखक मॉड्यूलर फॉर्म्स (modular forms), आइचलर इंटीग्रल्स (Eichler integrals), सिंगुलैरिटी विश्लेषण (singularity analysis), और सतत भिन्न सिद्धांत (continued fraction theory) के एक परिष्कृत मिश्रण का उपयोग करते हैं। प्रमाण निम्नलिखित तार्किक चरणों के माध्यम से आगे बढ़ता है:

A. मॉड्यूलर पैरामीट्राइजेशन (Modular Parametrization)

यह शोध पत्र कूपर (Cooper) द्वारा स्थापित लेवल-8 मॉड्यूलर पैरामीट्राइजेशन का उपयोग करता है।

अनुक्रम (Sequences): जनरेटिंग फंक्शन्स $A(z) = \sum s_n z^n$ और $B(z) = \sum B^{(8)}_n z^n$ आवर्ती संबंधों से प्राप्त रैखिक अवकल समीकरणों (linear differential equations) का पालन करते हैं।
एटा-प्रोडक्ट्स (Eta-Products): समाधान को डेडेकिंड एटा फलनों (Dedekind eta functions) से निर्मित मॉड्यूलर फलनों का उपयोग करके पैरामीटराइज किया जाता है:
$t(\tau) = \frac{\eta(\tau)^8 \eta(8\tau)^8}{\eta(2\tau)^8 \eta(4\tau)^8}, \quad Y(\tau) = \frac{\eta(2\tau)^6 \eta(4\tau)^6}{\eta(\tau)^4 \eta(8\tau)^4}$
जहाँ $Y(\tau) = A(t(\tau))$ है।
फ्रिक इनवोल्यूशन (Fricke Involution): शोध पत्र इन फलनों पर फ्रिक इनवोल्यूशन $W_8(\tau) = -1/(8\tau)$ की क्रिया का विश्लेषण करता है, जिससे रूपांतरण नियम (transformation laws) स्थापित होते हैं जैसे कि $Y(W_8\tau) = -8\tau^2 Y(\tau)$ ।

B. आइचलर इंटीग्रल के रूप में पहचान (Identification as an Eichler Integral)

संगति अनुक्रम $B_n$ को आइचलर इंटीग्रल के माध्यम से मॉड्यूलर फॉर्म से जोड़ा जाता है।

अनुपात $E(\tau) = B(t(\tau))/Y(\tau)$ को एक विशिष्ट भार-4 मॉड्यूलर फॉर्म $g_8(\tau)$ के सामान्यीकृत भार -2 आइचलर इंटीग्रल के रूप में पहचाना जाता है।
फॉर्म $g_8$ को स्पष्ट रूप से आइजनस्टीन सीरीज़ $E_4$ के एक रैखिक संयोजन के रूप में निर्मित किया गया है:
$g_8(\tau) = \frac{E_4(\tau) - 21E_4(2\tau) + 84E_4(4\tau) - 64E_4(8\tau)}{240}$
स्टर्म बाउंड (Sturm's bound) का उपयोग करते हुए, लेखक यह सिद्ध करता है कि $E(\tau)$ पर लागू अवकल ऑपरेटर (differential operator) ठीक $g_8(\tau)$ देता है।

C. पीरियड पॉलीनोमियल्स और मेलिन-बार्न्स इंटीग्रेशन (Period Polynomials and Mellin-Barnes Integration)

एक महत्वपूर्ण चरण में मॉड्यूलर फॉर्म से जुड़े "पीरियड पॉलीनोमियल" की गणना करना शामिल है।

लेखक मॉड्यूलर फॉर्म से संबंधित पीरियड पॉलीनोमियल $P_8(\tau) = (E|_{-2}W_8)(\tau) + E(\tau)$ को परिभाषित करता है।
मॉड्यूलर फॉर्म $g_8$ पर मेलिन ट्रांसफॉर्म (Mellin transform) लागू करके और रीमैन ज़ेटा फलन के गुणों से प्राप्त इसके फलन समीकरण (functional equation) का उपयोग करते हुए, लेखक क्रिटिकल वैल्यूज पर अवशेषों (residues) की गणना करता है।
यह गणना स्पष्ट रूप से निम्नलिखित पॉलीनोमियल प्रदान करती है:
$P_8(\tau) = \frac{7}{32}\zeta(3)(8\tau^2 + 1)$
यह पहचान प्रमाण का मुख्य विश्लेषणात्मक इंजन है।

D. सिंगुलैरिटी विश्लेषण (Singularity Analysis)

अनुक्रम $s_n$ और $B^{(8)}_n$ के अनंत गुणांक (asymptotic limit of the coefficients) निकालने के लिए:

शोध पत्र जनरेटिंग फंक्शन $A(z)$ के लिए प्रमुख सिंगुलैरिटी (dominant singularity) $t_0$ की पहचान करता है। यह ऊपरी अर्ध-तल (upper half-plane) में फ्रिक इनवोल्यूशन के फिक्स्ड पॉइंट $\tau^* = i/(2\sqrt{2})$ के अनुरूप है।
मान $t_0 = \frac{3-2\sqrt{2}}{4}$ पाया गया है।
फ्लैजोलेट-ओडलीज़को ट्रांसफर प्रमेय (Flajolet-Odlyzko transfer theorem) का उपयोग करते हुए, $t_0$ के पास $A(z)$ और $B(z)$ के स्थानीय व्यवहार का विश्लेषण किया जाता है। सिंगुलैरिटी पर घातांक (exponents) $0, 1/2, 1$ पाए जाते हैं।
गुणांकों का अनंत अनुपात $A(z)$ और $B(z)$ के स्थानीय विस्तारों (local expansions) के वर्ग-मूल पदों के अग्रणी गुणांकों के अनुपात द्वारा निर्धारित किया जाता है।

E. सतत भिन्न संबंध (Continued Fraction Connection)

अंत में, शोध पत्र अपेरी-लिमिट को सतत भिन्न से जोड़ता है।

यह दिखाया गया है कि रामानुजन मशीन के सतत भिन्न के कन्वर्जेंट्स (convergents) सीधे तौर पर अनुक्रमों $s_n$ और $B^{(8)}_n$ के समानुपाती हैं (विशेष रूप से फैक्टोरियल्स और 4 की घातों को शामिल करते हुए)।
कन्वर्जेंट्स का सीमा मान अपेरी लिमिट का व्युत्क्रम (reciprocal) है (एक स्थिरांक कारक द्वारा स्केल किया गया)।

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

लेवल-8 अपेरी-लिमिट का प्रमाण: यह शोध पत्र यह सिद्ध करने वाला पहला पूर्ण, स्व-निहित प्रमाण प्रदान करता है कि:
$\lim_{n \to \infty} \frac{B^{(8)}_n}{s_n} = \frac{7}{32}\zeta(3)$
अनुमान Z1 का प्रमाण: यह रामानुजन मशीन अनुमान को कठोरता से सिद्ध करता है:
$\text{PCF}\left((2n+1)(3n^2+3n+1), -n^6\right) = \frac{8}{7\zeta(3)}$
स्पष्ट पीरियड पॉलीनोमियल: लेवल-8 मामले के लिए स्पष्ट पीरियड पॉलीनोमियल $P_8(\tau) = \frac{7}{32}\zeta(3)(8\tau^2+1)$ का व्युत्पत्ति, जो मॉड्यूलर फॉर्म और विशिष्ट ज़ेटा मान के बीच के अंतर को पाटता है।
पद्धतिगत संश्लेषण (Methodological Synthesis): यह कार्य मॉड्यूलर पैरामीट्राइजेशन और सिंगुलैरिटी विश्लेषण को मिलाकर एक ऐसी समस्या को हल करने में सफल रहा है जो संख्यात्मक साक्ष्यों के बावजूद पूर्ण प्रमाण के बिना बनी हुई थी।

4. परिणाम (Results)

प्रमेय 1.1 (Theorem 1.1): संगति अनुक्रम के मुकाबले अपेरी-जैसे अनुक्रम के अनुपात के लिए $\frac{7}{32}\zeta(3)$ के सीमा मान को स्थापित करता है।
प्रमेय 1.2 (Theorem 1.2): विशिष्ट बहुपद सतत भिन्न के $\frac{8}{7\zeta(3)}$ पर अभिसरण को स्थापित करता है।
स्पष्ट सूत्र (Explicit Formulas): मॉड्यूलर पैरामीट्राइजेशन $t(\tau)$ , मॉड्यूलर फॉर्म $g_8(\tau)$ , और पीरियड पॉलीनोमियल $P_8(\tau)$ के लिए सटीक अभिव्यक्तियाँ प्रदान करता है।

5. महत्व (Significance)

खुली समस्याओं का समाधान: यह शोध पत्र "रामानुजन मशीन" परियोजना के एक विशिष्ट अनुमान को हल करता है, जो नई गणितीय पहचान खोजने के लिए एल्गोरिदम का उपयोग करती है। यह कठोर विश्लेषणात्मक संख्या सिद्धांत के साथ इस अनुमान को मान्य करता है।
अपेरी-लिमिट सिद्धांत की प्रगति: जबकि लेवल-6 मामला (डोम्ब संख्याएँ) पहले ही हल किया जा चुका था, लेवल-8 मामला मॉड्यूलर कर्व की संरचना और सिंगुलैरिटी की विशिष्ट प्रकृति के कारण अधिक जटिल है। यह प्रमाण उच्च स्तरों तक पद्धति को विस्तारित करता है।
ज़ेटा मानों से संबंध: परिणाम कॉम्बिनेटोरियल अनुक्रमों (आवर्ती संबंधों द्वारा परिभाषित), मॉड्यूलर फॉर्म्स और रीमैन ज़ेटा फलन ( $\zeta(3)$ ) के विशिष्ट मानों के बीच गहरे संबंध को सुदृढ़ करता है।
संगणनात्मक सत्यापन (Computational Verification): यह कार्य संख्यात्मक सत्यापन (जिसने इस मान का सुझाव दिया था) से आगे बढ़कर एक सैद्धांतिक प्रमाण की ओर बढ़ता है, जो मॉड्यूलर पैरामीट्राइजेशन को एसिम्प्टोटिक विश्लेषण के साथ संयोजित करने की शक्ति को प्रदर्शित करता है।

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