🔢 mathematics

Coexistence of infinite clusters for percolation and Ising model on $\mathbb{Z}^d$

Este artículo establece que para dimensiones suficientemente altas ( $d \geq 9$ para la percolación y $d \geq 8$ para el modelo de Ising), el complemento del clúster infinito abierto y los espines $+$ en la fase menos, respectivamente, dominan estocásticamente una percolación de sitios supercrítica, probando así la coexistencia de clústeres infinitos y mejorando los límites dimensionales previos.

Autores originales: Jianping Jiang, Sike Lang

Publicado 2026-09-25

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Jianping Jiang, Sike Lang

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina una vasta red invisible que se extiende en todas direcciones, como una ciudad tridimensional hecha de puntos y las líneas que los conectan. En el mundo de las matemáticas y la física, esta red es un patio de recreo para estudiar cómo se propagan las cosas. Los científicos suelen hacer una pregunta sencilla: si activas aleatoriamente algunas de las conexiones entre estos puntos, ¿en qué momento se forma una cadena única e infinita que se extiende para siempre? Este es el corazón de la teoría de la percolación, un campo que nos ayuda a comprender cómo los fluidos se mueven a través de la roca, cómo las enfermedades se propagan en una población o cómo fluye la electricidad a través de un material. Durante décadas, los investigadores han sabido que, una vez que aparece esta cadena infinita, generalmente devora todo el espacio, sin dejar lugar para que nada más crezca. Pero una pregunta persistente permanecía: ¿es posible que existan dos estructuras infinitas diferentes una al lado de la otra en esta red, una creciendo a través de las conexiones abiertas y otra sobreviviendo en los huecos que estas dejan atrás?

Esta pregunta se encuentra en el centro de un nuevo estudio de Jianping Jiang y Sike Lang, quienes han explorado los límites de esta coexistencia en espacios de alta dimensión. Su trabajo se centra en dos modelos famosos utilizados para describir sistemas físicos. El primero es un modelo de conexiones aleatorias, donde los bordes entre los puntos están abiertos o cerrados. El segundo es el modelo de Ising, un marco clásico para comprender el magnetismo, donde los puntos en la red actúan como diminutos imanes que pueden apuntar hacia arriba o hacia abajo. En ambos casos, los investigadores buscaban un umbral específico: un punto justo después del momento en que aparece la primera estructura infinita, donde una segunda estructura infinita independiente aún podría lograr sobrevivir.

Los autores demostraron que en redes con nueve o más dimensiones, tal coexistencia no solo es posible, sino que está garantizada para un pequeño rango de condiciones justo por encima del punto crítico. Específicamente, demostraron que si eliminas el cúmulo gigante e infinito de conexiones abiertas de la red, los puntos restantes siguen siendo lo suficientemente ricos como para formar su propia red infinita. De hecho, esta red sobrante es tan robusta que se comporta estadísticamente como un nuevo sistema independiente donde las conexiones se forman con una alta probabilidad. Este hallazgo mejora trabajos previos que requerían dimensiones aún más altas, reduciendo el límite de la certeza hasta las nueve dimensiones para el modelo de conexiones.

Los investigadores también aplicaron esta lógica al modelo magnético de Ising. Aquí, la pregunta es si una región de espines "hacia arriba" puede formar un cúmulo infinito incluso cuando todo el sistema es forzado a un estado "hacia abajo" por sus límites. Demostraron que, para redes con ocho o más dimensiones, tal cúmulo infinito de espines hacia arriba puede, de hecho, existir dentro del mar de espines hacia abajo, justo por debajo de la temperatura crítica donde el sistema cambia de estado. Al igual que el modelo de conexiones, este resultado sugiere que la estructura sobrante es lo suficientemente fuerte como para dominar un sistema estándar e independiente.

Si bien las pruebas matemáticas se mantienen firmes para las dimensiones ocho, nueve y superiores, los autores utilizaron estimaciones computacionales para sugerir que estos fenómenos probablemente ocurren incluso en dimensiones más bajas, quizás tan bajas como cuatro para el modelo de conexiones y cinco para el modelo magnético. Sin embargo, se mantienen cautelosos respecto a las dimensiones más bajas, señalando que su método específico de prueba podría no funcionar allí, a pesar de que sospechan que la coexistencia aún ocurre. El estudio se basa en una estrategia ingeniosa de rastrear caminos a través de la red, lo que permite calcular la probabilidad de que estas estructuras infinitas se formen sin perderse en la complejidad del espacio de alta dimensión. Al establecer que estos dos mundos infinitos pueden compartir el mismo espacio, el artículo profundiza nuestra comprensión de cómo el orden y el caos pueden coexistir en sistemas complejos, revelando que el universo de las redes matemáticas es mucho más concurrido y estratificado de lo que se pensaba anteriormente.

Resumen Técnico: Coexistencia de Clústeres Infinitos para la Percolación y el Modelo de Ising en $\mathbb{Z}^d$

Planteamiento del Problema
El artículo aborda el problema de la coexistencia de clústeres infinitos en redes de alta dimensión $\mathbb{Z}^d$ . Específicamente, investiga si, en el régimen supercrítico, el complemento del clúster abierto único (para la percolación de enlaces) o el conjunto de espines "minoritarios" (para el modelo de Ising en la fase menos) contiene un componente conexo infinito.

Para la percolación de enlaces con parámetro $p > p_c^b(d)$ , sea $X_p(d)$ el subgrafo obtenido al eliminar todos los vértices pertenecientes al clúster abierto único. La cuestión central, planteada originalmente en [16], es si $X_p(d)$ contiene un componente conexo infinito. Del mismo modo, para el modelo de Ising con temperatura inversa $\beta < \beta_c(d)$ en la fase menos (con condiciones de contorno menos), el artículo investiga si los espines $+$ forman un clúster infinito.

Resultados previos establecieron la coexistencia para dimensiones muy altas ( $d \ge 19$ en [16], mejorado a $d \ge 11$ y luego a $d \ge 10$ en [4] y [9]). Para el modelo de Ising, Aizenman, Bricmont y Lebowitz [1] demostraron la coexistencia para una $d$ suficientemente grande. El objetivo de este trabajo es reducir estos umbrales dimensionales y proporcionar una forma más fuerte de coexistencia mediante la dominación estocástica.

Metodología
Los autores emplean una estrategia basada en la dominación estocástica. En lugar de simplemente demostrar la existencia de un componente infinito, pretenden demostrar que la estructura restante ( $X_p(d)$ o los espines $+$ ) domina estocásticamente un proceso de percolación de sitios supercrítico. Si un sistema domina a una percolación de sitios supercrítica, necesariamente contiene un clúster único infinito.

Marco de Dominación Estocástica:
- Percolación: Los autores utilizan un resultado reciente de Martineau, Poudevigne y Rax [29] (Teorema 3) relativo a la dominación estocástica de variables aleatorias. Construyen un mapeo desde la configuración de percolación de enlaces hacia una configuración de percolación de sitios. Un paso técnico clave involucra el Lema 1, que utiliza la extensión de Marshall Hall del teorema de matrimonio para asignar un único borde incidente abierto a cada vértice en el clúster infinito, permitiendo la definición de un mecanismo de "bloqueo".
- Modelo de Ising: Para el modelo de Ising, los autores aplican un resultado de dominación estocástica de Liggett y Steif [26] (Teorema 4). Este teorema vincula la dominación de la percolación de sitios con la tasa de decaimiento de la probabilidad de que una caja grande esté completamente llena de espines $-$. Esta tasa de decaimiento está relacionada con la energía libre $f_{\mathbb{Z}^d}(\beta)$ .
Cotas Superiores para las Probabilidades Críticas:
Para demostrar que el parámetro dominado supera el umbral crítico ( $p_c^s(d)$ ), los autores deben establecer cotas superiores rigurosas para $p_c^b(d)$ , $p_c^s(d)$ y $\beta_c(d)$ .
- Introducen un novedoso método de segundo momento que involucra "caminatas aleatorias estacionarias". A diferencia de los métodos anteriores que utilizaban puramente caminos orientados (que dejan gran parte del espacio sin detectar), su estrategia permite que el camino realice una caminata aleatoria estacionaria a lo largo de una coordenada y una caminata de orientación positiva a lo largo de las $d-1$ coordenadas restantes.
- Este enfoque reduce la probabilidad de intersección de dos caminos independientes, lo que conduce a cotas superiores más ajustadas para las probabilidades críticas en dimensiones intermedias ( $5 \le d \le 10$ ).
- Para $\beta_c(d)$ , utilizan cotas infrarrojas de Fröhlich, Simon y Spencer [11] y derivan cotas superiores explícitas utilizando propiedades de la función Bessel modificada.

Contribuciones Clave y Resultados

Teorema 1 (Percolación de Enlaces): Para cada $d \ge 9$ , existe $\epsilon_d > 0$ tal que para $p \in (p_c^b(d), p_c^b(d) + \epsilon_d)$ , el complemento del clúster abierto infinito $X_p(d)$ domina estocásticamente una percolación de sitios supercrítica en $\mathbb{Z}^d$ con parámetro $\tilde{p} > p_c^s(d)$ .
- Mejora: Esto mejora el resultado de $d \ge 10$ de Bock et al. [4] y el resultado de $d \ge 11$ de [9].
- Extensión Numérica: Los autores señalan que, utilizando estimaciones numéricas para $p_c^b(d)$ y $p_c^s(d)$ (Tabla 3), el resultado probablemente se cumple para todo $d \ge 4$ .
Teorema 2 (Modelo de Ising): Para el modelo de Ising en $\mathbb{Z}^d$ con $d \ge 8$ , existe $\epsilon_d > 0$ tal que para $\beta \in [0, \beta_c(d) + \epsilon_d)$ , los espines $+$ en la fase menos dominan estocásticamente una percolación de sitios supercrítica.
- Mejora: Esto mejora el resultado de Aizenman et al. [1], que requería una $d$ "suficientemente grande".
- Extensión Numérica: Las estimaciones numéricas sugieren que esto se cumple para todo $d \ge 5$ .
Proposición 1 y 2: Estas proposiciones proporcionan los mecanismos centrales de dominación estocástica. La Proposición 1 muestra que $V(\mathbb{Z}^d) \setminus C_\infty$ domina la percolación de sitios con parámetro $(1-p)^{2d}$ (una cota base). La Proposición 2 establece la dominación para el modelo de Ising basada en estimaciones de energía libre.
Cotas de Probabilidad Crítica: El artículo proporciona cotas superiores rigurosas para $p_c^b(d)$ y $p_c^s(d)$ para $4 \le d \le 15$ (Tabla 2) utilizando el nuevo método de segundo momento de la caminata aleatoria estacionaria. Estas cotas son más afiladas que las de la literatura existente para $5 \le d \le 10$ .

Significado y Reivindicaciones
El artículo afirma que reduce significativamente el umbral dimensional para probar la coexistencia de clústeres infinitos tanto en la percolación de enlaces como en el modelo de Ising. Al desplazar el enfoque hacia la dominación estocástica, los autores proporcionan un resultado más fuerte que las pruebas de existencia previas.

Los autores declaran explícitamente que su método depende de la capacidad de acotar eficazmente las probabilidades críticas. Reconocen que, si bien su método analítico prueba el resultado para $d \ge 9$ (percolación) y $d \ge 8$ (Ising), la evidencia numérica sugiere fuertemente que la coexistencia ocurre para todo $d \ge 4$ (percolación) y $d \ge 5$ (Ising).

Crucialmente, los autores son modestos respecto a las limitaciones de su método en dimensiones bajas. Declaran explícitamente en la Observación 3 y la Observación 4 que creen que su método de dominación estocástica falla para $d=3$ (y probablemente $d=4$ para Ising), a pesar de que esperan que el fenómeno físico de la coexistencia ocurra en esas dimensiones. Argumentan que en $d=3$ , el complemento del clúster infinito probablemente contiene un componente infinito pero no domina estocásticamente una percolación de sitios supercrítica. Por lo tanto, la contribución del artículo es el establecimiento riguroso de una forma específica y fuerte de coexistencia en dimensiones altas, más que una prueba de coexistencia en todas las dimensiones.

Más como este