🔢 mathematics

Locally-APN Binomials with Low Boomerang Uniformity in Odd Characteristic

यह शोध पत्र विषम अभिलक्षण (odd characteristic) वाले कम बूमरैंग यूनिफॉर्मिटी (low boomerang uniformity) वाले स्थानीय-APN द्विपदों (locally-APN binomials) पर हालिया परिणामों का विस्तार करता है, जिसमें एक सामान्य स्थिति स्थापित की गई है जिसके तहत $F_r(x)=x^r+x^{r+\frac{q-1}{2}}$ , अधिकतम 2 की बूमरैंग यूनिफॉर्मिटी प्राप्त करता है, और साथ ही विशेषता 3 वाले क्षेत्रों (fields of characteristic 3) पर $F_3$ , $F_{\frac{2q-1}{3}}$ , और $F_2$ जैसे विशिष्ट उदाहरणों के डिफरेंशियल और बूमरैंग स्पेक्ट्रा का विश्लेषण भी करता है।

मूल लेखक: Namhun Koo, Soonhak Kwon, Minwoo Ko, Byunguk Kim

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

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

CC BY 4.0

मूल लेखक: Namhun Koo, Soonhak Kwon, Minwoo Ko, Byunguk Kim

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

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

क्रिप्टोग्राफी की दुनिया में, गणितज्ञ इस बात को मापने के लिए कि यह लॉक कितना "भ्रमित" (confusing) करने वाला है, दो मुख्य उपकरणों का उपयोग करते हैं: डिफरेंशियल यूनिफॉर्मिटी (Differential Uniformity) और बूमरैंग यूनिफॉर्मिटी (Boomerang Uniformity)।

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

समस्या: एक आदर्श लॉक खोजना

वर्षों से, गणितज्ञ विशिष्ट गणितीय सूत्रों (जिन्हें फंक्शंस कहा जाता है) की तलाश में हैं जो ऐसे आदर्श लॉक बना सकें। इन सूत्रों का एक लोकप्रिय परिवार इस तरह दिखता है:
$F(x) = x^r + x^{r + \text{something}}$
सोचिए कि $x^r$ लॉक का मुख्य इंजन है, और दूसरा भाग एक विशेष "ट्यूनर" है जो इस आधार पर लॉक के व्यवहार को समायोजित करता है कि इनपुट नंबर एक "वर्ग" (square) है या "गैर-वर्ग" (non-square) (एक गुण जिसे क्वाड्रेटिक कैरेक्टर कहा जाता है)।

इस शोध पत्र के लेखकों ने ओड कैरेक्टेरिस्टिक (odd characteristic) (एक ऐसी दुनिया जहाँ संख्याएँ हमारे मानक कंप्यूटर बाइनरी वर्ल्ड से अलग व्यवहार करती हैं) नामक एक विशिष्ट प्रकार के गणितीय जगत पर ध्यान केंद्रित किया। वे विशिष्ट सेटिंग्स खोजने में सफल होना चाहते थे जो "इंजन" (घातांक $r$ ) को ऐसा बनाए जो लॉक को अविश्वसनीय रूप से मजबूत बनाए।

खोज: मजबूत लॉक के लिए एक नया नियम

टीम ने इन लॉक्स को मजबूत बनाने के लिए एक "स्वर्ण नियम" (Golden Rule) की खोज की। उन्होंने पाया कि यदि आप एक विशिष्ट घातांक $r$ चुनते हैं और यह सुनिश्चित करते हैं कि एक निश्चित समीकरण (जो एक धक्के के प्रति लॉक की प्रतिक्रिया से संबंधित है) का एक विशिष्ट क्षेत्र में अधिकतम एक समाधान है, तो दो अद्भुत चीजें होती हैं:

डिफरेंशियल यूनिफॉर्मिटी कम है: लॉक "लोकल-APN" है। यह एक शानदार तरीका है कहने का कि लगभग हर संभावित धक्के के लिए, लॉक इस तरह से प्रतिक्रिया करता है जिसे अनुमान लगाना बहुत कठिन है (विशेष रूप से, प्रतिक्रिया केवल 2 संभावनाओं तक सीमित है)।
बूमरैंग यूनिफॉर्मिटी कम है: लॉक बूमरैंग हमले के प्रति भी प्रतिरोधी है, जिसका स्कोर अधिकतम 2 है।

उन्होंने सिद्ध किया कि यह नियम घातांकों की एक पूरी सूची (जैसे $r=3$ , $r=2$ , और 3 की घातों से जुड़े अन्य) के लिए काम करता है। यह एक मास्टर की (master key) खोजने जैसा है जो सुरक्षित लॉक्स के एक नए वर्ग के दरवाजे खोलती है।

आश्चर्य: एक पिछली गलती को सुधारना

यहाँ उनकी कहानी का सबसे रोमांचक हिस्सा है।

अतीत में, अन्य शोधकर्ताओं ने एक विशिष्ट लॉक का अध्ययन किया जहाँ इंजन को $r=2$ (एक बहुत ही सरल सूत्र) पर सेट किया गया था। उन्होंने दावा किया कि पर्याप्त बड़े वॉल्ट्स के लिए, इस लॉक की "बूमरैंग यूनिफॉर्मिटी" 2 थी। उन्हें लगा कि यह अच्छा है, लेकिन पूर्ण नहीं।

इस पेपर के लेखकों ने विशेष रूप से उस दुनिया में गहराई से देखा जहाँ अभाज्य संख्या (prime number) 3 है (एक विशिष्ट प्रकार का गणितीय जगत)। उन्होंने पाया कि पिछले शोधकर्ताओं ने एक सूक्ष्म विवरण को अनदेखा कर दिया क्योंकि संख्याएँ जब प्राइम 3 होती हैं, तो उनके काम करने का तरीका थोड़ा अलग होता है (विशेष रूप से, इस दुनिया में $1 = -2$ है)।

उनकी खोज: इस विशिष्ट दुनिया में, $r=2$ वाला लॉक पहले की तुलना में और भी अधिक मजबूत है। इसकी बूमरैंग यूनिफॉर्मिटी 1 है।

उपमा (Analogy): कल्पना कीजिए कि पिछले अध्ययन ने कहा कि एक कार की शीर्ष गति 100 मील प्रति घंटा है। यह नया पेपर कहता है, "वास्तव में, यदि आप इन विशिष्ट परिस्थितियों में इंजन को देखें, तो यह 101 मील प्रति घंटा की गति से चल रहा है।" यह एक छोटा सा अंतर है, लेकिन क्रिप्टोग्राफी की दुनिया में, 1 का यह सटीक स्कोर प्राप्त करना एक बहुत बड़ी बात है।

उन्होंने वास्तव में क्या किया

नियम को सिद्ध किया: उन्होंने गणितीय रूप से दिखाया कि यदि "धक्के" (push) का समीकरण सीमित समाधानों वाला है, तो लॉक मजबूत (locally-APN) और बूमरैंग-प्रतिरोधी है।
सूची की जाँच की: उन्होंने सत्यापित किया कि उनके विशेष घातांकों की सूची (जो उनके "टेबल 3" में पाई गई) इस नियम का पालन करती है।
परिदृश्य का मानचित्रण किया: घातांक $r=3$ और $r=2q-1/3$ के लिए, उन्होंने केवल यह नहीं कहा कि "यह मजबूत है"; बल्कि उन्होंने एक पूर्ण मानचित्र (जिसे स्पेक्ट्रम कहा जाता है) भी बनाया, जो दिखाता है कि लॉक कितनी बार 0, 1, या 2 समाधानों के साथ प्रतिक्रिया करता है। यह इंजीनियरों को एक सटीक ब्लूप्रिंट प्रदान करता है।
रिकॉर्ड को सुधारा: उन्होंने सिद्ध किया कि कैरेक्टेरिस्टिक 3 में $r=2$ के मामले में, लॉक वास्तव में पूर्ण (यूनिफॉर्मिटी 1) है, जिससे पिछली धारणा कि यह 2 था, सुधर गई।

सारांश

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

यहाँ Koo et al. के शोध पत्र "Locally-APN Binomials with Low Boomerang Uniformity in Odd Characteristic" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र परिमित क्षेत्रों (finite fields) $\mathbb{F}_q$ (जहाँ $q = p^n$ एक विषम अभाज्य घात है) पर परिभाषित कार्यों के एक विशिष्ट वर्ग के क्रिप्टोग्राफिक गुणों को संबोधित करता है। यह उन फलनों (functions) पर केंद्रित है जो इस रूप में हैं:
$F_r(x) = x^r(1 + \chi(x)) = x^r + x^{r + \frac{q-1}{2}}$
जहाँ $\chi(x) = x^{\frac{q-1}{2}}$ एक द्विघाती अभिलक्षण (quadratic character) है।

यह अध्ययन इन फलनों के लिए दो महत्वपूर्ण सुरक्षा मेट्रिक्स निर्धारित करने का लक्ष्य रखता है:

डिफरेंशियल यूनिफॉर्मिटी ( $\delta_F$ ): यह डिफरेंशियल क्रिप्टोएनालिसिस के प्रति प्रतिरोध को मापता है। एक फलन Almost Perfect Nonlinear (APN) तब होता है जब $\delta_F = 2$ हो। चूँकि ये फलन कई मापदंडों के लिए सख्त वैश्विक अर्थों में APN नहीं हैं, इसलिए लेखक यह जांचते हैं कि क्या वे Locally-APN (अर्थात सभी $b \in \mathbb{F}_q \setminus \mathbb{F}_p$ के लिए $\delta_F(1, b) \le 2$ संतुष्ट करते हैं) हैं।
बूमरैंग यूनिफॉर्मिटी ( $\beta_F$ ): यह बूमरैंग हमलों के प्रति प्रतिरोध को मापता है। शोध पत्र यह स्थापित करने का प्रयास करता है कि क्या $\beta_F \le 2$ है और पूर्ण बूमरैंग स्पेक्ट्रम (बूमरैंग कनेक्टिविटी टेबल के समाधान गणनाओं का वितरण) क्या है।

विशेष रूप से, यह शोध पत्र उन घातांकों (exponents) $r$ के उपवर्ग की जांच करता है जहाँ मोनोमियल $x^r$ की लो डिफरेंशियल यूनिफॉर्मिटी (अक्सर Perfect Nonlinear या APN) होती है और $\gcd(r, q-1) \mid 2$ होता है।

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

लेखक परिमित क्षेत्रों पर बीजगणितीय संख्या सिद्धांत (algebraic number theory), अभिलक्षण योग विश्लेषण (character sum analysis), और संयोजन गणना (combinatorial counting) के संयोजन का उपयोग करते हैं।

समाधान सेट्स का अपघटन (Decomposition of Solution Sets): लेखक $x$ और $x+1$ के द्विघाती अभिलक्षण के आधार पर क्षेत्र $\mathbb{F}_q$ को विभाजित करते हैं। वे सेट $S_{ij} = \{x \in \mathbb{F}_q : \chi(x) = (-1)^i, \chi(x+1) = (-1)^j\}$ को परिभाषित करते हैं जहाँ $i, j \in \{0, 1\}$ ।
डिफरेंशियल विश्लेषण: $F_r(x+a) - F_r(x) = b$ के समाधानों को गिनने के लिए, वे समस्या को विशिष्ट सेट $S_{ij}$ के भीतर समीकरण $(x+1)^r - x^r = b$ के विश्लेषण में कम करते हैं। वे सिद्ध करते हैं कि यदि समीकरण के $S_{00}$ (जहाँ $x$ और $x+1$ दोनों द्विघाती अवशेष/quadratic residues हैं) में अधिकतम एक समाधान है, तो फलन Locally-APN है।
बूमरैंग विश्लेषण: वे बूमरैंग कनेक्टिविटी टेबल (BCT) को परिभाषित करने वाले समीकरणों के निकाय का विश्लेषण करते हैं। सेट्स $S_{ij} \times S_{kl}$ के उत्पादों में समाधान स्थान $(x, y)$ के अपघटन द्वारा, वे समाधानों की संख्या को सीमित करते हैं।
अभिलक्षण योग (Character Sums): लेखक समाधानों की संख्या का अनुमान लगाने और विशिष्ट मामलों के लिए सटीक डिफरेंशियल और बूमरैंग स्पेक्ट्रा प्राप्त करने के लिए वेइल बाउंड्स (Weil bounds) और द्विघाती अभिलक्षणों के विशिष्ट गुणों (जैसे $\sum \chi(f(x))$ ) का उपयोग करते हैं।
रैखिक तुल्यता (Linear Equivalence): वे यह दिखाने के लिए लेम्मा 2.8 का उपयोग करते हैं कि कुछ घातांक (जैसे $3^{k+1}/2$ ) अन्य के रैखिक रूप से तुल्य हैं, जिससे परिणामों का सामान्यीकरण किया जा सके।

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

A. सामान्य सैद्धांतिक ढांचा (General Theoretical Framework)

यह शोध पत्र एक पर्याप्त स्थिति स्थापित करता है कि एक द्विपद (binomial) $F_r$ कब कम बूमरैंग यूनिफॉर्मिटी के साथ Locally-APN होगा:

शर्त: यदि $\gcd(r, q-1) \mid 2$ $g cd (r, q - 1) ∣ 2$ और समीकरण $(x+1)^r - x^r = b$ $(x + 1)^{r} - x^{r} = b$ के सभी $b \in \mathbb{F}_q^*$ $b \in F_{q}^{*}$ के लिए $S_{00}$ $S_{00}$ में अधिकतम एक समाधान है, तो:
- $\delta_{F_r} = \frac{q+1}{4}$ (Locally-APN)।
- $\beta_{F_r} \le 2$ ।

B. विशिष्ट घातांकों के लिए सत्यापन (Verification for Specific Exponents)

लेखक घातांकों की एक सूची (जो शोध पत्र की तालिका 3 में संक्षेपित है) के लिए उपरोक्त शर्त की पुष्टि करते हैं, जिसमें शामिल हैं:

$r = p^k + 1$ (विषम $n$ के लिए)।
$r = \frac{3^{k+1}}{2}$ (सामान्यीकृत Coulter-Matthews घातांक)।
$r = 3$ और $r = \frac{2q-1}{3}$ (जब $q \equiv 11 \pmod{12}$ हो)।
$r = \frac{3^{n+1}-1}{2}$ और $r = \frac{3^{n+1}-1}{8}$ (जब $p=3$ हो)।

C. सटीक स्पेक्ट्रा निर्धारण (Exact Spectra Determination)

डिफरेंशियल स्पेक्ट्रम: शोध पत्र $F_3$ $F_{3}$ और $F_{\frac{2q-1}{3}}$ $F_{\frac{2 q - 1}{3}}$ के लिए सटीक डिफरेंशियल स्पेक्ट्रम निकालता है जब $q \equiv 11 \pmod{12}$ $q \equiv 11 (mod 12)$ हो।
- $F_3$ के लिए, स्पेक्ट्रम एक अभिलक्षण योग $\Gamma$ पर निर्भर करता है।
- $F_{\frac{2q-1}{3}}$ के लिए, स्पेक्ट्रम स्पष्ट रूप से $\{\omega_0 = \frac{q-3}{2}, \omega_1 = \frac{q+5}{4}, \omega_2 = \frac{q-3}{4}, \omega_{\frac{q+1}{4}} = 1\}$ के रूप में परिकलित किया गया है।
$F_2$ ( $p=3$ ) के लिए बूमरैंग स्पेक्ट्रम: शोध पत्र $p=3$ और विषम $n$ के लिए $F_2$ का पहला पूर्ण बूमरैंग स्पेक्ट्रम प्रदान करता है।

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

Locally-APN गुण: यह सिद्ध किया गया है कि $F_r$ तालिका 3 में सूचीबद्ध सभी घातांकों के लिए $\frac{q+1}{4}$ की डिफरेंशियल यूनिफॉर्मिटी के साथ Locally-APN है।
बूमरैंग यूनिफॉर्मिटी सीमा: उन्हीं घातांकों के वर्ग के लिए, बूमरैंग यूनिफॉर्मिटी 2 से अधिक नहीं है।
पिछले साहित्य का सुधार (महत्वपूर्ण खोज):
- पिछले कार्य (मेस्नेजर और वू, [14]) ने अनुमान लगाया और सिद्ध किया कि बड़े $q$ के लिए, $F_2$ की बूमरैंग यूनिफॉर्मिटी 2 है।
- यह शोध पत्र विशेषता 3 (characteristic 3) के लिए इसे गलत सिद्ध करता है। लेखक सिद्ध करते हैं कि $p=3$ और विषम $n$ के लिए, $F_2$ की बूमरैंग यूनिफॉर्मिटी वास्तव में 1 है।
- कारण: विशेषता 3 में, पहचान $1 = -2$ के कारण कुछ मामले जिन्हें पिछले प्रमाणों में माना गया था, वे असंगत या क्षीण (degenerate) हो जाते हैं, जिससे यूनिफॉर्मिटी कम हो जाती है।
$F_2$ ( $p=3$ ) के लिए स्पष्ट बूमरैंग स्पेक्ट्रम: स्पेक्ट्रम $\nu_0 = \frac{3q-5+2\Lambda}{4}$ और $\nu_1 = \frac{q+1-2\Lambda}{4}$ द्वारा दिया गया है, जहाँ $\Lambda = \sum_{x \in \mathbb{F}_q} \chi(x+1)\chi(x^2+1)$ ।

5. महत्व (Significance)

क्रिप्टोग्राफिक डिज़ाइन: ये परिणाम विषम विशेषता वाले क्षेत्रों पर संचालित होने वाले ब्लॉक साइफर्स के लिए S-बॉक्स के नए उम्मीदवार प्रदान करते हैं। कम डिफरेंशियल और बूमरैंग यूनिफॉर्मिटी वाले फलन आधुनिक क्रिप्टोएनालिटिक हमलों का प्रतिरोध करने के लिए आवश्यक हैं।
सैद्धांतिक प्रगति: यह शोध पत्र "Locally-APN" फलनों की समझ को अच्छी तरह से अध्ययन किए गए सम (even) विशेषता वाले मामलों से परे विस्तारित करता है। यह विशिष्ट घातांक संरचना वाले द्विपदों के विश्लेषण के लिए एक एकीकृत ढांचा प्रदान करता है।
सीमाओं का परिशोधन: एक विशिष्ट मामले ( $p=3$ ) की पहचान करके जहाँ बूमरैंग यूनिफॉर्मिटी 2 से गिरकर 1 हो जाती है, यह शोध पत्र सामान्य विशेषता अध्ययनों में की गई धारणाओं को सुधारते हुए विशेषता-विशिष्ट विश्लेषण के महत्व को रेखांकित करता है।
स्पेक्ट्रम लक्षण वर्णन: केवल यूनिफॉर्मिटी सीमाओं (बजाय केवल ऊपरी सीमा के) के बजाय सटीक डिफरेंशियल और बूमरैंग स्पेक्ट्रा प्रदान करना, इन फलनों के सुरक्षा मार्जिन के अधिक सटीक मूल्यांकन की अनुमति देता है।

निष्कर्षतः, यह शोध पत्र सफलतापूर्वक विषम विशेषता में द्विपदों के एक व्यापक वर्ग के लिए Locally-APN गुण को सामान्यीकृत करता है, उनकी कम बूमरैंग यूनिफॉर्मिटी को सिद्ध करता है, और विशेषता 3 में $F_2$ की समझ में एक महत्वपूर्ण सुधार प्रस्तुत करता है।