Beyond Polynomials: Optimal Locally Recoverable Codes from Good Rational Functions

तकनीकी सारांश: बहुपदों से परे: अच्छे तर्कसंगत फलनों (Rational Functions) से इष्टतम स्थानीय रूप से पुनप्राप्त करने योग्य कोड (Locally Recoverable Codes)

समस्या विवरण
स्थानीय रूप से पुनप्राप्त करने योग्य कोड (LRCs) वितरित और क्लाउड स्टोरेज सिस्टम के लिए आवश्यक हैं, जहाँ एक एकल मिटाए गए निर्देशांक (coordinate) को अन्य कुछ निर्देशांकों तक पहुँचकर पुनः प्राप्त करने की क्षमता (locality $r$) महत्वपूर्ण होती है। एक $(n, k, r)$-LRC के मापदंडों (parameters) पर मौलिक सीमा 'सिंगलटन-प्रकार का बाउंड' (Singleton-type bound) है: $d \le n - k - \lceil k/r \rceil + 2$। इस बाउंड को पूरा करने वाले कोडों को "इष्टतम" (optimal) कहा जाता है।

इष्टतम LRCs के निर्माण का प्रमुख प्रतिमान (paradigm), जिसे तामो और बर्ग (Tamo and Barg) द्वारा पेश किया गया था, "अच्छे बहुपदों" (good polynomials) पर निर्भर करता है। एक बहुपद $f \in \mathbb{F}_q[X]$ $(r, l)$-अच्छा है यदि इसकी घात (degree) $r+1$ है और यह $r+1$ आकार के $l$ विलगित उपसमुच्चयों (disjoint subsets) पर स्थिर (constant) है। ऐसे उपसमुच्चयों की संख्या $l$, कोड की लंबाई $n = (r+1)l$ को निर्धारित करती है। हालाँकि, बड़े $l$ वाले अच्छे बहुपदों का निर्माण परिमित क्षेत्र (finite field) के अंकगणितीय गुणों और बहुपद के संबद्ध गैलुआ समूह (विशेष रूप से, अरिथमेटिक मोनोड्रोमी समूह) की संरचना द्वारा बाधित होता है। $r+1$ की घात वाले बहुपदों के लिए, गैलुआ समूह अक्सर बड़ा होता है (सिमेट्रिक समूह $S_{r+1}$ के करीब पहुँच जाता है), जो पूरी तरह से विभाजित तर्क स्थानों (totally split rational places) की संख्या को सीमित करता है, और फलस्वरूप, प्राप्त होने वाली कोड लंबाई को भी सीमित करता है।

कार्यप्रणाली (Methodology)
यह शोध पत्र अच्छे बहुपदों के स्थान पर अच्छे तर्कसंगत फलनों (good rational functions) का उपयोग करके तामो-बर्ग ढांचे के सामान्यीकरण का प्रस्ताव करता है। कार्यप्रणाली इन फलनों के विश्लेषण और निर्माण के लिए बीजगणितीय फलन क्षेत्र सिद्धांत (algebraic function field theory) और गैलुआ सिद्धांत (Galois theory) को एकीकृत करती है।

1. अच्छे तर्कसंगत फलनों की परिभाषा: लेखक एक तर्कसंगत फलन $h(x) \in \mathbb{F}_q(x)$ को $(r, l)$-अच्छा कहते हैं यदि इसकी घात $r+1$ है और यह प्रोजेक्टिव लाइन $\mathbb{P}^1(\mathbb{F}_q)$ के $l$ विलगित उपसमुच्चयों पर स्थिर है, जिनमें से प्रत्येक का आकार $r+1$ है।
2. फलन क्षेत्र एम्बेडिंग (Function Field Embedding): $l$ को अधिकतम करने की समस्या को बीजगणितीय फलन क्षेत्रों के सिद्धांत में समाहित किया गया है। यहाँ $l$, विस्तार $\mathbb{F}_q(x)/\mathbb{F}_q(h(x))$ में 'टोटली स्प्लिट रेशनल प्लेसेस' की संख्या, $\#T^1_{split}(h)$, के बराबर है।
3. गैलुआ-सैद्धांतिक विश्लेषण: लेखक विस्तार के गैलुआ क्लोजर (Galois closure) $M_h$ पर विचार करके स्थानों के विभाजन व्यवहार का विश्लेषण करते हैं। वे ज़ेटा फलन (Zeta function) और आर्टिन एल-सीरीज (Artin L-series) का उपयोग करके $\#T^1_{split}(h)$ के लिए एक सूत्र व्युत्पन्न करते हैं, जो दर्शाता है कि:
   $$\#T^1_{split}(h) \approx \frac{q}{\#G_h}$$
   जहाँ $G_h$ विस्तार का गैलुआ समूह है।
4. अनुकूलन रणनीति (Optimization Strategy): बहुपदों के विपरीत, जहाँ गैलुआ समूह अक्सर बड़ा होता है, लेखक उन तर्कसंगत फलनों के निर्माण पर ध्यान केंद्रित करते हैं जहाँ विस्तार $\mathbb{F}_q(x)/\mathbb{F}_q(h(x))$ स्वयं एक गैलुआ विस्तार है जिसका न्यूनतम गैलुआ समूह आकार ($\#G_h = r+1$) है। यह तर्कसंगत फलन क्षेत्र के ऑटोमोर्फिज्म समूह, $\text{PGL}(2, q)$, के उपसमूहों का उपयोग करके प्राप्त किया जाता है।
5. स्पष्ट निर्माण (Explicit Construction): यह शोध पत्र $\text{PGL}(2, q)$ के चक्रीय उपसमूहों (cyclic subgroups) का उपयोग करके अच्छे तर्कसंगत फलनों के स्पष्ट परिवारों का निर्माण करता है। एक रूपांतरण $\phi \in \text{PGL}(2, q)$ के लिए जिसकी कोटि (order) $r+1$ है, फलन $h(x) = \sum_{i=0}^r \phi^i(x)$ वांछित गुणों के साथ एक गैलुआ विस्तार उत्पन्न करने वाला दिखाया गया है।

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

• एकीकृत ढांचा: यह शोध पत्र अच्छे तर्कसंगत फलनों पर आधारित इष्टतम LRCs के निर्माण के लिए एक एकीकृत ढांचा स्थापित करता है, जो तामो-बर्ग प्रतिमान का विस्तार करता है।
• मात्रात्मक सीमाएँ (Quantitative Bounds): हासे-वील बाउंड (Hasse-Weil bound) और रिमैन-हर्टविट्ज़ सूत्र (Riemann-Hurwitz formula) का उपयोग करते हुए, लेखक टोटली स्प्लिट रेशनल प्लेसेस की संख्या के लिए स्पष्ट निचली सीमाएँ व्युत्पन्न करते हैं। वे सिद्ध करते हैं कि एक अच्छे तर्कसंगत फलन $h$ के लिए, जिसकी घात $r+1$ है, पैरामीटर $l$ इस प्रकार संतुष्ट होता है:
  $$l \ge \frac{q - 2\sqrt{q} + 1}{(r+1)!} - \text{करेक्शन टर्म्स}$$
  हालाँकि, गैलुआ विस्तार के विशिष्ट मामले में, बाउंड काफी अधिक सटीक (tighter) है।
• गैलुआ केस लक्षण वर्णन: जब विस्तार गैलुआ होता है, तो लेखक गैलुआ समूह के क्रिया (action) के ऑर्बिट स्ट्रक्चर के आधार पर $\#T^1_{split}(h)$ का सटीक लक्षण वर्णन प्रदान करते हैं। वे दिखाते हैं कि टोटली स्प्लिट स्थानों की संख्या लगभग $q/(r+1)$ होती है, जो कि सामान्य बहुपद मामले (जहाँ समूह का आकार $(r+1)!$ होता है) की तुलना में $(r)!$ गुना अधिक है।
• स्पष्ट निर्माण:
  • डिग्री 3 ($r=2$): शोध पत्र एक तर्कसंगत फलन $h(x) = \frac{x^3 - 3w^2x + w^3}{x(x-w)}$ का निर्माण करता है। $q \pmod 3$ के आधार पर, यह $q, q-1,$ या $q+1$ की लंबाई वाले LRCs प्रदान करता है। विशेष रूप से, यदि $q \equiv 2 \pmod 3$ है, तो कोड की लंबाई $q+1$ होती है।
  • डिग्री 4 ($r=3$): एक तर्कसंगत फलन $h(x) = \frac{4x^4 - 12d^2x^2 + 8d^3x - d^4}{2x(x-d)(2x-d)}$ निर्मित किया गया है। यदि $q \equiv 3 \pmod 4$ है, तो परिणामी कोड की लंबाई $q+1$ होती है।
• इष्टतमता (Optimality): निर्मित कोड इष्टतम हैं, जो सिंगलटन-प्रकार के बाउंड को पूरा करते हैं। महत्वपूर्ण रूप से, विशिष्ट लोकैलिटी मापदंडों ($r=2, 3$) और क्षेत्र विशेषताओं के लिए, ये निर्माण अधिकतम संभव कोड लंबाई $n = q+1$ (संपूर्ण प्रोजेक्टिव लाइन पर मूल्यांकन) प्राप्त करते हैं, जो कि समान घात वाले अच्छे बहुपदों द्वारा आमतौर पर प्राप्त किए जाने वाले मान से स्पष्ट रूप से अधिक है।

महत्व और दावे
शोध पत्र का दावा है कि अच्छे तर्कसंगत फलनों का परिचय शास्त्रीय बहुपद-आधारित दृष्टिकोण की तुलना में एक मौलिक प्रगति है। प्राथमिक महत्व सीधे गैलुआ समूह के आकार को नियंत्रित करने की क्षमता में निहित है। जबकि अच्छे बहुपद बड़े मोनोड्रोमी समूहों (अक्सर $S_{r+1}$) द्वारा बाधित होते हैं, $\text{PGL}(2, q)$ के उपसमूहों के माध्यम से निर्मित तर्कसंगत फलन न्यूनतम ट्रांसिटिव समूह आकार ($r+1$) प्राप्त कर सकते हैं।

समूह के आकार में यह कमी टोटली स्प्लिट रेशनल प्लेसेस की संख्या में पर्याप्त वृद्धि की ओर ले जाती है, जिससे समान लोकैलिटी $r$ के लिए काफी लंबी लंबाई ($n \approx q$) वाले LRCs का निर्माण संभव हो पाता है। लेखक इस बात पर जोर देते हैं कि उनकी विधि इष्टतम LRCs के अनंत परिवारों को प्रदान करती है जिनके मापदंड उसी डिग्री के तामो-बर्ग निर्माण की तुलना में बेहतर हैं। इस दृष्टिकोण को एक "स्वाभाविक और शक्तिशाली विस्तार" के रूप में प्रस्तुत किया गया है जो प्रोजेक्टिव लाइन और तर्कसंगत फलनों के समृद्ध बीजगणितीय और ज्यामितीय ढांचे का लाभ उठाकर बहुपद निर्माण की सीमाओं को पार करता है।