Symmetric Tensor Decompositions over Finite Fields

तकनीकी सारांश: परिमित क्षेत्रों पर सममित टेंसर अपघटन (Symmetric Tensor Decompositions over Finite Fields)

समस्या विवरण
यह शोध पत्र परिमित क्षेत्र विस्तारों (finite field extensions) पर गुणन मानचित्र (multiplication map) $M_{q^m}: \mathbb{F}_{q^m} \times \mathbb{F}_{q^m} \to \mathbb{F}_{q^m}$ के सममित टेंसर रैंक (symmetric tensor rank) को निर्धारित करने की समस्या को संबोधित करता है। जबकि मानक द्वैरेखीय जटिलता (bilinear complexity) $\mu_q(m)$ (न्यूनतम गैर-अदिश गुणनों की संख्या) बीजगणितीय जटिलता सिद्धांत का एक केंद्रीय विषय है, सममित टेंसर रैंक $\mu_q^{\text{sym}}(m)$ एक अतिरिक्त प्रतिबंध लागू करता है: अपघटन के प्रत्येक रैंक-वन योग (rank-one summand) में दो रैखिक रूप (linear forms) समान होने चाहिए। यद्यपि $\mu_q^{\text{sym}}(m) \ge \mu_q(m) \ge 2m-1$ है, विशिष्ट श्रेणियों (जैसे, जब $q \ge 2m-2$) के बाहर $\mu_q^{\text{sym}}(m)$ के सटीक मान निर्धारित करना कठिन बना हुआ है। मौजूदा विधियाँ अक्सर बीजगणितीय ज्यामिति या विशिष्ट निर्माणों पर निर्भर करती हैं, जिससे सामान्य मापदंडों के लिए रचनात्मक दृष्टिकोणों में एक अंतराल रह जाता है।

कार्यप्रणाली (Methodology)
लेखक रैखिकीकृत बहुपदों (linearized polynomials, जिन्हें $q$-बहुपद भी कहा जाता है) पर आधारित एक रचनात्मक ढांचा विकसित करते हैं। मुख्य कार्यप्रणाली $L_{m,q}$ बीजगणक में तीन गणितीय वस्तुओं के बीच एक रैंक-संरक्षण पत्राचार (rank-preserving correspondence) स्थापित करने पर निर्भर करती है:

1. $L_{m,q}$ में सममित रैखिकीकृत बहुपद।
2. क्षेत्र ट्रेस $\text{Tr}_{q^m/q}(xy)$ के माध्यम से $\mathbb{F}_{q^m}$ पर $\mathbb{F}_q$ के ऊपर परिभाषित सममित द्वैरेखीय रूप।
3. $\mathbb{F}_q^{m \times m}$ में सममित आव्यूह (symmetric matrices)।

लेखक पहचानते हैं कि लंबाई $R$ का एक सममित टेंसर अपघटन, $R$ रैंक-वन सममित रैखिकीकृत बहुपदों के अस्तित्व के अनुरूप है जो गुणन मानचित्र का प्रतिनिधित्व करने वाले रैखिकीकृत बहुपदों के स्थान (space) को स्पैन (span) करते हैं। विशेष रूप से, वे इस परिणाम का उपयोग करते हैं कि रैंक-वन सममित रैखिकीकृत बहुपद $\alpha \text{Tr}_{q^m/q}(\beta x)$ के रूप में होते हैं जहाँ $\alpha/\beta \in \mathbb{F}_q$।

इस स्पैनिंग स्थिति को गणनात्मक रूप से सुलभ समस्या में बदलने के लिए, लेखक:

• $\mathbb{F}_{q^m}$ के ऊपर एक जनरेटर $\xi$ को स्थिर करते हैं।
• स्पैनिंग स्थिति को $\mathbb{F}_q$ पर स्पष्ट रैखिक समीकरणों के एक निकाय में अनुवादित करते हैं।
• इन समीकरणों को बड़ा करने के लिए फ्रोबेनियस ऑटोमोर्फिज्म (Frobenius automorphism) का उपयोग करते हैं। समीकरणों के फ्रोबेनियस संयुग्मों (Frobenius conjugates) को जोड़कर, वे एक ऐसा मानदंड प्राप्त करते हैं जहाँ $\mathbb{F}_q^R$ में समाधान का अस्तित्व एक वैध सममित टेंसर अपघटन की गारंटी देता है। यह विस्तार यह सुनिश्चित करता है कि पाए गए समाधान फ्रोबेनियस मानचित्र द्वारा स्थिर (fixed) हों, जिससे वे आधार क्षेत्र (base field) में आ सकें।

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

1. रचनात्मक मानदंड: शोध पत्र $\mathbb{F}_{q^m}$ में तत्वों की घातों और उनके फ्रोबेनियस संयुग्मों से जुड़े विशिष्ट रैखिक निकायों की समाधान क्षमता के संदर्भ में $\mu_q^{\text{sym}}(m) \le R$ के लिए एक आवश्यक और पर्याप्त स्थिति प्रदान करता है (Theorem 3.2)।
2. लघु $m$ के लिए स्पष्ट अपघटन: लेखक निम्न विस्तार डिग्री $m \in \{2, 3, 4\}$ के लिए स्पष्ट सममित टेंसर अपघटन प्राप्त करने के लिए अपने मानदंड को लागू करते हैं:
   • मामला $m=2$: वे ज्ञात मान $\mu_q^{\text{sym}}(2) = 3$ को पुनः प्राप्त करते हैं और तीन ट्रेस फलनों वाला एक स्पष्ट अपघटन प्रदान करते हैं, जो किसी भी $q$ के लिए मान्य है।
   • मामला $m=3$: वे दिखाते हैं कि सभी $q$ के लिए $\mu_q^{\text{sym}}(3) \le 6$ है, जिसमें $q \in \{2, 3\}$ के लिए समानता है। $q \ge 4$ के लिए, मान 5 है। वे एक विशिष्ट डिटरमिनेंट बहुपद के गैर-शून्य होने का उपयोग करके आवश्यक तत्वों को खोजने की विधि प्रदान करते हैं।
   • मामला $m=4$: कम्प्यूटेशनल सत्यापन (MAGMA के माध्यम से) का उपयोग करते हुए, वे $q \in \{2, 3, 4, 5\}$ के लिए स्पष्ट अपघटन प्रदान करते हैं। वे $q=2$ ($\mu=9$), $q=4$ ($\mu=8$), और $q=5$ ($\mu=8$) के लिए इष्टतम मानों को पुनः प्राप्त करते हैं, और $q=3$ के लिए लंबाई 9 का एक अपघटन प्रदान करते हैं।
3. कोडिंग-थ्योरेटिक व्याख्या: लेखक एक सममित रैंक-मीट्रिक कोड के सममित टेंसर रैंक को परिभाषित करते हैं, जिसे उन न्यूनतम रैंक-वन सममित आव्यूहों की संख्या के रूप में परिभाषित किया गया है जिनके $\mathbb{F}_q$-स्पैन में कोड शामिल है। वे प्रदर्शित करते हैं कि गुणन टेंसर का प्रथम-स्लाइस स्पेस (first-slice space) एक-आयामी गैबुलिडिन कोड $G_1(m, q) = \langle x \rangle_{\mathbb{F}_{q^m}}$ के समकक्ष है। फलस्वरूप, $\mu_q^{\text{sym}}(m)$ इस विशिष्ट गैबुलिडिन कोड का सममित टेंसर रैंक है।

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

• उम्मीदवार अपघटन (candidate decompositions) का सत्यापन करना।
• उन मापदंडों के लिए स्पष्ट उदाहरण उत्पन्न करना जहाँ पहले केवल सटीक मान अज्ञात थे या केवल सीमाएँ ज्ञात थीं।
• टेंसर रैंक सिद्धांत और रैंक-मीट्रिक कोडिंग सिद्धांत के बीच के अंतर को पाटना, विशेष रूप से गुणन के सममित टेंसर रैंक को सममित रैंक-मीट्रिक कोड के एक अपरिवर्तनीय (invariant) के रूप में व्याख्या करके।

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