🔢 mathematics

A Database of Continued Fractions of Polynomial Type

यह शोध पत्र बहुपदीय गुणांकों वाले 1,883 निरंतर भिन्नों (continued fractions) का एक व्यापक डेटाबेस प्रस्तुत करता है, जिसमें दिलचस्प स्थिरांकों और अपरिमेय फलनों (transcendental functions) के लिए 1,600 से अधिक नए प्रविष्टियाँ शामिल हैं, जो सीधे इस शोध पत्र के लैटेक्स (LaTeX) सोर्स कोड के भीतर प्रदान की गई हैं।

मूल लेखक: Henri Cohen

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

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

CC BY 4.0

मूल लेखक: Henri Cohen

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

कल्पना कीजिए कि आपके पास प्राचीन स्क्रॉल (लिपियों) से भरी एक विशाल, धूल भरी लाइब्रेरी है। प्रत्येक स्क्रॉल में किसी विशिष्ट संख्या (जैसे $\pi$ या $\log(2)$ ) या किसी गणितीय फलन (function) की गणना करने का एक गुप्त नुस्खा है। ये नुस्खे एक बहुत ही विशिष्ट, जटिल संक्षिप्त भाषा में लिखे गए हैं जिसे कंटीन्यूड फ्रैक्शंस (Continued Fractions) कहा जाता है।

सदियों से, गणितज्ञों ने कुछ सौ ऐसे नुस्खे खोजे हैं। वे सुंदर हैं, लेकिन वे बिखरे हुए हैं, उन्हें ढूंढना कठिन है और अक्सर उनमें यह "निर्देश पुस्तिका" गायब होती है कि वे कितनी तेजी से काम करते हैं या वे कहाँ से आए हैं।

हेनरी कोहेन (Henri Cohen) का पेपर वास्तव में इन नुस्खों के लिए एक विशाल, व्यवस्थित डिजिटल गोदाम का निर्माण है।

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

1. "नुस्खा पुस्तक" (डेटाबेस)

कोहेन ने इन गणितीय नुस्खों के 1,883 का एक डेटाबेस संकलित किया है।

पुराना बनाम नया: इससे पहले, केवल लगभग 250 नुस्खे ज्ञात थे। कोहेन ने एक शक्तिशाली कंप्यूटर प्रोग्राम (एक "किचन रोबोट" जिसे Pari/GP कहा जाता है) का उपयोग करके 1,600 से अधिक नए नुस्खे ईजाद किए।
प्रारूप (Format): इन नुस्खों को टेक्स्ट के पैराग्राफ के रूप में नहीं, बल्कि सामग्री की एक संरचित सूची के रूप में सोचें। प्रत्येक नुस्खा आपको बताता है कि अंशों (fractions) को एक के ऊपर एक अनंत काल तक रखकर एक संख्या का निर्माण कैसे किया जाए।
"पॉलीनोमियल" ट्विस्ट: अधिकांश नुस्खे "पॉलीनोमियल गुणांकों" (polynomial coefficients) का उपयोग करते हैं। कल्पना कीजिए कि एक नुस्खा कहता है, "5 जोड़ें, फिर 10 जोड़ें, फिर 15 जोड़ें, फिर 20 जोड़ें।" यह एक सरल पैटर्न है। कोहेन का डेटाबेस ऐसे नुस्खों से भरा है जहाँ संख्याएँ यादृच्छिक (random) होने के बजाय जटिल, पूर्वानुमेय बीजगणितीय पैटर्न (जैसे $n^2$ या $2n+1$ ) का पालन करती हैं।

2. "स्पीडोमीटर" (अभिसरण दर - Convergence Rates)

यदि आप केक बना रहे हैं, तो आप जानना चाहते हैं कि आप उसके पूरा होने के कितने करीब हैं। गणित में, इसे अभिसरण (convergence) कहा जाता है।

समस्या: अधिकांश पुराने नुस्खा संग्रह केवल आपको नुस्खा देते हैं। वे यह नहीं बताते कि, "यदि आप 10 चरणों के बाद रुकते हैं, तो आप 90% सटीक हैं। यदि आप 100 चरणों के बाद रुकते हैं, तो आप 99.9% सटीक हैं।"
समाधान: कोहेन ने अपने डेटाबेस के लगभग हर नुस्खे के लिए "स्पीडोमीटर" की गणना की। उन्होंने यह पता लगाया कि नुस्खा वास्तविक उत्तर के कितने करीब पहुँचता है। उन्होंने "त्रुटि सूत्र" (error formula) भी लिखा—जो एक मानचित्र की तरह है जो दिखाता है कि यदि आप जल्दी रुक जाते हैं तो आप कितना गलत हो सकते हैं।

3. "निर्देश पुस्तिका" (उत्पत्ति और संबंध)

कोहेन ने केवल नुस्खों को सूचीबद्ध नहीं किया; उन्होंने यह समझाने की भी कोशिश की कि वे कहाँ से आए हैं।

"एपरी" (Apéry) कनेक्शन: वह नोट करते हैं कि कौन से नुस्खे "एपरी त्वरण" (Apéry acceleration) नामक एक विशेष तकनीक का उपयोग करके बनाए गए थे (एक ऐसी विधि जो नुस्खों के अभिसरण को तेज करती है, जैसे बेकिंग को तेज करने के लिए कोई गुप्त सामग्री डालना)।
"हाइपरजियोमेट्रिक" लिंक: वह इन भिन्न (fraction) नुस्खों को "हाइपरजियोमेट्रिक सीरीज़" नामक गणित के एक अन्य प्रकार से जोड़ते हैं। यह दिखाने जैसा है कि एक फ्रांसीसी नुस्खा वास्तव में एक चीनी नुस्खे का ही एक रूपांतर है, बस उसे अलग तरह से लिखा गया है।

4. "कोड" को कैसे पढ़ें

पेपर यह स्वीकार करता है कि डेटाबेस कंप्यूटर भाषा (Pari/GP) में लिखा गया है जो मनुष्यों के लिए कोड जैसा दिखता है।

उपमा: कल्पना कीजिए कि एक लाइब्रेरी है जहाँ किताबें बाइनरी कोड में लिखी गई हैं। आप उन्हें अपनी आँखों से नहीं पढ़ सकते, लेकिन एक कंप्यूटर उन्हें तुरंत पढ़ सकता है।
समाधान: पेपर एक "डिकोडर रिंग" प्रदान करता है। यह समझाता है कि कंप्यूटर इन नुस्खों को (वेक्टर्स और क्लोजर का उपयोग करके) कैसे संग्रहीत करता है ताकि अन्य गणितज्ञ इस डेटा को अपने स्वयं के कंप्यूटरों में डाल सकें।
"सुंदरीकरण" (Beautification): कोहेन स्वीकार करते हैं कि कच्चा कोड बदसूरत है। वह दिखाते हैं कि कैसे इन कोड ब्लॉकों को एक सुंदर, पठनीय गणितीय सूत्र में अनुवादित किया जा सकता है जिसे एक मनुष्य वास्तव में समझ सकता है।

5. "रहस्य बॉक्स" (खुले प्रश्न)

अंत में, कोहेन एक जासूस की तरह व्यवहार करते हैं जिन्होंने एक खजाना मिल गया है लेकिन अभी भी उनके पास कुछ अधूरे सिरे हैं। वह उन प्रश्नों को सूचीबद्ध करते हैं जिनका उत्तर वह नहीं दे सके, जैसे:

"क्यों इनमें से कुछ नुस्खों में सरलीकरण (simplification) का एक अनंत लूप दिखाई देता है?"
"क्यों कुछ संख्याओं के लिए इतने सारे नुस्खे हैं लेकिन दूसरों के लिए लगभग कोई नहीं है?"
"क्या हम इस एक के लिए एक 'सिस्टर' (sister) नुस्खा खोज सकते हैं जिसे हमने अभी तक नहीं खोजा है?"

निचोड़ (The Bottom Line)

यह पेपर किसी नई खोज के बारे में नहीं है जो किसी वास्तविक दुनिया की समस्या को हल करती है (जैसे बीमारी का इलाज करना या पुल बनाना)। इसके बजाय, यह एक संदर्भ उपकरण (reference tool) है।

यह गणित के एक बहुत ही विशिष्ट, सीमित हिस्से के लिए "येलो पेजेस" या "गूगल मैप्स" है। कोहेन कहते हैं, "यहाँ मानचित्र है। यहाँ निर्देशांक (coordinates) हैं। यहाँ बताया गया है कि आप वहाँ कितनी तेजी से पहुँचते हैं। अब, आप गणितज्ञों, जाकर अन्वेषण करें।"

लेखक से महत्वपूर्ण नोट:
कोहेन अपनी सीमाओं के बारे में बहुत ईमानदार हैं। वह स्वीकार करते हैं कि हालांकि उन्होंने शक्तिशाली कंप्यूटर खोजों का उपयोग करके इन 1,600+ नए नुस्खों को खोजा है, लेकिन उनके पास हमेशा इस बात का औपचारिक गणितीय प्रमाण (proof) नहीं है कि वे क्यों काम करते हैं। वह कहते हैं, "मैंने उन्हें खोजा है, और मैं 99% आश्वस्त हूँ कि वे सही हैं, लेकिन मैंने अभी तक प्रत्येक के लिए प्रमाण नहीं लिखा है।" वह अन्य गणितज्ञों को अपने काम की जाँच करने और लापता प्रमाणों को भरने के लिए आमंत्रित करते हैं।

तकनीकी सारांश: बहुपदीय प्रकार के सतत भिन्नों (Continued Fractions) का एक डेटाबेस

समस्या विवरण
यह शोध पत्र उन सतत भिन्नों (CFs) के संबंध में सुलभ और व्यापक संसाधनों की कमी को संबोधित करता है जिनके गुणांक बहुपदीय (polynomial) होते हैं, विशेष रूप से वे जो दिलचस्प गणितीय स्थिरांकों और ट्रांसेंडेंटल फलनों (transcendental functions) से जुड़े होते हैं। लेखक का उल्लेख है कि इस कार्य से पूर्व साहित्य में लगभग 250 ऐसे CFs मौजूद थे, फिर भी क्षेत्र में एक एकीकृत डेटाबेस का अभाव है जिसमें सटीक अभिसरण दर (convergence rates), अनंत श्रेणी विस्तार (asymptotic expansions) और उत्पत्ति (जैसे अपेरी त्वरण तकनीकें) शामिल हों। इसके अतिरिक्त, मानक साहित्य अक्सर उनके आंशिक भाग (partial quotients) की सटीक अभिसरण दर को छोड़ देता है, जिसे लेखक इन वस्तुओं की पूर्ण समझ के लिए आवश्यक विवरण मानते हैं।

कार्यप्रणाली (Methodology)
लेखक ने सतत भिन्नों को व्यवस्थित रूप से उत्पन्न करने, विश्लेषण करने और स्वरूपित करने के लिए एक विशेष Pari/GP सॉफ़्टवेयर पैकेज (जो henri-ellCF2 GIT शाखा के माध्यम से सुलभ है) विकसित किया है। कार्यप्रणाली में शामिल हैं:

उत्पत्ति (Generation): बहुपदीय गुणांकों वाले लगभग 250 ज्ञात CFs से शुरू करते हुए, लेखक ने 1,600 से अधिक नए CFs प्राप्त करने के लिए अपेरी त्वरण (Apéry acceleration) और बाउर-म्यूर (Bauer–Muir) विधियों सहित एल्गोरिद्मिक तकनीकों को लागू किया।
अभिसरण विश्लेषण (Convergence Analysis): लगभग प्रत्येक प्रविष्टि के लिए, लेखक ने आंशिक भागों ( $p(n)/q(n)$ ) की सटीक अभिसरण दर की गणना की और उनके अनंत श्रेणी विस्तार के पहले कुछ पदों को व्युत्पन्न किया।
वर्गीकरण और स्वरूपण (Classification and Formatting): CFs को उनके गुणांकों के आधार पर वर्गीकृत किया गया है। एक CF को "बहुपदीय गुणांक" वाला तब कहा जाता है यदि एक अवधि $T$ (आमतौर पर 1 या 2) के लिए, गुणांक $a(n)$ और $b(n)$ पर्याप्त बड़े $n$ के लिए $n$ के परिमेय फलनों (rational functions) के रूप में हो जाते हैं। लेखक ने कंप्यूटर प्रतिनिधित्व के लिए Pari/GP में एक विशिष्ट वेक्टर-आधारित प्रारूप स्थापित किया है, जो मानक CFs, पैरामीटराइज्ड परिवारों और परिभाषाओं के बीच अंतर करता है।
डेटाबेस निर्माण: परिणामी डेटा, जिसमें 1,883 प्रविष्टियाँ शामिल हैं, को पेपर के TeX स्रोत के भीतर एक मशीन-पठनीय फ़ाइल में संकलित किया गया है।

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

डेटाबेस: प्राथमिक योगदान बहुपदीय गुणांकों वाले 1,883 सतत भिन्नों का एक डेटाबेस है। इनमें से 1,600 से अधिक नए जोड़ साहित्य में शामिल किए गए हैं।
अभिसरण डेटा: पिछले कार्यों के विपरीत, यह डेटाबेस लगभग हर प्रविष्टि के लिए त्रुटि पद $L - p(n)/q(n)$ के लिए सटीक अभिसरण गति और अनंत श्रेणी विस्तार प्रदान करता है। त्रुटि को $C / (F \cdot E \cdot n^D \cdot n! \cdot P) \cdot A$ के रूप में व्यक्त किया गया है, जहाँ $A$ , $1/n$ या $1/\sqrt{n}$ की घातों में एक अनंत श्रेणी (asymptotic series) है।
हाइपरजियोमेट्रिक संबंध: डेटाबेस कई CFs को स्पष्ट हाइपरजियोमेट्रिक श्रेणियों से जोड़ता है, जो जहाँ भी लागू हो, CF और उसके व्युत्क्रम (inverse) दोनों के लिए श्रेणी प्रतिनिधित्व प्रदान करता है।
अपेरी त्वरण ट्रैकिंग: लेखक अपेरी त्वरण प्रक्रियाओं के तहत CFs के व्यवहार का दस्तावेजीकरण करते हैं, यह नोट करते हुए कि क्या वे अन्य लेबल वाले CFs की ओर ले जाते हैं, स्व-द्वैत (self-dual) बनते हैं, या अत्यधिक जटिल अभिव्यक्तियों का परिणाम देते हैं।
सॉफ्टवेयर एकीकरण: पेपर एक विशिष्ट, पारदर्शी डेटा प्रारूप प्रदान करता है जिसे Pari/GP (और इंटरफेस के माध्यम से अन्य सॉफ़्टवेयर) द्वारा पढ़ा जा सकता है, जिससे तत्काल कम्प्यूटेशनल सत्यापन और आगे का अन्वेषण संभव होता है।

परिणाम
डेटाबेस 1,883 प्रविष्टियों में व्यवस्थित है, जिन्हें इंडेक्स और लेबल (जैसे, "1.1.0.5", "3.2.4") किया गया है। प्रविष्टियाँ गणितीय वस्तुओं के एक विस्तृत स्पेक्ट्रम को कवर करती हैं:

स्थिरांक (Constants): पूर्णांकों के मूल (roots), $\pi$ , $\log(2)$ , $\zeta(k)$ , $G$ (कैटलन स्थिरांक), और ज़ेटा (Zeta) एवं L-मानों के रैखिक संयोजन शामिल हैं।
फलन (Functions): घातांकीय (exponential), लघुगणकीय (logarithmic), घात (power), हाइपरबोलिक (hyperbolic), त्रिकोणमितीय (trigonometric), और उनके व्युत्क्रम।
विशेष फलन (Special Functions): गामा फलन (Gamma functions), डिगामा फलन ( $\psi$ ), बीटा फलन (Beta functions), बेसेल फलन ( $J_\nu, I_\nu, K_\nu$ ), और एलिप्टिक इंटीग्रल (Elliptic integrals)।
पैरामीट्रिक परिवार (Parametric Families): मापदंडों (जैसे $k, u$ ) पर निर्भर कई CF परिवारों को शामिल किया गया है, विशेष रूप से डिग्री 2 और 3 की अवधियों के लिए।

लेखक नोट करते हैं कि जबकि कई नए CFs को कठोरता से व्युत्पन्न किया गया है, अन्य को "रामानुजन की शैली में" (अनुमानित विधियों/heuristic methods) प्राप्त किया गया है और उन्हें उच्च विश्वास के साथ प्रस्तुत किया गया है लेकिन बिना औपचारिक प्रमाण के। डेटाबेस विशिष्ट विसंगतियों को भी उजागर करता है, जैसे कि वे CFs जो "अनंत रूप से संकुचित होने योग्य" (infinitely contractible) हैं (संकुचन पर समान बाइडिग्री बनाए रखते हैं) और $\beta_2(z)$ या द्वितीय प्रकार के बेसेल फलनों ( $Y_\nu$ ) जैसे विशिष्ट फलनों के संबंध में साहित्य में अंतराल।

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

उपयोगिता: पेपर दावा करता है कि यह दस्तावेज़ संलग्न TeX स्रोत फ़ाइल के बिना "निरर्थक" है, जिसमें वास्तविक डेटाबेस शामिल है।
विनम्रता: लेखक अपने प्रमाणों के संबंध में विनम्र हैं, यह स्वीकार करते हुए कि कई प्रविष्टियों के लिए, उत्पत्ति अनुमानित (heuristic) है और प्रमाण प्रदान नहीं किए गए हैं। अभिसरण की गति और स्थिरांक अक्सर अनुमानित विधियों और रैखिक निर्भरता एल्गोरिदम (जैसे, Pari/GP का lindep) का उपयोग करके निर्धारित किए गए थे, और हालांकि उन्हें सही माना जाता है, लेकिन वे पाठ के भीतर कठोरता से सिद्ध नहीं किए गए हैं।
भावी कार्य: लेखक कल्पना करते हैं कि डेटाबेस को सामुदायिक अपडेट के लिए एक वेबसाइट पर होस्ट किया जाएगा, लेकिन व्यक्तिगत रूप से ऐसा करने के लिए तकनीकी संसाधनों की कमी को स्वीकार करते हैं। यह पेपर सुधारों और परिवर्धन के लिए आमंत्रित करता है, यह नोट करते हुए कि वर्तमान फ़ाइल एक संभावित बड़े पुस्तक के लिए एक शुरुआती बिंदु है जिसमें CFs के "सुंदरित" (beautified) मानव-पठनीय संस्करण होंगे।