🔢 mathematics

Tail Criteria, No-Go Audits, and Apéry-Type Certificate Obstructions for the Irrationality of e+\pi

यह शोध पत्र $e+\pi$ की अपरिमेयता की खुली समस्या की जांच करने के लिए इसके काल्पनिक परिमेयत्व हेतु सटीक अंकगणितीय तुल्यताएं स्थापित करता है और कम-जटिलता वाले अपेरी-प्रकार के प्रमाण तंत्रों का एक व्यापक "नो-गो" ऑडिट संचालित करता है, जो अंततः यह प्रदर्शित करता है कि परीक्षण किए गए परिवारों के भीतर, विश्लेषणात्मक लघुता (analytic smallness) लगातार हर (denominator) की वृद्धि और निरंतर-भिन्न छायाओं (continued-fraction shadows) द्वारा बाधित होती है।

मूल लेखक: Runlong Yu

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

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

CC BY 4.0

मूल लेखक: Runlong Yu

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

यहाँ इस शोध पत्र का सरल, रोज़मर्रा की भाषा में विवरण दिया गया है, जिसमें अवधारणाओं को सुलभ बनाने के लिए उपमाओं (analogies) का उपयोग किया गया है।

बड़ा सवाल: क्या आप दो जादुई संख्याओं को मिला सकते हैं?

कल्पना कीजिए कि आपके पास दो प्रसिद्ध, रहस्यमय संख्याएँ हैं: $e$ (प्राकृतिक लघुगणक का आधार) और $\pi$ (एक वृत्त की परिधि और उसके व्यास का अनुपात)। हम यह तथ्य जानते हैं कि ये दोनों संख्याएँ "ट्रांसेंडेंटल" (transcendental) हैं, जिसका अर्थ है कि वे इतनी जटिल हैं कि उन्हें एक साधारण भिन्न (जैसे $22/7$ या $3/4$ ) के रूप में नहीं लिखा जा सकता। वे बिना दोहराए अनंत तक चलती रहती हैं।

बड़ा सवाल जिसे यह शोध पत्र सुलझाने की कोशिश करता है वह यह है: यदि आप उन्हें आपस में जोड़ते हैं ( $e + \pi$ ), तो क्या आपको एक साधारण भिन्न प्राप्त होगा?

गणितज्ञों ने लंबे समय से यह सिद्ध करने की कोशिश की है कि $e + \pi$ एक भिन्न नहीं है (अपरिमेय है), लेकिन अभी तक कोई सफल नहीं हुआ है। यह शोध पत्र यह दावा नहीं करता कि इसने रहस्य को सुलझा लिया है। इसके बजाय, यह एक जासूस की तरह जाल बिछाने जैसा है। यह पूछता है: "यदि कोई विशिष्ट, सामान्य विधि का उपयोग करके यह सिद्ध करने का प्रयास करता है कि यह अपरिमेय है, तो उस प्रमाण के सफल होने के लिए वास्तव में क्या होना चाहिए? और हमारे सभी वर्तमान प्रयास क्यों विफल हो रहे हैं?"

"जादुвिक टिकट" (प्रमाणपत्र/Certificate)

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

यह शोध पत्र एक विशिष्ट प्रकार के टिकट पर ध्यान केंद्रित करता है जिसे एपरी-टाइप (Apéry-type) प्रमाणपत्र कहा जाता है।

लक्ष्य: आपको संख्याओं का एक ऐसा क्रम बनाना होगा जो शून्य के करीब पहुँचता जाए, लेकिन वास्तव में कभी शून्य न पहुँचे।
शर्त: ये संख्याएँ केवल पूर्ण संख्याओं (पूर्णांकों) का उपयोग करके बनाई जानी चाहिए।
उपमा: कल्पना कीजिए कि आप एक तराजू को संतुलित करने की कोशिश कर रहे हैं। आप एक तरफ $e + \pi$ रखते हैं और दूसरी तरफ एक भिन्न। यदि आप केवल पूर्ण-संख्या वाले भारों का उपयोग करके उनके बीच के अंतर को छोटा और छोटा बना सकते हैं, और वह अंतर कभी समाप्त नहीं होता, तो आपने सिद्ध कर दिया है कि वह संख्या अपरिमेय है।

"पूंछ" के संकेत (तर्कसंगतता कैसी दिखेगी)

शोध पत्र का पहला भाग इस बात की जांच करता है कि क्या होता यदि $e + \pi$ वास्तव में एक साधारण भिन्न होता। लेखकों ने पाया कि यदि यह एक भिन्न होता, तो इसकी "पूंछ का सिरा" (tail end) बहुत ही अजीब और कठोर तरीके से व्यवहार करता।

उपमा: कल्पना कीजिए कि आप एक उछलती हुई गेंद का वीडियो देख रहे हैं। यदि गेंद स्वाभाविक रूप से उछल रही है, तो वह बेतरतीब ढंग से उछलेगी। लेकिन यदि वह वास्तव में एक रोबोट है जिसे एक सरल नियम का पालन करने के लिए प्रोग्राम किया गया है, तो उसके उछाल अंततः एक सटीक, दोहराव वाले पैटर्न में आ जाएंगे।
निष्कर्ष: शोध पत्र यह सिद्ध करता है कि यदि $e + \pi$ एक भिन्न होता, तो इसके "उछाल" (एक विशेष फैक्टोरियल विस्तार में अंक) हमेशा के लिए एक विशिष्ट, पूर्वानुमेय पैटर्न में ढल जाते। लेखक हमें दिखाते हैं कि वह पैटर्न वास्तव में कैसा दिखता है।
समस्या: सिर्फ इसलिए कि हमने अभी तक वह पैटर्न नहीं देखा है, इसका मतलब यह नहीं है कि वह मौजूद नहीं है। यह कहने जैसा है, "मैंने अभी तक रोबोट का पैटर्न नहीं देखा है, इसलिए वह एक असली गेंद ही होगी।" यह कोई प्रमाण नहीं है। शोध पत्र बताता है कि क्यों केवल इस पैटर्न को खोजना इस रहस्य को सुलझाने के लिए पर्याप्त नहीं है।

"ऑडिट" (मशीनों का परीक्षण)

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

उन्होंने कई प्रकार की मशीनों का परीक्षण किया:

मिश्रित सन्निकटन (Mixed Approximations): $e$ और $\pi$ का अलग-अलग अनुमान लगाने और फिर उन्हें मिलाने की कोशिश करना।
पॉलीनोमियल परिवार (Polynomial Families): संख्याओं को दबाने के लिए जटिल आकृतियों (बहुपदों) का उपयोग करना।
लैटिस सर्च (Lattice Searches): सर्वोत्तम संख्याओं को खोजने के लिए एक ग्रिड-नुमा खोज का उपयोग करना।

परिणाम: "नो-गो" ज़ोन (No-Go Zone)
उनके द्वारा परीक्षण की गई हर एक मशीन विफल रही, लेकिन किसी उबाऊ कारण से नहीं। वे एक विशिष्ट, संरचनात्मक कारण से विफल हुईं।

उपमा: कल्पना कीजिए कि आप एक नदी के ऊपर पुल बनाने की कोशिश कर रहे हैं। आपके पास एक ब्लूप्रिंट है जो कहता है, "यदि आप इस तरह से पुल बनाएंगे, तो यह दूसरे किनारे तक पहुँच जाएगा।"
- आप इसे बनाने की कोशिश करते हैं।
- दूर से देखने पर पुल बहुत अच्छा दिखता है (गणित छोटा और सटीक लगता है)।
- लेकिन जब आप इस पर चलने की कोशिश करते हैं (पूर्ण-संख्या गणित की जाँच करते हैं), तो पुल ढह जाता है क्योंकि सहारा बहुत भारी है या सामग्री मेल नहीं खाती।

शोध पत्र ने इन सभी मशीनों के लिए पाया कि:

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

"घोस्ट" समस्या (CF-शैडोs)

सबसे दिलचस्प खोज यह थी कि मशीनों ने वास्तव में क्या पाया।

उपमा: कल्पना कीजिए कि आप एक नए, अद्वितीय प्रकार के पक्षी की तलाश कर रहे हैं। आप एक कैमरा ट्रैप लगाते हैं। नए पक्षी को खोजने के बजाय, कैमरा एक बहुत ही सामान्य पक्षी की तस्वीरें लेता रहता है जो लगभग नए पक्षी जैसा दिखता है, लेकिन वास्तव में वह एक ज्ञात प्रजाति ही है।
निष्कर्ष: मशीनों द्वारा बनाए गए सर्वश्रेष्ठ "टिकट" वास्तव में "कंटीन्यूड फ्रैक्शंस" (continued fractions) नामक ज्ञात पैटर्न की परछाइयाँ थे। ये संख्याओं का अनुमान लगाने के मानक, पुराने तरीके हैं।
निष्कर्ष: मशीनें $e + \pi$ के अपरिमेय होने को सिद्ध करने का नया तरीका नहीं खोज रही थीं; वे केवल संख्या का अनुमान लगाने के पुराने, मानक तरीकों को फिर से खोज रही थीं। वे एक "गैर-वृत्ताकार" (नया और स्वतंत्र) प्रमाण नहीं खोज पा रही थीं।

अंतिम निर्णय

शोध पत्र एक "नो-गो" मैप (No-Go Map) के साथ समाप्त होता है। यह यह नहीं कहता कि, "यह सिद्ध करना असंभव है कि $e + \pi$ अपरिमेय है।" बल्कि यह कहता है:

"यदि आप इन सरल, कम-जटिलता वाले तरीकों (जिनका हमने परीक्षण किया है) का उपयोग करके $e + \pi$ के अपरिमेय होने को सिद्ध करने का प्रयास करते हैं, तो आप एक दीवार से टकरा जाएंगे। गणित बहुत जटिल हो जाएगा, या आप बस पुराने तरीकों को दोहरा रहे होंगे। इसे हल करने के लिए, आपको एक पूरी तरह से नए प्रकार की मशीन की आवश्यकता होगी जिसे अभी तक आज़माया नहीं गया है।"

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

प्रदान किए गए पाठ के आधार पर, रनलोंग यू (Runlong Yu) के शोध पत्र "Tail Criteria, No-Go Audits, and Apéry-Type Certificate Obstructions for the Irrationality of e + π" का विस्तृत तकनीकी सारांश यहाँ दिया गया है।

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

यह शोध पत्र $e + \pi$ की अपरिमेयता (irrationality) को सिद्ध करने की दीर्घकालिक खुली समस्या को संबोधित करता है। यद्यपि $e$ और $\pi$ व्यक्तिगत रूप से ट्रांसेंडेंटल (Hermite और Lindemann के सिद्धांतों के माध्यम से) ज्ञात हैं, फिर भी उनका योग सैद्धांतिक रूप से परिमेय (rational) हो सकता है। यह शोध पत्र सीधे $e + \pi \notin \mathbb{Q}$ को सिद्ध करने का प्रयास नहीं करता है। इसके बजाय, यह किसी भी प्रारंभिक "एपरी-प्रकार" (Apéry-type) प्रमाण द्वारा संतुष्ट की जाने वाली विशिष्ट अंकगणितीय आवश्यकताओं को अलग करने के लिए एक संरचनात्मक दृष्टिकोण अपनाता है। इसका लक्ष्य एक "बाउंडेड नो-गो थ्योरम" (bounded no-go theorem) को परिभाषित करना है जो कम-जटिलता वाले प्रमाण तंत्रों के लिए एक निषेध क्षेत्र (forbidden zone) को रेखांकित करता है, जिससे यह स्पष्ट होता है कि मानक सन्निकटन तकनीकें इस विशिष्ट स्थिरांक के लिए अपरिमेयता के वैध प्रमाण (certificate) को उत्पन्न करने में क्यों विफल रहती हैं।

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

यह शोध पत्र सटीक अंकगणितीय तुल्यता, समाकल पहचान (integral identities), और कम्प्यूटेशनल ऑडिटिंग को संयोजित करने वाली एक त्रि-आयामी कार्यप्रणाली का उपयोग करता है:

टेल क्राइटेरिया विश्लेषण (Tail Criteria Analysis): लेखक $e + \pi$ की परिकल्पना और फैक्टोरियल विस्तारों (factorial expansions) में विशिष्ट अंतिम व्यवहारों के बीच सटीक तुल्यता व्युत्पन्न करते हैं। इसमें $\pi$ के फैक्टोरियल-कैंटर विस्तार के "पूंछ" (tail) और $N!\pi$ पर लागू होने वाले सीलिंग फंक्शन (ceiling functions) के पुनरावृत्ति संबंधों का विश्लेषण शामिल है।
मिक्स्ड इंटीग्रल सर्टिफिकेट फ्रेमवर्क (Mixed Integral Certificate Framework): शोध पत्र एक मिश्रित इंटीग्रेशन-बाय-पार्ट्स पहचान का उपयोग करके पूर्णांक रैखिक रूपों $L_n = A_n(e + \pi) + B_n$ को उत्पन्न करने के लिए एक ढांचा तैयार करता है। यह पहचान $e$ (एक $\int P(x)e^x dx$ के माध्यम से) और $\pi$ (एक $\int \frac{1}{1+x^2} dx$ के माध्यम से) के समाकल प्रतिनिधित्व को जोड़ती है ताकि ऐसे रूप बनाए जा सकें जहाँ $A_n, B_n \in \mathbb{Z}$ हों।
नो-गो ऑडिट (No-Go Audit): शोध पत्र का मुख्य भाग विभिन्न निम्न-जटिलता निर्माण परिवारों (जैसे, पैडे सन्निकटन (Padé approximations), क्रॉस-सन्निकटन (crossed approximations), जे-फ्रैक्शन (J-fractions), होलोनोमिक एंसेस्टेस (holonomic ansatzes), और कर्नल-लैटिस सर्च (kernel-lattice searches)) का एक "ऑडिट" है। यह ऑडिट सख्त फिल्टर लागू करता है:
- डिनोमिनेटर क्लियरिंग (Denominator Clearing): यह सुनिश्चित करना कि डिनोमिनेटर क्लियर करने के बाद पूर्णांक रैखिक रूप वास्तव में छोटा हो।
- प्रिमिटिव रिडक्शन (Primitive Reduction): सामान्य कारकों को हटाकर प्रिमिटिव रूप की जांच करना।
- सीएफ-शैडो ऑडिटिंग (CF-Shadow Auditing): यह जांचना कि क्या परिणामी परिमेय सन्निकटन केवल $e + \pi$ के निरंतर भिन्न (continued fraction) का एक अभिसारी (convergent) या मध्यवर्ती अभिसारी (intermediate convergent) है (एक "सीएफ-शैडो"), जो यह संकेत देता है कि तंत्र एक नया अपरिमेयता प्रमाण उत्पन्न नहीं कर रहा है बल्कि केवल शास्त्रीय सन्निकटन को पुनः खोज रहा है।

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

1. परिमेयता के लिए सटीक टेल क्राइटेरिया (Exact Tail Criteria for Rationality)
शोध पत्र सिद्ध करता है कि यदि $e + \pi$ परिमेय होता, तो यह $\pi$ के फैक्टोरियल अंकगणित में विशिष्ट, कठोर व्यवहारों को मजबूर करता:

सीलिंग रिकरेंस (Ceiling Recurrence): यदि $e + \pi \in \mathbb{Q}$ , तो पर्याप्त बड़े $N$ के लिए, अनुक्रम $A_N = \lceil N!\pi \rceil$ को आवर्तन $A_{N+1} = (N+1)A_N - 1$ को संतुष्ट करना चाहिए।
फैक्टोरियल-कैंटर डिजिट्स (Factorial-Cantor Digits): फैक्टोरियल-कैंटर अंक $d_N(\pi)$ को अंततः $N-2$ के बराबर होना चाहिए।
विभाज्यता मानदंड (Divisibility Criterion): एक विशिष्ट अनुक्रम $Q_N = \lfloor N!e \rfloor + \lceil N!\pi \rceil$ को अंततः $N$ से विभाज्य होना चाहिए।
लेखक इस बात पर जोर देते हैं कि हालांकि ये सटीक तुल्यताएं हैं, लेकिन ये परिमित अवरोध (finite obstructions) नहीं हैं; अपरिमेयता को सिद्ध करने के लिए यह दिखाना आवश्यक होगा कि ये पैटर्न अनंत बार विफल होते हैं, जो कि अभी भी कठिन है।

2. मिक्स्ड कर्नल पहचान (The Mixed Kernel Identity)
किसी भी पूर्णांक बहुपद $P(x)$ के लिए पेश किया गया केंद्रीय गणितीय उपकरण एक मिश्रित समाकल पहचान है:
$\int_0^1 \left( P(x)e^x + \frac{4A(P)}{1+x^2} \right) dx = A(P)(e + \pi) - S_P(0)$
जहाँ $A(P) = \sum (-1)^j P^{(j)}(1)$ और $S_P(0) = \sum (-1)^j P^{(j)}(0)$ है। यह $e + \pi$ में पूर्णांक रैखिक रूप उत्पन्न करने का एक व्यवस्थित तरीका प्रदान करता है। पहचाना गया मुख्य संघर्ष यह है कि एनालिटिक रूप से समाकल को छोटा बनाना, बिना अंकगणितीय गुणांकों (डिनोमिनेटर) के बहुत तेजी से बढ़ने के, जो अपरिमेयता प्रमाण के लिए आवश्यक "लघुता" (smallness) को बनाए रखता है।

3. नो-गो ऑडिट फ्रेमवर्क (The No-Go Audit Framework)
शोध पत्र एक कठोर "नो-गो" फिल्टर को परिभाषित करता है। एक तंत्र को वैध एपरी-प्रकार प्रमाण जनरेटर के रूप में तब खारिज कर दिया जाता है यदि:

उसके पूर्णांक रैखिक रूप डिनोमिनेटर क्लियरिंग और प्रिमिटिव रिडक्शन के बाद शून्य की ओर नहीं बढ़ते हैं।
उसके सबसे मजबूत आउटपुट "सीएफ-शैडो" (शास्त्रीय निरंतर भिन्न सन्निकटन) में बदल जाते हैं, बिना एक डिग्री-निरंतर सुधार करने वाले गैर-सीएफ (non-CF) परिवार के निर्माण के।

परिणाम (Results)

कम्प्यूटेशनल ऑडिट ने कई निम्न-जटिलता परिवारों का परीक्षण किया:

मिक्स्ड पैडे सन्निकटन (Mixed Padé Approximations): इन्होंने एनालिटिक निकटता प्रदान की लेकिन डिनोमिनेटर क्लियर करने के बाद छोटे पूर्णांक रैखिक रूप उत्पन्न करने में विफल रहे।
क्रॉस-सन्निकटन (Crossed Approximations): $e$ और $\pi$ के अलग-अलग सन्निकटन को सिंक्रोनाइज़ करने में उसी पैमाने पर आवश्यक त्रुटि रद्दीकरण (error cancellation) प्राप्त करने में विफलता मिली।
होलोनोमिक और रॉड्रिग्स-टाइप परिवार (Holonomic and Rodrigues-type Families): जबकि ये स्थानीय एनालिटिक अवशेषों (residuals) को कम कर सकते थे, परिणामी रूप या तो शून्य की ओर नहीं बढ़े या सामान्य कारकों और सीएफ-शैडो द्वारा हावी हो गए।
कर्नल-लैटिस सर्च (Kernel-Lattice Search): यह सबसे संवेदनशील खोज थी। 145 कच्चे उम्मीदवारों में से, 133 को प्रिमिटिव रिकॉर्ड के रूप में वर्गीकृत किया गया।
- सीएफ-शैडो का प्रभुत्व (Dominance of CF-Shadows): सबसे अच्छे सिग्नल (न्यूनतम अवशेष) लगभग विशेष रूप से "सीएफ-शैडो" थे। उदाहरण के लिए, एक डिग्री-14 उम्मीदवार ने एक रूप $245223(e+\pi) - 1436976$ दिया, जो $9(27247(e+\pi) - 159664)$ में बदल गया। अनुपात $159664/27247$ को $e + \pi$ के निरंतर भिन्न अभिसारी के रूप में सत्यापित किया गया था।
- गैर-सीएफ परिवारों की विफलता (Failure of Non-CF Families): "सबसे अच्छे गैर-सीएफ" उम्मीदवार बहुपद डिग्री बढ़ने के साथ एक स्थिर, सुधरता हुआ परिवार नहीं बना सके। डिनोमिनेटर का आकार बढ़ा, लेकिन अवशेष परिशुद्धता (residual precision) एकदिष्ट रूप से (monotonically) नहीं सुधरी।

ऑडिट का निष्कर्ष (Conclusion of the Audit): परीक्षण किए गए निम्न-जटिलता परिवारों के भीतर, कोई गैर-वृत्तीय (non-circular) एपरी-प्रकार का तंत्र नहीं पाया गया। सामान्य विफलता मोड यह है कि एनालिटिक लघुता (analytic smallness), डिनोमिनेटर और गुणांकों के हिसाब लगाने के बाद अंकगणितीय लघुता (arithmetic smallness) में परिवर्तित नहीं होती है।

महत्व और दावे (Significance and Claims)

शोध पत्र स्पष्ट रूप से दावा करता है कि यह एक सार्वभौमिक असंभवता प्रमेय (universal impossibility theorem) नहीं है। यह यह सिद्ध नहीं करता कि $e + \pi$ अपरिमेय है, न ही यह सिद्ध करता है कि कोई प्रमाण मौजूद नहीं है।

इसके बजाय, इसका महत्व यहाँ है:

संरचनात्मक स्पष्टीकरण (Structural Clarification): यह सटीक अंकगणितीय आवश्यकताओं (पूर्णांक रैखिक रूप का शून्य की ओर जाना) को अलग करता है जो एक वास्तविक अपरिमेयता प्रमाण को केवल परिमेय सन्निकटन से अलग करती हैं।
"निषिद्ध क्षेत्र" को परिभाषित करना (Defining the "Forbidden Zone"): यह निर्दिष्ट निम्न-जटिलता रणनीतियों के ब्रह्मांड के लिए एक "बाउंडेड नो-गो थ्योरम" स्थापित करता है। यह प्रदर्शित करता है कि इन रणनीतियों के लिए, एनालिटिक रद्दीकरण और अंकगणितीय वृद्धि (डिनोमिनेटर क्लियरिंग, प्रिमिटिव रिडक्शन) के बीच प्रतिस्पर्धा प्रमाण के अस्तित्व को नष्ट कर देती है।
नैदानिक उपकरण (Diagnostic Tool): "सीएफ-शैडो ऑडिट" को भविष्य के प्रयासों के लिए एक आवश्यक फिल्टर के रूप में प्रस्तुत किया गया है। किसी भी नए तंत्र को प्रिमिटिव रिडक्शन से बचना होगा और यह सिद्ध करना होगा कि वह केवल शास्त्रीय निरंतर भिन्न सन्निकटन को पुनर्गठित नहीं कर रहा है।

शोध पत्र निष्कर्ष निकालता है कि एपरी-प्रकार के माध्यम से $e + \pi \notin \mathbb{Q}$ के सफल प्रमाण के लिए पूर्णांक गुणांकों, एक गैर-शून्य शेषफल (remainder), और शून्य की ओर जाने वाले शेषफल अनुमान को एक ऐसे तरीके से जोड़ना होगा जो मजबूत अंकगणितीय फिल्टरिंग से बच सके—एक ऐसा संयोजन जिसे परीक्षण किए गए निम्न-जटिलता परिवार प्राप्त करने में विफल रहे।