🔢 mathematics

Construction of codes over a commutative non-unital ring from simplicial complexes and their applications

यह शोध पत्र सिम्पलीशियल कॉम्प्लेक्स (simplicial complexes) से व्युत्पन्न परिभाषित सेटों का उपयोग करके एक परिमित क्रमविनिमेय गैर-इकाई रिंग (finite commutative non-unital ring) पर रैखिक कोडों का निर्माण करता है, उनके मापदंडों और ग्रे इमेज (Gray images) का विश्लेषण करता है ताकि विभाज्य, न्यूनतम और इष्टतम कोडों की श्रेणियों की पहचान की जा सके, और सीक्रेट शेयरिंग, स्थानीय रूप से पुनप्राप्य कोड (locally recoverable codes), और स्ट्रॉन्गली रेगुलर ग्राफ के निर्माण में उनके अनुप्रयोगों को प्रदर्शित करता है।

मूल लेखक: Vidya Sagar, Shikha Patel, Sanjay Kumar Singh

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

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

CC BY 4.0

मूल लेखक: Vidya Sagar, Shikha Patel, Sanjay Kumar Singh

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

कल्पना कीजिए कि आप एक शोर-शराबे वाले, अराजक शहर में एक गुप्त संदेश भेजने की कोशिश कर रहे हैं। कभी-कभी संदेश के कुछ हिस्से बिगड़ जाते हैं या खो जाते हैं। इसे ठीक करने के लिए, गणितज्ञ त्रुटि-सुधार कोड (error-correcting codes) का उपयोग करते हैं। इन कोडों को एक विशेष "पैकिंग विधि" के रूप में समझें जहाँ आप अपने संदेश को अतिरिक्त परतों (redundancy) में लपेटते हैं। यदि कोई हिस्सा क्षतिग्रस्त हो जाता है, तो प्राप्तकर्ता उन अतिरिक्त परतों का उपयोग करके यह पता लगा सकता है कि मूल संदेश क्या होना चाहिए था।

यह शोध पत्र इन संदेशों को पैक करने के नए, स्मार्ट तरीके खोजने के बारे में है। लेखक, विद्या सागर, शिखा पटेल और संजय कुमार सिंह, इन पैकिंग विधियों का निर्माण एक बहुत ही विशिष्ट, असामान्य प्रकार के गणितीय "बॉक्स" का उपयोग करके कर रहे हैं जिसे कम्यूटेटिव नॉन-यूनिटल रिंग (commutative non-unital ring) कहा जाता है।

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

1. अजीब बॉक्स (द रिंग)

अधिकांश मानक कोड परिचित संख्या प्रणालियों (जैसे पूर्णांक या परिमित क्षेत्र/finite fields) का उपयोग करते हैं। यह शोध पत्र एक "नॉन-यूनिटल रिंग" का उपयोग करता है।

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

2. ब्लूप्रिंट (सिम्प्लिशियल कॉम्प्लेक्स)

किन संदेशों को पैक किया जाना चाहिए, यह तय करने के लिए लेखक सिम्प्लिशियल कॉम्प्लेक्स (simplicial complexes) का उपयोग करते हैं।

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

3. अनुवाद (ग्रे मैप और सबफील्ड-लाइक कोड्स)

चूंकि "नॉन-यूनिटल रिंग" बॉक्स का सीधे उपयोग करना कठिन है, इसलिए लेखक इन कोडों को दो अलग-अलग भाषाओं में अनुवादित करते हैं:

ग्रे इमेज (The Gray Image): यह एक जटिल, अमूर्त मूर्ति को कंक्रीट में ढालने जैसा है ताकि वह एक ठोस, मानक आकार बन जाए। वे "ग्रे मैप" का उपयोग करके कोड को उस अजीब रिंग से एक मानक क्षेत्र ( $F_q$ ) में अनुवादित करते हैं।
सबफील्ड-लाइक कोड्स (Subfield-like Codes): यह उसी मूर्ति को किसी अन्य सामग्री से एक छोटा, सरल संस्करण बनाने जैसा है।
परिणाम: दोनों अनुवाद ऐसे कोड उत्पन्न करते हैं जो "विभाज्य" (divisible) होते हैं। एक ऐसे कोड की कल्पना करें जहाँ प्रत्येक संदेश का भार (weight) एक विशिष्ट संख्या से पूरी तरह विभाज्य होता है (जैसे हर पैकेज का वजन ठीक 10 किलो, 20 किलो या 30 किलो है)। यह पूर्वानुमेयता (predictability) गणितज्ञों के लिए बहुत उपयोगी है।

4. सुपरपावर्स (मिनिमल, ऑप्टिमल और सेल्फ-ऑर्थोगोनल)

लेखक जाँचते हैं कि क्या उनके नए कोडों में "सुपरपावर्स" हैं:

मिनिमल कोड (Minimal Codes): ये सबसे कुशल संदेशवाहक हैं। एक "मिनिमल" कोड में, संदेश का कोई भी हिस्सा अनावश्यक नहीं होता है जिससे दूसरा हिस्सा उसे कवर कर सके। यह एक ऐसी टीम की तरह है जहाँ टीम का हर सदस्य अनिवार्य है; यदि आप एक को हटा देते हैं, तो टीम टूट जाती है।
ऑप्टिमल कोड (Optimal Codes): ये अपने आकार के लिए सबसे अच्छे संभव कोड हैं। आप गणित के नियमों (विशेष रूप से ग्रीस्मर बाउंड/Griesmer bound) को तोड़े बिना उन्हें छोटा या अधिक मजबूत नहीं बना सकते।
सेल्फ-ऑर्थोगोनल कोड (Self-Orthogonal Codes): कल्पना कीजिए कि एक कोड अपनी ही छाया है। यदि आप कोड की तुलना एक विशिष्ट गणितीय तरीके से स्वयं से करते हैं, तो वह "कैंसिल आउट" हो जाता है। यह गुण कुछ उन्नत क्रिप्टोग्राफिक कार्यों के लिए महत्वपूर्ण है।

5. वास्तविक दुनिया के अनुप्रयोग (उन्होंने वास्तव में क्या बनाया)

यह शोध पत्र केवल सिद्धांत तक सीमित नहीं है; वे दिखाते हैं कि इन कोडों का उपयोग चार विशिष्ट क्षेत्रों में कैसे किया जा सकता है:

लोकल रिकोवरेबल कोड्स (LRCs):
- समस्या: डेटा के एक विशाल गोदाम में, यदि एक शेल्फ टूट जाता है, तो आपको इसे ठीक करने के लिए पूरे गोदाम की जाँच करनी पड़ती है।
- समाधान: ये कोड आपको केवल 2 या 3 अन्य पास के शेल्फों को देखकर टूटे हुए शेल्फ को ठीक करने की अनुमति देते हैं। यह एक बैकअप योजना रखने जैसा है जिसके लिए केवल अपने निकटतम पड़ोसियों की जाँच करने की आवश्यकता होती है, जिससे समय और ऊर्जा बचती है।
सीक्रेट-शेयरिंग स्कीम्स (Secret-Sharing Schemes):
- समस्या: आप एक समूह के बीच एक रहस्य (जैसे परमाणु लॉन्च कोड) को कैसे विभाजित करते हैं ताकि केवल एक विशिष्ट टीम ही इसे अनलॉक कर सके?
- समाधान: लेखकों ने अपने कोड का उपयोग "एक्सेस स्ट्रक्चर" डिजाइन करने के लिए किया। उन्होंने निर्धारित किया कि लोगों के कौन से समूह (प्रतिभागियों के संयोजन) लॉक को खोलने के लिए आवश्यक न्यूनतम हैं। यह एक ऐसे पहेली को डिजाइन करने जैसा है जहाँ केवल चाबियों के विशिष्ट संयोजन ही ताले को खोल सकते हैं।
फ्यू-वेट कोड्स (Few-Weight Codes):
- ये ऐसे कोड हैं जहाँ "भार" (डेटा की मात्रा) केवल कुछ विशिष्ट मान लेता है। यह सरलता उन्हें विशिष्ट कॉम्बिनेटरियल डिजाइनों में विश्लेषण और उपयोग के लिए आसान बनाती है।
स्ट्रॉन्गली रेगुलर ग्राफ्स (Strongly Regular Graphs):
- उपमा: एक पार्टी की कल्पना करें जहाँ हर व्यक्ति एक वर्टेक्स (व्यक्ति) है। एक "स्ट्रॉन्गली रेगुलर ग्राफ" एक ऐसी पार्टी है जिसमें सख्त सामाजिक नियम होते हैं:
  1. हर किसी के दोस्तों की संख्या बिल्कुल समान होती है।
  2. यदि दो लोग दोस्त हैं, तो उनके पास समान संख्या में आपसी मित्र होते हैं।
  3. यदि दो लोग दोस्त नहीं हैं, तो भी उनके पास समान संख्या में आपसी मित्र होते हैं।
- लेखकों ने इन ग्राफ्स (सामाजिक नेटवर्क) को बनाने के लिए अपने कोड का उपयोग किया और गणना की कि उनमें कितने लोग और संबंध हैं। उन्होंने यह भी दिखाया कि यदि आप नियमों को उलट देते हैं (दोस्तों को दुश्मनों में और इसके विपरीत), तो नया "पार्टी" भी पूरी तरह से व्यवस्थित रहता है।

सारांश

संक्षेप में, लेखकों ने एक कठिन, प्रतिबंधात्मक गणितीय वातावरण (एक नॉन-यूनिटल रिंग) लिया, नए कोड बनाने के लिए ज्यामितीय लेगो जैसे नियमों (सिम्प्लिशियल कॉम्प्लेक्स) का उपयोग किया, और उन्हें मानक स्वरूपों में अनुवादित किया। उन्होंने सिद्ध किया कि उनके नए कोड अत्यधिक कुशल, पूर्वानुमेय और डेटा त्रुटियों को जल्दी से ठीक करने, रहस्यों को सुरक्षित रूप से साझा करने और पूर्णतः संरचित सामाजिक नेटवर्क (ग्राफ) बनाने के लिए उपयोगी हैं।

तकनीकी सारांश: सिम्पलीशियल कॉम्प्लेक्स और उनके अनुप्रयोगों से एक कम्यूटेटिव नॉन-यूनिटल रिंग पर कोड्स का निर्माण

समस्या विवरण और संदर्भ
यह शोध पत्र परिमित रिंगों (finite rings) पर लीनियर कोड्स के निर्माण को संबोधित करता है, जो विशेष रूप से एक क्रम $p^2$ वाले कम्यूटेटिव नॉन-यूनिटल रिंग $I$ और उसके डिग्री $r$ वाले विस्तार $S$ पर केंद्रित है। जबकि परिमित क्षेत्रों (finite fields) और यूनिटल रिंगों पर लीनियर कोड्स सुस्थापित हैं, नॉन-यूनिटल रिंगों पर कोड्स का अध्ययन एक हालिया विकास है। पिछले कार्यों में नॉन-यूनिटल रिंगों पर क्वाजी सेल्फ-डुअल और सेल्फ-ऑर्थोगोनल कोड्स की खोज की गई है, जिसमें क्रम $p^2$ वाला नॉन-कम्यूटेटिव रिंग $E$ भी शामिल है। यह कार्य कम्यूटेटिव नॉन-यूनिटल रिंग $I$ और इसके विस्तार $S$ पर शोध को आगे बढ़ाते हुए, सिम्पलीशियल कॉम्प्लेक्स से प्राप्त 'डिफाइनिंग सेट्स' (defining sets) का उपयोग करके इष्टतम पैरामीटर्स वाले कोड्स का निर्माण करने का लक्ष्य रखता है। मुख्य लक्ष्य इन कोड्स के वेट डिस्ट्रीब्यूशन (weight distributions), मिनिमलिटी (minimality) और इष्टतमता (optimality) को निर्धारित करना और सीक्रेट-शेयरिंग स्कीम्स, लोकली रिकोवरेबल कोड्स (LRCs) और स्ट्रॉन्गली रेगुलर ग्राफ्स के निर्माण में उनके अनुप्रयोगों की खोज करना है।

कार्यप्रणाली (Methodology)
लेखक रिंग $S$ पर लीनियर कोड्स के निर्माण के लिए डिफाइनिंग सेट विधि (defining set method) का उपयोग करते हैं।

रिंग संरचना: रिंग $S$ को कम्यूटेटिव नॉन-यूनल रिंग $I = \langle a, b \mid pa=0, pb=0, a^2=b, ab=0 \rangle$ के विस्तार के रूप में परिभाषित किया गया है। $S$ के तत्व $as + bt $के रूप में होते हैं जहाँ$ s, t \in \mathbb{F}_q $($ q=p^r$)।
कोड निर्माण: एक क्रमबद्ध मल्टीसेट $D \subseteq S^m$ का उपयोग करके $S$ पर एक लीनियर कोड $C_D$ की लंबाई $|D|$ परिभाषित की जाती है:
$C_D = \{ (v \cdot d)_{d \in D} : v \in S^m \}$
जहाँ उत्पाद $v \cdot d$ को रिंग गुणन नियमों के माध्यम से परिभाषित किया गया है।
सिम्पलीशियल कॉम्प्लेक्स (Simplicial Complexes): $\mathbb{F}_q^m$ पर सिम्पलीशियल कॉम्प्लेक्स $\Delta$ का उपयोग करके डिफाइनिंग सेट्स $D$ का निर्माण किया जाता है। विशेष रूप से, लेखक $D = a\Delta_1 + b\Delta_2$ के रूप में सेटों पर विचार करते हैं, जहाँ $\Delta_1$ और $\Delta_2$ सिम्पलीशियल कॉम्प्लेक्स (संभावित रूप से कई मैक्सिमल तत्वों के साथ) और उनके पूरक (complements) हैं।
वेट विश्लेषण (Weight Analysis):
- ली वेट (Lee Weight): ग्रे मैप $\Phi: S \to \mathbb{F}_q^2$ , जिसे $\Phi(as+bt) = (t, s+t)$ के रूप में परिभाषित किया गया है, का उपयोग करके कोड के ली वेट का विश्लेषण किया जाता है। ली वेट को ग्रे इमेज के हैमिंग वेट (Hamming weight) के रूप में गणना किया जाता है।
- सबफील्ड-लाइक कोड्स (Subfield-like Codes): $\mathbb{F}_q$ पर सबफील्ड-लाइक कोड $\tau(C_D)$ का निर्माण करने के लिए एक प्रोजेक्शन मैप $\tau: S \to \mathbb{F}_q$ का उपयोग किया जाता है, जो $\tau(as+bt) = t$ को परिभाषित करता है।
विश्लेषणात्मक उपकरण: लेखक वेट डिस्ट्रीब्यूशन और पैरामीटर्स का स्पष्ट विवरण प्राप्त करने के लिए कैरेक्टर सम्स (character sums), समावेश-अपवर्जन सिद्धांत (principle of inclusion-exclusion), और सिम्पलीशियल कॉम्प्लेक्स के गुणों (विशेष रूप से मैक्सिमल तत्वों और उनके इंटरसेक्शन) का उपयोग करते हैं।

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

स्पष्ट वेट डिस्ट्रीब्यूशन और पैरामीटर्स:
शोध पत्र सिम्पलीशियल कॉम्प्लेक्स और उनके पूरकों के संयोजन से बने डिफाइनिंग सेट्स के लिए $S$ -लीनियर कोड्स के ली वेट डिस्ट्रीब्यूशन को निर्धारित करता है। डिफाइनिंग सेट्स के पांच अलग-अलग मामलों ( $D = a\Delta_1 + b\Delta_2, a\Delta_1 + b\Delta_2^c$ , आदि) का विश्लेषण किया गया है।
- $S$ -लीनियर कोड्स के पैरामीटर्स (लंबाई, आकार और न्यूनतम ली दूरी) स्थापित किए गए हैं।
- ग्रे इमेज $\Phi(C_D)$ और सबफील्ड-लाइक कोड $\tau(C_D)$ को $\mathbb{F}_q$ पर लीनियर कोड के रूप में दिखाया गया है।
- जब सिम्पलीशियल कॉम्प्लेक्स में एकल मैक्सिमल तत्व होते हैं, तो स्पष्ट वेट डिस्ट्रीब्यूशन प्रदान किए जाते हैं, जिससे पता चलता है कि कई परिणामी कोड्स फ्यू-वेट (few-weight) (विशेष रूप से 1-वेट या 2-वेट) और डिविज़िबल (divisible) हैं।
मिनिमलिटी और इष्टतमता (Minimality and Optimality):
- मिनिमलिटी: पर्याप्त स्थितियाँ स्थापित की गई हैं जिनके तहत ग्रे इमेज कोड और सबफील्ड-लाइक कोड मिनिमल होते हैं। एक कोड मिनिमल तब होता है जब प्रत्येक गैर-शून्य कोडवर्ड केवल अपने स्केलर मल्टीपल्स को कवर करता है। लेखक मैक्सिमल तत्वों के आकार और फील्ड साइज $q$ के बीच असमानताओं का उपयोग करके मिनिमलिटी की गारंटी देते हैं।
- इष्टतमता: शोध पत्र ग्रीस्मर बाउंड (Griesmer bound) के संबंध में इन कोड्स की इष्टतमता की जांच करता है। कई कोड परिवारों को $m, |M|, |N|$ , और $q$ पर विशिष्ट शर्तों के तहत इष्टतम दिखाया गया है।
सेल्फ-ऑर्थोगोनैलिटी (Self-Orthogonality):
ग्रे इमेज कोड और सबफील्ड-लाइक कोड के यूक्लिडियन या हर्मिटियन सेल्फ-ऑर्थोगोनल होने के लिए शर्तें प्रदान की गई हैं। ये शर्तें कोडवेट की विभाज्यता और $q$ के विशिष्ट मानों (जैसे, $q=2, 3, 4$ ) पर निर्भर करती हैं।
अनुप्रयोग (Applications):
- लोकली रिकोवरेबल कोड्स (LRCs): लेखक लोकैलिटी 2 और 3 वाले LRCs के परिवारों का निर्माण करते हैं। ये कोड्स सिम्पलीशियल कॉम्प्लेक्स के गैर-शून्य तत्वों से संबंधित विशिष्ट डिफाइनिंग सेट्स के माध्यम से सबफील्ड-लाइक कोड $\tau(C_D)$ से प्राप्त किए जाते हैं।
- सीक्रेट-शेयरिंग स्कीम्स (SSS): निर्मित मिनिमल कोड्स के ड्यूल (duals) पर आधारित सीक्रेट-शेयरिंग स्कीम्स के मिनिमल एक्सेस स्ट्रक्चर का निर्धारण किया गया है। शोध पत्र मिनिमल एक्सेस सेट्स की संख्या और प्रत्येक प्रतिभागी की भागीदारी की आवृत्ति को निर्दिष्ट करता है।
- स्ट्रॉन्गली रेगुलर ग्राफ्स (SRGs): प्रोजेक्टिव टू-वेट कोड्स और SRGs के बीच संबंध का लाभ उठाते हुए, लेखक स्ट्रॉन्गली रेगुलर केली ग्राफ्स (Cayley graphs) के कई परिवारों का निर्माण करते हैं। इन ग्राफ्स के पैरामीटर्स $(N, K, \lambda, \mu)$ को स्पष्ट रूप से निर्धारित किया गया है। इसके अतिरिक्त, यह भी दिखाया गया है कि इन SRGs के पूरक (complement) ग्राफ भी स्ट्रॉन्गली रेगुलर हैं, जिनके पैरामीटर्स को स्पष्ट रूप से गणना किया गया है।

महत्व और दावे
यह शोध पत्र दावा करता है कि वह कम्यूटेटिव नॉन-यूनल रिंग $I$ और इसके विस्तार $S$ पर सिम्पलीशियल कॉम्प्लेक्स दृष्टिकोण को सफलतापूर्वक लागू करके नॉन-यूनल रिंग्स पर कोड्स के सिद्धांत को आगे बढ़ाता है। इसका महत्व निम्नलिखित में निहित है:

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