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

Resumen Técnico: Ceros de la serie de Laurent gaussiana i.i.d. en un anillo: núcleos de Szegő ponderados y procesos de puntos permanental-determinantales

Planteamiento del Problema
El artículo investiga las propiedades estadísticas de los conjuntos de ceros de las Funciones Analíticas Gaussianas (GAF, por sus siglas en inglés) definidas en un anillo $A_q := \{z \in \mathbb{C} : q < |z| < 1\}$ con un $q \in (0, 1)$ fijo. Mientras que los conjuntos de ceros de las GAF en el disco unidad $\mathbb{D}$ (específicamente las series de potencias gaussianas i.i.d.) están bien comprendidos como Procesos de Puntos Determinantales (DPP) con núcleos de correlación dados por el núcleo de Bergman, el comportamiento de las GAF en dominios multiconexos como un anillo está menos explorado. Los autores pretenden construir una GAF en $A_q$ utilizando una serie de Laurent gaussiana i.i.d., caracterizar su proceso de puntos cero y determinar cómo la introducción de un parámetro de peso $r > 0$ afecta las simetrías y la estructura de correlación del proceso.

Metodología
Los autores emplean una combinación de análisis complejo, teoría de la probabilidad y la teoría de las funciones especiales (específicamente funciones theta y funciones elípticas).

1. Construcción de la GAF: La GAF $X^r_{A_q}$ se define mediante la serie de Laurent aleatoria $\sum_{n \in \mathbb{Z}} \zeta_n e^{(q,r)}_n(z)$, donde $\zeta_n$ son variables gaussianas complejas estándar i.i.d. Las funciones base $e^{(q,r)}_n(z)$ se eligen de tal manera que el núcleo de covarianza de la GAF se identifica con el núcleo de Szegő ponderado $S_{A_q}(z, w; r)$ del anillo, un núcleo previamente estudiado por Mccullough y Shen.
2. Procesos Condicionales: Los autores utilizan la fórmula de Mccullough-Shen para los núcleos de Szegő condicionales. Al condicionar la GAF para que tenga ceros en puntos específicos $\alpha_1, \dots, \alpha_n$, derivan que el proceso resultante es equivalente en ley a una nueva GAF con un parámetro de peso modificado $r' = r \prod |\alpha_\ell|^2$. Esto establece una estructura inductiva donde el condicionamiento sobre los ceros altera el núcleo de covarianza subyacente.
3. Funciones de Correlación: Utilizando la fórmula general para los procesos de puntos cero de las GAF (relacionando las funciones de correlación con el permanente de las derivadas de los núcleos condicionales), los autores derivan expresiones explícitas para las funciones de correlación de $n$ puntos. Utilizan la fórmula del determinante de Frobenius y las propiedades de las funciones theta para simplificar estas expresiones.
4. Análisis de Simetría: El artículo analiza la invarianza del proceso bajo rotaciones y la transformación de inversión-$q$ $T_q(z) = q/z$. Esto implica estudiar las propiedades de transformación del núcleo de Szegő ponderado bajo el mapa $z \mapsto q/z$ y el correspondiente cambio de parámetro $r \mapsto q^2/r$.
5. Casos Límite: Los autores examinan los límites $q \to 0$ (recuperando el caso del disco unidad) y $r \to 0$ o $r \to \infty$ para comprender las transiciones de fase del proceso.

Contribuciones Clave y Resultados

• Procesos de Puntos Permanental-Determinantales (PDPPs): El resultado principal es la demostración de que el proceso de puntos cero de la GAF en el anillo es un Proceso de Puntos Permanental-Determinantal (PDPP). A diferencia de los DPP estándar en el disco donde las correlaciones vienen dadas únicamente por un determinante, las funciones de correlación de $n$ puntos aquí están dadas por el producto de un permanente y un determinante (denotado como $\text{perdet}$). Específicamente:
  $$\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]$$
  Esta estructura surge porque la identidad de Borchardt (que iguala el permanente de una matriz al determinante de su cuadrado) no se cumple para el núcleo de Szegő ponderado en el anillo.

• Simetría e Invariancia Conforme: El proceso exhibe una simetría de inversión $(q, r)$: la distribución de los ceros es invariante bajo la transformación simultánea $z \mapsto q/z$ y $r \mapsto q^2/r$. Cuando el parámetro de peso se establece como $r=q$, la GAF y su proceso de ceros se vuelven invariantes bajo todas las transformaciones conformes que preservan el anillo $A_q$.

• Estructura Condicional: El artículo demuestra que condicionar una GAF en el anillo para que tenga ceros en $\alpha_1, \dots, \alpha_n$ induce una nueva GAF con un parámetro de peso diferente $r \prod |\alpha_\ell|^2$. Esto contrasta con la GAF en el disco unidad, donde el condicionamiento sobre un cero no cambia la forma funcional del núcleo de covarianza (solo el dominio se reduce efectivamente).

• Propiedades de Interacción (Repulsión y Atracción): Los autores analizan la función de correlación de 2 puntos desplegada $g(z, w; r)$ para estudiar las interacciones entre los ceros.

  • Corto alcance: El proceso exhibe repulsión (correlación negativa) a distancias cortas, similar a los DPP estándar, con un índice de decaimiento de ley de potencia $\beta = 2$.
  • Largo alcance: A diferencia de los DPP estándar, el proceso puede exhibir correlaciones atractivas (positivas) a distancias largas dependiendo de los parámetros.
  • Transición de Fase: Se identifica un valor crítico $r_0(q)$. Para $r \in (q, r_0(q))$, la correlación de largo alcance es repulsiva. Para $r \in (r_0(q), 1)$, emergen correlaciones positivas. En el límite $q \to 0$, este valor crítico converge a $r_c \approx 0.2846$. El proceso límite en el disco $ZX^r_{\mathbb{D}}$ interpola entre el estándar DPP de Peres-Virág ($r \to 0$) y un DPP con un cero determinista añadido en el origen ($r \to \infty$).

• Interpretación Geométrica: La densidad de los ceros diverge en los bordes del anillo, comportándose como la métrica del plano hiperbólico cerca de la frontera exterior. El artículo señala que mientras el proceso de ceros en el disco es uniforme en el modelo del disco de Poincaré, el espacio geométrico sobre el cual el proceso del anillo es "uniforme" sigue siendo una cuestión abierta.

Significación
El artículo afirma proporcionar un punto de partida sólido para la teoría general de las GAF en dominios multiconexos. Su significación radica en:

1. Generalización: Extender los resultados de Peres-Virág desde el disco unidad al anillo, introduciendo el concepto de núcleos de Szegő ponderados como la estructura de covarianza.
2. Nueva Clase de Procesos: Identificar y caracterizar una nueva clase de procesos de puntos (PDPPs) que exhiben comportos tanto repulsivos como atractivos, tendiendo un puente entre los procesos puramente repulsivos (DPP) y los procesos puramente atractivos (PPP).
3. Estructura Inductiva: Resaltar que el condicionamiento sobre los ceros en dominios multiconexos altera fundamentalmente el núcleo de covarianza (cambiando el parámetro de peso), un fenómeno ausente en el caso del disco simplemente conexo.
4. Simetría: Establecer un rico grupo de simetría que involucra la inversión-$q$ y la dualidad de parámetros, lo cual es crucial para entender el comportamiento del proceso bajo mapas conformes.

Los autores enfatizan que esto no es meramente un reemplazo de determinantes por permanentes; la estructura jerárquica de las funciones de correlación y la dependencia del parámetro de peso de la configuración de los puntos son características esenciales y novedosas de la teoría.