🔢 mathematics

On the hull-variation problem of equivalent vector rank metric codes

यह शोध पत्र हैमिंग-मीट्रिक कोड से वेक्टर रैंक-मीट्रिक कोड तक हल-वैरिएशन (hull-variation) समस्या का विस्तार करता है, यह सिद्ध करते हुए कि किसी भी परिमित क्षेत्र (finite field) पर ऐसा प्रत्येक कोड एक LCD कोड के तुल्य है।

मूल लेखक: Duy Ho, Trygve Johnsen

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

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

CC BY 4.0

मूल लेखक: Duy Ho, Trygve Johnsen

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

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

गणित और क्रिप्टोग्राफी की दुनिया में, इन किलों को लिनियर कोड्स (Linear Codes) कहा जाता है। हर किले का एक छिपा हुआ "साया" या "दर्पण छवि" होता है जिसे डुअल (Dual) कहा जाता है। हल (Hull) वह विशिष्ट क्षेत्र है जहाँ किला और उसका दर्पण प्रतिबिंब एक-दूसरे से मिलते या ओवरलैप होते हैं।

एक बड़ा हल (A Big Hull): कल्पना कीजिए कि किला और उसका दर्पण प्रतिबिंब काफी अधिक ओवरलैप करते हैं। यह एक "बड़ा हल" है।
एक खाली हल (LCD कोड): कल्पना कीजिए कि किला और उसका दर्पण प्रतिबिंब पूरी तरह से अलग हैं; वे कहीं भी नहीं मिलते। इसे LCD कोड (पूरक डुअल्स वाला लिनियर कोड) कहा जाता है।

समस्या: "हल-वेरिएशन" (Hull-Variation) का रहस्य

लंबे समय तक, गणितज्ञों को पारंपरिक किलों (जिन्हें हैमिंग-मेट्रिक कोड्स कहा जाता है) के बारे में एक अजीब ट्रिक पता थी। यदि आपके पास एक ऐसा किला है जिसका बहुत बड़ा, उलझा हुआ ओवरलैप (बड़ा हल) है, तो आप ईंटों को पुनर्व्यवस्थित करके (कोड की संरचना बदलकर) उस ओवरलैप को छोटा कर सकते हैं, या बिना किले की सुरक्षा करने की क्षमता बदले उसे पूरी तरह से समाप्त कर सकते हैं।

2023 में, हाओ चेन नामक एक गणितज्ञ ने एक बड़ा सवाल पूछा: "क्या हम इस जादू वाली ट्रिक को अन्य प्रकार के किलों के साथ भी कर सकते हैं?"

विशेष रूप से, उन्होंने रैंक-मेट्रिक कोड्स (Rank-Metric Codes) के बारे में पूछा। ये विशेष किले हैं जिनका उपयोग नेटवर्क में सुरक्षित संचार और क्वांटम कंप्यूटिंग के लिए किया जाता है। ये पारंपरिक किलों से अलग तरीके से बनाए जाते हैं।

खोज: जादू वाली ट्रिक हर जगह काम करती है!

ड्यू हो और ट्रिगवे जॉनसन, जो इस शोध पत्र के लेखक हैं, ने रैंक-मेट्रिक कोड्स पर इस जादू वाली ट्रिक का परीक्षण करने का निर्णय लिया। उन्होंने पूछा: यदि हमारे पास एक रैंक-मेट्रिक किला है जिसमें बड़ा ओवरलैप है, तो क्या हम इसे पुनर्व्यवस्थित कर सकते हैं ताकि ओवरलैप छोटा हो जाए या पूरी तरह से गायब हो जाए?

उनका उत्तर है: हाँ!

उन्होंने सिद्ध किया कि ओवरलैप कितना भी बड़ा क्यों न हो, आप कोड का "नवीनीकरण" (renovate) कर सकते हैं ताकि वह एक LCD कोड (जहाँ ओवरलैप शून्य है) बन जाए। यह उन सबसे कठिन, छोटे निर्माण खंडों (जिनमें केवल 2 या 3 संख्याएँ होती हैं) के लिए भी सच है।

उन्होंने यह कैसे किया? (एक उपमा)

कोड को एक ग्रिड में लिखे गए निर्देशों के सेट के रूप में सोचें। "ओवरलैप" तब होता है जब कुछ निर्देश गलती से एक-दूसरे को रद्द कर देते हैं जब आप उन्हें दर्पण में देखते हैं।

लेखकों ने एक विशेष "नवीनीकरण उपकरण" (Renovation Tool) (एक गणितीय मैट्रिक्स) का आविष्कार किया:

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

यह क्यों महत्वपूर्ण है?

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

निष्कर्ष

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

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

यहाँ ड्यूई हो और ट्रिगवे जॉनसन के शोध पत्र "On the hull-variation problem of equivalent vector rank-metric codes" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र वेक्टर रैंक-मेट्रिक कोड्स (vector rank-metric codes) के संदर्भ में हल-वैरिएशन समस्या (hull-variation problem) को संबोधित करता है।

पृष्ठभूमि: एक रैखिक कोड $C$ का हल (hull), कोड और उसके ड्यूल (dual) के प्रतिच्छेदन (intersection) के रूप में परिभाषित किया जाता है, $H(C) = C \cap C^\perp$ । जिन कोड्स का हल तुच्छ (trivial) होता है ( $H(C) = \{0\}$ ), उन्हें लीनियर कोड्स विद कॉम्प्लीमेंट्री ड्यूल्स (LCD codes) के रूप में जाना जाता है।
संदर्भ: क्लासिकल हैमिंग-मेट्रिक कोड्स में, यह हाल ही में स्थापित किया गया था (हाओ चेन और अन्य द्वारा) कि $\mathbb{F}_q$ (जहाँ $q > 3$ ) के लिए, कोई भी लीनियर कोड एक LCD कोड के समकक्ष (equivalent) होता है, और तुल्यता (equivalence) के तहत हल के आयाम (hull dimension) को बदला जा सकता है।
अंतराल (The Gap): यह एक खुला प्रश्न था कि क्या यह घटना वेक्टर रैंक-मेट्रिक कोड्स (रैंक दूरी के साथ $\mathbb{F}_{q^m}$ पर कोड्स) के लिए भी लागू होती है, विशेष रूप से छोटे क्षेत्रों ( $q=2, 3$ ) के लिए और संबंधित मैट्रिक्स तथा विस्तारित ब्लॉक कोड्स के संबंध में।
उद्देश्य: लेखक यह जांचते हैं कि क्या तुल्यता रूपांतरणों (equivalence transformations) के माध्यम से एक वेक्टर रैंक-मेट्रिक कोड के हल के आयाम को कम (या समाप्त) किया जा सकता है, और यह संबद्ध मैट्रिक्स कोड और विस्तारित ब्लॉक कोड को कैसे प्रभावित करता है।

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

लेखक विशिष्ट हल आयाम वाले समकक्ष कोड्स का निर्माण करने के लिए रैखिक बीजगणित (linear algebra), जनरेटर मैट्रिक्स हेरफेर (generator matrix manipulation) और क्षेत्र सिद्धांत (field theory) के संयोजन का उपयोग करते हैं।

जनरेटर मैट्रिक्स अपघटन (Generator Matrix Decomposition):
$h$ हल आयाम वाले एक कोड $C$ के लिए, जनरेटर मैट्रिक्स $G$ को एक ब्लॉक रूप में रूपांतरित किया जाता है:
$G = \begin{bmatrix} I_h & A \\ 0 & B \end{bmatrix}$
जहाँ $I_h$ हल आधार (hull basis) के अनुरूप पहचान मैट्रिक्स (identity matrix) है। यह शर्त कि पहले $h$ पंक्तियाँ हल में स्थित हैं, विशिष्ट ऑर्थोगोनैलिटी बाधाओं को दर्शाती है: $AA^\top + I_h = 0$ और $AB^\top = 0$ ।
तुल्यता रूपांतरण (Equivalence Transformations):
लेखक एक तुल्यता रूपांतरण मैट्रिक्स $M \in GL_n(\mathbb{F}_q)$ (या मेट्रिक के आधार पर $GL_n(\mathbb{F}_{q^m})$ ) का निर्माण करते हैं ताकि एक नया कोड $C' = C \cdot M$ उत्पन्न किया जा सके। लक्ष्य $M$ को इस प्रकार चुनना है कि नए ग्राम मैट्रिक्स (Gram matrix) $G'G'^\top$ का रैंक बढ़ जाए, जिससे हल का आयाम कम हो सके ( $\dim(H(C')) = k - \text{rank}(G'G'^\top)$ )।
मामला-विशिष्ट निर्माण (Case-Specific Constructions):
- मामला $q > 3$ : लेखक विकर्णीय मैट्रिसेस (diagonal matrices) का उपयोग करते हैं जिनमें प्रविष्टियाँ $a_i$ ऐसी होती हैं कि $a_i^2 \neq 1$ । यह हल के आयाम को एक बार में 1 से कम करने की अनुमति देता है।
- मामला $q \in \{2, 3\}$ : मानक विकर्णीय स्केलिंग विफल हो जाती है क्योंकि $\mathbb{F}_2$ $F_{2}$ और $\mathbb{F}_3$ $F_{3}$ में सभी गैर-शून्य $x$ $x$ के लिए $x^2 = 1$ $x^{2} = 1$ होता है।
  - $h \ge 2$ के लिए हल को 2 या अधिक कम करने हेतु, लेखक विशिष्ट छोटी मैट्रिसेस $Z_2$ और $Z_3$ (लेम्मा 3.3 से व्युत्पन्न) का उपयोग करके ब्लॉक-डायगोनल मैट्रिसेस का निर्माण करते हैं जो $YY^\top - I$ की व्युत्क्रमणीयता (invertibility) सुनिश्चित करते हैं।
  - $h=1$ के आयाम वाले हल को $0$ तक कम करने के लिए (एक LCD कोड सिद्ध करने के लिए), लेखक एक वेक्टर $v$ वाले विशिष्ट एफ़ाइन रूपांतरण (affine transformation) का उपयोग करते हैं। वे एक द्विघाती रूप (quadratic form) $f(v)$ को परिभाषित करते हैं और सिद्ध करते हैं कि $q=2$ और $q=3$ के लिए, हमेशा एक ऐसा वेक्टर $v$ मौजूद होता है कि $f(v) \neq 0$ , जो प्रभावी रूप से हल को तोड़ देता है।
संबद्ध कोड्स तक विस्तार (Lifting to Associated Codes):
सेल्फ-ड्यूअल बेसिस (self-dual bases) और ट्रेस मैप (trace map) के गुणों का उपयोग करते हुए, वेक्टर रैंक-मेट्रिक कोड्स के परिणामों को निम्नलिखित तक विस्तारित किया गया है:
1. मैट्रिक्स कोड्स: $\mathbb{F}_q^{n \times m}$ में कोड्स।
2. विस्तारित ब्लॉक कोड्स: मैट्रिक्स कोड्स के "फ्लैटनड" (flattened) वेक्टर प्रतिनिधित्व।

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

A. वेक्टर रैंक-मेट्रिक कोड्स के लिए हल भिन्नता (Hull Variation)

यह शोध पत्र सिद्ध करता है कि किसी भी $\mathbb{F}_{q^m}$ पर वेक्टर रैंक-मेट्रिक कोड $C$ के लिए:

यदि $q > 3$ : किसी भी हल आयाम $h \ge 1$ के लिए, एक समकक्ष कोड मौजूद है जिसका हल आयाम $\ell$ है, जहाँ $0 \le \ell \le h-1$ ।
यदि $q \in \{2, 3\}$ :
- यदि $h \ge 2$ , तो हल के आयाम को किसी भी $\ell \in \{0, \dots, h-2\}$ तक कम किया जा सकता है।
- महत्वपूर्ण रूप से, यदि $h=1$ , तो एक समकक्ष कोड मौजूद है जिसका हल आयाम $0$ (एक LCD कोड) है।

B. LCD कोड्स के समकक्षता (Equivalence to LCD Codes)

कोरोलरी 3.6 एक प्रमुख परिणाम है: प्रत्येक वेक्टर रैंक-मेट्रिक कोड, किसी भी परिमित क्षेत्र $\mathbb{F}_q$ (जिसमें $q=2$ और $q=3$ शामिल हैं) पर, एक LCD कोड के समकक्ष है। यह हैमिंग-मेट्रिक मामले के विपरीत है जहाँ छोटे क्षेत्रों के लिए व्यवहार ऐतिहासिक रूप से अधिक जटिल था या विशिष्ट स्थितियों की आवश्यकता थी।

C. मैट्रिक्स और विस्तारित ब्लॉक कोड्स के लिए निहितार्थ

सेल्फ-ड्यूअल बेसिस की उपस्थिति की स्थिति में (जो तब होती है जब $q$ सम हो या $q$ और $m$ दोनों विषम हों):

संबद्ध मैट्रिक्स कोड $D$ का हल आयाम $m$ के चरणों में बदला जा सकता है। विशेष रूप से, यदि वेक्टर कोड का हल $\ell$ से कम होता है, तो मैट्रिक्स कोड का हल आयाम $m\ell$ से कम हो जाता है।
यही भिन्नता विस्तारित ब्लॉक कोड्स के लिए भी लागू होती है।

D. अपरिवर्तनीयता और मैट्रॉइड सिद्धांत (Invariance and Matroid Theory)

लेखक प्रदर्शित करते हैं कि रैंक-मेट्रिक सेटिंग में अंतर्निहित कॉम्बिनेटोरियल संरचनाओं का हल आयाम एक अपरिवर्तनीय (invariant) नहीं है।

हैमिंग-मेट्रिक कोड्स ( $\mathbb{F}_2, \mathbb{F}_3$ पर) में, समकक्ष कोड्स एक ही हल आयाम साझा करते हैं क्योंकि यह मैट्रॉइड/ट्यूट (Tutte) बहुपद द्वारा निर्धारित होता है।
रैंक-मेट्रिक कोड्स में, समकक्ष कोड्स समरूप (isomorphic) $(q, m)$ -पॉलीमैट्रॉइड्स (या $q$ -मैट्रॉइड्स) प्रेरित कर सकते हैं, फिर भी उनके हल आयाम भिन्न हो सकते हैं। यह दर्शाता है कि हल आयाम ऐसी जानकारी को कैप्चर करता है जो मानक रैंक-मेट्रिक मैट्रॉइडल इनवेरिएंट्स में प्रतिबिंबित नहीं होती है।

4. महत्व (Significance)

सैद्धांतिक प्रगति: यह शोध पत्र वेक्टर रैंक-मेट्रिक कोड्स के लिए हल-वैरिएशन समस्या को हल करता है, जो हैमिंग-मेट्रिक कोड्स से प्राप्त पिछले परिणामों को रैंक-मेट्रिक डोमेन तक विस्तारित करता है, जिसमें छोटे क्षेत्रों ( $q=2, 3$ ) के कठिन मामलों को भी शामिल किया गया है।
LCD कोड्स का निर्माण: यह किसी भी वेक्टर रैंक-मेट्रिक कोड के तुल्यता वर्ग (equivalence class) में LCD कोड्स के अस्तित्व का एक रचनात्मक प्रमाण प्रदान करता है। यह क्रिप्टोग्राफी (जैसे, साइड-चैनल अटैक प्रतिरोध) और क्वांटम एरर करेक्शन में अनुप्रयोगों के लिए महत्वपूर्ण है, जहाँ LCD कोड्स अत्यधिक वांछनीय हैं।
मैट्रॉइड इनवेरिएंट्स की सीमाएँ: परिणाम रैंक-मेट्रिक कोड्स के लिए मौलिक अंतर को उजागर करते हैं। तथ्य यह है कि समकक्ष कोड्स अलग-अलग हल आयाम रख सकते हैं जबकि संबद्ध पॉलीमैट्रॉइड समरूप रहता है, यह सुझाव देता है कि वर्तमान मैट्रॉइड-आधारित वर्गीकरण उपकरण रैंक-मेट्रिक कोड्स के सभी संरचनात्मक गुणों को पकड़ने के लिए अपर्याप्त हैं।
एल्गोरिथमिक क्षमता: प्रमाणों की रचनात्मक प्रकृति (स्पष्ट मैट्रिक्स $M$ और वेक्टर $v$ प्रदान करना) व्यावहारिक कार्यान्वयन के लिए किसी भी सामान्य वेक्टर रैंक-मेट्रिक कोड को LCD कोड में बदलने के लिए एल्गोरिदम का मार्ग प्रशस्त करती है।

5. निष्कर्ष (Conclusion)

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