A new construction of permutation polynomials over $\mathbb{F}_{q^3}$

तकनीकी सारांश: $\mathbb{F}_{q^3}$ पर क्रमपरिवर्तक बहुपदों का एक नया निर्माण

समस्या विवरण
यह शोध पत्र $\mathbb{F}_{q^3}$ के परिमित क्षेत्रों (finite fields) पर क्रमपरिवर्तक बहुपदों (permutation polynomials - PPs) के निर्माण और वर्गीकरण को संबोधित करता है। जबकि द्विघात क्षेत्रों $\mathbb{F}_{q^2}$ पर PPs के निर्माण के लिए व्यवस्थित विधियाँ (विशेष रूप से [8] में प्रस्तुत विधि जो समस्या को $\mathbb{P}^1(\mathbb{F}_q)$ पर परिमेय फलनों तक कम करती है) अच्छी तरह से स्थापित हैं, $\mathbb{F}_{q^3}$ के लिए साहित्य में काफी कम परिणाम उपलब्ध हैं। त्रिघाती क्षेत्रों के लिए मौजूदा निर्माण मुख्य रूप से द्विघाती विधि के वेरिएंट्स पर निर्भर करते हैं। लेखक $\mathbb{F}_{q^3}$ पर नए PPs की नई परिवारों को उत्पन्न करने के लिए एक विशिष्ट, व्यवस्थित दृष्टिकोण विकसित करने का लक्ष्य रखते हैं, जिनके गुणांक सरल हों और पदों की संख्या कम हो, विशेष रूप से सम विशेषता (even characteristic) के मामले में झांग, झेंग, वांग, पेंग और ली द्वारा दिए गए अनुमानों के सामान्यीकरण को हल करते हुए।

कार्यप्रणाली
इस कार्य का मुख्य नवाचार एक "पूर्णतः नई व्यवस्थित विधि" है जो एक दो-चरणीय न्यूनीकरण (two-step reduction) प्रक्रिया का उपयोग करती है, जो पिछले साहित्य में सामान्य एकल-चरणीय न्यूनीकरणों के विपरीत है। $\mathbb{F}_{q^3}$ पर एक बहुपद $f(X)$ के निर्माण का विश्लेषण निम्नलिखित अपघटन के माध्यम से किया जाता है:

1. योगात्मक न्यूनीकरण (Additive Reduction - चरण 1): $\mathbb{F}_{q^3}$ पर $f(X)$ के क्रमपरिवर्तक गुण को बहुपद $X^{q^2} + X^q + X$ के मूलों (roots) के सेट $\Gamma$ पर एक संबद्ध फलन के क्रमपरिवर्तक गुण में कम किया जाता है। यह चरण एक योगात्मक स्वरूप का उपयोग करता है, जो ट्रेस-जैसे मानचित्र $X \mapsto X^q - X$ के कर्नेल (kernel) की संरचना का लाभ उठाता है।
2. गुणात्मक न्यूनीकरण (Multiplicative Reduction - चरण 2): इस समस्या को आगे $\Gamma$ से बहुपद $X^{q+1} + X + 1$ के मूलों $\Lambda$ के सेट तक कम किया जाता है। यह चरण एक गुणात्मक स्वरूप का उपयोग करता है, जो समस्या को $\Lambda$ पर परिमेय फलनों के अध्ययन में मैप करता है।

लेखक यह स्थापित करने के लिए विशिष्ट लेम्मा (जैसे, लेम्मा 3.1) का उपयोग करते हैं कि $f(X) = L(X) + B(X) \circ (X^q - X) + (X^{q^2} + X^q + X) \circ C(X)$ के रूप का एक बहुपद $\mathbb{F}_{q^3}$ को क्रमपरिवर्तित करता है यदि और केवल यदि:

• $L(X) + (X^q - X) \circ B(X)$, $\Gamma$ को क्रमपरिवर्तित करता है।
• $L(X) + (X^{q^2} + X^q + X) \circ C(X)$, कोसेट्स (cosets) $u + \mathbb{F}_q$ पर आक्षेपी (injective) है।

प्रमाण अक्सर $\Lambda$ और $\Gamma$ पर परिमेय फलनों के क्रमपरिवर्तक गुणों के विश्लेषण पर निर्भर करते हैं, जो अक्सर घातांकों के महत्तम समापवर्तक (GCD) और क्षेत्र मापदंडों के 2-एडिक मूल्यांकन ($\text{ord}_2$) से संबंधित शर्तों में बदल जाते हैं।

मुख्य परिणाम
शोध पत्र कई प्रमेय और उपप्रमेय प्रस्तुत करता है जो विशिष्ट बहुपद परिवारों के लिए $\mathbb{F}_{q^3}$ पर क्रमपरिवर्तक बहुपद होने के लिए आवश्यक और पर्याप्त स्थितियाँ निर्धारित करते हैं।

• प्रमेय 1.1: $f(X) = X^{Q+1} \circ (X^q - X) + (X^{q^2} + X^q + X) \circ cX^{R+S}$ के रूप के बहुपदों के PP होने के लिए स्थितियाँ स्थापित करता है। शर्त $\gcd(q-1, (Q+1)(R+S)) = 1$ है, जो कि $p=2$ और $\text{ord}_2(k) \le \min(\text{ord}_2(\ell), \text{ord}_2(m-n))$ के समतुल्य है।
• उपप्रमेय 1.2: 1 के गुणांकों वाले विशिष्ट PP परिवारों को व्युत्पन्न करता है:
  • एक त्रिपद (trinomial) $f_1(X) = X^{q^2Q+q} + X^{qQ+q^2} + X^{Q+1}$।
  • पाँच पदों वाले तीन पंचपद (pentanomials) ($f_2, f_3, f_4$)।
  • ये परिणाम [6] के पंचपदों के संबंध में दो अनुमानों को हल करते हैं और त्रिपद के लिए एक वर्गीकरण प्रदान करते हैं।
• प्रमेय 1.4 और उपप्रमेय 1.5: निर्माण को एक गुणांक $c \in \mathbb{F}_{q^3}$ को शामिल करने के लिए सामान्यीकृत करता है, जिसके लिए $\gcd(q-1, Q+1)=1$ और $\text{Tr}_{\mathbb{F}_{q^3}/\mathbb{F}_q}(c) \neq 0$ की आवश्यकता होती है। $c=1$ रखने पर गुणांक 1 वाले PPs का एक नया परिवार प्राप्त होता है।
• प्रमेय 1.6 और 1.7: यह सिद्ध करते हैं कि $(X^q - X) \circ X^{Q+1}$ (और विशेष रूप से $(X^q - X) \circ X^3$) विशिष्ट मॉड्यूलर स्थितियों ($q \equiv 2 \pmod 3$ के लिए त्रिघाती मामले में) के तहत $X^{q^2} + X^q + X$ के मूलों को क्रमपरिवर्तित करता है।
• प्रमेय 1.8 और उपप्रमेय 1.9: घन पद $X^3$ का उपयोग करके एक PP परिवार का निर्माण करते हैं, जो अनंत रूप से कई विशेषताओं के लिए मान्य है जहाँ $q \equiv 2 \pmod 3$ है। इसमें एक द्विसंलक्षण (bivariate) घात-3 बहुपद शामिल है जो शास्त्रीय अपवादपूर्ण बहुपदों (exceptional polynomials) के सामान्यीकरण के रूप में कार्य करता है।

महत्ता और दावे
लेखक दावा करते हैं कि उनके प्रमाण "वैचारिक रूप से संक्षिप्त हैं और इनमें कोई जटिल गणनाएँ शामिल नहीं हैं", जो PPs पर पिछले साहित्य में पाए जाने वाले लंबे बीजगणितीय हेरफेर के विपरीत है। प्राथमिक महत्ता निम्नलिखित में निहित है:

1. पद्धतिगत नवाचार: $\mathbb{F}_{q^3}$ के लिए विशेष रूप से तैयार की गई दो-चरणीय न्यूनीकरण (योगात्मक के बाद गुणात्मक) का परिचय।
2. खुली समस्याओं का समाधान: ये परिणाम सम विशेषता के मामले में झांग आदि के अनुमानों के सामान्यीकरण को हल करते हैं।
3. निर्माण की सरलता: विधि ऐसे PPs प्रदान करती है जिनके गुणांक बहुत सरल होते हैं (अक्सर केवल 1) और पदों की संख्या कम होती है (तीन तक), जो कुशल कार्यान्वयन की आवश्यकता वाले अनुप्रयोगों के लिए विशेष रूप से महत्वपूर्ण हैं।
4. अनंत परिवार: निर्माण विशिष्ट छोटे क्षेत्रों तक सीमित रहने के बजाय, अनंत रूप से कई विशेषताओं के लिए PPs के नए परिवार प्रदान करता है।

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