Symmetric Bessmertny\u{i} Realizations and Field Extension Problems in Characteristic 2 - A Differential Algebra Approach

तकनीकी सारांश: सममित बेस्मेर्टनी (Bessmertny˘ı) यथार्थता और अभिलक्षण 2 में क्षेत्र विस्तार समस्याएँ

समस्या विवरण
यह शोध पत्र इस समस्या को संबोधित करता है कि एक बहुचर परिमेय आव्यूह फलन (multivariate rational matrix function) $F(z)$ के लिए एक सममित बेस्मेर्टनी यथार्थता (Symmetric Bessmertny˘ı Realization - SBR) या एक समरूप सममित बेस्मेर्टनी यथार्थता (Homogeneous Symmetric Bessmertny˘ı Realization - hSBR) प्राप्त करने के लिए आवश्यक और पर्याप्त स्थितियाँ क्या हैं। विशेष रूप से, यह उस मामले पर ध्यान केंद्रित करता है जहाँ आधार क्षेत्र $F$ का अभिलक्षण 2 (characteristic 2) ($\text{char}(F) = 2$) है।

एक बेस्मेर्टनी यथार्थता (BR), $F(z)$ को एक रैखिक आव्यूह पेंसिल (linear matrix pencil - LP) के शूर पूरक (Schur complement) के रूप में निरूपित करती है। एक SBR के लिए यह आवश्यक है कि वह पेंसिल सममित हो। जबकि ऐसे यथार्थीकरणों का अस्तित्व हाल ही में [EOW26] में स्थापित किया गया था, अभिलक्षण 2 के लिए मूल प्रमाण (विशेष रूप से $n \ge 2$ के लिए) एल्गोरिद्मिक, लंबा (लगभग 26 पृष्ठ) और केस-दर-केस विश्लेषण पर अत्यधिक निर्भर था। यह शोध पत्र एक अधिक संक्षिप्त, शुद्ध रूप से बीजगणितीय समझ प्रदान करने का प्रयास करता है कि अभिलक्षण 2 में विशिष्ट स्केलर मानदंड यथार्थता के लिए क्यों मान्य हैं।

कार्यप्रणाली
लेखक [EOW26] के एल्गोरिद्मिक दृष्टिकोण को बदलने के लिए विभेदक बीजगणित (differential algebra) को प्राथमिक उपकरण के रूप में नियोजित करते हैं। कार्यप्रणाली इस प्रकार है:

1. औपचारिक आंशिक अवकलज (Formal Partial Derivatives): लेखक धनात्मक अभिलक्षण वाले क्षेत्र पर $F(z)$ के परिमेय फलनों पर औपचारिक आंशिक अवकलज $\frac{\partial}{\partial z_i}$ को परिभाषित करते हैं।
2. अचरों के क्षेत्र (Fields of Constants): वे इन अवकलजों के लिए अचरों के क्षेत्र के गुण का उपयोग करते हैं, जो $p$-घातांकों के उपक्षेत्र $F(z^p)$ है। अभिलक्षण 2 में, यह $F(z^2)$ है।
3. विकर्ण प्रविष्टियों तक न्यूनीकरण (Reduction to Diagonal Entries): शूर पूरक सूत्र के अवकलज का विश्लेषण करके, लेखक यह प्रदर्शित करते हैं कि अभिलक्षण 2 में एक आव्यूह फलन $F(z)$ की यथार्थता पूरी तरह से उसकी विकर्ण प्रविष्टियों के गुणों द्वारा निर्धारित होती है।
4. सदिश स्थान विश्लेषण (Vector Space Analysis): शोध पत्र $F(z)$ के फलनों के स्थान को अचरों के उपक्षेत्र $F(z^2)$ पर सदिश स्थानों के रूप में मानता है। यह यथार्थ योग्य बनाम गैर-यथार्थ योग्य फलनों की "घनत्व" (density) को मापने की अनुमति देता है।
5. जॉर्डन बीजगणित संरचना (Jordan Algebra Structure): शोध पत्र जॉर्डन बीजगणित (विशेष रूप से प्रचुर हर्मिटियन उप-स्थानों/ample Hermitian subspaces) के सिद्धांत का उपयोग करके, विशिष्ट जनरेटरों के 'एम्पल हल' (ample hull) के रूप में सममित यथार्थ योग्य फलनों के सेट को वर्गीकृत करता है।

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

• बेस्मेर्टनी यथार्थता प्रमेय का वैकल्पिक प्रमाण: यह शोध पत्र प्रमेय 1 (से [EOW26]) का एक संक्षिप्त, शुद्ध रूप से बीजगणितीय प्रमाण प्रदान करता है, जो SBR और hSBR को वर्गीकृत करता है।

  • प्रमेय 2 (स्केलर मामला): अभिलक्षण 2 में एक स्केलर परिमेय फलन $F(z)$ के लिए, $F(z)$ का एक SBR है यदि और केवल यदि $F(z)$ उस उप-स्थान में स्थित है जो $\{q_0^2 + z_1 q_1^2 + \dots + z_n q_n^2 : q_i \in F(z)\}$ द्वारा स्पैन (span) किया गया है। इसी प्रकार, $F(z)$ का एक hSBR है यदि और केवल यदि यह उस उप-स्थान में स्थित है जो $\{z_1 q_1^2 + \dots + z_n q_n^2 : q_i \in F(z)_0\}$ द्वारा स्पैन किया गया है।
  • यह प्रमाण यह दिखाने पर आधारित है कि यदि $F(z)$ का एक SBR है, तो इसके आंशिक अवकलज $\frac{\partial F}{\partial z_i}$ को अचरों के क्षेत्र $F(z^2)$ में होना चाहिए। यह स्थिति ऊपर दिए गए स्पैन शर्तों के समकक्ष है।

• गैर-यथार्थ योग्य फलनों का परिमाणीकरण (Quantification of Non-Realizable Functions):

  • शोध पत्र स्थापित करता है कि $F(z)$, $F(z^2)$ पर एक $2^n$-आयामी सदिश स्थान है, जबकि SBR का उप-स्थान केवल $(n+1)$-आयामी है।
  • फलस्वरूप, $n \to \infty$ होने पर गैर-SBR तत्वों का "घनत्व" 1 की ओर बढ़ता है (विशेष रूप से, यथार्थ योग्य बनाम कुल तत्वों का अनुपात $\frac{n+1}{2^n}$ है)। यह गणितीय रूप से उस अवलोकन को परिमाणित करता है कि अभिलक्षण 2 में, गैर-यथार्थ योग्य सममित फलन, यथार्थ योग्य फलनों की तुलना में बहुत अधिक प्रचुर मात्रा में होते हैं।

• क्षेत्र विस्तार प्रमेय (Theorem 3):

  • शोध पत्र क्षेत्र विस्तार के संबंध में एक नया परिणाम सिद्ध करता है: यदि $F(z)$ के गुणांकों वाला एक परिमेय आव्यूह फलन $F(z)$ एक बड़े क्षेत्र विस्तार $K(w)$ (जहाँ $K, F$ का एक विस्तार है) पर SBR (या hSBR) स्वीकार करता है, तो वह अनिवार्य रूप से मूल क्षेत्र $F(z)$ पर भी ऐसा यथार्थीकरण स्वीकार करता है।
  • यह परिणाम केवल अभिलक्षण 2 में गैर-तुच्छ (non-trivial) है; अन्य अभिलक्षणों के लिए, यह प्रमेय 1 से स्वतः ही सिद्ध हो जाता है। प्रमाण क्षेत्र विस्तारों के तहत अचरों के क्षेत्रों के गुणों (अनुवर्ती 1) का उपयोग करता है।

• जॉर्डन बीजगणित लक्षण वर्णन:

  • सममित बेस्मेर्टनी यथार्थ योग्य फलनों के सेट को आव्यूह बीजगणित के सममित तत्वों के एक एम्पल उप-स्थान (एक विशिष्ट प्रकार का जॉर्डन उप-बीजगणित) के रूप में पहचाना गया है। यह $\{I_k, z_1 I_k, \dots, z_n I_k\}$ के सेट के एम्पल हल (ample hull) के रूप में दिखाया गया है।

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

1. अभिलक्षण 2 यथार्थता स्थितियों के प्रमाण को नाटकीय रूप से छोटा करते हैं (सबसे कठिन मामले के लिए समर्पित प्रयास को 26 पृष्ठों से घटाकर एक संक्षिप्त बीजगणितीय तर्क में बदल देते हैं)।
2. एक स्पष्ट संरचनात्मक कारण प्रदान करते हैं कि क्यों विकर्ण प्रविष्टियाँ अभिलक्षण 2 में संपूर्ण आव्यूह की यथार्थता को निर्धारित करती हैं (डिफरेंशियल डेरिवेटिव के व्यवहार के माध्यम से)।
3. अभिलक्षण 2 में काउंटर-उदाहरणों की "प्रचुरता" के लिए एक सटीक बीजगणितीय लक्षण वर्णन प्रदान करते हैं, समस्या को अचरों के क्षेत्रों पर सदिश स्थान के आयामों के संदर्भ में प्रस्तुत करते हैं।
4. इन यथार्थीकरणों के लिए क्षेत्र विस्तारों पर एक नया प्रमेय स्थापित करते हैं, यह स्पष्ट करते हुए कि यथार्थता फलन का आधार क्षेत्र के ऊपर एक अंतर्निहित गुण है, चाहे यथार्थीकरण के लिए गुणांकों का उपयोग किया जाने वाला क्षेत्र कुछ भी हो।

लेखक यह दावा नहीं करते हैं कि उन्होंने नए भौतिक अनुप्रयोगों की खोज की है या प्रायोगिक कार्यान्वयन प्रस्तावित किए हैं। इसके बजाय, यह कार्य रैखिक प्रणाली सिद्धांत (linear systems theory) और आव्यूह फलन यथार्थीकरण के सैद्धांतिक परिशोधन के रूप में प्रस्तुत किया गया है, जो विशेष रूप से अभिलक्षण 2 के क्षेत्रों द्वारा उत्पन्न बीजगणितीय सूक्ष्मताओं को संबोधित करता है।