Observer Design over Hypercomplex Quaternions

यहाँ माइकल सेबेक के शोध पत्र "Observer Design over Hypercomplex Quaternions" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र क्वार्टरनियन ($\mathbb{H}$) के डिवीजन अलजेब्रा पर परिभाषित लीनियर टाइम-इनवेरिएंट (LTI) सिस्टम के लिए स्टेट ऑब्जर्वर (state observers) डिजाइन करने की चुनौती को संबोधित करता है।

• मुख्य कठिनाई: वास्तविक ($\mathbb{R}$) या जटिल ($\mathbb{C}$) संख्याओं के विपरीत, क्वार्टरनियन गुणन गैर-क्रमविनिमेय (non-commutative) होता है। यह मौलिक गुण मानक लीनियर अलजेब्रा उपकरणों को विफल कर देता है:
  • डिटरमिनेंट्स (determinants) और विशेषता बहुपद (characteristic polynomials) सीधे तौर पर सामान्यीकृत नहीं होते हैं।
  • केले-हैमिल्टन प्रमेय (Cayley-Hamilton theorem) अपने शास्त्रीय रूप में विफल हो जाता है।
  • आइगेनवैल्यू (eigenvalues) अद्वितीय स्केलर नहीं होते, बल्कि वे समानता वर्गों (similarity classes) ($[\lambda] = \{\alpha^{-1}\lambda\alpha \mid \alpha \in \mathbb{H} \setminus \{0\}\}$) के रूप में मौजूद होते हैं।
  • बहुपद मूल्यांकन (polynomial evaluation) इस बात पर निर्भर करता है कि गुणांक (coefficients) बाएँ (left) से कार्य कर रहे हैं या दाएँ (right) से।
• वर्तमान सीमाएँ: मौजूदा अनुप्रयोग (जैसे एयरोस्पेस और रोबोटिक्स में) आमतौर पर क्वार्टरनिक सिस्टम को वास्तविक 4-वेक्टर निर्देशांकों में परिवर्तित करते हैं ताकि मानक ऑब्जर्वर्स का उपयोग किया जा सके। यह दृष्टिकोण अंतर्निहित हाइपरकॉम्प्लेक्स संरचना को खो देता है और क्वार्टरनिक स्पेक्ट्रा और समानता वर्गों के संदर्भ में सीधे तर्क करने से रोकता है।
• लक्ष्य: एक ऐसा नेटिव ऑब्जवर डिजाइन फ्रेमवर्क विकसित करना जो $\mathbb{H}$ पर संचालित हो, जो डिटरमिनेंट्स और विशेषता बहुपदों से बचता हो, और सीधे ऑब्जर्वर पोल्स (observer poles) को क्वार्टरनिक समानता वर्गों के रूप में असाइन करता हो।

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

लेखक एक डिटरमिनेंट-मुक्त, विशेषता-बहुपद-मुक्त फ्रेमवर्क प्रस्तावित करते हैं जो ऑब्जर्वेबिलिटी (observability) और द्वैतता (duality) पर आधारित है।

A. गणितीय आधार (Mathematical Foundations)

• राइट-मॉड्यूल कन्वेंशन (Right-Module Convention): सिस्टम को एक राइट $\mathbb{H}$-मॉड्यूल के रूप में मॉडल किया गया है जहाँ मैट्रिसेस बाएँ से कार्य करते हैं और स्केलर दाएँ से गुणा होते हैं ($Ax + Bu$)।
• स्पेक्ट्रम परिभाषा (Spectrum Definition): स्थिरता और पोल प्लेसमेंट को राइट आइगेनवैल्यूज ($Av = v\lambda$) के माध्यम से परिभाषित किया जाता है, जो समानता रूपांतरण (similarity transformations) के तहत अपरिवर्तित रहते हैं।
• द्वैतता (Duality): शोध पत्र यह स्थापित करता है कि $(A, C)$ का सही डुअल $(A^*, C^*)$ है, जहाँ $*$ कंजुगेट ट्रांसपोज़ (conjugate transpose) को दर्शाता है। यह साधारण ट्रांसपोज़ के विपरीत, हर्मिटियन फॉर्म और स्पेक्ट्रल गुणों को संरक्षित करता है।

B. ऑब्जर्वेबल कंपेनियन फॉर्म (Observable Companion Form)

विशेषता बहुपद के बजाय, शोध पत्र ऑब्जर्वेबिलिटी मैट्रिक्स $\mathcal{O}$ से सीधे एक राइट ऑब्जर्वेबल कंपेनियन फॉर्म का निर्माण करता है:

1. निर्माण: एक ऑब्जर्वेबल पेयर $(A, C)$ के लिए, एक समानता रूपांतरण $T$ प्राप्त किया जाता है ($\mathcal{O}^{-1}e_n$ का उपयोग करके $T = [\mathcal{O}^{-1}e_n, A\mathcal{O}^{-1}e_n, \dots]$)।
2. परिणाम: सिस्टम को एक कैनोनिकल रूप $(A_o, C_o)$ में परिवर्तित किया जाता है जहाँ $A_o$ में एक विशिष्ट सब-डायगोनल संरचना होती है और अंतिम कॉलम एक कंपेनियन बहुपद $a(\lambda)$ के गुणांकों को समाहित करता है।
3. मुख्य गुण: शोध पत्र सिद्ध करता है कि जबकि शास्त्रीय केले-हैमिल्टन प्रमेय विफल हो जाता है, कंपेनियन बहुपद लेफ्ट सब्स्टीट्यूशन (left substitution) के तहत कंपेनियन मैट्रिक्स $A_o$ को शून्य करता है ($a(A_o)_\ell = 0$)।

C. पोल प्लेसमेंट रणनीतियाँ (Pole Placement Strategies)

यह पेपर ऑब्जर्वर पोल्स (राइट-आइगेनवैल्यू समानता वर्ग) असाइन करने के दो तरीके प्रस्तुत करता है:

1. कंपेनियन कोऑर्डिनेट अपडेट (Companion Coordinate Update):
   • सिस्टम को ऑब्जर्वेबल कंपेनियन फॉर्म में बदलें।
   • वांछित बहुपद गुणांकों ($d_i$) और वर्तमान गुणांकों ($a_i$) के बीच के अंतर की गणना करें।
   • रूपांतरित निर्देशांकों में सीधे ऑब्जर्वर गेन (gain) को अपडेट करें और मूल सिस्टम में वापस मैप करें।
   • क्षमता: यह विधि किसी भी लक्षित बहुपद के लिए काम करती है, जिसमें गैर-वास्तविक (गैर-सेंट्रल) क्वार्टरनिक गुणांक वाले बहुपद भी शामिल हैं।
2. क्वार्टरनिक ऐकरमैन फॉर्मूला (Quaternionic Ackermann's Formula):
   • ऑब्जर्वर गेन $L$ के लिए एक सीधा, वन-शॉट फॉर्मूला:
     $$L = a_d(A) \mathcal{O}^{-1} e_n$$
   • प्रतिबंध: यह फॉर्मूला केवल तभी मान्य है जब वांछित बहुपद $a_d(\lambda)$ के गुणांक वास्तविक (real coefficients) हों। वास्तविक गुणांक $\mathbb{H}$ के केंद्र (center) में स्थित होते हैं, जो यह सुनिश्चित करते हैं कि बहुपद मूल्यांकन समानता-इक्विवेरिएंट (similarity-equivariant) है। यदि लक्षित बहुपद में क्वार्टरनिक गुणांक हैं, तो यह फॉर्मूला गलत परिणाम देगा।

3. मुख्य योगदान (Key Contributions)

1. नेटिव क्वार्टरनिक ऑब्जर्वर डिजाइन: बिना वास्तविक निर्देशांकों में परिवर्तित किए, सीधे $\mathbb{H}$ पर संचालित होने वाले पूर्ण ऑब्जर्वर डिजाइन फ्रेमवर्क का पहला व्युत्पन्न।
2. डिटरमिनेंट-मुक्त फ्रेमवर्क: गैर-मौजूद या समस्याग्रस्त क्वार्टरनिक विशेषता बहुपदों के स्थान पर विशुद्ध रूप से ऑब्जर्वेबिलिटी मैट्रिक्स से प्राप्त एक रचनात्मक ऑब्जर्वेबल कंपेनियन फॉर्म का उपयोग।
3. स्पेक्ट्रल लक्षण वर्णन (Spectral Characterization): यह सिद्ध करता है कि ऑब्जर्वेबल कंपेनियन मैट्रिक्स का राइट स्पेक्ट्रम, इसके कंपेनियन बहुपद के राइट ज़ीरो के समानता वर्गों के बिल्कुल अनुरूप है।
4. परिष्कृत ऐकरमैन फॉर्मूला: एक क्वार्टरनिक ऑब्जर्वर ऐकरमैन फॉर्मूला व्युत्पन्न करता है जो कठोरता से सिद्ध करता है कि यह केवल वास्तविक-गुणांक वाले लक्षित बहुपदों के लिए काम करता है, जो शास्त्रीय फॉर्मूलों को गैर-क्रमविनिमेय बीजगणित पर लागू करने के बारे में एक सामान्य गलत धारणा को स्पष्ट करता है।
5. द्वैतता स्पष्टीकरण (Duality Clarification): यह मानक ट्रांसपोज़ के बजाय कंजुगेट ट्रांसपोज़ ($*$) का उपयोग करके $\mathbb{H}$ पर कंट्रोलर-ऑब्जर्वर द्वैतता को स्पष्ट रूप से परिभाषित करता है।

4. परिणाम (Results)

• सैद्धांतिक सत्यापन: प्रमेय 1–6 कंपेनियन फॉर्म के अस्तित्व, कंपेनियन बहुपद के उन्मूलन गुण (annihilation property), और पोल प्लेसमेंट विधियों की शुद्धता के लिए कठोर प्रमाण प्रदान करते हैं।
• सिमुलेशन: एक सिमुलेशन उदाहरण (उदाहरण 5) व्युत्पन्न गेन्स का उपयोग करके एक क्वार्टरनिक ऑब्जर्वर के अभिसरण (convergence) को प्रदर्शित करता है।
  • सिस्टम: क्वार्टरनिक मैट्रिसेस के साथ 2nd-order SISO सिस्टम।
  • परिणाम: जब व्युत्पन्न गेन्स का उपयोग किया जाता है, तो अनुमानित अवस्था $\hat{x}(t)$ सभी चार घटकों (स्केलर, $i$, $j$, $k$) में वास्तविक अवस्था $x(t)$ की ओर अभिसरित होती है।
• तुलनात्मक विश्लेषण: पेपर यह प्रदर्शित करता है कि जबकि कंपेनियन कोऑर्डिनेट अपडेट विधि क्वार्टरनिक लक्षित पोल्स (जैसे $-1+j$) को सफलतापूर्वक संभालती है, ऐकरमैन फॉर्मूला इस विशिष्ट मामले में विफल हो जाता है, जो शॉर्टकट फॉर्मूला के लिए वास्तविक-गुणांक प्रतिबंध की आवश्यकता को पुख्ता करता है।

5. महत्व (Significance)

• संरचनात्मक संरक्षण (Structural Preservation): यह कार्य इंजीनियरों और शोधकर्ताओं को ऐसे फिल्टर और ऑब्जर्वर डिजाइन करने की अनुमति देता है जो क्वार्टरनिक डेटा की अंतर्निहित ज्यामितीय और बीजगणितीय संरचना का सम्मान करते हैं (जो 3D रोटेशन, ध्रुवीकरण और क्वांटम डायनेमिक्स के लिए महत्वपूर्ण है)।
• एल्गोरिदम दक्षता (Algorithmic Efficiency): 4D वास्तविक वेक्टर्स में रूपांतरण से बचकर, प्रस्तावित विधियाँ उच्च-आयामी क्वार्टरनिक सिस्टम के लिए अधिक गणनात्मक रूप से कुशल और संख्यात्मक रूप से स्थिर हो सकती हैं।
• सैद्धांतिक स्पष्टता: यह आइगेनवैल्यू और बहुपद मूल्यांकन के संबंध में अस्पष्टताओं को हल करता है, यह स्पष्ट "नुस्खा" प्रदान करता है कि कब मानक नियंत्रण अंतर्ज्ञान (control intuition) काम करता है और कब इसे संशोधन की आवश्यकता होती है (विशेष रूप से गुणन के पक्ष और गुणांक की केंद्रीयता के संबंध में)।
• अनुप्रयोग का दायरा: यह फ्रेमवर्क क्वांटम नियंत्रण, NMR/MRI पल्स डिजाइन, कलर इमेजिंग और क्वार्टरनियन-वैल्यूड न्यूरल नेटवर्क जैसे क्षेत्रों में सीधे लागू होता है, जहाँ हाइपरकॉम्प्लेक्स संरचना को बनाए रखना एल्गोरिथम के रूप में सार्थक है।