🔢 mathematics

On the Waring Problem for Matrices over Finite Fields

यह शोध पत्र सिद्ध करता है कि किसी भी परिमित क्षेत्र $\mathbb{F}_q$ के लिए जहाँ $q \neq 2$ है और किसी भी धनात्मक पूर्णांक $n$ के लिए जो $q^n > (k-1)^4$ को संतुष्ट करता है, प्रत्येक $n \times n$ आव्यूह को $\mathbb{F}_q$ पर दो $k$ -घातों के योग के रूप में व्यक्त किया जा सकता है।

मूल लेखक: Simion Breaz

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

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

CC BY 4.0

मूल लेखक: Simion Breaz

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

कल्पना कीजिए एक ऐसी दुनिया की जहाँ संख्याएँ केवल गिनती के लिए नहीं, बल्कि संरचनाओं के निर्माण के लिए हैं। गणित के क्षेत्र में, एक प्रसिद्ध पहेली है जिसे "वैरिंग की समस्या" (Waring's Problem) कहा जाता है। इसे एक खेल की तरह समझें जहाँ आपके पास एक विशिष्ट प्रकार का निर्माण ब्लॉक (एक संख्या) है और आप यह देखना चाहते हैं कि क्या आप उन ब्लॉक्स की एक निश्चित संख्या को जोड़कर कोई अन्य संख्या बना सकते हैं। उदाहरण के लिए, क्या आप तीन पूर्ण घन (perfect cubes) को जोड़कर कोई भी संख्या बना सकते हैं? गणितज्ञ लंबे समय से सामान्य संख्याओं के लिए इस तरह के समाधान खोज रहे हैं। लेकिन यह शोध पत्र उस खेल को एक अधिक विचित्र, रंगीन ब्रह्मांड में ले जाता है: "मैट्रिक्स" (matrices) और "परिमित क्षेत्रों" (finite fields) की दुनिया।

इसे समझने के लिए, मैट्रिक्स को संख्याओं के एक उबाऊ ग्रिड के रूप में नहीं, बल्कि एक जटिल मशीन या एक जादुful रूपांतरण के रूप में देखें जो वस्तुओं के एक सेट को पुनर्व्यवस्थित (shuffle), खींच (stretch) या घुमा (rotate) सकता है। एक "परिमित क्षेत्र" (finite field) एक ऐसे ब्रह्मांड की तरह है जिसमें तत्वों की संख्या सीमित है—कल्पना कीजिए कि एक घड़ी है जिसमें केवल 5 घंटे हैं, या ताश की एक गड्डी है जिसमें केवल 10 विशिष्ट कार्ड हैं। इस छोटे, बंद ब्रह्मांड में, आप अभी भी गणित कर सकते हैं, लेकिन नियम अलग होते हैं; एक बार जब आप सीमा पार कर जाते हैं, तो आप वापस शुरू पर आ जाते हैं (wrap around)। वह प्रश्न जिसका यह शोध पत्र समाधान करता है, वह यह है: इन छोटे, परिमित ब्रह्मांडों में, क्या हम हमेशा दो "k-वीं घातों" (k-th powers) को जोड़कर किसी भी जटिल मशीन (मैट्रिक्स) का निर्माण कर सकते हैं? यहाँ "k-वीं घात" का अर्थ है एक मशीन को लेना और उसे $k$ बार स्वयं से चलाना। लक्ष्य यह देखना है कि चाहे मशीन कितनी भी जटिल क्यों न हो, क्या हम हमेशा दो सरल मशीनों को पा सकते हैं (जिन्हें $k$ बार की शक्ति दी गई है) जिन्हें जोड़ने पर मूल जटिल मशीन प्राप्त हो सके।

यह केवल गणितज्ञों के लिए एक खेल नहीं है; यह हमें यह समझने में मदद करता है कि बीजगणित (algebra) के मौलिक निर्माण खंड क्या हैं और कैसे डिजिटल प्रणालियों में सूचना को तोड़ा और पुनर्गठित किया जा सकता है। यदि हम जानते हैं कि किसी भी मशीन को केवल दो "शक्तिशाली" भागों से बनाया जा सकता है, तो यह इन गणितीय दुनियाओं की लचीलापन और संरचना के बारे में कुछ गहरा बताता है।

शोध पत्र की बड़ी खोज

इस शोध पत्र में, लेखक, सिमियन ब्रीज़ (Simion Breaz), एक मास्टर आर्किटेक्ट की तरह कार्य करते हुए यह सिद्ध करने का प्रयास करते हैं कि अधिकांश इन छोटे, परिमित ब्रह्मांडों में, किसी भी अन्य मशीन को बनाने के लिए आपको कभी भी दो से अधिक "सुपर-चार्ज्ड" मशीनों की आवश्यकता नहीं होती है। शोध पत्र एक विशिष्ट स्थिति पर ध्यान केंद्रित करता है: ब्रह्मांड का आकार (तत्वों की संख्या, $q$ ) और मशीन का आकार (पंक्तियों और स्तंभों की संख्या, $n$ )।

मुख्य निष्कर्ष एक शक्तिशाली गारंटी है। लेखक सिद्ध करते हैं कि यदि ब्रह्मांड पर्याप्त बड़ा है—विशेष रूप से, यदि ब्रह्मांड की कार्डिनैलिटी (cardinality) $q \neq 2$ है और ब्रह्मांड के कुल तत्वों की संख्या मशीन के आकार की घात ( $q^n$ ) $(k-1)^4$ से अधिक है, तो प्रत्येक $n \times n$ मैट्रिक्स को उस क्षेत्र (field) पर ठीक दो $k$ -वीं घातों के योग के रूप में व्यक्त किया जा सकता है। इसमें एक छोटा अपवाद है: शोध पत्र स्पष्ट रूप से $q=2$ वाले ब्रह्मांड (जिसमें केवल दो तत्वों वाला सबसे छोटा संभव क्षेत्र है) को इस विशिष्ट सामान्य नियम के लिए बाहर करता है, यह नोट करते हुए कि $q=2$ के मामले की अन्य कार्यों में अलग तरह से जांच और समाधान किया गया था।

इसका प्रमाण एक चतुर निर्माण है। लेखक केवल यह नहीं कहते कि "यह काम करता है"; वे यह भी दिखाते हैं कि इन दो विशेष मशीनों को कैसे खोजा जाए। वे "कंपैनियन मैट्रिसेस" (companion matrices) का उपयोग करने वाली एक रणनीति का उपयोग करते हैं, जो मशीनों के विशेष, मानक रूप हैं जिन्हें विश्लेषण करना आसान है। तर्क इस प्रकार है:

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

शोध पत्र अपने परिणामों में बहुत आश्वस्त है। यह केवल सुझाव या सिमुलेशन नहीं देता; यह एक कठोर गणितीय प्रमाण प्रदान करता है। लेखक एक स्पष्ट सीमा स्थापित करते हैं: यदि $q \neq 2$ और $q^n > (k-1)^4$ , तो कथन सत्य है। यह लैर्सन (Larsen) नामक एक गणितज्ञ के एक प्रसिद्ध अनुमान का एक "कमजोर संस्करण" (weak version) है। लैर्सन के मूल अनुमान ने भविष्यवाणी की थी कि $q^{n^2}$ से संबंधित एक संबंध यह गारंटी देने के लिए पर्याप्त होगा कि प्रत्येक मैट्रिक्स दो $k$ -वीं घातों का योग है। यह शोध पत्र पुष्टि करता है कि एक थोड़ा सरल संबंध ( $q^n$ ) गैर-स्केलर क्षेत्रों (non-scalar fields) के लिए परिणाम की गारंटी देने के लिए पर्याप्त है, जो पूर्ण अनुमान को समझने की दिशा में एक महत्वपूर्ण कदम है।

लेखक "स्केलर मैट्रिसेस" (scalar matrices - वे मशीनें जो केवल हर चीज़ को समान मात्रा में स्केल करती हैं) के कठिन मामले को भी संभालते हैं। वे सिद्ध करते हैं कि यहाँ तक कि ये विशेष, एकसमान मशीनें भी उसी स्थिति के तहत दो $k$ -वीं घातों से बनाई जा सकती हैं।

तो, हमारी कहानी के लिए इसका क्या अर्थ है? इसका अर्थ यह है कि लगभग किसी भी परिमित गणितीय ब्रह्मांड में जो सबसे छोटा संभव ब्रह्मांड नहीं है, मैट्रिक्स के लिए "वैरिंग की समस्या" एक बहुत ही कम संख्या के साथ हल हो जाती है: दो। आपको किसी जटिल मशीन को बनाने के लिए दस या बीस शक्तिशाली मशीनों के ढेर की आवश्यकता नहीं है; आपको केवल दो की आवश्यकता है। शोध पत्र एक रेखा खींचता है: जब तक आपका ब्रह्मांड आपकी मशीनों को कितनी बार पावर अप किया जाता है ( $k$ ) उसके सापेक्ष पर्याप्त बड़ा है, निर्माण हमेशा संभव है। यह एक विस्तृत श्रृंखला के लिए एक निर्णायक "हाँ" है, जो एक कठिन पहेली को मैट्रिक्स बनाने की एक हल की गई रेसिपी में बदल देता है।

तकनीकी सारांश: परिमित क्षेत्रों (Finite Fields) पर वारिंग समस्या (Waring Problem) पर

समस्या विवरण
यह शोध पत्र परिमित क्षेत्रों पर वारिंग समस्या को संबोधित करता है। विशेष रूप से, एक परिमित क्षेत्र $\mathbb{F}_q$ और एक धनात्मक पूर्णांक $k$ दिए जाने पर, यह समस्या उन स्थितियों का निर्धारण करती है जिनके तहत $\mathbb{F}_q$ पर प्रत्येक $n \times n$ आव्यूह (matrix) को दो $k$ -घातों (k-th powers) के योग के रूप में व्यक्त किया जा सकता है। जबकि पूर्व साहित्य ने यह स्थापित किया है कि कुछ शर्तों के तहत आव्यूह $k$ -घातों की एक सीमित संख्या (जैसे, सात) के योग होते हैं, और $k$ में उच्च-डिग्री बहुपदों (polynomials) को शामिल करते हुए $q$ के लिए निम्नतम सीमाएँ (lower bounds) प्रदान की हैं, इस कार्य का लक्ष्य $q$ और $n$ पर स्पष्ट, अधिक सटीक स्थितियाँ स्थापित करना है जो यह गारंटी देती हैं कि प्रत्येक आव्यूह ठीक दो $k$ -घातों का योग है। यह शोध पत्र विशेष रूप से उस स्थिति को लक्षित करता है जहाँ $q \neq 2$ है, यह ध्यान रखते हुए कि $q=2$ के मामले की पूर्व कार्यों में अलग से जांच की जा चुकी है।

कार्यप्रणाली (Methodology)
लेखक आवश्यक विखंडन (decompositions) के निर्माण के लिए बीजगणितीय संख्या सिद्धांत (algebraic number theory), परिमित क्षेत्र सिद्धांत और आव्यूह कैनोनिकल रूपों (matrix canonical forms) के संयोजन का उपयोग करते हैं। कार्यप्रणाली निम्नलिखित प्रमुख चरणों में आगे बढ़ती है:

संगत आव्यूह (Companion Matrices) और $k$ -घात: शोध पत्र इस गुण का उपयोग करता है कि यदि एक बहुपद $P$ अपरिमेय (irreducible) है और उसका संबद्ध संगत आव्यूह $C_P$ एक $k$ -घात है, तो $C_P$ आव्यूह विखंडन के लिए एक निर्माण खंड (building block) के रूप में कार्य करता है। लेम्मा 2.2 स्थापित करता है कि यदि फ्रोबेनियस ऑटोमोर्फिज्म (Frobenius automorphism) के तहत एक तत्व $a \in \mathbb{F}_{q^n}$ का ऑर्बिट $a^k$ के लिए भिन्न मान देता है, तो संगत आव्यूह $C_{P_{a^k}}$ , $M_n(\mathbb{F}_q)$ में एक $k$ -घात है।
निर्धारित ट्रेस (Trace) वाले अपरिमेय बहुपदों का अस्तित्व: विखंडन के लिए आवश्यक लचीलापन सुनिश्चित करने के लिए, लेखक प्रपोजिशन 2.4 पर भरोसा करते हैं। यह प्रपोजिशन ट्रेस समीकरणों के समाधानों के लिए वेइल बाउंड (Weil bound) और अपरिमेय बहुपदों के अनुमानों (मोबियस फंक्शन के माध्यम से) का उपयोग करके यह सिद्ध करता है कि, $k, q,$ और $n$ को शामिल करने वाली विशिष्ट असमानताओं के तहत, किसी भी निर्धारित ट्रेस वाले डिग्री $n$ के अपरिमेय बहुपद मौजूद होते हैं।
कैनोनिकल रूपों के माध्यम से योगात्मक विखंडन (Additive Decomposition): मुख्य संरचनात्मक तर्क लेम्मा 2.6 पर आधारित है, जो यह प्रदर्शित करता है कि $\mathbb{F} \neq \mathbb{F}_2$ पर कोई भी गैर-अदिश (non-scalar) आव्यूह $A$ को दो आव्यूहों के योग में (समानता के अधीन) विभाजित किया जा सकता है: एक $(n-1) \times (n-1)$ आकार का गैर-डेरोगेटरी (non-derogatory) आव्यूह $D$ और एक $n \times n$ आकार का गैर-डेरोगेटरी आव्यूह $E$ , जो एक ट्रेस प्रतिबंध के अधीन है।
$k$ -घातों का निर्माण: $D$ और $E$ का चयन करके जो कि $k$ -घात हैं (चरण 1 के परिणामों का उपयोग करते हुए) और जो ट्रेस प्रतिबंध $t = \text{Tr}(A) - \text{Tr}(D) - \text{Tr}(E)$ को संतुष्ट करते हैं, लेखक $A \sim D' + E'$ का निर्माण करते हैं।
अदिश आव्यूह (Scalar Matrices): अदिश आव्यूहों के लिए, शोध पत्र इस समस्या को $\mathbb{F}_q[C]$ के भीतर बीजगणित (algebra) के रूप में देखता है जो एक अपरिमेय अभिलक्षणिक बहुपद (characteristic polynomial) वाले संगत आव्यूह द्वारा जनित है, और [17] के परिणामों को लागू करते हुए यह दिखाता है कि गैर-शून्य अदिश व्युत्पन्न सीमाओं के तहत दो $k$ -घातों के योग हैं।

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

प्रमेय 2.10: यदि $n$ और $k$ धनात्मक पूर्णांक हैं जो इस स्थिति को संतुष्ट करते हैं:
$k < \frac{q^{n/2} - \omega(n)q + q - 1}{q - 1}$
जहाँ $\omega(n)$ , $n$ के अभाज्य विभाजकों (prime divisors) की संख्या है, तो $\mathbb{F}_q$ ( $q \neq 2$ ) पर प्रत्येक गैर-अदिश $n \times n$ आव्यूह दो $k$ -घातों का एक योग है।
उपप्रमेय 2.14 (मुख्य परिणाम): यदि $q \neq 2$ और असमानता $q^n > (k-1)^4$ सत्य है, तो $\mathbb{F}_q$ पर प्रत्येक $n \times n$ आव्यूह दो $k$ -घातों का एक योग है। यह परिणाम गैर-अदिश और अदिश दोनों आव्यूहों को कवर करता है।
उपप्रमेय 2.15: $n \geq 4$ के लिए, यदि $k \leq q$ है, तो प्रत्येक $n \times n$ आव्यूह दो $k$ -घातों का एक योग है।

महत्व और योगदान
शोध पत्र लार्सन (Larsen) के एक अनुमान के "कमजोर संस्करण" (weak version) को प्रदान करने का दावा करता है, जो यह प्रस्तावित करता है कि प्रत्येक $k$ के लिए, एक स्थिरांक $C_k$ मौजूद है जिससे यदि $q^{n^2} > C_k$ , तो प्रत्येक आव्यूह दो $k$ -घातों का योग है। हालांकि यह शोध पत्र पूर्ण अनुमान को सिद्ध नहीं करता है, फिर भी यह निम्नलिखित तरीकों से मौजूदा परिणामों में सुधार करता है:

स्पष्ट सीमाएँ (Explicit Bounds): पूर्व परिणामों (जैसे, [9], [10]) ने मूलक (radicals) वाले $k$ में बहुपद अभिव्यक्तियों (जैसे, $C_k \leq k^{16}$ या $k^3 - 3k^2 + 3k$ ) के रूप में $q$ के लिए सीमाएँ प्रदान की थीं। यह शोध पत्र $q^n > (k-1)^4$ के रूप में एक सीमा प्रदान करता है, जो एक ऐसे संबंध को दर्शाता है जहाँ क्षेत्र का आकार (field size) और आयाम (dimension) अधिक प्रत्यक्ष रूप से परस्पर क्रिया करते हैं, बजाय इसके कि केवल एक निश्चित $n$ के लिए $q$ की निम्नतम सीमा दी जाए।
दो घात: परिणाम विशेष रूप से दो घातों के विखंडन को लक्षित करते हैं, जो सात या अधिक घातों के योग के लिए स्थापित पूर्व सीमाओं की तुलना में एक मजबूत स्थिति है।
व्यापकता (Generality): परिणाम $q \neq 2$ वाले परिमित क्षेत्रों पर सभी $n \times n$ आव्यूहों (अदिश आव्यूहों सहित) पर लागू होते हैं, बशर्ते कि आयाम और क्षेत्र का आकार व्युत्पन्न असमानता को संतुष्ट करता हो।

लेखक नोट करते हैं कि $q=2$ के मामले की पहले [10] में जांच की गई थी, जहाँ यह दिखाया गया था कि विषम $k$ के लिए, $\mathbb{F}_2$ पर सभी आव्यूह दो $k$ -घातों के योग हैं। वर्तमान कार्य सामान्य परिमित क्षेत्रों ( $q \neq 2$ ) के लिए इन निष्कर्षों को विस्तारित करने पर केंद्रित है।

इसी तरह के और पेपर