Inverses of six classes of permutation polynomials of the form $x+\gamma\operatorname{Tr}_q^{q^2}(h(x))$ over finite fields of even characteristic

यहाँ राजेश पी. सिंह, दिनेश कुमार और जितेंद्र प्रकाश के शोध पत्र "Inverses of six classes of permutation polynomials of the form $x+\gamma \text{Tr}_{q^2}^q (h(x))$ over finite fields of even characteristic" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र सम विशेषता वाले परिमित क्षेत्रों (finite fields of even characteristic) $\mathbb{F}_{q^2}$ (जहाँ $q=2^m$) पर विशिष्ट प्रकार के परम्यूटेशन पॉलीनोमियल्स (PPs) के लिए स्पष्ट कंपोजिशनल इन्वर्स (compositional inverses) खोजने की समस्या को संबोधित करता है।

• संदर्भ (Context): हालाँकि एक परम्यूटेशन पॉलीनोमियल के व्युत्क्रम (inverse) का अस्तित्व उसके द्वैत (bijective) स्वभाव के कारण सुनिश्चित होता है, लेकिन उसका स्पष्ट बीजगणितीय रूप निर्धारित करना एक अत्यंत कठिन समस्या है। लैग्रेंज इंटरपोलेशन (Lagrange interpolation) जैसी मानक विधियाँ ऐसे पॉलीनोमियल्स देती हैं जिनमें पदों की संख्या बहुत अधिक होती है, जो गणनात्मक रूप से उपयोगी या संरचनात्मक रूप से सार्थक नहीं होते।
• लक्ष्य वर्ग (Target Class): लेखक $f(x) = x + \gamma \text{Tr}_{q^2}^q(h(x))$ के रूप वाले पॉलीनोमियल्स पर ध्यान केंद्रित करते हैं, जहाँ $\text{Tr}_{q^2}^q$ फलन $\mathbb{F}_{q^2}$ से $\mathbb{F}_q$ तक ट्रेस फलन है, और $\gamma \in \mathbb{F}_{q^2}$, तथा $h(x)$ एक विशिष्ट पॉलीनोमियल है।
• विशिष्ट लक्ष्य (Specific Goal): लेखकों का लक्ष्य उन छह विशिष्ट वर्गों के कंपोजिशनल इन्वर्स के लिए क्लोज्ड-फॉर्म एक्सप्रेशन (closed-form expressions) प्राप्त करना है, जिन्हें हाल ही में जियांग एट अल. [21] द्वारा परम्यूटेशन पॉलीनोमियल्स के रूप में पहचाना गया था।

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

लेखक एक लीनियराइज्ड पॉलीनोमियल ट्रांसफॉर्मेशन विधि (linearized polynomial transformation method) को मैट्रिक्स बीजगणित (matrix algebra) के साथ संयोजित करते हैं। मुख्य रणनीति निम्नलिखित चरणों में शामिल है:

1. सहायक रूपांतरण (Auxiliary Transformation): वे एक लीनियराइज्ड पॉलीनोमियल $T(x)$ (या $U(x)$) पेश करते हैं जिसे इस प्रकार परिभाषित किया गया है:
   $$T(x) = \text{Tr}_{q^2}^q(\beta x) + \alpha \text{Tr}_{q^2}^q(\delta x)$$
   जहाँ $\alpha \in \mathbb{F}_{q^2} \setminus \mathbb{F}_q$ ऐसा है कि $\text{Tr}_{q^2}^q(\alpha)=1$, और $\beta, \delta$ को इस प्रकार चुना गया है कि वे $\mathbb{F}_q$ पर रैखिक रूप से स्वतंत्र (linearly independent) हों।
2. आधार अपघटन (Basis Decomposition): चूँकि $\{1, \alpha\}$ $\mathbb{F}_{q^2}$ के लिए $\mathbb{F}_q$ पर एक आधार (basis) बनाता है, इसलिए $\mathbb{F}_{q^2}$ का कोई भी तत्व $y$ अद्वितीय रूप से निरूपित किया जा सकता है। लेखक संयोजन $f(T(x))$ का विश्लेषण करते हैं।
3. समीकरणों का निकाय (System of Equations): $f(T(x)) = T(y)$ को समीकरण के रूप में स्थापित करके, वे ट्रेस पदों से जुड़ी रैखिक समीकरणों के एक निकाय में समस्या को विभाजित करते हैं। इस निकाय को मैट्रिक्स रूप में दर्शाया गया है:
   $$\begin{pmatrix} \beta & \beta^q \\ \delta & \delta^q \end{pmatrix} \begin{pmatrix} x \\ x^q \end{pmatrix} = \begin{pmatrix} \text{RHS}_1 \\ \text{RHS}_2 \end{pmatrix}$$
4. मैट्रिक्स व्युत्क्रमण (Matrix Inversion): प्रारंभिक पंक्ति संचालन (elementary row operations) का उपयोग करके, वे गुणांक मैट्रिक्स का व्युत्क्रमण करते हैं (यह ध्यान रखते हुए कि उनकी शर्तों के तहत डिटर्मिनेंट $\beta\delta^q + \delta\beta^q \neq 0$ है) ताकि $x$ को $y$ के पदों में हल किया जा सके।
5. प्रतिस्थापन और सरलीकरण (Substitution and Simplification): वे समाधान में $y = T^{-1}(x)$ को वापस प्रतिस्थापित करते हैं और ट्रेस फलन के गुणों (जैसे विषम विशेषता विस्तार में $x^3$ के व्युक्रम के संबंध में लेम्मा 2.1) का उपयोग करके अभिव्यक्ति को एक क्लोज्ड-फॉर्म पॉलीनोमियल में सरल बनाते हैं।

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

यह शोध पत्र थ्योरम 1.1 से 1.6 में परिभाषित PPs के छह वर्गों के लिए स्पष्ट कंपोजिशनल इन्वर्स प्रदान करता है। परिणाम $\gamma$ की स्थिति और $m$ की समता (parity) के आधार पर वर्गीकृत हैं।

वर्ग 1: $f_1(x) = x + \gamma \text{Tr}_{q^2}^q(x^3 + x^{q+2})$

• शर्त: $\gamma \in \mathbb{F}_q$।
• व्युत्क्रम (Inverse): $f_1^{-1}(x) = x + \gamma (\text{Tr}_{q^2}^q(x))^3$।

वर्ग 2: $f_2(x) = x + \gamma \text{Tr}_{q^2}^q(x + x^2 + x^3 + x^{q+2})$

• शर्त: $\gamma \in \mathbb{F}_q$।
• व्युत्क्रम: $f_2^{-1}(x) = x + \gamma \text{Tr}_{q^2}^q(x) + \gamma (\text{Tr}_{q^2}^q(x))^2 + \gamma (\text{Tr}_{q^2}^q(x))^3$।

वर्ग 3: $f_3(x) = x + \gamma \text{Tr}_{q^2}^q(x + x^3 + x^{q+2})$

• स्थिति A ($\gamma \in \mathbb{F}_q$):
  $f_3^{-1}(x) = x + \gamma \text{Tr}_{q^2}^q(x) + \gamma (\text{Tr}_{q^2}^q(x))^3$।
• स्थिति B ($\text{Tr}_{q^2}^q(\gamma)=1$, $m$ विषम है):
  $f_3^{-1}(x) = \text{Tr}_{q^2}^q((1+\gamma)x) + \gamma (\text{Tr}_{q^2}^q(x))^t$, जहाँ $3t \equiv 1 \pmod{2^m-1}$।

वर्ग 4: $f_4(x) = x + \gamma \text{Tr}_{q^2}^q(x^2 + x^3 + x^{q+2})$

• स्थिति A ($\gamma \in \mathbb{F}_q$):
  $f_4^{-1}(x) = x + \gamma (\text{Tr}_{q^2}^q(x))^2 + \gamma (\text{Tr}_{q^2}^q(x))^3$।
• स्थिति B ($\text{Tr}_{q^2}^q(\gamma)=1$, $m$ विषम है):
  $f_4^{-1}(x) = \text{Tr}_{q^2}^q((1+\gamma)x) + \gamma [(\text{Tr}_{q^2}^q(x) + 1)^t + 1]$।

वर्ग 5: $f_5(x) = x + \gamma \text{Tr}_{q^2}^q(x + x^{q+2})$

• शर्त: $m$ विषम है, $\gamma \in \mathbb{F}_{2^2} \setminus \{1\}$।
• व्युत्क्रम: ट्रेस ऑफ $(1+\gamma)x$ और एक घात $t$ (जहाँ $3t \equiv 1 \pmod{2^m-1}$) वाला एक जटिल व्यंजक जिसमें ट्रेस के पॉलीनोमियल संयोजन शामिल है।
  $$f_5^{-1}(x) = \text{Tr}_{q^2}^q((1+\gamma)x) + \gamma \left[ \left( \text{Tr}_{q^2}^q(x) + (\text{Tr}_{q^2}^q((1+\gamma)x))^3 + (\text{Tr}_{q^2}^q((1+\gamma)x))^2 + \text{Tr}_{q^2}^q((1+\gamma)x) + 1 \right)^t + \text{Tr}_{q^2}^q((1+\gamma)x) + 1 \right]$$

वर्ग 6: $f_6(x) = x + \gamma \text{Tr}_{q^2}^q(x^2 + x^{q+2})$

• शर्त: $m$ विषम है, $\gamma \in \mathbb{F}_{2^2} \setminus \{1\}$।
• व्युत्क्रम:
  $$f_6^{-1}(x) = \text{Tr}_{q^2}^q((1+\gamma)x) + \gamma \left[ \text{Tr}_{q^2}^q((1+\gamma)x) + \left( \text{Tr}_{q^2}^q(x) + (\text{Tr}_{q^2}^q((1+\gamma)x))^3 \right)^t \right]$$

4. महत्व और अनुप्रयोग (Significance and Applications)

• क्रिप्टोग्राफिक प्रासंगिकता (Cryptographic Relevance): शोध पत्र रेखांकित करता है कि परम्यूटेशन पॉलीनोमियल्स और उनके व्युत्क्रम ब्लॉक साइफर्स (जैसे AES) में महत्वपूर्ण घटक हैं। इन प्रणालियों में, S-बॉक्स (Substitution box) अक्सर परम्यूटेशन पॉलीनोमियल्स पर निर्भर करता है। इनके व्युक्रम की कुशल गणना डिक्रिप्शन और की शेड्यूलिंग (key scheduling) के लिए आवश्यक है।
• कोडिंग थ्योरी (Coding Theory): त्रुटि-सुधार कोड (error-correcting codes) के निर्माण में PPs का उपयोग किया जाता है। व्युत्क्रम को जानने से कुशल डिकोडिंग एल्गोरिदम संभव होते हैं।
• सैद्धांतिक प्रगति (Theoretical Advancement): यह शोध पत्र जियांग एट अल. [21] द्वारा पहचाने गए वर्गों के व्युत्क्रमों के संबंध में एक विशिष्ट खुली समस्या को हल करता है। स्पष्ट, कम-डिग्री ( $q$ के सापेक्ष) सूत्र प्रदान करके, यह जेनेरिक इंटरपोलेशन विधियों से होने वाले कम्प्यूटेशनल विस्फोट से बचता है।
• कार्यप्रणाली की उपयोगिता (Methodological Utility): एक लीनियराइज्ड सहायक पॉलीनोमियल का उपयोग करने की तकनीक, जो समस्या को आधार क्षेत्र $\mathbb{F}_q$ पर एक हल करने योग्य रैखिक निकाय में विभाजित करती है, अन्य "ट्रेस-फॉर्म" परम्यूटेशन पॉलीनोमियल्स के व्युत्क्रम खोजने के लिए एक मजबूत टेम्पलेट के रूप में कार्य करती है।

निष्कर्ष (Conclusion)

सिंह एट अल. सम विशेषता वाले परिमित क्षेत्रों पर परम्यूटेशन पॉलीनोमियल्स के सिद्धांत का सफलतापूर्वक विस्तार करते हैं। $\mathbb{F}_q$ पर ट्रेस फलन और रैखिक बीजगणित की संरचना का लाभ उठाकर, वे छह अलग-अलग वर्गों के PPs के लिए स्पष्ट, गणनात्मक रूप से कुशल सूत्र प्रदान करते हैं। ये परिणाम उन सुरक्षित क्रिप्टोग्राफिक प्रिमिटिव्स और कोडिंग स्कीमों के कार्यान्वयन का सीधा समर्थन करते जो इन विशिष्ट पॉलीनोमियल संरचनाओं पर आधारित हैं।