On the Number of Cholesky Roots of the Zero Matrix over F2

तकनीकी सारांश: $\mathbb{F}_2$ पर शून्य आव्यूह के चोलेस्की मूलों की संख्या पर

समस्या विवरण
यह शोध पत्र $\mathbb{F}_2$ के तत्वों वाले आव्यूहों के लिए विशिष्ट चोलेस्की गुणनखंडों (Cholesky factorizations) की गणना की जांच करता है। विशेष रूप से, लेखक शून्य आव्यूह, $0_n$ पर ध्यान केंद्रित करता है। एक आव्यूह $U$ को एक सममित आव्यूह $M$ का चोलेस्की मूल (Cholesky root) तब कहा जाता है जब $U^T U = M$ हो, जहाँ $U$ एक ऊपरी-त्रिकोणीय (upper-triangular) आव्यूह है। जबकि वास्तविक या सम्मिश्र क्षेत्रों (fields) में चोलेस्की गुणनखंडन धनात्मक-निश्चित आव्यूहों के लिए अद्वितीय होता है (और $\mathbb{C}$ पर शून्य आव्यूह का एकमात्र मूल स्वयं शून्य आव्यूह ही होता है), परिमित क्षेत्रों (finite fields) और धनात्मक-अर्ध-निश्चित आव्यूहों के लिए यह अद्वितीयता समाप्त हो जाती है। केंद्रीय समस्या उन सभी ऊपरी-त्रिकोणीय आव्यूतों $U$ की सटीक संख्या निर्धारित करना है जो $U^T U = 0_n$ को संतुष्ट करते हैं, जिन्हें उनके रैंक (rank) के आधार पर वर्गीकृत किया गया है।

कार्यप्रणाली (Methodology)
लेखक $\mathbb{F}_2$ पर ऊपरी-त्रिकोणीय आव्यूहों की संरचना का विश्लेषण करने के लिए एक संयोजनपरक (combinatorial) और आगमनात्मक (inductive) दृष्टिकोण अपनाता है। कार्यप्रणाली तीन विशिष्ट $n \times n$ ऊपरी-त्रिकोणीय आव्यूतों के सेट को परिभाषित करने पर आधारित है:

1. $A_n(r)$: रैंक $r$ वाले आव्यूह $U$ ऐसे कि $U^2 = I_n$ (तत्समक के वर्ग मूल)।
2. $B_n(r)$: रैंक $r$ वाले आव्यूह $U$ ऐसे कि $U^2 = 0_n$ (शून्य आव्यूह के वर्ग मूल)।
3. $C_n(r)$: रैंक $r$ वाले आव्यूह $U$ ऐसे कि $U^T U = 0_n$ (शून्य आव्यूह के चोलेस्की मूल)।

प्रमाण रणनीति $A_n$ और $B_n$ के बीच, तथा $B_n$ और $C_n$ के बीच एक रैंक-संरक्षण द्वैत (rank-preserving bijection) स्थापित करने पर आधारित है।

• $A_n$ और $B_n$ के बीच द्वैत: लेखक देखता है कि $\mathbb{F}_2$ में, $(X + I_n)^2 = X^2 + I_n$ होता है। यह बीजगणितीय गुण एक सीधा संबंध दर्शाता है जहाँ $X^2 = 0_n$ यदि और केवल यदि $(X + I_n)^2 = I_n$ हो, जो $|A_n| = |B_n|$ को सिद्ध करता है।
• $B_n$ और $C_n$ के बीच द्वैत: शोध पत्र का मुख्य भाग एक आगमनात्मक प्रमाण है जो यह दर्शाता है कि सभी $n$ और $r$ के लिए $|B_n(r)| = |C_n(r)|$ है। मुख्य $(n-1) \times (n-1)$ उप-आव्यूहों के आधार पर आव्यूतों को विभाजित करके और शेष पंक्ति/स्तंभ वैक्टरों पर प्रतिबंधों का विश्लेषण करके (विशेष रूप से उप-आव्यूह के शून्य स्थान (null space) और स्तंभ स्थान (column space) से संबंधित), लेखक $B_n(r)$ और $C_n(r)$ की गणनताओं के लिए समान पुनरावृत्ति संबंध (recurrence relations) प्राप्त करता है।
• मौजूदा साहित्य का उपयोग: शोध पत्र $[3]$ के संदर्भ में दिए गए उन ऊपरी-त्रिकोणीय आव्यूतों की गणना सूत्र का उपयोग करता है जिनका वर्ग शून्य है, ताकि गणनाओं के लिए एक बंद-रूप योग (closed-form summation) प्रदान किया जा सके।

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

1. रैंक-संरक्षण द्वैत: प्राथमिक सैद्धांतिक योगदान शून्य आव्यूह के चोलेस्की मूलों ($C_n$) और शून्य के वर्ग मूलों ($B_n$) के ऊपरी-त्रिकोणीय आव्यूतों के सेट के बीच एक रैंक-संरक्षण द्वैत की उपस्थिति का प्रमाण है। फलस्वरूप, $0_n$ के चोलेस्की मूलों की संख्या उन ऊपरी-त्रिकोणीय आव्यूतों की संख्या के बराबर है जहाँ $U^2 = 0_n$ है।
2. सटीक गणना सूत्र: संदर्भ $[3]$ के परिणाम के साथ द्वैत को जोड़कर, शोध पत्र आकार $n$ के शून्य आव्यूह के चोलेस्की मूलों की कुल संख्या के लिए एक बंद-रूप योग सूत्र प्रदान करता है:
   $$|C_n| = \sum_{j} \left[ \binom{n}{\lfloor n/2 \rfloor - 3j} - \binom{n}{\lfloor n/2 \rfloor - 3j - 1} \right] 2^{\lfloor n/2 \rfloor \lceil n/2 \rceil - 3j^2 - (\lceil n/2 \rceil - \lfloor n/2 \rfloor + 1)j}$$
   पत्र यह भी नोट करता है कि रैंक $r \ge n/2$ के लिए, ऐसा सेट रिक्त (empty) होता है।
3. लीडिंग प्रिंसिपल नॉन-सिंगुलर (LPN) आव्यूतों पर अनुप्रयोग: शोध पत्र यह स्थापित करता है कि "लीडिंग प्रिंसिपल नॉन-सिंगुलर" (LPN) रूप में रैंक $r$ के एक सममित आव्यूह $M$ के लिए, अलग-अलग चोलेस्की गुणनखंडों की संख्या ठीक $|C_n(n-r)|$ है। यह सामान्य गणना समस्या को विशिष्ट सममित आव्यूतों के वर्गों से जोड़ता है।

महत्व और दायरा
लेखक अपने योगदान को परिमित क्षेत्र रैखिक बीजगणित (finite field linear algebra) के भीतर एक गणना समस्या के रूप में विनम्रतापूर्वक प्रस्तुत करता है। यह रेखांकित करता है कि चोलेस्की गुणनखंडन की अद्वितीयता, जो वास्तविक और सम्मिश्र विश्लेषण में एक मानक गुण है, $\mathbb{F}_2$ पर विफल हो जाती है। इसका महत्व इन गैर-अद्वितीय गुणनखंडों के लिए एक सटीक संयोजनपरक गणना प्रदान करने में निहित है।

लेखक अपने वर्तमान कार्य की सीमाओं और सीमाओं को स्पष्ट रूप से नोट करता है:

• शून्य के चोलेस्की मूलों, शून्य के वर्ग मूलों और तत्समक के वर्ग मूलों के बीच द्वैत $(X+I)^2 = X^2 + I$ के विशिष्ट गुण पर निर्भर करता है, जो केवल $\mathbb{F}_2$ के लिए अद्वितीय है। इसलिए, ये तकनीकें अन्य परिमित क्षेत्रों (finite fields) में विस्तारित नहीं होती हैं।
• LPN आव्यूतों के लिए गणना सूत्र उन सममित आव्यूतों पर लागू नहीं होता है जो LPN रूप में नहीं हैं, जैसा कि पाठ में दिए गए एक प्रति-उदाहरण (counterexample) द्वारा प्रदर्शित किया गया है।
• हालांकि शोध पत्र योग में पदों के स्पर्शोन्मुखी व्यवहार (asymptotic behavior) का अवलोकन करता है, यह चेतावनी देता है कि पद ऋणात्मक हो सकते हैं, जिससे कुल गणना के लिए सरल निचली सीमा (lower bound) के रूप में सबसे बड़े पद का उपयोग करने में बाधा आती है।

शोध पत्र भविष्य के कार्य के लिए $|C_n(r)|$ के स्पर्शोन्मुखी व्यवहार और अन्य परिमित क्षेत्रों में इन गणना तकनीकों के विस्तार को संभावित दिशाओं के रूप में पहचानते हुए समाप्त होता है।