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

Résumé Technique : Unicité de la mesure de Gibbs pour le modèle BEG au point triple FAD

Énoncé du Problème
Le modèle Blume-Emery-Griffiths (BEG) est un système de spins sur un réseau de dimension $d$ avec des spins $\sigma_x \in \{-1, 0, +1\}$, régi par un hamiltonien impliquant des interactions de type plus proche voisin et des termes quadratiques. Le diagramme de phase est divisé en trois régions basées sur les états fondamentaux : Désordonnée (D), Ferromagnétique (F) et Antiquadripolaire (A). Ces régions se rejoignent au point triple Ferromagnétique-Antiquadripolaire-Désordonné (FAD), situé aux paramètres $(X, Y) = (0, -1)$.

Au point FAD, le modèle présente un nombre infini d'états fondamentaux qui ne peuvent pas être organisés en un nombre fini de classes d'équivalence, ce qui entraîne une entropie résiduelle élevée. Bien que des résultats rigoureux existent pour le modèle dans les régions de volume (en utilisant la théorie de Pirogov-Sinai) et à haute température, le comportement le long des frontières de phase et spécifiquement au point triple FAD est resté élusive. Des résultats rigoureux antérieurs pour les transitions de phase le long de la ligne AD ou au point FAD étaient limités à des dimensions ($d$) suffisamment élevées. Pour le réseau carré en deux dimensions ($d=2$), aucune analyse rigoureuse n'existait pour des températures non nulles, laissant ouverte la possibilité d'une transition de phase à une température inverse $\beta$ positive.

Méthodologie
Les auteurs établissent l'absence de transitions de phase en prouvant l'unicité de la mesure de Gibbs pour le modèle BEG sur le réseau carré 2D à tout point FAD pour toutes les températures. La preuve repose sur une représentation graphique spécifique et une technique de couplage :

1. Représentation de type Cluster Aléatoire : Les auteurs construisent une représentation de type cluster aléatoire pour le modèle BEG au point FAD. Cela généralise la représentation de Fortuin-Kasteleyn (FK) utilisée pour le modèle de Potts. La fonction de partition est réécrite en utilisant des configurations de liaisons $\omega \in \{0,1\}^E$ où une arête est « ouverte » ($\omega_e=1$) si le produit de spins associé $\sigma_e \neq -1$.
2. Couplage avec le Modèle à Température Nulle : Une mesure de probabilité jointe est définie sur l'espace produit des configurations de spins et des configurations de liaisons. Cela permet d'exprimer l'espérance à température finie de toute observable comme une espérance sur les configurations de liaisons du modèle BEG à température nulle sur le sous-graphe induit par les liaisons ouvertes. Spécifiquement, l'aimantation est liée à un événement de connectivité dans le système à température nulle.
3. Identité Aimantation-Connectivité : Les auteurs dérivent une identité montrant que l'aimantation en un site $x$ sous des conditions aux limites positives est bornée par la probabilité que $x$ soit connecté à la frontière via un chemin de spins non nuls dans le modèle à température nulle.
4. Domination Stochastique par la Percolation : En s'appuyant sur des résultats antérieurs (spécifiquement de [12]), les auteurs montrent que le modèle BEG à température nulle au point FAD peut être couplé avec une percolation de sites de Bernoulli avec un paramètre $p=1/2$. Cela établit que la probabilité qu'un spin soit connecté à la frontière dans le modèle à température nulle est stochastiquement dominée par la probabilité de connectivité dans la percolation de sites de Bernoulli avec le paramètre $1/2$.

Résultats Clés
Le théorème principal stipule que pour le modèle BEG sur $\mathbb{Z}^2$ au point FAD et pour toute température inverse $\beta \in [0, +\infty]$, l'aimantation moyenne à l'origine s'annule sous les conditions aux limites $+$ et $-$ :
$$\langle \sigma_x \rangle^+_\beta = \langle \sigma_x \rangle^-_\beta = 0$$
La preuve consiste à montrer que l'aimantation est bornée par la probabilité qu'un site soit connecté à la frontière dans la percolation de sites de Bernoulli avec le paramètre $1/2$. Puisque le paramètre critique pour la percolation de sites sur le réseau carré est $p_c = 1/2$, le système est au point critique (ou sous-critique dans le sens où les clusters infinis ne se forment pas presque sûrement dans la limite thermodynamique pour $p \leq 1/2$ dans ce contexte), ce qui fait que la probabilité de connexion tend vers zéro lorsque le volume tend vers l'infini.

Combiné avec la validité des inégalités FKG pour ce modèle (telle qu'établie par Lebowitz et Monroe), l'égalité des aimantations locales sous différentes conditions aux limites implique l'indépendance de toutes les fonctions de corrélation vis-à-vis des conditions aux limites. Par conséquent, la mesure de Gibbs est unique pour toutes les températures.

Signification et Portée
L'article établit l'absence de transitions de phase pour le modèle BEG au point triple FAD sur le réseau carré 2D à n'importe quelle température. Cela résout la question de savoir si une transition de phase pourrait exister à un $\beta$ positif dans ce régime spécifique.

Les auteurs notent que leur argument repose sur le fait que le paramètre critique pour la percolation de sites de Bernoulli sur le graphe est supérieur ou égal à $1/2$. Ce résultat s'étend à tout graphe infini $G$ où $p_c(\text{site}, G) \geq 1/2$. Cependant, les auteurs déclarent explicitement que pour les dimensions $d \geq 3$, où $p_c(\text{site}, \mathbb{Z}^d) < 1/2$, la borne supérieure fournie par la percolation $p=1/2$ devient supercritique. Dans ces dimensions plus élevées, l'aimantation ne s'annule pas nécessairement, et les simulations de Monte Carlo suggèrent qu'une transition de phase non triviale pourrait exister. L'article conclut que prouver l'unicité ou la non-unicité dans les dimensions intermédiaires reste un problème ouvert nécessitant de nouvelles idées au-delà de l'approche actuelle de domination stochastique.