🔢 mathematics

Matrices over finite fields of odd characteristic as sums of diagonalizable and square-zero matrices

यह शोध पत्र विषम विशेषता वाले परिमित क्षेत्रों (finite fields) पर मैट्रिक्स अपघटन (matrix decompositions) के संबंध में ब्रीज़ (Breaz) द्वारा उठाए गए एक प्रश्न का समाधान करता है, जिसमें यह सिद्ध किया गया है कि जब क्षेत्र का आकार कम से कम 5 हो, तो प्रत्येक मैट्रिक्स को एक विकर्णीय (diagonalizable) और एक वर्ग-शून्य (square-zero) मैट्रिक्स के योग के रूप में व्यक्त किया जा सकता है, जबकि तीन तत्वों वाले क्षेत्र के मामले में विशिष्ट प्रति-उदाहरणों और आवश्यक शर्तों की पहचान की गई है।

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

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

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

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 से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आपके पास गियर और लीवर्स से बनी एक विशाल, जटिल मशीन (मैट्रिक्स) है। यह मशीन नियमों के एक विशिष्ट सेट का उपयोग करके बनाई गई है, जैसे कि केवल कुछ शब्दों वाली एक भाषा (एक परिमित क्षेत्र/फाइनाइट फील्ड)।

मुख्य प्रश्न जो गणितज्ञों ने पूछा था वह यह था: क्या हम हमेशा किसी भी जटिल मशीन को दो सरल, आसानी से समझ में आने वाले भागों में तोड़ सकते हैं?

वे जिन दो भागों को खोजना चाहते थे वे थे:

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

डैनचेव, गार्सिया और लोज़ानो का शोध पत्र इस प्रश्न का उत्तर देता है कि जब मशीनें विषम (जैसे 3, 5, 7, 9...) संख्याओं वाले दुनिया में बनाई जाती हैं और दुनिया परिमित (यानी, चुनने के लिए संख्याओं की एक सीमित संख्या है) होती है, तो क्या होता है।

यहाँ उनकी खोज का सरल उपमाओं का उपयोग करके विवरण दिया गया है:

1. बड़ी दुनिया (5 या अधिक संख्याओं वाले क्षेत्र)

एक खेल के मैदान की कल्पना करें जहाँ 5 या अधिक अलग-अलग रंगों की गेंदें हैं।

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

2. छोटी दुनिया (केवल 3 संख्याओं वाला क्षेत्र)

अब, एक बहुत छोटे खेल के मैदान की कल्पना करें जिसमें केवल 3 रंग की गेंदें (लाल, नीला, हरा) हैं। यह $\mathbb{F}_3$ नामक क्षेत्र है।

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

3. "नॉन-डेरोगेटरी" अवधारणा

पेपर "नॉन-डेरोगेटरी" मैट्रिसेस के बारे में बहुत बात करता है।

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

4. "जादुई" संबंध

लेखक इसे "q-पोटेंट" मैट्रिसेस की अवधारणा से जोड़ते हैं।

$q$ संख्याओं वाली दुनिया में, एक "q-पोटेंट" मशीन वह है जो, यदि आप इसे $q$ बार चलाते हैं, तो यह बिल्कुल एक "स्थिर" मशीन की तरह कार्य करती है।
चूंकि "स्थिर" मशीनें समझना आसान है, इसलिए पेपर सिद्ध करता है कि बड़ी दुनिया (5+ संख्याएँ) में, प्रत्येक मशीन को एक "जादुई मशीन" (q-पोटेंट) और एक "लुप्त होने वाली मशीन" के रूप में देखा जा सकता है।

सारांश: मुख्य बात

यदि आपके पास पर्याप्त बड़ा टूलबॉक्स है (5 या अधिक संख्याएँ): तो आप किसी भी मशीन को एक "स्थिर भाग" और एक "लुप्त होने वाले भाग" में विभाजित करके हमेशा ठीक कर सकते हैं।
यदि आपके पास छोटा टूलबॉक्स है (केवल 3 संख्याएँ): तो आप आमतौर पर ऐसा कर सकते हैं, लेकिन, कुछ विशिष्ट, जिद्दी मशीनें (आकार 3, 6, 9...) हैं जो अलग होने से इनकार करती हैं। वे उस गणितीय गांठ के समान हैं जिसे खोला नहीं जा सकता।

आगे क्या है?

लेखक अंत में कहते हैं, "हमने विषम-संख्या वाली दुनिया के लिए पहेली सुलझा ली है। अब, आइए सम संख्याओं (जैसे 2, 4, 8...) की दुनिया को देखें।" उन्हें संदेह है कि वहां उत्तर अलग हो सकता है, लेकिन वह एक कहानी दूसरे दिन के लिए है।

संक्षेप में: गणित एक विशाल पहेली की तरह है। अधिकांश पहेली आकारों के लिए, आप टुकड़ों को "व्यवस्थित" और "गायब होने वाले" समूहों में हमेशा अलग कर सकते हैं। लेकिन सबसे छोटे, विशिष्ट पहेलियों के लिए, प्रकृति कभी-कभी कहती है, "नहीं, ये टुकड़े हमेशा के लिए एक साथ बंधे हुए हैं।"

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

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

यह शोध पत्र लीनियर अलजेब्रा (रैखिक बीजगणित) में एक विशिष्ट अपघटन (decomposition) समस्या को संबोधित करता है। केंद्रीय प्रश्न, जिसे मूल रूप से ब्रीज़ (2018) द्वारा प्रस्तुत किया गया था, यह पूछता है कि क्या विषम कार्डिनैलिटी (cardinality) $q$ वाले एक परिमित क्षेत्र (finite field) $\mathbb{F}_q$ पर प्रत्येक वर्ग मैट्रिक्स (square matrix) $A$ को एक विकर्णनीय मैट्रिक्स ( $D$ ) और एक वर्ग-शून्य मैट्रिक्स ( $M$ , जहाँ $M^2=0$ ) के योग के रूप में विघटित किया जा सकता है।

विशेष रूप से, लेखक निम्नलिखित की जांच करते हैं:

क्या विषम $q$ के लिए सभी $A \in M_n(\mathbb{F}_q)$ हेतु $A = D + M$ सत्य है।
$q=3$ बनाम $q \geq 5$ के लिए विशिष्ट बाधाएं क्या हैं।
इस अपघटन और $q$ -पोटेंट मैट्रिसेस (वे मैट्रिक्स जहाँ $D^q = D$ ) के बीच संबंध, यह ध्यान रखते हुए कि $\mathbb{F}_q$ पर, एक मैट्रिक्स विकर्णनीय है यदि और केवल यदि वह $q$ -पोटेंट है।

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

लेखक संरचनात्मक मैट्रिक्स सिद्धांत (structural matrix theory) और रचनात्मक बीजगणितीय प्रमाणों (constructive algebraic proofs) के संयोजन का उपयोग करते हैं:

रैशनल कैनोनिकल फॉर्म (Rational Canonical Form): लेखक इस तथ्य का उपयोग करते हैं कि किसी भी मैट्रिक्स को उसके इनवेरिएंट फैक्टर्स (invariant factors) के कंपेनियन मैट्रिसेस (companion matrices) के प्रत्यक्ष योग (direct sum) के समान (similar) बनाया जा सकता है। यह उन्हें सामान्य समस्या को गैर-डेरोगेटरी (non-derogatory) मैट्रिसेस (वे मैट्रिक्स जहाँ मिनिमल पॉलीनोमियल, कैरेक्टरिस्टिक पॉलीनोमियल के बराबर होता है) के विश्लेषण तक सीमित करने की अनुमति देता है।
रचनात्मक अपघटन (Constructive Decomposition): विशिष्ट मामलों के लिए, लेखक वर्ग-शून्य मैट्रिक्स $M$ और एक परिवर्तन-आधार (change-of-basis) मैट्रिक्स का स्पष्ट रूप से निर्माण करते हैं ताकि यह प्रदर्शित किया जा सके कि $A+M$ विकर्णनीय हो जाता है। वे $M$ को विशिष्ट गैर-शून्य प्रविष्टियों (entries) के साथ परिभाषित करते हैं (अक्सर कैरेक्टरिस्टिक पॉलीनोमियल के गुणांकों को शामिल करते हुए) ताकि परिणामी मैट्रिक्स यह सुनिश्चित करे कि वह एक विशिष्ट बहुपद (जैसे $x(x-1)(x+1)=0$ ) को संतुष्ट करता है।
क्षेत्र आकार और ट्रेस (Trace) द्वारा मामला विश्लेषण:
- वे $q \geq 5$ वाले क्षेत्रों और $q=3$ के विशिष्ट मामले के बीच अंतर करते हैं।
- वे मैट्रिक्स के ट्रेस ( $\text{Tr}(A) = 0$ बनाम $\neq 0$ ) और मैट्रिक्स के क्रम (order) की समता (parity) के आधार पर मामलों का विश्लेषण करते हैं।
प्रति-उदाहरण निर्माण (Counterexample Construction): नकारात्मक परिणामों (जहाँ अपघटन असंभव है) के लिए, वे परिभाषित समीकरणों ( $D^3=D$ और $M^2=0$ ) के बीजगणितीय हेरफेर का उपयोग करके विरोधाभास उत्पन्न करते हैं, विशेष रूप से यह सिद्ध करते हुए कि माना गया वर्ग-शून्य मैट्रिक्स $M$ स्वयं शून्य मैट्रिक्स होना चाहिए, जो मूल गैर-विकर्णनीय मैट्रिक्स के विपरीत है।

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

A. विषम विशेषता वाले क्षेत्र $q \geq 5$

यह शोध पत्र कम से कम 5 तत्वों वाले क्षेत्रों के लिए पूर्ण सकारात्मक उत्तर प्रदान करता है।

प्रमेय 2.2 (Theorem 2.2): किसी भी परिमित क्षेत्र $\mathbb{F}_q$ के लिए जहाँ $q \geq 5$ (विषम) है, प्रत्येक मैट्रिक्स $A \in M_n(\mathbb{F}_q)$ एक अपघटन $A = D + M$ स्वीकार करता है, जहाँ $D$ विकर्णनीय है और $M^2 = 0$ है।
निहितार्थ: चूंकि $\mathbb{F}_q$ पर विकर्णनीय मैट्रिक्स $D^q = D$ को संतुष्ट करते हैं, यह पुष्टि करता है कि प्रत्येक मैट्रिक्स एक $q$ -पोटेंट मैट्रिक्स और एक वर्ग-शून्य मैट्रिक्स का योग है।
प्रमाण रणनीति: प्रमाण प्रस्ताव 2.1 पर निर्भर करता है, जो यह स्थापित करता है कि $n \geq 5$ के क्रम वाला कोई भी गैर-डेरोगेटरी मैट्रिक्स अपघटित किया जा सकता है। लेखक $M$ का निर्माण इस प्रकार करते हैं कि $A+M$ के आइगेन मान (eigenvalues) $\{0, \pm u, \pm 1\}$ (ट्रेस और $n$ की समता के आधार पर) हों, जिससे विकर्णनीयता सुनिश्चित होती है। छोटे क्रम ( $n < 5$ ) उनके पिछले कार्य [6] में पहले ही तय किए जा चुके थे।

B. क्षेत्र $\mathbb{F}_3$ (विशेषता 3)

$q=3$ का मामला अधिक जटिल है और एक सूक्ष्म उत्तर देता है।

सकारात्मक परिणाम:
- प्रस्ताव 3.1: $\mathbb{F}_3$ पर शून्य ट्रेस वाले सम क्रम $n$ के गैर-डेरोगेटरी मैट्रिक्स अपघटित किए जा सकते हैं।
- उपप्रमेय 3.3 और 3.4: एक मैट्रिक्स $A \in M_n(\mathbb{F}_3)$ को $D+M$ में विघटित किया जा सकता है जब तक कि इसका प्रथम इनवेरिएंट फैक्टर 3 डिग्री का गैर-शून्य ट्रेस वाला इररेड्यूसिबल (irreducible) पॉलीनोमियल न हो।
नकारात्मक परिणाम (प्रति-उदाहरण):
- प्रस्ताव 3.5: लेखक सिद्ध करते हैं कि समान 3 डिग्री के गैर-शून्य ट्रेस वाले इररेड्यूसिबल पॉलीनोमियल से जुड़े कंपेनियन मैट्रिसेस के प्रत्यक्ष योग से बने मैट्रिक्स को अपघटित नहीं किया जा सकता है।
- विशिष्ट प्रति-उदाहरण: किसी भी $n = 3k$ ( $k \geq 1$ ) के लिए, $\mathbb{F}_3$ पर ऐसे मैट्रिक्स मौजूद हैं जो विकर्णनीय और वर्ग-शून्य मैट्रिक्स के योग नहीं हैं।
- प्रमाण तर्क: यह मानना कि $A+M=D$ से $M$ और $A$ से संबंधित समीकरणों का एक निकाय प्राप्त होता है। कंपेनियन मैट्रिक्स के मिनिमल पॉलीनोमियल ( $x^3 - x^2 - x - 1 = 0$ ) का उपयोग करते हुए पुनरावृत्ति प्रतिस्थापन (iterative substitution) के माध्यम से, लेखक यह निष्कर्ष निकालते हैं कि $M$ को शून्य मैट्रिक्स होना चाहिए। चूंकि मूल मैट्रिक्स $A$ विकर्णनीय नहीं है, इसलिए यह एक विरोधाभास है।

4. महत्व (Significance)

ब्रीज़ के प्रश्न का समाधान: यह शोध पत्र विषम कार्डिनैलिटी वाले परिमित क्षेत्रों पर मैट्रिसेस के अपघटन के संबंध में ब्रीज़ द्वारा पूछे गए प्रश्न को पूरी तरह से हल करता है।
- उत्तर: हाँ, $q \geq 5$ के लिए।
- उत्तर: नहीं, $q=3$ के लिए (विशेष रूप से विशिष्ट इररेड्यूसिबल पॉलीनोमियल्स वाले क्रम $n=3k$ के लिए)।
मैट्रिक्स अपघटन सिद्धांत का परिशोधन: यह कार्य पूर्व परिणामों (जो अनंत क्षेत्रों या विशिष्ट छोटे क्रमों को कवर करते थे) को विषम विशेषता वाले सामान्य परिमित क्षेत्रों तक विस्तारित करता है। यह अपघटनीयता निर्धारित करने में क्षेत्र के आकार ( $q=3$ बनाम $q \geq 5$ ) और इनवेरिएंट फैक्टर्स की संरचना की महत्वपूर्ण भूमिका को उजागर करता है।
बाधाओं की पहचान: यह शोध पत्र $\mathbb{F}_3$ में अपघटन के लिए "बाधा" (obstruction) को सटीक रूप से पहचानता है: इनवेरिएंट फैक्टर अपघटन में गैर-शून्य ट्रेस वाले 3 डिग्री के इररेड्यूसिबल पॉलीनोमियल्स की उपस्थिति।

5. भविष्य की दिशाएँ (Future Directions)

लेखक विशेषता 2 के लिए खुले प्रश्नों को रेखांकित करते हुए समाप्त करते हैं:

हालांकि यह ज्ञात है कि $\mathbb{F}_2$ पर मैट्रिक्स इडेम्पोटेंट (idempotent) और निलिप्त (nilpotent) मैट्रिसेस के योग हैं, लेकिन विशिष्ट विकर्णनीय ( $D^2=D$ ) और वर्ग-शून्य ( $M^2=0$ ) अपघटन हमेशा संभव नहीं है (क्रम 4 के लिए प्रति-उदाहरण मौजूद हैं)।
वे दो समानांतर प्रश्न पूछते हैं:
1. क्या प्रत्येक मैट्रिक्स एक विकर्णनीय और एक वर्ग-शून्य मैट्रिक्स का योग है?
2. यदि नहीं, तो क्या अपघटन कम से कम गैर-डेरोगेटरी मैट्रिसेस के लिए मान्य है?

संक्षेप में, यह शोध पत्र विषम-विशेषता वाले परिमित क्षेत्रों पर मैट्रिसेस के अपघटन के लिए एक निश्चित वर्गीकरण प्रदान करता है, जो $q \geq 5$ के लिए सार्वभौमिकता और $q=3$ के लिए सटीक विफलता के मामलों को सिद्ध करता है।