Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability

तकनीकी सारांश: व्यापक प्रतीकात्मक समाकलन और प्रतीकात्मक समाकलनीयता का परिदृश्य

समस्या विवरण
जबकि अवकलन (differentiation) एक एल्गोरिद्मिक प्रक्रिया है और चेन नियम एवं उत्पाद नियमों के माध्यम से प्रारंभिक फलनों (elementary functions) के लिए सार्वभौमिक रूप से गणनीय है, समाकलन (integration) के लिए कोई सार्वभौमिक एल्गोरिदम उपलब्ध नहीं है। यद्यपि रिश एल्गोरिदम (1969), जो लिउविल के प्रमेय (1835) पर आधारित है, यह निर्धारित करने के लिए एक निर्णय प्रक्रिया (decision procedure) प्रदान करता है कि क्या किसी प्रारंभिक फलन में प्रारंभिक प्रति-अवकलज (antiderivative) मौजूद है, यह एक मौलिक संरचनात्मक प्रश्न को संबोधित नहीं करता है: एक विशिष्ट वर्ग के प्रतीकात्मक व्यंजकों के भीतर, समाकलनीयता कितनी प्रचलित है? विशेष रूप से, यदि कोई फलन एक परिभाषित व्याकरण (grammar) और सीमित जटिलता के भीतर यादृच्छिक रूप से चुना जाता है, तो इसकी संभावना क्या है कि इसका प्रति-अवकलज उसी व्याकरण के भीतर व्यक्त किया जा सके? पिछला कार्य या मशीन लर्निंग प्रशिक्षण के लिए यादृच्छिक व्यंजक उत्पन्न करने या क्यूरेटेड परीक्षण सेटों पर मौजूदा कंप्यूटर अलजेब्रा सिस्टम (CAS) के बेंचमार्किंग पर केंद्रित रहा है, लेकिन किसी ने भी जटिलता और ऑपरेटर आधार के फलन के रूप में "समाकलनीयता अंश" (integrability fraction) को व्यवस्थित रूप से मापने का अध्ययन नहीं किया है।

कार्यप्रणाली: व्यापक प्रतीकात्मक समाकलन (Exhaustive Symbolic Integration - ESI)
लेखक 'एग्जॉस्टिव सिम्बोलिक इंटीग्रेशन' (ESI) पेश करते हैं, जो एक विधि है जो एक निर्दिष्ट ऑपरेटर आधार के भीतर दिए गए जटिलता $k$ तक के सभी विशिष्ट प्रतीकात्मक फलनों को सूचीबद्ध करती है और यह निर्धारित करती है कि कौन से उसी वर्ग के भीतर बंद-रूप (closed-form) प्रति-अवकलजों को स्वीकार करते हैं। कार्यप्रणाली इस प्रकार है:

1. फलन स्थान निर्माण: एग्जॉस्टिव सिम्बोलिक रिग्रेशन (ESR) का उपयोग करके, लेखक पाँच अलग-अलग ऑपरेटर आधारों के लिए अधिकतम $k$ नोड्स वाले सभी व्यंजक वृक्ष (expression trees) उत्पन्न करते हैं। जटिलता को वृक्ष में नोड्स की संख्या द्वारा परिभाषित किया गया है। अध्ययन किए गए आधार न्यूनतम परिमेय संक्रियाओं से लेकर घातांकीय (exponentials), लघुगणक (logarithms) और त्रिकोणमितीय फलनों सहित विविध हैं।
2. डुप्लिकेट हटाना (Deduplication): यह सुनिश्चित करने के लिए कि समाकलनीयता का अंश एक ही गणितीय फलन के विभिन्न वाक्यात्मक रूपों (syntactic variations) के कारण कृत्रिम रूप से बढ़ा हुआ न हो, लेखक दो-चरणीय डुप्लिकेट हटाने की प्रक्रिया का उपयोग करते हैं:
   • प्रतीकात्मक सरलीकरण (Symbolic Simplification): व्यंजकों को SymPy ऑब्जेक्ट्स में परिवर्तित और सरल किया जाता है।
   • संख्यात्मक फिंगरप्रिंटिंग (Numerical Fingerprinting): उन डुप्लिकेट्स को पकड़ने के लिए जिन्हें प्रतीकात्मक सरलीकरण से छोड़ा गया हो, व्यंजकों का मूल्यांकन $N=60$ यादृच्छिक बिंदुओं पर निश्चित पैरामीटर मानों के साथ किया जाता है। प्राप्त मानों को राउंड किया जाता है और एक कॉम्पैक्ट फिंगरप्रिंट बनाने के लिए MD5 के माध्यम से हैश किया जाता है। समान फिंगरप्रिंट वाले फलनों को समान माना जाता है।
3. अवकलन और मैपिंग: प्रत्येक फलन $F$ को $F'$ उत्पन्न करने के लिए अवकलित किया जाता है। $F'$ के फिंगरप्रिंट की जाँच $\mathcal{F}_{\le k}$ के सभी फलनों के फिंगरप्रिंट सेट के विरुद्ध की जाती है।
4. समाकलनीयता अंश ($\rho(k)$): उन फलनों का अंश जिनके अवकलज (और इस प्रकार, उनके प्रति-अवकलज, प्रति-मान के आधार पर) उसी सेट के भीतर रहते हैं, इस प्रकार निकाला जाता है:
   $$\rho(k) = \frac{|\{F \in \mathcal{F}_{\le k} : \text{hash}(F') \in \text{hash}(\mathcal{F}_{\le k})\}|}{|\mathcal{F}_{\le k}|}$$
5. CAS तुलना: इस पद्धति को एक पूर्व-संग्रहीत सूची (precomputed catalogue) में प्रिमिटिव्स खोजने के लिए एक एकीकरण एल्गोरिदम के रूप में तैनात किया गया है। इन परिणामों की तुलना छह CAS इंजनों (SymPy, Mathematica, RUBI, FriCAS, Maxima, Giac) से विभिन्न रणनीतियों और टाइमआउट का उपयोग करके की जाती है ताकि उन समाकलों की पहचान की जा सके जो मानक एल्गोरिदम का विरोध करते हैं।

मुख्य परिणाम
अध्ययन $k=10$ तक पाँच ऑपरेटर आधारों में $10^6$ से अधिक अद्वितीय फलनों का विश्लेषण करता है।

• उच्च जटिलता पर घटती समाकलनीयता: उच्च-जटिलता कवरेज (जैसे, core_maths, ext_maths, trig_maths) वाले आधारों के लिए, $k$ बढ़ने के साथ $\rho(k)$ घटता है। उदाहरण के लिए, core_maths $k=7$ पर $\sim5.5\%$ से गिरकर $k=10$ पर $3.5\%$ हो जाता है। ऐसा इसलिए होता है क्योंकि विशिष्ट अवकलज रूपों का स्थान स्वयं फलन स्थान की तुलना में तेजी से बढ़ता है।
• लघुगणक प्रभाव (The Logarithm Effect): लघुगणक ऑपरेटर को शामिल करने से परिदृश्य नाटकीय रूप से बदल जाता है। ext_log_maths और core_log_maths आधार अपने गैर-लघुगणक समकक्षों की तुलना में लगभग 2.5 से 3.6 गुना अधिक $\rho(k)$ प्रदर्शित करते हैं। इसके अतिरिक्त, ये आधार $k=6$ पर एक विशिष्ट गैर-एकदिष्ट शिखर (non-monotonic peak) प्रदर्शित करते हैं (जो ext_log_maths के लिए $\sim11.6\%$ और core_log_maths के लिए $19.2\%$ तक पहुँचता है)।
  • तंत्र (Mechanism): एक लघुगणक का अवकलज, $d/dx[\log(f)] = f'/f$, ऐसे परिमेय रूप उत्पन्न करता है जो मौजूदा फलन सूची के साथ कुशलतापूर्वक ओवरलैप होते हैं। इसके विपरीत, एक घातांकीय का अवकलज, $d/dx[\exp(f)] = f' \exp(f)$, एक नया घातांकीय कारक पेश करता है जो अक्सर जटिलता को गणना सीमा से बाहर धकेल देता है, जिससे मिलान की संभावना कम हो जाती है।
• त्रिकोणमितीय स्वतंत्रता (Trigonometric Independence): trig_maths आधार (sin/cos) लघुगणक आधारों जैसा उन्नत समाकलनीयता नहीं दिखाता है। हालांकि sin/cos अवकलन के तहत एक बंद कक्षा (closed orbit) दिखाते हैं, चेन नियम मल्टीप्लिकेटिव फैक्टर्स ($f'$) पेश करता है जो तीव्र जटिलता वृद्धि को प्रेरित करते हैं, जिससे क्लोजर के लाभ कम हो जाते हैं।
• नवीन समाकल और CAS की सीमाएँ: ESI सफलतापूर्वक तीन ऐसे समाकलों की पहचान करता है जो सभी छह परीक्षण किए गए CAS इंजनों का विरोध करते हैं। ये समाकल एक संरचनात्मक पैटर्न साझा करते हैं: एक वर्ग-मूल बीजगणितीय विस्तार (algebraic extension) जो एक ट्रांसेंडेंटल टावर (जैसे, $e^x$, $e^{-x}$, या $x^x$) के साथ इस तरह जुड़ा है कि इसे क्लोज्ड-फॉर्म प्रतिस्थापन द्वारा हटाया नहीं जा सकता है। उदाहरणों में शामिल हैं:
  • $\int (2x+1)e^{\sqrt{x}+e^{-x}} dx = 2\sqrt{x}e^{\sqrt{x}+e^{-x}}$
  • $\int (2x+1)e^{\sqrt{|x-e^{-x}|}} dx$
  • $\int x^{x-3/2}(1-x-x\log x) dx = 2\sqrt{|x-x^x|}$
    इसके अतिरिक्त, ESI मामलों के एक महत्वपूर्ण हिस्से में CAS की तुलना में सरल प्रति-अवकलज रूप पाता है, जो अक्सर विस्तारित रूपों के बजाय फैक्टर्ड या नेस्टेड निरूपणों को प्राथमिकता देकर नोड काउंट को काफी कम कर देता है।

महत्व और दावे
लेखक का दावा है कि प्रतीकात्मक समाकलनीयता का परिदृश्य मुख्य रूप से ऑपरेटरों के चयन द्वारा आकार लेता है, न कि प्रारंभिक फलनों के एक समान गुण द्वारा। लघुगणक ऑपरेटर का परिचय एक "क्लोजर डेंसिटी" (closure density) बनाता है जो एक सीमित जटिलता वर्ग के भीतर प्रति-अवकलज खोजने की संभावना को महत्वपूर्ण रूप से बढ़ाता है।

लेखक ESI को सभी सामान्य-उद्देश्य वाले CAS के प्रतिस्पर्धी के रूप में नहीं, बल्कि व्यापक संरचनात्मक कवरेज के उपकरण के रूप में प्रस्तुत करते हैं। इसका महत्व निम्नलिखित में निहित है:

1. व्यवस्थित खोज: यह उन नवीन रूपों सहित समाकलनीय रूपों की व्यवस्थित खोज कर सकता है जो वर्तमान रिश कार्यान्वयन और ह्यूरिस्टिक विधियों से बच निकलते हैं।
2. मात्रात्मक विश्लेषण: यह $\rho(k)$ के पहले मात्रात्मक मापन के रूप में कार्य करता है, जो यह प्रकट करता है कि विशिष्ट ऑपरेटर कैसे समाकलन के तहत क्लोजर को बढ़ावा देते हैं या कम करते हैं।
3. एल्गोरिद्मिक गैप निदान: उन समाकलों की पहचान करके जो यहाँ तक कि सबसे पूर्ण रिश कार्यान्वयन (जैसे, FriCAS) का भी विरोध करते हैं, ESI वर्तमान कंप्यूटर अलजेब्रा सिस्टमों में विशिष्ट संरचनात्मक अंतराल को उजागर करता है, विशेष रूप से घातांकीय-लघुगणकीय टावरों पर बीजगणितीय विस्तारों के संबंध में।

लेखक नोट करते हैं कि उनके मात्रात्मक परिणाम (जैसे कि विशिष्ट $k=6$ शिखर का स्थान) उपयोग किए गए विशिष्ट व्यंजक व्याकरण और जटिलता मीट्रिक (नोड काउंट) पर निर्भर हैं, लेकिन व्यापक रुझान—लघुगणकीय संवर्धन और उच्च-जटिलता गिरावट—परीक्षित व्याकरणों की मजबूत विशेषताएं हैं।