Near-critical Ornstein--Zernike theory for the planar random-cluster model

Resumen Técnico: Teoría de Ornstein–Zernike en el régimen casi crítico para el modelo de cúmulos aleatorios planar

Planteamiento del problema
El artículo aborda la comprensión rigurosa de la estructura de correlación del modelo de cúmulos aleatorios bidimensional (percolación FK) con parámetro $q \in [1, 4)$ en sus regímenes subcrítico y casi crítico. Específicamente, los autores buscan derivar una fórmula asintótica para la función de dos puntos $G(x) = \phi_p[0 \leftrightarrow x]$ que sea válida uniformemente a medida que el parámetro $p$ se aproxima al valor crítico $p_c(q)$.

La teoría clásica de Ornstein–Zernike (OZ) describe el decaimiento exponencial de las correlaciones en la fase subcrítica ($p < p_c$) con un factor pre-exponencial de orden $n^{-1/2}$ (donde $n = \|x\|$). Sin embargo, las derivaciones rigurosas previas (p. ej., [CIV08]) dependían de argumentos de energía finita en escalas menores que la longitud de correlación $\xi_p$, la cual diverge cuando $p \nearrow p_c$. En consecuencia, estos resultados no eran uniformes en $p$ cerca de la criticidad. El desafío consiste en caracterizar el cruce donde la función de dos puntos transiciona de un decaimiento exponencial (subcrítico) a un decaimiento algebraico (crítico), específicamente cuando la distancia $\|x\|$ es comparable o mayor que la longitud de correlación $\xi_p$.

Metodología
Los autores desarrollan un enfoque novedoso basado en la exploración secuencial de un cúmulo de percolación en lugar de la "descomposición de diamante" o el "cálculo de esqueletos" utilizados en trabajos previos. La metodología central implica:

1. Exploración dependiente de la escala: El plano se divide mediante hiperplanos ortogonales a una dirección $\vec{w}$, espaciados en intervalos comparables a la longitud característica $L(p)$ (que es equivalente a la longitud de correlación $\xi_p$).
2. Proceso de Renovación de Markov (MRP): El cúmulo del origen se explora de izquierda a derecha. La intersección del cúmulo con cada hiperplano define un proceso $(X_t)$. Los autores demuestran que, condicionado a que el cúmulo sobreviva hasta un semiplano distante, este proceso se comporta como un Proceso de Renovación de Markov con Muerte (KMRP).
3. Conexiones en Cono y Mezcla: Un componente técnico crucial es establecer que las conexiones largas están confinadas dentro de un cono de apertura fija con alta probabilidad (Proposición 3.7). Esto se basa en estimaciones RSW (Russo-Seymour-Welsh) adaptadas al régimen casi crítico y propiedades de mezcla (Lema 3.8) que permiten que el "futuro" del cúmulo se muestree independientemente del "pasado" en tiempos de "pre-renovación" específicos.
4. Brecha de Masa (Mass-Gap) y Colas Exponenciales: Los autores demuestran que el proceso de renovación posee una "brecha de masa", lo que asegura que la probabilidad de supervivencia decae exponencialmente y que los tiempos de inter-renovación tienen colas exponenciales. Esto permite la aplicación de teoremas de límite estándar para paseos aleatorios y procesos de renovación.

Contribuciones Clave y Resultados

1. Asintótica de Ornstein–Zernike Uniforme (Teorema 1.1):
   El resultado principal es una fórmula asintótica para la función de dos puntos válida uniformemente para $p < p_c$ y $\|x\| \ge \xi_p(\vec{v})$:
   $$\phi_p[0 \leftrightarrow \lfloor n\vec{v} \rfloor] \asymp \pi_1(\xi_p(\vec{v}))^2 \sqrt{\frac{\xi_p(\vec{v})}{n}} e^{-\frac{n}{\xi_p(\vec{v})}}$$
   Aquí, $\pi_1(R)$ es la probabilidad de un solo brazo crítica. La fórmula combina dos comportamientos:

   • El término $e^{-n/\xi_p}$ y el factor pre-exponencial $n^{-1/2}$ representan el comportamiento clásico de OZ subcrítico.
   • El término $\pi_1(\xi_p)^2$ captura el realce casi crítico debido a la proximidad a $p_c$.
     Este resultado unifica la descripción del modelo a través de los regímenes subcrítico y casi crítico.

2. Convexidad Estricta de la Longitud de Correlación Inversa (Teorema 4.9):
   El análisis establece que la longitud de correlación inversa $\xi_p(\cdot)$ y su dual, la forma de Wulff, son estrictamente convexas y poseen fronteras diferenciables. Esto se deriva de la invertibilidad del mapa entre la dirección de exploración $\vec{w}$ y la dirección de deriva del cúmulo condicionado, evitando la necesidad de la teoría de perturbaciones utilizada en trabajos anteriores.

3. Principio de Invarianza (Teorema 4.10):
   El artículo demuestra que el cúmulo reescalado, condicionado a conectar con un punto distante o un semiplano, converge en ley a un movimiento Browniano (o un puente Browniano). Esto proporciona una descripción geométrica rigurosa de la forma del cúmulo a la escala de la longitud de correlación.

4. Marco de Proceso de Renovación de Markov con Muerte:
   Los autores formalizan la exploración del cúmulo como un KMRP con una brecha de masa. Este marco separa los argumentos geométricos específicos del modelo (confinamiento en conos, mezcla) del análisis probabilístico genérico de los procesos de renovación, ofreciendo un enfoque modular para problemas similares.

Significancia y Reivindicaciones
Los autores afirman que su trabajo proporciona la primera derivación rigurosa de la asintótica de Ornstein–Zernike que es uniforme en $p$ cuando $p \nearrow p_c$ para el modelo de cúmulos aleatorios planar con $q \in [1, 4)$.

• Cambio Metodológico: A diferencia de enfoques anteriores que construían cúmulos mediante descomposiciones estáticas (diamantes/esqueletos), este artículo emplea una estrategia de exploración dinámica. Esto evita las limitaciones de los argumentos de energía finita en escalas donde la longitud de correlación diverge.
• Cruce Casi Crítico: El artículo caracteriza explícitamente cómo la función de dos puntos cambia de un decaimiento exponencial a uno algebraico, identificando el término crítico $\pi_1(\xi_p)^2$ como la fuente de la desviación del comportamiento clásico de OZ.
• Generalidad: Aunque la prueba está restringida a $d=2$ debido a la dependencia de las estimaciones RSW (que no están plenamente establecidas para $q=4$ o $q>4$ de la misma manera), los autores sugieren que la estrategia podría adaptarse para un $p < p_c$ fijo en dimensiones superiores para reproducir resultados existentes.

El artículo no pretende resolver el comportamiento en $q=4$ o $q>4$, señalando que el caso $q=4$ probablemente involucra correcciones logarítmicas y que $q>4$ exhibe una transición de fase de primer orden incompatible con el comportamiento uniforme de OZ derivado. Los resultados se presentan como una extensión rigurosa de la teoría de OZ hacia el régimen casi crítico, ofreciendo una visión unificada del decaimiento de la correlación en modelos de percolación planar.