Projective systems and bounds on the length of codes of non-zero defect

तकनीकी सारांश: प्रक्षेपिक प्रणाली और गैर-शून्य दोष वाले कोड की लंबाई पर सीमाएँ

समस्या विवरण
यह शोध पत्र कोडिंग सिद्धांत की एक मौलिक समस्या को संबोधित करता है: एक निश्चित सिंटलेटन दोष (Singleton defect) $s = n - k + 1 - d > 0$ वाले रैखिक $[n, k, d]_q$ कोड की अधिकतम लंबाई, जिसे $n$ द्वारा दर्शाया गया है, का निर्धारण करना। जबकि शून्य दोष ($s=0$, मैक्सिमम डिस्टेंस सेपरेबल या MDS कोड) का मामला "MDS कोड पर मुख्य अनुमान" के तहत अच्छी तरह से अध्ययन किया गया है, गैर-शून्य दोष (Almost-MDS या AMDS, और सामान्यतः $A^s$MDS कोड) वाले कोडों के लिए सीमाएँ कम एकीकृत हैं। विशेष रूप से, लेखक $m_s(k, q)$ (एक गैर-अपभ्रष्ट $A^s$MDS कोड की अधिकतम लंबाई) और $m_s^t(k, q)$ (अधिकतम लंबाई जहाँ द्वैत कोड (dual code) अतिरिक्त रूप से $A^t$MDS है) के मापदंडों की जांच करते हैं। साहित्य में पहचाना गया एक केंद्रीय अंतराल यह है कि किन स्थितियों में एक $A^s$MDS कोड अनिवार्य रूप से एक $A^s$MDS कोड का द्वैत होता है (अर्थात, एक $N^s$MDS कोड), विशेष रूप से पर्याप्त लंबाई वाले कोडों के लिए।

कार्यप्रणाली
लेखक त्सफास्मन और व्लाडुट द्वारा समर्थित प्रक्षेपिक प्रणालियों (projective systems) के ढांचे को अपनाते हैं, जो रैखिक कोडों को $PG(k-1, q)$ में बिंदुओं के परिमित मल्टीसेट्स (multisets) के रूप में निरूपित करते हैं। यह ज्यामितीय परिप्रेक्ष्य कोडिंग सिद्धांत के मापदंडों को बिंदुओं, आर्क (arcs) और फ्लैट्स (flats) के गुणों में अनुवादित करने की अनुमति देता है।

• ज्यामितीय अनुवाद: एक $[n, k, d]_q$ कोड को $PG(k-1, q)$में$n$बिंदुओं के एक मल्टीसेट$G$के रूप में देखा जाता है, ताकि कोई भी हाइपरप्लेन$n-d$से अधिक बिंदुओं को न समेटे। सिंटलेटन दोष$s$, हाइपरप्लेन में अधिकतम बिंदुओं की संख्या$k+s-1$ के अनुरूप है।
• कोशिएंट ज्योमेट्री (शॉर्टनिंग): शोध पत्र कोड शॉर्टनिंग के एक ज्यामितीय रूप का उपयोग करता है। एक फ्लैट $\Lambda$ द्वारा परिवेशी स्थान $PG(k-1, q)$ का भागफल (quotient) लेकर, लेखक निम्न-आयामी कोड के गुणों के आधार पर मूल कोड की लंबाई के लिए सीमाएँ प्राप्त करते हैं। इस तकनीक का उपयोग आयाम को क्रमबद्ध रूप से कम करने और विभिन्न $k$ के बीच सीमाओं को संबंधित करने के लिए किया जाता है।
• संयोजन गणना (Combinatorial Counting): लेखक हाइपरप्लेन और फ्लैट्स के पेंसिल (pencils) से संबंधित गणना तर्क लागू करते हैं ताकि पूर्णांक शर्तों (द्विपद गुणांकों के माध्यम से) को प्राप्त किया जा सके जिन्हें लंबाई-अधिकतम कोडों द्वारा संतुष्ट किया जाना चाहिए।

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

1. कोड की लंबाई पर एकीकृत सीमाएँ:
   लेखक $m_s(k, q)$ और $m_s^t(k, q)$ के लिए सीमाओं की एक श्रृंखला व्युत्पन्न करते हैं जो मौजूदा परिणामों (जैसे, डी बोअर, डोडुनेकोव, लैंडजेव, और फाल्डम एवं विलेम्स द्वारा) को समाहित करती हैं या उनमें सुधार करती हैं।

• सामान्य सीमा: $k \ge 3$ के लिए, $m_s(k, q) \le (s+1)(q+1) + k - 2$।
• परिमित सीमाएँ: विशिष्ट स्थितियों के तहत (जैसे, $0 < s < q-2$ और $(s+2, q) \neq (2^e, 2^h)$), सीमा को कड़ा करके $m_s(k, q) \le (s+1)(q+1) + k - 4$ किया गया है।
• द्वैत कोड बाधाएँ: लेखक स्थापित करते हैं कि यदि किसी कोड की लंबाई पर्याप्त है ($n > s(q+1) + k - 1$), तो उसका द्वैत अनिवार्य रूप से एक AMDS कोड होगा ($t=1$)। यह पिछले साहित्य के उस अंतराल को संबोधित करता है जहाँ $N^s$MDS कोडों के लिए पर्याप्त स्थितियाँ शून्य (vacuous) थीं।

2. प्रक्षेपिकता और संरचना:
   शोध पत्र उन पर्याप्त स्थितियों को प्रदान करता है जिनके तहत लंबे कोड प्रोजेक्टिव (अर्थात, कोई दोहराए गए निर्देशांक नहीं) होते हैं।

• यदि $n > s(q+1) + k - 1$, तो कोड प्रोजेक्टिव है।
• यदि $n$ कुछ थ्रेशोल्ड से अधिक है, तो उसे ग्रीस्मर बाउंड (Griesmer bound) को पूरा करना चाहिए।
• यह दिखाया गया है कि $k \ge 3$ के लिए, पर्याप्त लंबाई वाले कोड अनिवार्य रूप से प्रोजेक्टिव और एक AMDS कोड के द्वैत होते हैं।

3. उच्च आयामों के लिए लंबाई-अधिकतम कोडों का गैर-अस्तित्व:
   लेखक पैरामीटर $\kappa(s, q)$ की जांच करते हैं, जिसे उस अधिकतम आयाम $k$ के रूप में परिभाषित किया गया है जिसके लिए एक लंबाई-अधिकतम $A^s$MDS कोड मौजूद है।

• वे विभिन्न $s$ और $q$ के लिए $\kappa(s, q)$ के स्पष्ट मान और सीमाएँ प्रदान करते हैं (तालिका 2 और 3 में सारांशित)।
• अनुमान (Conjectures): कम्प्यूटेशनल साक्ष्य और सैद्धांतिक सीमाओं के आधार पर, लेखक दो अनुमान प्रस्तावित करते हैं:
  • कमजोर अनुमान (Weak Conjecture): $q > 3$ के लिए, आयाम $k \ge 5$ वाले रैखिक लंबाई-अधिकतम कोड अस्तित्व में नहीं हैं ($\kappa(s, q) \le 4$)।
  • मजबूत अनुमान (Strong Conjecture): $q > 3$ के लिए, $q$ की समता (parity) और $s+2$ की $q$ से विभाज्यता के आधार पर $\kappa(s, q)$ सटीक रूप से 2, 3, या 4 है। विशेष रूप से, आयाम 5 या उससे उच्च वाले लंबाई-अधिकतम कोड अस्तित्व में नहीं हैं।

4. $N^s$MDS कोडों के लिए स्थितियाँ:
   शोध पत्र $n$ और $k$ पर उन पर्याप्त स्थितियों को स्थापित करता है जिनके तहत एक $A^s$MDS कोड अनिवार्य रूप से $N^s$MDS (द्वैत भी $A^s$MDS) होता है। विशेष रूप से, यदि $1 < s < q-1$, $k > (s-1)(q+1)-1$, और $n > s(q+1) + k - 3$, तो कोड $N^s$MDS है।

महत्व और दावे
लेखक दावा करते हैं कि उनका ज्यामितीय दृष्टिकोण मौजूदा परिणामों की एक श्रेणी को एकीकृत और विस्तारित करता है, जो अक्सर पिछले साहित्य से बेहतर सीमाएँ प्रदान करता है। प्राथमिक महत्व निम्नलिखित में निहित है:

• एकीकरण: यह प्रदर्शित करना कि प्रक्षेपिक प्रणाली ढांचा गैर-शून्य दोष वाले कोडों को प्रभावी ढंग से संभालता है, ठीक वैसे ही जैसे यह MDS कोडों को संभालता है।
• संरचनात्मक अंतर्दृष्टि: यह दिखाना कि गैर-शून्य दोष वाले "लंबे" कोड संरचनात्मक रूप से बाधित होते हैं: उन्हें प्रोजेक्टिव होना चाहिए, ग्रीस्मर बाउंड को पूरा करना चाहिए, और उनके पास AMDS द्वैत होना चाहिए।
• अंतराल भरना: $N^s$MDS के लिए गैर-शून्य (non-vacuous) पर्याप्त स्थितियाँ प्रदान करना, जो टोंग और लियाओ एवं लियाओ के कार्यों की एक सीमा को सुधारता है।
• अनुमानित सीमाएँ: यह प्रस्तावित करना कि लंबाई-अधिकतम कोडों का परिदृश्य $q > 3$ के लिए परिमित और छोटे आयाम में है, जो यह सुझाव देता है कि ऐसे कोडों की खोज प्रभावी रूप से $k \le 4$ आयामों तक सीमित है।

शोध पत्र यह नोट करते हुए समाप्त होता है कि $k > 4$ आयामों में ज्ञात रैखिक लंबाई-अधिकतम कोडों के एकमात्र उदाहरण परफेक्ट टेनरी गोले कोड ($[11, 5, 6]_3$) का द्वैत और विस्तारित टेनरी गोले कोड ($[12, 6, 6]_3$) हैं, जो इस अनुमान का समर्थन करते हैं कि $q > 3$ के लिए अन्य कोई नहीं हैं।