Sintesi Tecnica: Asintotica delle Deviazioni Moderate-to-Large per gli Autovalori Reali di Matrici Ginibre Ellittiche

1. Definizione del Problema

Il saggio investiga le proprietà statistiche del numero di autovalori reali, denotato con $N_n$, nella deformazione ellittica dell'insieme Ginibre reale (eGinOE). Mentre il comportamento tipico di $N_n$ è ben stabilito — specificamente, la Legge dei Grandi Numeri (LLN) e il Teorema del Limite Centrale (CLT) sia per l'asimmetria forte (parametro di asimmetria fissato $\tau \in [0,1)$) che per l'asimmetria debole ($\tau \to 1$ quando $n \to \infty$) — le probabilità di eventi rari (grandi deviazioni) rimangono ampiamente inesplorate nei regimi intermedi.

La letteratura esistente ha affrontato i casi estremi:

• Coda Sinistra (Left Tail): Numeri eccezionalmente piccoli di autovalori reali ($m \ll \mathbb{E}[N_n]$).
• Coda Destra (Right Tail): Quasi tutti gli autovalori sono reali ($m \approx n$).

Tuttavia, due regimi intermedi critici sono rimasti aperti:

1. Asimmetria Forte: Il regime intermedio dove $m = O(\sqrt{n})$, che funge da ponte tra la scala delle fluttuazioni gaussiane e la coda sinistra estrema.
2. Asimmetria Debole: Il regime macroscopico dove $m = O(n)$, che funge da ponte tra le fluttuazioni gaussiane e la coda destra estrema.

L'obiettivo primario è derivare le probabilità asintotiche $p_{n,m} = \mathbb{P}(N_n = m)$ in questi regimi di deviazione moderata-to-large, stabilendo così una naturale connessione tra il noto regime delle fluttuazioni gaussiane e i regimi di grande deviazione estrema.

2. Metodologia

Gli autori impiegano un approccio analitico rigoroso centrato sulla funzione generatrice del numero di autovalori reali.

2.1. Funzione Generatrice e Struttura Pfaffiana

L'eGinOE forma un processo di punto Pfaffiano. Per dimensioni pari $2n$, la funzione generatrice per la distribuzione di probabilità degli autovalori reali è espressa come un determinante:
$$\sum_{k=0}^n z^k p_{2n,2k} = \det \left[ I_{2n} + (z-1)M_{2n} \right]$$
dove $M_{2n}$ è una matrice simmetrica specifica con spettro in $(0,1)$. Questa rappresentazione permette di espandere il logaritmo della funzione generatrice in termini delle tracce delle potenze di $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. Analisi Asintotica dei Momenti

Gli autori utilizzano risultati asintotici noti per $\text{Tr}(M_{2n}^k)$ in entrambi i regimi:

• Asimmetria Forte: $\text{Tr}(M_{2n}^k) \sim \sqrt{2n} \cdot C_k(\tau)$.
• Asimmetria Debole: $\text{Tr}(M_{2n}^k) \sim 2n \cdot C_k(\alpha)$, dove $\tau = 1 - \alpha^2/n$.

Questi limiti permettono la derivazione delle funzioni generatrici logaritmiche limitanti, $\Psi_s(z)$ e $\Psi_w(z)$, che sono espresse in termini di polilogaritmi e integrali coinvolgenti funzioni di Bessel.

2.3. Dalle Funzioni Generatrici ai Coefficienti (Il Nucleo Tecnico)

La sfida centrale consiste nel recuperare il comportamento asintotico dei coefficienti $p_{2n,2k}$ a partire dal comportamento asintotico della funzione generatrice. Gli autori applicano un recente risultato di Borodin, Corwin e Gorin [47] riguardante i "profili esponenziali" di polinomi con radici reali.

• Asimmetria Debole: Poiché la scalatura è $O(n)$, il teorema standard da [47] si applica direttamente, stabilendo che i coefficienti seguono un principio di grandi deviazioni con una funzione di tasso derivata dalla trasformata di Legendre della funzione generatrice logaritmica limitante.
• Asimmetria Forte: La scalatura è $O(\sqrt{n})$. Il teorema standard non è applicabile perché l'ordine asintotico principale è inferiore al grado del polinomio. Gli autori dimostrano un nuovo estensione (Teorema 4.1) per gestire questo caso, mostrando che anche quando solo una piccola porzione del polinomio contribuisce all'ordine principale, il profilo esponenziale dei coefficienti esiste ancora ed è determinato dalla trasformata di Legendre.

3. Contributi Chiave e Risultati

3.1. Teoremi Principali (Probabilità di Deviazione Moderate-to-Large)

Il saggio deriva le funzioni di tasso $\phi_s(x)$ e $\phi_w(x)$ che governano le probabilità:
$$\lim_{n \to \infty} \frac{\log p_{2n,2m}}{\text{scaling}} = -\phi(x)$$
dove $x$ è il numero normalizzato di autovalori reali.

• Asimmetria Forte ($\tau$ fisso, $m \sim \sqrt{n}$):
  La funzione di tasso è data dalla trasformata di Legendre di una funzione che coinvolge il polilogaritmo $\text{Li}_{3/2}$:
  $$\phi_s(x) = \sup_{u \in \mathbb{R}} \left\{ \frac{x}{2}u - \Psi_s(e^u) \right\}$$
  dove $\Psi_s(z) = -\sqrt{\frac{1+\tau}{1-\tau}} \frac{1}{2\pi} \text{Li}_{3/2}(1-z)$.

• Asimmetria Debole ($\tau = 1 - \alpha^2/n$, $m \sim n$):
  La funzione di tasso è data dalla trasformata di Legendre di un integrale coinvolgente il parametro $\alpha$:
  $$\phi_w(x) = \sup_{u \in \mathbb{R}} \left\{ \frac{x}{2}u - \Psi_w(e^u) \right\}$$
  dove $\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. Consistenza e Coerenza (Matching)

Gli autori dimostrano che i loro risultati si collegano rigorosamente con la letteratura esistente:

• Regime Gaussiano: I minimi delle funzioni di tasso $\phi_s$ e $\phi_w$ si verificano nei valori medi limitanti noti ($\mathbb{E}[N_n]$), e le loro curvature corrispondono alle varianze note, recuperando il Teorema del Limite Centrale.
• Coda Sinistra Estrema: Per $x \to 0$, le funzioni di tasso derivate recuperano le probabilità asintotiche precedentemente note per numeri di autovalori reali evanescenti (concordando con i risultati di [15, 50]).
• Coda Destra Estrema: Nel regime di asimmetria debole, per $x \to 1$, la funzione di tasso recupera il risultato di grande deviazione noto per $m \approx n$ (concordando con [4]).
• Universalità: La forma della funzione di tasso nel regime di asimmetria forte è mostrata essere indipendente da $\tau$ (fino a un fattore di scalatura), suggerendo una struttura universale simile a quella trovata nell'insieme sferico [31] e nel processo di esclusione simmetrico semplice (SSEP) [18].

3.3. Cumulanti e Funzioni Generatrici

Il saggio stabilisce anche il comportamento asintotico dei cumulanti di $N_n$ per tutti gli ordini $\ell$, fornendo una descrizione completa della forma della distribuzione oltre alla media e alla varianza.

4. Significato e Rivendicazioni

Il saggio rivendica di fornire la prima derivazione sistematica delle asintotiche di deviazione moderate-to-large per il numero di autovalori reali nell'insieme Ginibre ellittico.

• Collegamento tra i Regimi: Il contributo primario è colmare il vuoto tra il regime delle fluttuazioni gaussiane e i regimi di grande deviazione estrema, fornendo una descrizione unificata della distribuzione di probabilità attraverso tutte le scale.
• Nuovi Risultati per Casi Classici: I risultati sono notati come nuovi anche per l'insieme Ginibre reale classico ($\tau=0$), dove il regime intermedio $m=O(\sqrt{n})$ era precedentemente non caratterizzato.
• Avanzamento Metodologico: Il saggio estende la tecnica del "profilo esponenziale" da [47] per gestire regimi di scalatura dove la velocità della grande deviazione ($c_n$) è sublineare rispetto al grado del polinomio ($n$), un'estensione tecnica necessaria per il caso di asimmetria forte.
• Rilevanza Fisica: Gli autori osservano che comprendere queste statistiche è cruciale per caratterizzare le proprietà spettrali in sistemi non hermitiani, inclusi transizioni di fase, stabilità di sistemi dinamici e connessioni con particelle browniane che si annichilano.

Il saggio conclude riconoscendo che l'analisi si basa sulla formula del determinante disponibile per le dimensioni pari; estendere questi risultati alle dimensioni dispari rimane una sfida tecnica aperta a causa della mancanza di una rappresentazione determinante trattabile per la funzione generatrice in quel caso.