🔢 mathematics

Double Toeplitz codes and their average weight enumerators

यह शोध पत्र डबल टोप्लिट्ज़ कोड के औसत वेट एन्यूमरेटर्स (weight enumerators) की जांच करता है, इन परिणामों को $q \in \{2,3,4\}$ के लिए $\mathbb{F}_q$ पर निर्दिष्ट न्यूनतम भार (minimum weights) वाले ऐसे कोडों के अस्तित्व को स्थापित करने के लिए लागू करता है और मध्यम लंबाई वाले उन कोडों का वर्गीकरण प्रदान करता है जिनमें अधिकतम न्यूनतम भार होता है।

मूल लेखक: Masaaki Harada, Keito Yamaguchi

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

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

CC BY 4.0

मूल लेखक: Masaaki Harada, Keito Yamaguchi

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

कल्पना कीजिए कि आप एक मास्टर आर्किटेक्ट हैं जो सबसे सुरक्षित, कुशल और सघन (compact) स्टोरेज सुविधा बनाने की कोशिश कर रहे हैं। गणित और कंप्यूटर विज्ञान की दुनिया में, इन "स्टोरेज सुविधाओं" को कोड (codes) कहा जाता है। इनका उपयोग इंटरनेट या अंतरिक्ष में संदेशों (जैसे फोटो, वीडियो या टेक्स्ट) को शोर या हस्तक्षेप (interference) के कारण खराब होने से बचाकर भेजने के लिए किया जाता है।

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

समस्या: सर्वोत्तम ब्लूप्रिंट खोजना

दशकों से, गणितज्ञ सर्वोत्तम संभव ब्लूप्रिंट (कोड) की तलाश कर रहे हैं। दो प्रसिद्ध प्रकार के ब्लूप्रिंट हैं:

डबल सर्कुलेंट कोड (Double Circulant Codes): ये उन पैटर्न की तरह हैं जो एक पूर्ण चक्र में दोहराते हैं। यदि आप पैटर्न को बदलते हैं, तो यह वैसा ही दिखता है। ये बहुत संरचित और बनाने में आसान होते हैं।
डबल निगासर्कुलेंट कोड (Double Negacirculant Codes): सर्कुलेंट के समान, लेकिन इसमें पैटर्न में एक हल्का सा बदलाव (जैसे दर्पण प्रतिबिंब) होता है।

हाल ही में, गणितज्ञों ने एक अधिक लचीला प्रकार का ब्लूप्रिंट खोजा जिसे डबल टोप्लिट्ज़ कोड (Double Toeplitz Codes) कहा जाता है।

उपमा: एक टोप्लिट्ज़ मैट्रिक्स (Toeplitz matrix) को ईंटों से बनी एक ऐसी दीवार के रूप में कल्पना करें जहाँ ईंटों की प्रत्येक तिरछी रेखा (diagonal line) एक समान है। यह एक पूर्ण चक्र (सर्कुलेंट) की तुलना में कम कठोर है, लेकिन इसमें एक बहुत मजबूत और अनुमानित संरचना है।
वादा: क्योंकि ये कम कठोर हैं, इसलिए ये पुराने गोलाकार डिजाइनों की तुलना में अधिक मजबूत दीवारें (उच्च न्यूनतम भार वाले कोड) बनाने की अनुमति दे सकते हैं।

चुनौती: बहुत सारी संभावनाएँ

इन नए टोप्लिट्ज़ कोड की समस्या यह है कि इनमें अरबों संभावित विविधताएँ हैं। हर एक को हाथ से या कंप्यूटर से यह देखने के लिए जांचना कि कौन सा सबसे मजबूत है, एक शहर जितने बड़े घास के ढेर (haystack) में एक सटीक सुई खोजने जैसा है।

समाधान: "औसत" दृष्टिकोण

हर एक कोड को एक-एक करके जांचने के बजाय, लेखक (मासाकी हाराडा और केइटो यामागुची) ने एक चतुर सांख्यिकीय ट्रिक का उपयोग किया।

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

लेखकों ने कुछ ऐसा ही किया:

उन्होंने औसत भार गणना (Average Weight Enumerator) की गणना की। यह एक गणितीय सूत्र है जो उन्हें बताता है, "औसत रूप से, ये कोड कितने मजबूत हैं?"
उन्हें इन कोडों को सूचीबद्ध करने की आवश्यकता नहीं पड़ी। उन्होंने इस पूरे टोप्लिट्ज़ कोड परिवार की "औसत शक्ति" का अनुमान लगाने के लिए एक सूत्र का उपयोग किया।
तर्क: यदि कोड की औसत शक्ति पर्याप्त रूप से उच्च है, तो यह सिद्ध करता है कि उस समूह में कम से कम एक कोड बहुत मजबूत होना चाहिए। यह कहने जैसा है कि, "यदि एक कमरे में लोगों की औसत ऊंचाई 6 फीट है, तो उसमें कोई न कोई व्यक्ति जरूर होगा जो कम से कम 6 फीट का है।"

उन्होंने क्या पाया

इस "औसत" पद्धति का उपयोग करते हुए और शक्तिशाली कंप्यूटरों के माध्यम से, उन्होंने तीन अलग-अलग प्रकार के संख्या तंत्रों (बाइनरी, टर्नरी और क्वाटर्नरी—सोचिए 2, 3 या 4 अक्षरों वाली भाषाओं के रूप में) पर कोड्स की खोज की।

यहाँ उनकी मुख्य खोजें हैं:

अस्तित्व को सिद्ध करना: उन्होंने सिद्ध किया कि कई अलग-अलग संदेश लंबाई के लिए, ऐसे डबल टोप्लिट्ज़ कोड निश्चित रूप से मौजूद हैं जो पहले की तुलना में अधिक मजबूत हैं। उन्होंने वे विशिष्ट "लंबाई" (स्टोरेज सुविधा का आकार) भी दीं जहाँ ये मजबूत कोड मौजूद हैं।
"नए" चैंपियन: उन्होंने कई विशिष्ट कोड खोजे जो अपने आकार के लिए सबसे मजबूत संभव (जिसे DT-अनुकूल/DT-optimal कहा जाता है) हैं।
ढांचे को तोड़ना: सबसे रोमांचक हिस्सा? ये नए "चैंपियन" कोड कई मामलों में पुराने गोलाकार (सर्कुलेंट) या घुमावदार (निगासर्कुलेंट) तरीकों से नहीं बनाए जा सकते। वे वास्तव में नए ढांचे हैं।
- उपमा: यह एक नए प्रकार के पुल के डिजाइन को खोजने जैसा है जो हमारे द्वारा अब तक बनाए गए किसी भी सस्पेंशन या आर्क ब्रिज से अधिक मजबूत है।

यह क्यों मायने रखता है?

वास्तविक दुनिया में, बेहतर कोड का अर्थ है:

तेज़ इंटरनेट: त्रुटि सुधार (error correction) के कम ओवरहेड के साथ अधिक डेटा भेजना।
गहरा अंतरिक्ष अन्वेषण: कम शक्ति के साथ मंगल या बृहस्पति से स्पष्ट चित्र भेजना।
सुरक्षित स्टोरेज: हार्ड ड्राइव जो डेटा भ्रष्टाचार (corruption) के कारण डेटा खोने की कम संभावना रखती हैं।

सारांश

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

उन्होंने अनिवार्य रूप से इंजीनियरों को नए ब्लूप्रिंट सौंपे हैं जो अधिक मजबूत, अधिक कुशल और पहले अज्ञात हैं।

यहाँ Masaaki Harada और Keito Yamaguchi के शोध पत्र "Double Toeplitz codes and their average weight enumerators" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र डबल टोप्लिट्ज़ कोड्स (double Toeplitz codes) के निर्माण और वर्गीकरण को संबोधित करता है, जो कि डबल सर्कुलेंट और डबल नेगासर्कुलेंट कोड्स का एक सामान्यीकरण है। ये कोड महत्वपूर्ण हैं क्योंकि ये आइसोडुअल (isodual) (अपने डुअल के समतुल्य) होते हैं और अक्सर इनमें न्यूनतम भार (minimum weight) अधिक होता है, जिससे ये इष्टतम त्रुटि-सुधार कोड (optimal error-correcting codes) के अच्छे उम्मीदवार बनते हैं।

मुख्य समस्याएँ जिनका इस शोध में समाधान किया गया है:

सैद्धांतिक विश्लेषण (Theoretical Analysis): बिना पूरे सेट की गणना किए, एक परिमित क्षेत्र $\mathbb{F}_q$ पर सभी विशिष्ट डबल टोप्लिट्ज़ कोड्स के औसत भार गणक (average weight enumerator) के लिए एक स्पष्ट सूत्र व्युत्पन्न करना।
अस्तित्व (Existence): लंबाई $n$ और क्षेत्रों $q \in \{2, 3, 4\}$ के लिए विशिष्ट न्यूनतम भार ( $d$ ) वाले डबल टोप्लिट्ज़ कोड्स के अस्तित्व का निर्धारण करना।
वर्गीकरण (Classification): मध्यम लंबाई के लिए DT-इष्टतम (DT-optimal) कोड्स (वे जो अधिकतम संभव न्यूनतम भार $d_{q,DT}(n)$ प्राप्त करते हैं) को वर्गीकृत करना और यह पहचानना कि इनमें से कौन से मौजूदा डबल सर्कुलेंट या डबल नेगासर्कुलेंट कोड्स के समतुल्य नहीं हैं।

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

सैद्धांतिक ढांचा (Theoretical Framework)

परिभाषाएँ (Definitions): एक डबल टोप्लिट्ज़ कोड $DT(t, a, b) $को एक जनरेटर मैट्रिक्स$ (I_{n/2} \mid T(t, a, b)) $द्वारा परिभाषित किया जाता है, जहाँ$ T $एक टोप्लिट्ज़ मैट्रिक्स है जो एक अदिश$ t $और दो वेक्टर्स$ a $और$ b$ द्वारा निर्धारित होता है।
औसत भार गणक (Average Weight Enumerator): लेखक $\Psi_{q,n}(y)$ को $\Omega_{q,n}$ में सभी विशिष्ट डबल टोप्लिट्ज़ कोड्स के भार गणकों के योग के रूप में परिभाषित करते हैं।
संयोजन गणना (Combinatorial Counting - Lemma 3.2 & Theorem 3.3):
- सभी कोड्स की सूची बनाने के बजाय, लेखक यह गिनते हैं कि कितने कोड्स में एक विशिष्ट वेक्टर $(u, v)$ शामिल है।
- वे पैरामीटर्स $(t, a, b)$ के लिए समाधानों की संख्या निर्धारित करने के लिए पैरिटी-चेक मैट्रिक्स स्थिति $A^T u^T = v^T$ (जहाँ $A$ टोप्लिट्ज़ भाग है) का उपयोग करते हैं।
- वे वेक्टर्स $u$ और $v$ के भार के आधार पर $\Psi_{q,n}(y)$ के लिए एक स्पष्ट क्लोज्ड-फॉर्म अभिव्यक्ति (closed-form expression) व्युत्पन्न करते हैं। यह सूत्र कोड्स के पूरे परिवार में एक विशिष्ट भार के औसत कोडवर्ड्स की गणना करने की अनुमति देता है।

अस्तित्व प्रमाण (Existence Proofs)

प्रपोजिशन 3.4 (Proposition 3.4): व्युत्पन्न औसत भार गणक का उपयोग करते हुए, लेखक एक संभाव्यता विधि (probabilistic method) लागू करते हैं। यदि $d$ से कम भार के लिए औसत भार गणक के गुणांकों का योग, कुल कोड्स की संख्या और $(q-1)$ के गुणनफल से कम है, तो वहां कम से कम एक डबल टोप्लिट्ज़ कोड निश्चित रूप से मौजूद होगा जिसका न्यूनतम भार कम से कम $d$ है।

कम्प्यूटेशनल वर्गीकरण (Computational Classification)

व्यापक खोज (Exhaustive Search): विशिष्ट लंबाई और क्षेत्रों के लिए, लेखकों ने Magma का उपयोग करके व्यापक कंप्यूटर खोज की।
समतुल्यता न्यूनीकरण (Equivalence Reduction): कम्प्यूटेशनल जटिलता को प्रबंधित करने के लिए, उन्होंने पैरामीटर्स $(t, a, b)$ $(t, a, b)$ को सामान्य करने के लिए न्यूनीकरण लेम्मा (Lemma 5.1, 5.2, 5.3) का उपयोग किया:
- गैर-शून्य क्षेत्र तत्वों द्वारा स्केलिंग।
- वेक्टर्स $a$ और $b$ का आदान-प्रदान (आइसोड्युअलिटी के कारण)।
- समतुल्य क्रमपरिवर्तन (permutations) की जाँच से बचने के लिए वेक्टर्स का क्रम निर्धारण।
तुलना (Comparison): वर्गीकृत कोड्स की तुलना मौजूदा डबल सर्कुलेंट या डबल नेगासर्कुलेंट कोड्स से की गई ताकि नए, असमान (inequivalent) संरचनाओं की पहचान की जा सके।

3. मुख्य योगदान (Key Contributions)

स्पष्ट औसत भार गणक सूत्र: यह शोध पत्र डबल टोप्लिट्ज़ कोड्स के औसत भार गणक के लिए पहला सैद्धांतिक अभिव्यक्ति प्रदान करता है (Theorem 3.3)। यह सूत्र केवल $n, q$ और संयोजन पदों (combinatorial terms) पर निर्भर करता है, जिससे कोड्स के सेट को उत्पन्न करने की आवश्यकता समाप्त हो जाती है।
अस्तित्व सीमाएँ (Existence Bounds): लेखकों ने $\mathbb{F}_2, \mathbb{F}_3,$ और $\mathbb{F}_4$ पर $d \le 10$ के लिए न्यूनतम भार $d$ वाले डबल टोप्लिट्ज़ कोड्स की उपस्थिति सुनिश्चित करने के लिए आवश्यक लंबाई $n_q(d)$ के सटीक निचले स्तर (lower bounds) स्थापित किए।
पिछले डेटा का सुधार: लेखकों ने लंबाई 28 के लिए टर्नरी (ternary) डबल टोप्लिट्ज़ कोड्स के अधिकतम न्यूनतम भार के संबंध में एक पिछले अध्ययन [20] में त्रुटि की पहचान की और उसे सुधारा, यह सिद्ध करते हुए कि $d_{3,DT}(28) = 9$ (पहले इसे 8 बताया गया था, लेकिन पेपर स्पष्ट करता है कि भार 9 वाला कोड मौजूद है और भार 10 वाला कोड अस्तित्व में नहीं है)।
नए इष्टतम कोडों की खोज: वर्गीकरण से बड़ी संख्या में ऐसे DT-इष्टतम कोड सामने आए जो डबल सर्कुलेंट या डबल नेगासर्कुलेंट कोड्स के असमतुल्य (inequivalent) हैं। यह इष्टतम आइसोडुअल कोड्स के ज्ञात पुस्तकालय का विस्तार करता है।

4. मुख्य परिणाम (Key Results)

निर्दिष्ट न्यूनतम भारों के साथ कोडों का अस्तित्व

पेपर यह निर्धारित करता है कि किसी $\mathbb{F}_q$ पर डबल टोप्लिट्ज़ कोड के लिए न्यूनतम भार कम से कम $d$ होने के लिए आवश्यक न्यूनतम लंबाई $n_q(d)$ क्या है:

बाइनरी ( $q=2$ ): $d \ge 5$ के लिए $n \ge 16$ हेतु कोड मौजूद हैं; $d \ge 8$ के लिए $n=24$ और $n \ge 28$ हेतु।
टर्नरी ( $q=3$ ): $d \ge 5$ के लिए $n \ge 10$ हेतु कोड मौजूद हैं; $d \ge 9$ के लिए $n=24$ और $n \ge 28$ हेतु।
क्वाटरनरी ( $q=4$ ): $d \ge 5$ के लिए $n \ge 10$ हेतु कोड मौजूद हैं; $d \ge 10$ के लिए $n \ge 28$ हेतु।
नोट: कई विशिष्ट छोटी लंबाई के लिए, लेखकों ने स्पष्ट रूप से गैर-अस्तित्व (non-existence) को सत्यापित किया (जैसे, $n \le 14$ के लिए $d=5$ वाला कोई बाइनरी कोड नहीं है)।

DT-इष्टतम कोड्स का वर्गीकरण

लेखकों ने विभिन्न लंबाई के लिए असमान (inequivalent) DT-इष्टतम कोड्स की संख्या को वर्गीकृत किया:

बाइनरी: 40 तक की लंबाई के लिए। उदाहरण के लिए, $n=38$ पर, 118,328 असमान DT-इष्टतम कोड्स हैं जो डबल सर्कुलेंट नहीं हैं, जबकि 415 डबल सर्कुलेंट कोड्स हैं।
टर्नरी: 26 तक की लंबाई के लिए। $n=18$ पर, 156,189 असमान DT-इष्टतम कोड्स हैं जो डबल सर्कुलेंट या नेगासर्कुलेंट कोड्स के समतुल्य नहीं हैं।
क्वाटरनरी: 20 तक की लंबाई के लिए (कम्प्यूटेशनल सीमाओं के कारण 16 को छोड़कर)। $n=14$ पर, ऐसे 360 कोड्स हैं।

विशिष्ट इष्टतम मान (Specific Optimal Values)

$d_{3,DT}(28)$ : इसे सुधार कर 9 किया गया।
$n \in \{16, 18, 20, 22, 24\}$ के लिए $d_{4,DT}(n)$ : क्रमशः 6, 7, 8, 8, 9 निर्धारित किया गया।

5. महत्व (Significance)

कोड परिवारों का विस्तार: यह अध्ययन दर्शाता है कि डबल टोप्लिट्ज़ कोड्स नए आइसोडुअल कोड्स का एक समृद्ध स्रोत हैं। पाए गए असमान कोड्स की विशाल संख्या (जो अक्सर डबल सर्कुलेंट कोड्स की तुलना में कई गुना अधिक है) यह सुझाव देती है कि केवल सर्कुलेंट संरचनाओं पर शोध करने से इष्टतम कोड्स का एक बड़ा हिस्सा छूट जाता है।
कार्यप्रणाली में प्रगति: स्पष्ट सूची बनाए बिना औसत भार गणक का व्युत्पत्ति करना भविष्य के कोडिंग थ्योरी अनुसंधान के लिए एक शक्तिशाली उपकरण प्रदान करता है। यह शोधकर्ताओं को उन बड़े परिवारों में इष्टतम कोड्स के अस्तित्व की भविष्यवाणी करने की अनुमति देता जहाँ व्यापक खोज (exhaustive search) कम्प्यूटेशनल रूप से अव्यवहार्य है।
व्यावहारिक निहितार्थ: विशिष्ट इष्टतम पैरामीटर्स $(t, a, b)$ की पहचान करके, यह पेपर विशिष्ट संरचनात्मक गुणों (आइसोड्युअलिटी) के साथ उच्च त्रुटि सुधार क्षमताओं की आवश्यकता वाले संचार प्रणालियों के लिए संभावित उपयोग हेतु ठोस निर्माण प्रदान करता है।
खुले प्रश्न: यह पेपर यह प्रश्न उठाता है कि क्या $q \in \{2, 4\}$ के लिए $d_{q,DT}(n)$ वास्तव में $d_{q,DC}(n)$ (सर्वश्रेष्ठ डबल सर्कुलेंट भार) से अधिक हो सकता है, जो यह संकेत देता है कि डबल टोप्लिट्ज़ कोड्स कुछ क्षेत्रों में बेहतर प्रदर्शन प्रदान कर सकते हैं।

संक्षेप में, यह शोध पत्र सैद्धांतिक संयोजन विज्ञान (combinatorics) और कम्प्यूटेशनल कोडिंग थ्योरी को जोड़कर डबल टोप्लिट्ज़ कोड्स की समझ को महत्वपूर्ण रूप से उन्नत करता है, जो एक सामान्य अस्तित्व प्रमेय और छोटे से मध्यम लंबाई के लिए इष्टतम कोड्स का विस्तृत विवरण दोनों प्रदान करता है।