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

Technische Samenvatting: Uniciteit van de Gibbs-maat voor het BEG-model op het FAD-tripunt

Probleemstelling
Het Blume-Emery-Griffiths (BEG) model is een spinsysteem op een $d$-dimensionaal rooster met spins $\sigma_x \in \{-1, 0, +1\}$, die wordt beheerst door een Hamiltoniaan met naburige interacties en kwadratische termen. De fasegrafiek is verdeeld in drie regio's gebaseerd op grondtoestanden: Gedisordeerd (D), Ferromagnetisch (F) en Antiquadrupolair (A). Deze regio's komen samen bij het Ferromagnetisch-Antiquadrupolaire-Gedisordeerde (FAD) tripunt, gelegen bij parameters $(X, Y) = (0, -1)$.

Op het FAD-punt vertoont het model een oneindig aantal grondtoestanden die niet georganiseerd kunnen worden in een eindig aantal equivalentieklassen, wat resulteert in een hoge residuele entropie. Terwijl er rigoureuze resultaten bestaan voor het model in de bulkregio's (met behulp van Pirogov-Sinai-theorie) en bij hoge temperaturen, is het gedrag langs de fasegrenzen en specifiek bij het FAD-punt ongrijpbaar gebleven. Eerdere rigoureuze resultaten voor faseovergangen langs de AD-lijn of bij het FAD-punt waren beperkt tot voldoende hoge dimensies ($d$). Voor het twee-dimensionale vierkante rooster ($d=2$) bestond er geen rigoureuze analyse voor niet-nul temperaturen, wat de mogelijkheid openliet van een faseovergang bij een positieve inverse temperatuur $\beta$.

Methodologie
De auteurs vestigen de afwezigheid van faseovergangen door de uniciteit van de Gibbs-maat voor het BEG-model op het 2D vierkante rooster te bewijzen voor alle temperaturen op het FAD-punt. Het bewijs steunt op een specifieke grafische representatie en koppelingstechniek:

1. Random-Cluster Representatie: De auteurs construeren een random-cluster-type representatie voor het BEG-model op het FAD-punt. Dit generaliseert de Fortuin-Kasteleyn (FK) representatie die wordt gebruikt voor het Potts-model. De partitiefunctie wordt herschreven met behulp van bond-configuraties $\omega \in \{0,1\}^E$ waarbij een rand "open" is ($\omega_e=1$) als de bijbehorende spinproduct $\sigma_e \neq -1$.
2. Koppeling met het Nul-Temperatuur Model: Er wordt een gezamenlijke waarschijnlijkheidsmaat gedefinieerd op de productruimte van spin-configuraties en bond-configuraties. Dit maakt het mogelijk om de eind-temperatuur verwachtingswaarde van elke observeerbare uit te drukken als een verwachtingswaarde over de bond-configuraties van het nul-temperatuur BEG-model op de subgraaf geïnduceerd door de open bonds. Specifiek is de magnetisatie gerelateerd aan een connectiviteitsgebeurtenis in het nul-temperatuur systeem.
3. Magnetisatie-Connectiviteit Identiteit: De auteurs leiden een identiteit af die laat zien dat de magnetisatie op een locatie $x$ onder positieve randvoorwaarden begrensd wordt door de waarschijnlijkheid dat $x$ verbonden is met de rand via een pad van niet-nul spins in het nul-temperatuur model.
4. Stochastische Dominantie door Percolatie: Door gebruik te maken van eerdere resultaten (specifiek uit [12]), tonen de auteurs aan dat het nul-temperatuur BEG-model op het FAD-punt gekoppeld kan worden aan Bernoulli site-percolatie met parameter $p=1/2$. Dit stelt vast dat de waarschijnlijkheid dat een spin verbonden is met de rand in het nul-temperatuur model, stochastisch gedomineerd wordt door de connectiviteitswaarschijnlijkheid in Bernoulli site-percolatie met parameter $1/2$.

Belangrijkste Resultaten
De hoofdstelling stelt dat de gemiddelde spin op de oorsprong voor het BEG-model op $\mathbb{Z}^2$ op het FAD-punt en voor elke inverse temperatuur $\beta \in [0, +\infty]$ verdwijnt onder zowel $+$ als $-$ randvoorwaarden:
$$\langle \sigma_x \rangle^+_\beta = \langle \sigma_x \rangle^-_\beta = 0$$
Het bewijs verloopt door te laten zien dat de magnetisatie begrensd wordt door de waarschijnlijkheid dat een locatie verbonden is met de rand in Bernoulli site-percolatie met parameter $1/2$. Aangezien de kritische parameter voor site-percolatie op het vierkante rooster $p_c = 1/2$ is, bevindt het systeem zich op het kritische punt (of is het subkritisch in de zin dat oneindige clusters bijna zeker niet ontstaan in de thermodynamische limiet voor $p \leq 1/2$ in deze context), waardoor de connectiviteitswaarschijnlijkheid naar nul gaat naarmate het volume naar oneindig gaat.

In combinatie met de geldigheid van de FKG-ongelijkheden voor dit model (zoals vastgesteld door Lebowitz en Monroe), impliceert de gelijkheid van lokale magnetisaties onder verschillende randvoorwaarden de onafhankelijkheid van alle correlatiefuncties van de randvoorwaarden. Bijgevolg is de Gibbs-maat uniek voor alle temperaturen.

Betekenis en Reikwijdte
Dit artikel stelt de afwezigheid van faseovergangen voor het BEG-model op het FAD-tripunt op het 2D vierkante rooster vast voor elke temperatuur. Hiermee wordt de vraag opgelost of er een faseovergang zou kunnen bestaan bij een positieve $\beta$ in dit specifieke regime.

De auteurs merken op dat hun argument berust op het feit dat de kritische parameter voor Bernoulli site-percolatie op de graaf groter dan of gelijk aan $1/2$ is. Dit resultaat strekt zich uit tot elke oneindige graaf $G$ waar $p_c(\text{site}, G) \geq 1/2$. De auteurs stellen echter expliciet dat voor dimensies $d \geq 3$, waar $p_c(\text{site}, \mathbb{Z}^d) < 1/2$, de bovengrens geleverd door $p=1/2$ percolatie superkritisch wordt. In deze hogere dimensies verdwijnt de magnetisatie niet noodzakelijkerwijs, en Monte Carlo-simulaties suggereren dat er een niet-triviale faseovergang kan bestaan. Het artikel concludeert dat het bewijzen van uniciteit of niet-uniciteit in tussenliggende dimensies een open probleem blijft dat nieuwe ideeën vereist buiten de huidige stochastische dominantie-aanpak.