🔢 mathematics

Rank Distribution and Dynamics of Gram Matrices from Binary m-Sequences with Applications to LCD Codes

यह शोध पत्र सेमिलिनियर निरूपणों (semilinear representations) और बेज़ौटियन (Bézoutians) का उपयोग करके बाइनरी m-अनुक्रमों के $n$ क्रमागत उप-अनुक्रमों से निर्मित $n \times n$ ग्राम मैट्रिसेस (Gram matrices) के पूर्ण रैंक वितरण और गतिशील व्यवहार को स्थापित करता है, जिससे पंकचर्ड चक्रीय सिम्प्लेक्स कोड्स (punctured cyclic simplex codes) के हल वितरण (hull distribution) का पूर्णतः लक्षण वर्णन किया जाता है।

मूल लेखक: Hengfeng Liu, Chunming Tang, Cuiling Fan, Zhengchun Zhou

प्रकाशित 2026-04-30

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

CC BY 4.0

मूल लेखक: Hengfeng Liu, Chunming Tang, Cuiling Fan, Zhengchun Zhou

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

कल्पना कीजिए कि आपके पास बाइनरी अंकों (0 और 1) की एक जादुई, अनंत धारा है जो एक सरल मशीन द्वारा उत्पन्न की जाती है जिसे लीनियर फीडबैक शिफ्ट रजिस्टर (LFSR) कहा जाता है। गणित और इंजीनियरिंग की दुनिया में, इसे एक m-अनुक्रम (m-sequence) के रूप में जाना जाता है। यह बहुत ही यादृच्छिक (random) दिखने के लिए प्रसिद्ध है, भले ही इसे एक सख्त, पूर्वानुमेय नियम द्वारा उत्पन्न किया गया हो।

यह शोध पत्र एक जासूसी कहानी की तरह है जहाँ लेखक इस संख्याओं की धारा को देखते हैं और इसे एक विशिष्ट लेंस के माध्यम से देखते हैं: ग्राम मैट्रिसेस (Gram matrices)।

सेटअप: एक "स्नैपशॉट" बनाना

कल्पना कीजिए कि आप एक चलती हुई परेड की तस्वीरें ले रहे हैं।

आपके पास लोगों की एक लंबी कतार है (m-अनुक्रम)।
आप $n$ लोगों के एक विशिष्ट समूह की फोटो लेने का निर्णय लेते हैं जो एक-दूसरे के बगल में खड़े हैं।
फिर, आप अपने कैमरे को एक कदम दाईं ओर खिसकाते हैं और अगले समूह की एक और फोटो लेते हैं।
आप ऐसा करते रहते हैं, जिससे फ़ोटो का एक ढेर (stack) बन जाता है।

शोध पत्र में, लेखक एक गणितीय "ढेर" (मैट्रिक्स) बनाते हैं जिसे $t$ लंबाई का $n$ पंक्तियों वाला $G_t$ कहा जाता है। इसमें अनुक्रम का $t$ लंबाई का एक छोटा हिस्सा शामिल है।

मुख्य रहस्य: "इनर प्रोडक्ट" का दर्पण

अब, लेखक केवल फोटो नहीं देखते; वे उनका एक दर्पण प्रतिबिंब बनाते हैं। वे अपने ढेर की प्रत्येक पंक्ति को दूसरी पंक्ति के साथ तुलना करते हैं ताकि यह देखा जा सके कि वे कितना "ओवरलैप" या "सहमत" होते हैं। गणित के शब्दों में, वे प्रत्येक जोड़ी की पंक्तियों के बीच इनर प्रोडक्ट (inner product) की गणना करते हैं।

जब आप इन सभी तुलनाओं को एक नए वर्गाकार ग्रिड में व्यवस्थित करते हैं, तो आपको एक ग्राम मैट्रिक्स (मान लीजिए $M$ ) प्राप्त होता है।

यदि पंक्तियाँ सभी अद्वितीय और स्वतंत्र हैं, तो मैट्रिक्स "फुल रैंक" (full rank) होता है (इसमें बहुत सारी जानकारी होती है)।
यदि कुछ पंक्तियाँ केवल कॉपियाँ या अन्य पंक्तियों के सरल संयोजन हैं, तो मैट्रिक्स अपना "रैंक" खो देता है (यह "सिंगुलर" या दब जाता है)।

बड़ा सवाल जो यह शोध पत्र पूछता है: जैसे-जैसे हम स्लाइस की लंबाई ( $t$ ) बदलते हैं, यह मैट्रिक्स कितनी बार "फुल रैंक" बना रहता है, और यह कब ढह जाता है?

खोज: एक छिपा हुआ पैटर्न

लेखकों ने पाया कि इस मैट्रिक्स का व्यवहार यादृच्छिक नहीं है। यह रैशनल फंक्शन्स (बहुपदों से बने भिन्न) पर आधारित एक बहुत ही विशिष्ट, सुरुचिपूर्ण नियम का पालन करता है।

यहाँ मुख्य निष्कर्ष दिए गए हैं, जिन्हें रोजमर्रा के उपमाओं (analogies) में अनुवादित किया गया है:

1. "आधा-और-आधा" का नियम
उन्होंने पाया कि लगभग आधी सभी संभावित स्लाइस लंबाई के लिए, मैट्रिक्स पूरी तरह से "फुल रैंक" (एक मजबूत, 3D संरचना) होता है। शेष आधी के लिए, यह निम्न आयाम में ढह जाता है।

उपमा: कल्पना कीजिए कि प्रत्येक संभावित लंबाई के लिए एक सिक्का उछालना। लगभग 50% समय, आपको "फुल रैंक" (हेड्स) मिलता है, और बाकी समय "डेफिसिएंट रैंक" (टेल्स) मिलता है।

2. "जेली" बनाम "रॉक" की गतिशीलता
शोध पत्र बताता है कि जैसे-जैसे आप स्लाइस की लंबाई ( $t$ ) को चरण-दर-चरण बढ़ाते हैं, रैंक कैसे बदलता है।

अस्थिर जेली (डेफिसिएंट स्टेट्स): यदि मैट्रिक्स वर्तमान में "दबा हुआ" (rank-deficient) है, तो यह अत्यंत अस्थिर है। अगला चरण ( $t+1$ ) अनिवार्य रूप से रैंक को बदल देगा। यह एक जैसा नहीं रह सकता। यह एक डगमगाती हुई जेली की तरह है; यह दो सेकंड तक अपना आकार बनाए नहीं रख सकती।
स्थिर चट्टान (फुल रैंक): यदि मैट्रिक्स "फुल रैंक" है, तो यह बहुत स्थिर है। एक बार जब यह पूर्ण-शक्ति वाली स्थिति में पहुँच जाता है, तो यह कुछ समय के लिए उसी तरह बना रहता है, जैसे एक ठोस चट्टान जो तुरंत नहीं टूटती।

3. "घाटियाँ" (लोकल मिनिमा)
लेखकों ने उन मामलों को गिना जब रैंक नीचे गिरता है और फिर दोनों तरफ से वापस ऊपर उठता है (जैसे पहाड़ों की श्रृंखला में एक घाटी)। उन्होंने पाया कि किसी भी अनुक्रम लंबाई के लिए कितनी "घाटियाँ" मौजूद हैं, इसका एक सटीक सूत्र है।

अनुप्रयोग: बेहतर कोड बनाना

यह क्यों मायने रखता है? शोध पत्र इस गणित को कोडिंग थ्योरी से जोड़ता है, विशेष रूप से सिम्प्लेक्स कोड (Simplex codes) नामक त्रुटि-सुधार कोड (error-correcting code) के प्रकार से।

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

सारांश

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

मजबूती एक पूर्वानुमानित पैटर्न का पालन करती है जो बहुपद भिन्नों (polynomial fractions) पर आधारित है।
कमजोर अवस्थाएं अस्थायी और अस्थिर हैं, जबकि मजबूत अवस्थाएं स्थायी होती हैं।
यह ज्ञान हमें इन कोडों के उन संस्करणों की सटीक पहचान करने की अनुमति देता है जो डिजिटल संचार के लिए सबसे मजबूत हैं।

लेखकों ने केवल अनुमान नहीं लगाया; उन्होंने बीजगणित (जैसे गैलवा समूह और बेज़ौटियन) के उन्नत उपकरणों का उपयोग करके यह सिद्ध किया कि ये पैटर्न गणितीय रूप से गारंटीकृत हैं, न कि केवल भाग्यशाली अवलोकन।

यहाँ शोध पत्र "Rank Distribution and Dynamics of Gram Matrices from Binary M-Sequences with Applications to LCD Codes" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र बाइनरी मैक्सिमम-लेंथ सीक्वेंस (m-sequences) के सिद्धांत में एक मौलिक अंतराल को संबोधित करता है। जबकि m-sequences अपने शास्त्रीय गुणों (संतुलन, रन वितरण, आदर्श ऑटोकोरिलेशन) के संबंध में अच्छी तरह से समझे जाते हैं, उनके स्टेट वेक्टर्स द्वारा निर्मित ग्राम मैट्रिसेस (Gram matrices) के दृष्टिकोण से उनके संरचनात्मक व्यवहार का अध्ययन काफी हद तक अनछुआ रहा है।

विशेष रूप से, लेखक ग्राम मैट्रिसेस के परिवार $\{G_t G_t^\top \mid 1 \le t \le 2^n - 1\}$ की जांच करते हैं, जहाँ $G_t$ , m-sequence के लंबाई $t$ के $n$ क्रमिक उप-अनुक्रमों (subsequences) से निर्मित $n \times t$ ऑब्जर्वेबिलिटी मैट्रिक्स (observability matrix) है। मुख्य प्रश्न निम्नलिखित हैं:

रैंक वितरण (Rank Distribution): इन ग्राम मैट्रिसेस के सभी संभावित लंबाई $t$ के लिए इनके रैंक का सटीक वितरण क्या है?
रैंक डायनेमिक्स (Rank Dynamics): जैसे-जैसे $t$ चक्रीय रूप से बढ़ता है, रैंक कैसे विकसित होता है? क्या रैंक-डिफिशिएंट (rank-deficient) अवस्थाओं में स्थिरता या अस्थिरता के कोई पैटर्न हैं?

अनुप्रयोग (Application): ये रैंक गुण पंचरड साइक्लिक सिम्प्लेक्स कोड्स (punctured cyclic simplex codes) के हल वितरण (hull distribution) को कैसे अभिलक्षित करते हैं, विशेष रूप से लीनियर कॉम्प्लीमेंट्री डुअल (LCD) कोड्स की पहचान करने में?

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

लेखक इस कॉम्बिनेटरियल समस्या को एक बीजगणितीय गणना (algebraic enumeration) समस्या में बदलने के लिए बीजगणितीय उपकरणों के एक परिष्कृत मिश्रण का उपयोग करते हैं।

एक्सटेंशन फील्ड्स में लिफ्टिंग (Lifting to Extension Fields): बाइनरी मैट्रिक्स $G_t G_t^\top$ का सीधे $\mathbb{F}_2$ पर विश्लेषण करने के बजाय, लेखक इसे एक्सटेंशन फील्ड $\mathbb{F}_{2^n}$ तक ले जाते हैं। वे m-sequences के ट्रेस प्रतिनिधित्व ( $s_t = \text{Tr}_{\mathbb{F}_{2^n}/\mathbb{F}_2}(\lambda \alpha^t)$ ) का उपयोग करके ऑब्जर्वेबिलिटी मैट्रिक्स $G_t$ को वेंडरमंड मैट्रिक्स (Vandermonde matrix) और एक डायगोनल मैट्रिक्स के उत्पाद के रूप में गुणनखंडित करते हैं। यह $G_t G_t^\top$ के रैंक को $\mathbb{F}_{2^n}[x]$ पर एक सममित मैट्रिक्स $M(x)$ के रैंक में कम कर देता है, जहाँ $x = \alpha^t$ है।
सेमिलिनियर प्रतिनिधित्व (Semilinear Representations): सिंगुलर मैट्रिसेस (वे जिनका डिटर्मिनेंट शून्य है) को अभिलक्षित करने के लिए, लेखक गेलॉइस ग्रुप के सेमिलिनियर प्रतिनिधित्व का उपयोग करते हैं। वे सिद्ध करते हैं कि एक सिंगुलर मैट्रिक्स $M(x)$ का कर्नेल (kernel) एक ऐसे वेक्टर को समाहित करता है जिसके घटकों का निर्माण एक फ्रोबेनियस ऑर्बिट ( $c, c^2, c^4, \dots$ ) करता है। यह उन्हें सिंगुलैरिटी की स्थिति को विशिष्ट तर्कसंगत फलनों (rational functions) से जोड़ने की अनुमति देता है।
रैशनल फंक्शन कैनोनिकल रिप्रेजेंटेशन (Rational Function Canonical Representation): एक प्रमुख सैद्धांतिक सफलता $\frac{z^k \tilde{u}(z)}{u(z)}$ के रूप में विशिष्ट सेट के तर्कसंगत फलनों के रूप में $x$ के सिंगुलर पैरामीटर्स और एक विशिष्ट सेट के बीच एक बाइजेक्शन (bijection) की स्थापना है, जहाँ $u(z)$ एक ऐसा बहुपद है जो अपने रेसिप्रोकल (reciprocal) $\tilde{u}(z)$ के साथ सह-प्रांतीय (coprime) है।
बेज़ौटियन मैट्रिसेस (Bézoutian Matrices): सिंगुलर मैट्रिसेस के रैंक को बेज़ौटियन (Bézoutian) का उपयोग करके स्पष्ट रूप से निर्धारित किया जाता है। $M(x)$ का रैंक $\deg(u) + |k|$ के बराबर दिखाया गया है, जहाँ $u$ और $k$ कैनोनिकल रिप्रेजेंटेशन से आते हैं।
जेनरेटिंग फंक्शन्स (Generating Functions): सह-प्रांतीयता की स्थिति ( $\gcd(u, \tilde{u}) = 1$ ) को संतुष्ट करने वाले बहुपदों की गणना जेनरेटिंग फंक्शन्स का उपयोग करके की जाती है, जिससे रैंक वितरण के लिए क्लोज्ड-फॉर्म फॉर्मूला प्राप्त होता है।

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

A. ग्लोबल रैंक वितरण (Theorem 1.1)

यह शोध पत्र ग्राम मैट्रिक्स $G_t G_t^\top$ के लिए एक विशिष्ट रैंक $k$ देने वाले $t$ मानों की संख्या के लिए एक पूर्ण और स्पष्ट सूत्र प्रदान करता है:

रैंक 0: 1 मामला।
रैंक 1: 2 मामले।
रैंक $k$ ( $2 \le k \le n-1$ ): $2^{k-1}$ मामले।
रैंक $n$ (फुल रैंक): $2^{n-1} - 2$ मामले।
महत्व: यह सिद्ध करता है कि लगभग आधे स्वीकार्य $t$ मान फुल-रैंक ग्राम मैट्रिसेस में परिणत होते हैं।

B. लोकल रैंक डायनेमिक्स (Theorems 1.2 & 1.3)

लेखक रैंक फलन $r_n(t)$ के विशिष्ट गतिशील व्यवहारों को उजागर करते हैं:

फुल रैंक की निरंतरता (Persistence of Full Rank): एक बार जब रैंक $n$ (फुल रैंक) तक पहुँच जाती है, तो यह कम से कम एक और चरण के लिए बनी रहती है। यदि $r_n(t) = n$ , तो $r_n(t+1) = n$ ।
डिफिशिएंट स्टेट्स की अस्थिरता (Instability of Deficient States): रैंक-डिफिशिएंट अवस्थाएं पूरी तरह से अस्थिर होती हैं। यदि $r_n(t) < n$ , तो $r_n(t+1) \neq r_n(t)$ । रैंक को अगले चरण में बदलना ही होगा (या तो बढ़ना या घटना)।
लोकल मिनिमा (Local Minima): शोध पत्र रैंक फलन में स्थानीय मिनिमा की संख्या को सूचीबद्ध करता है, जो $n$ पर आधारित एक सूत्र प्रदान करता है।

C. कोडिंग थ्योरी में अनुप्रयोग (Section 5)

परिणामों को ऑब्जर्वेबिलिटी मैट्रिसेस द्वारा जनरेट किए गए पंचरड साइक्लिक सिम्प्लेक्स कोड्स $\{C_t\}$ के परिवार पर लागू किया जाता है।

हल वितरण (Hull Distribution): $\dim(\text{Hull}(C_t)) = n - \text{rank}(G_t G_t^\top)$ के संबंध का उपयोग करते हुए, लेखक हल आयामों (hull dimensions) का सटीक वितरण प्राप्त करते हैं।
LCD कोड्स: एक कोड LCD है यदि उसका हल आयाम 0 है (अर्थात, ग्राम मैट्रिक्स फुल रैंक है)। शोध पत्र यह सिद्ध करता है कि लंबाई $t$ ( $n \le t \le 2^n-1$ ) के पंचरड सिम्प्लेक्स कोड्स के परिवार में, ठीक $2^{n-1} - 2$ LCD कोड्स मौजूद हैं।
सेल्फ-ऑर्थोगोनल कोड्स (Self-Orthogonal Codes): इस परिवार में ठीक एक सेल्फ-ऑर्थोगोनल कोड है (पूर्ण-लंबाई वाला साइक्लिक सिम्प्लेक्स कोड)।

4. महत्व और प्रभाव (Significance and Impact)

नया संरचनात्मक अंतर्दृष्टि: यह कार्य m-sequences के भीतर गहरे बीजगणितीय संरचनाओं को प्रकट करता जो पहले अज्ञात थे, जो गोलम्ब (Golomb) के शास्त्रीय गुणों से आगे बढ़कर एक मैट्रिक्स-सैद्धांतिक लक्षण वर्णन की ओर ले जाता है।
एल्गोरिद्मिक उपयोगिता: स्पष्ट रैंक वितरण और LCD कोड्स की पहचान कोडिंग थ्योरी अनुप्रयोगों के लिए अत्यंत महत्वपूर्ण है। LCD कोड्स को साइड-चैनल हमलों के प्रति उनके प्रतिरोध और क्वांटम एरर करेक्शन में उनकी उपयोगिता के लिए अत्यधिक महत्व दिया जाता है।
सैद्धांतिक ढांचा: गेलॉइस सेमिलिनियर रिप्रेजेंटेशन, बेज़ौटियन्स और रैशनल फंक्शन एन्यूमरेशन को संयोजित करने वाली कार्यप्रणाली एक शक्तिशाली टूलकिट प्रदान करती जिसे अन्य सीक्वेंस परिवारों या विभिन्न क्षेत्रों (fields) पर कोड्स का अध्ययन करने के लिए अपनाया जा सकता है।
खुली समस्याएँ (Open Problems): शोध पत्र $q$ -ary m-sequences (विशेष रूप से $q=3$ और $q=5$ के लिए) के लिए खुली समस्याएँ प्रस्तावित करते हुए समाप्त होता है, जो यह सुझाव देता है कि देखे गए पैटर्न अन्य परिमित क्षेत्रों (finite fields) के लिए भी सामान्य हो सकते हैं, जो आगे के अनुसंधान को आमंत्रित करते हैं।

संक्षेप में, यह शोध पत्र सीक्वेंस डिजाइन और मैट्रिक्स थ्योरी के बीच के अंतर को पाटता है, m-sequences से प्राप्त ग्राम मैट्रिसेस के रैंक गुणों का एक कठोर लक्षण वर्णन प्रदान करता है और LCD कोड्स के निर्माण को अनुकूलित करने के लिए इन निष्कर्षों को सीधे लागू करता है।