🔢 mathematics

$D(N)$ -quadruples in upper-triangular $2\times2$ integer matrices

यह शोध पत्र $2\times2$ पूर्णांक आव्यूहों (integer matrices) के गैर-क्रमविनिमेय वलय (noncommutative ring) के भीतर डियोफैंटाइन $D(N)$ -क्वाड्रूपल्स (Diophantine $D(N)$ -quadruples) के अनुरूपों का परिचय देता है और उनकी जांच करता है, जिसमें सममित जॉर्डन उत्पाद (symmetric Jordan product) के अंतर्गत ऊपरी-त्रिकोणीय आव्यूहों (upper-triangular matrices) में ऐसे क्वाड्रूपल्स के अस्तित्व पर विशिष्ट ध्यान केंद्रित किया गया है।

मूल लेखक: Andrej Dujella, Zrinka Franušić

प्रकाशित 2026-09-01

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Andrej Dujella, Zrinka Franušić

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

गणित के विशाल परिदृश्य में, संख्याओं के साथ खेला जाने वाला एक लंबे समय से चला आ रहा खेल है जिसे 'डायोफेंटाइन पहेली' (Diophantine puzzle) कहा जाता है। कल्पना कीजिए कि दोस्तों का एक समूह है जहाँ हर बार जब आप दो अलग-अलग लोगों की आयु चुनते हैं और उनके गुणनफल में एक विशिष्ट संख्या जोड़ते हैं, तो आपको हमेशा एक पूर्ण वर्ग (perfect square) प्राप्त होता है। सदियों से, गणितज्ञों ने ऐसे समूहों की खोज की है जो इस नियम पर खरे उतरते हैं, और उन्होंने पाया कि साधारण पूर्णांकों की परिचित दुनिया के भीतर ऐसे विशेष समूहों का अस्तित्व प्रचुर मात्रा में है। इसके नियम सख्त हैं: संख्याएँ भिन्न होनी चाहिए, और यह संबंध समूह के भीतर प्रत्येक संभावित जोड़ी के लिए सत्य होना चाहिए। इस खोज ने इस बात के गहरे संबंध प्रकट किए हैं कि संख्याएँ वर्गों से कैसे निर्मित होती हैं और क्या ऐसे विशेष समूह वास्तव में अस्तित्व में हो सकते हैं। लेकिन क्या होता है जब आप एकल संख्याओं की आरामदायक दुनिया से बाहर कदम रखते हैं और एक अधिक जटिल ब्रह्मांड में प्रवेश करते हैं जहाँ संचालन के क्रम (order of operations) का महत्व होता है?

यह उस क्षेत्र की खोज है जिसे शोधकर्ता आंद्रेज डुजेला (Andrej Dujella) और ज़्रिंका फ्रानुसिक (Zrinka Franušić) ने अपने हालिया कार्य में तलाशा है। उन्होंने क्लासिक डायोफेंटाइन खेल को केवल साधारण संख्याओं के साथ नहीं, बल्कि पूर्णांकों के 2x2 ग्रिड, जिन्हें आव्यूह (matrices) कहा जाता है, के साथ खेलने का निर्णय लिया। इस नई दुनिया में, सामान्य गुणन के नियम टूट जाते हैं क्योंकि दो आवرتों (matrices) के क्रम को बदलने से परिणाम बदल जाता है। इस गैर-क्रमविनिमेय (non-commutative) अराजकता में नेविगेट करने के लिए, लेखकों ने इन ग्रिडों को संयोजित करने का एक नया तरीका पेश किया, जिसे 'जॉर्डन उत्पाद' (Jordan product) कहा जाता है, जो संतुलन बहाल करने के लिए दोनों आवर्तों को सममित (symmetrically) रूप से मानता है। उनका लक्ष्य यह देखना था कि क्या वर्ग की शर्त को पूरा करने वाले चार के समूहों को खोजने के पुराने नियम इस अजीब, ग्रिड-आधारित वातावरण में भी लागू होते हैं, विशेष रूप से आवرتों के एक विशेष उपसमूह पर ध्यान केंद्रित करते हुए जो त्रिकोणीय आकार के दिखते हैं।

शोधकर्ताओं ने पाया कि उत्तर पूरी तरह से उस ग्रिड की संरचना पर निर्भर करता है जिसे आप बनाने की कोशिश कर रहे हैं। उन्होंने पाया कि यदि वह लक्षित संख्या जिसे आप जोड़ रहे हैं, इस त्रिकोणीय आवर्त दुनिया के भीतर दो अन्य वर्गों के अंतर के रूप में व्यक्त की जा सकती है, तो इस खेल को जीतना आसान है। इन मामलों में, उन्होंने सिद्ध किया कि इन विशेष चार आवर्तों के समूहों के निर्माण के केवल एक या दो समाधान नहीं हैं, बल्कि अनंत तरीके हैं। यह परिणाम महत्वपूर्ण है क्योंकि यह साधारण संख्याओं की सरल दुनिया के एक प्रसिद्ध नियम को प्रतिबिंबित करते हुए, वर्गों के अंतर के रूप में एक संख्या को लिखने की क्षमता और इन जटिल आवर्त समूहों के अस्तित्व के बीच एक स्पष्ट, सीधा संबंध स्थापित करता है।

हालाँकि, कहानी बहुत अधिक जटिल हो जाती है जब लक्षित संख्या को दो वर्गों के अंतर के रूप में नहीं लिखा जा सकता है। यहाँ, शोधकर्ताओं ने पाया कि पुराने नियम केवल विफल नहीं होते; वे अपवादों और असंभवताओं के एक पैचवर्क में टूट जाते हैं। विभिन्न पैटर्नों के कठोर परीक्षण के माध्यम से, उन्होंने सिद्ध किया कि आवर्तों के कई विशिष्ट प्रकारों के लिए, ऐसा चार का समूह कभी अस्तित्व में नहीं हो सकता। उन्होंने तार्किक बाधाओं का उपयोग किया, जो यह जाँचने के समान है कि क्या कोई पहेली का टुकड़ा किसी विशिष्ट आकार में फिट बैठता है, यह दिखाने के लिए कि संख्याओं के कुछ संयोजन मिलकर आवश्यक वर्ग नहीं बना सकते। फिर भी, इन "असंभव" क्षेत्रों में भी, उन्हें आश्चर्यजनक खामियां मिलीं। उन्होंने प्रदर्शित किया कि यदि आवर्त के विकर्ण संख्याएँ स्वयं पूर्ण वर्ग हैं, तो अन्य संख्याओं की भागीदारी के बावजूद एक समाधान हमेशा मौजूद रहता है। यह निष्कर्ष बताता है कि साधारण पूर्णांकों की परिचित दुनिया की तुलना में गैर-क्रमविनिमेय दुनिया में वर्गों और इन आवर्त समूहों के बीच का संबंध कहीं अधिक सूक्ष्म और बारीक है।

लेख निष्कर्ष के रूप में समाधान बनाने के दो अलग-अलग तरीके प्रस्तुत करता है। एक विधि 'वर्गों के अंतर' के प्रतिनिधित्व के संरचनात्मक आधार पर निर्भर करती है, जबकि दूसरी विधि साधारण संख्या जगत के क्लासिक बहुपद सूत्रों (polynomial formulas) को इस नए आवर्त सेटिंग में अनुकूलित करती है। इन दृष्टिकोणों को मिलाकर, लेखकों ने इस गणितीय क्षेत्र के एक बड़े हिस्से का मानचित्रण किया है। उन्होंने दिखाया है कि कहाँ मार्ग खुले हैं और कहाँ वे अवरुद्ध हैं, यह प्रकट करते हुए कि यद्यपि त्रिकोणीय आवर्तों का ब्रह्मांड अराजक है, फिर भी यह यादृच्छिक (random) नहीं है। यह अपने स्वयं के जटिल तर्क का पालन करता है, जहाँ इन विशेष समूहों का अस्तित्व समता (parity), विभाज्यता, और ग्रिड के भीतर संख्याओं की विशिष्ट व्यवस्था के बीच एक नाजुक परस्पर क्रिया द्वारा निर्धारित होता है। यह कार्य यह दावा नहीं करता है कि इसने हर संभव मामले को हल कर लिया है, कुछ विशिष्ट पैटर्न को खुले प्रश्नों के रूप में छोड़ देता है, लेकिन यह समझने के लिए एक निश्चित ढांचा प्रदान करता है कि ये जटिल गणितीय पिंड कैसे व्यवहार करते हैं।

तकनीकी सारांश: $UT_2(\mathbb{Z})$ में ऊपरी-त्रिकोणीय $2 \times 2$ पूर्णांक आव्यूहों में $D(N)$ -चतुष्टक (Quadruples)

समस्या विवरण
यह शोध पत्र गैर-क्रमविनिमेय वलय (noncommutative ring) $M_2(\mathbb{Z})$ में डायोफेंटाइन $D(n)$ - $m$ -टुपल्स के विस्तार को संबोधित करता है। क्रमविनिमेय वलयों (commutative rings) में, एक $D(n)$ - $m$ -टुपल विशिष्ट गैर-शून्य तत्वों $\{a_1, \dots, a_m\}$ का एक सेट है ताकि सभी $i < j$ के लिए $a_i a_j + n$ एक पूर्ण वर्ग हो। क्रमविनिमेय वलयों में एक शास्त्रीय परिणाम $D(n)$ -चतुष्टकों (quadruples) के अस्तित्व और $n$ को दो वर्गों के अंतर ( $n = x^2 - y^2$ ) के रूप में प्रदर्शित करने के बीच एक मजबूत संबंध स्थापित करता है।

लेखक इस बात की जांच करते हैं कि क्या यह संबंध आव्यूह वलयों (matrix rings) के गैर-क्रमविनिमेय परिवेश में भी लागू होता है। विशेष रूप से, वे ऊपरी-त्रिकोणीय पूर्णांक आव्यूहों $UT_2(\mathbb{Z})$ पर ध्यान केंद्रित करते हैं, और मैट्रिक्स $D(N)$ -टुपल्स की दो परिभाषाओं की खोज करते हैं:

मानक गुणन (Standard Product): क्रमबद्ध आव्यूह गुणन $A_i A_j + N = X_{ij}^2$ पर आधारित (आरोही और अवरोही क्रमों के बीच अंतर करते हुए)।
जॉर्डन गुणन (Jordan Product): सममित जॉर्डन गुणन $A \circ B = \frac{1}{2}(AB + BA)$ पर आधारित, जहाँ $A_i \circ A_j + N = X_{ij}^2$ ।

मुख्य ध्यान $UT_2(\mathbb{Z})$ के भीतर जॉर्डन $D(N)$ -टुपल्स पर है, जहाँ वर्गमूल $X_{ij}$ को भी $UT_2(\mathbb{Z})$ में होना चाहिए। अध्ययन अपभ्रष्ट (degenerate) टुपल्स (जहाँ युग्मवार जॉर्डन उत्पाद शून्य होते हैं) और गैर-अपभ्रष्ट (non-degenerate) टुपल्स के बीच अंतर करता है।

कार्यप्रणाली
लेखक संरचनात्मक लक्षण वर्णन (structural characterization), स्पष्ट निर्माण (explicit construction), और मॉडुलर अवरोध (modular obstruction) तकनीकों के संयोजन का उपयोग करते हैं:

संरचनात्मक लक्षण वर्णन: वे दो वर्गों के अंतर के रूप में दर्शाए जाable $UT_2(\mathbb{Z})$ के आव्यूहों के पूर्व लक्षण वर्णन (संदर्भ [10] से) का उपयोग करते हैं, जो 16 के modulo 16 स्थितियों पर निर्भर करता है।
विस्तार सूत्र (Extension Formulas): वे ट्रिपल (triples) के शास्त्रीय विस्तार सूत्र को अनुकूलित करते हैं। यदि $\{A, B\}$ एक जॉर्डन $D(N)$ -युग्म है जिसमें $A \circ B + N = R^2$ , तो वे एक ट्रिपल $\{A, B, A+B \pm 2R\}$ का निर्माण करते हैं। यह जॉर्डन गुणन की द्विसमरूपता (bilinearity) पर निर्भर करता है।
प्रोटोटाइप निर्माण (प्रमेय 5): उन आव्यूतों $N$ के लिए जो $N = K^2 - A_0^2$ के रूप में दर्शाए गए हैं, लेखक $\{A_0 + U_t, A_0 - U_t, 2A_0 + 2K, 5A_0 + 4K\}$ के रूप में एक "प्रोटोटाइप" चतुष्टक का निर्माण करते हैं, जहाँ $U_t$ एक निलंबन (nilpotent) आव्यूह है। वे सिद्ध करते हैं कि अनंत मापदंडों $t$ के लिए, यह सेट एक वैध जॉर्डन $D(N)$ -चतुष्टक बनाता है।
मॉडुलर अवरोध (Modular Obstructions): उन आव्यूतों $N$ के लिए जो दो वर्गों के अंतर के रूप में दर्शाए जाने योग्य नहीं हैं, लेखक विकर्ण प्रविष्टियों (diagonal entries) पर स्केलर स्थितियों ( $a_i a_j + p = \square$ और $d_i d_j + q = \square$ ) और ऊपरी-दाएँ प्रविष्टियों पर पूर्णांक स्थितियों का विश्लेषण करते हैं। वे गैर-अस्तित्व को सिद्ध करने के लिए पैरिटी तर्क (parity arguments) और $\mathbb{Z}_2^2$ में वेक्टर्स से संबंधित एक विशिष्ट लेम्मा (लेम्मा 7) का उपयोग करते हैं।
स्पष्ट निर्माण (Explicit Constructions): उन विशिष्ट कॉंग्रुएंस क्लासेस (congruence classes) के लिए जहाँ गैर-अस्तित्व को सिद्ध नहीं किया जा सकता है, लेखक चतुष्टकों के स्पष्ट बहुपद या पूर्णांक निर्माण प्रदान करते हैं, जो अक्सर स्केलिंग गुणों (लेम्मा 2) का उपयोग करते हैं या शास्त्रीय बहुपद परिवारों (अनुभाग 5) को अनुकूलित करते हैं।

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

वर्गों के अंतर वाले आव्यूतों के लिए अस्तित्व:
पत्र यह सिद्ध करता है कि प्रत्येक आव्यूत $N \in UT_2(\mathbb{Z})$ जिसे $UT_2(\mathbb{Z})$ में दो वर्गों के अंतर के रूप में दर्शाया जा सकता है, अनंत जॉर्डन $D(N)$ -चतुष्टक रखता है (प्रमेय 5 और उपप्रमेय 6)। यह इस निहितार्थ को स्थापित करता है:
$N = K^2 - A^2 \implies \text{जॉर्डन } D(N)\text{-चतुष्टकों का अस्तित्व}$
यह पहला ऐसा ढांचा है जहाँ इस निहितार्थ को दो वर्गों के अंतर के प्रतिनिधित्व के संरचनात्मक लक्षण वर्णन को एक स्पष्ट निर्माण के साथ जोड़कर स्थापित किया गया है।
गैर-अस्तित्व परिणाम:
लेखक $N \in UT_2(\mathbb{Z})$ के कई अनंत परिवारों की पहचान करते हैं जो दो वर्गों के अंतर के रूप में दर्शाए जाने योग्य नहीं हैं और जिनके लिए जॉर्डन $D(N)$ -चतुष्टक मौजूद नहीं हैं। ये गैर-अस्तित्व परिणाम मॉडुलर अवरोधों (प्रस्ताव 8, 9, 12, 13, 15, 17, 18) के माध्यम से प्राप्त किए गए हैं।
- मामला I: $p \equiv 2 \pmod 4$ या $q \equiv 2 \pmod 4$ ।
- मामला II (आंशिक): $p, q$ विषम, $p \equiv q \pmod 4$ , $r$ विषम, विशेष रूप से जब $p \equiv q \equiv 3 \pmod 4$ हो।
- मामला III (आंशिक): $(p, q) \equiv (4, 4), (12, 12) \pmod{16}$ के साथ $r$ की विशिष्ट स्थितियाँ।
- मामला IV: $(p, q) \equiv (4, 12), (8, 8), (12, 4) \pmod{16}$ के साथ $r$ विषम।
गैर-वर्ग-अंतर वाले आव्यूतों के लिए अस्तित्व:
महत्वपूर्ण रूप से, शोध पत्र यह प्रदर्शित करता है कि जॉर्डन $D(N)$ -चतुष्टकों के अस्तित्व के लिए "वर्गों के अंतर" की स्थिति आवश्यक नहीं है।
- प्रस्ताव 10: किसी भी पूर्णांक $m$ के लिए $N = \begin{pmatrix} 1 & m \\ 0 & 1 \end{pmatrix}$ के लिए एक जॉर्डन $D(N)$ -चतुष्टक का निर्माण करता है। यदि $m$ विषम है, तो $N$ $UT_2(\mathbb{Z})$ में दो वर्गों का अंतर नहीं है, फिर भी चतुष्टक मौजूद है।
- प्रस्ताव 14: यह सिद्ध करता है कि यदि $N$ की विकर्ण प्रविष्टियाँ पूर्णांक वर्ग ( $p=s^2, q=t^2$ ) हैं, तो $N$ के दो वर्गों के अंतर के रूप में दर्शाए जाने के बावजूद, प्रत्येक ऊपरी-दाएँ प्रविष्टि $r$ के लिए एक जॉर्डन $D(N)$ -चतुष्टक मौजूद होता है।
- प्रस्ताव 16: $N_t = \begin{pmatrix} 4 & 2t \\ 0 & 4 \end{pmatrix}$ के लिए चतुष्टकों का एक परिवार प्रदान करता है, जो केवल तभी दो वर्गों के अंतर के रूप में दर्शाए जाते हैं जब $t$ सम हो, फिर भी सभी $t \neq 0$ के लिए चतुष्टक मौजूद हैं।
बहुपद अनुकूलन (Polynomial Adaptations):
अनुभाग 5 दर्शाता है कि कैसे क्रमविनिमेय $D(n)$ -चतुष्टकों (विशेष रूप से दुजेला [6] से) के शास्त्रीय बहुपद सूत्रों को $UT_2(\mathbb{Z})$ में जॉर्डन सेटिंग के लिए ऊपरी-दाएँ प्रविष्टियों के लिए रैखिक डायोफेंटाइन समीकरणों को हल करके अनुकूलित किया जा सकता है।

महत्व और दावे
शोध पत्र का दावा है कि यह वास्तव में एक गैर-क्रमविनिमेय सेटिंग में डायोफेंटाइन $D(N)$ -टुपल्स के अध्ययन को शुरू करता है। इसका प्राथमिक महत्व यह प्रकट करना है कि $UT_2(\mathbb{Z})$ में वर्गों के अंतर के प्रतिनिधित्व और $D(N)$ -चतुष्टकों के अस्तित्व के बीच का संबंध शास्त्रीय क्रमविनिमेय सेटिंग की तुलना में अधिक सूक्ष्म (subtle) है।

जबकि "वर्गों के अंतर $\implies$ चतुष्टकों का अस्तित्व" वाला निहितार्थ $UT_2(\mathbb{Z})$ के लिए सत्य है, इसका विलोम (converse) असत्य है। शोध पत्र यह स्थापित करता है कि ऐसे आव्यूतों के अनंत परिवार हैं जो दो वर्गों के अंतर नहीं हैं फिर भी जॉर्डन $D(N)$ -चतुष्टक रखते हैं। इसके विपरीत, ऐसे आव्यूत भी हैं जो दो वर्गों के अंतर नहीं हैं और जिनके लिए कोई ऐसा चतुष्टक मौजूद नहीं है।

लेखक निष्कर्ष निकालते हैं कि हालांकि $UT_2(\mathbb{Z})$ में आव्यूतों के एक बड़े वर्ग के लिए $D(N)$ -चतुष्टक अस्तित्व से जोड़ने वाला "नियम" काम करता है, लेकिन यह एक सख्त तुल्यता (equivalence) नहीं है। शोध पत्र कुछ कॉंग्रुएंस क्लासेस (विशेष रूप से मामलों II और III में जहाँ विकर्ण प्रविष्टियाँ वर्ग नहीं हैं) को खुले प्रश्नों के रूप में छोड़ देता है, यह नोट करते हुए कि इन अवशिष्ट वर्गों (residual classes) के भीतर अस्तित्व और गैर-अस्तित्व दोनों घटनाएं होती हैं।

तकनीकी सारांश: UT2(Z)UT_2(\mathbb{Z})UT2​(Z) में ऊपरी-त्रिकोणीय 2×22 \times 22×2 पूर्णांक आव्यूहों में D(N)D(N)D(N)-चतुष्टक (Quadruples)

इसी तरह के और पेपर

तकनीकी सारांश: $UT_2(\mathbb{Z})$ में ऊपरी-त्रिकोणीय $2 \times 2$ पूर्णांक आव्यूहों में $D(N)$ -चतुष्टक (Quadruples)