Technische Samenvatting: Moderate-to-Large Deviation Asymptotica voor Reële Eigenwaarden van Elliptische Ginibre-matrices

1. Probleemstelling

Het artikel onderzoekt de statistische eigenschappen van het aantal reële eigenwaarden, aangeduid als $N_n$, in de elliptische deformatie van de reële Ginibre-ensemble (eGinOE). Hoewel het typische gedrag van $N_n$ goed gevestigd is—specifiek de Wet van de Grote Getallen (LLN) en de Centrale Limietstelling (CLT) voor zowel sterke asymmetrie (vaste asymmetrieparameter $\tau \in [0,1)$) als zwakke asymmetrie ($\tau \to 1$ wanneer $n \to \infty$)—blijven de waarschijnlijkheden van zeldzame gebeurtenissen (large deviations) grotendeels onverkend.

Bestaande literatuur heeft de extreme gevallen behandeld:

• Linkerstaart: Extreem kleine aantallen reële eigenwaarden ($m \ll \mathbb{E}[N_n]$).
• Rechterstaart: Bijna alle eigenwaarden zijn reëel ($m \approx n$).

Echter, twee cruciale intermediaire regimes zijn open gebleven:

1. Sterke Asymmetrie: Het intermediaire regime waar $m = O(\sqrt{n})$, wat de brug slaat tussen de Gaussische fluctuatieschaal en de extreme linkerstaart.
2. Zwakke Asymmetrie: Het macroscopische regime waar $m = O(n)$, wat de brug slaat tussen de Gaussische fluctuaties en de extreme rechterstaart.

Het primaire doel is het afleiden van de asymptotische waarschijnlijkheden $p_{n,m} = \mathbb{P}(N_n = m)$ in deze moderate-to-large deviation regimes, waardoor een natuurlijke verbinding wordt gelegd tussen het bekende Gaussische fluctuatieregime en de extreme large deviation regimes.

2. Methodologie

De auteurs hanteren een rigoureuze analytische aanpak die gecentreerd is rond de genererende functie van het aantal reële eigenwaarden.

2.1. Genererende Functie en Pfaffian Structuur

De eGinOE vormt een Pfaffian puntproces. Voor even dimensies $2n$ wordt de genererende functie voor de waarschijnlijkheidsverdeling van de reële eigenwaarden uitgedrukt als een determinant:
$$\sum_{k=0}^n z^k p_{2n,2k} = \det \left[ I_{2n} + (z-1)M_{2n} \right]$$
waarbij $M_{2n}$ een specifieke symmetrische matrix is met een spectrum in $(0,1)$. Deze representatie maakt het mogelijk om de log-genererende functie uit te breiden in termen van de sporen van machten van $M_{2n}$:
$$\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. Asymptotische Analyse van Momenten

De auteurs maken gebruik van bekende asymptotische resultaten voor $\text{Tr}(M_{2n}^k)$ in beide regimes:

• Sterke Asymmetrie: $\text{Tr}(M_{2n}^k) \sim \sqrt{2n} \cdot C_k(\tau)$.
• Zwakke Asymmetrie: $\text{Tr}(M_{2n}^k) \sim 2n \cdot C_k(\alpha)$, waarbij $\tau = 1 - \alpha^2/n$.

Deze limieten maken de afleiding van de limiterende log-genererende functies, $\Psi_s(z)$ en $\Psi_w(z)$, mogelijk, die worden uitgedrukt in termen van polylogaritmen en integralen met Bessel-functies.

2.3. Van Genererende Functies naar Coëfficiënten (De Kerntechnische Stap)

De centrale uitdaging is het terugwinnen van de asymptotische gedragingen van de coëfficiënten $p_{2n,2k}$ uit het asymptotische gedrag van de genererende functie. De auteurs passen een recent resultaat toe van Borodin, Corwin en Gorin [47] betreffende de "exponentiële profielen" van polynomen met reële wortels.

• Zwakke Asymmetrie: Aangezien de schaling $O(n)$ is, is de standaardstelling uit [47] direct toepasbaar, wat vaststelt dat de coëfficiënten een large deviation principe volgen met een rate function afgeleid via de Legendre-transformatie van de limiterende log-genererende functie.
• Sterke Asymmetrie: De schaling is $O(\sqrt{n})$. De standaardstelling is hier niet direct toepasbaar omdat de leidende asymptotische orde kleiner is dan de graad van het polynoom. De auteurs bewijzen een nieuwe uitbreiding (Theorem 4.1) om dit geval te behandelen, waarbij zij aantonen dat zelfs wanneer slechts een klein deel van het polynoom bijdraagt aan de leidende orde, het exponentiële profiel van de coëfficiënten nog steeds bestaat en wordt bepaald door de Legendre-transformatie.

3. Belangrijkste Bijdragen en Resultaten

3.1. Hoofdtheorema's (Moderate-to-Large Deviation Waarschijnlijkheden)

Het artikel leidt de rate functies $\phi_s(x)$ en $\phi_w(x)$ af die de waarschijnlijkheden beheersen:
$$\lim_{n \to \infty} \frac{\log p_{2n,2m}}{\text{scaling}} = -\phi(x)$$
waarbij $x$ het genormaliseerde aantal reële eigenwaarden is.

• Sterke Asymmetrie ($\tau$ vast, $m \sim \sqrt{n}$):
  De rate functie wordt gegeven door de Legendre-transformatie van een functie die de polylogaritme $\text{Li}_{3/2}$ bevat:
  $$\phi_s(x) = \sup_{u \in \mathbb{R}} \left\{ \frac{x}{2}u - \Psi_s(e^u) \right\}$$
  waarbij $\Psi_s(z) = -\sqrt{\frac{1+\tau}{1-\tau}} \frac{1}{2\pi} \text{Li}_{3/2}(1-z)$.

• Zwakke Asymmetrie ($\tau = 1 - \alpha^2/n$, $m \sim n$):
  De rate functie wordt gegeven door de Legendre-transformatie van een integraal met de parameter $\alpha$:
  $$\phi_w(x) = \sup_{u \in \mathbb{R}} \left\{ \frac{x}{2}u - \Psi_w(e^u) \right\}$$
  waarbij $\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. Consistentie en Matching

De auteurs demonstreren dat hun resultaten rigoureus aansluiten bij de bestaande literatuur:

• Gaussisch Regime: De minima van de rate functies $\phi_s$ en $\phi_w$ treden op bij de bekende limiterende gemiddelden ($\mathbb{E}[N_n]$), en hun krommingen komen overeen met de bekende varianties, waarmee de Centrale Limietstelling wordt hersteld.
• Extreme Linkerstaart: Wanneer $x \to 0$, herstellen de afgeleide rate functies de eerder bekende asymptotische waarschijnlijkheden voor een verwaarloosbaar klein aantal reële eigenwaarden (overeenkomstig met resultaten uit [15, 50]).
• Extreme Rechterstaart: In het regime van zwakke asymmetrie, wanneer $x \to 1$, herstelt de rate functie het bekende large deviation resultaat voor $m \approx n$ (overeenkomstig met [4]).
• Universaliteit: De vorm van de rate functie in het regime van sterke asymmetrie wordt getoond onafhankelijk te zijn van $\tau$ (tot een schaleringsfactor), wat wijst op een universele structuur die vergelijkbaar is met die gevonden in de sferische ensemble [31] en de simple symmetric exclusion process (SSEP) [18].

3.3. Cumulanten en Genererende Functies

Het artikel stelt ook het asymptotische gedrag van de cumulanten van $N_n$ vast voor alle orden $\ell$, wat een volledige beschrijving geeft van de vorm van de distributie voorbij enkel het gemiddelde en de variantie.

4. Betekenis en Claims

Het artikel claimt de eerste systematische afleiding te bieden van de moderate-to-large deviation asymptotica voor het aantal reële eigenwaarden in de elliptische Ginibre-ensemble.

• Bruggen tussen Regimes: De primaire bijdrage is het vullen van de kloof tussen het Gaussische fluctuatieregime en de extreme large deviation regimes, waardoor een verenigde beschrijving van de waarschijnlijkheidsverdeling over alle schalen wordt geboden.
• Nieuwe Resultaten voor Klassieke Casussen: De resultaten worden als nieuw genoteerd, zelfs voor de klassieke reële Ginibre-ensemble ($\tau=0$), waar het intermediaire regime $m=O(\sqrt{n})$ voorheen onkarakteristiek was.
• Methodologische Vooruitgang: Het artikel breidt de "exponentiële profiel"-techniek uit van [47] om regimes te behandelen waarbij de snelheid van de large deviation ($c_n$) sublineair is ten opzichte van de graad van het polynoom ($n$), een technische uitbreiding die vereist is voor het geval van sterke asymmetrie.
• Fysieke Relevantie: De auteurs merken op dat het begrijpen van deze statistieken cruciaal is voor het karakteriseren van spectrale eigenschappen in niet-Hermitische systemen, inclusief faseovergangen, de stabiliteit van dynamische systemen en verbindingen met annihilerende Brownse deeltjes.

Het artikel concludeert door te erkennen dat de analyse steunt op de determinantformule die beschikbaar is voor even dimensies; het uitbreiden van deze resultaten naar oneven dimensies blijft een open technisch probleem vanwege het gebrek aan een hanteerbare determinantrepresentatie voor het geval van de genererende functie in dat geval.