Evaluation codes from linear systems of conics

तकनीकी सारांश: रैखिक कॉनिक प्रणालियों से मूल्यांकन कोड (Evaluation Codes)

समस्या विवरण
यह शोध पत्र सममित बहुपदों (symmetric polynomials) की रैखिक प्रणालियों से प्राप्त मूल्यांकन कोड के मापदंडों की जांच करता है, जो सम विशेषता वाले परिमित क्षेत्रों $\mathbb{F}_q$ ($q=2^h$) पर आधारित हैं। विशेष रूप से, लेखक "न्यूनीकरण किए गए सामान्यीकृत दत्ता-जॉनसन कोड" (reduced generalized Datta-Johnsen code) पर ध्यान केंद्रित करते हैं, जहाँ कोडवर्ड्स को एक चुने गए रैखिक तंत्र $V$ के बहुपदों को अफ़ाइन प्लेन $AG(2, \mathbb{F}_q)$ में "विशिष्ट बिंदुओं" (distinguished points) पर मूल्यांकित करके बनाया जाता है। विशिष्ट बिंदु वे हैं जिनके निर्देशांक युग्म (pairwise) भिन्न होते हैं। मूल्यांकन सेट को समन्वय क्रमपरिवर्तन (coordinate permutation) के तहत तुल्यता वर्गों के प्रतिनिधियों के रूप में न्यूनीकृत किया गया है, जो प्रभावी रूप से $\mathbb{F}_q^2 / \text{Sym}_2$ के कोटि-विविधता (quotient variety) के अनरैमिफाइड बिंदुओं के सेट की पहचान करता है।

जबकि विषम विशेषता वाले मामले को एक परवलय (parabola) के बाह्य बिंदुओं के रूप में पहचानकर पहले ही हल किया जा चुका था, सम विशेषता वाला मामला एक अलग ज्यामितीय चुनौती प्रस्तुत करता है: $q$ सम होने पर $AG(2, \mathbb{F}_q)$ में, किसी कॉनिक (conic) के लिए कोई बाह्य बिंदु नहीं होते हैं। यह शोध पत्र इस विशिष्ट बिंदुसेट और कॉनिक्स के बीच प्रतिच्छेदन आकार (intersection sizes) को निर्धारित करने के लिए इस बिंदुसेट और कॉनिक्स के बीच संबंध को चरित्रित करने का लक्ष्य रखता है, ताकि परिणामी कोड के भार वितरण (weight distribution) और न्यूनतम दूरी (minimum distance) को निर्धारित किया जा सके।

कार्यप्रणाली (Methodology)
लेखक परिमित ज्यामिति (finite geometry), बीजगणिक ज्यामिति (algebraic geometry) और कोडिंग सिद्धांत के संयोजन का उपयोग करते हैं। मुख्य कार्यप्रणाली में शामिल हैं:

1. मूल्यांकन सेट का ज्यामितीय लक्षण वर्णन:
   मूल्यांकन सेट $\Delta$ (मूल बिंदु को छोड़कर) को परवलयों के एक विशिष्ट परिवार द्वारा कवर किए गए बिंदुओं के रूप में पहचाना गया है। सम $q$ के लिए, $\Delta$ को उन बिंदुओं के सेट के रूप में दिखाया गया है $(x, ax^2)$ जहाँ $x \in \mathbb{F}_q^*$ और गुणांक $a$ का ट्रेस शून्य ($\text{Tr}(a)=0$) है। इस सेट को $\bar{\Delta} \setminus \{(0,0)\}$ के रूप में नामित किया गया है, जो $\text{Tr}(a)=0$ वाले परवलय $Y = aX^2$ द्वारा कवर किया गया है।

2. बीजगणिक वक्रों में रूपांतरण:
   एक कॉनिक $C$ के लिए प्रतिच्छेदन आकार $|\Delta \cap C|$ निर्धारित करने के लिए, लेखक एक द्विघाती रूपांतरण $\phi_2: (x_1, x_2) \to (x_1+x_2, x_1x_2)$ का उपयोग करते हैं। यह सममित डोमेन में गणना करने की समस्या को $\mathbb{F}_q$ पर परिभाषित विशिष्ट प्लेन बीजगणिक वक्रों पर परिमेय बिंदुओं की गणना करने में बदल देता है।

• प्रतिच्छेदन का आकार कॉनिक समीकरण से प्राप्त वक्र $F$ के परिमेय बिंदुओं की संख्या $N_q(F)$ से संबंधित है।
• $F$ को वक्रों $G$ और तत्पश्चात क्यूबिक वक्रों $H$ में मैप करने के लिए आगे के द्विघाती रूपांतरण लागू किए जाते हैं।

3. क्यूबिक वक्रों का विश्लेषण:
   समस्या को क्यूबिक वक्र $H$ पर परिमेय बिंदुओं के विश्लेषण तक सीमित कर दिया गया है। लेखक $H$ के अपरिमेय (irreducible) और अपरिमेय (reducible/degenerate) होने के मामलों के बीच अंतर करते हैं।

• अपरिमेय $H$ के लिए, लेखक हासे-वील (Hasse-Weil) सीमा और एलिप्टिक एवं परिमेय वक्रों के स्पेक्ट्रम के संबंध में वॉटरहाउस (Waterhouse) के परिणामों को लागू करते हैं।
• अपरिमेय $H$ के लिए, विश्लेषण वक्र के रैखिक घटकों (रेखाओं) में विघटन और उनके विशिष्ट बिंदुसेट के साथ प्रतिच्छेदन की गणना पर निर्भर करता है।

4. कोडिंग सिद्धांत अनुप्रयोग:
   व्युत्पन्न प्रतिच्छेदन आकारों का उपयोग मूल्यांकन कोड के भार वितरण की गणना करने के लिए किया जाता है। एक कोडवर्ड का भार $\Delta$ में उन बिंदुओं की संख्या के अनुरूप होता है जो बहुपदीय द्वारा परिभाषित वक्र पर नहीं स्थित हैं।

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

• $\Delta$ का ज्यामितिक विवरण: यह शोध पत्र स्थापित करता है कि सम $q$ के लिए, $\Delta$ को $\text{Tr}(a)=0$ वाले परवलय $Y = aX^2$ के परिवार द्वारा ठीक एक बार कवर किया जाता है। यह "बाह्य बिंदुओं" की अवधारणा को बदलने के लिए आवश्यक ज्यामितिक ढांचा प्रदान करता है जिसका उपयोग विषम विशेषता में किया जाता था।
• प्रतिच्छेदन स्पेक्ट्रम (Intersection Spectrum): लेखक एक गैर-अपभ्रंश (non-degenerate) कॉनिक $C$ और $\Delta$ के बीच प्रतिच्छेदन के संभावित आकारों को निर्धारित करते हैं।
  • सामान्य सीमा: एक गैर-अपभ्रंश कॉनिक $C$ के लिए, $\frac{1}{2}(q - 2\sqrt{q} - 2) \leq |\Delta \cap C| \leq \frac{1}{2}(q + 2\sqrt{q} - 1)$ है, जिसमें विशिष्ट अपवाद हैं।
  • अपवाद: शोध पत्र विशिष्ट अपभ्रंश मामलों (जैसे, जब कॉनिक समीकरण में कुछ पद लुप्त होते हैं) की पहचान करता है जहाँ प्रतिच्छेदन आकार $0, 1, q-1,$ या $q$ हो सकता है।
• कोड पैरामीटर्स:
  • पूर्ण कॉनिक सिस्टम: सभी कॉनिक्स की रैखिक प्रणाली से उत्पन्न न्यूनीकृत सामान्यीकृत दत्ता-जॉनसन कोड को $[\frac{1}{2}q(q-1), 6, \frac{1}{2}q(q-3)]_q$ कोड के रूप में निर्धारित किया गया है।
  • विमीय 3 उपप्रणाली (निर्माण 1): एक विशिष्ट 3-विमीय रैखिक तंत्र (जो फ्रोबेनियस मैप द्वारा अपरिवर्तित $PG(2, \mathbb{F}_{q^3})$ के कॉनिक्स के नेट से प्राप्त है) का चयन करके, लेखक एक कोड का निर्माण करते हैं जिसके पैरामीटर्स $[\frac{1}{2}q(q-1), 3, d]_q$ हैं। न्यूनतम दूरी $d$ कम से कम $\frac{1}{2}(q^2 - 2q - 2\sqrt{q} + 1)$ है। $q=8$ के लिए, गहन खोज (exhaustive search) पुष्टि करती है कि $d$ या तो 21 है या 22 है, जो दर्शाता है कि सीमा सटीक (sharp) है। इस कोड के एक विशिष्ट उदाहरण का द्वैत (dual) एक $[28, 25, 3]_8$ कोड है जिसका न्यूनतम अंतर इष्टतम है।
  • विमीय 4 उपप्रणाली (निर्माण 2): सभी परवलयों से बना एक 4-विमीय तंत्र $[\frac{1}{2}q(q-1), 4, \frac{1}{2}q(q-3)]_q$ कोड प्रदान करता है जिसका भार वितरण पूरी तरह से निर्धारित है।

महत्व
यह शोध पत्र सफलतापूर्वक दत्ता-जॉनसन कोड के सिद्धांत को सम विशेषता के मामले में विस्तारित करता है, जहाँ मानक ज्यामितीय व्याख्याएँ (जैसे किसी कॉनिक के बाह्य बिंदु) विफल हो जाती हैं। $\Delta$ और विशिष्ट क्यूबिक वक्रों के परिमेय बिंदुओं के बीच एक कठोर संबंध स्थापित करके, लेखक इन कोडों के मौलिक मापदंडों (विमा, न्यूनतम दूरी और भार वितरण) को प्रदान करते हैं।

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