t-Product and t-STP of Cubic Matrices With Application to Hyper-Networked Systems

यहाँ डेज़ान चेंग और झेंगपिंग जी के शोध पत्र "t-Product and t-STP of Cubic Matrices With Application to Hyper-Networked Systems" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र क्यूबिक मैट्रिसेस (क्रम-3 हाइपरमैट्रिसेस) का उपयोग करके गतिशील नियंत्रण प्रणालियों (dynamic control systems) को मॉडल करने में आने वाली सीमाओं को संबोधित करता है, जो सिग्नल प्रोसेसिंग, कंप्यूटर विजन और जटिल नेटवर्क प्रणालियों जैसे क्षेत्रों में उच्च-क्रम डेटा संरचनाओं को प्रदर्शित करने के लिए आवश्यक हैं।

क्यूबिक मैट्रिसेस के लिए दो मौजूदा बीजगणितीय ढांचे (algebraic frameworks) के महत्वपूर्ण दोष हैं:

1. t-Product: किल्मर एट अल. द्वारा प्रस्तावित, यह ऑपरेशन टेंसर विश्लेषण के लिए शक्तिशाली है लेकिन कठोर आयामी बाधाएं (strict dimensional constraints) लगाता है। इसके लिए क्यूबिक मैट्रिसेस के आंतरिक आयामों का सटीक रूप से मेल खाना आवश्यक है (जैसे, $A \in \mathbb{R}^{m \times n \times s}$ और $B \in \mathbb{R}^{n \times p \times s}$), जो बदलते आयामों वाले सिस्टम के मॉडलिंग लचीलेपन को सीमित करता है।
2. Dimension-Keeping Semi-Tensor Product (DK-STP): यह क्लासिकल सेमी-टेन्सर प्रोडक्ट (STP) का एक विस्तार है जो आयामों को बढ़ाए बिना मनमाने आयामों वाली मैट्रिसेस के गुणन की अनुमति देता है। हालाँकि, जब इसे क्यूबिक मैट्रिसेस पर लागू किया जाता है, तो DK-STP विच्छेदित उप-प्रणाली गतिकी (decoupled subsystem dynamics) का परिणाम देता है। विशेष रूप से, यह अलग-अलग फ्रंटल स्लाइस (frontal slices) को स्वतंत्र रूप से मानता है, जिससे विभिन्न स्लाइस (उप-प्रणालियों) के बीच होने वाली अंतःक्रियाओं को पकड़ने में विफलता होती है जो जटिल, युग्मित (coupled) प्रणालियों के मॉडलिंग के लिए महत्वपूर्ण हैं।

मुख्य चुनौती: एक ऐसे एकीकृत बीजगणितीय ऑपरेशन की आवश्यकता है जो मनमाने आयामों (DK-STP की तरह) की अनुमति दे सके और साथ ही फ्रंटल स्लाइस के बीच कपलिंग (coupling) (t-product की तरह) को भी बनाए रख सके, ताकि जटिल, गैर-रेखीय और हाइपर-नेटवर्क प्र been डायनेमिक सिस्टम को मॉडल किया जा सके।

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

लेखक एक नया बीजगणितीय ढांचा प्रस्तावित करते हैं जो तीन मुख्य स्तंभों पर आधारित है:

A. मौजूदा उत्पादों की समीक्षा और विस्तार

• t-Product: इसे ब्लॉक सर्कुलेंट मैट्रिक्स ($birc$) और अनफोल्ड ऑपरेशन के माध्यम से परिभाषित किया गया है। शोध पत्र औपचारिक रूप से t-product की सहचारिता (associativity) को सिद्ध करता है, यह स्थापित करते हुए कि t-product के तहत क्यूबिक मैट्रिसेस एक रिंग, एक मॉड्यूल और एक मोनोइड (monoid) बनाते हैं।
• DK-STP: इसे प्रत्येक फ्रंटल स्लाइस पर स्वतंत्र रूप से मानक DK-STP लागू करके परिभाषित किया गया है। शोध पत्र यह प्रदर्शित करता है कि जबकि यह आयामी बाधाओं को हटा देता है, यह एक ऐसी प्रणाली की ओर ले जाता है जहाँ $k$-वाँ फ्रंटल स्लाइस दूसरों से स्वतंत्र रूप से विकसित होता है ($\dot{x}^{(k)} = A^{(k)} \star x^{(k)}$), जो युग्मित प्रणालियों के लिए अपर्याप्त है।

B. t-Semi-Tensor Product (t-STP) का प्रस्ताव

dimension flexibility और subsystem coupling के बीच के समझौते को हल करने के लिए, लेखक t-STP ($\ltimes^*$) पेश करते हैं।

• परिभाषा: t-STP, t-product और DK-STP को एकीकृत करता है। दो क्यूबिक मैट्रिसेस $A$ और $B$ के लिए, ऑपरेशन को इस प्रकार परिभाषित किया गया है:
  $$A \ltimes^* B := \Gamma(A) \ltimes B$$
  जहाँ $\Gamma(A) = bcirc(A)$ एक यूनिवर्सल होमोमोर्फिज्म (universal homomorphism) है जो क्यूबिक मैट्रिक्स को ब्लॉक-सर्कुलेंट मैट्रिक्स में मैप करता है, और $\ltimes$ एक DK-STP है।
• तंत्र (Mechanism): पहले मैट्रिक्स को उसके ब्लॉक-सर्कुलेंट रूप (via $\Gamma$) में विस्तारित करके, यह ऑपरेशन स्लाइस के बीच चक्रीय अंतःक्रियाओं (coupling) को कैप्चर करता है। फिर, मनमाने आयामों को संभालने के लिए DK-STP लागू किया जाता है।
• गुण (Properties): शोध पत्र सिद्ध करता है कि t-STP के तहत सभी क्यूबिक मैट्रिसेस का सेट एक सेमी-ग्रुप (semi-group) बनाता है। इसके अलावा, यह स्थापित करता है कि t-STP दोनों का एक सामान्यीकरण (generalization) है (जब आयाम मेल खाते हों तो t-product और जब कपलिंग की आवश्यकता न हो तो DK-STP)।

C. बीजगणितीय संरचना निर्माण (Algebraic Structure Construction)

लेखक t-STP का उपयोग करके क्यूबिक मैट्रिसेस पर बीजगणितीय संरचनाओं को व्यवस्थित रूप से व्युत्पन्न करते हैं:

• Ring और Module: $(\mathbb{R}^{m \times n \times s}, +, \ltimes^*)$ एक रिंग बनाता है, और क्यूबिक मैट्रिसेस इस रिंग पर एक लेफ्ट मॉड्यूल (left module) बनाते हैं।
• Lie Algebra और Lie Group:
  • एक Lie ब्रैकेट को $[A, B]_* = A \ltimes^* B - B \ltimes^* A$ के रूप में परिभाषित किया गया है।
  • यह एक General Linear Lie Algebra बनाता है, जिसे $gl^*(m \times n \times s, \mathbb{R})$ के रूप में चिन्हित किया गया है।
  • संबंधित प्रतिवर्ती तत्व (invertible elements) एक General Linear Lie Group, $GL^*(m \times n \times s, \mathbb{R})$ बनाते हैं।
• Universal Homomorphism: $\Gamma$ को t-STP संरचना से मानक मैट्रिक्स उत्पाद संरचना में एक होमोमोर्फिज्म के रूप में दिखाया गया है, जो जटिल टेंसर समस्याओं को विश्लेषण के लिए मानक रैखिक बीजगणित समस्याओं में मैप करने की अनुमति देता है।

D. डायनेमिक सिस्टम फॉर्मूलेशन (Dynamic System Formulation)

लेखक t-STP आधारित डायनेमिक (नियंत्रण) प्रणालियों का निर्माण करते हैं:

• रैखिक प्रणालियाँ (Linear Systems): $\dot{x}(t) = A \ltimes^* x(t) + B \ltimes u(t)$।
• गैर-रेखीय प्रणालियाँ (Nonlinear Systems): $\dot{x}(t) = f_*(x(t)) + \sum g_i(x(t)) u_i(t)$।
• समाधान (Solution): प्रक्षेपवक्र (trajectory) को t-function (जैसे, $exp_*$) का उपयोग करके हल किया जाता है, जिसे t-STP पावर का उपयोग करके टेलर सीरीज़ विस्तार के माध्यम से परिभाषित किया गया है। समाधान को $\Gamma$ मैप के माध्यम से मानक यूक्लिडियन नियंत्रण प्रणालियों के समान (bi-similar) दिखाया गया है।

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

1. नया बीजगणितीय ऑपरेशन (t-STP): t-Semi-Tensor Product का परिचय, जो सफलतापूर्वक DK-STP की dimension-flexibility को t-product की slice-coupling क्षमता के साथ एकीकृत करता है।
2. बीजगणितीय सिद्धांत (Algebraic Theory): t-STP के तहत क्यूबिक मैट्रिसेस के लिए बीजगणितीय संरचनाओं (groups, rings, modules, Lie algebras, और Lie groups) का कठोर व्युत्पन्न, जो उच्च-क्रम नियंत्रण सिद्धांत (higher-order control theory) के लिए एक सैद्धांतिक आधार प्रदान करता है।
3. डायनेमिक सिस्टम फ्रेमवर्क: क्यूबिक मैट्रिसेस पर निर्मित रैखिक और गैर-रेखीय डायनेमिक नियंत्रण प्रणालियाँ जो मनमाने आयामों और युग्मित उप-प्रणालियों की अनुमति देती हैं।
4. हाइपर-नेटवर्क्स के लिए अनुप्रयोग: हाइपर-नेटवर्क वाले विकासवादी खेलों (evolutionary games) को मॉडल करने के लिए इस ढांचे का सफल अनुप्रयोग, जिसमें निर्माताओं, थोक विक्रेताओं और बाजारों को शामिल करने वाला एक बहु-स्तरीय आपूर्ति श्रृंखला (multi-tiered supply chain) शामिल है।

4. परिणाम (Results)

• सहचारिता प्रमाण (Associativity Proof): शोध पत्र t-product की सहचारिता का एक कठोर प्रमाण प्रदान करता है, जो एक ऐसा गुण है जिसे अक्सर पूर्व साहित्य में माना जाता है लेकिन स्पष्ट रूप से सिद्ध नहीं किया गया है।
• कपलिंग सत्यापन (Coupling Verification): t-STP फॉर्मूलेशन के माध्यम से, परिणामी डायनेमिक समीकरण दिखाते हैं कि एक फ्रंटल स्लाइस का विकास अन्य सभी स्लाइस पर निर्भर करता है, जो DK-STP के विपरीत है जहाँ स्लाइस स्वतंत्र होते हैं।
• मॉडल रिडक्शन (Model Reduction): यह ढांचा मॉडल आयाम न्यूनीकरण (model dimension reduction) की महत्वपूर्ण क्षमता प्रदर्शित करता है। क्लासिकल लीनियर सिस्टम में, एक स्टेट $X \in \mathbb{R}^{m \times n \times s}$ के लिए $mns \times mns$ आकार के ट्रांजिशन मैट्रिक्स की आवश्यकता होगी। t-STP फ्रेमवर्क के तहत, ट्रांजिशन मैट्रिक्स को $ms \times p$ (या समान) आयाम के क्यूबिक मैट्रिक्स द्वारा दर्शाया जाता है, जो बड़े पैमाने के डेटा के लिए कम्प्यूटेशनल जटिलता को काफी कम कर देता है।
• आपूर्ति श्रृंखला सिमुलेशन (Supply Chain Simulation): एक आपूर्ति नेटवर्क (2 निर्माता, 3 थोक विक्रेता, 4 बाजार) पर अनुप्रयोग ने अंतःक्रियाओं को एक हाइपर-ग्राफ के रूप में सफलतापूर्वक मॉडल किया। सिस्टम को एक डायनेमिक कंट्रोल सिस्टम के रूप में तैयार किया गया है जहाँ रणनीतियाँ पेऑफ ग्रेडिएंट्स (payoff gradients) के आधार पर विकसित होती हैं, जो जटिल नेटवर्क गेम में t-STP की व्यावहारिक उपयोगिता को प्रदर्शित करता है।

5. महत्व (Significance)

• सैद्धांतिक प्रगति: यह कार्य टेंसर बीजगणित (t-product) और सेमी-टेन्सर प्रोडक्ट थ्योरी (STP) के बीच के अंतर को पाटता है, जो उच्च-क्रम डेटा डायनेमिक्स के लिए एक एकीकृत भाषा बनाता है। यह Lie groups और algebras की अवधारणा को गैर-वर्ग (non-square), उच्च-क्रम टेंसरों तक विस्तारित करता है।
• व्यावहारिक उपयोगिता: यह ढांचा Big Data और Hyper-Networked Systems के लिए विशेष रूप से मूल्यवान है जहाँ डेटा स्वाभाविक रूप से बहु-आयामी है और अंतःक्रियाएँ जटिल हैं। स्टेट स्पेस को बढ़ाए बिना मनमाने आयामों को संभालने की क्षमता इसे IoT, आपूर्ति श्रृंखला और जैविक नेटवर्क के आधुनिक नियंत्रण समस्याओं के लिए आदर्श बनाती है।
• भविष्य की दिशाएँ: शोध पत्र सुझाव देता है कि इन तकनीकों को क्रम $d > 3$ के हाइपरमैट्रिसेस तक विस्तारित किया जा सकता है और गैर-रेखीय ज्यामितीय नियंत्रण (nonlinear geometric control) पर लागू किया जा सकता है, जो उच्च-आयामी डायनेमिक सिस्टम के विश्लेषण के लिए एक नया मार्ग प्रदान करता है।

संक्षेप में, यह शोध पत्र क्यूबिक मैट्रिसेस द्वारा प्रतिनिधित्व किए जाने वाले जटिल सिस्टम को नियंत्रित करने और उनका विश्लेषण करने के लिए एक मजबूत गणितीय टूलकिट प्रदान करता है, जो आयामी बाधाओं और उप-प्रणाली विच्छेदन (subsystem decoupling) जैसी पिछली सीमाओं को दूर करता है।