An algorithm for annihilator and Bernstein-Sato polynomial of a rational function

तकनीकी सारांश: एक परिमेय फलन के अनहिलिएटर (Annihilator) और बर्नस्टीन-साटो बहुपद (Bernstein-Sato Polynomial) के लिए एक एल्गोरिदम

समस्या विवरण
यह शोध पत्र परिमेय फलनों (rational functions), विशेष रूप से दो बहुपदों के भागफल $f/g$ के लिए बर्नस्टीन-साटो बहुपद निर्धारित करने की कम्प्यूटेशनल चुनौती को संबोधित करता है। जबकि एकल बहुपदों के लिए $b$-फलन (बर्नस्टीन-साटो बहुपद) का सिद्धांत सुस्थापित है और उनके गणना के लिए एल्गोरिदम मौजूद हैं, परिमेय फलनों के लिए इसका विस्तार एक हालिया विकास है जिसे ताकेउची [33] द्वारा प्रस्तुत किया गया था। इस कार्य से पूर्व, परिमेय फलनों के बर्नस्टीन-साटो बहुपदों के केवल निरर्थक (trivial) उदाहरण ही ज्ञात थे। मुख्य कठिनाई $D[s]$ (बहुपदीय गुणांकों वाले अवकल ऑपरेटरों की वलय) के भीतर $(f/g)^s$ द्वारा जनित मॉड्यूल के अनहिलिएटर (annihilator) की गणना करने और तत्पश्चात उस कार्यात्मक समीकरण (functional equation) को प्राप्त करने में निहित है जो बहुपद को परिभाषित करता है।

कार्यप्रणाली (Methodology)
लेखक एक ऐसी रणनीति प्रस्तावित करते हैं जो एक परिमेय फलन के अनहिलिएटर को दो बहुपदों $(f, g)$ के अनहिलिएटर के अध्ययन में बदलने की प्रक्रिया करती है। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

1. जोड़े का अनहिलिएटर (Annihilator of the Pair): एल्गोरिदम पहले दो सहायक चरों वाले अवकल ऑपरेटरों की वलय में अनहिलिएटर आदर्श (ideal) $I(s_1, s_2) = \text{Ann}_{D[s_1, s_2]}(f^{s_1}g^{s_2})$ की गणना करता है।
2. प्रतिस्थापन और संतृप्ति (Substitution and Saturation): $s_1 = s$ और $s_2 = -s - m$ (जहाँ $m$ हर (denominator) की घात से संबंधित एक गैर-ऋणात्मक पूर्णांक है) को प्रतिस्थापित करके, लेखक $D[s]$ में एक आदर्श $I(s, -s-m)$ प्राप्त करते हैं। हालाँकि, यह आदर्श सामान्यतः $C[s]$-संतृप्त (saturated) नहीं होता है और इस प्रकार वांछित अनहिलिएटर $\text{Ann}_{D[s]}(g^{-m}(f/g)^s)$ के सीधे बराबर नहीं होता है।
3. केंद्रीय संतृप्ति (Central Saturation): शोध पत्र $C[s]$ (एक क्रमविनिमेय उप-वलय) के सापेक्ष एक लेफ्ट आइडियल (left ideal) की केंद्रीय संतृप्ति की गणना करने के लिए एक एल्गोरिदम का उपयोग करता है। इसमें एक ग्रोबनर बेस (Gröbner basis) की गणना करना और पूर्ण अनहिलिएटर को पुनः प्राप्त करने के लिए एक संतृप्ति ऑपरेशन (saturation operation) करना शामिल है।
4. गैर-शून्य स्थितियों का प्रबंधन (Handling Non-Vanishing Conditions): एक महत्वपूर्ण सैद्धांतिक योगदान जोड़े $(f, g)$ के बर्नस्टीन-साटो आदर्श पर एक "गैर-शून्य स्थिति" (non-vanishing condition) की पहचान करना है। विशेष रूप से, लेखक जोड़े के बर्नस्थीन-साटो आदर्श $B_{f,g}$ से संबंधित एक $C_m$-स्थिति को परिभाषित करते हैं।
   • यदि $B_{f,g}$, $C_m$-स्थिति को संतुष्ट करता है, तो परिमेय फलन का अनहिलिएटर $I(s, -s-m)$ का संतृप्ति (saturation) होता है।
   • यदि यह स्थिति विफल होती है, तो लेखक उच्च घात के हरों के अनहिलिएटरों से संबंधित करके अनहिलिएटर की गणना करने के लिए एक पुनरावर्ती विधि (लेम्मा 4.9) प्रदान करते हैं, जो स्थिति की विफलता के माध्यम से आगे बढ़ती है।
5. बर्नस्टीन-साटो बहुपद गणना: एक बार अनहिलिएटर निर्धारित हो जाने के बाद, बर्नस्टीन-साटो बहुपद $b_{f/g, m}^{(N)}(s)$ की गणना अनहिलिएटर और $f^k g^{N-k}$ से जुड़े पदों द्वारा जनित आदर्श के कोटि-मॉड्यूल (quotient module) में एक न्यूनतम बहुपद संबंध खोजकर की जाती है। इसे अनहिलिएटर के मोड्यूलो (modulo) $s$ की घातों के नॉर्मल फॉर्म्स पर रैखिक बीजगणित (linear algebra) के माध्यम से लागू किया जाता है।

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

• एल्गोरिद्मिक ढांचा (Algorithmic Framework): शोध पत्र $g^{-m}(f/g)^s$ के अनहिलिएटर की गणना के लिए एक पूर्ण एल्गोरिदम (एल्गोरिदम 2) और तत्पश्चात बर्नस्टीन-साटो बहुपद की गणना के लिए एक एल्गोरिदम (एल्गोरिदम 3) प्रस्तुत करता है। ये एल्गोरिदम नॉन-कम्यूटेटिव PBW एल्जेब्रा में ग्रोबनर बेस पर निर्भर करते हैं।
• सैद्धांतिक स्थितियाँ: प्रमेय 4.5 एक पर्याप्त स्थिति ( $C_m$-स्थिति) स्थापित करता है जिसके तहत परिमेय फलन का अनहिलिएटर केवल प्रतिस्थापित जोड़े के अनहिलिएटर का संतृप्ति होता है। शोध पत्र यह भी विवरण देता है कि जब यह स्थिति पूरी नहीं होती है तो कैसे आगे बढ़ें।
• कार्यान्वयन (Implementation): इन एल्गोरिदम को कंप्यूटर बीजगणित प्रणाली Singular में कार्यान्वित किया गया है।
• स्पष्ट उदाहरण: लेखक विशिष्ट परिमेय फलनों (जैसे $f = x^2+y^3, g=xy$ और $f = x^6+y^6+2zx^3y^3, g=z^2$) के लिए बर्नस्टीन-साटो बहुपदों की स्पष्ट, गैर-निरर्थक गणनाएँ प्रदान करते हैं।
  • उदाहरण 6.1 में, लेखक प्रदर्शित करते हैं कि बर्नस्टीन-साटो बहुपद को स्थिर (stabilize) करने के लिए कितने बड़े संख्या में अवकल ऑपरेटरों ($N$) की आवश्यकता होती है।
  • उदाहरण 6.2 में, कंप्यूट किए गए बहुपद की तुलना स्थानीय मोनोड्रोमी (local monodromy) के आइजनमानों (eigenvalues) से की गई है, जो $b$-फंक्शन के मूलों (roots) और परिमेय फलन की मोनोड्रोमी के बीच संबंध का समर्थन करती है।
  • ये उदाहरण प्रकट करते हैं कि बहुपदों के शास्त्रीय मामले के विपरीत, परिमेय फलनों के लिए बर्नस्टीन-साटो बहुपद के मूल (roots) अनिवार्य रूप से ऋणात्मक परिमेय संख्याएँ नहीं होते हैं।

महत्व
यह शोध पत्र मुख्य रूप से परिमेय फलनों के बर्नस्टीन-साटो बहुपद के लिए पहला सामान्य कम्प्यूटेशनल तरीका प्रदान करके अपनी महत्ता का दावा करता है, जो एक ऐसा विषय है जिसमें पहले गैर-निरर्थक उदाहरणों का अभाव था। अपने अंश (numerator) और हर (denominator) के जोड़े के साथ परिमेय फलन के संबंध का लाभ उठाकर, लेखक बहुपदीय जोड़ों के मौजूदा एल्गोरिदम और अधिक जटिल परिमेय मामले के बीच की खाई को पाटते हैं। यह कार्य परिमेय फलन की मोनोड्रोमी के साथ बर्नस्टीन-साटो बहुपद के मूलों के संबंध के बारे में मौजूदा अनुमानों (conjectures) का समर्थन करता है। इसके अतिरिक्त, Singular में कार्यान्वयन इन इनवेरिएंट्स (invariants) को ठोस मामलों में खोजने की अनुमति देता है, जिससे परिमेय फलनों के विलक्षणता सिद्धांत (singularity theory) में आगे के अनुसंधान को सुविधा मिलती है। लेखक विनम्र रहते हैं, यह नोट करते हुए कि हालांकि वे मौजूदा अनुमानों का समर्थन करते हैं, लेकिन संपूर्ण सिद्धांत का दायरा (जैसे सभी $m$ के लिए मूलों का व्यवहार) आगे के अन्वेषण का क्षेत्र बना हुआ है।