A Universal Identity for Powers in Quadratic Algebras and a Matrix Derivation of a Fibonacci Identity

यहाँ मार्को मंतोवनैली के शोध पत्र "A Universal Identity for Powers in Quadratic Algebras and a Matrix Derivation of a Fibonacci Identity" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र द्विघाती बीजगणित (quadratic algebras) में तत्वों की घातों (powers) से संबंधित सर्वसमिकाओं (identities) के संरचनात्मक व्युत्पत्ति पर केंद्रित है, विशेष रूप से $x^m$ के विस्तार पर जहाँ $x$ एक द्विघाती संबंध $x^2 - tx + d = 0$ को संतुष्ट करता है।

यद्यपि फाइबोनैची ($F_n$) और लुकास ($L_n$) संख्याओं के लिए विशिष्ट सर्वसमिकाएँ सुप्रसिद्ध हैं, वोरोबत्सोव (Vorobtsov) के हालिया कार्य ने $L_n$ के संदर्भ में $F_{nm}$ के लिए एक स्पष्ट द्विपद विस्तार (binomial expansion) प्रदान किया है। लेखक यह प्रदर्शित करना चाहते हैं कि ऐसी सर्वसमिकाएँ केवल फाइबोनैची संख्याओं के संयोग मात्र गुण नहीं हैं, बल्कि किसी भी द्विघाती बीजगणित (या $2 \times 2$ आव्यूह/matrices) में तत्वों द्वारा शासित एक सार्वभौमिक बीजगणितीय सिद्धांत के परिणाम हैं, जो उनके ट्रेस (trace) और डिटर्मिनेंट (determinant) द्वारा परिभाषित होते हैं।

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

लेखक बीजीय आगमन (algebraic induction), बहुपद पुनरावृत्ति संबंधों (polynomial recurrence relations), और आव्यूह सिद्धांत (matrix theory) (विशेष रूप से केले-हैमिल्टन प्रमेय/Cayley–Hamilton theorem) के संयोजन का उपयोग करते हैं।

• द्विघाती न्यूनीकरण (Quadratic Reduction): मुख्य विधि इस धारणा पर आधारित है कि एक $R$-बीजगणित में एक तत्व $x$ इस प्रकार संतुष्ट करता है: $x^2 = tx - d$। लेखक आगमन (induction) द्वारा सिद्ध करते हैं कि किसी भी घात $x^m$ को $x$ और तत्समक तत्व (identity element) $1$ के रैखिक संयोजन (linear combination) के रूप में घटाया जा सकता है:
  $$x^m = a_m x + b_m$$
  $x$ से गुणा करने और द्विघाती संबंध को प्रतिस्थापित करने पर, गुणांकों $a_m$ और $b_m$ के लिए पुनरावृत्ति संबंध प्राप्त होते हैं।
• बहुपद परिभाषा (Polynomial Definition): गुणांकों को विशिष्ट बहुपदों $P_m(t, d)$ के रूप में पहचाना जाता है जो इस पुनरावृत्ति द्वारा परिभाषित हैं:
  $$P_{m+1}(t, d) = t P_m(t, d) - d P_{m-1}(t, d)$$
  जहाँ प्रारंभिक स्थितियाँ $P_0 = 0$ और $P_1 = 1$ हैं।
• आव्यूह अनुप्रयोग (Matrix Application): इस सिद्धांत को $2 \times 2$ आव्यूह रिंग $M_2(R)$ पर लागू किया जाता है। केले-हैमिल्टन प्रमेय द्वारा, कोई भी आव्यूह $M$ अपने अभिलक्षणिक समीकरण (characteristic equation) $M^2 - \text{tr}(M)M + \det(M)I = 0$ को संतुष्ट करता है। अतः, सार्वभौमिक सर्वसमिका सीधे आव्यूह घातों पर लागू होती है।
• फाइबोनैची विशिष्टीकरण (Fibonacci Specialization): फाइबोनैची आव्यूह $A = \begin{pmatrix} 1 & 1 \\ 1 & 0 \end{pmatrix}$ का उपयोग एक विशिष्ट उदाहरण के रूप में किया गया है। लेखक $A^n$ के ट्रेस और डिटर्मिनेंट (जो क्रमशः $L_n$ और $(-1)^n$ हैं) की गणना करते हैं और $F_{nm}$ को अलग करने के लिए सामान्य आव्यूह सूत्र को $(1,2)$ प्रविष्टि (entry) पर लागू करते हैं।

3. मुख्य योगदान (Key Contributions)

A. सार्वभौमिक द्विघाती सर्वसमिका (Universal Quadratic Identity - Theorem 1)

यह शोध पत्र द्विघाती बीजगणितों में तत्वों की घातों के लिए एक सामान्य सूत्र स्थापित करता है। एक तत्व $x$ के लिए जो $x^2 - tx + d = 0$ को संतुष्ट करता है:
$$x^m = P_m(t, d)x - d P_{m-1}(t, d)$$
जहाँ $P_m(t, d)$ को इस द्विपद योग द्वारा स्पष्ट रूप से दिया गया है:
$$P_m(t, d) = \sum_{i=0}^{\lfloor (m-1)/2 \rfloor} \binom{m-1-i}{i} t^{m-1-2i} (-d)^i$$
यह परिणाम सार्वभौमिक है, जो किसी भी क्रम-विनिमेय वलय (commutative ring) $R$ और किसी भी $R$-बीजगणित के लिए मान्य है।

B. आव्यूह घात सूत्र (Matrix Power Formula - Corollary 1)

ट्रेस $t$ और डिटर्मिनेंट $d$ वाले $2 \times 2$ आव्यूहों $M$ के लिए एक सीधा परिणाम है:
$$M^m = P_m(t, d)M - d P_{m-1}(t, d)I$$
यह आव्यूह घातों के लिए एक बंद-रूप अभिव्यक्ति (closed-form expression) प्रदान करता है जो केवल ट्रेस और डिटर्मिनेंट पर निर्भर है, न कि विशिष्ट आव्यूह प्रविष्टियों पर।

C. चेबिशेव बहुपदों से संबंध (Connection to Chebyshev Polynomials)

लेखक उल्लेख करते हैं कि $P_m(t, d)$, दूसरे प्रकार के चेबिशेव बहुपदों ($U_n$) का एक स्केल किया हुआ संस्करण है। यदि $\sqrt{d}$ का अस्तित्व है, तो यह पहचान निम्नलिखित का सामान्यीकरण करती है:
$$P_m(t, d) = d^{(m-1)/2} U_{m-1}\left(\frac{t}{2\sqrt{d}}\right)$$

D. वोरोबत्सोव की सर्वसमिका का व्युत्पत्ति (Derivation of Vorobtsov's Identity - Corollary 2)

फाइबोनैची आव्यूह $A^n$ पर आव्यूह सूत्र लागू करके, यह शोध पत्र $F_{nm}$ के लिए एक द्विपद विस्तार प्राप्त करता है:
$$F_{nm} = F_n \sum_{i=0}^{\lfloor (m-1)/2 \rfloor} \binom{m-1-i}{i} L_n^{m-1-2i} (-1)^{i(n+1)}$$
यह वोरोबत्सोव के हालिया परिणाम को पुनः प्राप्त करता है लेकिन एक अधिक प्रत्यक्ष, संरचनात्मक व्युत्पत्ति प्रदान करता है।

4. परिणाम (Results)

• सामान्यीकरण (Generalization): यह शोध पत्र विशिष्ट फाइबोनैची सर्वसमिकाओं को एक सार्वभौमिक ढांचे में सफलतापूर्वक सामान्यीकृत करता है जो किसी भी द्विघाती बीजगणित के लिए लागू है।
• स्पष्ट सूत्र (Explicit Formula): यह आव्यूह घातों के गुणांकों के लिए एक ठोस, गणनीय द्विपद योग प्रदान करता है, जिससे विकेणन (diagonalization) या आइगेनवैल्यू अपघटन (eigenvalue decomposition) की आवश्यकता नहीं रहती।
• एकीकरण (Unification): यह द्वितीय-क्रम की रैखिक पुनरावृत्तियों (second-order linear recurrences), आव्यूह घातों और चेबिशेव बहुपदों के सिद्धांत को एक एकल बीजगणितीय न्यूनीकरण सिद्धांत के तहत एकीकृत करता है।

5. महत्व (Significance)

• वैचारिक स्पष्टता (Conceptual Clarity): यह कार्य परिप्रेक्ष्य को फाइबोनैची सर्वसमिकाओं को संख्या-सिद्धांत संबंधी कौतुक (number-theoretic curiosities) के रूप में देखने के बजाय, केले-हैमिल्टन प्रमेय और द्विघाती बीजगणित संरचनाओं के अपरिहार्य परिणामों के रूप में देखने की ओर ले जाता है।
• **सरलीकरण (Simplification):itt यह $F_{nm}$ और $L_n$ से जुड़ी जटिल सर्वसमिकाओं को बिना किसी तदर्थ (ad-hoc) संयोजन प्रमाणों के प्राप्त करने के लिए एक सुव्यवस्थित विधि प्रदान करता है।
• व्यापक प्रयोज्यता (Broad Applicability): "सार्वभौमिक द्विघाती न्यूनीकरण" (Universal Quadratic Reduction) फाइबोनैची संख्याओं से परे किसी भी प्रणाली पर लागू होता है जो दूसरे क्रम की पुनरावृत्ति या $2 \times 2$ आव्यूह गतिकी (dynamics) द्वारा संचालित होती है, जिसमें लुकास संख्याएँ, पेल् संख्याएँ (Pell numbers) और अन्य रैखिक पुनरावृत्ति अनुक्रम शामिल हैं।

निष्कर्षतः, मंतोवनैली यह प्रदर्शित करते हैं कि फाइबोनैची सर्वसमिकाओं में पाए जाने वाले जटिल द्विपद संरचनाएं वास्तव में द्विघाती संबंधों के अंतर्निहित एक मौलिक बीजगणितीय न्यूनीकरण प्रक्रिया की अभिव्यक्ति मात्र हैं।