Matrices with integer eigenvalues for all permutations of coefficients (thanks to Pythagoras!)

यहाँ माइकल जे.डब्ल्यू. हॉल के शोध पत्र "Matrices with integer eigenvalues for all permutations of coefficients" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र ऐसी $2 \times 2$ मैट्रिसेस (matrices) उत्पन्न करने की समस्या पर आधारित है जिनके पूर्णांक गुणांक ($a, b, c, d$) हों, ताकि इन चारों गुणांकों के प्रत्येक संभावित क्रमपरिवर्तन (permutation) से प्राप्त होने वाली मैट्रिक्स के आइगेन मान (eigenvalues) पूर्णांक हों।

यद्यपि किसी विशिष्ट व्यवस्था के लिए पूर्णांक आइगेन मान वाली मैट्रिसेस उत्पन्न करने की विधियाँ मौजूद हैं, लेकिन चुनौती उन पूर्णांकों के सेट $\{a, b, c, d\}$ को खोजने की है जहाँ आइगेन मान का गुण उनके $24$ संभावित क्रमपरिवर्तनों में भी अपरिवर्तित रहे। यह शैक्षिक संदर्भों (जैसे, कक्षा के अभ्यास) से प्रेरित है जहाँ एक शिक्षक को एक ही संख्या सेट का उपयोग करके छात्रों को अलग-अलग मैट्रिसेस वितरित करने की आवश्यकता होती है, यह सुनिश्चित करते हुए कि सभी से पूर्णांक समाधान प्राप्त हों।

2. गणितीय कार्यप्रणाली (Mathematical Methodology)

आइगेन मान की स्थिति (The Eigenvalue Condition)

एक $2 \times 2$ मैट्रिक्स $M = \begin{pmatrix} a & b \\ c & d \end{pmatrix}$ के लिए, आइगेन मान $\lambda$ विशेषता समीकरण (characteristic equation) के मूल होते हैं:
$$\lambda^2 - (a+d)\lambda + (ad-bc) = 0$$
आइगेन मान पूर्णांक होंगे यदि और केवल यदि विविक्तकर (discriminant) एक पूर्ण वर्ग हो, जिसे $u^2$ मान लें। इससे निम्नलिखित मौलिक स्थिति प्राप्त होती है:
$$u^2 = (a+d)^2 - 4(ad-bc) = (a-d)^2 + 4bc$$
सभी क्रमपरिवर्तनों के लिए पूर्णांक आइगेन मान प्राप्त करने के लिए, छह विशिष्ट डिओफैंटाइन समीकरणों (Diophantine equations) को एक साथ संतुष्ट करना आवश्यक है (जो गुणांकों के युग्म बनाने के छह अलग-अलग तरीकों के अनुरूप हैं):

1. $u^2 = (a-d)^2 + 4bc$
2. $v^2 = (b-c)^2 + 4ad$
3. $w^2 = (a-b)^2 + 4cd$
4. $x^2 = (c-d)^2 + 4ab$
5. $y^2 = (a-c)^2 + 4bd$
6. $z^2 = (b-d)^2 + 4ac$

एंसेट और न्यूनीकरण (The Ansatz and Reduction)

लेखक इस प्रणाली को हल करने के लिए एक सरलीकृत धारणा (ansatz) प्रस्तुत करते हैं:
$$a + d = b + c = t$$
जहाँ $t$ एक पूर्णांक है।

• इस धारणा के तहत, स्थितियाँ (3) से (6) स्वतः ही संतुष्ट हो जाती हैं।
• स्थितियाँ (1) और (2) सरल होकर निम्न रूप में आ जाती हैं:
  $$u^2 = t^2 + 4(a-b)(b-d)$$
  $$v^2 = t^2 - 4(a-b)(b-d)$$
• $k = b-d$ और $l = a-b$ को परिभाषित करके, समस्या को ऐसे पूर्णांक $r, s, t$ खोजने में बदल दिया जाता है ताकि:
  $$r^2 + s^2 = t^2$$
  यह प्रकट करता है कि समाधान स्थान सीधे पाइथागोरस त्रिक (Pythagorean triples) $(r, s, t)$ से जुड़ा हुआ है।

गुणांकों का व्युत्पत्ति (Derivation of Coefficients)

पाइथागोरस त्रिक $(r, s, t)$ और कारकों $k, l$ (जहाँ $kl = rs/2$) के संदर्भ में मैट्रिक्स के चार गुणांकों को व्यक्त किया गया है:
$$\{a, b, c, d\} = \left\{ \frac{t \pm k \pm l}{2} \right\}$$
$a, b, c, d$ को पूर्णांक सुनिश्चित करने के लिए, लेखक एक मानक समाधान (canonical solution) प्रस्तावित करते हैं जिसमें $k=r$ और $l=s/2$ चुना जाता है (पाइथागोरस त्रिक के समता गुणों का लाभ उठाते हुए जहाँ एक भुजा $4$ से विभाज्य होती है)। इससे प्राप्त होता है:
$$\{a, b, c, d\} = \left\{ \frac{t \pm r \pm \frac{s}{2}}{2} \right\}$$

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

A. मानक समाधान (The Canonical Solution)

शोध पत्र किसी भी पाइथागोरस त्रिक $(r, s, t)$ से पूर्णांक सेट उत्पन्न करने के लिए एक सीधा सूत्र प्रदान करता है।

• उदाहरण 1: त्रिक $(3, 4, 5)$ से $\{5, 3, 2, 0\}$ प्राप्त होता है।
• उदाहरण 2: त्रिक $(5, 12, 13)$ से $\{12, 6, 7, 1\}$ प्राप्त होता है।
  इन संख्याओं के किसी भी क्रमपरिवर्तन को $2 \times 2$ मैट्रिक्स में रखने पर पूर्णांक आइगेन मान प्राप्त होंगे।

B. वैकल्पिक पैरामीट्रिक रूप (Alternative Parametric Forms)

लेखक सह-मूल्य (coprime) पूर्णांकों $m$ और $n$ (जहाँ $n$ विषम है) का उपयोग करके एक अधिक उपयोगकर्ता-अनुकूल पैरामीट्रिक रूप व्युत्पन्न करते हैं:
$$\{a, b, c, d\} = \{4m^2 \pm mn, \ n^2 \pm mn\}$$
यह रूप मानक उदाहरणों को पुनः प्राप्त करता है और केवल धनात्मक पूर्णांक गुणांकों को आसानी से उत्पन्न करने की अनुमति देता है (बशर्ते $4|m| > |n| > |m|$ हो)।

C. समाधानों के अनंत परिवार (Infinite Families of Solutions)

शोध पत्र यह प्रदर्शित करता है कि एक एकल पाइथागोरस त्रिक गणनीय अनंत (countable infinity) गैर-तुच्छ समाधान उत्पन्न कर सकता है।

• $k$ और $l$ के लिए गैर-पूर्णांक परिमेय कारकों को चुनकर और एक सामान्य कारक से स्केल करके, नए पूर्णांक सेट बनाए जाते हैं।
• उदाहरण: त्रिक $(3, 4, 5)$ से, विशिष्ट परिमेय $k, l$ चुनकर $\{21, 15, 5, -1\}$ और $\{65, 49, 11, -5\}$ जैसे सेट प्राप्त होते हैं।

D. स्पष्ट आइगेन मान सूत्र (Explicit Eigenvalue Formulas)

शोध पत्र उत्पन्न मैट्रिसेस के विभिन्न क्रमपरिवर्तनों के लिए आइगेन मानों की स्पष्ट गणना करता है। मानक समाधान के लिए, आइगेन मान सरल रूपों में होते हैं जैसे:
$$\left\{ \frac{t \pm (r+s)}{2} \right\}, \quad \left\{ \frac{t \pm (r-s)}{2} \right\}, \quad \{t, k\}, \quad \{t, -k\}, \dots$$
महत्वपूर्ण रूप से, पहले दो मैट्रिक्स क्रमपरिवर्तनों के आइगेन मान $k$ और $l$ के विशिष्ट चयन से स्वतंत्र होते हैं।

4. महत्व (Significance)

• शैक्षिक उपयोगिता (Pedagogical Utility): यह विधि शिक्षकों को एक ही गुणांक सेट साझा करने वाली, लेकिन अलग-अलग समाधान देने वाली बड़ी संख्या में विशिष्ट समस्याओं (मैट्रिसेस) को उत्पन्न करने के लिए एक मजबूत उपकरण प्रदान करती है, जिससे जटिल गणना के बिना कक्षा के अभ्यास सुलभ होते हैं।
• गणितीय अंतर्दृष्टि (Mathematical Insight): यह पाइथागोरस त्रिक और मैट्रिक्स के क्रमपरिवर्तन के तहत उनके स्पेक्ट्रल गुणों के बीच एक नया और सुंदर संबंध स्थापित करता है। यह दिखाता है कि सभी क्रमपरिवर्तनों के लिए पूर्णांक आइगेन मानों के लिए आवश्यक समरूपता (symmetry), समकोण त्रिभुजों की ज्यामिति में गहराई से निहित है।
• दक्षता (Efficiency): पिछले तरीकों के विपरीत जो प्रति पैरामीटर सेट एक मैट्रिक्स उत्पन्न करते हैं, यह विधि एक ही पैरामीटर सेट से $24$ मैट्रिसेस का एक "परिवार" उत्पन्न करती है।
• सामान्यीकरण (Generalization): यह शोध पत्र आगे के अनुसंधान के द्वार खोलता है, यह उल्लेख करते हुए कि जबकि $2 \times 2$ मामले को इस एंसेट के माध्यम से हल किया गया है, $3 \times 3$ मैट्रिसेस के लिए गैर-तुच्छ समाधानों का अस्तित्व एक खुला प्रश्न बना हुआ है।

निष्कर्ष (Conclusion)

माइकल जे.डब्ल्यू. हॉल ने पूर्णांक गुणांकों और उनके सभी $24$क्रमपरिवर्तनों के लिए पूर्णांक आइगेन मानों वाली$2 \times 2$ मैट्रिसेस उत्पन्न करने की एक रचनात्मक विधि सफलतापूर्वक व्युत्पन्न की है। मुख्य नवाचार पाइथागोरस त्रिक में इस समस्या का न्यूनीकरण है, जो एक मानक समाधान और विविधताओं का एक अनंत परिवार दोनों प्रदान करता है, जिससे एक विशिष्ट संयोजी मैट्रिक्स समस्या (combinatorial matrix problem) का समाधान होता है जिसके महत्वपूर्ण शैक्षिक और सैद्धांतिक निहितार्थ हैं।