🔢 mathematics

Some new results on permutation trinomials over finite fields with even characteristic

यह शोध पत्र विशिष्ट पैरामीटर सेटों के लिए सम विशेषता वाले परिमित क्षेत्रों (finite fields) पर क्रमचय त्रिपद (permutation trinomials) के तीन नए वर्गों का निर्माण करता है, $m>3$ के लिए $r=9$ , $\alpha=7$ , और $\beta=3$ हेतु एक विशिष्ट वर्ग के अस्तित्वहीनता को सिद्ध करता है, और इन बहुपदों की अर्ध-गुणनशील तुल्यता (quasi-multiplicative equivalence) के संबंध में एक हालिया अनुमान (conjecture) को सत्यापित करता है।

मूल लेखक: Kirpa Garg, Sartaj Ul Hasan, Chandan Kumar Vishwakarma

प्रकाशित 2026-02-03

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

CC BY 4.0

मूल लेखक: Kirpa Garg, Sartaj Ul Hasan, Chandan Kumar Vishwakarma

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

कल्पना कीजिए कि एक विशाल, डिजिटल ब्रह्मांड है जिसे फाइनाइट फील्ड (Finite Field) कहा जाता है। इस ब्रह्मांड को एक विशाल, गोलाकार डांस फ्लोर के रूप में सोचें जिसमें विशिष्ट संख्या में स्थान हैं (मान लीजिए $2^{2m}$ स्थान)। इस ब्रह्मांड में, कुछ विशेष "डांस मूव्स" हैं जिन्हें परम्यूटेशन पॉलिनोमियल (Permutation Polynomials) कहा जाता है।

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

लंबे समय से, गणितज्ञ सबसे सुंदर और सरल डांस मूव्स खोजने की कोशिश कर रहे हैं। सबसे सरल मूव्स "मोनोमियल" (एक कदम) हैं, उसके बाद "बाइनोमियल" (दो कदम) आते हैं। अगला स्तर, जो महारत हासिल करने में बहुत कठिन है, उसमें ट्रिनोमियल (Trinomials) (तीन कदम) शामिल हैं।

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

इन खोजों का सरल हिंदी में विवरण यहाँ दिया गया है:

1. तीन नए डांस मूव्स

लेखकों ने तीन विशिष्ट फॉर्मूले (ट्रिनोमियल) खोजे हैं जो डांसरों के एक आदर्श शफल (shuffle) की गारंटी देते हैं। ये तीन संख्याओं द्वारा परिभाषित होते हैं: मुख्य डांसर कितने कदम लेता है ( $r$ ), और दो अन्य संख्याएँ जो लय को ट्यून करती हैं ( $\alpha$ और $\beta$ )।

टीम ने पाया कि ये मूव्स केवल तभी पूरी तरह से काम करते हैं यदि डांस फ्लोर का आकार कुछ नियमों का पालन करता है (विशेष रूप से, $m$ की संख्या कुछ संख्याओं जैसे 5 या 3 से विभाज्य नहीं होनी चाहिए)।

तीन नए विजेता संयोजन ये हैं:

कॉम्बो A: $(r=11, \alpha=10, \beta=4)$
कॉम्बो B: $(r=9, \alpha=8, \beta=6)$
कॉम्बो C: $(r=7, \alpha=7, \beta=5)$

इसे ऐसे समझें कि ये एक परफेक्ट शफल के लिए तीन नए गुप्त नुस्खे हैं। लेखकों ने गणितीय रूप से सिद्ध किया है कि यदि आप सही परिस्थितियों में इन नुस्खों का उपयोग करते हैं, तो डांस फ्लोर हमेशा बिना किसी टकराव के पूरी तरह से पुनर्व्यवस्थित हो जाएगा।

2. क्या ये मूव्स वास्तव में नए हैं? ("लुक-अलाइक" टेस्ट)

गणित की दुनिया में, कभी-कभी एक "नया" मूव केवल एक पुराना मूव होता है जिसने वेश बदल ली हो। उदाहरण के लिए, यदि आप संगीत की गति बढ़ा दें या शुरुआती स्थिति बदल दें, तो एक मूव अलग दिख सकता है लेकिन काम एक जैसा ही करता है। गणितज्ञ इसे QM इक्विवेलेंस (Quasi-Multiplicative Equivalence) कहते हैं।

लेखकों ने न केवल मूव्स खोजे, बल्कि उन्हें एक कठोर "पहचान जांच" से भी गुजारा।

उन्होंने अपने तीन नए मूव्स की तुलना पिछले शोधों की ज्ञात मूव्स की एक लंबी सूची से की।
उन्होंने सिद्ध किया कि उनके नए मूव्स पुराने मूव्स के केवल छद्म रूप (disguised versions) नहीं हैं। वे वास्तव में अद्वितीय पैटर्न हैं।
उन्होंने यह भी सिद्ध किया कि उनके तीन नए मूव्स एक-दूसरे से भिन्न हैं।

3. "असंभव" मूव

लेखकों ने एक विशिष्ट डांस मूव की भी जांच की जिसे कई लोगों ने सोचा था कि वह काम कर सकता है: पैरामीटर $(r=9, \alpha=7, \beta=3)$ वाला फॉर्मूला।

ज्यामिति के एक शक्तिशाली उपकरण, जिसे हासे-वील बाउंड (Hasse-Weil bound) कहा जाता है (जो बीजगणितीय वक्रों के लिए एक "ट्रैफिक डेंसिटी मीटर" की तरह है), का उपयोग करते हुए, उन्होंने सिद्ध किया कि यह मूव बड़े डांस फ्लोर्स पर काम नहीं कर सकता।

उपमा: कल्पना कीजिए कि आप 1,000 लोगों की भीड़ को एक विशिष्ट नियम का उपयोग करके एक घेरे में व्यवस्थित करने की कोशिश कर रहे हैं। लेखकों ने सिद्ध किया कि आप चाहे कितनी भी कोशिश करें, यदि भीड़ बड़ी है, तो यह विशिष्ट नियम अनिवार्य रूप से दो लोगों को आपस में टकराने पर मजबूर कर देगा। उन्होंने दिखाया कि किसी भी निश्चित आकार से बड़े डांस फ्लोर के लिए, यह विशिष्ट फॉर्मूला विफल हो जाता है।

4. एक पहेली को सुलझाना (कन्जेक्चर)

अंत में, यह शोध पत्र एक पहेली को संबोधित करता है जो अन्य गणितज्ञों द्वारा 2024 में प्रस्तावित की गई थी। पहेली यह थी कि क्या दो विशिष्ट प्रकार के डांस मूव वास्तव में एक ही "आत्मा" (QM equivalent) हैं, भले ही वे कागज पर अलग दिखते हों।

लेखकों ने एक स्पष्ट, चरण-दर-चरण प्रमाण प्रदान करके पुष्टि की कि हाँ, ये दो मूव वास्तव में समान (equivalent) हैं। उन्होंने इस पहेली को उस पद्धति से अलग तरीके से हल किया जिसका उपयोग मूल प्रस्तावकर्ताओं ने किया था, जिससे इस बात पर एक नया दृष्टिकोण मिला कि गणित क्यों काम करता है।

सारांश

संक्षेप में, यह शोध पत्र "परफेक्ट शफल्स के कैटलॉग" में एक योगदान है। लेखक:

विशिष्ट प्रकार के डिजिटल डांस फ्लोर्स के लिए तीन नए, वैध शफलिंग नियम मिले।
उन्होंने सिद्ध किया कि वे अद्वितीय हैं और पुराने नियमों की नकल नहीं हैं।
उन्होंने एक संभावित नियम को गलत सिद्ध किया, यह दिखाते हुए कि यह बड़े फ्लोर्स पर विफल हो जाता है।
उन्होंने एक गणितीय पहेली को हल किया जो दो अन्य नियमों के बीच संबंध के बारे में थी।

ये निष्कर्ष पूरी तरह से गणितीय हैं, जो फाइनाइट फील्ड्स में ज्ञात संरचनाओं के पुस्तकालय को विस्तृत करने में मदद करते हैं, जो क्रिप्टोग्राफी और एरर-करेक्टिंग कोड जैसी चीजों के निर्माण खंड (building blocks) हैं (हालाँकि शोध पत्र स्वयं इंजीनियरिंग अनुप्रयोगों के बजाय पूरी तरह से गणित पर केंद्रित है)।

तकनीकी सारांश: सम चर वाली परिमित क्षेत्रों (Finite Fields) पर परम्यूटेशन ट्रिनोमियल पर नए परिणाम

समस्या विवरण
यह शोध पत्र सम चर वाले परिमित क्षेत्रों, विशेष रूप से $\mathbb{F}_{q^2}$ जहाँ $q = 2^m$ है, पर परम्यूटेशन ट्रिनोमिअल्स के निर्माण और वर्गीकरण को संबोधित करता है। इसका केंद्र $f(X) = X^r(X^{\alpha(q-1)} + X^{\beta(q-1)} + 1)$ के रूप में बहुपदों (polynomials) का है, जहाँ $m, r, \alpha, \beta$ धनात्मक पूर्णांक हैं और $\alpha > \beta$ है। जबकि मोनोमियल्स (monomials) को आसानी से वर्गीकृत किया जा सकता है और सम चर वाले मामलों में पहचान गुणांकों (identity coefficients) वाले परम्यूटेशन बाइनोमियल्स मौजूद नहीं होते हैं, परम्यूटेशन ट्रिनोमिअल्स का वर्गीकरण एक चुनौतीपूर्ण खुला क्षेत्र बना हुआ है। लेखक ऐसे परम्यूटेशन ट्रिनोमिअल्स के नए वर्गों की पहचान करने, मौजूदा साहित्य के विरुद्ध उनकी नवीनता को सत्यापित करने और उनकी तुल्यता (equivalence) के संबंध में विशिष्ट अनुमानों (conjectures) को हल करने का लक्ष्य रखते हैं।

कार्यप्रणाली (Methodology)
लेखक बीजगणितीय मानदंडों, कम्प्यूटेशनल गुणनखंड (factorization) और बीजगणितीय ज्यामिति (algebraic geometry) के संयोजन का उपयोग करते हैं:

परम्यूटेशन मानदंड: प्राथमिक उपकरण वान-लिड्ल (Wan-Lidl) मानदंड (लेम्मा 2.1) और $\mathbb{F}_{q^2}$ के लिए इसका विशिष्ट रूप (लेम्मा 2.2) है। यह समस्या को यह निर्धारित करने में बदल देता है कि क्या $f(X)$ , $\mathbb{F}_{q^2}$ को परम्यूट करता है, जिसके लिए दो शर्तों की जाँच करनी होती है: $\gcd(r, q-1)=1$ और संबद्ध बहुपद $g(X) = X^r(h(X))^{q-1}$ द्वारा यूनिट सर्कल $\mu_{q+1}$ का परम्यूटेशन।
गुणनखंड और इंजेक्टिविटी (Injectivity): यह सिद्ध करने के लिए कि संबद्ध बहुपद $g(X)$ , $\mu_{q+1}$ को परम्यूट करता है, लेखक $g(X) = g(Y)$ समीकरण का विश्लेषण करते हैं जहाँ $X, Y \in \mu_{q+1}$ हैं। वे इसे एक बहुपद समीकरण $f(X, Y) = 0$ में परिवर्तित करते हैं और $f(X, Y)$ को विशिष्ट क्षेत्र विस्तारों (field extensions) पर गुणनखंडित करने के लिए SageMath का उपयोग करते हैं। वे यह प्रदर्शित करते हैं कि प्रासंगिक डोमेन में एकमात्र समाधान $X=Y$ है, जिससे इंजेक्टिविटी सिद्ध होती है।
क्वासी-मल्टीप्लिकेटिव (QM) तुल्यता: निर्मित वर्गों की नवीनता स्थापित करने के लिए, लेखक QM तुल्यता की परिभाषा (परिभाषा 4.1) लागू करते हैं। वे एक दो-चरणीय रणनीति का उपयोग करते हैं: पहले, यह जाँचने के लिए कि क्या दो बहुपदों के घातांकों (exponents) के सेट को $q^2-1$ के मॉड्यूल में एक मल्टीप्लायर $d$ के माध्यम से एक दूसरे में मैप किया जा सकता है; दूसरा, यदि पहला चरण सत्य है तो गुणांकों की तुलना करना।
बीजगणितीय ज्यामिति द्वारा गैर-अस्तित्व प्रमाण: एक विशिष्ट वर्ग के ट्रिनोमिअल्स के गैर-अस्तित्व को सिद्ध करने के लिए, लेखक परम्यूटेशन बहुपदों और बीजगणितीय वक्रों (algebraic curves) के बीच संबंध का लाभ उठाते हैं। वे एक विशिष्ट बहुपद $H(X, Y)$ का निर्माण करते हैं और इसकी पूर्णतः अपरिमेयता (absolute irreducibility) को सिद्ध करते हैं (लेम्मा 5.2)। वे फिर हसे-वील बाउंड (Hasse-Weil bound - ऑब्री-पेरेट संस्करण) को लागू करते हैं ताकि यह दिखाया जा सके कि $H(X, Y)$ द्वारा परिभाषित वक्र में ऐसे परिमेय बिंदु (rational points) मौजूद हैं जो पर्याप्त बड़े $m$ के लिए परम्यूटेशन गुण का उल्लंघन करते हैं।
अनुमान समाधान (Conjecture Resolution): QM तुल्यता के संबंध में एक अनुमान को हल करने में, लेखक घातांक सेटों से प्राप्त संयुग्मी प्रणालियों (systems of congruences) को हल करते हैं, जिसमें वैध मल्टीप्लायर $d$ के अस्तित्व को निर्धारित करने के लिए चाइनीज रिमाइंडर थ्योरम (CRT) का उपयोग किया जाता है।

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

परम्यूटेशन ट्रिनोमिअल्स के तीन नए वर्ग: लेखक $\mathbb{F}_{2^{2m}}$ पर परम्यूटेशन ट्रिनोमिअल्स के तीन नए वर्गों का निर्माण और अस्तित्व सिद्ध करते हैं, जिनके पैरामीटर सेट $(\alpha, \beta, r)$ निम्नलिखित हैं:
1. $(7, 5, 7)$ : परम्यूटेशन तब होता है जब और केवल जब $m$ सम हो और $m \not\equiv 0 \pmod 3$ हो।
2. $(8, 6, 9)$ : परम्यूटेशन तब होता है जब और केवल जब $m$ विषम हो।
3. $(10, 4, 11)$ : परम्यूटेशन तब होता है जब और केवल जब $m \not\equiv 0 \pmod 5$ हो।
  इनके प्रमाणों में $\mathbb{F}_{q^2}$ के विस्तारों पर विस्तृत द्विसंयोजक (bivariate) बहुपदों का गुणनखंड और यूनिट सर्कल पर इंजेक्टिविटी का सत्यापन शामिल है।
QM अतुल्यता: यह शोध पत्र प्रदर्शित करता है कि ये तीन नए वर्ग आपस में और साहित्य में सूचीबद्ध सभी पूर्व ज्ञात वर्गों (विशेष रूप से पेपर की तालिका 1 में संदर्भित) के साथ क्वैसी-मल्टीप्लिकेटिव (QM) रूप से अतुल्य हैं। यह पुष्टि करता है कि निर्मित वर्ग मौजूदा बहुपदों के रूपांतरण के बजाय वास्तव में नई गणितीय वस्तुएं हैं।
गैर-अस्तित्व परिणाम: लेखक सिद्ध करते हैं कि ट्रिनोमियल $X^9(X^{7(q-1)} + X^{3(q-1)} + 1)$ , $m > 3$ के लिए $\mathbb{F}_{2^{2m}}$ को परम्यूट नहीं करता है। यह यह दिखाकर प्राप्त किया गया है कि संबद्ध बीजगणितीय वक्र पूर्णतः अपरिमेय है और $m \ge 18$ के लिए गैर-परम्यूटिंग परिमेय बिंदुओं की उपस्थिति सुनिश्चित करने के लिए हसे-वील बाउंड लागू किया गया है, जबकि छोटे मामलों को कम्प्यूटेशनल रूप से सत्यापित किया गया है।
एक अनुमान का समाधान: यह शोध पत्र यादव, गुप्ता, सिंह और यादव (2024) द्वारा प्रस्तावित एक अनुमान के लिए एक प्रारंभिक प्रमाण प्रदान करता है। अनुमान यह है कि यदि $F(X) = X^r(X^{\alpha(q-1)} + X^{\beta(q-1)} + 1)$ और $G(X) = X^{2\alpha-r}(X^{\alpha(q-1)} + X^{(\alpha-\beta)(q-1)} + 1)$ दोनों $\mathbb{F}_{q^2}$ को परम्यूट करते हैं, तो वे QM तुल्य हैं। लेखक इस तुल्यता को स्थापित करने वाले घातांक $d$ की स्पष्ट गणना करते हैं, जो यादव, सिंह और गुप्ता (2024) के कार्य से भिन्न प्रमाण प्रस्तुत करता है।

महत्व
यह शोध पत्र सम चर वाले परिमित क्षेत्रों पर परम्यूटेशन ट्रिनोमिअल्स के ज्ञात परिदृश्य को विस्तारित करने का दावा करता है। तीन नए पैरामीटर सेटों की पहचान करके, लेखक क्रिप्टोग्राफी, कोडिंग थ्योरी और कॉम्बिनेटोरियल डिज़ाइन में अनुप्रयोगों के लिए उपलब्ध स्पष्ट निर्माणों के कैटलॉग का विस्तार करते हैं। इसके अतिरिक्त, QM अतुल्यता का कठोर सत्यापन यह सुनिश्चित करता है कि ये नए वर्ग ज्ञात बहुपदों के केवल रेडंडेंट प्रतिनिधित्व नहीं हैं। $(9, 7, 3)$ मामले के लिए गैर-अस्तित्व प्रमाण संभावित परम्यूटेशन ट्रिनोमिअल्स के खोज स्थान को सीमित करता है, जबकि अनुमान का समाधान इन बहुपदों के विशिष्ट परिवारों के बीच संरचनात्मक संबंधों को स्पष्ट करता है। यह कार्य स्थापित बीजगणितीय तकनीकों पर निर्भर करता है लेकिन इस क्षेत्र के विशिष्ट खुले प्रश्नों और अनुमानों को हल करने के लिए उन्हें लागू करता है।

1. तीन नए डांस मूव्स

2. क्या ये मूव्स वास्तव में नए हैं? ("लुक-अलाइक" टेस्ट)

3. "असंभव" मूव

4. एक पहेली को सुलझाना (कन्जेक्चर)

सारांश

इसी तरह के और पेपर