🔢 mathematics

List-Decoding Counterexamples Yield Lower Bounds on Mutual Correlated Agreement Error

यह शोध पत्र प्रदर्शित करता है कि लिस्ट-डिकोडेबिलिटी (list-decodability) के स्पष्ट प्रति-उदाहरणों को प्रमाणिक रूप से उच्च पारस्परिक सह-संबद्ध सहमति त्रुटि (mutual correlated agreement error) वाले कोड में रचनात्मक रूप से रूपांतरित किया जा सकता है, जिससे बीजगणितीय-ज्यामिति (algebraic-geometry) और रीड-सोलोमन (Reed-Solomon) कोड के लिए इस विशिष्ट त्रुटि मीट्रिक पर निचली सीमाओं (lower bounds) के बीच एक सीधा संबंध स्थापित होता है।

मूल लेखक: Yiwen Gao, Hong Yang, Yang Xu, Haibin Kan

प्रकाशित 2026-07-14

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

CC BY 4.0

मूल लेखक: Yiwen Gao, Hong Yang, Yang Xu, Haibin Kan

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

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

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

यह शोध पत्र, जिसे यीवेन गाओ, होंग यांग, यांग ज़ू और हाईबिन कानन ने लिखा है, इस समस्या के एक विशिष्ट, उच्च-दांव वाले संस्करण पर काम करता है। वे एक सुरक्षा परीक्षण की जांच कर रहे हैं जिसे म्युचुअल कोरिलेटेड एग्रीमेंट (Mutual Correlated Agreement) कहा जाता है। इस परीक्षण को ऐसे समझें कि यह कैसे जाँच करता है कि क्या बिखरे हुए संदेशों का एक पूरा समूह, जब उन्हें यादृच्छिक रूप से (जैसे पाँच स्मूदी को एक में मिलाने की तरह) मिलाया जाता है, तो भी एक वैध जासूसी पैटर्न की तरह दिखेगा।

बड़ी खोज: "खराब मिश्रण" की रेसिपी

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

वे इस जादू को एक रसोई के उदाहरण के माध्यम से समझाते हैं:

सेटअप: आपके पास अलग-अलग "वैध" रेसिपी (कोडवर्ड्स) की एक सूची है जो सभी एक अजीब, बिखरे हुए व्यंजन (प्राप्त शब्द) के आश्चर्यजनक रूप से समान स्वाद वाले हैं।
विस्तार (Extension): लेखक मूल कोड लेते हैं और प्रत्येक रेसिपी में एक अतिरिक्त "सामग्री" (एक कोऑर्डिनेट) जोड़ते हैं। वे दो विशेष व्यंजन बनाते हैं, $\pi_0$ $π_{0}$ और $\pi_1$ $π_{1}$ ।
- $\pi_0$ मूल बिखरा हुआ व्यंजन है, लेकिन इसके अंत में एक शून्य जोड़ा गया है।
- $\pi_1$ एक ऐसा व्यंजन है जो पूरी तरह से शून्य है, सिवाय इसके कि इसके अंत में एक "1" है।
मिश्रण: अब, कल्पना करें कि इन दो व्यंजनों को एक गुप्त मसाला मात्रा $\alpha$ $α$ के साथ मिलाना। नया व्यंजन $\pi_0 + \alpha \cdot \pi_1$ $π_{0} + α \cdot π_{1}$ है।
- मूल भाग पर, यह अभी भी बिखरे हुए शब्द की तरह दिखता है।
- अंत में, इसका स्वाद बिल्कुल मसाला मात्रा $\alpha$ जैसा है।
जाल (The Trap): क्योंकि मूल बिखरा हुआ शब्द $L+1$ अलग-अलग वैध रेसिपी के करीब था, इसलिए $L+1$ विशिष्ट मसाला मात्रा ( $\alpha$ मान) ऐसी होंगी जो मिश्रित व्यंजन को एक वैध रेसिपी (नए घटक सहित) की तरह बिल्कुल सटीक दिखाएंगी।
ग्लिच (The Glitch): हालाँकि, $\pi_0$ और $\pi_1$ स्वयं इस नए, बड़े सामग्री सेट पर कोड के साथ कोई सामान्य पैटर्न साझा नहीं करते हैं। इसका मतलब है कि मिश्रण प्रक्रिया ने एक "नकली" सहमति बनाई है जो मौजूद नहीं होनी चाहिए थी।

पेपर सिद्ध करता है कि यदि आपके पास $L+1$ पास के कोडवर्ड्स हैं, तो आप इन "बुरे मसाला मात्राओं" (बुरे संयोजन बिंदुओं) की कम से कम एक निश्चित संख्या पा सकते हैं। विशेष रूप से, बुरे बिंदुओं की संख्या कम से कम है:
$\left\lceil \frac{(L+1)q}{q+L} \right\rceil$
जहाँ $q$ "फ्लेवर पैलेट" (परिमित क्षेत्र/finite field) का आकार है।

"पंक्चर एंड अपेंड" (Puncture and Append) का जादू

एक समस्या है। उस अतिरिक्त सामग्री को जोड़ने से व्यंजन बड़ा हो गया (कोड की लंबाई बढ़ गई)। लेकिन वास्तविक दुनिया में, आप केवल संदेश का आकार नहीं बदल सकते; इसे समान लंबाई का रहना चाहिए।

लेखक एक चतुर "पंक्चर एंड अपेंड" युक्ति अपनाते हैं:

पंक्चर (Puncture): वे मूल कोड लेते हैं और एक ऐसी सामग्री (कोऑर्डिनेट) हटा देते है जो कोड की संरचना को नहीं तोड़ती। इससे कोड थोड़ा छोटा हो जाता है।
अपेंड (Append): वे पहले से मिले हुए नए "बुरे" घटक को जोड़ते हैं।
परिणाम: कोड वापस अपने मूल आकार में आ जाता है!

पेपर दिखाता है कि यह नया कोड, $C'$ , पुराने कोड के लगभग समान है। यह थोड़ा सा "सुरक्षा मार्जिन" खो सकता है (न्यूनतम दूरी अधिकतम $1/n$ तक घटती है), लेकिन यह गारंटी के साथ म्युचुअल कोरिलेटेड एग्रीमेंट टेस्ट के लिए उच्च त्रुटि दर रखता है। वास्तव में, त्रुटि की संभावना कम से कम है:
$\frac{1}{q} \left\lceil \frac{(L+1)q}{q+L} \right\rceil$

आकार बनाए रखना: संरचना-संरक्षण कोड (Structure-Preserving Codes)

लेखक वहीं नहीं रुके। वे जानते थे कि वास्तविक जीवन में कोड अक्सर विशेष आकार के होते हैं, जैसे कि रीड-सोलोमन कोड (Reed-Solomon codes) (CDs और QR कोड में उपयोग किए जाते हैं) या एल्जेब्रिक-जियोमेट्री (AG) कोड। ये कोड केवल संख्याओं की यादृच्छिक सूचियाँ नहीं हैं; इन्हें विशिष्ट गणितीय मानचित्रों (जैसे विशिष्ट बिंदुओं पर बहुपदों का मूल्यांकन करना) का उपयोग करके बनाया जाता है।

पेपर तर्क देता है कि आप इन विशेष कोडों में कोई भी यादृच्छिक सामग्री नहीं डाल सकते; इसे रेसिपी में फिट होना चाहिए। लेखक दिखाते हैं कि आप कोड की विशेष संरचना को बरकरार रखते हुए भी "पंक्चर एंड अपेंड" की युक्ति का उपयोग कर सकते हैं।

रीड-सोलोमन कोड के लिए, आप बस एक मूल्यांकन बिंदु को दूसरे से बदल देते हैं।
AG कोड के लिए, आप एक "स्थान" (एक ज्यामितीय आकार पर एक बिंदु) को दूसरे स्थान से बदल देते हैं।

वे सिद्ध करते हैं कि भले ही इन सख्त नियमों के साथ काम करना हो, यदि मूल कोड में लिस्ट-डिकोडिंग काउंटरएग्ज़ाम्पल था, तो आप उसी परिवार के भीतर एक नया कोड बना सकते हैं जो गारंटीकृत त्रुटि दर के साथ म्युचुअल कोरलैटेड एग्रीमेंट टेस्ट में विफल हो जाता है।

यह पेपर क्या नहीं कहता

यह जानना महत्वपूर्ण है कि यह पेपर क्या नहीं कर रहा है:

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

वे कितने आश्वस्त हैं?

लेखक अत्यधिक आश्वस्त हैं। वे केवल अनुमान नहीं लगाते या कंप्यूटर पर सिमुलेशन नहीं करते हैं। वे एक रचनात्मक प्रमाण (constructive proof) प्रदान करते हैं। इसका अर्थ है कि उन्होंने केवल यह नहीं कहा कि "यह संभव है"; उन्होंने नया कोड और वे विशिष्ट शब्द बनाने के लिए एक चरण-दर-चरण रेसिपी (एल्गोरिदम) दी है जो सिद्ध करते हैं कि त्रुटि मौजूद है।

वे स्पष्ट रूप से कहते हैं कि दिए गए प्राप्त शब्द और $L+1$ पास के कोडवर्ड्स के साथ, निर्माण स्पष्ट रूप से (explicitly produces) नया कोड और गवाह शब्द बनाता है। यह एक कठिन गणितीय तथ्य है, न कि केवल एक सुझाव।

जिज्ञासु किशोरों के लिए निष्कर्ष

इस पेपर को "एक विशिष्ट प्रकार के सुरक्षा परीक्षण को एक खामी का उपयोग करके कैसे तोड़ें" के मास्टरक्लास के रूप में देखें।

खामी (Loophole): यदि एक संदेश बहुत से वैध कोड के करीब है ( $L+1$ ), तो सिस्टम पहले से ही मुसीबत में है।
तोड़ना (The Break): लेखक दिखाते हैं कि आप दो अन्य संदेशों को मिलाकर एक "नकली" वैध संदेश बनाने के लिए उस मुसीबत का उपयोग कर सकते हैं।
परिणाम: आप सिद्ध कर सकते हैं कि इस मिश्रण परीक्षण के लिए त्रुटि दर $q$ के $1/q$ गुना एक विशिष्ट संख्या है।

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

रीड-सोलोमन कोड (जो आपके QR कोड में होते हैं) के लिए, त्रुटि निचली सीमा (error lower bound) बन जाती है:
$\frac{1}{q} \left\lceil \frac{(L+1)q}{q+L(k-1)} \right\rceil$
जहाँ $k$ कोड का आयाम (dimension) है।

पेपर निष्कर्ष निकालता है कि "लिस्ट-डिकोडेबिलिटी" और "म्युचुअल कोरिलेटेड एग्रीमेंट" के बीच का संबंध गहरा है: यदि एक विफल होता है, तो दूसरा भी विफल होगा, और यहाँ इसे सिद्ध करने के लिए सटीक गणित दिया गया है।

तकनीकी सारांश: लिस्ट-डिकोडिंग काउंटरएग्जांपलल (Counterexamples) म्यूटुअल कोरिलेटेड एग्रीमेंट एरर पर लोअर बाउंड्स प्रदान करते हैं

1. समस्या विवरण (Problem Statement)

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

विशेष रूप से, MCA इस बात की जांच करता है कि क्या प्राप्त शब्दों का एक रैंडम लीनियर कॉम्बिनेशन, मूल शब्दों की कोरिलेटेड एग्रीमेंट संरचना द्वारा स्पष्ट न होने के बावजूद, एक बड़े एग्रीमेंट डोमेन को स्पुरियसली (spuriously) बना सकता है। विभिन्न कोड परिवारों के लिए कुछ सीमाओं तक सकारात्मक परिणाम (proximity gaps) मौजूद हैं, लेकिन सीमाओं को समझना आवश्यक है: विशेष रूप से, यह त्रुटि की संभावना (एक "बुरे" कॉम्बाइनिंग पॉइंट की संभावना) कितनी बड़ी हो सकती है जब कोई कोड लिस्ट-डिकोडेबल (list-decodable) होने में विफल रहता है।

मुख्य समस्या लिस्ट-डिकोडिंग काउंटरएग्जांपल (प्राप्त शब्द जिनमें एक निश्चित दूरी के भीतर $L$ से अधिक कोडवर्ड्स होते हैं) और MCA एरर पर लोअर बाउंड्स के बीच एक रचनात्मक संबंध स्थापित करना है। पिछले कार्यों ने लिस्ट डिकोडेबिलिटी और कोरिलेटेड एग्रीमेंट के बीच संबंध दिखाया है, लेकिन यह शोध पत्र एक सामान्य, रचनात्मक विधि प्रदान करने का लक्ष्य रखता है जिससे कोड परिवार के संरचनात्मक गुणों को सुरक्षित रखते हुए MCA एरर पर स्पष्ट लोअर बाउंड्स प्राप्त किए जा सकें।

2. कार्यप्रणाली (Methodology)

लेखक एक "पंक्चर-एंड-अप्पेंड" (puncture-and-append) तकनीक पर केंद्रित एक रचनात्मक दृष्टिकोण का उपयोग करते हैं। कार्यप्रणाली तीन तार्किक चरणों में आगे बढ़ती है:

आउट-ऑफ-डोमेन एक्सटेंशन (Out-of-Domain Extension):
एक लीनियर कोड $C$ से शुरू करते हुए जो $(p, L)$ -लिस्ट-डिकोडेबल नहीं है, लेखक एक प्राप्त शब्द $y$ और $L+1$ विशिष्ट कोडवर्ड $c_1, \dots, c_{L+1}$ की पहचान करते हैं जो दूरी $p$ के भीतर हैं। वे एक नया कोऑर्डिनेट जोड़कर लंबाई $n+1$ का एक विस्तारित कोड $C'$ निर्मित करते हैं।
- विस्तारित डोमेन पर दो शब्द, $\pi_0$ और $\pi_1$ परिभाषित किए गए हैं। $\pi_0$ मूल प्राप्त शब्द $y$ (एक शून्य के साथ) को वहन करता है, जबकि $\pi_1$ मूल डोमेन पर शून्य और नए कोऑर्डिनेट पर 1 है।
- लेखक एक लीनियर-अल्जेब्रिक कोलिजन बाउंड (लेम्मा 1) का उपयोग करके एक वेक्टर $a$ (जो जनरेटर मैट्रिक्स के अपेंड किए गए कॉलम को परिभाषित करता है) का चयन करते हैं, ताकि $m_i \cdot a^T$ के मान (जहाँ $m_i$ पास के कोडवर्ड्स के मैसेज वेक्टर्स हैं) में बड़ी संख्या में विशिष्ट मान हों।
- प्रत्येक विशिष्ट मान एक "बुरे कॉम्बाइनिंग पॉइंट" $\alpha$ के अनुरूप होता है जहाँ लीनियर कॉम्बिनेशन $\pi_0 + \alpha \pi_1$ एक विस्तारित कोडवर्ड के साथ एक बड़े सेट पर सहमत होता है, फिर भी मूल जोड़ी के साथ कोरिलेटेड एग्रीमेंट नहीं रखता है।
पंक्चर-एंड-अप्पेंड (लंबाई संरक्षण - Length Preservation):
यह सुनिश्चित करने के लिए कि परिणामी कोड का ब्लॉक लेंथ मूल कोड की तरह $n$ ही रहे, लेखक नए एक कोऑर्डिनेट को जोड़ने से पहले मूल कोड से एक कोऑर्डिनेट को पंक्चर (निकाल) देते हैं।
- वे सिद्ध करते हैं कि यदि मूल कोड $(p, L)$ -लिस्ट-डिकोडेबल नहीं है, तो एक ऐसा कोऑर्डिनेट मौजूद है जिसे हटाने से डायमेंशन और गैर-लिस्ट-डिकोडेबिलिटी गुण (सापेक्ष दूरी पैरामीटर में मामूली समायोजन के साथ) सुरक्षित रहते हैं।
- "एक पंक्चर करें, एक जोड़ें" (puncture one, append one) की प्रक्रिया से एक कोड $C'$ प्राप्त होता है जिसकी लंबाई $n$ होती है और जो विस्तार चरण से प्राप्त बड़े 'बुरे कॉम्बाइनिंग पॉइंट्स' के सेट को बनाए रखता है।
स्ट्रक्चर-प्रिजर्विंग जनरलाइजेशन (Structure-Preserving Generalization):
विशिष्ट कोड परिवारों (जैसे रीड-सोलोमन या अल्जेब्रिक-जियोमेट्री कोड्स) पर इसे लागू करने के लिए, लेखक इसे इंडेक्स्ड कोड फैमिली के रूप में सामान्यीकृत करते हैं।
- अपेंड किए गए कॉलम के लिए एक मनमाना वेक्टर चुनने के बजाय, वे एक मैप $v: \Omega \to \mathbb{F}_q^k$ के माध्यम से एक परिमित सेट $\Omega$ से एक इंडेक्स चुनते हैं।
- वे इंडेक्स सेट पर एक कोलिजन बाउंड $\lambda$ पेश करते हैं, जो यह सुनिश्चित करता है कि विशिष्ट मैसेज उपलब्ध इंडेक्स पर बहुत अधिक बार कोलिजन (टकराव) न करें। यह अनुमति देता है कि निर्माण उसी कोड परिवार के भीतर रहे (उदाहरण के लिए, केवल एक मूल्यांकन बिंदु बदलकर) जबकि MCA एरर पर लोअर बाउंड को सुरक्षित रखा जाए।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

थ्योरम 1 (सामान्य लीनियर कोड्स):
शोध पत्र स्थापित करता है कि यदि $k$ डायमेंशन और $n$ लंबाई का एक लीनियर कोड $C$ $(p, L)$ -लिस्ट-डिकोडेबल नहीं है (जहाँ $p < \Delta(C) - 1/n$ ), तो उसी लंबाई और डायमेंशन का एक संबंधित कोड $C'$ मौजूद है कि:
$\text{err}_{\text{MCA}}(C', p) \geq \frac{1}{q} \left\lceil \frac{(L+1)q}{q+L} \right\rceil$
इसके अलावा, $C'$ का सापेक्ष न्यूनतम अंतर (relative minimum distance) $\Delta(C') \geq \Delta(C) - 1/n$ है। यदि $C$ के न्यूनतम-वेट कोडवर्ड्स सभी कोऑर्डिनेट्स को कवर नहीं करते हैं, तो दूरी को सटीक रूप से संरक्षित किया जा सकता है ( $\Delta(C') \geq \Delta(C)$ )। यह निर्माण स्पष्ट (explicit) है, जो कोड $C'$ और एरर को प्रमाणित करने वाले शब्दों के जोड़े दोनों का उत्पादन करता है।

थ्योरम 2 (स्ट्रक्चर-प्रिजर्विंग वर्जन):
एक कॉलम मैप $v$ के साथ $\Omega$ द्वारा इंडेक्स्ड कोड परिवारों के लिए, एक कोलिजन बाउंड $\lambda$ (जहाँ किसी भी गैर-शून्य वेक्टर $u$ के अधिकतम $\lambda$ इंडेक्स $\omega$ ऐसे होते हैं कि $u \cdot v(\omega)^T = 0$ ) को मानते हुए, निर्माण एक ही परिवार के भीतर एक कोड $C'$ प्रदान करता है।

$C'$ , $C$ से केवल एक कोऑर्डिनेट इंडेक्स में भिन्न है।
MCA एरर का लोअर बाउंड बनता है:
$\text{err}_{\text{MCA}}(C', p) \geq \frac{1}{q} \left\lceil \frac{(L+1)N}{N+L\lambda} \right\rceil$
जहाँ $N = |\Omega|$ है।

विशिष्ट कोड परिवारों के लिए कोरोलरी (Corollaries for Specific Code Families):

अल्जेब्रिक-जियोमेट्री (AG) कोड्स: $\Omega$ को रेशनल प्लेसेस (rational places) के रूप में और $\lambda = \deg(G)$ के रूप में सेट करके, लेखक दिखाते हैं कि यदि एक AG कोड लिस्ट-डिकोडेबल नहीं है, तो एक स्थान को बदलकर मूल्यांकन डिविसर (evaluation divisor) $D$ को संशोधित करके एक निर्दिष्ट MCA एरर लोअर बाउंड वाला कोड प्राप्त किया जा सकता है। परिणामी कोड उसी फंक्शन फील्ड और रीमैन-रॉक स्पेस पर बना रहता है।
रीड-सोलोमन (RS) कोड्स: एक स्पेशलाइजेशन के रूप में जहाँ $\Omega = \mathbb{F}_q$ और $\lambda = k-1$ (पॉलीनोमियल डिग्री) है, परिणाम $\frac{1}{q} \lceil \frac{(L+1)q}{q+L(k-1)} \rceil$ का एरर लोअर बाउंड देता है। यह पुष्टि करता है कि RS कोड्स में लिस्ट-डिकोडिंग विफलता सीधे महत्वपूर्ण MCA एरर की ओर ले जाती है।

4. महत्व और दावे (Significance and Claims)

यह शोध पत्र दावा करता है कि यह लिस्ट-डिकोडिंग काउंटरएग्जांपल को म्यूटुअल कोरिलेटेड एग्रीमेंट एरर के लोअर बाउंड्स में अनुवादित करने के लिए एक रचनात्मक (constructive) और सामान्य (general) विधि प्रदान करता है।

पूर्व कार्य के विपरीत: लेखक नोट करते हैं कि पिछले कार्यों (जैसे बेन-ससोन एट अल., क्राइट्स और स्टीवर्ट) ने $X-\beta$ द्वारा विभाजन जैसे विशिष्ट ऑपरेशन्स का उपयोग करके रीड-सोलोमन कोड्स के लिए समान लोअर बाउंड्स निकाले थे, जो स्वाभाविक रूप से कोड की डिग्री को बदल देते थे ( $k$ से $k+1$ तक)। इसके विपरीत, यह शोध पत्र का निर्माण कोड डायमेंशन और ब्लॉक लेंथ को संरक्षित करता है और डिग्री शिफ्ट की आवश्यकता के बिना किसी भी लीनियर कोड पर लागू होता है।
संरचनात्मक अखंडता (Structural Integrity): एक महत्वपूर्ण योगदान कोड के संरचनात्मक परिवार (जैसे एक AG कोड को उसी स्पेस पर AG कोड रखना) को बनाए रखने की क्षमता है, जबकि केवल एक सिंगल कोऑर्डिनेट को संशोधित किया जाता है। यह उन अनुप्रयोगों के लिए महत्वपूर्ण है जहाँ कोड परिवार अंतर्निहित बीजगणितीय संरचना द्वारा निर्धारित होता है।
सुदृढ़ता निहितार्थ (Soundness Implications): लिस्ट-डिकोडिंग विफलताओं से उच्च MCA एरर वाले कोड्स का स्पष्ट रूप से निर्माण करके, यह शोध पत्र बैच प्रोक्सिमिटी टेस्टिंग में सुदृढ़ता (soundness) की सीमाओं को मापता है। यह प्रदर्शित करता है कि यदि कोई कोड लिस्ट-डिकोडेबल नहीं है, तो आप यह गारंटी नहीं दे सकते कि रैंडम लीनियर कॉम्बिनेशन उच्च प्रायिकता के साथ कोड से दूर रहेंगे; विशेष रूप से, एरर की संभावना व्युत्पन्न सूत्र द्वारा नीचे की ओर सीमित है।

यह कार्य नए प्रयोगात्मक प्रोटोकॉल या AG और RS कोड्स के लिए भविष्य के अनुप्रयोगों के परे कोई नया प्रस्ताव नहीं देता है। इसका प्राथमिक योगदान सैद्धांतिक है: लिस्ट-डिकोडिंग गुणों और म्यूटुअल कोरिलेटेड एग्रीमेंट एरर बाउंड्स के बीच एक कठोर, रचनात्मक सेतु स्थापित करना।