Shortest LCD embeddings of binary, ternary and quaternary linear codes

समस्या विवरण
पूरक द्वैत वाले रैखिक कोड (LCD कोड) कोडिंग सिद्धांत और क्रिप्टोग्राफी में एक महत्वपूर्ण क्षेत्र हैं, विशेष रूप से साइड-चैनल और फॉल्ट इंजेक्शन हमलों के प्रति उनके प्रतिरोध के कारण। जबकि यह ज्ञात है कि $\mathbb{F}_q$ ($q \ge 4$) पर प्रत्येक रैखिक कोड एक LCD कोड के तुल्य है, और $\mathbb{F}_{q^2}$ के लिए भी समान परिणाम मौजूद हैं, $\mathbb{F}_2, \mathbb{F}_3$ पर LCD कोड और $\mathbb{F}_4$ पर हर्मिटियन (Hermitian) LCD कोड के लिए न्यूनतम दूरियों (minimum distances) की सीमाएं कई लंबाई और आयामों के लिए अज्ञात बनी हुई हैं। कोडिंग थ्योरी में एक केंद्रीय चुनौती दिए गए लंबाई और आयाम के लिए सबसे बड़ी न्यूनतम दूरी निर्धारित करना है। यह शोध पत्र किसी भी रैखिक कोड को LCD कोड में एम्बेड (embed) करने के विशिष्ट समस्या को संबोधित करता है, जिसका लक्ष्य "सबसे छोटा" ऐसा एम्बेडिंग (न्यूनतम लंबाई वृद्धि) खोजना और इस पद्धति का उपयोग करके नए दूरी-इष्टतम (distance-optimal) LCD कोड का निर्माण करना है।

कार्यप्रणाली
लेखक किसी दिए गए $[n, k]$ कोड $C$ को उसके जनरेटर मैट्रिक्स में न्यूनतम कॉलम जोड़कर एक LCD कोड $\tilde{C}$ में एम्बेड करने के लिए एक व्यवस्थित दृष्टिकोण पेश करते हैं। कार्यप्रणाली इस प्रकार आगे बढ़ती है:

1. सैद्धांतिक आधार: शोध पत्र यह स्थापित करता है कि किसी $[n, k]$ कोड $C$ को LCD कोड में एम्बेड करने के लिए आवश्यक न्यूनतम कॉलमों की संख्या ($m$) ठीक $C$ के हल (hull) का आयाम $\ell$ है (जहाँ $\text{Hull}(C) = C \cap C^\perp$)। फलस्वरूप, सबसे छोटे LCD एम्बेडिंग की लंबाई $n + \ell$ है।
2. संरचनात्मक लक्षण वर्णन: लेखक एक लघुतम LCD एम्बेडिंग के जनरेटर मैट्रिक्स का लक्षण वर्णन करते हैं। यदि $G$ एक जनरेटर मैट्रिक्स है जिसे $C$ के हल को उत्पन्न करने वाले भाग, $G(\text{Hull}(C))$, और एक शेष भाग $A$ में विभाजित किया गया है, तो एक लघुतम LCD एम्बेडिंग निम्नलिखित रूप के मैट्रिक्स द्वारा जनरेट की जाती है:
   $$\tilde{G} = \begin{bmatrix} G(\text{Hull}(C)) & D \\ A & C \end{bmatrix}$$
   जहाँ $D$ एक $\ell \times \ell$ व्युत्क्रमणीय (invertible) मैट्रिक्स है और $C$ एक मनमाना (arbitrary) $(k-\ell) \times \ell$ मैट्रिक्स है। शोध पत्र सिद्ध करता है कि हल से संबंधित पंक्तियों (rows) के साथ एक व्युत्क्रमणीय मैट्रिक्स और शेष पंक्तियों के साथ एक मनमाना मैट्रिक्स जोड़ना हमेशा एक लघुतम LCD एम्बेडिंग प्रदान करता है।
3. निर्माण रणनीति: लेखक इस एम्बेडिंग पद्धति को ज्ञात दूरी-इष्टतम रैखिक कोडों (विशेष रूप से त्रिक (ternary) और चतुर्धात (quaternary) कोड जो स्वयं LCD नहीं हैं) पर लागू करते हैं। इन मौजूदा कोडों के हल आयाम की गणना करके और प्राप्त संरचना के अनुसार आवश्यक कॉलम जोड़कर, वे नए LCD कोड का निर्माण करते हैं।

मुख्य योगदान और परिणाम
शोध पत्र सैद्धांतिक सीमाएं और ठोस निर्माण दोनों प्रदान करता है:

• सैद्धांतिक परिणाम:

  • सिद्ध करता है कि $\ell$ हल आयाम वाले $[n, k]$ कोड का लघुतम LCD एम्बेडिंग की लंबाई $n + \ell$ है।
  • इन लघुतम एम्बेडिंग्स के लिए सभी संभावित जनरेटर मैट्रिक्स के रूपों का लक्षण वर्णन करता है, यह दिखाते हुए कि वे हल-जनरेटिंग पंक्तियों के साथ एक व्युत्क्रमणीय मैट्रिक्स जोड़ने के तुल्य हैं।
  • यह प्रदर्शित करता है कि एक कोड $C$ के लघुतम LCD एम्बेडिंग की लंबाई उसके हल, $\text{Hull}(C)$, के समान है।

• नए कोड निर्माण:
  मौजूदा रैखिक कोडों पर लघुतम LCD एम्बेडिंग पद्धति का उपयोग करते हुए, लेखकों ने कई नए LCD कोडों का निर्माण किया जिनके पैरामीटर ज्ञात न्यूनतम दूरियों में सुधार करते हैं:

  • त्रिक (Ternary) LCD कोड:
    • $[23, 4, 14]$: ज्ञात न्यूनतम दूरी को 13 से बढ़ाकर 14 करता है।
    • $[23, 5, 12]$: ज्ञात न्यूनतम दूरी को 11 से बढ़ाकर 12 करता है।
    • $[24, 6, 12]$: ज्ञात न्यूनतम दूरी को 11 से बढ़ाकर 12 करता है।
    • $[25, 5, 14]$: ज्ञात न्यूनतम दूरी को 13 से बढ़ाकर 14 करता है।
  • चतुर्धात हर्मिटियन (Quaternary Hermitian) LCD कोड:
    • $[21, 10, 8]$: ज्ञात न्यूनतम दूरी को 7 से बढ़ाकर 8 करता है।

लेखक उल्लेख करते हैं कि नए पैरामीटर्स $[23, 4, 14]$ और $[23, 5, 12]$ के लिए, उन्होंने क्रमशः 226 और 38 असमतुल्य (inequivalent) कोड पाए। ये कोड दूरी-इष्टतम हैं और BKLC (बेस्ट नोन लीनियर कोड्स) डेटाबेस में मौजूद कोडों के असमतुल्य हैं।

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

सीमाएं और भविष्य की दिशाएं
लेखक अपने दृष्टिकोण की एक सीमा को स्वीकार करते हैं: चूंकि संलग्न (appended) व्युत्क्रमणीय और मनमाने मैट्रिक्स के लिए खोज स्थान (search space) अत्यधिक बड़ा है, इसलिए यह गारंटी देना कठिन है कि वह विशिष्ट एम्बेडिंग मिलेगी जो दिए गए कोड के लिए पूर्णतः अधिकतम न्यूनतम दूरी प्रदान करती है। वे सुझाव देते हैं कि भविष्य के शोध को यह विकसित करने पर ध्यान केंद्रित करना चाहिए कि क्या संलग्न मैट्रिसेस को परिणामी न्यूनतम दूरी को अधिकतम करने के लिए अधिक रणनीतिक रूप से चुना जा सकता है या यह निर्धारित किया जा सकता है कि क्या खोज स्थान को कम करने के लिए उन्हें तुल्यता (equivalence) तक और अधिक प्रतिबंधित किया जा सकता है।