🔢 mathematics

Matrices over Finite Fields of Characteristic 2 as Sums of Diagonalizable and Square-Zero Matrices

यह शोध पत्र तीन से अधिक तत्वों वाले सभी परिमित क्षेत्रों (finite fields) के लिए विशेषता 2 (characteristic 2) वाले वर्ग आव्यूह (square matrices) को एक विकर्णीय आव्यूह (diagonalizable matrix) और एक वर्ग-शून्य आव्यूह (square-zero matrix) के योग में विघटित करने की समस्या का समाधान करता है, साथ ही $\mathbb{F}_2$ पर आव्यूहों के लिए एक संभावित आव्यूह (potent matrix) से संबंधित एक विघटन भी स्थापित करता है।

मूल लेखक: Peter Danchev, Esther García, Miguel Gómez Lozano

प्रकाशित 2026-04-17

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Peter Danchev, Esther García, Miguel Gómez Lozano

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आपके पास गियर और लीवर्स से बनी एक विशाल, जटिल मशीन है। यह मशीन एक मैट्रिक्स (संख्याओं का एक ग्रिड) का प्रतिनिधित्व करती है जिसका उपयोग गणित और कंप्यूटर विज्ञान में किया जाता है। यह शोध पत्र उस रेसिपी की तरह है जो आपको किसी भी ऐसे मशीन को, चाहे वह कितनी भी जटिल क्यों न हो, उसे खोलने और केवल दो बहुत ही सरल, विशिष्ट प्रकार के पुर्जों का उपयोग करके फिर से बनाने का तरीका बताती है।

यहाँ इस शोध की खोज का विवरण दिया गया है, जिसे रोजमर्रा की भाषा और कुछ रचनात्मक उपमाओं में अनुवादित किया गया है।

मुख्य लक्ष्य: "दो-भागों वाला" पहेली

गणितज्ञों (पीटर, एस्थर और मिगुएल) ने एक विशिष्ट प्रश्न का उत्तर देने की कोशिश की: क्या हर संभव मैट्रिक्स को केवल दो विशेष प्रकार के मैट्रिसेस को जोड़कर बनाया जा सकता है?

वे किसी भी मैट्रिक्स $A$ को दो भागों में विभाजित करना चाहते थे:

"स्थिर" भाग (Diagonalizable): इसे एक ऐसी मशीन के रूप में सोचें जो सुचारू रूप से और अनुमानित रूप से चलती है। यदि आप इसे सही कोण से देखते हैं, तो यह निरंतर गति से चलते हुए गियर की एक सीधी रेखा है। यह कभी नहीं अटकती या अराजक नहीं होती।
"फ्लैश" भाग (Square-Zero): यह एक ऐसी मशीन है जो एक सेकंड के एक छोटे से हिस्से के लिए काम करती है और फिर तुरंत हमेशा के लिए रुक जाती है। यदि आप इसे दो बार चलाते हैं ( $N \times N$ ), तो यह पूरी तरह से शून्य में गायब हो जाती है। यह एक "वन-हिट वंडर" है जो दूसरे उपयोग के बाद कोई निशान नहीं छोड़ती।

प्रश्न: क्या हम किसी भी जटिल मैट्रिक्स को लेकर यह कह सकते हैं, "हे, यह बस एक स्थिर भाग और एक फ्लैश भाग का योग है"?

परिवेश: "सम" (Even) संख्याओं की दुनिया

यह शोध एक बहुत ही विशिष्ट ब्रह्मांड में होता है जिसे फाइनाइट फील्ड ऑफ कैरेक्टरिस्टिक 2 (Finite Field of Characteristic 2) कहा जाता है।

उपमा: कल्पना कीजिए कि एक ऐसी दुनिया है जहाँ केवल संख्याएँ 0 और 1 हैं, और नियम यह है कि $1 + 1 = 0$ है। यह एक लाइट स्विच की तरह है जो या तो बंद (0) है या चालू (1) है। यदि आप इसे दो बार चालू करते हैं, तो यह बंद हो जाता है। यह वही गणित है जिसके माध्यम से कंप्यूटर डेटा को प्रोसेस करते हैं (बाइनरी)।
यह शोध उन क्षेत्रों (fields) को देखता है जो केवल 0 और 1 से थोड़े बड़े हैं (जैसे कि 4, 8, 16, आदि अलग-अलग "रंगों" के स्विच होने जैसे), लेकिन वे सभी उसी "जोड़ना एक स्विच को पलटने जैसा है" वाले नियम का पालन करते हैं।

मुख्य खोज: "हाँ, लेकिन एक ट्विस्ट के साथ"

यह पेपर इन सभी दुनियाओं के लिए इस पहेली को हल करता है।

1. आसान दुनिया (4 या अधिक तत्वों वाले Fields)

यदि क्षेत्र में कम से कम 4 अलग-अलग "रंग" (संख्याएँ) हैं, तो उत्तर एक जोरदार हाँ है।

परिणाम: इन दुनियाओं में हर एक मैट्रिक्स को पूरी तरह से एक स्थिर भाग और एक फ्लैश भाग में विभाजित किया जा सकता है।
रूपक: यह कहने जैसा है कि, "चाहे आपका कमरा कितना भी अस्त-व्यस्त क्यों न हो, आप हमेशा कपड़ों को अलमारी में (स्थिर) रखकर और सारा कचरा कूड़ेदान में (फ्लैश) फेंककर उसे व्यवस्थित कर सकते हैं ताकि कचरा एक बार आपके पैर पड़ने पर गायब हो जाए।"
यह क्यों महत्वपूर्ण है: यह गणित में एक लंबे समय से चले आ रहे विवाद को सुलझाता है। इससे पहले, लोग अनिश्चित थे कि क्या यह इन क्षेत्रों में सभी आकार के मैट्रिसेस के लिए संभव है। लेखकों ने सिद्ध किया कि यह हर आकार के लिए काम करता है।

2. पेचीदा दुनिया (केवल 2 तत्वों वाला Field: $\mathbb{F}_2$ )

यह केवल 0 और 1 वाली दुनिया है। यह सबसे छोटी, सबसे प्रतिबंधात्मक दुनिया है।

समस्या: इस नन्ही सी दुनिया में, आप हमेशा एक ऐसा "स्थिर भाग" नहीं पा सकते जो पूरी तरह से डायगोनल हो। कभी-कभी "स्थिर" भाग अटक जाता है।
समाधान: लेखकों ने एक चतुर तरीका निकाला। उन्होंने सिद्ध किया कि इस नन्ही दुनिया में, आप अभी भी मैट्रिक्स को तोड़ सकते हैं, लेकिन "स्थिर भाग" को थोड़ा अधिक लचीला होने की आवश्यकता है। पूरी तरह से स्थिर होने के बजाय, इसे एक "पोटेंट" (Potent) भाग होना चाहिए।
उपमा: कल्पना कीजिए कि "स्थिर भाग" एक डांसर है। बड़ी दुनिया में, डांसर एक आदर्श, अनंत लूप करता है। नन्ही दुनिया में, डांसर एक लूप कर सकता है, रुक सकता है, और फिर रुकने से पहले ठीक उसी लूप को चार बार दोहरा सकता है। यह पूरी तरह से सुचारू नहीं है, लेकिन यह पर्याप्त अनुमानित है।
परिणाम: 0-और-1 वाली दुनिया में हर मैट्रिक्स को एक फ्लैश भाग (2 उपयोगों के बाद गायब होने वाला) और एक पोटेंट भाग (हर 4 उपयोगों के बाद अपना पैटर्न दोहराने वाला) में विभाजित किया जा सकता है।

आपको इसकी परवाह क्यों करनी चाहिए? ("तो क्या?")

आप सोच सकते हैं, "संख्याओं के ग्रिड को विभाजित करने से किसे फर्क पड़ता है?"

जटिलता को सरल बनाना: कंप्यूटर विज्ञान और इंजीनियरिंग में, हम अक्सर विशाल, अस्त-व्यस्त डेटा मैट्रिसेस के साथ काम करते हैं। यह जानना कि किसी भी जटिल सिस्टम को एक "अनुमानित" भाग और एक "अस्थायी" भाग में तोड़ा जा सकता है, इंजीनियरों को बेहतर एल्गोरिदम डिजाइन करने में मदद करता है। यह यह जानने जैसा है कि कोई भी जटिल गाना केवल एक धुन (स्थिर) और एक ढोल की थाप (फ्लैश जो धीरे-धीरे खत्म हो जाता है) का मिश्रण है।
पुराने रहस्यों को सुलझाना: वर्षों से, गणितज्ञों के पास ऐसे उदाहरण थे जो इस नन्ही 0-और-1 वाली दुनिया में इस तरह से विभाजित नहीं हो सकते थे। इस पेपर ने केवल यह नहीं कहा कि "यह असंभव है"; इसने कहा कि "यह बिल्कुल वैसा ही असंभव है जैसा आपने पूछा था, लेकिन यहाँ एक थोड़ा अलग, समान रूप से शक्तिशाली तरीका है।" उन्होंने नियमों को थोड़ा सा बदलकर पहेली को सुलझा दिया।
"कैरेक्टरिस्टिक 2" का जादू: यह शोध इस बात पर प्रकाश डालता है कि कैसे बाइनरी गणित (जहाँ $1+1=0$ है) के अजीब नियम अद्वितीय चुनौतियाँ और अद्वितीय समाधान पैदा करते हैं जो सामान्य गणित में मौजूद नहीं होते हैं।

एक वाक्य में सारांश

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

उन्होंने केवल एक गणितीय समस्या को हल नहीं किया; उन्होंने हमें दिखाया कि सबसे प्रतिबंधात्मक, बाइनरी ब्रह्मांड में भी, अराजकता को सरल, समझने योग्य टुकड़ों में तोड़कर नियंत्रित किया जा सकता है।

यहाँ डैनचेव, गार्सिया और गोमेज़ लोzano के शोध पत्र "Matrices over Finite Fields of Characteristic 2 as Sums of Diagonalizable and Square-Zero Matrices" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र विशेषता 2 (characteristic 2) वाले परिमित क्षेत्रों (finite fields) पर वर्गाकार आव्यूह (square matrices) के अपघटन (decomposition) की समस्या को संबोधित करता है। विशेष रूप से, यह इस बात की जांच करता है कि क्या किसी आव्यूह $A \in M_n(\mathbb{F})$ को निम्नलिखित योग के रूप में व्यक्त किया जा सकता है:
$A = D + N$
जहाँ:

$D$ एक विकर्णीय (diagonalizable) आव्यूह है (या एक पोटेंट (potent) आव्यूह है, अर्थात $D^t = D$ किसी $t \geq 2$ के लिए)।
$N$ एक वर्ग-शून्य (square-zero) आव्यूह है (इंडेक्स 2 तक नीलपोटेंट, अर्थात $N^2 = 0$ )।

संदर्भ और प्रेरणा (Context and Motivation):

पूर्ववर्ती कार्यों ने स्थापित किया था कि $\mathbb{F}_2$ पर, प्रत्येक आव्यूह एक इडेम्पोटेंट ( $D^2=D$ ) और एक वर्ग-शून्य आव्यूह का योग नहीं है। Šter और Shitov द्वारा इसके प्रति-उदाहरण (counterexamples) दिए गए थे।
ब्रीज़ (Breaz, 2018) ने यह प्रश्न उठाया था कि क्या सम कार्डिनैलिटी $q \geq 4$ वाले परिमित क्षेत्रों पर आव्यूह एक $q$ -पोटेंट मैट्रिक्स और एक वर्ग-शून्य मैट्रिक्स के योग के रूप में स्वीकार्य हैं।
लेखक इस समस्या को सभी विशेषता 2 वाले परिमित क्षेत्रों के लिए पूरी तरह से हल करने का लक्ष्य रखते हैं, जिसमें $|\mathbb{F}| \geq 4$ और विशिष्ट मामले $\mathbb{F}_2$ के बीच अंतर किया गया है।

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

लेखक तर्कसंगत कैनोनिकल रूप (Rational Canonical Form) (या फ्रोबेनियस सामान्य रूप) पर आधारित एक संरचनात्मक दृष्टिकोण अपनाते हैं। चूंकि कोई भी वर्गाकार आव्यूह इसके इनवेरिएंट कारकों के कंपेनियन मैट्रिसेस (companion matrices) के डायरेक्ट सम के समान होता है, इसलिए समस्या नॉन-डेरोगेटिव मैट्रिसेस (वे आव्यूह जहाँ न्यूनतम बहुपद, अभिलक्षणिक बहुपद के बराबर होता है) के लिए अपघटन सिद्ध करने तक सीमित हो जाती है।

कार्यप्रणाली दो मुख्य चरणों में चलती है:

चरण A: कार्डिनैलिटी $\geq 4$ वाले क्षेत्र ( $|\mathbb{F}| \geq 4$ )

लेखक ट्रेस (trace) और अभिलक्षणिक बहुपद की डिग्री का विश्लेषण करके विभिन्न क्रमों ( $n$ ) के नॉन-डेरोगेटिव मैट्रिसेस के लिए स्पष्ट अपघटन का निर्माण करते हैं।

छोटे क्रम ( $n=2, 3, 4$ ): वे सावधानीपूर्वक चुने गए आइगेन मानों (eigenvalues) के साथ विकर्णीय मैट्रिसेस ( $D_2, D_3, D_4$ ) और वर्ग-शून्य मैट्रिसेस ( $N_3, N_4$ ) के विशिष्ट परिवारों को परिभाषित करते हैं। वे सिद्ध करते हैं कि इन क्रमों के किसी भी नॉन-डेरोगेटिव मैट्रिक्स को $N + D$ के रूप में लिखा जा सकता है जहाँ $D$ के आइगेन मान $\mathbb{F}$ में भिन्न (distinct) होते हैं।
सामान्य क्रम ( $n \geq 5$ ): वे एक इंडक्टिव ब्लॉक-मैट्रिक्स निर्माण का उपयोग करते हैं।
- क्रम $n = 4k, 4k+1, 4k+2,$ और $4k+3$ के लिए, वे एक वर्ग-शून्य मैट्रिक्स $N$ का निर्माण करते हैं ताकि $A - N$ एक ब्लॉक-डायगोनल मैट्रिक्स $D$ बन जाए।
- मैट्रिक्स $D$ का निर्माण छोटे विकर्णीय ब्लॉकों (क्रम 2, 3, और 4) के डायरेक्ट सम के रूप में किया जाता है जैसा कि पिछले प्रपोजिशन में परिभाषित किया गया है।
- निर्माण इस तथ्य पर निर्भर करता है कि $\mathbb{F}$ में एक तत्व $a \in \mathbb{F}$ मौजूद है जहाँ $a \neq 0, 1$ । चूंकि $|\mathbb{F}| \geq 4$ है, इसलिए ऐसा तत्व हमेशा मौजूद रहता है।
- वे सत्यापित करते हैं कि निर्मित $N$ इस प्रकार है कि $N^2=0$ और $D$ विकर्णीय है, जिसे आइजनवेक्टरों का आधार स्पष्ट रूप से प्रदान करके सिद्ध किया जाता है।

चरण B: क्षेत्र $\mathbb{F}_2$

चूंकि $\mathbb{F}_2$ में $a \notin \{0, 1\}$ वाला तत्व का अभाव है, इसलिए पिछला निर्माण विफल हो जाता है। लेखक विस्तार क्षेत्र $\mathbb{F}_4$ (जहाँ $a^2+a+1=0$ ) पर कार्य करके और फिर यह दिखाकर कि परिणामी अपघटन मैट्रिसेस $N$ और $D$ वास्तव में $\mathbb{F}_2$ के प्रविष्टियों (entries) वाले हैं, विधि को अनुकूलित करते हैं।

वे सिद्ध करते हैं कि $\mathbb{F}_2$ के लिए, विकर्णीय भाग $D$ अनिवार्य रूप से इडेम्पोटेंट ( $D^2=D$ ) नहीं है, बल्कि 4-पोटेंट ( $D^4=D$ ) है।
यह $\mathbb{F}_4$ के गुणों का उपयोग करके और $\mathbb{F}_2$ के कंपेनियन मैट्रिसेस के विशिष्ट रूपों का विश्लेषण करके प्राप्त किया जाता है ताकि यह सुनिश्चित हो सके कि परिणामी $D$ के आइगेन मान $\{0, 1, a, a+1\}$ में हैं, जो $x^4=x$ को संतुष्ट करते हैं।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

मुख्य प्रमेय (Main Theorem - Theorem 3.1)

किसी भी परिमित क्षेत्र $\mathbb{F}$ के लिए जिसकी विशेषता 2 है और $|\mathbb{F}| \geq 4$ :

प्रत्येक वर्गाकार आव्यूह $A \in M_n(\mathbb{F})$ को $A = D + N$ के रूप में व्यक्त किया जा सकता है, जहाँ $D$ विकर्णीय है और $N$ वर्ग-शून्य ( $N^2=0$ ) है।

परिणाम 3.2 (Corollary 3.2): चूंकि प्रत्येक विकर्णीय मैट्रिक्स $D$ , आकार $q=2^m$ वाले परिमित क्षेत्र पर $D^q = D$ को संतुष्ट करता है, इसलिए यह निष्कर्ष निकलता है कि ऐसे क्षेत्र पर प्रत्येक आव्यूह एक $q$ -पोटेंट मैट्रिक्स और एक वर्ग-शून्य मैट्रिक्स का योग है। यह सभी सम $q \geq 4$ वाले क्षेत्रों के लिए ब्रीज़ के प्रश्न का सकारात्मक उत्तर देता है।

$\mathbb{F}_2$ के लिए परिणाम (Results for $\mathbb{F}_2$ - Corollary 3.3)

क्षेत्र $\mathbb{F}_2$ के लिए:

प्रत्येक वर्गाकार आव्यूह $A \in M_n(\mathbb{F}_2)$ को $A = D + N$ के रूप में व्यक्त किया जा सकता है, जहाँ $N^2=0$ और $D$ 4-पोटेंट ( $D^4=D$ ) है।

यह परिणाम महत्वपूर्ण है क्योंकि यह दिखाता है कि जबकि $\mathbb{F}_2$ पर इडेम्पोटेंट और वर्ग-शून्य मैट्रिक्स के योग के रूप में अपघटन विफल हो जाता है (जैसा कि Šter और Shitov द्वारा दिखाया गया है), अपघटन तब मान्य होता है जब पोटेंसी इंडेक्स को 4 तक शिथिल (relax) कर दिया जाता है।

परिष्कृत पोटेंसी इंडेक्स (Refined Potency Index - Proposition 3.4)

लेखक ऐसी स्थितियाँ प्रदान करते हैं जिनके तहत $D$ के लिए पोटेंसी इंडेक्स को एक विशिष्ट उपक्षेत्र (subfield) $K \subseteq \mathbb{F}$ (जहाँ $K \neq \mathbb{F}_2$ ) की कार्डिनैलिटी तक कम किया जा सकता है।

यदि अभिलक्षणिक बहुपद का ट्रेस या विशिष्ट गुणांक उपक्षेत्र $K$ में निहित हैं, तो विकर्णीय भाग $D$ को इस प्रकार चुना जा सकता है कि $D^{|K|} = D$ हो।
$n=2$ के लिए ट्रेस 0 के साथ, वे दिखाते हैं कि $D$ को इस प्रकार चुना जा सकता है कि $D^3=D$ हो।

4. महत्व (Significance)

पूर्ण समाधान: यह शोध पत्र विशेषता 2 वाले परिमित क्षेत्रों पर मैट्रिसेस के अपघटन की समस्या को पूरी तरह से हल करता है। यह पुष्टि करता है कि इडेम्पोटेंट और वर्ग-शून्य मैट्रिक्स में अपघटन के लिए बाधा $\mathbb{F}_2$ और इडेम्पोटेंसी की आवश्यकता से संबंधित है।
ब्रीज़ के प्रश्न का सामान्यीकरण: यह पुष्टि करता है कि सभी $q \geq 4$ वाली सम विशेषता वाले परिमित क्षेत्रों के लिए, अपघटन $A = D + N$ सत्य है जहाँ $D^q = D$ और $N^2 = 0$ है।
$\mathbb{F}_2$ के लिए परिशोधन: यह एक रचनात्मक प्रमाण प्रदान करता है कि $\mathbb{F}_2$ के मैट्रिक्स एक वर्ग-शून्य मैट्रिक्स और एक 4-पोटेंट मैट्रिक्स के योग हैं, जो इडेम्पोटेंसी के संबंध में छोड़े गए अंतराल को भरता है।
रचनात्मक दृष्टिकोण: प्रमाण अत्यधिक रचनात्मक हैं, जो केवल अस्तित्व के तर्कों पर निर्भर रहने के बजाय, अपघटन उत्पन्न करने के लिए स्पष्ट एल्गोरिदम (ब्लॉक मैट्रिसेस और आइजनवेक्टर बेस के माध्यम से) प्रदान करते हैं।

निष्कर्ष (Conclusion)

लेखक सफलतापूर्वक प्रदर्शित करते हैं कि इडेम्पोटेंट अपघटन के संबंध में $\mathbb{F}_2$ के मैट्रिसेस का "खराब व्यवहार" छोटे क्षेत्र के आकार का एक परिणाम है। "विकर्णीय" घटक की श्रेणी को $q$ -पोटेंट मैट्रिसेस (या $\mathbb{F}_2$ के लिए 4-पोटेंट मैट्रिसेस) में शामिल करके विस्तारित करके, सभी विशेषता 2 वाले परिमित क्षेत्रों के लिए एक सार्वभौमिक अपघटन प्रमेय स्थापित किया गया है।