$D(-1)$-triples of triangular numbers

यहाँ मारिया ब्लिज़नाक ट्रेबजेसानिन के शोध पत्र "D(−1)-Triples of Triangular Numbers" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र त्रिकोणीय संख्याओं (triangular numbers) के विशिष्ट उपसमुच्चय के भीतर Diophantine $m$-tuples की जांच करता है।

• परिभाषा: $m$ अलग-अलग धनात्मक पूर्णांकों का एक सेट $D(n)$-tuple कहलाता है यदि किन्हीं दो अलग-अलग तत्वों का गुणनफल और $n$ का योग एक पूर्ण वर्ग (perfect square) हो।
• विशिष्ट ध्यान: लेखक $D(-1)$ गुण पर ध्यान केंद्रित करते हैं, जहाँ किन्हीं दो अलग-अलग तत्वों का गुणनफल और $1$ घटाने पर एक पूर्ण वर्ग प्राप्त होता है।
• लक्ष्य सेट: तत्व त्रिकोणीय संख्याएँ होनी चाहिए, जिन्हें $T_k = \frac{k(k+1)}{2}$ द्वारा दर्शाया जाता है।
• मुख्य प्रश्न:
  1. किन परिस्थितियों में एक त्रिकोणीय संख्या $T_n$, एक $D(-1)$-जोड़े $\{T_n, T_m\}$ का हिस्सा होती है?
  2. यदि ऐसा कोई जोड़ा मौजूद है, तो क्या $T_n$ को पूरी तरह से त्रिकोणीय संख्याओं से बने $D(-1)$-ट्रिपल (और उससे आगे) बनाने के लिए विस्तारित किया जा सकता है?

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

लेखक संख्या-सिद्धांत (number-theoretic) तकनीकों, विशेष रूप से सामान्यीकृत पेल्लियन समीकरणों (generalized Pellian equations) और रैखिक पुनरावृत्ति अनुक्रमों (linear recurrence sequences) का उपयोग करते हैं।

A. पेल्लियन समीकरणों में रूपांतरण (Transformation to Pellian Equations)

एक $D(-1)$-जोड़े $\{T_n, T_m\}$ की स्थिति है:
$$T_n T_m - 1 = r^2$$
त्रिकोणीय संख्याओं के सूत्र को प्रतिस्थापित करने और बीजगणितीय हेरफेर करने के बाद, इसे एक सामान्यीकृत पेल्लियन समीकरण में बदल दिया जाता है:
$$x^2 - n(n+1)y^2 = -(n(n+1) + 16)$$
जहाँ चर (variables) इस प्रकार परिभाषित हैं:

• $x = 4r$
• $y = 2m + 1$

B. मौलिक समाधानों का विश्लेषण (Analysis of Fundamental Solutions)

यह शोध पत्र इस समीकरण की समाधान क्षमता का विश्लेषण करता है। यह संगत मानक पेल समीकरण $X^2 - n(n+1)Y^2 = 1$ के मौलिक समाधान का उपयोग करता है, जिसे $(X_1, Y_1) = (2n+1, 2)$ के रूप में पहचाना गया है।
सामान्यीकृत समीकरण के समाधानों को मौलिक समाधान (fundamental solution) और पेल समीकरण के मौलिक इकाई (fundamental unit) से प्राप्त पुनरावृत्ति संबंधों (recurrence relations) के माध्यम से उत्पन्न किया जाता है।

C. पैरिटी और मॉड्यूलर बाधाएं (Parity and Modular Constraints)

यह निर्धारित करने के लिए कि $n$ के लिए किन स्थितियों में समीकरण के पूर्णांक समाधान होंगे जहाँ $y$ विषम (odd) हो और $x$, $4$ से विभाज्य हो, मॉड्यूलर अंकगणित (modulo 4, 8 और अभाज्य गुणनखंडों) का गहन विश्लेषण किया गया है।

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

प्रमेय 1: अस्तित्व के लिए आवश्यक शर्तें (Necessary Conditions for Existence)

शोध पत्र यह स्थापित करता है कि $T_n$ के $D(-1)$-जोड़े का हिस्सा होने के लिए एक सख्त आवश्यक शर्त है।

• शर्त: $n$ और $n+1$ दोनों का रूप $2^a \cdot p_1^{l_1} \cdots p_k^{l_k}$ होना चाहिए, जहाँ:
  • प्रत्येक विषम अभाज्य गुणनखंड $p_i \equiv 1 \pmod 4$ है।
  • $n$ के लिए, घातांक $a \in \{0, 2\}$ है।
  • $n+1$ के लिए, घातांक $a \in \{0, 1\}$ है।
• निहितार्थ: इसका अर्थ है कि $n$ और $n+1$ दोनों को दो वर्गों के योग के रूप में व्यक्त किया जा सकता है।
• प्रति-उदाहरण (Counter-example): लेखक नोट करते हैं कि जबकि $n=100$ इन शर्तों को पूरा करता है, यह दूसरी त्रिकोणीय संख्या के साथ वैध $D(-1)$-जोड़ा प्रदान नहीं करता है, जो सिद्ध करता है कि यह शर्त आवश्यक तो है लेकिन पर्याप्त (sufficient) नहीं है।

प्रमेय 2: ट्रिपल में अनंत विस्तार (Infinite Extension to Triples)

यह शोध पत्र का केंद्रीय परिणाम है।

• कथन: यदि एक त्रिकोणीय संख्या $T_n$ किसी भी $D(-1)$-जोड़े $\{T_n, T_m\}$ का हिस्सा है, तो $T_n$ केवल त्रिकोणीय संख्याओं से बने अनंत $D(-1)$-ट्रिपल्स का सदस्य है।
• तंत्र (Mechanism): लेखक पेल्लियन समाधानों से प्राप्त रैखिक पुनरावृत्ति संबंधों का उपयोग करके अनुक्रमणिका (indices) $(m_k)_{k \ge 1}$ का एक क्रम निर्मित करते हैं। यह सिद्ध किया गया है कि किसी भी $k \ge 1$ के लिए, सेट $\{T_n, T_{m_k}, T_{m_{k+1}}\}$ पूरी तरह से त्रिकोणीय संख्याओं वाला एक वैध $D(-1)$-ट्रिपल बनाता है।
• प्रमाण रणनीति: यह दिखाकर कि उत्पाद $T_{m_k}T_{m_{k+1}} - 1$ निम्नलिखित पहचान (identity) के माध्यम से एक पूर्ण वर्ग का परिणाम है:
  $$T_{m_k}T_{m_{k+1}} - 1 = \left( \frac{y_k y_{k+1} - (2n+1)}{8} \right)^2$$
  जहाँ $y_k = 2m_k + 1$ है।

एल्गोरिथम जनरेशन (Algorithmic Generation)

शोध पत्र उन सभी अनुक्रमणिकाओं (indices) $n$ को उत्पन्न करने के लिए एक एल्गोरिदम प्रदान करता है जो $C$ की सीमा तक $T_n$ के रूप में एक $D(-1)$-जोड़ा बनाता है।

• उदाहरण: $C=1000$ के लिए, पाए गए वैध अनुक्रमणिकाएँ $\{1, 4, 25, 148, 457, 865\}$ हैं।
• अवलोकन: यदि $T_m$ एक जोड़े में है, तो एक छोटा $n < m$ मौजूद है ताकि $\{T_n, T_m\}$ वह जोड़ा बन सके, जिससे छोटे बीजों (seeds) से शुरू होने वाली एक पुनरावर्ती खोज (recursive search) संभव होती है।

प्रमेय 3: $D(a)$ के लिए सामान्यीकरण (Generalization to $D(a)$)

कार्यप्रणाली को किसी भी गैर-शून्य पूर्णांक $a$ के लिए सामान्यीकृत किया गया है।

• परिणाम: यदि $\{T_n, T_m\}$ एक $D(a)$-जोड़ा है, तो $T_n$ को त्रिकोणीय संख्याओं के अनंत $D(a)$-ट्रिपल्स में विस्तारित किया जा सकता है।
• सीमा: जबकि विस्तार तंत्र सामान्य रूप से काम करता है, प्रारंभिक जोड़े का अस्तित्व $a$ के विशिष्ट मान पर बहुत अधिक निर्भर करता है, और प्रमेय 1 की आवश्यक शर्तें सीधे तौर पर सामान्यीकृत नहीं होती हैं।

4. महत्व (Significance)

• एक विशिष्ट मामले का समाधान: यह शोध पत्र त्रिकोणीय संख्याओं के भीतर $D(-1)$-ट्रिपल्स की संरचना को हल करता है, यह सिद्ध करते हुए कि एक जोड़े का अस्तित्व अनंत ट्रिपल्स के अस्तित्व की गारंटी देता है।
• पद्धतिगत प्रगति: यह प्रदर्शित करता है कि कैसे सामान्यीकृत पेल्लियन समीकरणों का उपयोग विशिष्ट पूर्णांक अनुक्रमों (त्रिकोणीय संख्याओं) के भीतर Diophantine गुणों का अध्ययन करने के लिए प्रभावी ढंग से किया जा सकता है, जो फाइबोनैकी संख्याओं और सामान्य Diophantine टुपल्स पर पिछले कार्यों का विस्तार करता है।
• भावी अनुसंधान का आधार: यह शोध पत्र इस बात पर प्रकाश डालता है कि जबकि $a$ के दिए गए मान के लिए विस्तार (extension) सार्वभौमिक है, प्रारंभिक जोड़े के अस्तित्व के मानदंड $a$ के विशिष्ट अंकगणितीय गुणों पर निर्भर एक खुला और जटिल प्रश्न बना हुआ है। यह त्रिकोणीय संख्याओं के $D(a)$-टुपल्स के भविष्य के अनुसंधान के लिए एक स्पष्ट दिशा निर्धारित करता है।