तकनीकी सारांश: निर्धारक अपघटन (Determinant Decomposition) के लिए ARE विधि

1. समस्या विवरण और प्रेरणा

एक $n \times n$ आव्यूह (matrix) का निर्धारक शास्त्रीय रूप से सिमेट्रिक ग्रुप $S_n$ के सभी $n!$ क्रमचय (permutations) के हस्ताक्षरित योग (signed sum) द्वारा लीबनिज विस्तार (Leibniz expansion) के रूप में परिभाषित किया जाता है। $n=3$ के लिए, सारस का नियम (Sarrus's rule) एक सफल ज्यामितीय दृश्य प्रदान करता है, जो एक विस्तारित आव्यूह पर तीन धनात्मक और तीन ऋणात्मक विकर्णों में छह पदों को व्यवस्थित करता है। हालांकि, $n \ge 4$ के लिए, इस "निश्चित-चौड़ाई" वाले सारस आरेख का सीधा विस्तार सभी $n!$ पदों को एक ही परिवार के समानांतर विकर्णों के रूप में प्रदर्शित करने में विफल रहता है।

यह शोध पत्र इस प्रश्न को संबोधित करता है कि सारस पैटर्न के पीछे कौन सी बीजगणितीय संरचना कार्य करती है और इसे произво (arbitrary) आयामों के लिए कैसे सामान्यीकृत किया जा सकता है। यह प्रस्तावित करता है कि $n!$ लीबनिज पद एक सपाट सेट नहीं हैं, बल्कि उनमें एक छिपा हुआ चक्रीय संगठन (cyclic organization) है जिसे मानक दृश्य विधियाँ अस्पष्ट कर देती हैं। लक्ष्य इस संरचना को औपचारिक रूप देना, एकल-आरेख विस्तार की सीमाओं को समझाना और समूह सिद्धांत (group theory) के माध्यम से निर्धारक पदों को व्यवस्थित करने, दृश्य बनाने और विश्लेषण करने के लिए एक व्यवस्थित ढांचा प्रदान करना है।

2. कार्यप्रणाली: ARE फ्रेमवर्क

यह शोध पत्र ARE विधि (Action, Rectification, and Structure) प्रस्तुत करता है, जो योग से पहले लीबनिज विस्तार को पुनर्गठित करती है। यह कार्यप्रणाली तीन स्तंभों पर आधारित है:

A. एक्शन (Action): चक्रीय कक्षीय अपघटन (Cyclic Orbital Decomposition)

समूह $S_n$ को चक्रीय समूह $C_n$ की राइट एक्शन (right action) के तहत $(n-1)!$ विलगित कक्षाओं (disjoint orbits) में विभाजित किया गया है।

• एक्शन: समूह $C_n = \langle \rho \rangle$, जहाँ $\rho = (1, 2, \dots, n)$, संयोजन (composition) के माध्यम से $S_n$ पर कार्य करता है: $\sigma \mapsto \sigma \circ \rho^r$।
• कक्षाएं (Orbits): प्रत्येक कक्षा $\Omega(\sigma)$ में ठीक $n$ क्रमचय होते हैं। कक्षाओं की कुल संख्या $(n-1)!$ है।
• कैनोनिकल प्रतिनिधि (Canonical Representatives): प्रत्येक कक्षा में एक अद्वितीय प्रतिनिधि $\sigma^\star$ होता है जहाँ $\sigma^\star(1) = 1$। यह प्रतिनिधि कक्षा के लिए "जेनेरेटर" या आधार (anchor) के रूप में कार्य करता है।

B. रेक्टिफिकेशन (Rectification): कैनोनिकल संरेखण (Canonical Alignment)

विधि एक कैनोनिकल रेक्टिफिकेशन प्रक्रिया को परिभाषित करती है जो किसी कक्षा के ज्यामितीय प्रतिनिधित्व को रूपांतरित करती है।

• प्रक्रिया: दिए गए कक्षा के कैनोनिकल प्रतिनिधि $\sigma^\star$ के लिए, आव्यूह $A$ को कॉलम क्रमचय मैट्रिक्स $P(\sigma^\star)$ द्वारा क्रमचय किया जाता है (प्रभावी रूप से कॉलमों पर $B_{can} = (\sigma^\star)^{-1}$ लागू करना)।
• परिणाम: रूपांतरित आव्यूह $A^*$ में, कक्षा के $n$ मोनॉमियल्स (monomials) क्रमिक ऑफसेट ($0, 1, \dots, n-1$) के साथ $n$ समानांतर विक럴 रेखाओं के रूप में संरेखित होते हैं।
• चिह्न नियम (Sign Rule): कक्षा के भीतर पदों के चिह्न $n$ के पैरिटी (parity) के आधार पर एक नियत पैटर्न का पालन करते हैं:
  • यदि $n$ विषम (odd) है, तो कक्षा के सभी पदों का चिह्न समान होता है।
  • यदि $n$ सम (even) है, तो चिह्न सख्ती से वैकल्पिक होते हैं ($+, -, +, -, \dots$)।

C. स्ट्रक्चर (Structure): डायहेड्रल पेयरिंग और निरसन (Dihedral Pairing and Cancellation)

फ्रेमवर्क एक डायहेड्रल पेयरिंग तंत्र पेश करता है जो प्रत्येक कक्षा $\Omega(\sigma^\star)$ को एक साथी कक्षा $\Omega(\hat{\sigma})$ के साथ जोड़ता है।

• इनवोल्यूशन (Involution): कॉलम-रिवर्ज़ल मैप $J$ (जहाँ $J(i) = n+1-i$) का उपयोग करके एक मानचित्र $\Phi$ को परिभाषित किया गया है। साथी प्रतिनिधि $\hat{\sigma} = J \circ \sigma^\star \circ J$ है (इसे $\hat{\sigma}(1)=1$ संतुष्ट करने के लिए सामान्यीकृत किया गया है)।
• ज्यामितीय द्वैत (Geometric Duality): एक एकल रेक्टिफिकेशन आधार कक्षा को आरोही विकर्णों (ढलान $+1$) और साथी कक्षा को अवरोही प्रति-विकर्णों (ढलान $-1$) के रूप में एक साथ दृश्यमान बनाता है।
• सशर्त निरसन (Conditional Cancellation): शोध पत्र स्थापित करता है कि युग्मित पदों $\tau$ और $\Phi(\tau)$ के बीच बीजगणितीय निरसन (algebraic cancellation) स्वचालित नहीं है। यह तभी होता है जब:
  1. जोड़े के बीच साइन रेश्यो (sign ratio) $-1$हो (जो$n \pmod 4$ पर निर्भर करता है)।
  2. वेट कंडीशन (Weight Condition) लागू हो: $W_A(\Phi(\tau)) = W_A(\tau)$, जहाँ $W_A$ आव्यूह प्रविष्टियों का गुणनफल है।
  • यह स्थिति विशिष्ट आव्यूह वर्गों (जैसे, कुछ टोप्लिट्ज़ उप-परिवार या आनुपातिक पंक्तियों वाले आव्यूह) के लिए संतुष्ट होती है, लेकिन सामान्य आव्यूहों के लिए इसकी गारंटी नहीं है, यहाँ तक कि सेंट्रोसिमेट्रिक (centrosymmetric) आव्यूहों के लिए भी नहीं।

3. प्रमुख योगदान और सैद्धांतिक परिणाम

प्रमेय 1.1: निश्चित-चौड़ाई वाले सारस विस्तार की सीमा

शोध पत्र सिद्ध करता है कि $n \ge 4$ के लिए, कोई भी एकल निश्चित-चौड़ाई वाला सारस-प्रकार का आरेख सभी $n!$ लीबनिज पदों को समानांतर विकर्णों के रूप में प्रदर्शित नहीं कर सकता।

• तर्क: एक एकल रेक्टिफिकेशन केवल एक कक्षीय जोड़े (आधार + साथी) को प्रदर्शित कर सकता है, जो कुल $2n$ पद होते हैं। चूंकि कक्षीय जोड़ों की संख्या $(n-1)!/2$ है, और $n \ge 4$ के लिए यह मान 1 से अधिक है, इसलिए संपूर्ण विस्तार को कवर करने के लिए कई अलग-अलग रेक्टिफिकेशन की आवश्यकता होती है।
• निहितार्थ: सारस का नियम $n=3$ के लिए काम करता है क्योंकि $(3-1)!/2 = 1$; पूरा विस्तार एक ही कक्षीय जोड़े में समाहित हो जाता है।

दृश्य पद्धति (Visualization Methods)

शोध पत्र निर्धारक को प्रदर्शित करने के लिए पाँच दृश्य पद्धतियाँ प्रस्तावित करता है:

1. मानक पॉलीलाइन्स (Standard Polylines): $n \times n$ ग्रिड पर क्रमचयों को ज़िगज़ैग पथों के रूप में देखना।
2. रेक्टिफाइड पैरेलल लाइन्स (Rectified Parallel Lines): कक्षा को समानांतर विकर्णों के रूप में दिखाने के लिए कैनोनिकल रेक्टिफिकेशन का उपयोग करना।
3. डायहेड्रल पेयरिंग (Dihedral Pairing): आधार और साथी कक्षाओं को एक साथ (आरोही और अवरोही रेखाओं के रूप में) देखना।
4. टोटल रेक्टिफिकेशन (Total Rectification): संपूर्ण $n!$ विस्तार को कवर करने के लिए $(n-1)!$ ब्लॉक्स को जोड़ना।
5. मॉड्यूलर इंक्रीमेंटल पॉलीलाइन (Modular Incremental Polyline): $\mathbb{Z}_n$ पर योगात्मक क्रियाओं का उपयोग करके एक वैकल्पिक शैक्षणिक विधि, जो मुख्य विधि से भिन्न है, हालांकि इसे मुख्य विधि के पूर्ण सैद्धांतिक निरसन गुणों के अभाव के कारण कम माना गया है।

संरचनात्मक पहचान (Structural Identities)

• सेंट्रोसिमेट्रिक आव्यूह (Centrosymmetric Matrices): शोध पत्र सम-आयामी सेंट्रोसिमेट्रिक आव्यूहों के लिए शास्त्रीय ब्लॉक गुणनखंड $\det(A) = \det(B+C) \cdot \det(B-C)$ की पुष्टि करता है, यह नोट करते हुए कि यह कम्प्यूटेशनल स्थिरांक कारकों को कम करता है लेकिन इसकी एसिम्प्टोटिक कॉम्प्लेक्सिटी क्लास ($O(n^3)$) को नहीं बदलता है।
• सेपरेबल आव्यूह (Separable Matrices): यह आव्यूहों के एक वर्ग ($a_{ij} = u_i + v_j + c$) की पहचान करता है जहाँ किसी भी क्रमचय के लिए प्रविष्टियों का योग 'ट्रेस' के बराबर होता है, हालांकि इस शर्त की आवश्यकता को एक खुला प्रश्न छोड़ दिया गया है।
• DFT के साथ संबंध: चक्रीय क्रिया को डिस्क्रीट फूरियर ट्रांसफॉर्म (DFT) के साथ बीजगणितीय रूप से संगत दिखाया गया है, जहाँ निर्धारक कक्षीय वितरण के शून्य-आवृत्ति घटक (zero-frequency component) के अनुरूप होता है।

4. कम्प्यूटेशनल परिणाम और सत्यापन

शोध पत्र इस बात पर जोर देता है कि ARE विधि निर्धारकों की गणना के लिए कोई बहुपद-समय (polynomial-time) एल्गोरिदम नहीं है।

• जटिलता (Complexity): विधि स्पष्ट रूप से सभी $n!$ पदों को सूचीबद्ध करती है, जिससे $\Theta(n!)$ फैक्टोरियल जटिलता बनी रहती है। यह संख्यात्मक दक्षता के लिए गॉसियन एलिमिनेशन ($O(n^3)$) या LU डिकंपोजिशन के साथ प्रतिस्पर्धा नहीं करती है।
• पुनरुत्पादकता (Reproducibility): लेखक एक जेनेडो रिपॉजिटरी (DOI: 10.5281/zenodo.17423738) प्रदान करते हैं जिसमें पायथन स्क्रिप्ट्स (sarrus_gui_v12.py, orbital_methods.py) और डेटा शामिल है।
• परीक्षण: ढांचे को $n=3, 4, 5$ के लिए 147 परीक्षण मामलों (रैंडम, निकट-एकल, संरचित आव्यूह) के विरुद्ध सत्यापित किया गया। कक्षीय गणना के परिणाम numpy.linalg.det के साथ सापेक्ष त्रुटि $< 5 \times 10^{-12}$ के साथ मेल खाते हैं।
• विशिष्ट मामले:
  • सेंट्रोसिमेट्रिक आव्यूह ($n=4$) ने ब्लॉक गुणनखंड पहचान को सत्यापित किया।
  • टोप्लिट्ज़ आव्यूह ($n=6$) का डायहेड्रल निरसन स्थितियों के लिए परीक्षण किया गया, जिससे पुष्टि हुई कि निरसन सशर्त है और सामान्य वर्ग के लिए स्वचालित नहीं है।

5. महत्व और दायरा

शोध पत्र ARE विधि को एक कम्प्यूटेशनल पद्धति के बजाय एक संरचनात्मक, वैचारिक और शैक्षणिक योगदान के रूप में स्थापित करता है।

• शैक्षणिक मूल्य: यह निर्धारक के संयोजी (combinatorial) ढांचे को स्पष्ट करता है, यह समझाता है कि सारस का नियम $n=3$ के लिए क्यों काम करता है और $n \ge 4$ के लिए एकल आरेख के रूप में क्यों विफल होता है। यह कम आयामों ($n \le 5$) के लिए सुलभ ज्यामितीय दृश्य प्रदान करता है।
• सैद्धांतिक अंतर्दृष्टि: यह लीबनिज पदों के "चक्रीय संगठन" को औपचारिक रूप देता है, जो रैखिक बीजगणित को समूह सिद्धांत (विशेष रूप से $S_n$ पर $C_n$ की क्रिया) और डिस्क्रीट फूरियर ट्रांसफॉर्म के साथ जोड़ता है।
• सीमाएँ: लेखक स्पष्ट रूप से कहते हैं कि यह विधि एसिम्प्टोटिक जटिलता में सुधार नहीं करती है। चर्चा किए गए "निरसन" (cancellations) विशिष्ट आव्यूह संरचनाओं (वेट इनवेरिएंस) पर सशर्त हैं और सामान्य आव्यूहों पर लागू नहीं होते हैं। यह कार्य एक "तकनीकी संदर्भ" और "विस्तारित अनुसंधान मोनोग्राफ" के रूप में कार्य करता है, जो संक्षिप्त जर्नल लेखों से अलग है।

संक्षेप में, ARE विधि निर्धारकों को दृश्यमान बनाने के लिए एक कठोर बीजगणितीय आधार प्रदान करती है, जो कक्षीय परिवारों में समस्या को विभाजित करके सार्वभौमिक सारस विस्तार की असंभवता को हल करती है, और यह स्पष्ट करती है कि किन सटीक शर्तों के तहत ज्यामितीय समरूपता बीजगणितीय निरसन की ओर ले जाती है।