Zeros of the i.i.d. Gaussian Laurent series on an annulus: weighted Szegő kernels and permanental-determinantal point processes

Resumo Técnico: Zeros da série de Laurent Gaussiana i.i.d. em um anel: núcleos de Szegő ponderados e processos de pontos permanentes-determinantais

Enunciado do Problema
O artigo investiga as propriedades estatísticas dos conjuntos de zeros de Funções Analíticas Gaussianas (GAFs) definidas em um anel $A_q := \{z \in \mathbb{C} : q < |z| < 1\}$ com um $q \in (0, 1)$ fixo. Embora os conjuntos de zeros de GAFs no disco unitário $\mathbb{D}$ (especificamente as séries de potência Gaussianas i.i.d.) sejam bem compreendidos como Processos de Pontos Determinantais (DPPs) com núcleos de correlação dados pelo núcleo de Bergman, o comportamento de GAFs em domínios multiconexos como um anel é menos explorado. Os autores visam construir uma GAF em $A_q$ usando uma série de Laurent Gaussiana i.i.d., caracterizar seu processo de pontos zero e determinar como a introdução de um parâmetro de peso $r > 0$ afeta as simetrias e a estrutura de correlação do processo.

Metodologia
Os autores empregam uma combinação de análise complexa, teoria da probabilidade e a teoria de funções especiais (especificamente funções theta e funções elípticas).

1. Construção da GAF: A GAF $X^r_{A_q}$ é definida pela série de Laurent aleatória $\sum_{n \in \mathbb{Z}} \zeta_n e^{(q,r)}_n(z)$, onde $\zeta_n$ são variáveis gaussianas complexas padrão i.i.d. As funções de base $e^{(q,r)}_n(z)$ são escolhidas de tal forma que o núcleo de covariância da GAF seja identificado com o núcleo de Szegő ponderado $S_{A_q}(z, w; r)$ do anel, um núcleo previamente estudado por Mccullough e Shen.
2. Processos Condicionais: Os autores utilizam a fórmula de Mccullough-Shen para núcleos de Szegő condicionais. Ao condicionar a GAF para ter zeros em pontos específicos $\alpha_1, \dots, \alpha_n$, eles derivam que o processo resultante é equivalente em lei a uma nova GAF com um parâmetro de peso modificado $r' = r \prod |\alpha_\ell|^2$. Isso estabelece uma estrutura indutiva onde o condicionamento nos zeros altera o núcleo de covariância subjacente.
3. Funções de Correlação: Usando a fórmula geral para processos de pontos zero de GAFs (relacionando funções de correlação ao permanente de derivadas de núcleos condicionais), os autores derivam expressões explícitas para as funções de correlação de $n$ pontos. Eles utilizam a fórmula do determinante de Frobenius e propriedades de funções theta para simplificar essas expressões.
4. Análise de Simetria: O artigo analisa a invariância do processo sob rotações e a transformação de inversão-$q$ $T_q(z) = q/z$. Isso envolve o estudo das propriedades de transformação do núcleo de Szegő ponderado sob o mapa $z \mapsto q/z$ e a correspondente mudança de parâmetro $r \mapsto q^2/r$.
5. Casos Limites: Os autores examinam os limites $q \to 0$ (recuperando o caso do disco unitário) e $r \to 0$ ou $r \to \infty$ para compreender as transições de fase do processo.

Principais Contribuições e Resultados

• Processos de Pontos Permanentes-Determinantais (PDPPs): O principal resultado é a prova de que o processo de pontos zero da GAF no anel é um Processo de Pontos Permanentes-Determinantal (PDPP). Diferente do DPP padrão no disco, onde as correlações são dadas unicamente por um determinante, as funções de correlação de $n$ pontos aqui são dadas pelo produto de um permanente e um determinante (denotado como $\text{perdet}$):
  $$\rho_n(z_1, \dots, z_n; r) = \frac{\theta(-r)}{\theta(-r \prod |z_k|^4)} \text{perdet}_{1 \le i,j \le n} \left[ S_{A_q}\left(z_i, z_j; r \prod_{\ell=1}^n |z_\ell|^2\right) \right]$$
  Essa estrutura surge porque a identidade de Borchardt (que iguala o permanente de uma matriz ao determinante de seu quadrado) não se aplica ao núcleo de Szegő ponderado no anel.

• Simetria e Invariância Conforme: O processo exibe uma simetria de inversão $(q, r)$: a distribuição dos zeros é invariante sob a transformação simultânea $z \mapsto q/z$ e $r \mapsto q^2/r$. Quando o parâmetro de peso é definido como $r=q$, a GAF e seu processo de zeros tornam-se invariantes sob todas as transformações conformes que preservam o anel $A_q$.

• Estrutura Condicional: O artigo demonstra que condicionar uma GAF no anel para ter zeros em $\alpha_1, \dots, \alpha_n$ induz uma nova GAF com um parâmetro de peso diferente $r \prod |\alpha_\ell|^2$. Isso contrasta com a GAF no disco unitário, onde o condicionamento em um zero não altera a forma funcional do núcleo de covariância (apenas o domínio é efetivamente reduzido).

• Propriedades de Interação (Repulsão e Atração): Os autores analisam a função de correlação 2-unfolded $g(z, w; r)$ para estudar as interações entre os zeros.

  • Curto alcance: O processo exibe repulsão (correlação negativa) em curtas distâncias, de forma semelhante aos DPPs padrão, com um índice de decaimento de lei de potência $\beta = 2$.
  • Longo alcance: Ao contrário dos DPPs padrão, o processo pode exibir correlações atrativas (positivas) a longas distâncias, dependendo dos parâmetros.
  • Transição de Fase: Um valor crítico $r_0(q)$ é identificado. Para $r \in (q, r_0(q))$, a correlação de longo alcance é repulsiva. Para $r \in (r_0(q), 1)$, emergem correlações positivas. No limite $q \to 0$, este valor crítico converge para $r_c \approx 0.2846$. O processo limite no disco $ZX^r_{\mathbb{D}}$ interpola entre o padrão de Peres-Virág ($r \to 0$) e um DPP com um zero determinístico adicionado na origem ($r \to \infty$).

• Interpretação Geométrica: A densidade de zeros diverge nas fronteiras do anel, comportando-se como a métrica do plano hiperbólico próximo à fronteira externa. O artigo observa que, embora o processo de zeros no disco seja uniforme no modelo do disco de Poincaré, o espaço geométrico sobre o qual o processo do anel é "uniforme" permanece uma questão em aberto.

Significância
O artigo afirma fornecer um ponto de partida sólido para a teoria geral de GAFs em domínios multiconexos. Sua significância reside em:

1. Generalização: Estender os resultados de Peres-Virág do disco unitário para o anel, introduzindo o conceito de núcleos de Szegő ponderados como a estrutura de covariância.
2. Nova Classe de Processos: Identificar e caracterizar uma nova classe de processos de pontos (PDPPs) que exibem comportamentos tanto repulsivos quanto atrativos, fazendo a ponte entre os puramente repulsivos DPPs e os puramente atrativos Processos de Pontos Permanentes (PPPs).
3. Estrutura Indutiva: Destacar que o condicionamento nos zeros em domínios multiconexos altera fundamentalmente o núcleo de covariância (mudando o parâmetro de peso), um fenômeno ausente no caso do disco simplesmente conexo.
4. Simetria: Estabelecer um rico grupo de simetria envolvendo a inversão-$q$ e a dualidade de parâmetros, o que é crucial para entender o comportamento do processo sob mapas conformes.

Os autores enfatizam que isto não é meramente uma substituição de determinantes por permanentes; a estrutura hierárquica das funções de correlação e a dependência do parâmetro de peso em relação à configuração dos pontos são características essenciais e novas da teoria.