Resumen Técnico: Una transición de fase para el modelo de esferas duras en el plano hiperbólico

1. Planteamiento del problema y motivación

El modelo de esferas duras es un sistema fundamental en la física estadística donde las partículas se representan como esferas de igual tamaño con una interacción de núcleo duro (no se permite el solapamiento). En espacios euclidianos ($\mathbb{R}^d$), es una predicción de larga data que el sistema experimenta una transición de fase a medida que la actividad (fugacidad) $\lambda$ aumenta, lo que conduce a fenómenos como la cristalización en $\mathbb{R}^3$ o la ruptura de la simetría rotacional en $\mathbb{R}^2$. Sin embargo, a pesar de más de un siglo de estudio, la existencia de tal transición de fase en $\mathbb{R}^d$ para cualquier dimensión $d$ sigue siendo un problema abierto de gran importancia.

Este artículo aborda la existencia de una transición de fase en el plano hiperbólico ($\mathbb{H}^2$). Una transición de fase se define aquí como la no unicidad de las medidas de Gibbs para un radio $r$ y una actividad $\lambda$ suficientemente grande. Específicamente, los autores pretenden demostrar que existe un umbral $\lambda_u(\mathbb{H}^2, r) < \infty$ tal que para $\lambda > \lambda_u$, existen al menos dos medidas de Gibbs distintas.

2. Metodología y marco de trabajo

2.1. Definiciones y configuración

Los autores definen el modelo de esferas duras en un espacio de medida métrica $X$ (específicamente $\mathbb{H}^2$) a través de las ecuaciones de Dobrushin-Lanford-Ruelle (DLR). Una transición de fase ocurre si el conjunto de medidas de Gibbs, $\text{Gibbs}(X; r, \lambda)$, contiene más de un elemento.

Para distinguir entre potenciales medidas de Gibbs, los autores utilizan el concepto de densidad. Para una medida de probabilidad invariante por isometrías $\mu$ sobre el espacio de empaquetamientos de esferas, la densidad es la probabilidad de que un origen fijo sea cubierto por una esfera en una muestra aleatoria de $\mu$.

2.2. Estrategia: Construcción de dos medidas distintas

La estrategia central consiste en construir dos medidas de Gibbs $(r, \lambda)$ distintas para valores grandes de $\lambda$ que tengan densidades diferentes:

1. Una medida "estructurada": Derivada de empaquetamientos de red óptimos.
2. Una medida "tipo aleatoria": Derivada de la dinámica de Glauber de nacimiento-muerte espacial, demostrada como un factor de Poisson débil.

La prueba depende de demostrar que, para ciertos radios, la densidad alcanzable por los factores de Poisson débiles es estrictamente menor que la densidad de empaquetamiento óptima.

2.3. Herramientas matemáticas clave

• Convergencia de Benjamini-Schramm: Utilizada para elevar las medidas de Gibbs de volumen finito en superficies hiperbólicas (cocientes de $\mathbb{H}^2$) a medidas de Gibbs de volumen infinito en $\mathbb{H}^2$.
• Dinámica de Glauber: Un proceso de Markov en tiempo continuo (proceso de nacimiento-muerte espacial) que parte de la configuración vacía. Los autores muestran que los límites de subsecuencia de este proceso producen medidas de Gibbs que son factores de Poisson débiles.
• Entropía recocida (sofic): Una noción de entropía para acciones de grupos no amenables (específicamente grupos libres). Esta es la herramienta principal utilizada para distinguir las medidas de red estructuradas de los factores de tipo Poisson aleatorios.
  • Los autores demuestran que las medidas periódicas (soportadas en empaquetamientos de red) tienen una entropía recocida negativa (específicamente $-\infty$).
  • Por el contrario, los factores de Poisson débiles (y los factores de Bernoulli débiles) tienen una entropía recocida no negativa.
  • Este desfase de entropía demuestra que la medida de red óptima no puede ser un factor de Poisson débil.

3. Contribuciones y resultados clave

3.1. Existencia de la transición de fase en $\mathbb{H}^2$

Teorema 2: Existe un conjunto abierto no acotado de radios $R_2 \subset (0, \infty)$ tal que para cada $r \in R_2$, el modelo de esferas duras en $\mathbb{H}^2$ experimenta una transición de fase ($\lambda_u(\mathbb{H}^2, r) < \infty$).

• El conjunto $R_2$ contiene un intervalo $(\rho, \infty)$ para algún $\rho$ finito.
• Este resultado se basa en la existencia de "radios ajustados" $r_n$ (para $n \ge 7$) donde el empaquetamiento óptimo es un empaquetamiento de red único.

3.2. Separación de densidades

Teorema 6: Para los radios en el conjunto $R_2$, la densidad óptima alcanzable por los factores de Poisson débiles, $D_{\text{Pois}}(\mathbb{H}^2, r)$, es estrictamente menor que la densidad de empaquetamiento óptima, $D_{\text{opt}}(\mathbb{H}^2, r)$.

• Este desfase se establece demostrando que la medida de red única en los radios ajustados es periódica y, por lo tanto, no es un factor de Poisson débil (mediante el argumento de la entropía).
• Por la continuidad de la función de densidad óptima (Teorema 24), este desfase se extiende a un entorno abierto de los radios ajustados.

3.3. Construcción de medidas de Gibbs

• Densidad cercana a la óptima: Utilizando aproximaciones de volumen finito en superficies hiperbólicas con empaquetamientos de red óptimos, los autores construyen medidas de Gibbs con una densidad arbitrariamente cercana a $D_{\text{opt}}$ para $\lambda$ grande (Sección 4).
• Medida de baja densidad (Poisson): Utilizando la dinámica de Glauber, los autores construyen una medida de Gibbs que es un factor de Poisson débil. Su densidad está acotada superiormente por $D_{\text{Pois}}$ (Sección 5).
• Dado que $D_{\text{Pois}} < D_{\text{opt}}$ para los radios relevantes, estas dos medidas son distintas, lo que demuestra la no unicidad.

3.4. Empaquetamientos completamente saturados

Teorema 8: El artículo demuestra la existencia de empaquetamientos de esferas completamente saturados en $\mathbb{H}^2$ con densidad subóptima.

• Un empaquetamiento es completamente saturado si no se puede eliminar un número finito de esferas y reemplazarlas por un número mayor de esferas manteniendo la propiedad de empaquetamiento.
• Los autores muestran que cualquier factor de Poisson débil que alcance la densidad $D_{\text{Pois}}$ está soportado en empaquetamientos completamente saturados.
• Esto contrasta con el espacio euclidiano, donde los empaquetamientos completamente saturados son necesariamente óptimos.

4. Significado y afirmaciones

El artículo afirma resolver la existencia de una transición de fase para el modelo de esferas duras en un entorno no euclidiano específico ($\mathbb{H}^2$), un problema que sigue abierto en el espacio euclidiano.

• Papel de la no amenabilidad: Los autores enfatizan que su estrategia de prueba depende esencialmente de la no amenabilidad del plano hiperbólico. En espacios amenables como $\mathbb{R}^d$, la densidad óptima de los factores de Poisson es igual a la densidad de empaquetamiento óptima ($D_{\text{Pois}} = D_{\text{opt}}$), lo que impide este argumento de separación específico.
• La entropía como diferenciador: El trabajo introduce la entropía recocida como una herramienta rigurosa para distinguir entre medidas de Gibbs "tipo Poisson" (Bernoulli) y "estructuradas" (periódicas/de red) en el contexto de grupos no amenables.
• Limitaciones: Los autores son modestos respecto al alcance. No pretenden demostrar la existencia de transiciones de fase para todos los radios en $\mathbb{H}^2$, ni extienden el resultado a $\mathbb{H}^d$ para $d > 2$ o a $\mathbb{R}^d$. Indican explícitamente que la extensión a dimensiones superiores o al espacio euclidiano es una cuestión abierta, señalando que la continuidad de las densidades óptimas y la existencia de optimizadores periódicos únicos no se conocen en esos entornos.

5. Conclusión

El artículo establece que el modelo de esferas duras en el plano hiperbólico exhibe una transición de fase para un conjunto específico y no acotado de radios. Esto se logra mediante la construcción de dos medidas de Gibbs distintas: una con densidad cercana a la óptima derivada de empaquetamientos de red, y otra con menor densidad derivada de la dinámica de Glauber. La distinción se prueba mediante un desfase en las densidades alcanzables, el cual se establece mediante la teoría de la entropía recocida para demostrar que las medidas de red óptimas no pueden ser aproximadas por factores de Poisson. Este resultado destaca el papel único de la no amenabilidad en las transiciones de fase de la mecánica estadística.