The free state for the Potts model on Cayley trees is either extremal or glassy

Resumen Técnico: El estado libre para el modelo de Potts en árboles de Cayley es o bien extremal o bien vítreo

Planteamiento del problema
El artículo investiga la estructura del estado libre (la medida de Gibbs en volumen infinito obtenida con condiciones de contorno libres) para el modelo de Potts de $q$ estados en un árbol de Cayley $T_d$ con factor de ramificación $d \ge 2$. Una cuestión central en la mecánica estadística en árboles es determinar si una medida de Gibbs dada es extremal (un estado puro que no puede descomponerse en una combinación convexa de otras medidas de Gibbs) o no extremal.

Aunque el umbral para la unicidad de la medida de Gibbs (y, por tanto, la extremalidad del estado libre) está bien establecido para el modelo de Ising ($q=2$) como $\beta \le \text{arctanh}(1/d)$, la estructura del estado libre en el régimen de no unicidad ($\beta > \text{arctanh}(1/d)$) es más compleja. Un trabajo previo de Gandolfo, Maes, Ruiz y Shlosman (2020) demostró que, para temperaturas suficientemente bajas (grandes $\beta$), el estado libre se descompone en un continuo de estados extremales. Sin embargo, este resultado dependía de argumentos de contornos de Peierls, que solo son válidos en el régimen de baja temperatura. El problema abierto abordado aquí es si este comportamiento "vítreo" (descomposición en un número incontable de componentes extremales) persiste en todo el régimen de no extremalidad, específicamente para $\beta > \text{arctanh}(1/\sqrt{d})$, y si una dicotomía similar se mantiene para modelos de $q$ general y modelos con campos externos.

Metodología
Los autores desarrollan una estrategia de prueba centrada en una ley de cero-uno para un parámetro de orden de solapamiento (overlap), evitando las restricciones de baja temperatura de los argumentos de Peierls.

1. Parámetro de orden de solapamiento ($Q$): Motivado por el parámetro de orden de Edwards-Anderson, los autores definen un solapamiento $Q$ que mide la probabilidad de que dos muestras independientes del estado libre, condicionadas a sus configuraciones de contorno, produzcan la misma medida de Gibbs extremal. Específicamente, $Q = \mu^\emptyset_\beta \otimes \mu^\emptyset_\beta (\{(\eta^{(1)}, \eta^{(2)}) : \mu^{\eta^{(1)}} = \mu^{\eta^{(2)}}\})$, donde $\mu^\eta$ representa la medida extremal obtenida como el límite de las medidas condicionales dadas la frontera $\eta$.
2. Caracterización de las medidas extremales: Utilizando la Proposición 2, los autores establecen una condición necesaria y suficiente para que dos medidas de Gibbs extremales sean iguales: deben tener razones de verosimilitud (o "campos") idénticas en las raíces de los subárboles profundos dentro del árbol. Esto reduce el problema de la igualdad de medidas a la convergencia de secuencias recursivas específicas.
3. Ecuaciones recursivas en el árbol: Aprovechando la estructura autosimilar del árbol de Cayley y el acoplamiento de Edwards-Sokal (que relaciona el modelo de Potts con un modelo de clústeres aleatorios), los autores derivan un sistema de ecuaciones no lineales para las probabilidades de solapamiento condicionales $c_{ij}$. Estas ecuaciones relacionan el solapamiento en la raíz con los solapamientos en los hijos de la raíz, elevados a la potencia del factor de ramificación $d$.
4. Ley de cero-uno: El núcleo de la prueba consiste en analizar los puntos fijos de estas ecuaciones recursivas. Al definir $M$ como el valor máximo de las probabilidades de solapamiento $c_{ij}$, los autores muestran que $M$ debe satisfacer $M = M^d$. Dado que $d \ge 2$, las únicas soluciones son $M=0$ o $M=1$. Esto implica que el solapamiento $Q$ es 0 o 1 casi seguramente.

Contribuciones clave y resultados

• Teorema 1 (Dicotomía principal): El artículo demuestra que para el modelo de Potts en $T_d$ ($d \ge 2$) en cualquier temperatura inversa $\beta \ge 0$, el estado libre $\mu^\emptyset_\beta$ satisface una dicotomía estricta:

  1. Es extremal (es decir, $\mu^\emptyset_\beta \in \text{ex}\mathcal{G}_\beta$).
  2. Es vítreo, lo que significa que su medida de descomposición extremal $\lambda_{\mu^\emptyset_\beta}$ no tiene átomos. En consecuencia, el soporte de esta descomposición contiene un número incontable de medidas de Gibbs extremales.
     No existe un caso intermedio donde la descomposición contenga un número countable de átomos.

• Corolario 1 (Umbral del modelo de Ising): Aplicando el Teorema 1 al modelo de Ising ($q=2$), los autores combinan su resultado con los umbrales de extremalidad conocidos (Bleher, Ruiz, Zagrebnov) para establecer que el estado libre es vítreo si y solo si $\beta > \text{arctanh}(1/\sqrt{d})$. Esto extiende el resultado previo de "descomposición continua" desde un régimen de muy baja temperatura a todo el régimen de espín-vidrio.

• Generalización a campos externos (Teorema 2): La metodología se extiende al modelo de Potts con un campo externo uniforme. El artículo demuestra que cualquier medida de Gibbs de división completamente homogénea (CHSGM) también satisface la misma dicotomía extremal/vítrea.

• Conexión con el espín-vidrio: Los autores señalan que la existencia de un número incontable de estados extremales es una característica distintiva de la fase de espín-vidrio. Sugieren que el estado libre del modelo de Ising ferromagnético en $T_d$ exhibe una transición de fase en $\beta = \text{arctanh}(1/\sqrt{d})$ que refleja la transición de espín-vidrio encontrada en modelos con acoplamientos aleatorios, un fenómeno que no se observa en el estado libre del modelo de Ising en $\mathbb{Z}^d$ (donde el estado libre es típicamente un promedio simple de estados más y menos).

Significancia
El artículo afirma haber superado la barrera de los argumentos de contornos de Peierls, que previamente limitaban la prueba de la descomposición continua únicamente a bajas temperaturas. Mediante la introducción de una ley de cero-uno para el parámetro de orden de solapamiento basada en la estructura del árbol y el acoplamiento de Edwards-Sokal, los autores proporcionan una caracterización rigurosa del estado libre en todo el espacio de parámetros.

La significancia radica en:

1. Completar el diagrama de fases: Proporcionar el umbral exacto ($\beta > \text{arctanh}(1/\sqrt{d})$) para el comportamiento vítreo del estado libre en el modelo de Ising en árboles de Cayley.
2. Perspectiva estructural: Establecer que el estado libre no puede ser una mezcla de un número finito o contable de estados puros; debe ser una mezcla de un continuo incontable.
3. Amplia aplicabilidad: Demostrar que esta dicotomía se mantiene para modelos de Potts de $q$ estados en general y modelos con campos externos uniformes, sugiriendo una propiedad estructural universal de las medidas de Gibbs de división en árboles.

Los autores mantienen la modestia respecto al modelo de Ising con un campo externo ($q=2, H \neq 0$), señalando que, aunque la dicotomía se mantiene, determinar la región exacta donde el estado "medio" (entre tres posibles CHSGMs) es no extremal sigue siendo una cuestión abierta.