$\mathcal{C}_{D}$-कोड्स से इष्टतम बाइनरी कोड्स एक गैर-श्रृंखला वलय पर

मूल जानकारी

• पेपर ID: 2510.09057
• शीर्षक: Optimal binary codes from $\mathcal{C}_{D}$-codes over a non-chain ring
• लेखक: अंकित यादव, रितुमोनी शर्मा, अनुज कुमार भगत (भारतीय प्रौद्योगिकी संस्थान दिल्ली)
• वर्गीकरण: cs.IT math.IT
• प्रकाशन समय: 25 अक्टूबर 10 (arXiv प्रीप्रिंट)
• पेपर लिंक: https://arxiv.org/abs/2510.09057v1

सारांश

यह पेपर गैर-श्रृंखला वलय $\mathcal{R} := \mathbb{F}_2[x,y]/\langle x^2, y^2, xy-yx\rangle$ पर $\mathcal{C}_D$-कोड्स के सबफील्ड कोड्स $\mathcal{C}_{D}^{(2)}$ का अध्ययन करता है, जहाँ परिभाषा समुच्चय $D$ सरल परिसर निर्माण पर आधारित है। लेखकों ने विभिन्न $D$ के अनुरूप $\mathcal{C}_D^{(2)}$ के हैमिंग भार वितरण और मापदंडों को निर्धारित किया है, दूरी-इष्टतम अनंत कोड परिवारों की पहचान की है, और इन कोड्स के न्यूनतम और स्व-लंबकोणीय होने के लिए पर्याप्त शर्तें प्रदान की हैं। इसके अतिरिक्त, निर्मित द्विगुण कोड्स से दो दृढ़ नियमित ग्राफ परिवार प्राप्त किए गए हैं।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की पृष्ठभूमि

1. दूरी-इष्टतम कोड्स का महत्व: निश्चित मापदंडों $n$ और $k$ के लिए, दूरी-इष्टतम कोड्स अधिकतम संभावित त्रुटि पहचान और सुधार क्षमता को प्राप्त करते हैं, जो कोडिंग सिद्धांत के मुख्य लक्ष्यों में से एक है।
2. मौजूदा निर्माण विधियाँ:
   • ग्रे मानचित्रण: परिमित वलय पर कोड्स से परिमित क्षेत्र पर कोड्स का निर्माण
   • सरल परिसर: चांग और ह्यून द्वारा पहली बार इष्टतम रैखिक कोड्स के निर्माण के लिए प्रस्तुत
3. पूर्व कार्य की सीमाएँ: शि और ली ने संदर्भ 27 में वलय $\mathcal{R}$ पर $\mathcal{C}_D$-कोड्स के ली भार वितरण और उनके ग्रे प्रतिबिंब का अध्ययन किया, लेकिन सबफील्ड कोड्स के अध्ययन में नहीं गए।

अनुसंधान प्रेरणा

1. मापदंड सुधार: यह सिद्ध करना कि बाइनरी सबफील्ड कोड्स $\mathcal{C}_D^{(2)}$ संदर्भ 27 में बाइनरी ग्रे प्रतिबिंब की तुलना में बेहतर मापदंड रखते हैं
2. सिद्धांत में सुधार: सरल परिसर-आधारित कोड परिवारों के लिए न्यूनतमता और स्व-लंबकोणीयता के सैद्धांतिक शर्तें प्रदान करना
3. अनुप्रयोग विस्तार: द्विगुण कोड्स को दृढ़ नियमित ग्राफ के निर्माण में लागू करना

मुख्य योगदान

1. सबफील्ड कोड्स के हैमिंग भार वितरण को निर्धारित किया: सरल परिसर निर्माण पर आधारित विभिन्न परिभाषा समुच्चयों के लिए $\mathcal{C}_D^{(2)}$ के भार वितरण को पूर्णतः चित्रित किया
2. कई दूरी-इष्टतम कोड परिवार निर्मित किए: कई अनंत दूरी-इष्टतम बाइनरी रैखिक कोड परिवारों की पहचान की, कुछ ग्रीसमर सीमा तक पहुँचते हैं
3. न्यूनतमता और स्व-लंबकोणीयता शर्तें स्थापित कीं: $\mathcal{C}_D^{(2)}$ के न्यूनतम कोड और स्व-लंबकोणीय कोड होने के लिए पर्याप्त शर्तें प्रदान कीं
4. मापदंड लाभ सिद्ध किया: यह प्रदर्शित किया कि सबफील्ड कोड्स ग्रे प्रतिबिंब कोड्स की तुलना में बेहतर मापदंड रखते हैं
5. दृढ़ नियमित ग्राफ निर्माण: द्विगुण प्रक्षेपी कोड्स का उपयोग करके दो दृढ़ नियमित ग्राफ परिवार निर्मित किए

विधि विवरण

कार्य परिभाषा

वलय $\mathcal{R} = \mathbb{F}_2[x,y]/\langle x^2, y^2, xy-yx\rangle$ पर रैखिक कोड्स $\mathcal{C}_D$ का अध्ययन करना, जहाँ:

• परिभाषा समुच्चय $D$ सरल परिसर निर्माण पर आधारित है
• लक्ष्य इसके बाइनरी सबफील्ड कोड्स $\mathcal{C}_D^{(2)}$ के गुणों का विश्लेषण करना है

सैद्धांतिक ढाँचा

1. वलय संरचना और आधार

वलय $\mathcal{R}$ के प्रत्येक तत्व को $a + bu + cv + duv$ के रूप में व्यक्त किया जा सकता है, जहाँ $a,b,c,d \in \mathbb{F}_2$, $u = x + \langle x^2, y^2\rangle$, $v = y + \langle x^2, y^2\rangle$।

$\mathbb{F}_2$-आधार चुनें $\mathcal{B} = \{b_1 = 1+u+v, b_2 = u+v, b_3 = u, b_4 = uv\}$।

2. सबफील्ड कोड निर्माण

$\mathbb{F}_2$-मूल्यवान ट्रेस मानचित्रण $\tau: \mathcal{R} \to \mathbb{F}_2$ का उपयोग करें: $\tau(a + bu + cv + duv) = a + b + c + d$

प्रमेय 3.3: यदि $D = b_1D_1 + b_2D_2 + b_3D_3 + b_4D_4$, तो $\mathcal{C}_D^{(2)}$ मैट्रिक्स द्वारा उत्पन्न होता है: $G^{(2)} = \begin{pmatrix} G_1 + G_4 \\ G_3 \\ G_2 \\ G_1 \end{pmatrix}$

3. भार गणना सूत्र

$(x_1,x_2,x_3,x_4) \in (\mathbb{F}_2^m)^4$ के लिए, निम्नलिखित है: $\text{wt}(c_D^{(2)}(x_1,x_2,x_3,x_4)) = \frac{|D|}{2} - \frac{1}{2}\sum_{d_1 \in D_1} (-1)^{(x_1+x_4)d_1} \sum_{d_2 \in D_2} (-1)^{x_3d_2} \sum_{d_3 \in D_3} (-1)^{x_2d_3} \sum_{d_4 \in D_4} (-1)^{x_1d_4}$

मुख्य तकनीकी नवाचार

1. बूलियन फलन तकनीक

बूलियन फलन $\psi(\cdot | Y): \mathbb{F}_2^m \to \mathbb{F}_2$ को परिभाषित करें: $\psi(x_1 | Y) = \prod_{i \in Y}(1-\alpha_i) = \begin{cases} 1, & \text{यदि } \text{Supp}(x_1) \cap Y = \emptyset \\ 0, & \text{यदि } \text{Supp}(x_1) \cap Y \neq \emptyset \end{cases}$

2. सरल परिसर का अनुप्रयोग

सरल परिसर $\Delta_X$ और इसके पूरक $\Delta_X^c$ के गुणों का उपयोग करें: $\sum_{t \in \Delta_Y} (-1)^{x_1 t} = 2^{|Y|}\psi(x_1 | Y)$$\sum_{t \in \Delta_Y^c} (-1)^{x_1 t} = 2^m\delta_{0,x_1} - 2^{|Y|}\psi(x_1 | Y)$

प्रायोगिक सेटअप

सैद्धांतिक सत्यापन

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

सत्यापन उदाहरण

उदाहरण 4.8: $m=4$, $X=Y=Z=\emptyset$, $W=\{1,2,3\}$

• $[120, 7, 60]$ मापदंडों वाला द्विगुण इष्टतम बाइनरी रैखिक कोड प्राप्त किया
• भार गणना सूत्र: $x^{120} + 15x^{56}y^{64} + 112x^{60}y^{60}$
• यह कोड न्यूनतम और स्व-लंबकोणीय दोनों है, क्वांटम त्रुटि सुधार कोड $[[120, 106, 3]]$ का निर्माण कर सकता है

प्रायोगिक परिणाम

मुख्य सैद्धांतिक परिणाम

प्रमेय 4.2 छह विभिन्न परिभाषा समुच्चयों के अनुरूप कोड मापदंड देता है:

1. एकल कोड: $D = b_1\Delta_X + b_2\Delta_Y + b_3\Delta_Z + b_4\Delta_W$
   • मापदंड: $[2^{|X|+|Y|+|Z|+|W|}, |X|+|Y|+|Z|+|W|, 2^{|X|+|Y|+|Z|+|W|-1}]$
   • दूरी-इष्टतम शर्त: $|X|+|Y|+|Z|+|W| \geq 2$
2. द्विगुण कोड: $D = b_1\Delta_X^c + b_2\Delta_Y + b_3\Delta_Z + b_4\Delta_W$ ($|X| < m$)
   • मापदंड: $[(2^m-2^{|X|})2^{|Y|+|Z|+|W|}, m+|Y|+|Z|+|W|, (2^m-2^{|X|})2^{|Y|+|Z|+|W|-1}]$
   • ग्रीसमर सीमा तक पहुँचता है, दूरी-इष्टतम
3. चतुर्गुण कोड: $D = b_1\Delta_X^c + b_2\Delta_Y^c + b_3\Delta_Z + b_4\Delta_W$
   • मापदंड: $[(2^m-2^{|X|})(2^m-2^{|Y|})2^{|Z|+|W|}, 2m+|Z|+|W|, (2^m-2^{|X|}-2^{|Y|})2^{m+|Z|+|W|-1}]$
   • दूरी-इष्टतम शर्त: $2^{|X|+|Y|+|Z|+|W|} \leq m+|Z|+|W|+\min\{|X|,|Y|\}$

न्यूनतमता और स्व-लंबकोणीयता शर्तें

प्रमेय 4.7 पर्याप्त शर्तें प्रदान करता है:

• स्व-लंबकोणीयता: जब प्रत्येक कोडवर्ड का भार 4 का गुणज हो (प्रमेय 2.2 का उपयोग करके)
• न्यूनतमता: जब $\frac{\text{wt}_{\min}}{\text{wt}_{\max}} > \frac{1}{2}$ हो (लेम्मा 2.3 का उपयोग करके)

दृढ़ नियमित ग्राफ निर्माण

प्रमेय 4.12 और 4.13 दो दृढ़ नियमित ग्राफ परिवार निर्मित करते हैं:

• पहला परिवार मापदंड: $(2^{m+|Y|+|Z|+|W|}, (2^m-2^{|X|})2^{|Y|+|Z|+|W|}, (2^m-2^{|X|+1})2^{|Y|+|Z|+|W|}, (2^m-2^{|X|})2^{|Y|+|Z|+|W|})$
• दूसरा परिवार मापदंड: $(2^{m+|Y|+|Z|+|W|}, 2^{|X|+|Y|+|Z|+|W|}-1, 2^{|X|+|Y|+|Z|+|W|}-2, 0)$

संबंधित कार्य

ऐतिहासिक विकास

1. ग्रे मानचित्रण विधि: हैमन्स आदि द्वारा पहली बार इष्टतम गैर-रैखिक कोड्स के निर्माण में ग्रे मानचित्रण का अनुप्रयोग
2. सरल परिसर विधि: चांग और ह्यून द्वारा इष्टतम रैखिक कोड्स के निर्माण के लिए सरल परिसर का परिचय
3. वलय पर कोड सिद्धांत: विभिन्न परिमित वलयों पर कोड्स के निर्माण का अनुसंधान

इस पेपर का योगदान स्थिति

• शि और ली के कार्य को विस्तारित किया, ग्रे प्रतिबिंब से सबफील्ड कोड्स की ओर
• अधिक व्यवस्थित सैद्धांतिक ढाँचा प्रदान किया
• मापदंड लाभ और इष्टतमता सिद्ध की

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

1. कई दूरी-इष्टतम बाइनरी रैखिक कोड परिवारों का सफल निर्माण
2. न्यूनतमता और स्व-लंबकोणीयता के सैद्धांतिक मानदंड की स्थापना
3. सबफील्ड कोड्स के ग्रे प्रतिबिंब कोड्स पर मापदंड लाभ का प्रमाण
4. कोडिंग सिद्धांत से ग्राफ सिद्धांत तक अनुप्रयोग की प्राप्ति

सीमाएँ

1. केवल एकल अधिकतम तत्व वाले सरल परिसरों पर विचार किया गया
2. दो अधिकतम तत्वों वाले परिसरों तक विस्तार की गणना बहुत जटिल है
3. कुछ दूरी-इष्टतमता शर्तें काफी कठोर हैं

भविष्य की दिशाएँ

1. विभिन्न वर्णमाला पर $\mathcal{C}_D$-कोड्स के सबफील्ड कोड्स का अध्ययन
2. दो अधिकतम तत्वों वाले सरल परिसरों की खोज
3. अधिक सामान्य दूरी-इष्टतमता शर्तें खोजना

गहन मूल्यांकन

शक्तियाँ

1. सैद्धांतिक योगदान महत्वपूर्ण है: सबफील्ड कोड्स के भार वितरण का व्यवस्थित विश्लेषण, सैद्धांतिक रिक्तता को भरता है
2. विधि नवाचार मजबूत है: सरल परिसर, बूलियन फलन और ट्रेस मानचित्रण का कुशल संयोजन
3. परिणाम पूर्णता अच्छी है: भार वितरण तालिका और मापदंड सूत्र पूर्ण प्रदान किए गए हैं
4. अनुप्रयोग मूल्य उच्च है: निर्मित कोड्स क्वांटम त्रुटि सुधार कोड्स और दृढ़ नियमित ग्राफ में उपयोग किए जा सकते हैं

कमियाँ

1. गणना जटिलता उच्च है: जटिल सरल परिसरों के लिए गणना बहुत कठिन हो जाती है
2. व्यावहारिक सत्यापन अपर्याप्त है: बड़े पैमाने पर संख्यात्मक प्रयोग और वास्तविक अनुप्रयोग परीक्षण की कमी
3. सामान्यीकरण सीमित है: विधि मुख्य रूप से विशिष्ट वलय संरचनाओं के लिए उपयुक्त है

प्रभाव

1. शैक्षणिक मूल्य: बीजगणितीय कोडिंग सिद्धांत के लिए नई अनुसंधान दिशा प्रदान करता है
2. व्यावहारिक मूल्य: निर्मित इष्टतम कोड्स संचार प्रणालियों में संभावित अनुप्रयोग रखते हैं
3. पुनरुत्पादनीयता: सैद्धांतिक परिणाम पूर्ण हैं, लेकिन समझने के लिए मजबूत गणितीय पृष्ठभूमि की आवश्यकता है

लागू परिदृश्य

1. उच्च दक्षता त्रुटि सुधार की आवश्यकता वाली संचार प्रणालियाँ
2. क्वांटम सूचना प्रसंस्करण में क्वांटम त्रुटि सुधार कोड्स
3. संयोजन गणित में दृढ़ नियमित ग्राफ निर्माण
4. क्रिप्टोग्राफी में गुप्त साझाकरण योजनाएँ

संदर्भ

पेपर में 35 संबंधित संदर्भों का हवाला दिया गया है, मुख्य रूप से:

• 27 शि, एम. और ली, एक्स. का पूर्व कार्य (इस पेपर द्वारा सीधे विस्तारित)
• 9 चांग, एस. और ह्यून, जे.वाई. सरल परिसर पर अग्रणी कार्य
• 13 हैमन्स आदि द्वारा ग्रे मानचित्रण पर शास्त्रीय कार्य
• 12 ग्रीसमर द्वारा कोड लंबाई सीमा पर मौलिक सिद्धांत