A Quaternion--BCH Framework for the Local Accuracy of SIDER Interpolation

तकनीकी सारांश: SIDER इंटरपोलेशन की स्थानीय सटीकता के लिए एक क्वाटरनियन–BCH ढांचा

समस्या विवरण
यह शोध पत्र इकाई गोले (unit sphere) $S^2$ पर सीमित डेटा के इंटरपोलेशन की चुनौती को संबोधित करता है, जो दिशाओं, ओरिएंटेशन और रिजिड-बॉडी मोशन से संबंधित वैज्ञानिक कंप्यूटिंग में एक सामान्य कार्य है। मानक यूक्लिडियन बहुपद इंटरपोलेशन (Euclidean polynomial interpolation) गोलाकार बाधा (spherical constraint) को बनाए रखने में विफल रहता है, और परिणाम को वापस गोले पर प्रोजेक्ट करना ज्यामिति और सन्निकटन गुणों (approximation properties) को बदल देता है। जबकि स्फेरिकल लीनियर इंटरपोलेशन (SLERP) इकाई बाधा को सुरक्षित रखता है और ज्यामितीय रूप से स्वाभाविक है, पीसवाइज SLERP वक्र (piecewise SLERP curves) सीमित स्मूथनेस और निम्न-क्रम की सटीकता से ग्रस्त होते हैं। SIDER (Spherical Interpolation of orDER $n$) विधि, जिसे पूर्व कार्य [1] में पेश किया गया था, एक पुनरावर्ती उच्च-क्रम निर्माण (recursive high-order construction) प्रदान करती है जो बेज़ियर और नेविल-प्रकार के इंटरपोलेशन से प्रेरित है, जहाँ एफाइन चरणों (affine steps) को SLERP द्वारा प्रतिस्थापित किया जाता है। हालाँकि, स्मूथ डेटा के लिए इसकी स्थानीय सटीकता क्रम $O(h^{n+1})$ का एक कठोर प्रमाण देना कठिन रहा है, क्योंकि यह SLERP ऑपरेशन्स में निहित वक्रता-निर्भर सुधार पदों (curvature-dependent correction terms) के कारण जटिल होता है।

कार्यप्रणाली
यह शोध पत्र SIDER की स्थानीय निरंतरता (local consistency) का विश्लेषण करने के लिए एक क्वाटरनियन–ली अल्जेब्रा ढांचे को विकसित करता है। मुख्य पद्धतिगत बदलाव बिंदुओं को शुद्ध इकाई क्वाटरनियन (pure unit quaternions) के रूप में प्रस्तुत करने और फिक्स्ड-बेस क्वाटरनियन लॉगरिदमिक निर्देशांकों में इंटरपोलेशन त्रुटियों को मापने में निहित है।

1. क्वाटरनियन प्रतिनिधित्व: डेटा बिंदुओं $p \in S^2$ को शुद्ध इकाई क्वाटरनियन $q = (0, p)$ के रूप में एम्बेड किया जाता है। ली अल्जेब्रा $\text{Im } \mathbb{H}$ को $\mathbb{R}^3$ के रूप में पहचाना जाता है, जहाँ ली ब्रैकेट (Lie bracket) दोहरे क्रॉस उत्पाद (cross product) के अनुरूप होता है।
2. सटीक BCH प्रतिनिधित्व: मुख्य अंतर्दृष्टि यह है कि लेफ्ट-ट्रिवियलाइज्ड लॉगरिदमिक निर्देशांकों में, SLERP ऑपरेशन का BCH फॉर्मूला के माध्यम से एक सटीक प्रतिनिधित्व प्राप्त होता है:
   $$\log(q_\theta^{-1} \text{SLERP}(q_\theta e^X, q_\theta e^Y, \lambda)) = \text{BCH}(X, \lambda \text{BCH}(-X, Y))$$
   यह ज्यामितीय इंटरपोलेशन समस्या को फिल्टर्ड ली-पॉलीनोमियल एक्सपेंशन (filtered Lie-polynomial expansions) वाले एक बीजगणितीय समस्या में परिवर्तित कर देता है।
3. फिल्टर्ड डिवाइडेड-एरर कैलकुलस: प्रमाण एक "फिल्टर्ड" शास्त्रीय डिवाइडेड-एरर तर्क के एनालॉग का उपयोग करता है। त्रुटि को स्टेप साइज $h$ के रूप में एक औपचारिक पावर सीरीज़ में विस्तारित किया जाता है, जहाँ गुणांक शिफ्टेड स्टेंसिल वेरिएबल $\xi = \theta - i$ में बहुपद होते हैं। फिल्ट्रेशन, $h$ की शक्ति के सापेक्ष बहुपद डिग्री को ट्रैक करता है।

मुख्य योगदान और संरचनात्मक परिणाम
विश्लेषण इस ढांचे के भीतर SLERP ऑपरेशन के दो महत्वपूर्ण संरचनात्मक गुणों को प्रकट करता है:

• एफाइन लीडिंग ऑर्डर (Affine Leading Order): SLERP मैप लॉगरिदमिक निर्देशांकों में लीडिंग ऑर्डर में एफाइन है।
• द्विघाती सुधार का अभाव (Absence of Quadratic Correction): विस्तार में कोई द्विघाती पद (quadratic term) नहीं है।
• क्यूबिक कम्यूटेटर सुधार (Cubic Commutator Correction): पहला गैर-रेखीय सुधार क्यूबिक और कम्यूटेटर-मान वाला है (प्रपोर्शनल टू $[Y-X, [X, Y]]$)। चूंकि शुद्ध काल्पनिक क्वाटरनियन के कम्यूटेटर क्रॉस प्रोडक्ट के अनुरूप होते हैं, इसलिए यह पद तब शून्य हो जाता है जब एंडपॉइंट त्रुटियाँ कोलीनियर (collinear) होती हैं।

मुख्य परिणाम
यह शोध पत्र "स्मॉल-स्टेंसिल" धारणा (यह सुनिश्चित करना कि सभी बिंदु एक सामान्य पड़ोस में रहें) के तहत समान रूप से व्यवस्थित पैरामीटर मानों पर सैंपल की गई स्मूथ गोलाकार वक्रों के लिए SIDER-$n$ की स्थानीय सटीकता को सिद्ध करता है।

1. बेस केस (SIDER2): तीन डेटा बिंदुओं से निर्मित SIDER2 इंटरपोलेंट, तीसरी-क्रम की स्थानीय त्रुटि ($O(h^3)$) प्रदर्शित करता है। प्रमाण दिखाता है कि लीडिंग एरर टर्म साधारण द्विघाती इंटरपोलेशन (यूक्लिडियन स्पेस में) के समान है। क्यूबिक BCH सुधार इस क्रम पर लुप्त हो जाता है क्योंकि निम्नतम-क्रम के लॉगरिदमिक डेटा वक्र के स्पर्श रेखा (tangent vector) के कोलीनियर मल्टीपल्स हैं, जिससे कम्यूटेटर टर्म शून्य हो जाता है।
2. पुनरावर्ती चरण (Recursive Step): शोध पत्र एक पुनरावर्ती ऑर्डर-रेजिंग लेम्मा (order-raising lemma) स्थापित करता है। यदि दो आसन्न SIDER-$(k-1)$ उम्मीदवार "फिल्टर्ड डिवाइडेड-एरर फॉर्म" में त्रुटियों को प्रदर्शित करते हैं (अर्थात, विशिष्ट नोडल कारकों के साथ $O(h^k)$), तो अगला SIDER-$k$ चरण क्रम को $O(h^{k+1})$ तक बढ़ा देता है।
   • एफाइन भाग पुनरावर्ती प्रक्रिया में नेविल-प्रकार का फाइनाइट-डिफरेंस कैंसिलेशन करता है, जिससे एक अतिरिक्त $h$ कारक और एक नया नोडल उत्पाद $\Pi_k(\xi)$ उत्पन्न होता है।
   • गैर-रेखीय BCH शेषफल (Nonlinear BCH Remainder) को यह दिखाया गया है कि वह तीक्ष्ण फिल्टर्ड डिग्री स्ट्रक्चर को संरक्षित करता है। जब इन्हें डायगोनल वेरिएबल्स में व्यक्त किया जाता है, तो गैर-रेखीय पदों में इनपुट के अंतर की पर्याप्त शक्तियाँ होती हैं जो इंटरपोलेशन पैरामीटर की शक्तियों की भरपाई करती हैं, जिससे यह सुनिश्चित होता है कि त्रुटि आवश्यक बहुपद डिग्री सीमाओं के भीतर रहे।
3. सामान्य प्रमेय: प्रत्येक निश्चित $n \ge 2$ के लिए, SIDER-$n$ पुनर्निर्माण निम्नलिखित को संतुष्ट करता है:
   $$d_{S^2}(\gamma(\theta h), P_i^{[n]}(\theta; h)) = O(h^{n+1})$$
   प्रमाण यह पहचान करता है कि शिफ्ट-इनवेरिएंस (shift-invariance) की लीडिंग डिवाइडेड-एरर कोएफिशिएंट ही वह बीजगणितीय अनुकूलता स्थिति (algebraic compatibility condition) है जो नेविल-प्रकार के कैंसिलेशन को पुनरावृत्ति के माध्यम से बने रहने देती है।

महत्व और दायरा
यह शोध पत्र SIDER विधि की अपेक्षित स्थानीय सटीकता का एक कठोर, बीजगणितीय प्रमाण प्रदान करता है, जो BCH एक्सपेंशन का लाभ उठाकर वक्रता-निर्भर पदों की जटिलता को हल करता है। यह स्पष्ट करता है कि गोले की गैर-कम्यूटेटिव ज्यामिति (non-commutative geometry) लीडिंग-ऑर्डर सटीकता को कम नहीं करती है, बशर्ते कि डेटा स्मूथ हो और स्टेंसिल छोटा हो।

यह विश्लेषण पूरी तरह से स्थानीय और एसिम्प्टोटिक (asymptotic) है। यह मानता है:

• समान रूप से व्यवस्थित पैरामीटर मान।
• डेटा बिंदु और मध्यवर्ती मान एक साझा सामान्य पड़ोस के भीतर रहते हैं (एंटीपोडल अस्पष्टता और बड़े कोणीय जंपों से बचना)।
• अंतर्निहित वक्र की स्मूथनेस।

शोध पत्र स्पष्ट रूप से कहता है कि यह स्मूथ SIDER इंटरपोलेशन ऑपरेटर्स का विश्लेषण करता है और SENO (Spherical Essentially Non-Oscillatory) स्टेंसिल-सिलेक्शन प्रक्रिया की वैश्विक स्थिरता, मोनोटोनिसिटी या नॉन-ऑसिलेटरी व्यवहार को संबोधित नहीं करता है, हालांकि यह उसमें प्रयुक्त स्मूथ उम्मीदवारों के लिए कंसिस्टेंसी फाउंडेशन प्रदान करता है। यह ढांचा वर्तमान में यूनिफॉर्म स्टेंसिल तक सीमित है; नॉन-यूनिफॉर्म स्टेंसिल तक विस्तार के लिए नॉन-यूनिफॉर्म वेट्स के साथ डिवाइडेड-एरर कैलकुलस को पुनर्गठित करने की आवश्यकता होगी।

नोट: शोध पत्र यह खुलासा करता है कि कम्प्यूटेशनल मॉडलिंग और गणितीय व्युत्पत्ति GPT-5.5 (Thinking) की सहायता से की गई थी, और निष्कर्ष AI-असिस्टेड परिकल्पनाएँ हैं जो भविष्य के औपचारिक पीयर वेरिफिकेशन के अधीन हैं।