$m$-nil-clean nonderogatory matrices

तकनीकी सारांश: m-Nil-Clean नॉनडेरोगेटरी मैट्रिसेस (Nonderogatory Matrices)

समस्या विवरण
यह शोध पत्र धनात्मक अभिलक्षण (positive characteristic) $p$ वाले एक क्षेत्र $F$ पर नॉनडेरोगेटरी (साइक्लिक) मैट्रिसेस के अपघटन (decomposition) की जांच करता है। विशेष रूप से, यह एक $n \times n$ नॉनडेरोगेटरी मैट्रिक्स $A$ को $m$ आइडम्पोटेंट मैट्रिसेस ($E_1, \dots, E_m$) और एक निलपोटेंट (nilpotent) मैट्रिक्स $N$ के योग के रूप में व्यक्त करने की समस्या को संबोधित करता है, जहाँ $A = \sum_{i=1}^m E_i + N$। इस अपघटन को "$m$-nil-clean" अपघटन कहा जाता है। यह अध्ययन उन मैट्रिसेस के लिए ऐसे अपघटन के अस्तित्व को निर्धारित करने पर केंद्रित है जिनका ट्रेस (trace) सेट $\{k \cdot 1_F \mid k \in \{0, 1, \dots, p-1\}\}$ में है, और महत्वपूर्ण रूप से, मैट्रिक्स $N$ के निलपोटेंस इंडेक्स (nilpotence index) पर कड़े ऊपरी बाउंड (upper bounds) स्थापित करता है (अर्थात, सबसे छोटा $k$ खोजना जिसके लिए $N^k = 0$ हो)।

कार्यप्रणाली (Methodology)
लेखक कंपैनियन मैट्रिसेस (companion matrices) पर केंद्रित एक संरचनात्मक दृष्टिकोण अपनाते हैं, जो इस तथ्य का लाभ उठाता है कि प्रत्येक नॉनडेरोगेटरी मैट्रिक्स एक कंपैनियन मैट्रिक्स के समान (similar) होता है। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

1. कंपैनियन मैट्रिसेस में न्यूनीकरण (Reduction to Companion Matrices): समस्या को कंपैनियन मैट्रिक्स $C$ के विश्लेषण में बदल दिया जाता है। लेखक "फिटिंग लेम्मा" (लेम्मा 2.2) का उपयोग करते हैं, जो कहता है कि कोई भी कंपैनियन मैट्रिक्स $C$ जिसका ट्रेस $t$ है, वह $C' + D'$ के समान है, जहाँ $C'$ एक ट्रेस-शून्य कंपैनियन मैट्रिक्स है और $D'$ एक विकर्ण (diagonal) मैट्रिक्स है जिसका ट्रेस $t$ है।
2. एक विकैंड मैट्रिक्स तक अपघटन (Decomposition up to a Diagonal): लेखक एक "$m$-nil-clean अपघटन एक विकैंड मैट्रिक्स $D_0$ तक" की अवधारणा पेश करते हैं। इसमें आइडम्पोटेंट्स और एक निलपोटेंट खोजना शामिल है ताकि $C = \sum E_i + N - D_0$ हो सके।
3. विभाजन और निलपोटेंट निर्माण (Partitioning and Nilpotent Construction): $N$ के निलपोटेंस इंडेक्स को नियंत्रित करने के लिए, लेखक $n-1$ के "गुड पार्टिशन" (good partitions) और "ट्रिवियल पार्टिशन" (trivial partitions) को परिभाषित करते हैं।
   • $n-1 = d_1 + \dots + d_r$ का एक गुड पार्टिशन यह आवश्यक करता है कि $i \ge 2$ के लिए $d_i > 1$ हो।
   • एक ट्रिवियल पार्टिशन $n-1 = d_1$ है।
   • निलपोटेंट मैट्रिसेस $N$ का निर्माण इन पार्टिशन्स का उपयोग करके लोअर ट्राइएंगुलर जोर्डन सेल्स ($J_k$) और विशिष्ट शून्य-पंक्ति बाधाओं (zero-row constraints) वाले ब्लॉक स्ट्रक्चर के आधार पर किया जाता है। यह निर्माण सुनिश्चित करता है कि गुड पार्टिशन्स के लिए $N$ का निलपोटेंस इंडेक्स $\max(d_1+1, d_2, \dots, d_r)$ द्वारा, या ट्रिवियल पार्टिशन्स के लिए $n-1$ द्वारा सीमित है।
4. ट्रेस मिलान (Trace Matching): लेखक विशिष्ट आइडम्पोटेंट मैट्रिसेस (जिन्हें "सेवरेंस मैट्रिसेस" और "डायगोनल आइडम्पोटेंट्स" कहा जाता है) का निर्माण करते हैं ताकि यह सुनिश्चित किया जा सके कि उनके ट्रेस का योग लक्षित मैट्रिक्स के ट्रेस के मानों को कवर करने के लिए आवश्यक रेंज को पूरा कर सके। अपने आइडम्पोटेंट्स के विकैंड प्रविष्टियों (diagonal entries) को समायोजित करके, वे प्रदर्शित करते हैं कि $\sum E_i$ के संभावित ट्रेस का सेट पूर्णांकों का एक निरंतर अंतराल (contiguous interval) बनाता है।
5. संश्लेषण (Synthesis): विकैंड मैट्रिक्स तक संरचनात्मक अपघटन और ट्रेस-मैचिंग क्षमता को जोड़कर, और फिटिंग लेम्मा लागू करके, लेखक बिना अवशेष विकैंड पद के सटीक $m$-nil-clean अपघटन को सिद्ध करते हैं।

मुख्य योगदान और परिणाम
यह शोध पत्र मुख्य प्रमेय (थ्योरम 3.3) स्थापित करता है:

मान लीजिए कि $F$ धनात्मक अभिलक्षण $p$ वाला एक क्षेत्र है, और $m, n$ धनात्मक पूर्णांक हैं जहाँ $m \ge 2$ और $n \le p \le mn - 1$ है। प्रत्येक $n \times n$ नॉनडेरोगेटरी मैट्रिक्स $A \in M_n(F)$ के लिए जिसका ट्रेस $\{k \cdot 1_F \mid k \in \{0, 1, \dots, p-1\}\}$ में है, $m$ आइडम्पोटेंट मैट्रिसेस $E_1, \dots, E_m$ और एक निलपोटेंट मैट्रिक्स $N$ मौजूद हैं ताकि:
$$A = E_1 + E_2 + \dots + E_m + N$$
जहाँ $N^k = 0$। निलपोटेंस इंडेक्स $k$ पर बाउंड $n, m, p$ के संबंध और $n$ की समता (parity) पर निर्भर करता है:

• केस 1: यदि $p \in \{nm-1, nm-2\}$, तो $k = n$।
• केस 2: यदि $p = nm-3$, तो$k = n-1$।
• केस 3: अन्यथा, $r = \lfloor \frac{nm-p}{2} \rfloor$ मान लें।
  • यदि $n$ सम (even) है, तो $k = \max(2, 1 + \lfloor \frac{n-1}{r} \rfloor)$।
  • यदि $n$ विषम (odd) है, तो $k = \max(3, 1 + \lfloor \frac{n-1}{r} \rfloor)$।

इसके अतिरिक्त, पेपर $n > p$ के मामले के लिए एक विशिष्ट परिणाम प्रदान करता है (रिमार्क 3.4)। इस परिदृश्य में, $m=2$ सेट करते हुए, कोई भी ऐसा नॉनडेरोगेटरी मैट्रिक्स $A$ दो आइडम्पोटेंट मैट्रिसेस और:

• एक स्क्वायर-जीरो मैट्रिक्स ($N^2=0$) का योग है यदि $n$ सम है।
• अधिकतम 3 के निलपोटेंस इंडेक्स वाला एक मैट्रिक्स ($N^3=0$) है यदि $n$ विषम है।

महत्व और दावे
यह शोध पत्र मौजूदा निल-क्लीन (nil-clean) और क्लीन अपघटन के साहित्य के विस्तार के रूप में खुद को स्थापित करता है। यह डिवीजन रिंग्स और परिमित क्षेत्रों (finite fields) पर निल-क्लीन और अन्य कार्यों का संदर्भ देता है। लेखक नोट करते हैं कि जबकि पिछले परिणामों ने निल-क्लीन अपघटन (एक आइडम्पोटेंट और एक निलपोटेंट का योग) के अस्तित्व या निलपोटेंस इंडेक्स (जैसे $F_2$ पर इंडेक्स $\le 4$) के बाउंड को स्थापित किया था, यह कार्य मनमाने धनात्मक अभिलक्षण वाले क्षेत्रों पर नॉनडेरोगेटरी मैट्रिसेस के लिए $m$-nil-clean अपघटन के विचार को सामान्य बनाता है।

दागा गया महत्व इन अपघटनों के लिए सटीक निलपोटेंस इंडेक्स बाउंड का निर्धारण है। लेखक प्रदर्शित करते हैं कि $n-1$ के विभाजन और आइडम्पोटेंट्स की संरचना को सावधानीपूर्वक चुनकर, वे शेष मैट्रिक्स $N$ के निलपोटेंस इंडेक्स को $n$ के ट्रिवियल बाउंड की तुलना में काफी कम कर सकते हैं। परिणाम निर्दिष्ट ट्रेस और अभिलक्षण बाधाओं के तहत नॉनडेरोगेटरी मैट्रिसेस के लिए पूर्ण लक्षण वर्णन प्रदान करते हैं, जो इन सेटिंग्स में सामान्य मैट्रिसेस के लिए उपलब्ध पहले के बाउंड की तुलना में अधिक सटीक (sharper) बाउंड प्रदान करते हैं। पेपर यह दावा नहीं करता है कि यह सभी मैट्रिसेस (केवल नॉनडेरोगेटरी) के लिए या $n \le p \le mn-1$ बाधा के बिना सभी क्षेत्र अभिलक्षणों के लिए समस्या को हल करता है, जो कंपैनियन मैट्रिसेस के संरचनात्मक गुणों पर केंद्रित एक सीमित दायरे को बनाए रखता है।