Differences of squares of upper-triangular $2\times 2$ integer matrices

तकनीकी सारांश: ऊपरी-त्रिकोणीय $2 \times 2$ पूर्णांक आव्यूहों के वर्गों का अंतर

लेखक: आंद्रेज डुजेला और ज़्रिंका फ्रानुसिकिक
विषय क्षेत्र: संख्या सिद्धांत (Number Theory), आव्यूह सिद्धांत (Matrix Theory), डायोफेंटाइन समीकरण (Diophantine Equations)

1. समस्या

यह शोध पत्र उन ऊपरी-त्रिकोणीय $2 \times 2$ पूर्णांक आव्यूहों के अभिलक्षणन (characterization) की जांच करता है जिन्हें अन्य ऊपरी-त्रिकोणीय पूर्णांक आव्यूहों के दो वर्गों के अंतर के रूप में व्यक्त किया जा सकता है।

औपचारिक रूप से, दिए गए आव्यूह $T = \begin{pmatrix} p & r \\ 0 & q \end{pmatrix} \in UT_2(\mathbb{Z})$ के लिए, लेखक $p, q,$ और $r$ पूर्णांकों पर $p, q,$ और $r$ के लिए आवश्यक और पर्याप्त स्थितियाँ ज्ञात करना चाहते हैं ताकि ऐसे आव्यूह $A, B \in UT_2(\mathbb{Z})$ अस्तित्व में हों जो निम्नलिखित को संतुष्ट करते हों:
$$T = A^2 - B^2$$
जबकि पूर्णांकों के लिए शास्त्रीय समस्या (जहाँ $n = x^2 - y^2$ तब होता है जब $n \not\equiv 2 \pmod 4$) अच्छी तरह से समझी जा चुकी है, आव्यूह संस्करण दो विकर्ण प्रविष्टियों ($p, q$) और ऊपरी-दाएं प्रविष्टि ($r$) के बीच एक अतिरिक्त अंकगणितीय निर्भरता पेश करता है।

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

लेखक बीजगणितीय हेरफेर, डायोफेंटाइन विश्लेषण और मॉड्यूलर अंकगणित के संयोजन का उपयोग करते हैं:

• प्रत्यक्ष गणना (Direct Computation): सामान्य ऊपरी-त्रिकोणीय आव्यूहों $A = \begin{pmatrix} a & b \\ 0 & d \end{pmatrix}$ और $B = \begin{pmatrix} x & y \\ 0 & u \end{pmatrix}$ को वर्ग बनाने द्वारा, वे मौलिक संबंध व्युत्पन्न करते हैं:
  $$A^2 - B^2 = \begin{pmatrix} a^2 - x^2 & b(a + d) - y(x + u) \\ 0 & d^2 - u^2 \end{pmatrix}$$
• रैखिक डायोफेंटाइन समीकरण (Linear Diophantine Equations): $b$ और $y$ को खोजने की समस्या को समीकरण $b(a + d) - y(x + u) = r$ को हल करने में कम किया जाता है। इस समीकरण की समाधान क्षमता गुणांकों के महत्तम समापवर्तक (gcd) पर निर्भर करती है।
• मॉड्यूलर वर्गीकरण (Modular Classification): एक पूर्ण वर्गीकरण प्रदान करने के लिए, लेखक $m=4$ और $m=16$ के लिए वलय $UT_2(\mathbb{Z}_m)$ में समस्या का अध्ययन करते हैं। यह उन्हें उन कॉंग्रुएंस-आधारित बाधाओं (congruence-based obstructions) की पहचान करने की अनुमति देता है जो एक आव्यूह को $\mathbb{Z}$ में प्रतिनिधित्व योग्य होने से रोकते हैं।
• न्यूनतमीकरण फलन (Minimization Function): वे एक फलन $g(p, q)$ को परिभाषित करते हैं जो $p$ और $q$ के वर्गों के अंतर के रूप में सभी संभावित पूर्णांक निरूपणों पर $\gcd(a+d, x+u)$ के न्यूनतम संभव मान को दर्शाता है।

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

शोध पत्र कई प्रगतिशील प्रमेयों के माध्यम से प्रतिनिधित्व योग्य आव्यूहों का पूर्ण अभिलक्षणन प्रदान करता है:

• मुख्य मानदंड (प्रमेय 1): एक आव्यूह $T$ प्रतिनिधित्व योग्य है यदि और केवल यदि $p$ और $q$ पूर्णांकों में वर्गों के अंतर के रूप में प्रतिनिधित्व योग्य हैं, और ऐसे प्रतिनिधित्व मौजूद हैं जहाँ $\gcd(a+d, x+u)$, $r$ को विभाजित करता है (या यदि gcd पद शून्य हैं तो $r=0$)।
• $g(p, q)$ अभिलक्षणन (प्रमेय 11): यह एक महत्वपूर्ण सैद्धांतिक परिष्करण है। यह बताता है कि $T$ प्रतिनिधित्व योग्य है यदि और केवल यदि $p, q$ पूर्णांकों में वर्गों के अंतर के रूप में प्रतिनिधित्व योग्य हैं और $g(p, q) \mid r$ है। यह सिद्ध करता है कि प्रतिनिधित्व की "कठिनाई" पूरी तरह से विकर्ण प्रविष्टियों के बीच की अंतःक्रिया द्वारा कैप्चर की जाती है।
• पूर्ण कॉंग्रुएंस वर्गीकरण (प्रमेय 10): लेखक $p, q,$ और $r$ के सभी संभावित कॉंग्रुएंस वर्गों की एक निश्चित सूची प्रदान करते हैं जो प्रतिनिधित्व की अनुमति देते हैं। इसमें शामिल हैं:
  • विषम विकर्ण (Odd Diagonals): यदि $p, q$ विषम हैं, तो यदि $p \equiv q \pmod 4$ है तो $r$ को सम होना चाहिए, लेकिन यदि $p \not\equiv q \pmod 4$ है तो $r$ कुछ भी हो सकता है।
  • मिश्रित समता (Mixed Parity): यदि एक विकर्ण विषम है और दूसरा 4 का गुणज है, तो $r$ कोई भी पूर्णांक हो सकता है।
  • सम विकर्ण (Even Diagonals): यदि $p, q \equiv 0 \pmod 4$ है, तो $r$ पर आवश्यकताएँ अधिक कठोर हो जाती हैं (जो $p, q \pmod{16}$ पर निर्भर करती हैं)।

4. महत्व

यह शोध दो मुख्य क्षेत्रों में महत्व रखता है:

1. डायोफेंटाइन क्वाडुपल्स (Diophantine Quadruples): $D(n)$-क्वाडुपल्स (ऐसे सेट जहाँ $xy+n$एक वर्ग है) का अध्ययन$n$ के वर्गों के अंतर के रूप में प्रतिनिधित्व की जाने योग्यता से गहराई से जुड़ा हुआ है। ऊपरी-त्रिकोणीय आव्यूहों के गैर-क्रमविनिमेय (non-commutative) लेकिन संरचित वलय में इन निरूपणों को अभिलक्षणित करके, लेखक आव्यूह वलयों में $D(n)$-टुपल्स के भविष्य के अनुसंधान के लिए उपकरण प्रदान करते हैं।
2. बीजगणितीय संरचना सिद्धांत (Algebraic Structure Theory): यह शोध पत्र प्रदर्शित करता है कि कैसे एक क्रमविनिमेय वलय ($\mathbb{Z}$) से गैर-क्रमविनिमेय वलय ($UT_2(\mathbb{Z})$) में संक्रमण "वर्गों के अंतर" की समस्या को जटिल बनाता है, जिससे विकर्ण और ऑफ-डायगोनल तत्वों के बीच युग्मन (coupling) पेश होता है, जिसके लिए सरल मॉड्यूलर अंकगणित से अधिक परिष्कृत उपकरणों की आवश्यकता होती है।