Midy's Theorem in non-integer bases and divisibility of Fibonacci numbers

यहाँ ज़ुज़ाना मासाकोवा (Zuzana Masáková) और एडिटा पेलांतोवा (Edita Pelantová) के शोध पत्र "Midy's Theorem in non-integer bases and divisibility of Fibonacci numbers" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र शास्त्रीय पूर्णांक आधारों (विशेष रूप से आधार 10) से गैर-पूर्णांक आधारों ($\beta > 1$) में मिडी के प्रमेय (Midy's Theorem) के सामान्यीकरण की जांच करता है।

• शास्त्रीय मिडी प्रमेय: आधार 10 में एक अभाज्य हर $q$ वाले भिन्न $p/q$ के लिए, यदि आवर्त (period) की न्यूनतम लंबाई एक सम संख्या $2n$ है, तो आवर्त के पहले आधे भाग और दूसरे आधे भाग का योग $10^n - 1$ (अर्थात $n$ बार '9' की एक श्रृंखला) के बराबर होता है।
• चुनौती: लेखक यह लक्ष्य रखते हैं कि $\beta$-विस्तार (rényi द्वारा प्रस्तुत) के संदर्भ में इस "मिडी गुण" (Midy property) को कैसे परिभाषित और अभिलक्षणिक (characterize) किया जाए, जहाँ $\beta > 1$ एक वास्तविक संख्या है। विशेष रूप से, वे यह पहचानना चाहते हैं कि कौन से हर $q$ स्वर्ण अनुपात (golden ratio) $\tau = \frac{1+\sqrt{5}}{2}$ में इस गुण को संतुष्ट करते हैं, और यह फाइबोनैकी संख्याओं (Fibonacci numbers) की विभाज्यता के गुणों से कैसे संबंधित है।

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

लेखक गतिशील प्रणालियों के सिद्धांत (dynamical systems theory), रैखिक बीजगणित (linear algebra) और संख्या सिद्धांत (number theory) के संयोजन का उपयोग करते हैं।

• $\beta$-विस्तार और ग्रीडी एल्गोरिदम (Greedy Algorithm): वे $\beta$-विस्तार उत्पन्न करने के लिए ग्रीडी एल्गोरिदम का उपयोग करते हैं। एक प्रमुख अवधारणा 1 का क्वासिग्रीडी विस्तार (quasigreedy expansion), जिसे $d^*_\beta(1)$ कहा जाता है, है, जो स्वीकार्य अंक स्ट्रिंग्स पर लेक्सिकोग्राफिक बाधाओं को निर्धारित करता है।
• मिडी गुण की परिभाषा: वे आधार $\beta$ के लिए मिडी गुण को औपचारिक रूप से परिभाषित करते हैं: एक हर $q$ के पास यह गुण तब होता है जब $p/q$ का एक शुद्ध आवर्ती विस्तार (purely periodic expansion) सम लंबाई $2n$ वाला हो, ताकि दोनों हिस्सों का योग (एक $\beta$-पूर्णांक के रूप में व्याख्यायित) $\beta^n - 1$ के बराबर हो।
• गतिशील प्रणाली दृष्टिकोण (Dynamical Systems Approach): वे $\beta$-रूपांतरण $T_\beta(x) = \beta x - \lfloor \beta x \rfloor$ का विश्लेषण करते हैं। वे यह स्थापित करते हैं कि मिडी गुण की स्थिति $T^N(p/q) = (q-p)/q$ के बराबर है, जहाँ $N$ एक पूर्णांक है।
• रैखिक बीजगणित (Companion Matrices): वे रूपांतरण $T$ को $\beta$ के न्यूनतम बहुपद (minimal polynomial) के संगत आव्यूह (companion matrix) $C$ की घातों से जोड़ते हैं। वे सिद्ध करते हैं कि मिडी गुण के लिए एक आवश्यक शर्त यह है कि $C^N \equiv -I \pmod q$ हो।
• फाइबोनैकी अनुक्रम (Fibonacci Sequences): स्वर्ण अनुपात $\tau$ के विशिष्ट मामले के लिए, संगत आव्यूह $C$ सीधे फाइबोनैकी अनुक्रम ($F_n$) से संबंधित है। लेखक फाइबोनैकी संख्याओं के ज्ञात विभाज्यता गुणों का लाभ उठाते हुए उन अभाज्य संख्याओं का अभिलक्षण करते हैं जो इस शर्त को पूरा करती हैं।
• परिमित क्षेत्र (Finite Fields): अभाज्य हरों के अभिलक्षण के लिए, वे लेजेंड्रे प्रतीक (Legendre symbol), द्विघाती अवशेषता (quadratic reciprocity) और आव्यूह $C$ के आइजन मानों (eigenvalues) की क्रम (order) का उपयोग करते हुए $\mathbb{Z}_q$ के भीतर कार्य करते हैं।

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

A. सामान्य आवश्यक शर्त (Theorem 3.2)

लेखक किसी भी बीजगणकीय पूर्णांक आधार $\beta > 1$ के लिए एक आवश्यक शर्त प्राप्त करते हैं। यदि कोई पूर्णांक $q$ आधार $\beta$ में मिडी गुण रखता है, तो एक पूर्णांक $N$ का अस्तित्व होना चाहिए कि:
$$C^N \equiv -I \pmod q$$
जहाँ $C$, $\beta$ के न्यूनतम बहुपद का संगत आव्यूह है।

• निहितार्थ: यह तुरंत विषम घात और इकाई नॉर्म (norm 1) वाले आधारों (जैसे कि ट्राइबोनैकी आधार) के लिए मिडी गुण को खारिज कर देता है, क्योंकि $\det(C^N) = 1$ जबकि $\det(-I) = -1$ (विषम आयामों के लिए), जो एक विरोधाभास उत्पन्न करता है।

B. स्वर्ण अनुपात के लिए पर्याप्त शर्त (Theorem 4.1)

विशिष्ट आधार $\tau = \frac{1+\sqrt{5}}{2}$ के लिए, आवश्यक शर्त एक पर्याप्त शर्त भी है।

• परिणाम: यदि $\tau$ के संगत आव्यूह के लिए $C^N \equiv -I \pmod q$ है, तो $q$ आधार $\tau$ में मिडी गुण रखता है।
• सार्वभौमिकता: इस आधार में, प्रत्येक भिन्न $p/q$ (जहाँ $0 < p < q$) मिडी गुण की पुष्टि करता है यदि यह शर्त लागू होती है।
• आवर्तकता (Periodicity): विस्तार की न्यूनतम आवर्तता हमेशा 4 से विभाज्य होती है।

C. फाइबोनैकी विभाज्यता के माध्यम से अभिलक्षण (Corollary 4.5 & 4.6)

शर्त $C^N \equiv -I \pmod q$ को फाइबोनैकी संख्याओं पर शर्तों में अनुवादित किया गया है:

• यदि $q$ विभाजित है $F_{2n-1}$ को (जहाँ $n \ge 3$), तो $q$ मिडी गुण रखता है।
• यदि $q$, $F_{2n}$ का गुणज है (जहाँ $n \ge 3$), तो $q$ मिडी गुण नहीं रखता है।
• परिमित मानदंड: $q$ के पास वह गुण है यदि सबसे छोटा सूचकांक $a(q)$ जिसके लिए $q \mid F_{a(q)}$ है, विषम (odd) है।

D. अभाज्य हरों का अभिलक्षण (Theorems 5.3 & 5.4)

यह शोध पत्र आधार $\tau$ में मिडी गुण को संतुष्ट करने वाले अभाज्य संख्याओं का पूर्ण अभिलक्षण प्रदान करता है:

1. स्थिति $q \equiv \pm 2 \pmod 5$:

   • ये अभाज्य संख्याएँ हमेशा मिडी गुण को संतुष्ट करती हैं।
   • इसमें $2^s - 1$ के रूप के मेर्सन अभाज्य (Mersenne primes) शामिल हैं जहाँ $s \equiv 3 \pmod 4$ है।
   • इसमें सभी ज्ञात फर्माट अभाज्य (Fermat primes) ($2^{2^n} + 1$) शामिल हैं।

2. स्थिति $q \equiv \pm 1 \pmod 5$:

   • गुण $\mathbb{Z}_q^*$ के गुणज समूह (multiplicative group) की संरचना पर निर्भर करता है।
   • मान लीजिए $q-1 = 2^k \ell$ (जहाँ $\ell$ विषम है)। अभाज्य $q$ के पास मिडी गुण तब होता है जब आव्यूह अनुक्रम $C^{2\ell}, C^{4\ell}, \dots, C^{2^{k-1}\ell}$ में एक आव्यूह $-I \pmod q$ के तुल्य होता है।
   • प्रति-उदाहरण (Counter-examples): वे अभाज्य जहाँ $q \equiv -1 \pmod{20}$ या $q \equiv 11 \pmod{20}$ है (जैसे $q=19, 29$), वे गुण को संतुष्ट नहीं करते हैं।
   • उदाहरण: $q=41$ के पास गुण है, लेकिन $q=101$ के पास नहीं है, भले ही दोनों $\equiv 1 \pmod{20}$ हों।

4. महत्व (Significance)

• शास्त्रीय सिद्धांत का विस्तार: यह शोध पत्र एक शास्त्रीय संख्या-सिद्धांत संबंधी जिज्ञासा (मिडी का प्रमेय) को गैर-पूर्णांक आधारों, विशेष रूप से स्वर्ण अनुपात के क्षेत्र में सफलतापूर्वक विस्तारित करता है, जो $\beta$-विस्तार और क्वासिक्रिस्टल (quasicrystals) के सिद्धांत में मौलिक है।
• फाइबोनैकी संख्याओं के साथ संबंध: यह $\tau$-विस्तार की आवर्तता और फाइबोनैकी संख्याओं की विभाज्यता के गुणों के बीच एक गहरा और स्पष्ट संबंध स्थापित करता है, जिससे इन अनुक्रमों के विश्लेषण के लिए एक नया उपकरण मिलता है।
• बीजगणिक बाधाएं (Algebraic Constraints): यह कार्य आधार के नॉर्म और उसके न्यूनतम बहुपद की घात की महत्वपूर्ण भूमिका को उजागर करता है। यह दर्शाता है कि "मिडी घटना" सार्वभौमिक नहीं है बल्कि आधार की बीजगणिक प्रकृति (जैसे कि विषम घात वाले पिसोट नंबर (Pisot numbers) के लिए विफल होना जिसका नॉर्म 1 है) द्वारा कड़ाई से प्रतिबंधित है।
• गणना संबंधी अंतर्दृष्टि: ये परिणाम यह निर्धारित करने के लिए एक एल्गोरिथम प्रदान करते हैं कि क्या एक विशिष्ट अभाज्य हर आधार $\tau$ में मिडी गुण प्रदर्शित करेगा, बिना पूर्ण विस्तार की गणना किए, केवल फाइबोनैकी संख्याओं या आव्यूह घातों पर मॉड्यूलर अंकगणित की जाँच करके।

5. निष्कर्ष (Conclusion)

मासाकोवा और पेलांतोवा सिद्ध करते हैं कि स्वर्ण अनुपात आधार में मिडी गुण $C^N \equiv -I \pmod q$ की स्थिति द्वारा नियंत्रित होता है। वे उन अभायों का पूर्ण अभिलक्षण करते हैं जो इसे संतुष्ट करते हैं: सभी अभाज्य $q \equiv \pm 2 \pmod 5$ काम करते हैं, जबकि $q \equiv \pm 1 \pmod 5$ वाले अभाज्य केवल $\mathbb{Z}_q$ में 5 के क्रम से संबंधित विशिष्ट स्थितियों के तहत काम करते हैं। यह कार्य गतिशील प्रणालियों, बीजगणिक संख्या सिद्धांत और अंक विस्तार के संयोजन विज्ञान (combinatorics) के बीच की खाई को पाटता है।