तकनीकी सारांश: मल्टीप्लिकेटिव मैट्रिक्स कंपाउंड ऑपरेटर का व्युत्क्रमण (Inversion)

समस्या विवरण

यह शोध पत्र $k$-वें मल्टीप्लिकेटिव कंपाउंड ऑपरेटर की व्युत्क्रम समस्या (inverse problem) को संबोधित करता है। एक मैट्रिक्स $M \in \mathbb{R}^{\binom{n}{k} \times \binom{m}{k}}$ के दिए जाने पर, लक्ष्य यह निर्धारित करना है कि क्या ऐसा कोई मैट्रिक्स $A \in \mathbb{R}^{n \times m}$ मौजूद है कि $M = C_k(A)$ हो, जहाँ $C_k(A)$, $A$ के $k$-वें मल्टीप्लिकेटिव कंपाउंड को दर्शाता है। यदि ऐसा कोई मैट्रिक्स मौजूद है (अर्थात, $M$ "कंपाउंड-डिकम्पोजेबल" है), तो यह शोध पत्र उन सभी संभावित प्री-इमेजेस (pre-images) $A$ के सेट को खोजने का प्रयास करता है और उन्हें पुनः प्राप्त करने के लिए एक रचनात्मक एल्गोरिदम प्रदान करता है।

लेखक ध्यान दिलाते हैं कि जबकि कंपाउंड मैट्रिसेस लीनियर अलजेब्रा, डायनेमिकल सिस्टम्स और कंट्रोल थ्योरी में अच्छी तरह से अध्ययन किए गए हैं (श्वार्ज़, ली, मुल्डोनी और अन्य के कार्यों का हवाला देते हुए), $A$ से $C_k(A)$ को पुनः प्राप्त करने की विशिष्ट व्युत्क्रम समस्या पर पहले विचार नहीं किया गया था।

कार्यप्रणाली और एल्गोरिदम

प्रस्तावित समाधान सिंगुलर वैल्यू डिकंपोजिशन (SVD) और एक्सटीरियर अलजेब्रा (exterior algebra) के गुणों पर आधारित है। कार्यप्रणाली इस धारणा के तहत आगे बढ़ती है कि $M$ के गैर-शून्य सिंगुलर मान (singular values) भिन्न (distinct) हैं (एक स्थिति जिसे एक इन्वर्टिबल ट्रांसफॉर्मेशन वाले जेनेरिक प्रीप्रोसेसिंग स्टेप के माध्यम से सुनिश्चित किया जा सकता है)।

मुख्य एल्गोरिदम रिकवरी प्रक्रिया को चार मुख्य चरणों में विभाजित करता है:

1. वेज-डिकंपोजिशन (सिंगुलर वेक्टर रिकवरी):
   एल्गोरिदम $M$ के बाएं ($L$) और दाएं ($R$) सिंगुलर वेक्टर मैट्रिसेस के कॉलमों को $k$-वें एक्सटीरियर पावर में डिकम्पोज़ेबल वेक्टर्स के रूप में मानता है। इस गुण का उपयोग करते हुए कि एक डिकम्पोज़ेबल वेक्टर $z = u_1 \wedge \dots \wedge u_k$ अनन्य रूप से सबस्पेस $\text{span}\{u_1, \dots, u_k\}$ को परिभाषित करता है, लेखक "वेज मैट्रिसेस" $M_z$ का निर्माण करते हैं जिनके कर्नेल (kernels) इन सबस्पेस से संबंधित होते हैं। इन मैट्रिसेस के कर्नेल की गणना करके और उनके एक-आयामी युग्म-प्रतिच्छेदन (pairwise intersections) को खोजकर, एल्गोरिदम $A$ के व्यक्तिगत सिंगुलर वेक्टर्स को (एक चिह्न/sign तक) पुनः प्राप्त करता है। इस चरण को थ्योरम 2 और एल्गोरिदम 1 में औपचारिक रूप दिया गया है।

2. सिंगुलर वैल्यूज का क्रम निर्धारण (Ordering Singular Values):
   चूंकि $M$ के सिंगुलर मान ( $M=LSR^\top$ में $S$ के विकर्ण प्रविष्टियाँ) आवश्यक रूप से $A$ के कंपाउंड सिंगुलर मानों के समान क्रम में नहीं होते हैं, इसलिए एल्गोरिदम रिकवर किए गए सिंगुलर वेक्टर्स $\hat{V}$ का उपयोग करके $C_k(\hat{\Sigma})$ की गणना करता है। यह $S$ की विकर्ण प्रविष्टियों को कंपाउंड सिंगुलर मानों के लेक्सिकोग्राफिकल ऑर्डर (lexicographical order) के अनुरूप पुनर्व्यवस्थित करने की अनुमति देता है।

3. साइन-कंसिस्टेंसी रिस्टोरेशन (Sign-Consistency Restoration):
   वेज-डिकंपोजिशन चरण सिंगुलर वेक्टर्स को एक मनमाने चिह्न (sign) तक पुनः प्राप्त करता है। चूंकि $A$ को पुनर्गठित करने के लिए बाएं और दाएं सिंगुलर वेक्टर्स के चिह्न सुसंगत होने चाहिए, इसलिए एल्गोरिदम 2 का उपयोग किया जाता है। यह बाएं और दाएं सिंगुलर वेक्टर्स के चिह्नों को संरेखित करने के लिए कंपाउंड ऑपरेटर के मल्टीप्लिकेटिव गुण का लाभ उठाता है, जिससे यह सुनिश्चित होता है कि $C_k(\hat{V})$ और $C_k(\hat{W})$, क्रमशः $L$ और $R$ के चिह्नों से मेल खाते हैं।

4. सिंगुलर वैल्यू रिकवरी:
   एक बार जब सिंगुलर वेक्टर्स और क्रमबद्ध कंपाउंड सिंगुलर मान स्थापित हो जाते हैं, तो $A$ के मूल सिंगुलर मानों को एक रैखिक प्रणाली (linear system) को हल करके पुनः प्राप्त किया जाता है। $A$ के सिंगुलर मानों ($\sigma_i$) और $C_k(\Sigma)$ की विकर्ण प्रविष्टियों के बीच का संबंध मल्टीप्लिकेटिव ($\prod \sigma_i$) है। लॉग लेने से यह एक रैखिक प्रणाली $y = Lx$ में बदल जाता है, जिसे लेम्मा 8 में दिखाए अनुसार अद्वितीय रूप से हल किया जाता है।

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

1. अद्वितीयता का लक्षण वर्णन (Characterization of Uniqueness)

शोध पत्र $M$ के रैंक के आधार पर प्री-इमेज सेट का पूर्ण लक्षण वर्णन प्रदान करता है:

• मामला $\text{rank}(M) \le 1$: यदि $k > \text{rank}(A)$, तो $C_k(A) = 0$। यदि $k = \text{rank}(A)$ और $\text{rank}(M)=1$, तो ऐसे अनंत मैट्रिक्स $A$ मौजूद हैं कि $C_k(A) = M$। विशेष रूप से, यदि $A = UV^\top$ एक रैंक-रिवीलिंग फैक्टराइजेशन है, तो कोई भी मैट्रिक्स $B = UTV^\top$ जिसमें $\det(T)=1$ है, समान कंपाउंड देगा।
• मामला $\text{rank}(M) > 1$: यदि $k < \text{rank}(A)$, तो प्री-इमेज एक समग्र चिह्न (overall sign) तक अद्वितीय है। अर्थात, यदि $C_k(A) = C_k(B)$, तो $A = B$ (यदि $k$ विषम है) या $A = \pm B$ (यदि $k$ सम है)।

2. रचनात्मक एल्गोरिदम और जटिलता

लेखक मैट्रिक्स $A$ को पुनः प्राप्त करने के लिए एक बहुपद-समय (polynomial-time) एल्गोरिदम प्रस्तुत करते हैं। समय जटिलता को थ्योरम 1 में विश्लेषित किया गया है:

• $k < \lceil \text{rank}(A)/2 \rceil$ के लिए, जटिलता $O(\max_{p \in \{m,n\}} [\binom{p}{k}^3 + \binom{p}{k}^2 \binom{r}{k}])$ है।
• बड़े $k$ के लिए, जटिलता में सबस्पेस के पुनरावृत्त प्रतिच्छेदन से संबंधित एक अतिरिक्त लॉगरिदमिक कारक शामिल है।
• एल्गोरिदम को MATLAB में कार्यान्वित किया गया है और यह सार्वजनिक रूप से उपलब्ध है।

3. विशेष मामले

शोध पत्र एडजुगेट मैट्रिक्स (adjugate matrix) और सिल्वेस्टर-फ्रैंके प्रमेय (सिलवेस्टर-फ्रैंके थ्योरम - कोरोलरी 1) के गुणों का उपयोग करते हुए, विशेष मामले जहाँ $k = n-1$ और $M$ इन्वर्टिबल है, के लिए एक क्लोज्ड-फॉर्म समाधान नोट करता है। हालांकि, सामान्य $n, m, k$ के लिए, रचनात्मक एल्गोरिदम प्राथमिक योगदान है।

महत्व और दावे

शोध पत्र लीनियर अलजेब्रा की एक मौलिक व्युत्क्रम समस्या को हल करने का दावा करता है जिसे पहले संबोधित नहीं किया गया था। इसका महत्व निम्नलिखित में निहित है:

• सैद्धांतिक पूर्णता (Theoretical Completeness): यह एक इनवर्स कंपाउंड के अस्तित्व के लिए आवश्यक और पर्याप्त स्थितियाँ स्थापित करता है और समाधान सेट (अद्वितीय बनाम अनंत) को पूरी तरह से वर्णित करता है।
• गणना संबंधी व्यवहार्यता (Computational Feasibility): यह मैट्रिक्स को पुनः प्राप्त करने के लिए एक नियतात्मक (deterministic), बहुपद-समय एल्गोरिदम प्रदान करता है, जो सैद्धांतिक अस्तित्व से परे व्यावहारिक गणना तक पहुँचता है।
• अनुप्रयोगों के लिए आधार: लेखक इस कार्य को डायनेमिकल सिस्टम्स और कंट्रोल थ्योरी में अनुप्रयोगों के लिए एक पूर्व शर्त के रूप में देखते हैं। विशेष रूप से, वे उल्लेख करते हैं कि यह निर्धारित करना कि क्या एक सिस्टम को "k-पॉजिटिव" सिस्टम (जहाँ $k$-वाँ कंपाउंड समान चिह्नों वाला होता है) में बदला जा सकता है, इसके लिए एक दिए गए मैट्रिक्स को कंपाउंड के रूप में साकार करने की क्षमता की आवश्यकता होती है। यह व्युत्क्रम क्षमता शोधकर्ताओं को यह सत्यापित करने की अनुमति देती है कि क्या ऐसा समन्वय रूपांतरण (coordinate transformation) मौजूद है और इसे निर्मित किया जा सकता है।

लेखक भविष्य के कार्य के संबंध में विनम्र बने रहते हैं, स्पष्ट रूप से कहते हुए कि यह प्रश्न कि क्या कोई दिया गया मनमाना मैट्रिक्स कंपाउंड-डिकम्पोज़ेबल है, एक खुला प्रश्न बना हुआ है, और गैर-डिकम्पोज़ेबल मैट्रिसेस के लिए सर्वोत्तम अनुमान (best approximations) खोजना भविष्य के अनुसंधान की दिशा है।