Orthomorphism Polynomials of degree $7$ over finite fields

तकनीकी सारांश: परिमित क्षेत्रों (Finite Fields) पर डिग्री 7 के ऑर्थोमोरफ़िज्म बहुपद (Orthomorphism Polynomials)

समस्या विवरण
यह शोध पत्र परिमित क्षेत्रों $\mathbb{F}_q$ पर डिग्री 7 के ऑर्थोमोरफ़िज्म बहुपदों (OPs) के वर्गीकरण को संबोधित करता है। एक बहुपद $f \in \mathbb{F}_q[x]$ को तब ऑर्थोमोरफ़िज्म बहुपद कहा जाता है जब $f(x)$ और $f(x) - x$ दोनों $\mathbb{F}_q$ पर क्रमचय बहुपद (Permutation Polynomials - PPs) हों। जबकि नेइडरईटर, रॉबिन्सन, शाल और वानलेस के पिछले कार्यों ने डिग्री 7 से कम के पूर्ण क्रमचय बहुपदों (CPPs) और विशिष्ट डिग्री 6 के OPs का वर्गीकरण किया था, डिग्री 7 के OPs के स्पष्ट रूप और पूर्ण गणना का मामला विभिन्न क्षेत्र आदेशों (field orders) के लिए एक खुला प्रश्न बना हुआ था। लेखक डिग्री 7 के गैर-अपवादस्वरूप (non-exceptional) OPs की पूर्ण सूची निर्धारित करने और अपवादस्वरूप (exceptional) OPs का आंशिक लक्षण वर्णन प्रदान करने का लक्ष्य रखते हैं।

कार्यप्रणाली
लेखक सैद्धांतिक वर्गीकरण परिणामों और कम्प्यूटेशनल गणना के संयोजन का उपयोग करते हैं:

1. रैखिक रूपांतरण द्वारा न्यूनीकरण (Reduction via Linear Transformations): यह अध्ययन सियांग फान [2] के कार्य पर आधारित है, जो यह स्थापित करता है कि $\mathbb{F}_q$ पर कोई भी डिग्री 7 PP, एक सामान्यीकृत रूप $x^7 + \sum_{i=1}^5 f_i x^i$ से रैखिक रूप से संबंधित है। दो बहुपद "रैखिक रूप से संबंधित" होते हैं यदि एक को $g(x) = af(bx+c)+d$ के माध्यम से दूसरे में रूपांतरित किया जा सके।
2. PPs और OPs के बीच अंतर: एक महत्वपूर्ण पद्धतिगत चुनौती यह नोट की गई है कि जबकि रैखिक रूपांतरण PP होने के गुण को संरक्षित करते हैं, वे आवश्यक रूप से OP होने के गुण को संरक्षित नहीं करते हैं। इसलिए, लेखक केवल यह जाँच नहीं कर सकते कि एक सामान्यीकृत PP एक OP है या नहीं; उन्हें विशिष्ट स्केलिंग कारकों $\alpha$ और $\beta$ को निर्धारित करना होगा ताकि $\alpha f(\beta x)$ (और उसके शिफ्ट्स) OP की स्थिति को संतुष्ट करे।
3. व्यवस्थित गणना (Systematic Enumeration):
   • लेखक विशिष्ट क्षेत्र आदेशों ($q \in \{11, 13, 17, 19, 23, 25, 31\}$) के लिए सभी गैर-अपवादस्वरूप PPs की पहचान करने के लिए लेम्मा 2 [2] का उपयोग करते हैं।
   • प्रत्येक उम्मीदवार बहुपद परिवार के लिए, वे इस शर्त से प्राप्त समीकरणों के निकाय का निर्माण करते है कि $h(x) = \alpha f(\beta x) - x$ भी एक PP होना चाहिए (और इस प्रकार एक ज्ञात सामान्यीकृत रूप से रैखिक रूप से संबंधित होना चाहिए)।
   • वैध युग्मों $(\alpha, \beta) \in (\mathbb{F}_q^*)^2$ को खोजने के लिए इन प्रणालियों को कंप्यूटर अलजेब्रा सिस्टम SageMath का उपयोग करके हल किया जाता है।
   • वैध आधार बहुपदों से पूर्ण OP सेट उत्पन्न करने के लिए लेम्मा 3 [5] का उपयोग अनुवादों $f(x+\gamma) + \delta$ के माध्यम से किया जाता है।
   • लेम्मा 4 यह सुनिश्चित करता है कि अलग-अलग $(\alpha, \beta)$ जोड़े अलग-अलग बहुपद उत्पन्न करते हैं, जिससे सटीक गणना संभव होती है।

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

• गैर-अपवादस्वरूप OPs के लिए अस्तित्व और वर्गीकरण:
  यह शोध पत्र सिद्ध करता है कि एक गैर-अपवादस्वरूप ऑर्थोमोरफ़िज्म बहुपद $\mathbb{F}_q$ (जहाँ $q > 7$) पर अस्तित्व में है यदि और केवल यदि $q \in \{11, 13, 17, 19, 25\}$ हो।

  • स्पष्ट सूचियाँ: लेखक प्रत्येक वैध $q$ के लिए इन बहुपदों के स्पष्ट रूप प्रदान करते हैं, जो $(\alpha, \beta)$ युग्मों द्वारा पैरामीट्रिक हैं।
  • सटीक गणना:
    • $\mathbb{F}_{11}$: 7,260 OPs (20 अपवादस्वरूप)
    • $\mathbb{F}_{13}$: 6,422 OPs (4 अपवादस्वरूप)
    • $\mathbb{F}_{17}$: 4,624 OPs (सभी गैर-अपवादस्वरूप)
    • $\mathbb{F}_{19}$: 4,332 OPs (4 अपवादस्वरूप)
    • $\mathbb{F}_{25}$: 60,000 OPs (20 अपवादस्वरूप)
  • $q=11, 13, 17$ के लिए ये गणनाएँ शाल और वानलेस [7] द्वारा दिए गए डेटा के साथ पूरी तरह से मेल खाती हैं।

• अस्तित्वहीनता के परिणाम (Non-Existence Results):
  यह अध्ययन $\mathbb{F}_{23}$ और $\mathbb{F}_{31}$ पर डिग्री 7 OPs के गैर-अस्तित्व को स्थापित करता है। इसके अलावा, यह पुष्टि करता है कि उन क्षेत्रों के लिए कोई OPs मौजूद नहीं हैं जहाँ $q \equiv 6 \pmod 7$ (अपवाद $q=13$ को छोड़कर) है, जो विशेषता 2 वाले क्षेत्रों पर पिछले परिणामों का विस्तार करता है।

• अपवादस्वरूप बहुपद (Exceptional Polynomials):
  यह शोध पत्र अपवादस्वरूप OPs (वे जो अनगिनत विस्तारों पर PPs हैं) का लक्षण वर्णन करता है।

  • $\mathbb{F}_{49}$ (और सामान्य रूप से $\mathbb{F}_{7^t}, t \ge 2$) के लिए, सभी डिग्री 7 OPs अपवादस्वरूप हैं।
  • लेखक $\mathbb{F}_{49}$ के लिए एक स्पष्ट लक्षण वर्णन प्रदान करते हैं, जिसमें कुल 3,937,640 ऐसे बहुपद दर्ज हैं।
  • यह दिखाया गया है कि $\mathbb{F}_{27}$ के लिए, डिग्री 7 के कोई OPs मौजूद नहीं हैं।

महत्व
यह शोध पत्र दावा करता है कि यह उन सभी परिमित क्षेत्रों के लिए गैर-अपवादस्वरूप ऑर्थोमोरफ़िज्म बहुपदों के वर्गीकरण को पूरा करता है जहाँ ऐसे बहुपद मौजूद हैं। $q=19, 25, 49$ के लिए विश्लेषण का विस्तार करके और छोटे क्षेत्रों के लिए मौजूदा डेटा के विरुद्ध गणनाओं को सत्यापित करके, लेखक डिग्री 7 OPs के संबंध में साहित्य के अंतराल को भरते हैं। यह कार्य इन बहुपदों के स्पष्ट रूपों की एक निश्चित सूची प्रदान करता है, जो डिज़ाइन थ्योरी, विशेष रूप से लैटिन स्क्वायर के निर्माण में प्रासंगिक हैं। लेखक उल्लेख करते हैं कि भविष्य के कार्य में $\mathbb{F}_{7^r}$ ($r \ge 3$) और $q > 31$ वाले क्षेत्रों का परीक्षण करना शामिल होगा जहाँ $q \not\equiv 0, 1, 6 \pmod 7$, हालांकि वे अनुमान लगाते कि उन मामलों में केवल अपवादस्वरूप बहुपद ही पाए जाएंगे।