On Euler's magic matrices of sizes $3$ and $8$

तकनीकी सारांश: ऑयलर के आकार 3 और 8 के जादुई आव्यूहों पर

समस्या विवरण
यह शोध पत्र "ऑयलर के जादुई आव्यूहों" (Euler's magic matrices) की जांच करता है, जो कि पूर्णांक आव्यूह $M \in \mathbb{Z}^{n \times n}$ का एक विशिष्ट वर्ग है, जिसे किसी गैर-शून्य स्थिरांक $\gamma$ के लिए तीन शर्तों द्वारा परिभाषित किया गया है:

1. ऑर्थोगोनैलिटी-समान शर्त: $M \cdot M^t = \gamma \cdot I_n$।
2. मुख्य विकर्ण शर्त: मुख्य विकर्ण (main diagonal) के अवयवों के वर्गों का योग $\gamma$ के बराबर है।
3. प्रति-विकर्ण (anti-diagonal) शर्त: प्रति-विकर्ण के अवयवों के वर्गों का योग $\gamma$ के बराबर है।

यदि $M$ के अवयवों के वर्ग परस्पर भिन्न (pairwise distinct) हैं, तो आव्यूह को एक "उचित" (proper) ऑयलर का जादुई आव्यूह कहा जाता है। यदि अवयवों के वर्ग भिन्न हों और पंक्तियों/स्तंभों/विकर्णों का योग समान हो, तो यह "वर्गों के जादुई वर्ग" (magic squares of squares) के निर्माण से संबंधित है। जबकि ऑयलर ने $n=4$ के लिए ऐसे आव्यूह का निर्माण किया था, "वर्गों के जादुई वर्ग" के संदर्भ में $n=3$ के लिए इसकी उपस्थिति एक खुला प्रश्न बना हुआ है। यह शोध पत्र विशेष रूप से $n=3$ और $n=8$ के लिए ऑयलर के जादुई आव्यूहों की उपस्थिति को संबोधित करता है, और अन्य $n$ के लिए उनके निर्माण प्रदान करता है।

कार्यप्रणाली

• मामला $n=3$: लेखक परिमेय संख्याओं ($\mathbb{Q}$) के क्षेत्र पर ऑर्थोगोनल आव्यूहों तक न्यूनीकरण (reduction) का उपयोग करता है। लेम्मा 2.1 का उपयोग करते हुए, यह स्थापित किया गया है कि विषम $n$ के लिए, कोई भी ऑयलर का जादुई आव्यूह $M$ जिसका $M \cdot M^t = \gamma I$, $\gamma$ के लिए स्केल किया जा सकता है। प्रमाण 'केली ट्रांसफॉर्म' (Cayley transform - प्रपोजिशन 2.2) के परिशोधन का उपयोग करता है, जो तिरछी सममित (skew-symmetric) आव्यूह $S$ के माध्यम से ऑर्थोगोनल आव्यूहों को पैरामीट्राइज करता है। विकर्ण और प्रति-विकर्ण योग की शर्तों में इस पैरामीट्राइजेशन को प्रतिस्थापित करके, समस्या $S$ के अवयवों में बहुपद समीकरणों (polynomial equations) के एक निकाय को हल करने में बदल जाती है। लेखक यह प्रदर्शित करता है कि ये समीकरण $\mathbb{Q}$ पर एक विरोधाभास (विशेष रूप से $\mathbb{Q}$ में 3 की गैर-वर्ग प्रकृति के कारण) की ओर ले जाते हैं, जिससे गैर-अस्तित्व सिद्ध होता है।

• मामला $n=8$: निर्माण ऑक्टोनियन्स (octonions) के बीजगणित पर आधारित है। लेखक ऑक्टोनियन गुणन के बाएं और दाएं गुणन को दर्शाने वाले आव्यूह $L(a, \dots, h)$ और $R(p, \dots, w)$ को परिभाषित करता है। उत्पाद $M = L \cdot R$ स्वतः ही ऑर्थोगोनैलिटी की शर्त $M \cdot M^t = \gamma I_8$ को संतुष्ट करता है। चुनौती विकर्ण और प्रति-विकूर्ण शर्तों (समीकरण 2 और 3) को संतुष्ट करने के साथ-साथ "उचितता" (distinct squares) की शर्त सुनिश्चित करना है।

  • खोज रणनीति: शोध पत्र में एक "कच्ची खोज" (naive search) दृष्टिकोण का विवरण दिया गया है जो परिणामी चतुर्थ घात वक्रों (quartic curves) की जटिलता और परिमेय बिंदुओं को खोजने की कठिनाई के कारण कठिन सिद्ध हुआ।
  • बीजगणितीय न्यूनीकरण: एक अधिक सफल रणनीति में $L$ के मापदंडों पर विशिष्ट बीजगणितीय प्रतिबंध लगाना शामिल था (विशेष रूप से $h = \pm a$ और शेष मापदंडों पर वर्गों का योग की स्थिति), जिससे चर के उन्मूलन और एक परिमेय पैरामीट्राइजेशन के व्युत्पन्न के लिए बहुपद प्रणाली की डिग्री कम हो गई।

• सामान्य $n \geq 4$: यह शोध पत्र सममित समूह (symmetric group) में विशिष्ट चक्र संरचनाओं से प्राप्त क्रमचय आव्यूहों (permutation matrices) का उपयोग करके "अनुचित" (improper) ऑयलर के जादुई आव्यूह बनाता है (जहाँ अवयव अनिवार्य रूप से भिन्न वर्ग नहीं हैं)।

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

1. $n=3$ के लिए गैर-अस्तित्व: यह शोध पत्र प्रमेय 1.2 को सिद्ध करता है, जो कहता है कि $\mathbb{Q}^{3 \times 3}$ में कोई ऑयलर का जादुई आव्यूह मौजूद नहीं है। फलस्वरूप, $n=3$ के लिए कोई उचित ऑयलर का जादुई आव्यूह मौजूद नहीं है। प्रमाण यह दिखाने पर निर्भर है कि केली ट्रांसफॉर्म से प्राप्त समीकरणों का $\mathbb{Q}$ पर कोई परिमेय समाधान नहीं है।

2. $n=8$ के लिए अस्तित्व: यह शोध पत्र $n=8$ के लिए पहले उचित ऑयलर के जादुई आव्यूह का स्पष्ट निर्माण प्रदान करता है।

   • प्रमेय 1.3 एक विशिष्ट $8 \times 8$ पूर्णांक आव्यूह $M = L \cdot R$ प्रस्तुत करता है जिसमें भिन्न वर्गाकार अवयव हैं, जिसे ऑक्टोनियन गुणन आव्यूहों के लिए विशिष्ट पूर्णांक मापदंडों का उपयोग करके बनाया गया है।
   • प्रमेय 1.4 इस परिणाम को सामान्यीकृत करता है, जो $\mathbb{Q}(q, r, t, u)$ पर उचित ऑयलर के जादुई आव्यूहों का एक 4-पैरामीट्रिक परिवार प्रदान करता है। यह दर्शाता है कि समाधान अलग-थलग नहीं हैं बल्कि एक बड़े बीजगणितीय परिवार का हिस्सा हैं।

3. अन्य $n$ के लिए निर्माण:

   • प्रमेय 4.1 क्रमचय आव्यूहों का उपयोग करके सभी $n \geq 4$ (सम और विषम दोनों) के लिए ऑयलर के जादुई आव्यूह का निर्माण करता है। हालाँकि, लेखक स्पष्ट रूप से नोट करता है कि ये "उचितता से बहुत दूर" हैं क्योंकि इनमें कई शून्य अवयव और दोहराए गए मान हैं।
   • $n=5$ के लिए, शोध पत्र एक रैंडम सर्च की रिपोर्ट करता है जिसने ऑयलर की शर्तों को पूरा करने वाले आव्यूह दिए लेकिन "उचितता" (भिन्न वर्ग) की शर्त को थोड़े अंतर से विफल कर दिया (उदाहरण के लिए, 25 में से 24 भिन्न वर्ग)। $n=5$ के लिए एक पूर्णतः उचित आव्यूह की उपस्थिति एक खुला प्रश्न बना हुआ है।

महत्व और दावे

शोध पत्र यह दावा करता है कि वह $n=3$ और $n=8$ के विशिष्ट मामलों के लिए ऑयलर के जादुजी आव्यूहों के अस्तित्व के प्रश्न को हल करता है।

• $n=3$ के लिए, यह परिमेय संख्याओं पर ऐसे आव्यूहों के अस्तित्व के द्वार को निश्चित रूप से बंद करता है, जिससे पता चलता है कि $3 \times 3$ वर्गों के जादुई वर्ग को खोजने की कठिनाई पहले की तुलना में अधिक गहरी हो सकती है, क्योंकि यहाँ तक कि शिथिल "ऑयलर के जादुई आव्यूह" की शर्त भी पूरी नहीं हो सकती।
• $n=8$ के लिए, यह इस सुझाव को मान्य करता है कि ऑक्टोनियन गुणन आव्यूहों का उपयोग किया जाए। जबकि इसबेल पिरसिक की व्यापक खोज विफल रही थी, यह शोध पत्र प्रदर्शित करता है कि बहुपद प्रणाली के सावधानीपूर्वक बीजगणितीय विश्लेषण से बिना किसी थकाऊ खोज के समाधान प्राप्त किए जा सकते हैं।
• यह कार्य यह रेखांकित करता है कि $n=3$ एकमात्र ऐसा धनात्मक पूर्णांक है जिसके लिए $\mathbb{Q}^{n \times n}$ में कोई ऑयलर का जादुई आव्यूह मौजूद नहीं है, जबकि अन्य सभी $n$ के लिए ऐसे आव्यूह मौजूद हैं (हालाँकि उचितता केवल इस कार्य में $n=4$ और $n=8$ के लिए गारंटीकृत है)।

लेखक $n=5$ के मामले में एक विनम्र स्वर बनाए रखते हैं, यह स्वीकार करते हुए कि हालांकि निकट-उचित उदाहरण मिले थे, पूर्णतः उचित आव्यूह की उपस्थिति अभी भी अप्रामाणित है। शोध पत्र इस बात पर जोर देता है कि इन आव्यूहों को उत्पन्न करने में बीजगणितीय संरचनाओं (quaternions के लिए $n=4$, octonions के लिए $n=8$) की उपयोगिता और ब्रूट-फोर्स सर्च के बजाय बहुपद प्रणाली विश्लेषण की शक्ति कितनी महत्वपूर्ण है।