Angle Between Two Vectors over Finite Fields and an Application to Projective Unique Decoding

तकनीकी सारांश: परिमित क्षेत्रों (Finite Fields) पर दो सदिशों के बीच कोण और प्रोजेक्टिव यूनिक डिकोडिंग में इसका अनुप्रयोग

समस्या विवरण
यूक्लिडियन स्पेस ($\mathbb{R}^n$) में, दूरी और कोण की ज्यामितीय अवधारणाएं मौलिक हैं, जहाँ कोणीय मीट्रिक (angular metric) आंतरिक गुणन (inner product) से सुरुचिपूर्ण ढंग से व्युत्पन्न होती है। हालाँकि, परिमित क्षेत्रों ($\mathbb{F}_q^n$) पर, मानक आंतरिक गुणन एक सुदृढ़ ज्यामितीय ढांचा प्रदान करने में विफल रहता है; विशेष रूप से, गैर-शून्य सदिश स्व-लंबवत (self-orthogonal) हो सकते हैं ($u \cdot u = 0$), और लंबवतता (orthogonality) ज्यामितीय लंबवतता को सटीक रूप से नहीं दर्शाती है। जबकि हैमिंग दूरी ($d_H$) कोडिंग थ्योरी के लिए एक विश्वसनीय मीट्रिक के रूप में कार्य करती है, परिमित क्षेत्रों पर सदिशों के लिए कोई स्थापित, संतोषजनक "कोण" या "समानांतरता" की धारणा नहीं थी जो एक वास्तविक मीट्रिक के रूप में कार्य कर सके। यह शोध पत्र $\mathbb{F}_q^n$ पर एक कोणीय मीट्रिक को परिभाषित करने के अंतराल को संबोधित करता है जो अदिश गुणन (scalar multiplication) के तहत अपरिवर्तित रहता है और प्रोजेक्टिव स्पेस $\mathbb{P}(\mathbb{F}_q^n)$ पर उतरता है।

कार्यप्रणाली
लेखक हैमिंग कोण (Hamming angle) को प्रस्तुत करते हैं, जिसे $\text{angle}_H(u, v)$ के रूप में दर्शाया गया है, जो गैर-शून्य सदिशों $u, v \in \mathbb{F}_q^n$ के लिए इस प्रकार परिभाषित है:
$$\text{angle}_H(u, v) := \min_{c \in \mathbb{F}_q^\star} d_H(u, cv)$$
जहाँ $d_H$ मानक हैमिंग दूरी है और $\mathbb{F}_q^\star$ क्षेत्र का गुणात्मक समूह (multiplicative group) है। यह परिभाषा प्रभावी रूप से $u$ और $v$ द्वारा स्पैन किए गए छिद्रित रेखा (punctured line) के बीच न्यूनतम हैमिंग दूरी को मापती है।

कार्यप्रणाली तीन मुख्य विश्लेषणात्मक चरणों के माध्यम से आगे बढ़ती है:

1. मीट्रिक सत्यापन (Metric Verification): शोध पत्र कठोरता से सिद्ध करता है कि $\text{angle}_H$ प्रोजेक्टिव स्पेस पर देखे जाने पर मीट्रिक के तीन अभिगृहों (axioms) को संतुष्ट करता है (अनन्यता की पहचान - अदिश गुणन तक, समरूपता, और त्रिभुज असमानता)।
2. एल्गोरिदम विश्लेषण (Algorithmic Analysis): $\text{angle}_H$ की गणना करने के लिए एक रैखिक-समय एल्गोरिदम ($O(n)$) प्रस्तावित किया गया है, जो शून्य/गैर-शून्य पैटर्न के आधार पर सदिश निर्देशांकों को विभाजित करके और विशिष्ट अदिश अनुपातों के लिए सहमति गणना (agreement count) को अधिकतम करके कार्य करता है।
3. कोडिंग थ्योरी अनुप्रयोग (Coding Theory Application): इस अवधारणा को लीनियर कोड्स पर लागू करके एक कोणीय संस्करण वाले 'यूनिक डिकोडिंग प्रमेय' को प्राप्त किया जाता है। $\text{angle}_H(u, C)$ और कोड के लिए मानक हैमिंग दूरी $d_H(u, C)$ के बीच के संबंध का सावधानीपूर्वक विश्लेषण किया गया है, विशेष रूप से उन मामलों को अलग करते हुए जहाँ शून्य सदिश निकटतम बिंदु होता है।

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

1. परिभाषा और मीट्रिक गुण (प्रमेय 3.2):
   प्राथमिक योगदान यह प्रमाण है कि $\text{angle}_H$ अदिश गुणन तक मीट्रिक अभिगृ हों को संतुष्ट करता है। विशेष रूप से:

• $\text{angle}_H(u, v) = 0$ यदि और केवल यदि $u$ और $v$ एक ही प्रोजेक्टिव बिंदु को स्पैन करते हैं ($u = cv$)।
• $\text{angle}_H(u, v) = \text{angle}_H(v, u)$।
• त्रिभुज असमानता (triangle inequality) लागू होती है: $\text{angle}_H(u, w) \leq \text{angle}_H(u, v) + \text{angle}_H(v, w)$।
  फलस्वरूप, $\text{angle}_H$ प्रोजेक्टिव स्पेस $\mathbb{P}(\mathbb{F}_q^n)$ पर एक सुस्पष्ट पूर्णांक-मान वाली मीट्रिक के रूप में उतरता है।

2. गणना दक्षता (प्रपोजिशन 4.3):
   $q-1$ अदला-बदली (scalars) पर न्यूनीकरण (minimization) शामिल होने के बावजूद, शोध पत्र प्रदर्शित करता है कि $\text{angle}_H(u, v)$ को $O(n)$ समय में संगणना किया जा सकता है। यह विशिष्ट अनुपातों $u_i/v_i$ के लिए निर्देशांक सहमतियों (coordinate agreements) की गणना करके और अधिकतम सहमति गणना को निर्धारित करके प्राप्त किया जाता है।

3. ज्यामितीय भेद (अनुभाग 4.4):
   शोध पत्र हैमिंग कोण और यूक्लिडियन कोण के बीच गुणात्मक अंतरों को उजागर करता है:

• आंतरिक गुणन की विफलता (Inner Product Failure): $\mathbb{R}^n$ के विपरीत, $u \cdot v = 0$ का अर्थ हैमिंग के अर्थ में एक विशिष्ट "समकोण" का संकेत नहीं देता है। सदिश आंतरिक गुणन के अर्थ में लंबवत हो सकते हैं फिर भी उनका हैमिंग कोण कम हो सकता है।
• सांख्यिकीय दूरी सादृश्य (Statistical Distance Analogy): अधिकतम हैमिंग कोण ($n$) ठीक तब होता है जब $u$ और $v$ के सपोर्ट (supports) विसंयुक्त (disjoint) होते हैं (सांख्यिकीय दूरी में विसंयुक्त सपोर्ट के समान), जो यूक्लिडियन ज्यामिति में मौजूद नहीं है।
• मामला $q=2$: बाइनरी क्षेत्रों के लिए, हैमिंग कोण ठीक हैमिंग दूरी के समान होता है, क्योंकि एकमात्र गैर-शून्य अदिश 1 है।

4. कोणीय अद्वितीय डिकोडिंग (प्रमेय 5.4):
   यह शोध पत्र शास्त्रीय यूनिक डिकोडिंग प्रमेय का एक कोणीय समकक्ष सिद्ध करता है। एक लीनियर कोड $C$ के लिए जिसकी न्यूनतम दूरी $d$ है, यदि प्राप्त सदिश $u$ इस प्रकार है कि $\text{angle}_H(u, C) < d/2$, तो एक अद्वितीय कोडवर्ड दिशा $[c^\star] \in \mathbb{P}(C)$ मौजूद है जो $u$ के सबसे निकट है। यह प्रमाण $\text{angle}_H$ की त्रिभुज असमानता पर निर्भर करता है ताकि यह दिखाया जा सके कि दो अलग-अलग प्रोजेक्टिव कोडवर्ड $u$ के $d/2$ दूरी के भीतर नहीं हो सकते।

5. समीपता-अंतराल (Proximity-Gap) से संबंध (अनुभाग 5.3):
   लेखक इस कोणीय ढांचे और "प्रॉक्सिमिटी-गैप" समस्या (कोड के सापेक्ष एफाइन लाइनों का अध्ययन) के बीच संबंध पर चर्चा करते हैं। जबकि $\text{angle}_H$ अदिश गुणन के तहत अपरिवर्तित रहता है और सीधे एफाइन ज्यामिति को कैप्चर नहीं करता है, शोध पत्र नोट करता है कि त्रिभुज असमानता एक अनन्यता बाधा (uniqueness obstruction) प्रदान करती है जो प्रॉक्सिमिटी-गैप प्रमाणों में उपयोग की जाती है। यह सुझाव देता है कि कोणीय ढांचा इन समस्याओं का एक "प्रोजेक्टिव शैडो" (projective shadow) प्रदान करता है।

महत्व और दावे
शोध पत्र दावा करता है कि यह ज्यामिति, कोडिंग थ्योरी और क्रिप्टोग्राफी के दृष्टिकोण से व्याख्यायित कोणों को परिभाषित करने का पहला प्रयास है। इसका महत्व निम्नलिखित में निहित है:

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

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