🔢 mathematics

Triprojective almost perfect nonlinear permutations and functions

यह शोध पत्र विषम आयामों (odd dimensions) वाले उन परिमित सदिश स्थानों (finite vector spaces) के लिए लगभग पूर्ण गैर-रैखिक (APN) क्रमपरिवर्तनों (permutations) के एक बड़े परिवार को प्रस्तुत करता है जो तीन से विभाज्य हैं, साथ ही सम आयामों (even dimensions) के लिए गैर-एकैकी (non-bijective) APN फलनों को भी प्रस्तुत करता है, जो सभी सामान्य रैखिक समूह $\mathrm{GL}(3,2^m)$ द्वारा प्रेरित एक त्रि-प्रक्षेपिक (triprojective) संरचना द्वारा अभिलक्षित हैं।

मूल लेखक: Faruk Göloğlu, Lukas Kölsch

प्रकाशित 2026-05-19

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

CC0 1.0

मूल लेखक: Faruk Göloğlu, Lukas Kölsch

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

कल्पना कीजिए कि आप एक मास्टर लॉकस्मिथ (ताला बनाने वाले विशेषज्ञ) हैं जो एक परम सुरक्षित तिजोरी (ultimate safe) डिजाइन करने की कोशिश कर रहे हैं। डिजिटल सुरक्षा की दुनिया में, "ताले" गणितीय फलन (mathematical functions) होते हैं जिनका उपयोग डेटा को उलझाने (scramble) के लिए किया जाता है ताकि हैकर्स मूल संदेश का पता न लगा सकें। यह शोध पत्र एक नया, अविश्वसनीय रूप से मजबूत प्रकार का ताला बनाने के ब्लूप्रिंट के बारे में है।

यहाँ वह कहानी है जिसे लेखक, फारूक गोलोग्लू (Faruk Gölöglu) और लुकास कोल्श (Lukas Kölsch) ने खोजी है, जिसे भारी गणितीय शब्दावली के बिना समझाया गया है।

लक्ष्य: द परफेक्ट स्क्रैम्बलर (परफेक्ट उलझाने वाला)

क्रिप्टोग्राफी में, एक विशिष्ट प्रकार का ताला होता है जिसे S-Box (प्रतिस्थापन बॉक्स) कहा जाता है। एक S-Box को ऐसे समझें जैसे कि वह एक मशीन है जो इनपुट (जैसे संख्याओं का एक संयोजन) लेती है और आउटपुट का एक पूरी तरह से अलग सेट बाहर निकालती है।

खतरा "डिफरेंशियल क्रिप्टोएनालिसिस" नामक पद्धति से आता है। कल्पना कीजिए कि एक चोर आपके सेफ को तोड़ने की कोशिश कर रहा है और पैटर्न नोटिस कर रहा है: "यदि मैं डायल को एक क्लिक दाईं ओर घुमाता हूँ, तो ताले की आवाज़ एक विशिष्ट मात्रा में बदल जाती है। यदि मैं इसे दो क्लिक घुमाता हूँ, तो आवाज़ अलग तरह से बदलती है।" यदि ताला छोटे बदलावों के प्रति बहुत अधिक अनुमानित (predictable) है, तो चोर चाबी खोजने के लिए पीछे की ओर काम कर सकता है।

इसे रोकने के लिए, गणितज्ञ APN फंक्शन्स (Almost Perfect Nonlinear) की तलाश करते हैं। ये "परफेक्ट" ताले हैं जहाँ इनपुट में एक छोटा सा बदलाव, आउटपुट में एक अराजक (chaotic) और अप्रत्याशित बदलाव का कारण बनता है। लक्ष्य यह सुनिश्चित करना है कि चाहे चोर इनपुट में कैसे भी बदलाव करे, आउटपुट रैंडम शोर (random noise) जैसा दिखे।

बड़ी चुनौती: "इवन डायमेंशन" (सम आयामी) की समस्या

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

इस शोध पत्र के लेखक कहते हैं: "हमने इन परफेक्ट, गैर-दोहराव वाले तालों को डेटा ब्लॉक्स के एक विशाल नए परिवार के लिए बनाने का एक तरीका खोज लिया है।"

गुप्त सामग्री: "ट्रायप्रोजेक्टिव" (Triprojective) आर्किटेक्चर

लेखकों ने इन तालों को केवल एक यादृच्छिक (random) फॉर्मूले से नहीं बनाया। उन्होंने अपने तालों को एक विशिष्ट वास्तुशिल्प शैली का उपयोग करके बनाया जिसे वे "ट्रायप्रोजेक्टिव" कहते हैं।

इसे समझने के लिए, कल्पना करें कि आप एक 3D मूर्तिकला को देख रहे हैं।

मानक ताले (Standard Locks): आमतौर पर, इन्हें मूर्तिकला को केवल एक कोण (एक सपाट, 2D दृश्य) से देखकर बनाया जाता है।
नए "ट्रायप्रोजेक्टिव" ताले: लेखकों ने अपने फंक्शन को तीन अलग-अलग कोणों से एक साथ देखकर बनाया, जो नियमों के एक विशेष समूह (जो एक गणितीय संरचना जिसे $GL(3, 2^m)$ कहा जाता है, से संबंधित है) का उपयोग करता है।

वे इसे "ट्रायप्रोजेक्टिव" संरचना कहते हैं क्योंकि यह डेटा के साथ इस तरह व्यवहार करती है जैसे कि वह एक 3D स्थान में मौजूद हो जहाँ ज्यामिति के नियम थोड़े मुड़े हुए (twisted) होते हैं। डेटा को इस तरह व्यवस्थित करके, वे सुनिश्चित करते हैं कि "स्क्रैंबलिंग" इस तरह से हो कि इसे प्रेडिक्ट करना बेहद कठिन हो, चाहे आप इसे कैसे भी जांचने की कोशिश करें।

जादुई फॉर्मूला

शोध पत्र इन तालों के लिए एक विशिष्ट रेसिपी (फॉर्मूला) प्रस्तुत करता है। इसमें तीन वेरिएबल्स ( $x, y, z$ ) और कुछ विशेष नंबर ( $a, b, c$ ) शामिल हैं।

इस रेसिपी में एक "सेफ्टी चेक" है। इससे पहले कि आप ताले का उपयोग कर सकें, आपको यह सुनिश्चित करने के लिए एक त्वरित परीक्षण चलाना होगा कि एक विशिष्ट समीकरण का कोई समाधान (solution) न हो।

यदि परीक्षण पास होता है: तो आपको एक परफेक्ट, अटूट ताला मिलता है (एक APN परम्यूटेशन)।
यदि परीक्षण विफल होता है: तो ताला अभी भी बहुत मजबूत (highly nonlinear) है, लेकिन यह एक परफेक्ट परम्यूटेशन नहीं हो सकता है (कुछ इनपुट एक ही आउटपुट पर मैप हो सकते हैं)।

लेखक सिद्ध करते हैं कि यदि आप अपने नंबर सही ढंग से चुनते हैं, तो यह रेसिपी तीन से विभाज्य प्रत्येक विषम आयाम (odd dimension) के लिए काम करती है। यह पहले से ज्ञात जानकारी का एक विशाल विस्तार है।

यह क्यों महत्वपूर्ण है (शोध पत्र के अनुसार)

पुरानी खोजों को एकीकृत करना: लेखक दिखाते हैं कि हाल के वर्षों में विभिन्न गणितज्ञों द्वारा खोजी गई कई अन्य जटिल फॉर्मूले वास्तव में उनके नए "ट्रायप्रोजेक्टिव" रेसिपी के विशेष, सरलीकृत संस्करण हैं। यह महसूस करने जैसा है कि तीन अलग-अलग प्रकार की कारें वास्तव में एक ही चेसिस पर अलग-अलग पेंट जॉब हैं।
यह नया और अद्वितीय है: वे सिद्ध करते हैं कि उनके नए तालों का परिवार "गोल्ड" (Gold) तालों (APN फंक्शन्स का एक प्रसिद्ध परिवार जो दशकों पहले खोजा गया था) से मौलिक रूप से भिन्न है। वे केवल पुराने तालों को फिर से लेबल नहीं कर रहे हैं; वे पूरी तरह से नई चाबियाँ गढ़ रहे हैं।
प्रमाण "साफ" (Clean) है: इन तालों के काम करने को सिद्ध करने के पिछले प्रयासों के लिए भारी कंप्यूटर सिमुलेशन और जटिल बीजगणित के कई पन्नों की आवश्यकता थी। लेखकों ने एक चतुर, शुद्ध तार्किक दृष्टिकोण ( "ट्विस्टेड पॉलिनोमिअल्स" और "फाइनाइट फील्ड्स" के गुणों का उपयोग करके) का उपयोग किया ताकि उन्हें सुपरकंप्यूटर की आवश्यकता के बिना अपने परिणामों को सिद्ध किया जा सके।

निष्कर्ष

यह शोध पत्र डिजिटल सुरक्षा तालों के डिजाइन में एक गणितीय सफलता है। लेखकों ने "लगभग पूर्ण गैर-रैखिक परम्यूटेशन" (Almost Perfect Nonlinear Permutations) बनाने के लिए एक नया, बहुमुखी "ट्रायप्रोजेक्टिव" तरीका खोज निकाला है।

सरल शब्दों में: उन्होंने कंप्यूटर डेटा के एक विस्तृत दायरे के लिए सबसे मजबूत संभव डेटा स्क्रैम्बलर बनाने का एक नया, विश्वसनीय तरीका खोज लिया है, जिसने विशेषज्ञों को वर्षों तक उलझाए रखा था। उन्होंने केवल एक नया ताला नहीं खोजा; उन्होंने उन्हें बनाने के लिए एक पूरा कारखाना खोजा है, और उन्होंने सिद्ध किया है कि ये नए ताले जो हमने पहले देखे हैं उनसे अलग हैं।

तकनीकी सारांश: त्रै-प्रोजेक्टिव (Triprojective) लगभग पूर्ण गैर-रैखिक (APN) क्रमपरिवर्तक और फलन

समस्या विवरण
यह शोध पत्र सम-विमीय (even dimension) परिमित सदिश स्थानों पर 'लगभग पूर्ण गैर-रैखिक' (Almost Perfect Nonlinear - APN) क्रमपरिवर्तकों के अस्तित्व और निर्माण को संबोधित करता है। डिफरेंशियल क्रिप्टोएनालिसिस (differential cryptanalysis) के संदर्भ में, APN फलन (जिनका डिफरेंशियल यूनिफॉर्मिटी $\Delta_F = 2$ होता है) सब्स्टीट्यूशन-परम्यूटेशन नेटवर्क में सुरक्षित S-Box के डिजाइन के लिए अत्यंत महत्वपूर्ण हैं। जबकि विषम विमाओं (odd dimensions) के लिए APN फलनों का अस्तित्व ज्ञात है, $n > 6$ के लिए सम विमाओं में APN क्रमपरिवर्तकों (bijective functions) का अस्तित्व एक प्रमुख खुला प्रश्न बना हुआ है। विशेष रूप से, लेखक $n = 3m$ (जहाँ $m$ विषम है) विमाओं में ऐसे फलनों के बड़े परिवारों के निर्माण और उनके गुणों, जैसे कि उनके तुल्यता वर्गों (equivalence classes) और इमेज सेट आकार के लक्षण वर्णन पर ध्यान केंद्रित करते हैं।

कार्यप्रणाली (Methodology)
लेखक "त्रै-प्रेक्टिव" (triprojective) और "अर्ध-द्विघाती" (semi-quadratic) मानचित्रों पर आधारित एक संरचनात्मक दृष्टिकोण अपनाते हैं। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

प्रोजेक्टिव संरचना: लेखक $\mathbb{F}_q^3$ (जहाँ $q=2^m$ ) पर $F \in SQH(3, q)$ (सेमी-क्वाड्रेटिक होमोजेनियस) नामक फलनों की एक श्रेणी को परिभाषित करते हैं। ये फलन अर्ध-द्विघाती रूपों द्वारा प्रेरित होते हैं जो विशिष्ट होमोजेनिटी गुणों को संतुष्ट करते हैं, जिससे वे प्रोजेक्टिव स्पेस $\mathbb{P}^2(\mathbb{F}_q)$ पर सुपरिभाषित मानचित्रों को प्रेरित करने में सक्षम होते हैं।
बाइजेक्शन मानदंड: पिछले कार्य (प्रमेय 1.2) पर भरोसा करते हुए, यह शोध पत्र एक विशिष्ट एकचर बहुपद (univariate polynomial) $P(X) = aX^{\sigma^2+\sigma+1} + bX^{\sigma+1} + cX + 1$ पर एक शर्त का उपयोग करता है ताकि यह सुनिश्चित हो सके कि प्रोजेक्टिव स्पेस पर प्रेरित मानचित्र एक बाइजेक्शन (bijection) है।
डिफरेंशियल यूनिफॉर्मिटी विश्लेषण:
- यदि $m/d$ सम है: लेखक फलन के "कोर" (core) की अवधारणा का उपयोग करते हैं (एक उप-क्षेत्र जिसके ऊपर डेरिवेटिव मानचित्र रैखिक है) यह दिखाने के लिए कि डिफरेंशियल यूनिफॉर्मिटी $2d$ है, जहाँ $d = \gcd(k, m)$ ।
- यदि $m/d$ विषम है: लेखक ट्विस्टेड पॉलिनॉमियल रिंग्स (Ore rings) $\mathbb{F}_q[t; \sigma]$ के सिद्धांत से उपकरणों को पेश करते हैं। वे बहुपद $P(X)$ के मूलों (roots) और ट्विस्टेड रिंग में रैखिक राइट डिवाइडर्स (linear right divisors) के अस्तित्व के बीच संबंध स्थापित करते हैं। क्षेत्र के विस्तार और पॉलिनॉमियल के 'लीस्ट कॉमन लेफ्ट मल्टीपल' (lclm) के विश्लेषण के माध्यम से, वे यह सिद्ध करते हैं कि इस अधिक जटिल मामले में भी डिफरेंशियल यूनिफॉर्मिटी $2d$ बनी रहती है।
तुल्यता और वर्गीकरण: यह शोध पत्र मौजूदा ट्राइवैरिएट APN फलनों (विशेष रूप से ली-कैलेस्की और बार्टोली-स्टैनिका द्वारा) की तुलना रैखिक तुल्यता (linear equivalence) का उपयोग करके करता है। इसके अतिरिक्त, वे लीनियर ऑटोमॉर्फिज्म समूहों ( $Aut_L(F)$ ) का विश्लेषण करके और यह दिखाकर कि वे जनरल लीनियर ग्रुप में कंजुगेट नहीं हो सकते, गोल्ड APN फलनों ( $x^{2^i+1}$ ) के साथ उनकी अतुल्यता को सिद्ध करते हैं।

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

APN क्रमपरिवर्तकों का निर्माण: यह शोध पत्र परिमित सदिश स्थानों के लिए $n=3m$ (जहाँ $m$ विषम है) विमाओं में APN क्रमपरिवर्तकों का एक बड़ा परिवार प्रस्तुत करता है। ये फलन इस प्रकार परिभाषित हैं:
$F(x, y, z) = (x^{\sigma+1} + ay^\sigma z + bx^\sigma y + cx^\sigma z, \quad ay^{\sigma+1} + z^\sigma x + bz^\sigma y + cx^\sigma y, \quad z^{\sigma+1} + x^\sigma y)$
जहाँ $\sigma = 2^k$ , और $a, b, c \in \mathbb{F}_q$ , तथा $a \neq 0$ ।
डिफरेंशियल यूनिफॉर्मिटी: लेखक सिद्ध करते हैं कि यदि बहुपद समीकरण $ax^{\sigma^2+\sigma+1} + bx^{\sigma+1} + cx + 1 = 0$ का $\mathbb{F}_q$ में कोई समाधान नहीं है, तो $F$ की डिफरेंशियल यूनिफॉर्मिटी $2d$ (जहाँ $d = \gcd(k, m)$ ) है। फलस्वरूप, जब $d=1$ और $m$ विषम है, तो $F$ एक APN क्रमपरिवर्तक है।
इमेज सेट का आकार: यह शोध पत्र इन फलनों के इमेज सेट आकार का लक्षण वर्णन करता है। यदि $m/d$ सम है, तो फलन $\mathbb{F}_q^3 \setminus \{0\}$ पर $(2d+1)$ -टू-वन (to-one) है। यदि $m/d$ विषम है, तो फलन $\mathbb{F}_q^3$ पर बाइजेक्टिव है।
मौजूदा परिवारों का एकीकरण: लेखक यह प्रदर्शित करते हैं कि हाल ही में खोजे गए कई ट्राइवैरिएट APN फलनों (ली-कैलेस्की और बार्टोली-स्टैनिका) को उनके प्रस्तावित परिवार के विशिष्ट उदाहरणों (विशिष्ट पैरामीटर $a, b, c$ सेट करके प्राप्त) के रैखिक रूप से तुल्य (linearly equivalent) के रूप में देखा जा सकता है। यह इन निर्माणों के लिए एक एकीकृत, प्राथमिक स्पष्टीकरण प्रदान करता है, जो पूर्व कार्यों में उपयोग किए गए जटिल केस डिस्टिंक्शन और कंप्यूटर-असिस्टेड रिसल्टेंट गणनाओं से बचता है।
गोल्ड फलनों से अतुल्यता: यह शोध पत्र सिद्ध करता है कि $m > 2$ और $m \neq 6$ के लिए, निर्मित APN फलन गोल्ड APN फलनों के CCZ-अतुल्य (CCZ-inequivalent) हैं। यह यह दिखाकर स्थापित किया गया है कि उनके लीनियर ऑटोमॉर्फिज्म समूह $GL(3m, 2)$ में कंजुगेट नहीं हैं।

महत्व और दावे

यह शोध पत्र प्रत्येक विषम विमा (जो तीन से विभाज्य हो) में APN क्रमपरिवर्तकों के एक "बड़े परिवार" के निर्माण का दावा करता है, जो सम विमाओं के लिए APN बाइजेक्शन के खुले प्रश्न को संबोधित करता है। इसका महत्व निम्नलिखित में निहित है:

व्यापकता (Generality): यह निर्माण मल्टीप्रोजेक्टिव मैप्स की श्रेणी के भीतर प्रमाणित रूप सेกัน संख्या में परस्पर अतुल्य (pairwise inequequivalent) APN फलनों को उत्पन्न करता है।
सरलीकरण: इनके प्रमाणों को पिछले कार्यों की तुलना में "कंप्यूटर-मुक्त, बहुत छोटा और विशुद्ध रूप से प्राथमिक" (computer-free, much shorter and purely elementary) बताया गया है, जो विभिन्न ट्राइवैरिएट APN फलनों को समझने के लिए एक एकीकृत ढांचा प्रदान करता है।
नए उदाहरण: यह दिखाया गया है कि इस परिवार में ज्ञात APN फलनों (गोल्ड फलनों सहित) के अतुल्य उदाहरण शामिल हैं, जो क्रिप्टोग्राफिक प्रिमिटिव्स के ज्ञात परिदृश्य का विस्तार करते हैं।

लेखक नोट करते हैं कि जबकि Walsh स्पेक्ट्रा ज्ञात है जब $m/d$ सम हो, APN क्रमपरिवर्तकों (जहाँ $m$ विषम है) के लिए Walsh स्पेक्ट्रम निर्धारित करना अभी भी एक खुला प्रश्न है। उन्होंने यह भी पहचाना है कि उन सेमी-क्वाड्रेटिक होमोजेनियस फलनों का वर्गीकरण जो प्रोजेक्टिव बाइजेक्शन की ओर ले जाते हैं, भविष्य के अनुसंधान के लिए एक स्वाभाविक दिशा है।