Locally Repairable Codes with Availability via Elliptic Function Fields

तकनीकी सारांश: एलिप्टिक फंक्शन फील्ड्स के माध्यम से उपलब्धता वाले स्थानीय रूप से मरम्मत योग्य कोड (Locally Repairable Codes)

समस्या विवरण
उपलब्धता (availability) वाले स्थानीय रूप से मरम्मत योग्य कोड (LRCs), आधुनिक वितरित क्लाउड स्टोरेज सिस्टम के लिए अत्यंत महत्वपूर्ण हैं, जो डेटा के खोए हुए नोड्स की रिकवरी को सक्षम करते हैं (लोकलिटी), भले ही उस समूह के कुछ नोड्स अनुपलब्ध हों (उपलब्धता)। जबकि एकल रिकवरी सेट ($t=1$) वाले इष्टतम LRCs का व्यापक अध्ययन किया गया है, कई रिकवरी सेट्स ($t \ge 2$) वाले LRCs का निर्माण करना, जो इष्टतम पैरामीटर और लचीली लोकलिटी प्राप्त कर सकें, एक चुनौती है। पिछले निर्माण अक्सर मैक्सिमल सुपर्सिंगुलर एलिप्टिक कर्व्स या रैशनल फंक्शन फील्ड्स पर निर्भर थे, जिसने लागू होने योग्य परिमित क्षेत्रों (finite fields) और लोकलिटी पैरामीटर्स की सीमा को सीमित कर दिया। विशेष रूप से, मौजूदा विधियाँ उन परिमित क्षेत्रों के लिए इष्टतम LRCs प्रदान करने में संघर्ष करती हैं जिनका अभिलक्षण (characteristic) $p \equiv 1 \pmod{3}$ या $p \equiv 1 \pmod{4}$ है, और एलिप्टिक फंक्शन फील्ड्स का उपयोग करके दो रिकवरी सेट्स वाले LRCs का निर्माण करने से अक्सर कठोर पैरामीटर्स प्राप्त होते थे या पूरी तरह से विभाजित स्थानों (completely splitting places) की कमी की भरपाई के लिए संशोधित अल्जेब्रिक ज्योमेट्री कोड तकनीकों की आवश्यकता होती थी।

कार्यप्रणाली
लेखक एलिप्टिक फंक्शन फील्ड्स और उनके ऑटोमॉर्फिज्म समूहों (automorphism groups) से प्राप्त अल्जेब्रिक ज्योमेट्री कोड का उपयोग करते हैं। कार्यप्रणाली को दो प्राथमिक मार्गों में विभाजित किया गया है:

1. इष्टतम शास्त्रीय LRCs ($t=1$): शोध पत्र उच्च संख्या में रैशनल पॉइंट्स वाले 'ऑर्डिनरी' एलिप्टिक कर्व्स के उपयोग का परिचय देता है, विशेष रूप से वे जो हासे-वील (Hasse-Weil) बाउंड के करीब हैं लेकिन अनिवार्य रूप से मैक्सिमल नहीं हैं। लेखक $\mathbb{F}_{p^2}$ पर परिभाषित दो विशिष्ट ऑर्डिनरी एलिप्टिक कर्व्स परिवारों का विश्लेषण करते हैं:

   • कर्व्स जो $y^2 = x^3 + b$ द्वारा परिभाषित हैं जहाँ $p = 3u^2 + 3u + 1$ है।
   • कर्व्स जो $y^2 = x^3 + ax$ द्वारा परिभाषित हैं जहाँ $p = v^2 + 1$ और $p \equiv 1 \pmod 4$ है।
     इन कर्व्स के ऑटोमॉर्फिज्म समूहों (विशेष रूप से ट्रांसलेशन ग्रुप और स्टेबलाइज़र सबग्रुप्स) का उपयोग करके, लेखक फिक्स्ड सबफील्ड्स को परिभाषित करने के लिए पूर्ण ऑटोमॉर्फिज्म समूह के सबग्रुप्स का निर्माण करते हैं। उनके दृष्टिकोण का एक अभिनव पहलू कार्यों $e_i$ को निर्धारित करने की एक वैकल्पिक विधि है जिनका उपयोग कोड निर्माण में किया जाता है। पिछले कार्यों के विपरीत, जो पूरी तरह से विभाजित स्थानों के सेटों और संशोधित अल्जेब्रिक ज्योमेट्री कोड तकनीकों पर निर्भर थे, यह विधि यह सुनिश्चित करने के लिए सबग्रुप गुणों का पूर्ण उपयोग करती है कि फंक्शन स्थानीय रिकवरी के लिए आवश्यक रैखिक स्वतंत्रता (linear independence) और इनवर्टीबिलिटी शर्तों को पूरा करते हैं।

2. दो रिकवरी सेट्स वाले LRCs ($t=2$): लेखक एलिप्टिक फंक्शन फील्ड्स के ऑटोमॉर्फिज्म समूहों का उपयोग करके दो रिकवरी सेट्स वाले LRCs के निर्माण के लिए एक सामान्य ढांचा प्रस्तावित करते हैं। पिछले ढांचों (जहाँ फंक्शन स्पेस का प्रतिच्छेदन बहुत छोटा था) की सीमाओं को दूर करने के लिए, वे $e_i$ के कार्यों के लिए एक नवीन निर्माण विकसित करते हैं। यह सुनिश्चित करता है कि दो अलग-अलग रिकवरी सेट्स के अनुरूप फंक्शन स्पेस एक सामान्य रीमान-रॉक (Riemann-Roch) स्पेस के भीतर हों, जो पर्याप्त प्रतिच्छेदन की गारंटी देता है। यह ढांचा सबग्रुप $G = T_H A_1 A_2$ (जहाँ $T_H$ एक ट्रांसलेशन सबग्रुप है और $A_1, A_2$ स्टेबलाइज़र सबग्रुप्स हैं) का उपयोग कोड पैरामीटर्स को परिभाषित करने के लिए करता है। इस निर्माण को मैक्सिमल एलिप्टिक फंक्शन फील्ड्स और प्रथम भाग में पेश किए गए विशिष्ट ऑर्डिनरी कर्व्स दोनों पर लागू किया गया है।

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

• नए इष्टतम शास्त्रीय LRCs के परिवार: शोध पत्र $q$-ary इष्टतम LRCs के कई नए परिवारों का निर्माण करता है जिनकी लंबाई $O(q + 2\sqrt{q})$ और लचीली लोकलिटी है।

  • थ्योरम 1 और 2: ये थ्योरम $p^2$-ary इष्टतम LRCs के अस्तित्व को स्थापित करते हैं जिनकी लोकलिटी $r = h|A| - 1$ या $r = 2h - 1$ है। महत्वपूर्ण रूप से, ये निर्माण उन परिमित क्षेत्रों के लिए मान्य हैं जिनका अभिलक्षण $p \equiv 1 \pmod{12}$ (विशेष रूप से $p = 3u^2 + 3u + 1$ या $p = v^2 + 1$) है, जो एक ऐसा मामला है जिसके लिए ऑटोमॉर्फिज्म समूहों के माध्यम से पहले कोई इष्टतम LRC उपलब्ध नहीं था।
  • तुलना: जैसा कि तालिका I में विस्तृत है, ये परिणाम मौजूदा कार्यों (जैसे ली एट अल., मा और ज़िंग) के पूरक हैं, जो अभिलक्षणों की सीमा का विस्तार करते हैं और समान परिमित क्षेत्रों पर विभिन्न लोकलिटी पैरामीटर्स प्रदान करते हैं।

• उपलब्धता $t=2$ के लिए सामान्य ढांचा:

  • प्रपोजिशन 3: एलिप्टिक फंक्शन फील्ड्स का उपयोग करके दो रिकवरी सेट्स वाले LRCs के निर्माण के लिए एक सामान्य ढांचा प्रदान करता है। यह सबग्रुप $A_1$ और $A_2$ के आकार के आधार पर आयाम $k$ और न्यूनतम दूरी $d$ पर निचली सीमाएं स्थापित करता है।
  • थ्योरम 3 और 4: मैक्सिमल एलिप्टिक फंक्शन फील्ड्स और प्रपोजिशन 1 से विशिष्ट ऑर्डिनरी कर्व्स पर इस ढांचे को लागू करते हैं। ये थ्योरम दो रिकवरी सेट्स वाले LRCs के परिवारों को जन्म देते हैं जिनकी लंबाई $O(q + 2\sqrt{q})$ (या $q^2$-ary मामले के लिए $O(q^2 + 2q)$) है।
  • थ्योरम 7: अभिलक्षण 2 (विशेष रूप से $q = 4^{2a+1}$) वाले परिमित क्षेत्रों पर एक विशिष्ट निर्माण प्रस्तुत करता है, जो लोकलिटी पेयर्स $(5, 6)$ और $(8, 3)$ प्रदान करता है।

• प्रदर्शन मेट्रिक्स:

  • निर्मित कोड शास्त्रीय LRCs के लिए $O(q + 2\sqrt{q})$ और दो रिकवरी सेट्स वाले LRCs के लिए $O(q^2 + 2q)$ की लंबाई प्राप्त करते हैं।
  • $q^2$-ary LRCs (दो रिकवरी सेट्स के साथ) के लिए, दिखाया गया है कि सिंगलटन-डिफेक्ट (Singleton-defect) $O\left(\frac{2\ell}{q^2 + 2q - 8\ell}\right)$ है, जो $q$ बढ़ने के साथ शून्य की ओर जाता है, जो कि एसिम्प्टोटिक इष्टतमता (asymptotic optimality) को दर्शाता है।
  • संख्यात्मक उदाहरण (जैसे, $\mathbb{F}_{5^6}$ पर) प्रदर्शित करते हैं कि निर्मित कोड ऐसे पैरामीटर्स प्राप्त कर सकते हैं जो पिछले तरीकों (जैसे कि रैशनल फंक्शन फील्ड्स पर आधारित) द्वारा प्राप्त नहीं किए जा सकते थे।

महत्व और दावे
शोध पत्र का दावा है कि यह इष्टतम स्थानीय रूप से मरम्मत योग्य कोड के निर्माण के लिए उपलब्ध कर्व्स के चयन को व्यापक बनाता है। मैक्सिमल सुपर्सिंगुलर कर्व्स के बजाय अत्यधिक रैशनल पॉइंट्स वाले ऑर्डिनरी कर्व्स पर ध्यान केंद्रित करके, लेखक $p \equiv 1 \pmod 3$ और $p \equiv 1 \pmod 4$ वाले परिमित क्षेत्रों के संबंध में साहित्य के अंतराल को भरते हैं। इसके अलावा, दो रिकवरी सेट्स वाले LRCs के लिए प्रस्तावित ढांचा पिछले तरीकों की तुलना में अधिक लचीला दृष्टिकोण प्रदान करता है, जो संशोधित अल्जेब्रिक ज्योमेट्री कोड तकनीकों की आवश्यकता को समाप्त करता है और लोकलिटी पैरामीटर्स की एक विस्तृत विविधता की अनुमति देता है। लेखक नोट करते हैं कि हालांकि उनके आयाम बाउंड (dimension bounds) रूढ़िवादी (conservative) हैं (जैसा कि संख्यात्मक उदाहरणों से स्पष्ट है जहाँ वास्तविक आयाम सैद्धांतिक निचली सीमाओं से अधिक हैं), ढांचा सफलतापूर्वक दो रिकवरी सेट्स वाले नए परिवारों को सफलतापूर्वक उत्पन्न करता है जो पहले अप्राप्य थे। यह कार्य दो से अधिक रिकवरी सेट्स वाले LRCs के निर्माण की संभावना को भविष्य के अनुसंधान के लिए एक दिशा के रूप में भी रेखांकित करता है।