🔢 mathematics

The irrationality measure of {\pi} is at most 7.101862832357

ज़ेइलबर्ग-ज़ुडिल (Zeilberger–Zudilin) इंटीग्रल में दो स्वतंत्र अंश घातांकों (numerator exponents) को सम्मिलित करके और उन्हें $A_1=A_2=\frac{1857}{2785}$ के लिए विशिष्ट बनाकर, लेखक $\pi$ के अपरिमेयता माप (irrationality measure) के लिए लगभग 7.10186 का एक नया ऊपरी आघत (upper bound) स्थापित करते हैं, जो पिछले रिकॉर्ड से 0.00134 से अधिक सुधार करता है।

मूल लेखक: Yufei Bai

प्रकाशित 2026-09-11

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

CC BY 4.0

मूल लेखक: Yufei Bai

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

गणित के विशाल परिदृश्य में, ऐसे अंक हैं जिन्हें सरल भिन्नों (fractions) के रूप में नहीं लिखा जा सकता। इन्हें अपरिमेय संख्याएँ (irrational numbers) कहा जाता है, और इनमें दो का वर्गमूल और एक वृत्त की परिधि तथा उसके व्यास के अनुपात, जिसे पाई (pi) के रूप में जाना जाता है, जैसे परिचित स्थिरांक शामिल हैं। हालाँकि हम इन संख्याओं की गणना ट्रिलियन दशमलव स्थानों तक कर सकते हैं, फिर भी एक गहरा प्रश्न बना हुआ है: हम भिन्नों का उपयोग करके इनका कितना सटीक अनुमान लगा सकते हैं? गणितज्ञ इस कठिनाई को 'इरेशनलिटी मेजर' (irrationality measure) नामक एक अवधारणा से मापते हैं। इस माप को एक गेज की तरह समझें जो यह बताता है कि कोई संख्या कितनी जिद्दी है; कम स्कोर का अर्थ है कि संख्या को एक सरल भिन्न से छलना कठिन है, जबकि उच्च स्कोर यह सुझाव देता है कि इसे अनुमानित करना आसान है। सदियों से, गणितज्ञों ने पाई के सटीक स्कोर को निर्धारित करने का प्रयास किया है। हम जानते हैं कि यह कम से कम दो है, लेकिन सटीक ऊपरी सीमा एक बदलता हुआ लक्ष्य रही है, जिसमें पिछले सर्वोत्तम प्रयासों ने इसे सात से थोड़ा ऊपर रखा था।

युफेई बाई (Yufei Bai) के एक हालिया अध्ययन ने इस सीमा को और आगे बढ़ाया है, यह सिद्ध करते हुए कि पाई का इरेशनलिटी मेजर 7.101862832357 से सख्ती से कम है। यह सुनने में एक मामूली समायोजन लग सकता है, लेकिन उच्च-परिशुद्धता संख्या सिद्धांत (high-precision number theory) की दुनिया में, यह एक महत्वपूर्ण छलांग है। यह शोध गणितज्ञ डोरोन ज़ेलबर्गर (Doron Zeilberger) और वादिम ज़ुडिलिन (Wadim Zudilin) द्वारा विकसित एक परिष्कृत पद्धति पर आधारित है, जो जटिल समाकलों (complex integrals)—जो मूल रूप से कॉम्प्लेक्स प्लेन में वक्र रेखाओं के नीचे के क्षेत्र हैं—का उपयोग करके विशेष गणितीय व्यंजक उत्पन्न करता है। ये व्यंजक एक परीक्षण के रूप में कार्य करते हैं: यदि वे एक निश्चित तरीके से व्यवहार करते हैं, तो वे सिद्ध करते हैं कि पाई को भिन्नों द्वारा बहुत आसानी से अनुमानित नहीं किया जा सकता है। इस पद्धति का पिछला सर्वोत्तम परिणाम लगभग 7.1032 की सीमा निर्धारित कर चुका था। बाई का कार्य इस परीक्षण के अवयवों को परिष्कृत करता है, जो समाकल के सूत्र में उपयोग किए गए विशिष्ट घातों (powers) को थोड़ा बदलकर एक बेहतर परिणाम प्राप्त करता है।

इस उपलब्धि का मुख्य केंद्र वह तरीका है जिससे शोधकर्ता ने समाकल के मापदंडों (parameters) को समायोजित किया। समाकल को दो डायल वाले एक मशीन की तरह समझें जो इसकी संवेदनशीलता को नियंत्रित करते हैं। पिछले कार्य ने इन डायल को एक विशिष्ट, संतुलित स्थिति पर सेट किया था। बाई ने खोजा कि दोनों डायल को एक नई, बहुत विशिष्ट सेटिंग पर—जहाँ मान लगभग 1857 बटा 2785 है—घुमाकर, मशीन पाई की वास्तविक प्रकृति का पता लगाने में अधिक कुशल हो जाती है। यह समायोजन केवल एक यादृच्छिक अनुमान नहीं है; शोध पत्र प्रदर्शित करता है कि यह विशिष्ट सेटिंग त्रुटि फलन (error function) के लिए एक स्थानीय न्यूनतम (local minimum) है, जिसका अर्थ है कि किसी भी दिशा में थोड़ा सा भी बदलाव परिणाम को बदतर बना देगा। यह एक संकीर्ण गणितीय घाटी के भीतर एक सटीक, गणना की गई अनुकूलन (optimization) है।

इसे सिद्ध करने के लिए, शोध पत्र पूर्णांक-आधारित व्यंजकों की एक श्रृंखला का निर्माण करता है जिसमें पाई शामिल है। शोधकर्ता फिर इन व्यंजकों के भीतर दो प्रतिस्पर्धी बलों का विश्लेषण करता है। एक बल यह है कि जैसे-जैसे अनुक्रम (sequence) आगे बढ़ता है, संख्याएँ बड़ी होती जाती हैं, जबकि दूसरा बल पूरे व्यंजक को शून्य की ओर सिकुड़ने के लिए मजबूर करता है। लक्ष्य एक ऐसा संतुलन खोजना है जहाँ व्यंजक नगण्य हो जाए बिना संख्याओं के असंभव रूप से बड़े होने के। हरियाली (denominators) की वृद्धि और समाकल के क्षय (decay) को सावधानीपूर्वक ट्रैक करके, अध्ययन यह स्थापित करता है कि एक सख्त असमानता (inequality) मौजूद है। गणित दर्शाता है कि चुने गए मापदंडों के लिए, व्यंजक इतनी तेज़ी से सिकुड़ता है कि यह सिद्ध हो सके कि पाई का इरलेशनलिटी मेजर नए, निचले थ्रेशोल्ड से अधिक नहीं हो सकता।

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

तकनीकी सारांश: $\pi$ का अपरिमेयता माप (Irrationality Measure) अधिकतम 7.101862832357 है

1. समस्या विवरण
यह शोध पत्र $\pi$ के अपरिमेयता माप $\mu(\pi)$ के निर्धारण को संबोधित करता है, जिसे $\mu$ के वास्तविक संख्याओं के इन्फिमम (infimum) के रूप में परिभाषित किया गया है, जहाँ $\mu$ ऐसा है कि सभी पूर्णांकों $p$ और पर्याप्त बड़े धनात्मक पूर्णांकों $q$ के लिए असमिका $|\pi - p/q| > q^{-\mu-\varepsilon}$ सत्य होती है। यद्यपि सटीक मान अज्ञात बना हुआ है, लक्ष्य सबसे सटीक संभव ऊपरी सीमा (upper bound) स्थापित करना है। इस कार्य से पूर्व की वर्तमान अत्याधुनिक स्थिति ज़ेल्बर्गर और ज़ुडिलिन [5] द्वारा स्थापित की गई थी, जिन्होंने एक निश्चित मापदंडों वाले विशिष्ट कंटूर इंटीग्रल निर्माण का उपयोग करके सिद्ध किया था कि $\mu(\pi) \le 7.103205334137\dots$

2. कार्यप्रणाली
लेखक ज़ेल्बर्गर-ज़ुडिलिन इंटीग्रल के एक परिष्कृत रूप को प्रस्तुत करता है, जिसमें इंटीग्रैंड (integrand) में दो स्वतंत्र अंश घातांक (numerator exponents), $A_1$ और $A_2$ को शामिल किया गया है:
$I_{A_1, A_2}(N) = -i \int_{4-2i}^{4+2i} \frac{(x-5)^{A_1 N} Q_0(x)^{A_2 N}}{x^{N+1}(x-10)^{N+1}} dx$
जहाँ $Q_0(x) = (x-4+2i)(x-4-2i)(x-6+2i)(x-6-2i)$ है।

कार्यप्रणाली चार मुख्य चरणों के माध्यम से आगे बढ़ती है:

अंकगणितीय निर्माण (Arithmetic Construction): एक चर परिवर्तन ( $t = x-5$ ) के माध्यम से इंटीग्रल को एक ऊर्ध्वाधर खंड (vertical segment) पर एकीकृत एक परिमेय फलन $R_n(t)$ में परिवर्तित किया जाता है। शोध पत्र $R_n(t)$ के आंशिक-खंड अपघटन (partial-fraction decomposition) को व्युत्पन्न करता है, और गुणांकों $c_{j,n}$ की पहचान करता है। गुणांकों के $p$ -adic मानों (विशेष रूप से अभाज्य 2 और 5 पर) का विश्लेषण करके, लेखक पूर्णांक रैखिक रूप $M_n J_n = U_n + V_n \pi$ का निर्माण करते हैं। एक महत्वपूर्ण घटक "रिमूवेबल-प्राइम" (removable-prime) बचत है, जहाँ यह दिखाया गया है कि विशिष्ट अभाज्य $\Phi_n$ का एक उत्पाद गुणांकों के हर (denominators) को विभाजित करता है, जिससे क्लीयरिंग डिनोमिनेटर $M_n$ की वृद्धि दर कम हो जाती है।
विश्लेषणात्मक अनुमान (Analytic Estimation): शोध पत्र गुणांकों $V_n$ $V_{n}$ की प्रसार दर (growth rate) और इंटीग्रल $J_n$ $J_{n}$ के क्षय (decay) का अनुमान लगाता है।
- गुणांकों की जनरेटिंग फंक्शन पर लागू एक धनात्मक-गुणांक सैडल-पॉइंट विधि (Lemma 4.1) का उपयोग करके गुणांक वृद्धि दर $r$ निर्धारित की जाती है।
- एक पथ $y_c$ से होकर गुजरने वाले कंटूर को विकृत (deform) करके इंटीग्रल क्षय दर $s$ निर्धारित की जाती है, जो चरण फलन (phase function) $F(y)$ को अधिकतम करता है।
मापदंडों का अनुकूलन (Optimization of Parameters): लेखक एक स्पष्ट सहायक सीमा फलन $B(\alpha, \beta)$ (जहाँ $\alpha, \beta$ सामान्यीकृत घातांक हैं) को परिभाषित करता है, जो परिणामी अपरिमेयता माप अनुमान को दर्शाता है। शोध पत्र प्रदर्शित करता है कि मूल ज़ेल्बर्गर-ज़ुडिलिन बिंदु इस द्वि-मापदंड फलन के लिए स्थानीय न्यूनततम (local minimizer) नहीं है। "डायगोनल फैमिली" ( $A_1 = A_2$ ) के भीतर एक खोज एक विशिष्ट परिमेय बिंदु $(A_1, A_2) = (1857/2785, 1857/2785)$ की पहचान करती है जो एक निचली सीमा प्रदान करता है।
स्थानीय इष्टतमता प्रमाण (Local Optimality Proof): शोध पत्र सिद्ध करता है कि यह विशिष्ट परिमेय बिंदु स्वीकार्य अंकगणितीय चैंबर (arithmetic chamber) के भीतर $B(\alpha, \beta)$ का एक सख्त द्वि-आयामी स्थानीय न्यूनततम है। यह एक सटीक लघुगणकीय भिन्नता सूत्र (logarithmic variation formula) को व्युत्पन्न करके और मापदंड स्थान में बारह सेक्टरों में दिशात्मक डेरिवेटिव का विश्लेषण करके प्राप्त किया गया है।

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

नया ऊपरी आलेख (New Upper Bound): प्राथमिक परिणाम (Theorem 1.1) स्थापित करता है कि:
$\mu(\pi) < 7.101862832357$
यह ज़ेल्बर्गर-ज़ुडिलिन सीमा में $0.001342501780 $से अधिक सुधार करता है, जो लगभग$ 0.0189%$ की कमी है।
मापदंड चयन: उपयोग किए गए विशिष्ट मापदंड $(a, b, c) = (1857, 3714, 5570)$ हैं, जो सामान्यीकृत घातांक $(\alpha^*, \beta^*) = (1857/5570, 1857/2785)$ के अनुरूप हैं।
स्थानीय न्यूनतमता: Theorem 1.2 और Theorem 6.3 यह सिद्ध करते हैं कि चुना गया मापदंड बिंदु सहायक सीमा फलन $B(\alpha, \beta)$ का एक सख्त स्थानीय न्यूनततम है। प्रमाण में प्राइम-सेविंग टर्म $\phi(\alpha, \beta)$ के दिशात्मक डेरिवेटिव का कठोर विश्लेषण शामिल है, जो यह दर्शाता है कि मापदंडों में कोई भी छोटा परिवर्तन सीमा को बढ़ा देता है।
कठोर संख्यात्मक घेरा (Rigorous Numerical Enclosure): शोध पत्र सभी मध्यवर्ती स्थिरांकों के लिए स्पष्ट, कठोर परिमेय घेरा प्रदान करता है, जिसमें प्राइम-सेविंग दर $\omega$ , गुणांक वृद्धि दर $r$ , और इंटीग्रल क्षय दर $s$ शामिल हैं। ये गणनाएँ फ्लोटिंग-पॉइंट धारणाओं से बचती हैं, लॉग और बर्नौली संख्याओं के लिए सटीक परिमेय अंकगणित और अंतराल सीमाओं (interval bounds) का उपयोग करती हैं।

4. महत्व और दायरा
शोध पत्र दो विशिष्ट क्षेत्रों में महत्व का दावा करता है:

मात्रात्मक सुधार: यह $\mu(\pi)$ के लिए एक नया ऊपरी आलेख प्रदान करता है जो ज़ेल्बर्गर-ज़ुडिलिन सीमा में सुधार करता है, यह प्रदर्शित करता है कि दूसरे स्वतंत्र घातांक को पेश करके निश्चित-मापदंड निर्माण को परिष्कृत किया जा सकता है।
संरचनात्मक अंतर्दृष्टि: यह स्थापित करता है कि पूर्व में इष्टतम माना जाने वाला डायगोनल बिंदु दो-मापदंड वाले विरूपण (deformation) के लिए स्थानीय इष्टतम नहीं है। यह कार्य "अंकगणितीय चैंबर" की विस्तृत ज्यामितीय और विश्लेषणात्मक समझ प्रदान करता है जहाँ ये सीमाएँ परिभाषित की जाती हैं, और सिद्ध करता है कि नया बिंदु द्वि-आयामी अर्थ में एक स्थानीय न्यूनततम है।

सीमाएँ और दावे
लेखक परिणामों के मामूली दायरे को स्पष्ट रूप से बताता है:

यह परिणाम एक ऊपरी आलेख (upper bound) है, $\mu(\pi)$ का सटीक मान नहीं।
स्थानीय न्यूनतमता (Theorem 1.2) स्वीकार्य चैंबर के भीतर विशिष्ट सहायक फलन $B(\alpha, \beta)$ के बारे में एक स्थानीय कथन है। यह सभी संभावित निर्माणों, सभी संभावित हर बचत (denominator savings), या सभी धनात्मक मापदंडों पर वैश्विक इष्टतमता का दावा नहीं करता है।
सुधार दो-घातांक विरूपण द्वारा परिभाषित इंटीग्रल परिवार के लिए विशिष्ट है; इसका अर्थ यह नहीं है कि $\pi$ का वास्तविक अपरिमेयता माप इस सीमा के करीब है, न ही यह पूरी तरह से अलग निर्माणों से बेहतर सीमाओं को खारिज करता है।

प्रकटीकरण
शोध पत्र नोट करता है कि जेनेरेटिव एआई (OpenAI का GPT-5.6 Sol और GPT-6 Astra) ने मापदंड अन्वेषण, प्रमाण विकास, गणना और पांडुलिपि लेखन में सहायता की है। हालाँकि, लेखक सभी गणितीय दावों और अंतिम पाठ के लिए पूर्ण जिम्मेदारी का दावा करता है।

इसी तरह के और पेपर