🔢 mathematics

A class of locally differentially $4$-uniform power functions with Niho exponents

यह शोध पत्र $q = 2^m$ और सम $m \geq 4$ के साथ $\mathbb{F}_{q^2}$ पर पावर फंक्शन $F(x) = x^{3q - 2}$ के डिफरेंशियल स्पेक्ट्रम को निर्धारित करता है, यह सिद्ध करते हुए कि यह एक निहो एक्सपोनेंट (Niho exponent) वाला स्थानीय रूप से डिफरेंशियल 4-यूनिफॉर्म फंक्शन है।

मूल लेखक: Haode Yan, Kangquan Li

प्रकाशित 2026-04-16

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

CC0 1.0

मूल लेखक: Haode Yan, Kangquan Li

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

कल्पना कीजिए कि आप एक बैंक के लिए एक उच्च-सुरक्षा तिजोरी (vault) डिजाइन कर रहे हैं। चोरों को बाहर रखने के लिए, आपको एक विशेष लॉक मैकेनिज्म की आवश्यकता है जो संयोजन (combination) को इतनी अच्छी तरह से बिखेर (scramble) दे कि यदि कोई चोर उनके इनपुट में मामूली बदलाव करके पैटर्न का अनुमान लगाने की कोशिश भी करे, तो वे आउटपुट का अनुमान न लगा सकें। डिजिटल सुरक्षा की दुनिया में, इस "लॉक" को क्रिप्टोग्राफिक फंक्शन कहा जाता है, और इन "मामूली बदलावों" को डिफरेंशियल अटैक्स कहा जाता है।

यह शोध पत्र एक नए, अविश्वसनीय रूप से मजबूत प्रकार के लॉक का आविष्कार करने और यह साबित करने के बारे में है कि यह वास्तव में कितना अच्छा है।

यहाँ सरल उपमाओं (analogies) का उपयोग करके शोध का विवरण दिया गया है:

1. परिवेश: डिजिटल खेल का मैदान (The Digital Playground)

शोधकर्ता एक विशिष्ट गणितीय दुनिया में काम कर रहे हैं जिसे फाइनाइट फील्ड (finite field) कहा जाता है। इसे एक विशाल, गोलाकार खेल के मैदान के रूप में सोचें जिसमें निश्चित संख्या में स्थान (मान लीजिए $q^2$ स्थान) हैं।

फंक्शन: वे इस खेल के मैदान में घूमने के लिए एक विशिष्ट नियम का परीक्षण कर रहे हैं। नियम यह है: "अपने वर्तमान स्थान की संख्या लें, उसे एक बहुत ही विशिष्ट घात (power) ( $3q - 2$ ) तक बढ़ाएँ, और वह आपका नया स्थान होगा।"
एक्सपोनेंट (Exponent): उन्होंने जो घात ( $3q - 2$ ) चुनी है, वह विशेष है। इसे निहो एक्सपोनेंट (Niho exponent) कहा जाता है। इसे एक विशिष्ट, दुर्लभ चाबी के आकार के रूप में सोचें जिसे गणितज्ञों ने लंबे समय से यह जानने के लिए चुना है कि वह जटिल पैटर्न बनाने में अच्छा है, लेकिन किसी ने भी पूरी तरह से यह मैप नहीं किया है कि यह विशिष्ट चाबी इस विशिष्ट खेल के मैदान में कैसे व्यवहार करती है।

2. परीक्षण: "बटरफ्लाई इफेक्ट" (The Butterfly Effect)

यह देखने के लिए कि लॉक कितना मजबूत है, शोधकर्ता डिफरेंशियल एनालिसिस नामक एक परीक्षण करते हैं।

परिदृश्य: कल्पना करें कि आप और आपका एक मित्र खेल के मैदान में दो स्थानों पर खड़े हैं जो एक-दूसरे से ठीक एक कदम की दूरी पर हैं। आप दोनों अपने नए स्थानों पर जाने के लिए "लॉक नियम" लागू करते हैं।
प्रश्न: यदि आप जानते हैं कि आप कितनी दूरी (एक कदम) से शुरू हुए थे, तो कितनी अलग-अलग तरीकों से आप दूसरी ओर एक विशिष्ट दूरी पर समाप्त हो सकते हैं?
लक्ष्य: एक कमजोर लॉक अनुमानित होता है। यदि आप एक कदम चलते हैं, तो आप हमेशा दो कदम चलते हैं। यह बुरा है क्योंकि एक चोर पैटर्न का अनुमान लगा सकता है। एक मजबूत लॉक अराजक (chaotic) होता है। यदि आप एक कदम चलते हैं, तो आप 2 कदम, या 4 कदम, या 100 कदम दूर हो सकते हैं, जो इस बात पर निर्भर करता है कि आप कहाँ से शुरू हुए थे।

3. खोज: "स्थानीय रूप से" मजबूत (Locally Strong)

शोधकर्ता यह गिनना चाहते थे कि प्रत्येक परिणाम कितनी बार होता है। परिणामों का यह संग्रह जिसे डिफरेंशियल स्पेक्ट्रम (Differential Spectrum) कहा जाता है, एक रिपोर्ट कार्ड की तरह है।

उन्होंने कुछ दिलचस्प पाया:

"परफेक्ट" मामला: यदि आप एक विशिष्ट स्थान (स्थान #1) से शुरू करते हैं, तो नियम वास्तव में बहुत अधिक अनुमानित है। यह एक कमजोर कड़ी की तरह व्यवहार करता है।
"स्थानीय रूप से" मजबूत मामला: हालाँकि, पूरे खेल के मैदान में प्रत्येक अन्य स्थान के लिए, नियम अविश्वसनीय रूप से मजबूत है।
- उन्होंने सिद्ध किया कि लगभग सभी शुरुआती स्थितियों के लिए, आपके नए स्थानों के बीच की "दूरी" या तो 0, 2, या 4 होती है।
- महत्वपूर्ण रूप से, उन्होंने दिखाया कि "दूरी 4" प्राप्त करने की संख्या बहुत कम और नियंत्रित है।

वे इसे "लोकल डिफरेंशियल 4-यूनिफॉर्म" (Locally Differentially 4-Uniform) कहते हैं।

उपमा: एक भूलभुलैया (maze) की कल्पना करें। भूलभुलैया के एक छोटे से कोने में, दीवारें सीधी और चलने में आसान हैं (अनुमानित)। लेकिन बाकी हर जगह, दीवारें इतनी जंगली तरीके से मुड़ती और घूमती हैं कि यदि आप एक कदम लेते हैं, तो आप भविष्यवाणी नहीं कर सकते कि आप कहाँ पहुँचेंगे, और आप कभी भी 4 कदमों या उससे कम के लूप में नहीं फंसेंगे। भूलभुलैया "स्थानीय रूप से" घुसपैठियों के लिए एक दुःस्वप्न है।

4. गणित का जादू (कैसे हुआ?)

उन्होंने यह कैसे सिद्ध किया?

उन्होंने ट्रिनोमियल (trinomial) नामक एक विशेष गणितीय उपकरण का उपयोग किया (एक बहुपद जिसमें तीन पद होते हैं)। इसे एक फिल्टर या छलनी के रूप में सोचें।
उन्होंने दिखाया कि जब आप संख्याओं को इस छलनी से गुजारते हैं, तो परिणाम बहुत सीमित होते हैं। छलनी केवल कुछ विशिष्ट परिणामों को ही गुजरने देती है।
उन्होंने एक संख्या अनुक्रम (जिसे $\tau_m$ कहा जाता है) का भी उपयोग किया जो सटीक रूप से गणना करने के लिए एक "गुप्त कोड" के रूप में कार्य करता है कि प्रत्येक परिणाम कितनी बार होता है। यह एक सिक्के के उछाल के बाद, दस लाख बार उछालने के बाद भी, यह गिनने के सटीक सूत्र के समान है कि कितनी बार सिक्का 'हेड्स' आया बनाम 'टेल्स'।

5. यह क्यों मायने रखता है?

वास्तविक दुनिया में, इन "लॉक्स" का उपयोग S-Boxes (सबस्टीट्यूशन बॉक्स) में किया जाता है। ये एन्क्रिप्शन सॉफ्टवेयर (जैसे कि आपके व्हाट्सएप संदेशों या बैंक ट्रांसफर को सुरक्षित करने वाले सॉफ़्टवेयर) के भीतर छोटे इंजन हैं जो डेटा को बिखेरते हैं।

"4-यूनिफॉर्म" क्यों महत्वपूर्ण है? सम-संख्या वाले गणितीय क्षेत्रों (जिन्हें कंप्यूटर पसंद करते हैं) में, सबसे अच्छे संभावित लॉक आमतौर पर "2" की यूनिफॉर्मिटी रखते हैं। एक ऐसा लॉक प्राप्त करना जो "लोकल 4-यफॉर्म" है, बहुत अच्छा है, लेकिन एक नया, अद्वितीय प्रकार की चाबी के रूप में इसे "लोकल 4-यफॉर्म" बनाना एक बड़ी उपलब्धि है।
परिणाम: यह शोध पत्र क्रिप्टोग्राफरों के टूलबॉक्स में एक नया, सत्यापित उपकरण जोड़ता है। यह उन्हें अधिक सुरक्षित, अधिक मजबूत डिजिटल तिजोरियाँ बनाने का एक नया, गणितीय रूप से सिद्ध तरीका प्रदान करता है।

सारांश

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

यहाँ हाओडे यान और कांगक्वान ली के शोध पत्र "A class of locally differentially 4-uniform power functions with Niho exponents" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र परिमित क्षेत्रों (finite fields) पर एक विशिष्ट वर्ग के पावर फंक्शन्स के डिफरेंशियल स्पेक्ट्रम (differential spectrum) को निर्धारित करने की समस्या को संबोधित करता है, जो कि सममित क्रिप्टोग्राफी (symmetric cryptography) में एक महत्वपूर्ण कार्य है।

संदर्भ: क्रिप्टोग्राफिक फंक्शन, विशेष रूप से सब्स्टीट्यूशन बॉक्स (S-boxes), को डिफरेंशियल क्रिप्टोएनालिसिस का प्रतिरोध करना चाहिए। इस प्रतिरोध को डिफरेंशियल यूनिफॉर्मिटी (differential uniformity) ( $\Delta_F$ ) और डिफरेंशियल स्पेक्ट्रम (अंतर समीकरण $F(x+a) - F(x) = b$ के समाधानों की गणना के वितरण) द्वारा मापा जाता है।
विशिष्ट चुनौती: हालांकि कम डिफरेंशियल यूनिफॉर्मिटी (आदर्श रूप से APN फंक्शन्स के लिए 2) वांछनीय है, कई ज्ञात पावर फंक्शन्स में उच्च यूनिफॉर्मिटी होती है या उनका स्पेक्ट्रम अज्ञात होता है। लेखक निहो एक्सपोनेंट्स (Niho exponents) पर ध्यान केंद्रित करते हैं, जो सीक्वेंस डिजाइन और कोडिंग थ्योरी में महत्वपूर्ण रुचि रखते हैं, लेकिन उनके डिफरेंशियल गुण सभी मामलों के लिए पूरी तरह से चरित्रित नहीं हैं।
लक्ष्य फंक्शन: यह शोध पत्र $\mathbb{F}_{q^2}$ पर पावर फंक्शन $F(x) = x^{3q-2}$ की जांच करता है, जहाँ $q = 2^m$ और $m \geq 4$ एक सम पूर्णांक (even integer) है। एक्सपोनेंट $d = 3q-2$ एक निहो एक्सपोनेंट है।
लक्ष्य: $F(x)$ का सटीक डिफरेंशियल स्पेक्ट्रम निर्धारित करना और इसकी डिफरेंशियल यूनिफॉर्मिटी स्थापित करना, विशेष रूप से यह जांचना कि क्या यह "स्थानीय रूप से" (locally) कम यूनिफॉर्मिटी प्रदर्शित करता है (तुच्छ मामलों को छोड़कर)।

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

लेखक अपने परिणामों को प्राप्त करने के लिए बीजगणितीय संख्या सिद्धांत (algebraic number theory), परिमित क्षेत्रों पर बहुपद विश्लेषण (polynomial analysis), और कॉम्बिनेटरियल काउंटिंग के संयोजन का उपयोग करते हैं।

क्षेत्र अपघटन (Field Decomposition): वे मल्टीप्लिकेटिव सबग्रुप $U_{q+1} = \{x \in \mathbb{F}_{q^2}^* : x^{q+1} = 1\}$ का उपयोग करते हैं। एक प्रमुख लेम्मा (लेम्मा 2) यह अनुमति देता है कि किसी भी गैर-शून्य तत्व $x$ को $x = yz $के रूप में अद्वितीय रूप से विघटित किया जा सके, जहाँ$ y \in \mathbb{F}q^* $और$ z \in U{q+1} $है। इस अपघटन का उपयोग अंतर समीकरण को$ U_{q+1}$ के तत्वों वाले सिस्टम में बदलने के लिए किया जाता है।
ट्रिनोमियल विश्लेषण (Trinomial Analysis): लेखक $\mathbb{F}_{q^2}$ पर एक विशिष्ट वर्ग के ट्रिनोमिअल्स $f(x) = x^2 + x^{1-q} + x^{2-q}$ के प्री-इमेज कार्डिनैलिटी का विश्लेषण करते हैं। वे सिद्ध करते हैं कि $c \in \mathbb{F}_{q^2} \setminus \mathbb{F}_2$ के लिए, समीकरण $f(x) = c$ के अधिकतम 2 समाधान होते हैं। यह परिणाम डिफरेंशियल समीकरण के समाधानों की संख्या को सीमित करने के लिए महत्वपूर्ण है।
समीकरणों का सिस्टम (System of Equations): डिफरेंशियल स्पेक्ट्रम की गणना करने के लिए, उन्हें निम्नलिखित सिस्टम के समाधानों की संख्या निर्धारित करनी होगी:
$\begin{cases} x_1 + x_2 + x_3 + x_4 = 0 \\ x_1^d + x_2^d + x_3^d + x_4^d = 0 \end{cases}$
वे परिमित क्षेत्रों पर ऐसे सिस्टम के समाधानों की संख्या ( $n_3, n_4$ ) के मौजूदा परिणामों का लाभ उठाते हुए, गणनाओं को स्पष्ट रूप से व्यक्त करने के लिए एक रिकर्सिवली परिभाषित अनुक्रम $\tau_m$ का उपयोग करते हैं।
बीजगणितीय हेरफेर (Algebraic Manipulation): वेरिएबल्स को प्रतिस्थापित करके और $U_{q+1}$ के गुणों का उपयोग करके, वे डिफरेंशियल समीकरण $(x+1)^d + x^d = b$ को एकल चर $t = u_1 + u_2$ (जहाँ $u_i \in U_{q+1}$ ) वाले रूप में कम करते हैं। यह उन्हें पहले विश्लेषित ट्रिनोमियल के गुणों के आधार पर समाधानों की संख्या को सीमित करने की अनुमति देता है।

3. मुख्य योगदान (Key Contributions)

नया डिफरेंशियल स्पेक्ट्रम: यह शोध पत्र $\mathbb{F}_{q^2}$ पर पावर फंक्शन $F(x) = x^{3q-2}$ ( $q=2^m, m \geq 4$ सम) के लिए पूर्ण निर्धारण प्रदान करता है।
लोकलली 4-यूनिफॉर्म प्रॉपर्टी: लेखक सिद्ध करते हैं कि जबकि इस फंक्शन की वैश्विक (global) डिफरेंशियल यूनिफॉर्मिटी उच्च (बराबर $q$ ) है, यह लोकलली डिफरेंशियल 4-यूनिफॉर्म (locally differentially 4-uniform) है। इसका अर्थ है कि सभी $b \in \mathbb{F}_{q^2} \setminus \{0, 1\}$ के लिए, अंतर समीकरण के समाधानों की संख्या अधिकतम 4 है। यह एक महत्वपूर्ण क्रिप्टोग्राफिक गुण है, क्योंकि यह दर्शाता है कि अधिकांश इनपुट अंतरों के लिए यह डिफरेंशियल हमलों के प्रति मजबूत प्रतिरोध प्रदान करता है।
CCZ-असमतुल्यता (CCZ-Inequivalence): लेखक नोट करते हैं कि यह फंक्शन ज्ञात डिफरेंशियल स्पेक्ट्रा वाले अन्य पावर फंक्शन्स के CCZ-असमतुल्य नहीं है, जिससे ज्ञात क्रिप्टोग्राफिक फंक्शन्स के वर्ग का विस्तार होता है।
स्पष्ट सूत्र (Explicit Formulas): वे $q$ और अनुक्रम $\tau_m$ के संदर्भ में मल्टीप्लिसिटीज $\omega_i$ (उन $b$ मानों की संख्या जो $i$ समाधान देते हैं) के लिए क्लोज्ड-फॉर्म एक्सप्रेशन प्राप्त करते हैं।

4. मुख्य परिणाम (Main Results)

यह शोध पत्र $\mathbb{F}_{q^2}$ ( $q=2^m, m \geq 4$ सम) पर $F(x) = x^{3q-2}$ के लिए निम्नलिखित प्रमेय स्थापित करता है:

डिफरेंशियल यूनिफॉर्मिटी: $\Delta_F = q$ $Δ_{F} = q$ .
- नोट: अधिकतम मान $b=1$ पर होता है, जहाँ $\delta_F(1,1) = q$ है।
डिफेंशियल स्पेक्ट्रम: स्पेक्ट्रम $DS_F$ $D S_{F}$ को गैर-शून्य मल्टीप्लिसिटीज के मल्टीसेट के रूप में दिया गया है:
$DS_F = \left\{ \omega_0, \omega_2, \omega_4, \omega_q \right\}$
जहाँ:
- $\omega_q = 1$ (बारे $b=1$ के लिए)
- $\omega_4 = \frac{1}{8}(q^2 - \tau_m q + 1)$
- $\omega_2 = \frac{1}{4}(q^2 + (\tau_m - 2)q - 1)$
- $\omega_0 = \frac{1}{8}(5q^2 + (-\tau_m + 4)q - 7)$
- $\tau_m$ को पुनरावृत्ति (recurrence) $\tau_1 = 1/2, \tau_2 = -7/4, \tau_m = \frac{1}{2}\tau_{m-1} - \tau_{m-2}$ , या जटिल जड़ों की घातों वाले क्लोज्ड फॉर्म के माध्यम से स्पष्ट रूप से परिभाषित किया गया है।
लोकैलिटी (Locality): सभी $b \in \mathbb{F}_{q^2} \setminus \{0, 1\}$ के लिए, $\delta_F(1,b) \in \{0, 2, 4\}$ है। अतः, $F$ लोकलली डिफरेंशियल 4-यूनिफॉर्म है।

सत्यापन (Verification): सैद्धांतिक परिणामों को विशिष्ट मामलों ( $m=4, 6, 8$ ) के लिए MAGMA कंप्यूटर अलजेब्रा सिस्टम का उपयोग करके सत्यापित किया गया था, जो व्युत्पन्न सूत्रों और प्रत्यक्ष गणना के बीच पूर्ण सहमति दिखाते हैं।

5. महत्व (Significance)

क्रिप्टोग्राफिक डिजाइन: एक ऐसा फंक्शन खोजना जो लोकलली 4-यूनिफॉर्म है, S-box डिजाइन के लिए अत्यधिक मूल्यवान है। हालांकि परफेक्ट नॉनलिनिटी (PN) या लगभग परफेक्ट नॉनलिनिटी (APN) आदर्श है, लेकिन ऐसे फंक्शन अक्सर इवेन कैरेक्टरिस्टिक (even characteristic) क्षेत्रों में मौजूद नहीं होते या बनाना कठिन होता है। लोकलली 4-यूनिफॉर्म फंक्शन एक मजबूत विकल्प प्रदान करते हैं, यह सुनिश्चित करते हुए कि अधिकांश डिफरेंशियल विशेषताओं की होने वाली संभावना बहुत कम है।
ज्ञात वर्गों का विस्तार: यह कार्य निहो एक्सपोनेंट वाले पावर फंक्शन्स की सीमित सूची में एक नया परिवार जोड़ता जिनके डिफरेंशियल स्पेक्ट्रा पूरी तरह से निर्धारित हैं। यह $x^{2q-1}$ और अन्य निहो एक्सपोनेंट्स पर पिछले अध्ययनों का पूरक है।
सैद्धांतिक अंतर्दृष्टि: विशिष्ट ट्रिनोमिअल्स के मूलों और अनुक्रम $\tau_m$ को डिफरेंशियल स्पेक्ट्रम से जोड़ने की कार्यप्रणाली एक नया विश्लेषणात्मक ढांचा प्रदान करती जिसे अन्य निहो एक्सपोनेंट वाले पावर फंक्शन्स पर लागू किया जा सकता है।
खुली समस्याएँ (Open Problems): शोध पत्र यह रेखांकित करता है कि विषम कैरेक्टरिस्टिक (odd characteristic) वाले क्षेत्रों या $q$ के अन्य मानों के लिए डिफरेंशियल स्पेक्ट्रम एक खुली समस्या बनी हुई है, जो भविष्य के अनुसंधान की दिशाओं का मार्गदर्शन करती है।