On planar functions over $\mathbb{F}_{q^3}$

तकनीकी सारांश: $\mathbb{F}_{q^3}$ पर प्लेनर फलन (Planar Functions)

समस्या विवरण
यह कार्य विषम अभाज्य घात (odd prime power) $q$ के लिए परिमित क्षेत्र $\mathbb{F}_{q^3}$ पर प्लेनर फलनों के अस्तित्व और लक्षण वर्णन की जांच करता है। एक फलन $f: \mathbb{F}_{q^n} \to \mathbb{F}_{q^n}$ को प्लेनर तब कहा जाता है यदि प्रत्येक गैर-शून्य $\epsilon \in \mathbb{F}_{q^n}$ के लिए, अंतर फलन (difference function) $F_\epsilon(X) = f(X+\epsilon) - f(X) - f(\epsilon)$ एक क्रमचय बहुपद (permutation polynomial) हो। लेखक विशेष रूप से पेंटानोमियल (pentanomials) के परिवार पर ध्यान केंद्रित करते हैं जो इस रूप के हैं:
$$f_{E,A,B,C,D}(X) := EX^2 + AX^{q+1} + BX^{q^2+1} + CX^{2q} + DX^{2q^2} \in \mathbb{F}_q[X].$$
प्राथमिक चुनौती $\mathbb{F}_{q^3}$ पर $f_{E,A,B,C,D}$ के गुणांकों $A, B, C, D, E \in \mathbb{F}_q$ पर सटीक बीजगणितीय स्थितियों को निर्धारित करना है जो यह सुनिश्चित करती हैं कि $f_{E,A,B,C,D}$ प्लेनरी गुण (planarity property) को संतुष्ट करता है।

कार्यप्रणाली (Methodology)
लेखक लक्षित पेंटानोमियल परिवार के लिए प्लेनरी स्थिति का विश्लेषण करने के लिए $q$-बहुपदों (linearized polynomials) के सिद्धांत का उपयोग करते हैं। कार्यप्रणाली निम्नलिखित तार्किक चरणों के माध्यम से आगे बढ़ती है:

1. क्रमचय बहुपदों में न्यूनीकरण (Reduction to Permutation Polynomials): परिभाषा के अनुसार, $f$ प्लेनर है यदि और केवल यदि $F_\epsilon(X)$, सभी $\epsilon \in \mathbb{F}_{q^3}^*$ के लिए एक क्रमचय बहुपद है। लेखक लक्षित पेंटानोमियल परिवार के लिए $F_\epsilon(X)$ की गणना स्पष्ट रूप से करते हैं, जिससे यह प्रदर्शित होता है कि यह $L(X) = c_0 X + c_1 X^q + c_2 X^{q^2}$ के रूप में एक $q$-बहुपद है।
2. डिक्सन मैट्रिक्स मानदंड (Dickson Matrix Criterion): थ्योरम 1.1 और लेम्मा 1.2 का उपयोग करते हुए, लेखक स्थापित करते हैं कि एक $q$-बहुपद क्रमचय बहुपद होता है यदि और केवल यदि इसकी संबद्ध डिक्सन मैट्रिक्स गैर-विलक्षण (non-singular) हो (अर्थात, गैर-शून्य सारणिक/determinant वाली हो)।
3. सारणिक विश्लेषण (Determinant Analysis): $F_\epsilon(X)$ के लिए डिक्सन मैट्रिक्स का सारणिक $\Delta_{F_\epsilon}$, $\epsilon$ के एक बहुपद के रूप में निकाला जाता है। प्रपोजिशन 2.1 एक सामान्य, यद्यपि जटिल, लक्षण वर्णन प्रदान करता है: पेंटानोमियल प्लेनर है यदि और केवल यदि यह सारणिक सभी $\epsilon \in \mathbb{F}_{q^3}^*$ के लिए गैर-शून्य है।
4. गुणनखंड रणनीति (Factorization Strategy): यह पहचानते हुए कि सामान्य सारणिक की गैर-शून्यता को सत्यापित करना बीजगणितीय रूप से कठिन है, लेखक एक गुणनखंड दृष्टिकोण (थ्योरम 2.5) विकसित करते हैं। वे गुणांकों पर ऐसी स्थितियाँ खोजते हैं जिससे $\Delta_{F_\epsilon}$ तीन सरल $q$-बहुपदों, $P_1(\epsilon)P_2(\epsilon)P_3(\epsilon)$ के गुणनफल में गुणनखंडित हो सके।
5. रूट-मुक्त स्थितियाँ (Root-Free Conditions): लेखक लेम्मा 2.2 का लाभ उठाते हैं, जो कहता है कि एक $q$-बहुपद $aX^{q^2} + bX^q + cX$ के $\mathbb{F}_{q^3}^*$ में कोई मूल (roots) नहीं होते हैं यदि और केवल यदि $a^3 + b^3 + c^3 - 3abc \neq 0$ हो। विशिष्ट समीकरण प्रणालियों (थ्योरम 2.5 और कोरोलरी 2.6) का निर्माण करके जो सारणिक को ऐसे रूट-मुक्त बहुपदों में गुणनखंडित करने के लिए मजबूर करती हैं, वे प्लेनरी के लिए पर्याप्त स्थितियाँ प्राप्त करते हैं।
6. विशिष्ट मैट्रिक्स परिवार (Specific Matrix Families): विशिष्ट मामलों के लिए सारणिकों की गैर-शून्यता को सत्यापित करने के लिए, लेखक दो $3 \times 3$ मैट्रिक्स परिवारों (प्रपोजिशन 2.3 और 2.4) का विश्लेषण करते हैं, यह सिद्ध करते हुए कि उनके सारणिक सभी गैर-शून्य $\epsilon$ के लिए गैर-शून्य हैं।

प्रमुख योगदान और परिणाम
यह शोध पत्र $\mathbb{F}_{q^3}$ पर प्लेनर पेंटाномиल्स के निर्माण के लिए एक व्यवस्थित ढांचा प्रदान करता है और पांच नए स्पष्ट प्लेनर फलनों के परिवार प्रस्तुत करता है:

1. सामान्य लक्षण वर्णन (Theorem 2.5): एक समीकरण प्रणाली स्थापित की गई है जो, जब गुणांकों $(E, A, B, C, D)$ द्वारा संतुष्ट होती है, तो यह गारंटी देती है कि संबद्ध डिक्सन मैट्रिक्स के सारणिक का गुणनखंड तीन $q$-बहुपदों में होता है जिनका $\mathbb{F}_{q^3}^*$ में कोई मूल नहीं है।
2. प्लेनर ट्रिनोमिअल्स (Theorem 3.1): $EX^2 + CX^{2q} + DX^{2q^2}$ के रूप के ट्रिनोमिअल्स के लिए एक लक्षण वर्णन। फलन प्लेनर है यदि और केवल यदि $C^3 + D^3 + E^3 - 3CDE = 1/2$ हो।
3. विशिष्ट क्वाड्रिनोमियल (Theorem 3.2): बहुपद $f(X) = -X^2 + 2X^{q^2+1} + X^{2q} - X^{2q^2}$ को $\mathbb{F}_{q^3}$ पर प्लेनर सिद्ध किया गया है।
4. दो-पैरामीटर पेंटानोमियल परिवार (Theorem 3.3): एक पेंटानोमियल परिवार $f(X) = EX^2 + 2(E-D)X^{q+1} + 2DX^{q^2+1} + (E-D)X^{2q} + DX^{2q^2}$ को तब प्लेनर दिखाया गया है जब $E(3D^2 - 3DE + E^2) \neq 0$ हो।
5. दो नए पेंटाномиअल्स (Theorem 3.4): दो विशिष्ट पेंटाномиअल्स को प्लेनर के रूप में पहचाना गया है:
   • $X^2 - X^{q+1} - X^{q^2+1} + X^{2q} + X^{2q^2}$
   • $X^2 + X^{q+1} + X^{q^2+1} + \frac{1}{2}X^{2q} + \frac{1}{2}X^{2q^2}$

महत्व और दावे
यह शोध पत्र $\mathbb{F}_{q^3}$ पर बहुपदों के प्लेनरी गुण के लिए नए लक्षण वर्णन प्रदान करने और प्लेनर ट्रिनोमिअल्स, क्वाड्रिनोमिअल्स और पेंटाномиअल्स के नए परिवारों को प्रस्तुत करने का दावा करता है। यह कार्य प्लेनर फलनों पर मौजूदा साहित्य का विस्तार करता है, जिसके अनुप्रयोग क्रिप्टोग्राफी (विशेष रूप से S-box डिज़ाइन), कोडिंग थ्योरी और सिग्नल सेट्स में हैं। लेखक उल्लेख करते हैं कि जबकि प्लेनर मैपिंग का अस्तित्व व्यापक रूप से अध्ययन किया गया है, उन्हें बनाना या उनके अस्तित्व के लिए स्थितियों को चरित्रित करना परिमित क्षेत्र सिद्धांत (finite field theory) में एक महत्वपूर्ण समस्या बनी हुई है। यह कार्य डिक्सन मैट्रिक्स सारणिकों के गुणनखंडन पर आधारित एक रचनात्मक विधि प्रदान करके इस समस्या को संबोधित करता है, जिससे प्लेनर फलनों के ठोस उदाहरण प्राप्त होते हैं जो इस विशिष्ट रूप में पहले अनिश्चित थे।