💻 computer science

On Binary Codes That Are Maximal Totally Isotropic Subspaces with Respect to an Alternating Form

यह शोध पत्र 24 तक की लंबाई के लिए अधिकतम पूर्णतः समदैशिक (maximal totally isotropic) कोड्स का अध्ययन और वर्गीकरण करने के लिए बाइनरी वेक्टर स्पेस पर एक एकांतर रूप (alternating form) प्रस्तुत करता है, साथ ही एक मैकविल्स-प्रकार (MacWilliams-type) की पहचान स्थापित करता है और उनके भार गणनकर्ताओं (weight enumerators) पर प्रतिबंध प्राप्त करता है।

मूल लेखक: Patrick King, Mikhail Kotchetov

प्रकाशित 2026-05-12

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

CC BY 4.0

मूल लेखक: Patrick King, Mikhail Kotchetov

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

कल्पना कीजिए कि आप एक विशाल पार्टी आयोजित कर रहे हैं जहाँ प्रत्येक अतिथि को लाइट स्विच (ऑन या ऑफ) की एक स्ट्रिंग द्वारा दर्शाया गया है। कंप्यूटर विज्ञान की दुनिया में, इन स्ट्रिंग्स को बाइनरी कोड (binary codes) कहा जाता है। आमतौर पर, जब हम यह जांचना चाहते हैं कि क्या दो अतिथि "तालमेल बिठाते हैं" (गणितीय रूप से, यदि वे ऑर्थोगोनल यानी लंबवत हैं), तो हम एक मानक नियम का उपयोग करते हैं: हम उनके स्विचों को आपस में गुणा करते हैं और उन्हें जोड़ देते हैं। यदि कुल योग शून्य है, तो उन्हें एक आदर्श जोड़ी माना जाता है।

दशकों से, गणितज्ञों ने ऐसे अतिथियों के समूह खोजने के प्रति जुनून बनाए रखा है जो एक-दूसरे के साथ पूर्णतः आदर्श जोड़े हैं। इन विशेष समूहों को सेल्फ-डुअल कोड (self-dual codes) कहा जाता है। ये एक ऐसे क्लब की तरह हैं जहाँ हर कोई एक-दूसरे के साथ पूरी तरह फिट बैठता है और यह क्लब इतना संतुलित है कि यह अपने स्वयं के "परछाई" (गणितीय रूप से इसका डुअल) के बराबर होता है।

नया मोड़: तालमेल बिठाने का एक अलग तरीका

इस शोध पत्र में, लेखक पैट्रिक किंग और मिखाइल कोचेटोव एक सरल प्रश्न पूछते हैं: क्या होगा यदि हम तालमेल बिठाने के नियमों को बदल दें?

मानक नियम के बजाय, वे एक नया, थोड़ा विचित्र नियम पेश करते हैं जिसे अल्टरनेटिंग फॉर्म (alternating form) कहा जाता है। इस नए नियम के तहत, एक अतिथि हमेशा स्वयं के साथ "संगत" माना जाता है (गणितीय रूप से, मान हमेशा शून्य होता है)। यह एक अलग प्रकार का गणितीय परिदृश्य बनाता है।

लेखक उन अतिथियों के सबसे बड़े संभावित समूहों की तलाश कर रहे हैं जो इस नए नियम के तहत एक-दूसरे के साथ संगत हैं। वे इन समूहों को मैक्सिमल टोटली आइसोट्रोपिक सबस्पेस (maximal totally isotropic subspaces) कहते हैं। इसे एक ऐसे सबसे बड़े डांस फ्लोर को खोजने के रूप में सोचें जहाँ हर कोई नए, अजीब डांस स्टेप का उपयोग करके, बिना एक-दूसरे के पैरों पर पैर रखे, एक-दूसरे के साथ नाच सके।

बड़ी खोज: विषम बनाम सम लंबाई

यह शोध पत्र मेहमानों की संख्या (कोड की लंबाई) के आधार पर समस्या को दो परिदृश्यों में विभाजित करता है:

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

"जादुई सूत्र" (मैकमाविल पहचान - MacWilliams Identity)

कोडिंग की दुनिया में, एक प्रसिद्ध जादुई सूत्र (मैकमाविल पहचान) है जो आपको किसी समूह की "परछाई" के गुणों को केवल उस समूह को देखकर अनुमान लगाने में मदद करता है।

लेखकों ने पाया कि पुराना जादुई सूत्र उनके नए नियम के लिए काम नहीं करता है। हालाँकि, उन्होंने हार नहीं मानी। उन्होंने अपने नए अल्टरनेटिंग नियम के लिए विशेष रूप से एक नया जादुबला सूत्र बनाया। यह नया सूत्र उन्हें "परछाई" समूह के गुणों की गणना करने की अनुमति देता है, भले ही नियम बदल गए हों।

यह क्यों महत्वपूर्ण है (शोध पत्र के अनुसार)

लेखकों ने केवल इन समूहों को खोजा ही नहीं; उन्होंने उनका वर्गीकरण (classify) भी किया।

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

संक्षेप में

इस शोध पत्र को एक नए प्रकार के डांस फ्लोर के गाइडबुक के रूप में समझें। लेखकों ने:

डांस स्टेप्स बदले (इनर प्रोडक्ट)।
सबसे बड़े डांस सर्कल्स (मैक्सिमल आइसोट्रोपिक सबस्पेस) खोजे जो इन नए स्टेप्स के साथ काम करते हैं।
पाया कि इनमें से कुछ नए डांस सर्कल्स आश्चर्यजनक रूप से बेहतर डांसर (बेहतर एरर करेक्शन) हैं।
एक नया नियम पुस्तिका (नया मैकमाविल पहचान) लिखा ताकि यह अनुमान लगाया जा सके कि ये नए डांस सर्कल्स कैसे व्यवहार करते हैं।

उन्होंने (24 लोगों तक के) छोटे समूहों के लिए पूरे परिदृश्य का मानचित्र तैयार किया है, जिससे हमें पता चलता है कि इन पूर्ण गणितीय संरचनाओं को बनाने के कई और तरीके हैं जितना कि हमने पहले सोचा था।

तकनीकी सारांश: वैकल्पिक रूप (Alternating Form) के सापेक्ष अधिकतम पूर्णतः आइसोट्रोपिक उपसमष्टि (Maximal Totally Isotropic Subspaces) वाले बाइनरी कोड्स पर

समस्या विवरण
जबकि स्व-द्वैत बाइनरी रैखिक कोड (जहाँ एक कोड $K$ मानक डॉट उत्पाद के तहत अपने ऑर्थोगोनल पूरक $K^\perp$ के बराबर होता है) का अध्ययन लंबाई $n \le 40$ के लिए व्यापक रूप से किया गया है, उन रैखिक कोडों के संबंध में शोध की कमी है जो तब अपने ऑर्थोगनल पूरक के साथ मेल खाते हैं जब अंतर्निहित आंतरिक उत्पाद (inner product) मानक डॉट उत्पाद नहीं होता है। यह शोध पत्र उन बाइनरी रैखिक कोडों के वर्गीकरण और संरचनात्मक गुणों को संबोधित करता है जो $\mathbb{F}_2^n$ पर परिभाषित एक विशिष्ट वैकल्पिक द्विक-रैखिक रूप (alternating bilinear form) के सापेक्ष maximal totally isotropic subspaces हैं।

कार्यप्रणाली
लेखक सदिश स्थान $V = \mathbb{F}_2^n$ पर एक नया आंतरिक उत्पाद परिभाषित करते हैं:
$\langle v, w \rangle := \sum_{i \neq j} v_i w_i = v \cdot w + p(v)p(w)$
जहाँ $v \cdot w$ मानक डॉट उत्पाद है और $p(v) = \sum v_i$ वेक्टर की पैरिटी (parity) है। डॉट उत्पाद के विपरीत, यह रूप वैकल्पिक (alternating) है ( $\forall v, \langle v, v \rangle = 0$ )।

अध्ययन निम्नलिखित कार्यप्रणाली चरणों के माध्यम से आगे बढ़ता है:

सिम्प्लेक्टिक ज्यामिति (Symplectic Geometry) के माध्यम से वर्गीकरण: लेखक इस रूप के अंतर्गत maximal totally isotropic subspaces (Lagrangians) की संरचना का विश्लेषण करते हैं।
- विषम $n$ (Odd $n$ ) के लिए, यह रूप अपभ्रष्ट (degenerate) है जिसका रेडिकलल (radical) $\mathbf{1}$ द्वारा स्पैन किया गया है। लेखक लंबाई $n$ के maximal self-orthogonal कोड्स और maximal totally isotropic subspaces के बीच एक एक-से-एक संबंध (bijection) स्थापित करते हैं।
- सम $n$ (Even $n$ ) के लिए, यह रूप गैर-अपभ्रष्ट (non-degenerate) है, जिससे $\mathbb{F}_2^n$ एक सिम्प्लेक्टिक स्पेस बन जाता है। लेखक "even" Lagrangians (वे उपसमष्टि जो even-weight subspace $V^+$ के भीतर हैं, जो मानक self-dual कोड्स के अनुरूप हैं) और "odd" Lagrangians (जिनमें विषम भार वाले वेक्टर शामिल हैं) के बीच अंतर करते हैं। वर्गीकरण को सुगम बनाने के लिए वे even Lagrangians के भीतर $\langle \mathbf{1} \rangle$ के पूरक और odd Lagrangians के बीच दो-से-एक पत्राचार (two-to-one correspondence) का उपयोग करते हैं।
संगणनात्मक वर्गीकरण (Computational Classification): SageMath का उपयोग करते हुए, लेखक $n \le 24$ के लिए सममित समूह $S_n$ (निर्देशांकों को बदलने हेतु) के एक्शन के तहत इन उपसमष्टियों को वर्गीकृत करने के लिए एक एल्गोरिदम लागू करते हैं। इसमें self-dual कोड्स के प्रतिनिधि उत्पन्न करना, उनके पूरक खोजना और संगत odd Lagrangians का निर्माण करना शामिल है। पूर्णता के सत्यापन के लिए एक मास फॉर्मूला (mass formula) का उपयोग किया जाता है।
वेट एन्यूमिनेटर (Weight Enumerator) विश्लेषण: लेखक इस वैकल्पिक आंतरिक उत्पाद के लिए विशिष्ट MacWilliams-प्रकार की पहचान (identity) व्युत्पन्न करते हैं। वे विशिष्ट मैट्रिक्स समूहों (जो डायहेड्रल समूह $D_8$ और 192 के क्रम वाले एक बड़े समूह के आइसोमोर्फिक हैं) के बहुपदों के स्थान पर क्रिया का अध्ययन करके अपने वेट एन्यूमिनेटर्स का विश्लेषण करते हैं। यह उन्हें सामान्य और Type II (भार 4 से विभाज्य) मामलों के लिए वेट एन्यूमिनेटर्स की बीजगणितीय संरचना निर्धारित करने की अनुमति देता है।

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

वर्गीकरण: यह शोध पत्र $n \le 24$ $n \leq 24$ के लिए maximal totally isotropic subspaces का पूर्ण वर्गीकरण प्रदान करता है। परिणाम तालिका 1 में प्रस्तुत किए गए हैं, जो विषम और सम लंबाई दोनों के लिए inequivalent Type I और Type II Lagrangians की संख्या को सूचीबद्ध करते हैं।
- विशेष रूप से, $n$ के कुछ मानों के लिए, विशिष्ट odd Lagrangians का न्यूनतम अंतर (minimum distance), समान लंबाई वाले मानक self-dual कोड्स द्वारा प्राप्त उच्चतम न्यूनतम अंतर से अधिक होता है।
MacWilliams-प्रकार की पहचान: लेखक सिद्ध करते हैं कि इस वैकल्पिक रूप के लिए मानक MacWilliams identity मान्य नहीं होती है। इसके बजाय, वे एक संशोधित पहचान (प्रस्ताव 4.2) व्युत्पन्न करते हैं जो कोड $K$ के वेट एन्यूमिनेटर को उसके ऑर्थोगोनल पूरक $K^\perp$ के वेट एन्यूमिनेटर से संबंधित करती है। यह पहचान वेट एन्यूमिनेटर के even और odd भागों को अलग करती है, यह दिखाते हुए कि odd भाग में रूपांतरण के दौरान एक वेरिएबल स्वैप ( $x \leftrightarrow y$ ) होता है।
वेट एन्यूमिनेटर्स पर संरचनात्मक बाधाएं:
- विषम लंबाई (Odd Length): लेखक सिद्ध करते हैं कि विषम लंबाई के maximal totally isotropic कोड का वेट एन्यूमिनेटर उसके even भाग के वेट एन्यूमिनेटर द्वारा निर्धारित होता है। वे इन एन्यूमिनेटर्स के लिए invariant ring के ऊपर स्पष्ट module structures प्रदान करते हैं, जो सामान्य मामलों और Type II मामलों (जहाँ भार 4 से विभाज्य है) के बीच अंतर करते हैं।
- सम लंबाई (Even Length): सम $n$ के लिए, शोध पत्र odd Lagrangians के वेट एन्यूमिनेटर्स पर बाधाएं स्थापित करता है। यह प्रदर्शित करता है कि Type II odd Lagrangians के लिए, लंबाई $n$ को 8 के modulo 8 विशिष्ट सर्वांग्यता (congruence) को संतुष्ट करना चाहिए ( $n \equiv 0, 2, \text{ या } -2 \pmod 8$ )।
- शोध पत्र विस्तृत प्रमेय (4.7, 4.9, 4.13, 4.19, 4.21, 4.23) प्रदान करता है जो invariant ring के ऊपर विशिष्ट बहुपदों द्वारा जनरेट किए गए free modules के रूप में वेट एन्यूमिनेटर्स का वर्णन करते हैं।
विघटन गुण (Decomposition Properties): यह शोध पत्र विघटनीय (decomposable) maximal totally isotropic subspaces को अभिलक्षित करता है। यह दिखाता है कि न्यूनतम अंतर 1 या 2 वाला एक कोड छोटे कोड्स (जैसे $i_1 \times M$ या $i_2^k \times M$ ) के साथ प्रत्यक्ष उत्पाद (direct product) में विघटित होता है, जिससे पुनरावर्ती विश्लेषण (recursive analysis) संभव होता है।

महत्व
यह शोध पत्र दावा करता है कि यह गैर-मानक आंतरिक उत्पादों के तहत self-orthogonal रैखिक कोड्स के संबंध में साहित्य में मौजूद एक अंतराल को भरता है। वैकल्पिक रूप $\langle v, w \rangle = v \cdot w + p(v)p(w)$ को पेश करके, लेखक बाइनरी वेक्टर स्पेस में "Lagrangian" उपसमष्टियों के अध्ययन के लिए एक नया मार्ग खोलते हैं।

यह कार्य महत्वपूर्ण है क्योंकि:

यह self-dual कोड्स के सिद्धांत को एक व्यापक संदर्भ (alternating forms) में विस्तारित करता है, जिससे कोड्स के नए वर्ग (odd Lagrangians) प्रकट होते हैं जिनके पारंपरिक self-dual कोड्स की तुलना में संभावित रूप से बेहतर न्यूनतम अंतर होते हैं।
यह छोटी लंबाई ( $n \le 24$ ) के लिए इन संरचनाओं का पहला पूर्ण वर्गीकरण प्रदान करता है।
यह इन कोड्स के वेट डिस्ट्रीब्यूशन के विश्लेषण के लिए एक सैद्धांतिक ढांचा (एक नई MacWilliams-प्रकार की पहचान के माध्यम से) स्थापित करता है, यह सिद्ध करते हुए कि उनके एन्यूमिनेटर्स विशिष्ट बीजगणितीय इनवेरियंट्स द्वारा बाधित हैं जो मानक self-dual कोड्स के समान तो हैं, लेकिन उनसे भिन्न हैं।

लेखक नोट करते हैं कि odd Lagrangians का वर्गीकरण विषम लंबाई के maximally self-orthogonal कोड्स के वर्गीकरण के समतुल्य है, जिससे यह अध्ययन कोडिंग थ्योरी की मौजूदा समस्याओं से जोड़ते हुए सिम्प्लेक्टिक ज्यामिति के दृष्टिकोण से नए संरचनात्मक अंतर्दृष्टि प्रदान करता है।

इसी तरह के और पेपर