The BEG model at the FAD triple point on the square lattice

Resumen Técnico: Unicidad de la Medida de Gibbs para el Modelo BEG en el Punto Triple FAD

Planteamiento del Problema
El modelo Blume-Emery-Griffiths (BEG) es un sistema de espines en una red de dimensión $d$ con espines $\sigma_x \in \{-1, 0, +1\}$, regido por un Hamiltoniano que involucra interacciones de vecinos más cercanos y términos cuadráticos. El diagrama de fases está dividido en tres regiones basadas en los estados fundamentales: Desordenado (D), Ferromagnético (F) y Antiquadrupolar (A). Estas regiones convergen en el punto triple Ferromagnético-Antiquadrupolar-Desordenado (FAD), ubicado en los parámetros $(X, Y) = (0, -1)$.

En el punto FAD, el modelo exhibe un número infinito de estados fundamentales que no pueden organizarse en un número finito de clases de equivalencia, lo que resulta en una alta entropía residual. Si bien existen resultados rigurosos para el modelo en las regiones del volumen (usando la teoría de Pirogov-Sinai) y a altas temperaturas, el comportamiento a lo largo de las fronteras de fase y, específicamente, en el punto FAD, ha permanecido esquivo. Los resultados rigurosos previos para las transiciones de fase a lo largo de la línea AD o en el punto FAD se limitaron a dimensiones ($d$) suficientemente altas. Para la red cuadrada de dimensión $d=2$, no existía un análisis riguroso para temperaturas no nulas, dejando abierta la posibilidad de una transición de fase a temperatura positiva $\beta$.

Metodología
Los autores establecen la ausencia de transiciones de fase probando la unicidad de la medida de Gibbs para el modelo BEG en la red cuadrada 2D en el punto FAD para todas las temperaturas. La prueba se basa en una representación gráfica específica y una técnica de acoplamiento:

1. Representación de Clústeres Aleatorios: Los autores construyen una representación de tipo clúster aleatorio para el modelo BEG en el punto FAD. Esto generaliza la representación de Fortuin-Kasteleyn (FK) utilizada para el modelo de Potts. La función de partición se reescribe utilizando configuraciones de enlaces $\omega \in \{0,1\}^E$ donde un enlace está "abierto" ($\omega_e=1$) si el producto de espines asociado $\sigma_e \neq -1$.
2. Acoplamiento con el Modelo de Temperatura Cero: Se define una medida de probabilidad conjunta sobre el espacio producto de las configuraciones de espines y las configuraciones de enlaces. Esto permite que la esperanza finita de cualquier observable se exprese como una esperanza sobre las configuraciones de enlaces del modelo BEG de temperatura cero en el subgrafo inducido por los enlaces abiertos. Específicamente, la magnetización está relacionada con un evento de conectividad en el sistema de temperatura cero.
3. Identidad de Magnetización-Conectividad: Los autores derivan una identidad que muestra que la magnetización en un sitio $x$ bajo condiciones de contorno positivas está acotada por la probabilidad de que $x$ esté conectado a la frontera mediante un camino de espines no nulos en el modelo de temperatura cero.
4. Dominación Estocástica por Percolación: Aprovechando resultados previos (específicamente de [12]), los autores muestran que el modelo BEG de temperatura cero en el punto FAD puede acoplarse con la percolación de sitios de Bernoulli con parámetro $p=1/2$. Esto establece que la probabilidad de que un espín se conecte a la frontera en el modelo de temperatura cero está estocásticamente dominada por la probabilidad de conectividad en la percolación de sitios de Bernoulli con parámetro $1/2$.

Resultos Clave
El teorema principal establece que para el modelo BEG en $\mathbb{Z}^2$ en el punto FAD y para cualquier temperatura inversa $\beta \in [0, +\infty]$, la media del espín en el origen se anula bajo condiciones de contorno $+$ y $-$:
$$\langle \sigma_x \rangle^+_\beta = \langle \sigma_x \rangle^-_\beta = 0$$
La prueba procede mostrando que la magnetización está acotada superiormente por la probabilidad de que un sitio esté conectado a la frontera en la percolación de sitios de Bernoulli con parámetro $1/2$. Dado que el parámetro crítico para la percolación de sitios en la red cuadrada es $p_c = 1/2$, el sistema se encuentra en el punto crítico (o es subcrítico en el sentido de que no se forman clústeres infinitos casi seguramente en el límite termodinámico para $p \leq 1/2$ en este contexto), lo que causa que la probabilidad de conexión tienda a cero cuando el volumen tiende al infinito.

Combinado con la validez de las desigualdades FKG para este modelo (como fue establecido por Lebowitz y Monroe), la igualdad de las magnetizaciones locales bajo diferentes condiciones de contorno implica la independencia de todas las funciones de correlación respecto a las condiciones de contorno. Consecuentemente, la medida de Gibbs es única para todas las temperaturas.

Significado y Alcance
El artículo establece la ausencia de transiciones de fase para el modelo BEG en el punto triple FAD en la red cuadrada 2D para cualquier temperatura. Esto resuelve la cuestión de si podría existir una transición de fase a un $\beta$ positivo en este régimen específico.

Los autores señalan que su argumento depende del hecho de que el parámetro crítico para la percolación de sitios de Bernoulli en la red es mayor o igual a $1/2$. Este resultado se extiende a cualquier grafo infinito $G$ donde $p_c(\text{sitios}, G) \geq 1/2$. Sin embargo, los autores declaran explícicamente que para dimensiones $d \geq 3$, donde $p_c(\text{sitios}, \mathbb{Z}^d) < 1/2$, la cota superior proporcionada por la percolación de $p=1/2$ se vuelve supercrítica. En estas dimensiones superiores, la magnetización no necesariamente se anula, y las simulaciones de Monte Carlo sugieren que puede existir una transición de fase no trivial. El artículo concluye que probar la unicidad o no unicidad en dimensiones intermedias sigue siendo un problema abierto que requiere nuevas ideas más allá del actual enfoque de dominación estocástica.