Geometry, Conditioning, and Parity in One-Sided Directional Curvature Recovery, with a Controlled Comparison of Estimators

तकनीकी सारांश: एक-तरफा दिशात्मक वक्रता रिकवरी में ज्यामिति, कंडीशनिंग और पैरिटी (Parity)

समस्या विवरण
यह शोध पत्र एक एकल बिंदु से निकलने वाली किरणों के साथ नमूने के रूप में लिए गए फलन मानों (function values) से हेसियन मैट्रिक्स (द्वितीय-क्रम व्युत्पन्न जानकारी) को पुनः प्राप्त करने की मौलिक सीमाओं को संबोधित करता है। यह परिदृश्य डेरिवेटिव-फ्री ऑप्टिमाइज़ेशन, डोमेन सीमाओं के पास परिमित-अंतर (finite-difference) सन्निकटन, और उन व्युत्क्रम समस्याओं (inverse problems) में उत्पन्न होता है जहाँ डोमेन का पूरक हिस्सा अप्राप्य होता है। इन सेटिंग्स में, स्वीकार्य दिशाएँ ज्यामिति (जैसे, सक्रिय असमानता बाधाएं, पतली संरचनाएं, या सीमाएं) द्वारा बाधित होती हैं, जो सममित स्टेंसिल (symmetric stencils) के निर्माण को रोकती हैं। केंद्रीय प्रश्न यह नहीं है कि एक विशिष्ट एस्टिमेटर कैसे डिज़ाइन किया जाए, बल्कि यह है कि इन ज्यामितीय बाधाओं के दिए जाने पर सैद्धांतिक रूप से क्या संभव है: कौन सी मात्राएँ पहचानने योग्य (identifiable) हैं, दिशात्मक पहुंच के साथ कंडीशनिंग कैसे घटती है, और किस क्रम की सटीकता प्राप्त की जा सकती है।

कार्यप्रणाली और ढांचा
यह अध्ययन एक नए संख्यात्मक एस्टिमेटर का प्रस्ताव देने के बजाय एक ज्यामितीय और विश्लेषणात्मक दृष्टिकोण अपनाता है। मुख्य कार्यप्रणाली में शामिल है:

1. मापन मॉडल (Measurement Model): एक किरण पर तीन बिंदुओं द्वारा परिभाषित एक एक-तरफा दिशात्मक प्रोब का उपयोग करना: केंद्र $x$, एक आंतरिक नोड $x + R h u$, और एक अंत बिंदु $x + h u$। प्रोब दिशात्मक वक्रता $u^T H u$ का अनुमान लगाने के लिए दूसरे विभाजित अंतर (second divided difference) का निर्माण करता है।
2. ज्यामितीय विश्लेषण (Geometric Analysis): नमूने ली गई दिशाओं के वितरण के आधार पर हेसियन की पहचान क्षमता (identifiability) का विश्लेषण करना। लेखक मेजरमेंट ऑपरेटर को विघटित करने के लिए गोलाकार हार्मोनिक्स (spherical harmonics) और सममित $3 \times 3$ मैट्रिसेस ($\text{Sym}_3(\mathbb{R})$) के स्थान का उपयोग करते हैं।
3. पैरिटी अपघटन (Parity Decomposition): गोले पर समरूप बहुपदों (homogeneous polynomials) की पैरिटी (सम/विषम समरूपता) का लाभ उठाना। प्रोब विस्तार को सम भागों (जो हेसियन ले जाते हैं) और विषम भागों (जो अग्रणी ट्रंकेशन एरर ले जाते हैं) में विभाजित किया गया है।
4. नियंत्रित तुलना (Controlled Comparison): एक "फेयरनेस प्रोटोकॉल" के तहत आठ एस्टिमेटर्स (जिसमें क्वाड्रेटिक रिग्रेशन, मूविंग लीस्ट स्क्वायर्स, और विभिन्न दिशात्मक स्कीमें शामिल हैं) का एक कठोर बेंचमार्किंग प्रोटोकॉल। प्रत्येक विधि को अपना स्वयं का ओरेकल-ऑप्टिमल सैंपलिंग रेडियस दिया जाता है, और सभी समान शोर वास्तविकताओं (noise realizations) और व्यवहार्यता बाधाओं को साझा करते हैं।

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

1. पहचान क्षमता सीमाएँ (Theorem 4, Proposition 5):

   • मूल्यांकन तल (Evaluation Floor): $\mathbb{R}^3$ में, स्मूथनेस प्रायर के बिना, हेसियन को अनन्य रूप से निर्धारित करने के लिए सामान्य स्थिति में कम से कम 10 बिंदु मूल्यांकन आवश्यक और पर्याप्त हैं।
   • दिशात्मक विशिष्टता (Directional Uniqueness): दिशात्मक मापों के लिए, विशिष्टता की स्थिति केवल यह नहीं है कि दिशाएँ $\mathbb{R}^3$ को स्पैन करती हैं, बल्कि यह है कि दिशाएँ एक सामान्य क्वाड्रिक कोन (common quadric cone) पर नहीं टिकी हैं।
   • लागत निहितार्थ (Cost Implication): $m$ दिशाओं वाला एक दिशात्मक स्कीमा $1 + 2m$ मूल्यांकनों की आवश्यकता रखता है। चूंकि विशिष्टता के लिए $m \ge 6$ आवश्यक है, इसलिए न्यूनतम लागत 13 मूल्यांकन है, जो सामान्य बिंदु सेटों के लिए 10-मूल्यांकन तल से अधिक है।

2. सीमित पहुंच के तहत कंडीशनिंग (Theorem 10):

   • जब स्वीकार्य दिशाएँ आधे कोण $\theta$ के गोलाकार कैप (spherical cap) में सीमित होती हैं, तो रिकवरी ऑपरेटर के सिंगुलर मान $\{1, \theta, \theta, \theta^2, \theta^2, \theta^2\}$ के रूप में स्केल होते हैं।
   • फलस्वरूप, कंडीशन नंबर $\kappa(\theta) \asymp \theta^{-2}$ के रूप में बढ़ता है। शोध पत्र इस विकास के लिए सटीक स्थिरांक निकालता है (जैसे, सरफेस-यूनिफॉर्म सैंपलिंग के लिए $\kappa \theta^2 \to \sqrt{24} \approx 4.899$)।
   • व्याख्या: संकीर्ण कोन (narrow cones) सामान्य वक्रता (normal curvature) को अच्छी तरह से मापते हैं लेकिन मिश्रित और स्पर्शरेखीय वक्रता (mixed and tangential curvatures) को खराब मापते हैं (क्रम $\theta$ और $\theta^2$ पर)। एक चिकनी सीमा (हेमिस्फीयर, $\theta \approx 90^\circ$) सौम्य है; कंडीशनिंग की समस्याएँ केवल कोनों, कस्प्स (cusps), या अत्यधिक प्रतिबंधित सक्रिय सेटों पर उत्पन्न होती हैं।

3. पैरिटी अपघटन और ट्रंकेशन (Propositions 13, 14, Corollary 15):

   • एक-तरफा प्रोब को सम (even) और विषम (odd) गोलाकार हार्मोनिक घटकों में विस्तारित किया जाता है (क्रमशः हेसियन-संबंधित और ट्रंकेशन-संबंधित)।
   • हेसियन-मुक्त मापन (Hessian-Free Measurement): विषम प्रोजेक्शन हेसियन से स्वतंत्र रूप से तीसरे क्रम के दिशात्मक व्युत्पन्न ($D^3 f$) को अलग करता है, जो $O(h^2)$ तक सटीक है। यह हेसियन के पूर्व ज्ञान के बिना ट्रंकेशन टर्म को मापने की अनुमति देता है।
   • प्राप्य क्रम (Attainable Order - Proposition 17): एकत्रित हेसियन अनुमान में द्वितीय-क्रम सटीकता तभी प्राप्त की जा सकती है यदि और केवल यदि व्यवहार्य दिशा सेट एन्टीपोडली सिमेट्रिक (antipodally symmetric) है ($u \in U \implies -u \in U$)। यदि सेट वास्तव में एक-तरफा है (कोई एन्टीपोडल जोड़े नहीं हैं), तो दिशाओं या वेटिंग स्कीमों की संख्या के बावजूद त्रुटि $O(h)$ बनी रहती है।

4. शोर और पायलट डिज़ाइन (Propositions 19, 21, 22):

   • शोध पत्र प्रोब के वेरिएंस और परिणामी उपयोगी स्टेप साइज (स्पैन) के निचले स्तर को परिमाणित करता है। इष्टतम स्पैन $\sigma^{1/3}$ के रूप में स्केल होता है, जो मानक फाइनाइट डिफरेंस थ्योरी के अनुरूप है।
   • ट्रंकेशन कांस्टेंट को विषम पैरिटी प्रोजेक्शन के माध्यम से निकालने के लिए एक "पायलट" चरण की आवश्यकता होती है। शोध पत्र नोट करता है कि यह पायलट महंगा है, जिसके लिए स्थिर होने के लिए कम से कम 18 दिशाओं की आवश्यकता होती है, जो हेसियन अनुमान की लागत से भी अधिक हो सकता है।

5. एस्टिमेटर्स का नियंत्रित तुलना:

   • फेयरनेस प्रोटोकॉल के तहत, दिशात्मक स्कीमा ने मानक क्वाड्रेटिक रिग्रेशन या $\Lambda$-प्वाइज्ड इंटरपोलेशन को आउटपरफॉर्म नहीं किया जो उन्हीं व्यवहार्य बिंदुओं पर आधारित थे।
   • जहाँ सममित स्टेंसिल व्यवहार्य हैं, वहाँ सेंट्रल डिफरेंस सबसे सटीक है। जहाँ वे नहीं हैं, वहाँ क्वाड्रेटिक रिग्रेशन और मूविंग लीस्ट स्क्वायर्स दिशात्मक स्कीमा के बराबर या उनसे बेहतर प्रदर्शन करते हैं।
   • दिशात्मक स्कीमा का लाभ न उठा पाने का कारण यह है कि वे एक-तरफा एक्सेस के कारण अंतर्निहित $O(h)$ ट्रंकेशन एरर (Proposition 17) को दूर नहीं कर सकते हैं और वे उन्हीं ज्यामितीय कंडीशनिंग सीमाओं से ग्रस्त हैं जो अन्य विधियों के लिए हैं।

महत्व और दावे
यह शोध पत्र स्पष्ट रूप से अपने योगदान को विशिष्ट एल्गोरिदम के सुधार के बजाय स्ट्रक्चरल बाउंड्स (संरचनात्मक सीमाओं) के रूप में फ्रेम करता है।

• इष्टतमता पर बाधाएं: परिणाम "असंभव" क्षेत्र को परिभाषित करते हैं: कोई भी एस्टिमेटर एन्टीपोडल समरूपता के बिना द्वितीय-क्रम सटीकता प्राप्त नहीं कर सकता, और कोई भी एस्टिमेटर संकीर्ण कोन्स के $\theta^{-2}$ कंडीशनिंग दंड को बायपास नहीं कर सकता।
• अनएक्सप्लॉइटेड स्ट्रक्चर: हेसियन-मुक्त ट्रंकेशन टर्म के माप के रूप में विषम गोलाकार-हार्मोनिक घटक की पहचान को एक संरचनात्मक अंतर्दृष्टि के रूप में हाइलाइट किया गया है, हालांकि शोध पत्र चेतावनी देता है कि इसे निकालना कम्प्यूटेशनल रूप से महंगा है।
• पद्धतिगत कठोरता: शोध का एक महत्वपूर्ण हिस्सा नौ विशिष्ट प्रयोगात्मक आर्टिफैक्ट्स (जैसे, पैरामीटर प्रोपेगेशन एरर, ज्योमेट्री जनरेशन बग्स, और त्रुटिपूर्ण फेयरनेस धारणाएं) के दस्तावेजीकरण को समर्पित है जिन्हें विश्वसनीय परिणाम उत्पन्न करने के लिए हटाया जाना आवश्यक था। लेखक का तर्क है कि नकारात्मक परिणाम—कि फेयर स्थितियों के तहत दिशात्मक स्कीमा, रिग्रेशन की तुलना में कोई लाभ नहीं देते हैं—एक संभावित भ्रामक सकारात्मक परिणाम की तुलना में अधिक मूल्यवान है।

विनम्रता और सीमाएं
लेखक सिद्ध प्रमेयों और संख्यात्मक अवलोकनों के बीच अंतर करने में सावधानी बरतते हैं। वे यह दावा नहीं करते कि एक-तरफा दिशात्मक सैंपलिंग सीमाओं के पास बेहतर है; वास्तव में, उनके परिणाम और तुलना यह सुझाव देते हैं कि यह नहीं है। वे स्वीकार करते हैं कि उनके पैरिटी अपघटन परिणाम स्लेपियन थ्योरी (Slepian theory) या प्रतिबंधित वेरोसे एम्बेडिंग (Veronese embedding) साहित्य के उदाहरण हो सकते हैं, उन्हें नए खोजों के बजाय "ओपन पोजिशनिंग प्रश्नों" के रूप में फ्रेम करते हैं। शोध पत्र निष्कर्ष निकालता है कि हालांकि एक-तरफा रिकवरी की ज्यामिति को अच्छी तरह से वर्णित किया गया है, लेकिन दिशात्मक स्कीमा की व्यावहारिक उपयोगिता ज्यामिति, ट्रंकेशन और शोर के बीच मौलिक ट्रेड-ऑफ द्वारा सीमित है।