Resumo Técnico: Assintóticas de Desvios Moderados a Grandes para Autovalores Reais de Matrizes de Ginibre Elípticas

1. Enunciado do Problema

O artigo investiga as propriedades estatísticas do número de autovalores reais, denotado por $N_n$, na deformação elíptica do ensemble de Ginibre real (eGinOE). Embora o comportamento típico de $N_n$ esteja bem estabelecido — especificamente, a Lei dos Grandes Números (LLN) e o Teorema do Limite Central (CLT) tanto para assimetria forte (parâmetro de assimetria fixo $\tau \in [0,1)$) quanto para assimetria fraca ($\tau \to 1$ quando $n \to \infty$) — as probabilidades de eventos raros (grandes desvios) permanecem amplamente inexploradas em regimes intermediários.

A literatura existente abordou casos extremos:

• Cauda Esquerda: Números excepcionalmente pequenos de autovalores reais ($m \ll \mathbb{E}[N_n]$).
• Cauda Direita: Quase todos os autovalores sendo reais ($m \approx n$).

No entanto, dois regimes intermediários críticos permaneceram em aberto:

1. Assimetria Forte: O regime intermediário onde $m = O(\sqrt{n})$, fazendo a ponte entre a escala de flutuação Gaussiana e a cauda extrema esquerda.
2. Assimetria Fraca: O regime macroscópico onde $m = O(n)$, fazendo a ponte entre as flutuações Gaussianas e a cauda extrema direita.

O objetivo primário é derivar as probabilidades assintóticas $p_{n,m} = \mathbb{P}(N_n = m)$ nesses regimes de desvio moderado a grande, estabelecendo assim uma conexão natural entre o conhecido regime de flutuação Gaussiana e os regimes de grande desvio extremo.

2. Metodologia

Os autores empregam uma abordagem analítica rigorosa centrada na função geradora do número de autovalores reais.

2.1. Função Geradora e Estrutura Pfaffiana

O eGinOE forma um processo de ponto Pfaffiano. Para dimensões pares $2n$, a função geradora para a distribuição de probabilidade dos autovalores reais é expressa como um determinante:
$$\sum_{k=0}^n z^k p_{2n,2k} = \det \left[ I_{2n} + (z-1)M_{2n} \right]$$
onde $M_{2n}$ é uma matriz simétrica específica com espectro em $(0,1)$. Esta representação permite que o logaritmo da função geradora seja expandido em termos dos traços das potências de $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. Análise Assintótica de Momentos

Os autores utilizam resultados assintóticos conhecidos para $\text{Tr}(M_{2n}^k)$ em ambos os regimes:

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

Estes limites permitem a derivação das funções geradoras logarítmicas limites, $\Psi_s(z)$ e $\Psi_w(z)$, que são expressas em termos de polilogaritmos e integrais envolvendo funções de Bessel.

2.3. De Funções Geradoras para Coeficientes (O Passo Técnico Central)

O desafio central é recuperar o comportamento assintótico dos coeficientes $p_{2n,2k}$ a partir do comportamento assintótico da função geradora. Os autores aplicam um resultado recente de Borodin, Corwin e Gorin [47] sobre os "perfis exponenciais" de polinômios com raízes reais.

• Assimetria Fraca: Como a escala é $O(n)$, o teorema padrão de [47] aplica-se diretamente, estabelecendo que os coeficientes seguem um princípio de grandes desvios com uma função de taxa derivada da transformada de Legendre da função geradora logarítmica limite.
• Assimetria Forte: A escala é $O(\sqrt{n})$. O teorema padrão não se aplica porque a ordem assintótica principal é menor que o grau do polinômio. Os autores provam uma nova extensão (Teorema 4.1) para lidar com este caso, mostrando que mesmo quando apenas uma pequena parte do polinômio contribui para a ordem principal, o perfil exponencial dos coeficientes ainda existe e é determinado pela transformada de Legendre.

3. Contribuições Principais e Resultados

3.1. Teoremas Principais (Probabilidades de Desvio Moderado a Grande)

O artigo deriva as funções de taxa $\phi_s(x)$ e $\phi_w(x)$ que governam as probabilidades:
$$\lim_{n \to \infty} \frac{\log p_{2n,2m}}{\text{escala}} = -\phi(x)$$
onde $x$ é o número normalizado de autovalores reais.

• Assimetria Forte ($\tau$ fixo, $m \sim \sqrt{n}$):
  A função de taxa é dada pela transformada de Legendre de uma função envolvendo o polilogaritmo $\text{Li}_{3/2}$:
  $$\phi_s(x) = \sup_{u \in \mathbb{R}} \left\{ \frac{x}{2}u - \Psi_s(e^u) \right\}$$
  onde $\Psi_s(z) = -\sqrt{\frac{1+\tau}{1-\tau}} \frac{1}{2\pi} \text{Li}_{3/2}(1-z)$.

• Assimetria Fraca ($\tau = 1 - \alpha^2/n$, $m \sim n$):
  A função de taxa é dada pela transformada de Legendre de uma integral envolvendo o parâmetro $\alpha$:
  $$\phi_w(x) = \sup_{u \in \mathbb{R}} \left\{ \frac{x}{2}u - \Psi_w(e^u) \right\}$$
  onde $\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. Consistência e Correspondência

Os autores demonstram que seus resultados conectam-se rigorosamente com a literatura existente:

• Regime Gaussiano: Os mínimos das funções de taxa $\phi_s$ e $\phi_w$ ocorrem nas médias limites conhecidas ($\mathbb{E}[N_n]$), e suas curvaturas coincidem com as variâncias conhecidas, recuperando o Teorema do Limite Central.
• Cauda Extrema Esquerda: Quando $x \to 0$, as funções de taxa derivadas recuperam as probabilidades assintóticas previamente conhecidas para números de autovalores reais vanishingly pequenos (coincidindo com os resultados de [15, 50]).
• Cauda Extrema Direita: No regime de assimetria fraca, quando $x \to 1$, a função de taxa recupera o resultado de grande desvio conhecido para $m \approx n$ (coincidindo com [4]).
• Universalidade: A forma da função de taxa no regime de assimetria forte mostra-se independente de $\tau$ (até um fator de escala), sugerindo uma estrutura universal semelhante à encontrada no ensemble esférico [31] e no processo de exclusão simétrico simples (SSEP) [18].

3.3. Cumulantes e Funções Geradoras

O artigo também estabelece o comportamento assintótico dos cumulantes de $N_n$ para todas as ordens $\ell$, fornecendo uma descrição completa da forma da distribuição além de sua média e variância.

4. Significância e Alegações

O artigo afirma fornecer a primeira derivação sistemática das assintóticas de desvio moderado a grande para o número de autovalores reais no ensemble de Ginibre elíptico.

• Ponte entre Regimes: A principal contribuição é preencher a lacuna entre o regime de flutuação Gaussiana e os regimes de grande desvio extremo, fornecendo uma descrição unificada da distribuição de probabilidade em todas as escalas.
• Novos Resultados para Casos Clássicos: Os resultados são notados como novos mesmo para o ensemble de Ginibre real clássico ($\tau=0$), onde o regime intermediário $m=O(\sqrt{n})$ era anteriormente não caracterizado.
• Avanço Metodológico: O artigo estende a técnica de "perfil exponencial" de [47] para lidar com regimes de escala onde a velocidade do grande desvio ($c_n$) é sublinear em relação ao grau do polinômio ($n$), uma extensão técnica necessária para o caso de assimetria forte.
• Relevância Física: Os autores observam que compreender essas estatísticas é crucial para caracterizar propriedades espectrais em sistemas não-hermitianos, incluindo transições de fase, estabilidade de sistemas dinâmicos e conexões com partículas de Brownian que se aniquilam.

O artigo conclui reconhecendo que a análise depende da fórmula de determinante disponível para dimensões pares; estender estes resultados para dimensões ímpares permanece um desafio técnico aberto devido à falta de uma representação de determinante tratável para a função geradora nesse caso.