Second order Recurrences, quadratic number fields and cyclic codes

यहाँ शी, वांग, बौज़ावी, किम और सोले के शोध पत्र "Second Order Recurrences, Quadratic Number Fields and Cyclic Codes" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र तीन अलग-अलग गणितीय क्षेत्रों के मिलन बिंदु की जांच करता है:

1. द्वितीय-क्रम रैखिक पुनरावृत्ति (Second-order linear recurrences): विशेष रूप से फाइबोनैचि अनुक्रम के सामान्यीकरण, जो $F_n = -AF_{n-1} - BF_{n-2}$ द्वारा परिभाषित होते हैं।
2. बीजगणितीय संख्या सिद्धांत (Algebraic Number Theory): वास्तविक द्विघाती क्षेत्रों (real quadratic fields) $\mathbb{Q}(\sqrt{d})$ और $p$-तर्कसंगतता ($p$-rationality) की अवधारणा पर ध्यान केंद्रित करना।
3. कोडिंग सिद्धांत (Coding Theory): परिमित क्षेत्रों $\mathbb{F}_p$ और पूर्णांकों के वलय (ring of integers) $\mathbb{Z}_{p^2}$ पर चक्रीय कोड (cyclic codes) का निर्माण और विश्लेषण।

मुख्य प्रश्न: लेखक उस स्थिति की जांच करते हैं जहाँ एक अभाज्य संख्या $p$ इस शर्त को पूरा करती है कि $k(p) = k(p^2)$, जहाँ $k(m)$ एक विशिष्ट द्वितीय-क्रम पुनरावृत्ति का $m$ modulo पर आवर्त (period) है। फाइबोनैचि अनुक्रम ($d=5$) के लिए इस शर्त को संतुष्ट करने वाले अभाज्य संख्याओं को वॉल-सन-सन (Wall-Sun-Sun - WSS) अभाज्य संख्याएँ कहा जाता है। यह शोध पत्र इसे WSS($d$) अभाज्य संख्याओं तक सामान्यीकृत करता है, जहाँ पुनरावृत्ति $\mathbb{Q}(\sqrt{d})$ की मौलिक इकाई (fundamental unit) से जुड़ी होती है। केंद्रीय समस्या इन अभाज्य संख्याओं का लक्षण वर्णन करना, एक निश्चित $p$ के लिए इनकी अनंत उपस्थिति को सिद्ध करना (विपरीत समस्या), और इन पुनरावृत्तियों द्वारा उत्पन्न चक्रीय कोड के भार वितरण (weight distributions) को निर्धारित करना है।

2. कार्यप्रणाली (Methodology)

लेखक संख्या सिद्धांत और कोडिंग सिद्धांत को संयोजित करने वाला एक बहुआयामी दृष्टिकोण अपनाते हैं:

• सैद्धांतिक ढांचा (संख्या सिद्धांत):

  • वे $p$-तर्कसंगत क्षेत्रों ($p$-rational fields) की परिभाषा का उपयोग करते हैं: एक संख्या क्षेत्र $F$ तब $p$-तर्कसंगत होता है जब इसके अधिकतम प्रो-$p$ विस्तार (जो $p$ के बाहर अनरैम्डिफाइड है) का गैलवा समूह (Galois group) $p$-रैंक से संबंधित एक विशिष्ट संरचना रखता है।
  • वे एक महत्वपूर्ण तुल्यता (प्रमेय 1) स्थापित करते हैं: एक मौलिक विविक्तक (fundamental discriminant) $d$ के लिए, क्षेत्र $\mathbb{Q}(\sqrt{d})$, $p$-तर्कसंगत नहीं है यदि और केवल यदि संबद्ध पुनरावृत्ति का आवर्त $k(p) = k(p^2)$ को संतुष्ट करता है। यह क्षेत्र के अंकगणितीय गुण को अनुक्रम की आवधिकता से सीधे जोड़ता है।
  • वे $\mathbb{F}_p[x]$ से $\mathbb{Z}_{p^2}[x]$ तक बहुपद गुणनखंडों को उठाने (lift करने) के लिए हेन्स लेम्मा (Hensel's Lemma) का उपयोग करते हैं, जिससे $\mathbb{F}_p$ पर आधारित $\mathbb{Z}_{p^2}$ पर कोड का निर्माण संभव होता है।

• विपरीत समस्या का निर्माण (Inverse Problem Construction):

  • $p$ दिए जाने पर $d$ खोजने के बजाय (जो गणनात्मक रूप से कठिन है), लेखक यह सिद्ध करते हैं कि किसी भी अभाज्य $p > 5$ के लिए, ऐसे अनंत पूर्णांक $d$ मौजूद हैं कि $p$ एक WSS($d$) अभाज्य संख्या है।
  • वे इन $d$ का निर्माण $\mathbb{F}_p$ पर विशिष्ट बहुपदों $h(x)$ (या तो विभाज्य या अपरिमेय) को चुनकर, उन्हें $\mathbb{Z}_{p^2}$ में उठाकर, और लिफ्ट किए गए बहुपद के गुणांकों से विविक्तक $d$ प्राप्त करके करते हैं।

• कोडिंग सिद्धांत विश्लेषण (Coding Theory Analysis):

  • वे पुनरावृत्ति के साथ एक आयाम 2 वाले चक्रीय कोड को संबद्ध करते हैं। कोडवर्ड्स अनुक्रम के आवर्त खिड़कियाँ (period windows) होते हैं।
  • वे $\mathbb{F}_p$ और $\mathbb{Z}_{p^2}$ पर कोड के भार वितरण (weight distribution) (विशिष्ट हैमिंग भार वाले कोडवर्ड्स की संख्या) का विश्लेषण करते हैं।
  • वे विभाज्य मामले में MDS (Maximum Distance Separable) कोड और अपरिमेय मामले में NMDS (Near-MDS) कोड के बीच अंतर करते हैं।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. WSS अभाज्य संख्याओं का सामान्यीकरण

यह शोध पत्र WSS($d$) अभाज्य संख्याओं को उन अभाज्य संख्याओं के रूप में परिभाषित करता है जहाँ $\mathbb{Q}(\sqrt{d})$ से जुड़ी पुनरावृत्ति का आवर्त $p$ और $p^2$ modulo पर समान होता है।

• प्रमेय 1: स्थापित करता है कि $k(p) = k(p^2)$ तभी होता है जब $\mathbb{Q}(\sqrt{d})$, $p$-तर्कसंगत नहीं होता है।
• यह $p$-तर्कसंगतता का एक नया अंकगणितीय लक्षण वर्णन पुनरावृत्ति आवर्तों के माध्यम से प्रदान करता है।

B. विपरीत समस्या (Existence of $d$)

लेखक सिद्ध करते हैं कि किसी भी अभाज्य $p > 5$ के लिए, अनंत $d$ मौजूद हैं कि $p$ एक WSS($d$) अभाज्य संख्या है। वे विशेषता बहुपद (characteristic polynomial) के आधार पर निर्माण को दो श्रेणियों में विभाजित करते हैं:

1. विभाज्य मामला (Reducible Case): बहुपद $\mathbb{F}_p$ में विभाजित होता है। वे लंबाई $n = p-1$ (या उसके विभाजकों) वाले कोड का निर्माण करते हैं।
2. अपरिमेय मामला (Irreducible Case): बहुपद $\mathbb{F}_p$ पर अपरिमेय है। वे लंबाई $n = 2p+2$ (या उसके विभाजकों) वाले कोड का निर्माण करते हैं।
   • प्रमेय 2 और 3: $\mathbb{F}_{p^2}$ में $2p+2$ क्रम वाले तत्वों की उपस्थिति को सिद्ध करते हैं, जिससे इस क्रम के अपरिमेय बहुपदों का निर्माण संभव होता है।

C. भार वितरण और कोड पैरामीटर (Weight Distributions and Code Parameters)

शोध पत्र $C_1$ ( $\mathbb{F}_p$ पर) और $C_2$ ($\mathbb{Z}_{p^2}$ पर) के चक्रीय कोडों के भार वितरण के लिए स्पष्ट सूत्र प्रदान करता है।

• प्रमेय 2: यदि $C_1$ एक दो-भार वाला MDS कोड है जिसकी लंबाई $n \leq p+1$ है, तो लेखक $C_1$ और $C_2$ दोनों के लिए भार $n-1$ और $n$ वाले कोडवर्ड्स की संख्या के लिए सटीक सूत्र निकालते हैं।
  • विशेष रूप से, $A_{n-1}(C_2) = n(p^2-1)$ और $A_n(C_2) = (p^2-1)(p^2-n+1)$।
• अनुवर्ती 1 और 2 (Corollary 1 & 2): वे क्षेत्र कोड (field code) और वलय कोड (ring code) के भार वितरणों के बीच विभाज्यता संबंधों को स्थापित करते हैं। वे यह भी दिखाते हैं कि कुछ शर्तों के तहत (विशेष रूप से जब कोड एक छोटे MDS कोड का दोहराव हो), $C_1$ और $C_2$ के भार सेट समान होते हैं।

D. इष्टतम NMDS कोडों का निर्माण (Construction of Optimal NMDS Codes)

• प्रमेय 5: अभाज्य $p \equiv 3 \pmod 4$ के लिए, लेखक एक चक्रीय कोड $C_1$ का निर्माण करते हैं जिसके पैरामीटर $[2(p+1), 2, 2p]_p$ हैं।
• यह कोड NMDS (Near-MDS) है और इसमें केवल एक गैर-शून्य भार है।
• महत्व: लंबाई $2p+2$ $\mathbb{F}_p$ पर आयाम 2 के निकट-MDS (near-MDS) कोड के लिए अधिकतम संभव लंबाई है, जो इन्हें चरम NMDS (extremal NMDS) कोड बनाती है।

E. संगणकीय सत्यापन (Computational Verification)

लेखकों ने विशिष्ट WSS($d$) और WSS($d$)$^*$ अभाज्य संख्याओं की सूची देने वाले उदाहरणों को सूचीबद्ध करने के लिए Magma कंप्यूटर बीजगणित प्रणाली का उपयोग किया है (तालिका 1, 2 और 3)। ये तालिकाएं निम्नलिखित प्रदान करती हैं:

• कोड लंबाई ($n$) और विविक्तक ($d$)।
• $\mathbb{F}_p$ पर चेक बहुपद $h(x)$ और $\mathbb{Z}_{p^2}$ पर उनके हेन्स लिफ्ट $H(x)$।
• भार वितरण और वर्गीकरण (MDS, NMDS, 2-MDS, 4-MDS)।

4. महत्व और प्रभाव (Significance and Impact)

1. संख्या सिद्धांत और कोडिंग सिद्धांत का मेल: यह शोध पत्र $p$-तर्कसंगतता (इवासावा सिद्धांत और क्लास फील्ड थ्योरी की एक गहरी अवधारणा) के अंकगणितीय गुण और चक्रीय कोडों के संरचनात्मक गुणों के बीच एक मजबूत कड़ी बनाता है। यह सुझाव देता है कि कोडिंग सैद्धांतिक गुण (जैसे भार वितरण) कठिन संख्यात्मक अनुमानों के अध्ययन के लिए एक प्रॉक्सी (proxy) के रूप में कार्य कर सकते हैं।
2. विपरीत समस्या का समाधान: जबकि $d=5$ (फाइबोनैकी) के लिए WSS अभाज्य संख्याओं का अस्तित्व अभी भी एक खुली और कठिन समस्या है (कोई भी ज्ञात नहीं है, यहाँ तक कि $10^{14}$ तक), यह शोध पत्र सिद्ध करता है कि किसी भी अभाज्य $p$ के लिए, आप ऐसे अनंत $d$ पा सकते हैं कि $p$ एक WSS($d$) अभाज्य संख्या हो। यह ध्यान "अभाज्य खोजने" से बदलकर "क्षेत्रों के निर्माण" पर केंद्रित करता है।
3. इष्टतम कोडों के नए परिवार: लंबाई $2p+2$ वाले चरम NMDS कोडों का निर्माण कोडिंग सिद्धांत में एक महत्वपूर्ण योगदान है। ये कोड अपनी लंबाई और आयाम के लिए इष्टतम हैं, और उनका अस्तित्व विशिष्ट संख्या-सैद्धांतिक स्थितियों से जुड़ा हुआ है।
4. भार वितरण सूत्र: $\mathbb{Z}_{p^2}$ (एक वलय, न कि क्षेत्र) पर कोडों के भार वितरण का स्पष्ट व्युत्पन्न तकनीकी रूप से चुनौतीपूर्ण है और अन्य परिमित क्रमवर्ती वलयों (finite commutative rings) पर कोडों के विश्लेषण के लिए एक टेम्पलेट प्रदान करता है।

निष्कर्ष (Conclusion)

यह शोध पत्र सफलतापूर्वक वॉल-सन-सन अभाज्य संख्याओं की अवधारणा को द्विघाती क्षेत्रों और द्वितीय-क्रम पुनरावृत्तियों के एक व्यापक वर्ग में सामान्यीकृत करता है। किसी भी दिए गए अभाज्य के लिए ऐसे अनंत क्षेत्रों के अस्तित्व को सिद्ध करके और उनसे जुड़े चक्रीय कोडों के सटीक भार वितरण को व्युत्पन्न करके, लेखक बीजगणिक संख्या सिद्धांतविदों और कोडिंग सिद्धांतविदों दोनों के लिए नए उपकरण प्रदान करते हैं। यह कार्य रेखांकित करता है कि $d=5$ के लिए WSS अभाज्य संख्याओं का "गैर-अस्तित्व" एक विशिष्ट विसंगति हो सकती है, जबकि अन्य द्विघाती क्षेत्रों के लिए यह घटना सामान्य है, जो $p$-तर्कसंगतता और कोड इष्टतमता के बीच परस्पर क्रिया के अनुसंधान के लिए एक उर्वर भूमि प्रदान करती है।