Exact cospectrality probabilities for uniform random matrices

तकनीकी सारांश: समान स्पेक्ट्रम वाली एकसमान यादृच्छिक मैट्रिसेस के लिए सटीक कोस्पेक्ट्रैलिटी (Cospectrality) प्रायिकताएँ

समस्या विवरण
यह शोध पत्र विविक्त मैट्रिसेस (discrete matrices) के स्पेक्ट्रल लक्षण वर्णन समस्या का समाधान करता है, विशेष रूप से इस बात की जांच करता है कि एक यादृच्छिक सममित मैट्रिक्स (symmetric matrix), जिसके प्रविष्टियाँ एक विविक्त सेट (जैसे कि एक बीजगणिक संख्या क्षेत्र $K$ का रिंग ऑफ इंटीजर्स $\mathcal{O}_K$) में हैं, एक ऑर्थोगोनल मैट्रिक्स $Q$ द्वारा संयुग्मन (conjugation) के बाद भी उसी सेट के भीतर रहने की क्या प्रायिकता है।

जबकि "जेनेरिक" मामला यह सुझाव देता है कि एक यादृच्छिक ग्राफ या मैट्रिक्स अपने स्पेक्ट्रम द्वारा अद्वितीय रूप से अभिलक्षित होता है (हेमर्स का अनुमान), गैर-तुच्छ ऑर्थोगोनल मैट्रिसेस $Q$ का अस्तित्व जो $X$ के समान स्पेक्ट्रम साझा करने वाला $Q^\top X Q$ बनाता है (कोस्पेक्ट्रैलिटी), इस प्रक्रिया को जटिल बना देता है। मुख्य प्रश्न यह है: एक निश्चित ऑर्थोगोनल मैट्रिक्स $Q$ (संभावित रूप से बीजगणिक प्रविष्टियों के साथ) और $\mathcal{O}_K$ में समान रूप से वितरित प्रविष्टियों वाले एक यादृच्छिक सममित मैट्रिक्स $X$ के लिए, इस बात की सटीक प्रायिकता क्या है कि संयुग्मी $Q^\top X Q$ के प्रविष्टियाँ $\mathcal{O}_K$ में होंगी?

पूर्व कार्य, जैसे कि वांग और झाओ [33], ने आयाम $n \to \infty$ होने पर सीमित हरों (denominators) वाले परिमेय ऑर्थोगोनल मैट्रिसेस के लिए विषम ऊपरी सीमाओं को स्थापित किया था। यह शोध पत्र निश्चित आयामों और किसी भी बीजगणिक संख्या क्षेत्र के लिए इस प्रायिकता के लिए सटीक, गैर-अनुरूप (non-asymptotic) सूत्र प्रदान करने का लक्ष्य रखता है, जो कि केवल विषम (asymptotic) शासन से आगे बढ़ता है।

कार्यप्रणाली
लेखक बीजगणिक संख्या सिद्धांत, डेडेकिंड डोमेन में आइडियल थ्योरी (ideal theory), और संभाव्य अपरिवर्तनीयता तर्क (probabilistic invariance arguments) के संयोजन का उपयोग करता है।

1. बीजगणिक ढांचा: अध्ययन को एक बीजगणिक संख्या क्षेत्र $K$ और उसके रिंग ऑफ इंटीजर्स $\mathcal{O}_K$ के भीतर स्थापित किया गया है। मैट्रिक्स $Q$ के "स्तर" $\ell$ को $\ell Q \in \mathcal{O}_K^{n \times n}$ के लघुतम पूर्णांक के रूप में परिभाषित किया गया है। विश्लेषण $\ell Q$ से जुड़े स्मिथ नॉर्मल फॉर्म (Smith normal form) और स्मिथ आइडियल्स ($\mathfrak{d}_i$) का उपयोग करता है।
2. संभाव्य अपरिवर्तनीयता: प्रमाण $\mathcal{O}_K / \ell^2 \mathcal{O}_K$ पर यूनिफॉर्म डिस्ट्रीब्यूशन की ट्रांसलेशन इनवेरिएंस (translation invariance) पर आधारित है। यह तथ्य कि एक यादृच्छिक सममित मैट्रिक्स $X$ का नियम नियत सममित मैट्रिसेस द्वारा ट्रांसलेशन के तहत अपरिवर्तनीय है, इसका लाभ उठाते हुए, लेखक यह प्रदर्शित करता है कि $Q^\top X Q$ के पूर्णांक होने की प्रायिकता केवल $\ell Q$ के स्मिथ नॉर्मल फॉर्म पर निर्भर करती है, जिससे $Q$ को प्रायिकता गणना में प्रभावी रूप से एक विकर्णीय (diagonal) मैट्रिक्स द्वारा प्रतिस्थापित किया जा सकता है।
3. आइडियल-थ्योरेटिक रिडक्शन: समस्या को स्मिथ आइडियल्स ($\mathfrak{d}_i$) से जुड़ी संयुग्मन (congruences) के समाधानों को गिनने में बदल दिया जाता है। $Q$ की ऑर्थोगोनैलिटी विशिष्ट संरचनात्मक बाधाएं लगाती है (विशेष रूप से $\mathfrak{d}_i$ और $\mathfrak{d}_{n-i+1}$ के बीच संबंध), जो किसी भी सामान्य मैट्रिक्स के लिए व्युत्पन्न सूत्र को सरल बनाती है।

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

• सटीक प्रायिकता सूत्र (प्रमेय 1.3): प्राथमिक परिणाम $\mathbb{P}(Q^\top X Q \in \mathcal{O}_K^{n \times n})$ के लिए एक सटीक सूत्र है। $\ell^2$ के सापेक्ष $\mathcal{O}_K$ में समान रूप से वितरित प्रविष्टियों वाले एक यादृच्छिक सममित मैट्रिक्स $X$ के लिए, प्रायिकता इस प्रकार दी गई है:
  $$\mathbb{P}(Q^\top X Q \in \mathcal{O}_K^{n \times n}) = \prod_{i=1}^{\lfloor n/2 \rfloor} \prod_{j=i}^{n-i} \frac{\mathrm{N}_{\mathcal{O}_K}(\mathfrak{d}_i \mathfrak{d}_j)}{\mathrm{N}_{\mathcal{O}_K}(\ell^2 \mathcal{O}_K)}$$
  जहाँ $\mathfrak{d}_i$, $\ell Q$ के स्मिथ आइडियल्स हैं और $\mathrm{N}$ आइडियल नॉर्म (ideal norm) को दर्शाता है। यह सूत्र किसी भी बीजगणिक संख्या क्षेत्र के लिए मान्य है और दोनों सममित (symmetric) और हर्मिटियन (Hermitian) एन्सेम्बल पर लागू होता है।

• निम्न आयामों में परिमेय कोस्पेक्ट्रैलिटी (प्रमेय 1.6 और 1.7): शोध पत्र $n=2$ और $n=3$ आयामों के लिए दिए गए हर $\ell$ वाले परिमेय ऑर्थोगोनल मैट्रिसेस की अपेक्षित संख्या के लिए स्पष्ट सूत्र व्युत्पन्न करता है:

  • आयाम 2: अपेक्षित संख्या केवल तभी गैर-शून्य है जब $\ell$ के सभी अभाज्य गुणनखंड $1 \pmod 4$ के अनुरूप हों। प्रत्याशा (expectation) $\mathbb{E}[N_2(\ell)] = 2^{r+3}/\ell^2$ है, जहाँ $r$ विशिष्ट अभाज्य गुणनखंडों की संख्या है।
  • आयाम 3: अपेक्षित संख्या केवल तभी गैर-शून्य है जब $\ell$ विषम हो। प्रत्याशा $\mathbb{E}[N_3(\ell)] = \frac{48}{\ell^2} \prod_{p|\ell} (1 + 1/p)$ है।

• गैर-एकदिष्टता (Non-Monotonicity): एक महत्वपूर्ण निष्कर्ष यह है कि संयुग्मन को संरक्षित करने वाले अपेक्षित संख्या की हर $\ell$ पर निर्भरता गैर-एकदिष्ट (non-monotone) है। जबकि $1/\ell^2$ कारक एक सामान्य क्षय (decay) का सुझाव देता है, $\ell$ के अभाज्य गुणनखंडन (विशेष रूप से गुणनखंडों की संख्या और आकार) में संख्यात्मक उतार-चढ़ाव प्रायिकता में स्थानीय वृद्धि का कारण बनते हैं।

• परिमेय कोस्पेक्ट्रैलिटी पर सीमाएँ (उपप्रमेय 1.8): सटीक प्रत्याशाओं का उपयोग करते हुए, लेखक यह स्थापित करता है कि $n \le 3$ के लिए, एक यादृच्छिक पूर्णांक मैट्रिक्स के किसी अन्य के कोस्पेक्ट्रल होने की प्रायिकता (एक सीमित लेकिन अत्यधिक बड़े हर वाले परिमेय ऑर्थोगोनल मैट्रिक्स के माध्यम से) 1 से कम है।

  • $n=2$ के लिए, सीमा लगभग $0.114$ तक है।
  • $n=3$ के लिए, सीमा लगभग $0.296$ तक है।
    यह निम्न आयामों के लिए हेमर्स के अनुमान का एक कठोर, गैर-अनुरूप संस्करण प्रदान करता है।

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

लेखक इस बात पर प्रकाश डालते हैं कि ये परिणाम निम्न-आयामी सेटिंग्स में एक नई घटना को प्रकट करते हैं: अभाज्य उतार-चढ़ाव के कारण हर $\ell$ पर गैर-एकदिष्ट निर्भरता। यह सरल विषम रुझानों के विपरीत है जहाँ प्रायिकता आमतौर पर एकदिष्ट रूप से घटती है।

यह कार्य यादृच्छिक मैट्रिसेस के संभाव्य अध्ययन को स्पेक्ट्रल लक्षण वर्णन के लिए नियत पर्याप्त शर्तों (क्यू, वांग और झांग [23] और वांग और यू [32] के कार्यों का संदर्भ देते हुए) से जोड़ता है, यह सुझाव देते हुए कि स्मिथ नॉर्मल फॉर्म यह निर्धारित करने में मौलिक भूमिका निभाते हैं कि क्या कोई मैट्रिक्स अपने स्पेक्ट्रम द्वारा अद्वितीय रूप से अभिलक्षित है। शोध पत्र निष्कर्ष निकालता है कि यह प्रस्तावित करता है (कन्जक्चर 1.9) कि यह सख्त असमानता (प्रायिकता $< 1$) सभी निश्चित आयामों $n$ के लिए सत्य है, हालांकि सामान्य $n$ के लिए इसे सिद्ध करना एक खुला और चुनौतीपूर्ण प्रश्न बना हुआ है।