🔢 mathematics

A Weil Sum Approach to Permutation Polynomials over Quadratic Extensions of Finite Fields

यह शोध पत्र वेइल सम्स (Weil sums) के माध्यम से उनके शून्य की सटीक संख्या निर्धारित करके और उनके संयोजन प्रतिलोम (compositional inverses) को स्पष्ट रूप से प्रदान करके द्विघाती विस्तार क्षेत्र $\mathbb{F}_{q^2}$ पर विशिष्ट क्रमपरिवर्तन बहुपदों (permutation polynomials) की श्रेणियों को अभिलक्षणित करता है।

मूल लेखक: Bidushi Sharma, Dhiren Kumar Basnet

प्रकाशित 2026-06-15

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Bidushi Sharma, Dhiren Kumar Basnet

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक विशाल, उच्च-सुरक्षा वाली सॉर्टिंग सुविधा (sorting facility) चला रहे हैं। इस सुविधा के भीतर, एक विशेष कमरा है जिसे Finite Field Fq2 कहा जाता है। यह कमरा टोकन नामक विशिष्ट संख्या में अद्वितीय वस्तुओं (items) से भरा हुआ है।

इस शोध पत्र का लक्ष्य एक विशेष प्रकार के निर्देशों (एक Permutation Polynomial) को खोजना है जो इन टोकनों को इधर-उधर व्यवस्थित (shuffle) कर सके। एक "अच्छे" निर्देशों के नियम का सरल लेकिन सख्त नियम है: प्रत्येक टोकन को एक नई जगह पर जाना चाहिए, और कोई भी दो टोकन कभी भी एक ही जगह पर नहीं पहुँच सकते। यदि दो टोकन एक ही स्थान पर पहुँच जाते हैं, या यदि कोई टोकन गायब हो जाता है, तो निर्देश विफल हो जाते हैं।

लेखक, बिदशी शर्मा और धीरन कुमार बेसनेट, उन कुशल ताला बनाने वालों (master locksmithers) की तरह हैं जो यह पता लगाने की कोशिश कर रहे हैं कि इस विशिष्ट कमरे के लिए कौन से सटीक सूत्र (formulas) इन पूर्ण शफलिंग निर्देशों के रूप में काम करते हैं।

उपकरण: "Weil Sum" जादुई छड़ी

यह परीक्षण करने के लिए कि क्या कोई सूत्र काम करता है, लेखक एक गणितीय उपकरण जिसे Weil Sum कहा जाता है, का उपयोग करते हैं। इसे एक Weil Sum नामक एक अत्यंत सटीक काउंटर या "जादुई छड़ी" के रूप में समझें।

हर एक टोकन को एक-एक करके शफल करने के बजाय (जिसमें बहुत समय लगेगा), जादुई छड़ी लेखकों को तुरंत यह गिनने की अनुमति देती है कि यदि वे एक विशिष्ट सूत्र का उपयोग करते हैं, तो कितने टोकन एक ही स्थान पर पहुँचेंगे।

यदि जादुची छड़ी हर संभव स्थिति के लिए शून्य (zero) टकराव (collisions) गिनती है, तो वह सूत्र एक विजेता है (एक Permutation Polynomial)।
यदि जादुई छड़ी एक या अधिक टकराव गिनती है, तो वह सूत्र हार जाता है।

दो सूत्र जिनका उन्होंने परीक्षण किया

लेखकों ने दो विशिष्ट प्रकार के शफलिंग सूत्रों पर ध्यान केंद्रित किया:

सूत्र A (Formula A): $x^q + bx^2 + cx + d$ $x^{q} + b x^{2} + c x + d$
- उपमा: कल्पना करें कि एक मशीन है जो एक टोकन लेती है, उसका वर्ग (square) करती है, कुछ अन्य संख्याएँ जोड़ती है, और उसे बाहर निकाल देती है।
सूत्र B (Formula B): $x^{q+1} + bx^q + cx + d$ $x^{q + 1} + b x^{q} + c x + d$
- उपमा: एक थोड़ा अलग मशीन जिसकी कल्पना करें जो पहले मशीन की तुलना में एक बार अधिक टोकन को खुद से गुणा करती है, फिर कुछ अन्य संख्याएँ जोड़ती है।

वे जानना चाहते थे कि: किन विशिष्ट स्थितियों (b, c, और d के मान) के तहत ये मशीनें बिना किसी टकराव के टोकनों को पूरी तरह से व्यवस्थित करती हैं?

निष्कर्ष: क्या काम आया और क्या नहीं

शोध पत्र अपने निष्कर्षों को इस आधार पर विभाजित करता है कि "कमरे" में टोकनों की संख्या विषम (odd) है या सम (even) है।

1. जब कमरे में विषम संख्या में टोकन हों ( $q$ विषम है)

सूत्र A ( $x^q + bx^2 + cx + d$ ):
- फैसला: यह केवल तभी काम करता है जब आप "वर्ग करने" वाले हिस्से को बंद कर दें ( $b=0$ ) और रैखिक भाग (linear part) के लिए एक बहुत ही विशिष्ट सेटिंग ( $c$ ) चुनें। यदि आप वर्ग करने वाले हिस्से को शामिल करने का प्रयास करते हैं ( $b \neq 0$ ), तो मशीन हमेशा टकराव पैदा करती है। यह एक चौकोर टुकड़े को गोल छेद में फिट करने की कोशिश करने जैसा है; यह बिल्कुल काम नहीं करता।
सूत्र B ( $x^{q+1} + bx^q + cx + d$ ):
- फैसला: लेखकों ने सिद्ध किया कि यदि कमरे में विषम संख्या में टोकन हैं, तो यह सूत्र कभी भी एक पूर्ण शफ़लर के रूप में काम नहीं करता है, चाहे आप इसकी सेटिंग्स को कितना भी बदल लें। यह इस विशिष्ट कमरे में एक टूटा हुआ यंत्र है। उन्होंने एक अनुमान (conjecture) भी लगाया कि यह शायद अन्य परिदृश्यों में भी कभी काम नहीं करेगा, लेकिन वे अभी तक इसे सिद्ध नहीं कर पाए हैं।

2. जब कमरे में सम संख्या में टोकन हों ( $q$ सम है)

सूत्र A ( $x^q + bx^2 + cx + d$ ):
- फैसला: यहाँ, मशीन काम कर सकती है! लेकिन इसके लिए एक बहुत ही सख्त रेसिपी की आवश्यकता होती है। या तो आपको वर्ग करने वाले हिस्से को बंद करना होगा ( $b=0$ ) और एक विशिष्ट $c$ चुनना होगा, या आपको वर्ग करने वाले हिस्से को चालू करना होगा ( $b \neq 0$ ) लेकिन $c$ को ठीक 1 पर सेट करना होगा। यदि आप इस रेसिपी से भटकते हैं, तो टोकन आपस में टकरा जाएंगे।
सूत्र B ( $x^{q+1} + bx^q + cx + d$ ):
- फैसला: विषम-संख्या वाले कमरे की तरह ही, यह मशीन सम-संख्या वाले कमरे में भी कभी भी पूरी तरह से काम नहीं करती है। इसमें हमेशा टकराव होता है।

"रिवर्स गियर" (Compositional Inverses)

एक बार जब लेखकों ने वे सूत्र ढूंढ लिए जो काम कर रहे थे (पूर्ण शफ़्लर्स), तो वे वहीं नहीं रुके। उन्होंने रिवर्स गियर भी खोज निकाला।

एक वास्तविक दुनिया की उपमा में: यदि आपके पास एक मशीन है जो अंडे को पूरी तरह से बिखेर (scramble) देती है, तो आपको एक ऐसी मशीन की भी आवश्यकता है जो उसे वापस कच्चे अंडे में बदल सके। लेखकों ने उनके सफल शफलिंग सूत्रों को उलटने (reverse) के लिए सटीक गणितीय निर्देश प्रदान किए। यह महत्वपूर्ण है क्योंकि कई अनुप्रयोगों (जैसे क्रिप्टोग्राफी) में, आपको मूल संदेश को पढ़ने के लिए शफल को उलटना पड़ता है।

सारांश

सरल शब्दों में, यह शोध पत्र दो विशिष्ट गणितीय रेसिपी का एक कठोर परीक्षण है। लेखकों ने यह निर्धारित करने के लिए एक शक्तिशाली गणना पद्धति (Weil sums) का उपयोग किया कि कब ये रेसिपी बिना किसी टकराव के संख्याओं के एक समूह को सफलतापूर्वक व्यवस्थित करती हैं।

उन्होंने पाया कि एक रेसिपी केवल बहुत विशिष्ट, संकीकीर्ण स्थितियों के तहत काम करती है (यह इस पर निर्भर करता है कि संख्याएँ विषम हैं या सम)।
उन्होंने पाया कि दूसरी रेसिपी कभी भी काम नहीं करती है (उन स्थितियों के लिए जिनका उन्होंने परीक्षण किया)।
उन्होंने काम करने वाली रेसिपी के लिए "अनडू" (undo) बटन भी प्रदान किया।

यह शोध पत्र इन विशिष्ट सूत्रों के लिए एक "प्रूफ ऑफ कॉन्सेप्ट" है, जो यह स्थापित करता है कि कब ये सूत्र पूर्ण शफ़्लर्स के रूप में उपयोग करने के लिए सुरक्षित हैं और कब वे विफल होने के लिए बने हैं।

तकनीकी सारांश: परिमित क्षेत्रों के द्विघातीय विस्तारों पर क्रमपरिवर्तक बहुपदों के लिए एक वेइल सम दृष्टिकोण

समस्या विवरण
यह शोध पत्र एक परिमित क्षेत्र $\mathbb{F}_{q^2}$ के द्विघातीय विस्तार पर क्रमपरिवर्तक बहुपदों (Permutation Polynomials - PPs) के वर्गीकरण को संबोधित करता है। विशेष रूप से, लेखक दो अलग-अलग प्रकार के बहुपदों की जांच करते हैं:

$f(x) = x^q + bx^2 + cx + d$
$f(x) = x^q+1 + bx^q + cx + d$

मुख्य समस्या यह निर्धारित करना है कि गुणांक $b, c, d \in \mathbb{F}_{q^2}$ के लिए आवश्यक और पर्याप्त स्थितियाँ क्या हैं ताकि ये बहुपद $\mathbb{F}_{q^2}$ पर एक एकैकी आच्छादक (bijection) प्रेरित करें। लेखक स्पष्ट रूप से उल्लेख करते हैं कि विचाराधीन बहुपद वान-लिड्ल (Wan-Lidl) प्रकार ( $x^s f(x^r)$ ) में नहीं आते हैं और न ही वे अफ़ाइन $q$ -बहुपद हैं, जो उन्हें पहले से अध्ययन किए गए कई वर्गों से अलग करता है।

कार्यप्रणाली
मुख्य कार्यप्रणाली इस विशेषता पर आधारित है कि एक बहुपद को क्रमपरिवर्तक होने के लिए तब तक क्रमपरिवर्तक माना जाता है जब तक कि समीकरण $f(x) = t$ के प्रत्येक $t \in \mathbb{F}_{q^2}$ के लिए ठीक एक समाधान हो। समतुल्य रूप से, $f(x) + t$ के $\mathbb{F}_{q^2}$ में ठीक एक शून्य होना चाहिए।

इन बहुपदों के लिए शून्यों की सटीक संख्या ( $M$ ) निर्धारित करने के लिए, लेखक $\mathbb{F}_{q^2}$ के मानक योगात्मक अभिलक्षण (canonical additive character) $\chi$ से जुड़े वेइल सम (Weil sums/character sums) का उपयोग करते हैं। शून्यों की संख्या को निम्नलिखित पहचान के माध्यम से व्यक्त किया जाता है:
$M = \frac{1}{q^2} \sum_{x \in \mathbb{F}_{q^2}} \sum_{y \in \mathbb{F}_{q^2}} \chi(y f(x))$
विश्लेषण क्षेत्र की विशेषता (characteristic) के आधार पर मामलों को अलग करके (q विषम बनाम q सम) और गुणांकों की विशिष्ट संरचना के आधार पर आगे बढ़ता है।

$q$ विषम के लिए: लेखक द्विघातीय अभिलक्षणों और $x^q+1$ तथा द्विघातीय पदों से जुड़े विशिष्ट मूल्यांकनों पर परिणामों का उपयोग करते हैं। वे द्विघातीय अभिलक्षण $\eta$ और ट्रेस मानचित्रों (trace maps) को शामिल करते हुए शून्यों की संख्या के लिए स्पष्ट सूत्र व्युत्पन्न करते हैं।
$q$ सम के लिए: दृष्टिकोण $(q+1)$ -वें मूल इकाई के सेट ( $\mu_{q+1}$ ) के भीतर सहायक बहुपदों के मूलों का विश्लेषण करने और स्व-संयुग्मी प्रतिलोम बहुपदों (self-conjugate reciprocal polynomials) के गुणों का उपयोग करने पर आधारित है।

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

$x^q + bx^2 + cx + d$ का लक्षण वर्णन:
- जब $q$ विषम है: प्रमेय 3.6 स्थापित करता है कि $x^q + bx^2 + cx + d$ एक क्रमपरिवर्तक बहुपद है यदि और केवल यदि $b = 0$ और $c \notin \mu_{q+1}$ हो। लेखक सिद्ध करते हैं कि यदि $b \neq 0$ , तो विषम $q$ के लिए यह बहुपद कभी भी $\mathbb{F}_{q^2}$ को क्रमपरिवर्तित नहीं करता है।
- जब $q$ सम है: प्रमेय 3.7 पूर्ण लक्षण वर्णन प्रदान करता है: बहुपद एक PP है यदि और केवल यदि या तो ( $b=0$ और $c \in \mathbb{F}_q \setminus \{1\}$ ) या ( $b \in \mathbb{F}_q^*$ और $c = 1$ )।
$x^{q+1} + bx^q + cx + d$ का लक्षण वर्णन:
- जब $q$ सम है: प्रपोजिशन 3.8 सिद्ध करता है कि यह बहुपद गुणांकों की परवाह किए बिना, $\mathbb{F}_{q^2}$ पर कभी भी क्रमपरिवर्तक बहुपद नहीं होता है। यह परिणाम पिछले कार्यों (विशेष रूप से [2]) से स्वतंत्र रूप से प्राप्त किया गया है, जो वेइल समों के माध्यम से एक नवीन प्रमाण प्रस्तुत करता है।
- जब $q$ विषम है: प्रपोजिशन 3.9 दिखाता है कि यदि $b^q = c$ , तो बहुपद कभी भी PP नहीं होता है। लेखक कन्जेक्चर (अनुमान) 3.10 भी प्रस्तुत करते हैं, जो यह सुझाव देता है कि विषम $q$ के लिए, बहुपद तब भी कभी PP नहीं होता है जब $b^q \neq c$ , हालांकि वे नोट करते हैं कि वर्तमान उपकरणों के साथ यह अप्रामाणित है।
प्रतिलोम निर्माण (Compositional Inverses):
लेखक पहचाने गए वैध क्रमपरिवर्तक बहुपदों के प्रतिलोम का स्पष्ट निर्माण करते हैं:
- विषम $q$ के मामले के लिए ( $b=0, c \notin \mu_{q+1}$ ), प्रतिलोम $f^{-1}(x) = \frac{1}{c^{q+1}-1}(c^q x + x^q)$ द्वारा दिया गया है।
- सम $q$ के मामलों के लिए, प्रतिलोम $q$ -रैखिक बहुपदों के गुणों और विशिष्ट ट्रेस-आधारित संरचनाओं का उपयोग करके व्युत्पन्न किए जाते हैं।

महत्ता और दावे
लेखक अपने कार्य को उन बहुपदों के वर्ग के प्रत्यक्ष अनुप्रयोग के रूप में प्रस्तुत करते हैं जो अफ़ाइन $q$ -बहुपद या वान-लिड्ल प्रकार के नहीं हैं। इसकी महत्ता निम्नलिखित में निहित है:

पूर्णता: विषम और सम दोनों विशेषताओं में $x^q + bx^2 + cx + d$ के रूप के लिए पूर्ण लक्षण वर्णन प्रदान करना।
प्रमाण में नवीनता: $q$ सम होने पर $x^{q+1} + bx^q + cx + d$ के रूप के गैर-अस्तित्व के लिए एक स्वतंत्र प्रमाण प्रदान करना, जो मौजूदा साहित्य से भिन्न है।
कार्यप्रणाली की उपयोगिता: यह प्रदर्शित करना कि मिश्रित डिग्री ( $x^q$ और $x^2$ या $x^{q+1}$ ) वाले बहुपदों के लिए शून्य गिनने और क्रमपरिवर्तन गुणों को निर्धारित करने के लिए अभिलक्षण योगों (character sums) का प्रभावी ढंग से उपयोग कैसे किया जा सकता है।

शोध पत्र विनम्रतापूर्वक समाप्त होता है, यह स्वीकार करते हुए कि जबकि दूसरे बहुपद वर्ग के लिए विषम $q$ हेतु $b^q \neq c$ का मामला खुला है, स्थापित परिणाम इन विशिष्ट बहुपद रूपों के क्रमपरिवर्तन व्यवहार की आगे की जांच के लिए एक ठोस आधार प्रदान करते हैं।