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

Technische Zusammenfassung: Eindeutigkeit des Gibbs-Maßes für das BEG-Modell am FAD-Tripelpunkt

Problemstellung
Das Blume-Emery-Griffiths (BEG)-Modell ist ein Spinsystem auf einem $d$-dimensionalen Gitter mit Spins $\sigma_x \in \{-1, 0, +1\}$, das durch einen Hamiltonoperator bestimmt wird, der Wechselwirkungen zwischen nächsten Nachbarn und quadratische Terme umfasst. Das Phasendiagramm ist in drei Regionen unterteilt, die basierend auf den Grundzuständen definiert sind: Ungeordnet (D), Ferromagnetisch (F) und Antiquadrupolar (A). Diese Regionen treffen sich am Ferromagnetisch-Antiquadrupolar-Ungeordnet-Tripelpunkt (FAD), der bei den Parametern $(X, Y) = (0, -1)$ liegt.

Am FAD-Punkt weist das Modell eine unendliche Anzahl von Grundzuständen auf, die sich nicht in eine endliche Anzahl von Äquivalenzklassen organisieren lassen, was zu einer hohen Restentropie führt. Während es rigorose Ergebnisse für das Modell in den Bulk-Regionen (unter Verwendung der Pirogov-Sinai-Theorie) und bei hohen Temperaturen gibt, blieb das Verhalten entlang der Phasengrenzen und insbesondere am FAD-Punkt schwer fassbar. Vorherige rigorose Ergebnisse für Phasenübergänge entlang der AD-Linie oder am FAD-Punkt waren auf hinreichend hohe Dimensionen ($d$) beschränkt. Für das zweidimensionale quadratische Gitter ($d=2$) existierte keine rigorose Analyse für endliche Temperaturen, was die Möglichkeit eines Phasenübergangs bei positiver inverser Temperatur $\beta$ offenließ.

Methodik
Die Autoren etablieren die Abwesenheit von Phasenübergängen, indem sie die Eindeutigkeit des Gibbs-Maßes für das BEG-Modell auf dem 2D-quadratischen Gitter für alle Temperaturen beweisen. Der Beweis stützt sich auf eine spezifische grafische Darstellung und eine Kopplungstechnik:

1. Random-Cluster-Darstellung: Die Autoren konstruieren eine Random-Cluster-artige Darstellung für das BEG-Modell am FAD-Punkt. Diese verallgemeinert die Fortuin-Kasteleyn (FK)-Darstellung, die für das Potts-Modell verwendet wird. Die Partitionsfunktion wird unter Verwendung von Bond-Konfigurationen $\omega \in \{0,1\}^E$ umgeschrieben, wobei eine Kante „offen“ ($\omega_e=1$) ist, wenn das zugehörige Spin-Produkt $\sigma_e \neq -1$ ist.
2. Kopplung mit dem Nulltemperatur-Modell: Ein gemeinsames Wahrscheinlichkeitsmaß wird auf dem Produktraum der Spin-Konfigurationen und der Bond-Konfigurationen definiert. Dies ermöglicht es, den Endlichkeitstemperatur-Erwartungswert einer beliebigen Observablen als Erwartungswert über die Bond-Konfigurationen des Nulltemperatur-BEG-Modells auf dem durch die offenen Bonds induzierten Untergraphen auszudrücken. Speziell ist die Magnetisierung mit einem Konnektivitätsereignis im Nulltemperatur-System verknüpft.
3. Magnetisierungs-Konnektivitäts-Identität: Die Autoren leiten eine Identität her, die zeigt, dass die Magnetisierung an einem Ort $x$ unter positiven Randbedingungen durch die Wahrscheinlichkeit nach oben beschränkt ist, dass $x$ über einen Pfad von Spins mit Nicht-Null-Wert mit dem Rand verbunden ist.
4. Stochastische Dominanz durch Perkolation: Unter Nutzung früherer Ergebnisse (speziell aus [12]) zeigen die Autoren, dass das Nulltemperatur-BEG-Modell am FAD-Punkt mit einer Bernoulli-Site-Perkolation mit dem Parameter $p=1/2$ gekoppelt werden kann. Dies etabliert, dass die Wahrscheinlichkeit, dass ein Spin im Nulltemperatur-Modell mit dem Rand verbunden ist, stochastisch dominiert wird durch die Konnektivitätswahrscheinlichkeit in der Bernoulli-Site-Perkolation mit dem Parameter $1/2$.

Schlüsselergebnisse
Das Haupttheorem besagt, dass die mittlere Spin-Erwartung am Ursprung für das BEG-Modell auf $\mathbb{Z}^2$ am FAD-Punkt und für jede inverse Temperatur $\beta \in [0, +\infty]$ unter sowohl $+$ als auch $-$ Randbedingungen verschwindet:
$$\langle \sigma_x \rangle^+_\beta = \langle \sigma_x \rangle^-_\beta = 0$$
Der Beweis erfolgt durch den Nachweis, dass die Magnetisierung nach oben durch die Wahrscheinlichkeit beschränkt ist, dass ein Ort in der Bernoulli-Site-Perkolation mit dem Parameter $1/2$ mit dem Rand verbunden ist. Da der kritische Parameter für die Site-Perkolation auf dem quadratischen Gitter $p_c = 1/2$ ist (oder subkritisch im Sinne von, dass im thermodynamischen Limes für $p \leq 1/2$ keine unendlichen Cluster entstehen), befindet sich das System am kritischen Punkt (oder ist subkritisch), was dazu führt, dass die Konnektivitätswahrscheinlichkeit beim Übergang zum Unendlichen gegen Null geht.

In Verbindung mit der Gültigkeit der FKG-Ungleichungen für dieses Modell (wie von Lebowitz und Monroe etabliert) impliziert die Gleichheit der lokalen Magnetisierungen unter verschiedenen Randbedingungen die Unabhängigkeit aller Korrelationsfunktionen von den Randbedingungen. Folglich ist das Gibbs-Maß für alle Temperaturen eindeutig.

Bedeutung und Umfang
Die Arbeit stellt die Abwesenheit von Phasenübergängen für das BEG-Modell am FAD-Tripelpunkt auf dem 2D-quadratischen Gitter bei jeder Temperatur fest. Dies klärt die Frage, ob ein Phasenübergang in diesem spezifischen Regime bei positivem $\beta$ existieren könnte.

Die Autoren merken an, dass ihr Argument auf der Tatsache beruht, dass der kritische Parameter für die Bernoulli-Site-Perkolation auf dem betrachteten Graphen größer oder gleich $1/2$ ist. Dieses Ergebnis lässt sich auf jeden unendlichen Graphen $G$ übertragen, für den $p_c(\text{site}, G) \geq 1/2$ gilt. Die Autoren stellen jedoch explizit fest, dass für Dimensionen $d \geq 3$, in denen $p_c(\text{site}, \mathbb{Z}^d) < 1/2$, die durch $p=1/2$ Perkolation bereitgestellte obere Schranke superkritisch wird. In diesen höheren Dimensionen verschwindet die Magnetisierung nicht notwendigerweise, und Monte-Carlo-Simulationen legen nahe, dass ein nicht-trivialer Phasenübergang existieren könnte. Das Papier schließt mit der Feststellung, dass der Beweis der Eindeutigkeit oder Nicht-Eindeutigkeit in intermediären Dimensionen ein offenes Problem bleibt, das neue Ideen jenseits des aktuellen Ansatzes der stochastischen Dominanz erfordert.