🔢 mathematics

Non-special Divisors, LCPs of Codes, and LCD Codes on Kummer Extensions

यह शोध पत्र कुमर विस्तारों (Kummer extensions) पर गैर-विशेष विभाजकों (non-special divisors) के एक अंकगणितीय अभिलक्षण को स्थापित करता है ताकि $g$ और $g-1$ डिग्री के प्रभावी विभाजकों का स्पष्ट रूप से निर्माण किया जा सके, जिससे निर्धारित सुरक्षा मापदंडों वाले रैखिक पूरक युग्मों (LCPs) और रैखिक पूरक द्वैत (LCD) बीजगणितीय ज्यामिति कोडों को उत्पन्न करने के लिए एक सामान्य ढांचा विकसित किया जा सके, जिसमें GK और हर्मिटियन वक्रों (Hermitian curves) के विशिष्ट अनुप्रयोग भी शामिल हैं।

मूल लेखक: Huachao Zhang, Chang-An Zhao

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

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

CC BY 4.0

मूल लेखक: Huachao Zhang, Chang-An Zhao

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

कल्पना कीजिए कि आप डिजिटल जानकारी के लिए एक उच्च-सुरक्षा वाला वॉल्ट (तिजोरी) सिस्टम बना रहे हैं। इसे अटूट बनाने के लिए, आपको दो चीजों की आवश्यकता है: एक बहुत मजबूत ताला (चोरों को ताला खोलने से रोकने के लिए) और एक बैकअप कुंजी जो ताले से पूरी तरह अलग हो लेकिन उसी दरवाजे में फिट हो जाए (हैकर को कुंजी की नकल करने से रोकने के लिए)। गणित और कोडिंग थ्योरी की दुनिया में, इन्हें LCD कोड्स (ताला) और LCPs (ताला और बैकअप कुंजी का जोड़ा) कहा जाता है।

यह शोध पत्र इन "तालों और चाबियों" को बनाने के लिए एक मास्टर ब्लूप्रिंट की तरह है, जिसे कुम्मर एक्सटेंशन (Kummer extensions) नामक एक विशिष्ट प्रकार के गणितीय परिदृश्य का उपयोग करके बनाया गया है।

यहाँ एक सरल विवरण दिया गया है कि लेखकों ने क्या किया, जिसमें रोजमर्रा के उदाहरणों का उपयोग किया गया है।

1. परिदृश्य: कुम्मर एक्सटेंशन (Kummer Extensions)

एक कुम्मर एक्सटेंशन को एक विशेष प्रकार के बहु-स्तरीय मानचित्र (multi-layered map) के रूप में सोचें। आमतौर पर, मानचित्र सपाट होते हैं, लेकिन यह मानचित्र एक साधारण सड़क (फंक्शन फील्ड) के ऊपर बने एक स्पाइरल सीढ़ी या मल्टी-स्टोरी पार्किंग गैरेज की तरह है।

सड़क को $y^m = f(x)$ जैसे समीकरण द्वारा परिभाषित किया जाता है।
पार्किंग गैरेज की "मंजिलें" वे विभिन्न मान ( $y$ ) हैं जो दिए गए $x$ के लिए संभव हैं।
लेखक इस मानचित्र पर विशिष्ट स्थानों में रुचि रखते हैं जिन्हें प्लेसेस (places) कहा जाता है (जैसे विशिष्ट पार्किंग स्पॉट या सड़क के कोने)। कुछ स्थान "टोटली रॅमिफाइड" (totally ramified) होते हैं, जिसका अर्थ है कि सभी मंजिलें एक ही बिंदु पर मिल जाती हैं (जैसे एक फनल या कीप)। अन्य "नॉन-टोटली रॅमिफाइड" (non-totally ramified) होते हैं, जहाँ मंजिलें अलग रहती हैं।

2. समस्या: "नॉन-स्पेशल" कुंजियाँ खोजना

सुरक्षित कोड बनाने के लिए, गणितज्ञों को इस मानचित्र पर स्थानों के विशिष्ट संग्रह खोजने की आवश्यकता होती है जिन्हें डिवाइज़र (divisors) कहा जाता है।

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

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

3. निर्माण: वॉल्ट बनाना

एक बार जब उन्होंने परफेक्ट चाबियों के लिए नुस्खा खोज लिया, तो उन्होंने दो प्रकार के सुरक्षा सिस्टम बनाए:

A. लीनियर कॉम्प्लीमेंट्री पेयर्स (LCPs)

कल्पना कीजिए कि आपके पास एक मुख्य वॉल्ट दरवाजा (कोड A) और एक बैकअप दरवाजा (कोड B) है।

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

B. लीनियर कॉम्प्लीमेंट्री ड्यूल (LCD) कोड्स

यह एक एकल, अत्यंत मजबूत वॉल्ट दरवाजा है जहाँ ताला और कुंजी गणितीय रूप से एक-दूसरे के "विपरीत" होते हैं। यदि आप कुंजी की नकल करने की कोशिश करते हैं, तो यह काम नहीं करता क्योंकि ताला इस तरह से डिज़ाइन किया गया है कि वह अपने ही प्रतिबिंब को अस्वीकार कर दे। लेखकों ने दिखाया कि कैसे वे अपने नए नुस्खे का उपयोग करके इन्हें बना सकते हैं।

4. विशिष्ट उदाहरण: GK कर्व और हर्मिटियन कोशिएंट्स (Hermitian Quotients)

लेखकों ने केवल सिद्धांत नहीं लिखा; उन्होंने इन प्रसिद्ध गणितीय आकृतियों पर अपने सिद्धांत का परीक्षण किया:

GK कर्व: इसे एक बहुत ही जटिल, उच्च-सुरक्षा वाले किले के रूप में सोचें। लेखक विशेष रूप से इस किले के लिए परफेक्ट चाबियों का एक सेट बनाने में सफल रहे, जिससे यह सिद्ध हुआ कि उनका नुस्खा सबसे जटिल मानचित्रों पर भी काम करता है।
हर्मिटियन कर्व कोशिएंट्स (Hermitian Curve Quotients): ये थोड़े सरल लेकिन फिर भी बहुत सुरक्षित आकार हैं। लेखकों ने यहाँ भी तालों और चाबियों के परिवार बनाए, जिससे पता चलता है कि उनकी विधि लचीली है।

5. "प्योर गैप्स" (Pure Gaps) का तरीका

इन कुछ परफेक्ट चाबियों को खोजने के लिए, लेखकों ने प्योर गैप्स की अवधारणा का उपयोग किया।

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

सारांश

संक्षेप में, यह शोध पत्र एक निर्माण नियमावली (construction manual) है।

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

लेखक मूल रूप से कह रहे हैं: "हमने परफेक्ट सामग्री खोजने का एक नया तरीका खोज लिया है, और यहाँ उन सामग्रियों का उपयोग करके सबसे सुरक्षित डिजिटल केक बनाने का सटीक नुस्खा दिया गया है।"

तकनीकी सारांश: कुमर एक्सटेंशन पर नॉन-स्पेशल डिविसर्स, एलसीपी कोड्स, और एल सीडी कोड्स

समस्या विवरण
लीनियर कॉम्प्लीमेंट्री पेयर्स (LCPs) ऑफ कोड्स और लीनियर कॉम्प्लीमेंट्री ड्यूअल (LCD) कोड्स कोडिंग थ्योरी और क्रिप्टोग्राफी में महत्वपूर्ण हैं, विशेष रूप से साइड-चैनल हमलों (SCA) और फॉल्ट इंजेक्शन हमलों (FIA) से सुरक्षा के लिए। फलन क्षेत्रों (function fields) पर ऐसे कोडों का निर्माण मुख्य रूप से डिग्री $g$ और $g-1$ के नॉन-स्पेशल डिविसर्स (non-special divisors) के अस्तित्व और लक्षण वर्णन पर निर्भर करता है, जहाँ $g$ फलन क्षेत्र का जेनस (genus) है। जबकि पिछले कार्यों ने विशिष्ट कुमर एक्सटेंशन (जैसे कि वे जो टोटली रैमिफाइड प्लेसेस द्वारा परिभाषित होते हैं) के लिए निर्माण स्थापित किए हैं, नॉन-स्पेशल डिविसर्स के एक सामान्य अंकगणितीय लक्षण वर्णन की आवश्यकता है जो मनमाने डिग्री को समायोजित कर सके और जिसमें नॉन-टोटली रैमिफाइड या नॉन-रेशनल प्लेसेस शामिल हो सकें। इसके अतिरिक्त, जटिल कर्व्स, जैसे कि गिउलिएटी-कोरक्माकोस (GK) कर्व पर ऐसे डिविसर्स का स्पष्ट निर्माण और कुमर एक्सटेंशन पर LCPs और LCD कोड्स को उत्पन्न करने के लिए एक एकीकृत ढांचे की आवश्यकता है।

कार्यप्रणाली
लेखक बीजगणिक ज्यामिति (AG) कोड्स, कुमर एक्सटेंशन और रीमान-रॉक स्पेस (Riemann-Roch spaces) के सिद्धांत का उपयोग करते हैं। कार्यप्रणाली तीन मुख्य चरणों में आगे बढ़ती है:

अंकगणितीय लक्षण वर्णन: लेख $F = \mathbb{F}_q(x, y)/\mathbb{F}_q(x)$ द्वारा परिभाषित कुमर एक्सटेंशनों की जांच करता है, जहाँ $y^m = f(x)$ और $f(x) \in \mathbb{F}_q(x) \setminus \mathbb{F}_q$ है। गैलुआ ग्रुप एक्शन के तहत प्लेसेस के विस्तार को एकीकृत करके और कांस्टेंट फील्ड एक्सटेंशन से प्राप्त आयाम सूत्रों (dimension formulas) का उपयोग करके, लेखक एक आवश्यक और पर्याप्त अंकगणितीय शर्त निकालते हैं जिसके द्वारा एक डिविसर $D = \sum a_i D_i$ नॉन-स्पेशल होता है। इस शर्त में फ्लोर फंक्शन और प्लेसेस की डिग्री शामिल है, जो पिछले परिणामों का सामान्यीकरण करती है जो केवल टोटली रैमिफाइड प्लेसेस तक ही सीमित थे।
कैनोनिकल डिविसर्स और प्योर गैप्स के माध्यम से निर्माण: लेखक नए नॉन-स्पेशल डिविसर्स को उत्पन्न करने के लिए डिग्री $g-1$ के एक नॉन-स्पेशल डिविसर और एक कैनोनिकल डिविसर $W$ के बीच संबंध का उपयोग करते हैं। इसके अतिरिक्त, वे प्रभावी नॉन-स्पेशल डिविसर्स (डिग्री $g$ के) को लक्षणबद्ध करने के लिए प्योर गैप्स (वेइरस्ट्रास सेमग्रुप के पूरक तत्व) के सिद्धांत का उपयोग करते हैं।
कोड निर्माण के लिए ढांचा: AG कोड्स $(C_L(D, G), C_L(D, H))$ के LCPs और LCD कोड्स के निर्माण के लिए एक सामान्य ढांचा विकसित किया गया है। यह ढांचा $G$ और $H$ डिविसर्स के चयन पर निर्भर करता है ताकि उनका ग्रेटेस्ट कॉमन डिविसर (GCD) और लीस्ट कॉमन मल्टीपल (LCM) विशिष्ट नॉन-स्पेशल शर्तों को पूरा करे। यह दिखाया गया है कि परिणामी LCPs के सुरक्षा पैरामीटर एक घटक कोड के न्यूनतम अंतर (minimum distance) द्वारा निर्धारित होते हैं।

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

सामान्यीकृत लक्षण वर्णन (थ्योरम 17): पेपर कुमर एक्सटेंशन पर नॉन-स्पेशल डिविसर्स के लिए एक सामान्यीकृत अंकगणितीय लक्षण वर्णन प्रस्तुत करता है। पिछले कार्य के विपरीत, यह लक्षण वर्णन मनमाने डिग्री के डिविसर्स की अनुमति देता है और उन सपोर्ट्स को भी सहारा देता है जिनमें नॉन-टोटली रैमिफाइड और नॉन-रेशनल प्लेसेस शामिल हो सकते हैं।
GK कर्व पर स्पष्ट निर्माण: व्युत्पन्न लक्षण वर्णन का उपयोग करते हुए, लेखक GK कर्व के फलन क्षेत्र पर डिग्री $g-1$ के एक नॉन-स्पेशल डिविसर का स्पष्ट निर्माण करते हैं (प्रपोजिशन 24)। यह उस कमी को दूर करता है जहाँ पिछले तरीके मानक रेशनल प्लेसेस के सेट में ऐसे डिविसर्स खोजने में विफल रहे थे।
प्रभावी नॉन-स्पेशल डिविसर्स के परिवार: समान मल्टीप्लिसिटी वाले $y^m = \prod (x-\alpha_i)^\lambda$ द्वारा परिभाषित कुमर एक्सटेंशन के लिए, लेखक डिग्री $g$ के तीन अलग-अलग प्रभावी नॉन-स्पेशल डिविसर परिवारों का निर्माण करते हैं (प्रपोजिशन 25, 26, और 27)। ये परिवार $m > r$ , $m < r$ , और सामान्य $m, r$ के मामलों को कवर करते हैं, और सिद्ध किया गया है कि वे एक-दूसरे के समतुल्य नहीं हैं।
LCPs और LCDs के लिए सामान्य ढांचा: थ्योरम 29 और कोरोलरी 30 कुमर एक्सटेंशन पर AG कोड्स के LCPs के निर्माण के लिए एक व्यवस्थित विधि प्रदान करते हैं। ढांचा प्रदर्शित करता है कि LCP का सुरक्षा पैरामीटर एक कोड के न्यूनतम अंतर द्वारा दिया जाता है। इसके अलावा, यह LCD AG कोड्स के निर्माण के लिए पर्याप्त शर्तें स्थापित करता है, विशेष रूप से लीनियराइज्ड पॉलिनोमिअल्स का उपयोग करते हुए (प्रपोजिशन 37)।
ठोस उदाहरण: सैद्धांतिक परिणामों को स्पष्ट उदाहरणों के साथ स्पष्ट किया गया है, जिसमें शामिल हैं:
- GK कर्व पर AG कोड्स के LCPs (प्रपोजिशन 31)।
- हर्मिटियन कर्व के क्वोटिएंट्स पर LCPs और LCD कोड्स (कोरोलरी 38, उदाहरण 39)।
- लीनियरलाइज्ड पॉलिनोमिअल्स से प्राप्त कोड्स के लिए विशिष्ट पैरामीटर सेट।

महत्व और दावे
पेपर का दावा है कि यह नॉन-स्पेशल डिविसर्स के सपोर्ट को केवल टोटली रैमिफाइड प्लेसेस तक सीमित करने की प्रतिबंधात्मक शर्त को हटाकर AG कोड्स के निर्माण में अत्याधुनिक स्थिति (state of the art) का विस्तार करता है। एक एकीकृत अंकगणितीय मानदंड प्रदान करके, यह कार्य व्यापक संदर्भों में नॉन-स्पेशल डिविसर्स की पहचान को सक्षम बनाता है। GK कर्व पर नॉन-स्पेशल डिविसर्स के स्पष्ट निर्माण को एक महत्वपूर्ण प्रगति के रूप में रेखांकित किया गया है, क्योंकि विभिन्न तकनीकों का उपयोग करने वाले पिछले प्रयास आवश्यक गुणों वाले ऐसे डिविसर्स को खोजने में विफल रहे थे।

LCPs और LCD कोड्स के लिए एक सामान्य ढांचे का विकास ज्ञात सुरक्षा मापदंडों वाले कोड परिवारों के व्यवस्थित निर्माण की अनुमति देता है। लेखक नोट करते हैं कि जबकि थ्योरम 17 इन डिविसर्स को लक्षणबद्ध करता है, ऐसे डिविसर्स के सामान्य अस्तित्व की समस्या अभी भी एक खुला प्रश्न है। इसके अतिरिक्त, पेपर सुझाव देता है कि भविष्य के कार्य इंडेक्स सेट $I$ और वेइल डिफरेंशियल $\omega$ के चयन को बदलकर कोड के और अधिक परिवारों को उत्पन्न करने की खोज कर सकते हैं, लेकिन वर्तमान में, प्रस्तुत परिणाम विशिष्ट, सत्यापित निर्माणों पर केंद्रित हैं। यह कार्य AG कोड्स, LCPs और LCD कोड्स पर मौजूदा साहित्य पर आधारित है, जो शुरुआती शोधकर्ताओं द्वारा प्रदान किए गए मौलिक चरित्रणों पर निर्मित है।