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

Resumo Técnico: Unicidade da Medida de Gibbs para o Modelo BEG no Ponto Triplo FAD

Enunciado do Problema
O modelo Blume-Emery-Griffiths (BEG) é um sistema de spins em uma rede de dimensão $d$ com spins $\sigma_x \in \{-1, 0, +1\}$, governado por um Hamiltoniano que envolve interações de vizinhos próximos e termos quadráticos. O diagrama de fases é dividido em três regiões baseadas nos estados fundamentais: Desordenada (D), Ferromagnética (F) e Antiquadrupolar (A). Essas regiões se encontram no ponto triplo Ferromagnético-Antiquadrupolar-Desordenado (FAD), localizado nos parâmetros $(X, Y) = (0, -1)$.

No ponto FAD, o modelo exibe um número infinito de estados fundamentais que não podem ser organizados em um número finito de classes de equivalência, resultando em alta entropia residual. Embora existam resultados rigorosos para o modelo nas regiões do volume (usando a teoria de Pirogov-Sinai) e em altas temperaturas, o comportamento ao longo das fronteiras de fase e, especificamente, no ponto Fota FAD, permaneceu elusivo. Resultados rigorosos anteriores para transições de fase ao longo da linha AD ou no ponto FAD foram limitados a dimensões ($d$) suficientemente altas. Para a rede quadrada bidimensional ($d=2$), não existia análise rigorosa para temperaturas não nulas, deixando aberta a possibilidade de uma transição de fase para temperatura inversa $\beta$ positiva.

Metodologia
Os autores estabelecem a ausência de transições de fase provando a unicidade da medida de Gibbs para o modelo BEG na rede quadrada 2D para todas as temperaturas. A prova baseia-se em uma representação gráfica específica e uma técnica de acoplamento:

1. Representação de Cluster-Aleatório: Os autores constroem uma representação do tipo cluster-aleatório para o modelo BEG no ponto FAD. Isso generaliza a representação de Fortuin-Kasteleyn (FK) usada para o modelo de Potts. A função de partição é reescrita usando configurações de ligações $\omega \in \{0,1\}^E$, onde uma aresta é "aberta" ($\omega_e=1$) se o produto de spins associado $\sigma_e \neq -1$.
2. Acoplamento com o Modelo de Temperatura Zero: Uma medida de probabilidade conjunta é definida no espaço produto das configurações de spin e das configurações de ligação. Isso permite que a expectativa de qualquer observável em temperatura finita seja expressa como uma expectativa sobre as configurações de ligação do modelo BEG de temperatura zero no subgrafo induzido pelas ligações abertas. Especificamente, a magnetização está relacionada a um evento de conectividade no sistema de temperatura zero.
3. Identidade Magnetização-Conectividade: Os autores derivam uma identidade mostrando que a magnetização em um sítio $x$ sob condições de contorno positivas é limitada pela probabilidade de $x$ estar conectado à fronteira via um caminho de spins não nulos no modelo de temperatura zero.
4. Dominação Estocástica por Percolação: Aproveitando resultados anteriores (especificamente de [12]), os autores mostram que o modelo BEG de temperatura zero no ponto FAD pode ser acoplado com a percolação de sítios de Bernoulli com parâmetro $p=1/2$. Isso estabelece que a probabilidade de um spin conectar-se à fronteira no modelo de temperatura zero é estocasticamente dominada pela probabilidade de conectividade na percolação de sítios de Bernoulli com parâmetro $1/2$.

Principais Resultados
O teorema principal afirma que para o modelo BEG na $\mathbb{Z}^2$ no ponto FAD e para qualquer temperatura inversa $\beta \in [0, +\infty]$, a magnetização média no origem desaparece sob condições de contorno $+$ e $-$:
$$\langle \sigma_x \rangle^+_\beta = \langle \sigma_x \rangle^-_\beta = 0$$
A prova procede mostrando que a magnetização é limitada superiormente pela probabilidade de um sítio estar conectado à fronteira na percolação de sítios de Bernoulli com parâmetro $1/2$. Como o parâmetro crítico para a percolação de sítios na rede quadrada é $p_c = 1/2$, o sistema está no ponto crítico (ou é subcrítico no sentido de que clusters infinitos não se formam quase certamente no limite termodinâmico para $p \leq 1/2$ neste contexto), fazendo com que a probabilidade de conexão desapareça conforme o volume vai para o infinito.

Combinado com a validade das desigualdades FKG para este modelo (conforme estabelecido por Lebowitz e Monroe), a igualdade das magnetizações locais sob diferentes condições de contorno implica a independência de todas as funções de correlação em relação às condições de contorno. Consequentemente, a medida de Gibbs é única para todas as temperaturas.

Significância e Escopo
O artigo estabelece a ausência de transições de fase para o modelo BEG no ponto triplo FAD na rede quadrada 2D para qualquer temperatura. Isso resolve a questão de se uma transição de fase poderia existir em $\beta$ positivo neste regime específico.

Os autores observam que seu argumento depende do fato de que o parâmetro crítico para a percolação de sítios de Bernoulli no grafo é maior ou igual a $1/2$. Este resultado se estende a qualquer grafo infinito $G$ onde $p_c(\text{sítio}, G) \geq 1/2$. No entanto, os autores afirmam explicitamente que para dimensões $d \geq 3$, onde $p_c(\text{sítio}, \mathbb{Z}^d) < 1/2$, o limite superior fornecido pela percolação de $p=1/2$ torna-se supercrítico. Nessas dimensões mais altas, a magnetização não necessariamente desaparece, e simulações de Monte Carlo sugerem que uma transição de fase não trivial pode existir. O artigo conclui que provar a unicidade ou não-unicidade em dimensões intermediárias permanece um problema aberto que requer novas ideias além da atual abordagem de dominação estocástica.