Simultaneous diagonalization via congruence: Nondegenerate families of symmetric matrices

तकनीकी सारांश: गैर-अपभ्रंश परिवारों के लिए समरूपता (Congruence) के माध्यम से एक साथ विकर्णीकरण (Simultaneous Diagonalization)

समस्या विवरण
यह शोध पत्र वास्तविक सममित आव्यूह (real symmetric matrices) या समतुल्य सममित द्वरेखीय रूपों (symmetric bilinear forms) के एक सामान्य परिवार के लिए समरूपता के माध्यम से एक साथ विकर्णीकरण की समस्या को संबोधित करता है। दिए गए एक वास्तविक सदिश समष्टि (vector space) $E$ के लिए, जिसका आयाम $n$ है, और एक द्वरेखीय रूपों का परिवार $\mathcal{F} = \{\gamma_t \mid t \in I\}$ के लिए, मुख्य उद्देश्य यह निर्धारित करना है कि किन आवश्यक और पर्याप्त शर्तों के तहत $E$ का एक एकल आधार $B$ मौजूद होता है जो परिवार के प्रत्येक रूप को एक साथ विकर्णीय बनाता है। आव्यूह के संदर्भ में, दिए गए सममित आव्यूहों के परिवार $\{A_1, \dots, A_m\}$ के लिए, एक व्य परिवर्तनीय आव्यूह $Q$ खोजना लक्ष्य है जिससे $Q^T A_i Q$ सभी $i$ के लिए विकर्णीय हो। जबकि दो सममित रूपों का मामला अच्छी तरह से अध्ययन किया गया है, शोध पत्र नोट करता है कि सामान्य संख्या में रूपों के लिए परिणाम अत्यंत सीमित रहे हैं, और पिछले दशक में ही महत्वपूर्ण योगदान उभर कर आए हैं।

कार्यप्रणाली (Methodology)
लेखक एक समन्वय-मुक्त (coordinate-free) दृष्टिकोण अपनाते हैं, जिसमें सममित आव्यूहों को सममित द्वरेखीय रूपों के प्रतिनिधित्व के रूप में माना जाता है। कार्यप्रणाली निम्नलिखित संरचनात्मक धारणाओं और निर्माणों पर आधारित है:

1. गैर-अपभ्रंशता (Non-degeneracy): परिवार $\mathcal{F}$ को गैर-अपभ्रंश माना गया है, जिसका अर्थ है कि इसमें कम से कम एक गैर-अपभ्रंश तत्व $\gamma_{t_0}$ शामिल है। यह एक तुल्यता $\gamma_{t_0}^\flat: E \to E^*$ और इसके व्युत्क्रम $\gamma_{t_0}^\#$ को परिभाषित करने की अनुमति देता है।
2. रैखिक ऑपरेटर (Linear Operators): $E$ पर एक रैखिक ऑपरेटर $G_{t_0}(t)$ को संरचना $G_{t_0}(t) := \gamma_{t_0}^\# \circ \gamma_t^\flat$ के माध्यम से परिभाषित किया जाता है। एक आधार के सापेक्ष आव्यूह प्रतिनिधित्व में, यह $G_{t_0}(t) = [\gamma_{t_0}]^{-1} [\gamma_t]$ के अनुरूप है।
3. सहायक द्वरेखीय रूप (Auxiliary Bilinear Forms): एक नया द्वरेखीय रूप $b_{t_0}(s, t)$ पेश किया गया है, जिसे संबंध $b_{t_0}(s, t)(u, v) := \gamma_s(u, G_{t_0}(t) \cdot v)$ द्वारा परिभाषित किया गया है। इस रूप की समरूपता विश्लेषण के केंद्र में है।

प्रमाण रणनीति $E$ को ऑपरेटर $G_{t_0}(t)$ के आइगनस्पेस (eigenspaces) में विघटित करने पर आधारित है। लेखक यह प्रदर्शित करते हैं कि यदि विशिष्ट बीजगणितीय शर्तें पूरी होती हैं, तो ये आइगनस्पेस परिवार के सभी रूपों के सापेक्ष परस्पर लंबवत (orthogonal) होते हैं, जिससे एक समकालिक लंबवत आधार का आगमनात्मक निर्माण (inductive construction) संभव होता है।

मुख्य योगदान और परिणाम
यह शोध पत्र मुख्य प्रमेय (प्रमेय 2) और इसके आव्यूह-सैद्धांतिक समकक्ष (प्रमेय 1) को स्थापित करता है:

प्रमेय 1 (आव्यूह रूप): मान लीजिए $A_1, \dots, A_m$ वास्तविक $n \times n$ सममित आव्यूह हैं, और $A_0$ एक व्य परिवर्तनीय आव्यूह है जो उनके रैखिक संयोजन से बना है। परिवार $\{A_1, \dots, A_m\}$ समरूपता के माध्यम से एक साथ विकर्णीय है यदि और केवल यदि:

• (SD1) प्रत्येक आव्यूह $G_i := A_0^{-1} A_i$ विकर्णीय है (अर्थात, इसका जॉर्डन कैनोनिकल रूप विकर्णीय है)।
• (SD2) प्रत्येक युग्म $i, j$ के लिए, आव्यूह गुणनफल $b_{ij} := A_i A_0^{-1} A_j$ सममित है (अर्थात, $b_{ij} = b_{ji}$)।

प्रमेय 2 (समन्वय-मुक्त रूप): एक परिवार $\mathcal{F}$ के लिए जिसमें एक गैर-अपभ्रंश तत्व $\gamma_{t_0}$ है, परिवार एक साथ विकर्णीय है यदि और केवल यदि:

• (SD1) प्रत्येक $t \in I$ के लिए, ऑपरेटर $G_{t_0}(t)$ विकर्णीय है।
• (SD2) प्रत्येक युग्म $s, t \in I$ के लिए, द्वरेखीय रूप $b_{t_0}(s, t)$ सममित है।

उपपत्ति (Corollaries) और विशेष मामले:

• धनात्मक/ऋणात्मक निश्चित मामला (उपपत्ति 1 और 2): यदि संदर्भ रूप $\gamma_{t_0}$ (या आव्यूह $A_0$) धनात्मक या ऋणात्मक निश्चित है, तो शर्त (SD1) स्वतः ही संतुष्ट हो जाती है क्योंकि $G_{t_0}(t)$, $\gamma_{t_0}$ द्वारा परिभाषित आंतरिक गुणन (inner product) के सापेक्ष स्व-संलग्न (self-adjoint) बन जाता है। इस विशिष्ट मामले में, एक साथ विकर्णीयता केवल शर्त (SD2) (अर्थात, $A_i A_0^{-1} A_j$ की समरूपता) पर निर्भर करती है। यह परिणाम पिछले कार्य [12] के प्रमेय 3.3 के समन्वय-मुक्त समकक्ष के रूप में प्रस्तुत किया गया है।

महत्व और दावे
शोध पत्र का दावा है कि यह सममित रूपों के एक सामान्य संख्या के एक साथ विकर्णीकरण के संबंध में पिछले दशक के मौजूदा परिणामों का सामान्यीकरण करता है। गैर-अपभ्रंश परिवारों (जो केवल धनात्मक निश्चित पेंसिल तक सीमित नहीं हैं) के लिए आवश्यक और पर्याप्त स्थितियाँ प्रदान करके, यह कार्य इस समस्या के लिए एक व्यापक बीजगणितीय ढांचा प्रदान करता है।

लेखक कॉस्मोलॉजी (cosmology) में इसके संभावित अनुप्रयोग के माध्यम से इस कार्य के महत्व को रेखांकित करते हैं, विशेष रूप से यह उल्लेख करते हुए कि यह शोध बियांकी मॉडल्स (Bianchi models) की एक साथ विकर्णीयता की जांच करने से प्रेरित था। यह शोध पत्र स्वयं को एक सैद्धांतिक प्रगति के रूप में प्रस्तुत करता है जो उन बीजगणितीय संबंधों को स्पष्ट करता है जो एक साथ विकर्णीयता सुनिश्चित करने के लिए आवश्यक हैं, जिससे ऐतिहासिक रूप से सीमित दो-रूप प्रणालियों के दायरे से आगे बढ़ा जा सके। परिणाम एक सुव्यवस्थित विस्तार के रूप में प्रस्तुत किए गए हैं जो मनमाने आकार के परिवारों के लिए एकीकृत स्थिति प्रदान करते हैं।