Moderate-to-large deviation asymptotics for real eigenvalues of the elliptic Ginibre matrices

तकनीकी सारांश: एलिप्टिक गिन्ब्रे मैट्रिसेस के वास्तविक आइजनवैल्यूज़ के लिए मध्यम-से-बड़े विचलन एसिम्प्टोटिक्स (Moderate-to-Large Deviation Asymptotics)

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

यह शोध पत्र वास्तविक गिन्ब्रे एनसेंबल (eGinOE) के एलिप्टिक विरूपण (elliptic deformation) में वास्तविक आइजनवैल्यूज़ की संख्या, जिसे $N_n$ द्वारा दर्शाया गया है, के सांख्यिकीय गुणों की जांच करता है। जबकि $N_n$ का विशिष्ट व्यवहार अच्छी तरह से स्थापित है—विशेष रूप से, मजबूत विषमता (fixed asymmetry parameter $\tau \in [0,1)$ के लिए) और कमजोर विषमता ($\tau \to 1$ जब $n \to \infty$) दोनों के लिए लॉ ऑफ लार्ज नंबर्स (LLN) और सेंट्रल लिमिट थ्योरम (CLT)—दुर्लभ घटनाओं (large deviations) की प्रायिकताएं मध्यवर्ती श्रेणियों (intermediate regimes) में अभी भी काफी हद तक अनछुए क्षेत्र हैं।

मौजूदा साहित्य चरम मामलों को संबोधित करता है:

• लेफ्ट टेल (Left Tail): वास्तविक आइजनवैल्यूज़ की अत्यंत कम संख्या ($m \ll \mathbb{E}[N_n]$)।
• राइट टेल (Right Tail): लगभग सभी आइजनवैल्यूज़ वास्तविक होना ($m \approx n$)।

हालाँकि, दो महत्वपूर्ण मध्यवर्ती श्रेणियाँ खुली रह गई हैं:

1. मजबूत विषमता (Strong Asymmetry): वह मध्यवर्ती श्रेणी जहाँ $m = O(\sqrt{n})$ है, जो गाऊसी उतार-चढ़ाव (Gaussian fluctuation) के पैमाने और चरम लेफ्ट टेल के बीच एक सेतु का कार्य करती है।
2. कमजोर विषमता (Weak Asymmetry): वह मैक्रोस्कोपिक श्रेणी जहाँ $m = O(n)$ है, जो गाऊसी उतार-चढ़ाव और चरम राइट टेल के बीच एक सेतु का कार्य करती है।

प्राथमिक उद्देश्य इन मध्यम-से-बड़े विचलन श्रेणियों में प्रायिकता $p_{n,m} = \mathbb{P}(N_n = m)$ को व्युत्पन्न करना है, जिससे गाऊसी उतार-चढ़ाव वाले ज्ञात शासन और चरम बड़े विचलन वाले शासन के बीच एक स्वाभाविक संबंध स्थापित किया जा सके।

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

लेखक वास्तविक आइजनवैल्यूज़ की संख्या के जनरेटिंग फंक्शन (generating function) पर केंद्रित एक कठोर विश्लेषणात्मक दृष्टिकोण का उपयोग करते हैं।

2.1. जनरेटिंग फंक्शन और पफ़ाफियन संरचना (Generating Function and Pfaffian Structure)

eGinOE एक पफ़ाफियन पॉइंट प्रोसेस (Pfaffian point process) बनाता है। सम आयामों $2n$ के लिए, वास्तविक आइजनवैल्यूज़ के प्रायिकता वितरण के लिए जनरेटिंग फंक्शन को एक डिटर्मिनेंट के रूप में व्यक्त किया जाता है:
$$\sum_{k=0}^n z^k p_{2n,2k} = \det \left[ I_{2n} + (z-1)M_{2n} \right]$$
जहाँ $M_{2n}$ एक विशिष्ट सममित मैट्रिक्स (symmetric matrix) है जिसका स्पेक्ट्रम $(0,1)$ में है। यह प्रतिनिधित्व लॉग-जनरेटिंग फंक्शन को $M_{2n}$ की घातों के ट्रेसेस (traces) के पदों में विस्तार करने की अनुमति देता है:
$$\log \left( \sum_{k=0}^n z^k p_{2n,2k} \right) = -\sum_{k=1}^\infty \frac{(1-z)^k}{k} \text{Tr}(M_{2n}^k)$$

2.2. मोमेंट्स का एसिम्प्टोटिक विश्लेषण (Asymptotic Analysis of Moments)

लेखक दोनों श्रेणियों में $\text{Tr}(M_{2n}^k)$ के ज्ञात एसिम्प्टोटिक परिणामों का उपयोग करते हैं:

• मजबूत विषमता (Strong Asymmetry): $\text{Tr}(M_{2n}^k) \sim \sqrt{2n} \cdot C_k(\tau)$।
• कमजोर विषमता (Weak Asymmetry): $\text{Tr}(M_{2n}^k) \sim 2n \cdot C_k(\alpha)$, जहाँ $\tau = 1 - \alpha^2/n$।

ये सीमाएँ $\Psi_s(z)$ और $\Psi_w(z)$ के रूप में व्यक्त किए गए लॉग-जनरेटिंग फंक्शन्स के व्युत्पन्न के लिए मार्ग प्रशस्त करती हैं, जो पोलिलॉगारिदम (polylogarithms) और बेसेल फंक्शन्स (Bessel functions) वाले इंटीग्रल्स के रूप में होते हैं।

2.3. जनरेटिंग फंक्शन्स से गुणांकों तक (From Generating Functions to Coefficients - The Core Technical Step)

मुख्य चुनौती जनरेटिंग फंक्शन के एसिम्प्टोटिक व्यवहार से गुणांकों $p_{2n,2k}$ के एसिम्प्टोटिक व्यवहार को पुनः प्राप्त करना है। लेखक वास्तविक मूलों (real roots) वाले बहुपदों के "एक्सपोनेंशियल प्रोफाइल" (exponential profiles) के संबंध में बोरोडिन, कोरविन और गोरिन [47] के एक हालिया परिणाम का अनुप्रयोग करते हैं।

• कमजोर विषमता (Weak Asymmetry): चूंकि स्केलिंग $O(n)$ है, इसलिए मानक प्रमेय [47] सीधे लागू होता है, जो यह स्थापित करता है कि गुणांक एक 'रेट फंक्शन' (rate function) का पालन करते हैं जो लिमिटिंग लॉग-जनरेटिंग फंक्शन के लेजेंड्रे ट्रांसफॉर्म (Legendre transform) से प्राप्त होता है।
• मजबूत विषमता (Strong Asymmetry): स्केलिंग $O(\sqrt{n})$ है। मानक प्रमेय यहाँ लागू नहीं होता क्योंकि अग्रणी एसिम्प्टोटिक ऑर्डर (leading asymptotic order) बहुपद की डिग्री से छोटा है। लेखक इस मामले को संभालने के लिए एक नया विस्तार (थ्योरम 4.1) सिद्ध करते हैं, जो यह दिखाता है कि भले ही बहुपद का केवल एक छोटा हिस्सा अग्रणी क्रम (leading order) में योगदान देता है, फिर भी गुणांकों का एक्सपोनेंशियल प्रोफाइल मौजूद रहता है और लेजेंड्रे ट्रांसफॉर्म द्वारा निर्धारित होता है।

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

3.1. मुख्य थ्योरम (मध्यम-से-बड़े विचलन की प्रायिकताएं)

यह शोध पत्र दर कार्यों (rate functions) $\phi_s(x)$ और $\phi_w(x)$ को व्युत्पन्न करता है जो प्रायिकताओं को नियंत्रित करते हैं:
$$\lim_{n \to \infty} \frac{\log p_{2n,2m}}{\text{scaling}} = -\phi(x)$$
जहाँ $x$ वास्तविक आइजनवैल्यूज़ की सामान्यीकृत संख्या (normalized number) है।

• मजबूत विषमता ($\tau$ फिक्स्ड, $m \sim \sqrt{n}$):
  दर कार्य $\text{Li}_{3/2}$ वाले पोलिलॉगारिदम से संबंधित एक फलन के लेजेंड्रे ट्रांसफॉर्म द्वारा दिया गया है:
  $$\phi_s(x) = \sup_{u \in \mathbb{R}} \left\{ \frac{x}{2}u - \Psi_s(e^u) \right\}$$
  जहाँ $\Psi_s(z) = -\sqrt{\frac{1+\tau}{1-\tau}} \frac{1}{2\pi} \text{Li}_{3/2}(1-z)$।

• कमजोर विषमता ($\tau = 1 - \alpha^2/n$, $m \sim n$):
  दर कार्य $\alpha$ पैरामीटर वाले एक इंटीग्रल के लेजेंड्रे ट्रांसफॉर्म द्वारा दिया गया है:
  $$\phi_w(x) = \sup_{u \in \mathbb{R}} \left\{ \frac{x}{2}u - \Psi_w(e^u) \right\}$$
  जहाँ $\Psi_w(z) = \frac{2}{\pi} \int_0^1 \log(1 - (1-z)e^{-\alpha^2 s^2}) \sqrt{1-s^2} \, ds$।

3.2. निरंतरता और मिलान (Consistency and Matching)

लेखक प्रदर्शित करते हैं कि उनके परिणाम मौजूदा साहित्य के साथ कठोरता से जुड़ते हैं:

• गाऊसी शासन (Gaussian Regime): दर कार्यों $\phi_s$ और $\phi_w$ के न्यूनतम मान ज्ञात सीमित माध्यों ($\mathbb{E}[N_n]$) पर होते हैं, और उनकी वक्रता (curvature) ज्ञात प्रसरणों (variances) से मेल खाती है, जो सेंट्रल लिमिट थ्योरम को पुनः प्राप्त करती है।
• चरम लेफ्ट टेल (Extreme Left Tail): जैसे-जैसे $x \to 0$ होता है, व्युत्पन्न दर कार्य पूर्व-ज्ञात एसिम्प्टोटिक प्रायिकताओं को पुनः प्राप्त करते हैं (जो [15, 50] के परिणामों से मेल खाते हैं)।
• चरम राइट टेल (Extreme Right Tail): कमजोर विषमता शासन में, जैसे-जैसे $x \to 1$ होता है, दर कार्य $m \approx n$ के लिए ज्ञात बड़े विचलन परिणाम को पुनः प्राप्त करता है (जो [4] से मेल खाता है)।
• यूनिवर्सैलिटी (Universality): मजबूत विषमता शासन में दर कार्य का रूप $\tau$ से स्वतंत्र (एक स्केलिंग फैक्टर को छोड़कर) दिखाया गया है, जो स्फेरिकल एनसेंबल [31] और सिंपल सिमेट्रिक एक्सक्लूजन प्रोसेस (SSEP) [18] में पाए जाने वाले समान सार्वभौमिक ढांचे का सुझाव देता है।

3.3. क्यूमुलेंट्स और जनरेटिंग फंक्शन्स (Cumulants and Generating Functions)

यह शोध पत्र सभी ऑर्डर्स $\ell$ के लिए $N_n$ के क्यूमुलेंट्स (cumulants) के एसिम्प्टोटिक व्यवहार को भी स्थापित करता है, जो केवल माध्य और प्रसरण से परे वितरण के आकार का पूर्ण विवरण प्रदान करता है।

4. महत्व और दावे (Significance and Claims)

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

• क्षेत्रों को जोड़ना (Bridging Regimes): प्राथमिक योगदान गाऊसी उतार-चढ़ाव शासन और चरम बड़े विचलन शासन के बीच के अंतर को भरना है, जो सभी पैमानों पर प्रायिकता वितरण का एक एकीकृत विवरण प्रदान करता है।
• शास्त्रीय मामलों के लिए नए परिणाम: परिणामों को शास्त्रीय वास्तविक गिन्ब्रे एनसेंबल ($\tau=0$) के लिए भी नया बताया गया है, जहाँ मध्यवर्ती शासन $m=O(\sqrt{n})$ पहले अनिर्धारित था।
• मेथोडोलॉजिकल उन्नति (Methodological Advancement): यह पेपर [47] से "एक्सपोनेंशियल प्रोफाइल" तकनीक को उन स्केलिंग शासनों को संभालने के लिए विस्तारित करता है जहाँ बड़े विचलन की गति ($c_n$) बहुपद की डिग्री ($n$) के सापेक्ष सबलीनियर (sublinear) है, जो मजबूत विषमता मामले के लिए आवश्यक एक तकनीकी विस्तार है।
• भौतिक प्रासंगिकता (Physical Relevance): लेखक नोट करते हैं कि इन सांख्यिकीं को गैर-हर्मिटीियन सिस्टम (non-Hermitian systems) के स्पेक्ट्रल गुणों को समझने के लिए जानना महत्वपूर्ण है, जिसमें फेज ट्रांजिशन, डायनेमिकल सिस्टम की स्थिरता, और विनाशकारी ब्राउनियन कणों (annihilating Brownian particles) के साथ संबंध शामिल हैं।

शोध पत्र यह स्वीकार करते हुए समाप्त होता है कि विश्लेषण सम आयामों के लिए उपलब्ध डिटर्मिनेंट फॉर्मूला पर निर्भर करता है; विषम आयामों के लिए इन परिणामों को विस्तारित करना एक खुला तकनीकी विषय बना हुआ है क्योंकि उस मामले में जनरेटिंग फंक्शन के लिए एक सुलभ डिटर्मिनेंट प्रतिनिधित्व का अभाव है।