Uniqueness of the Gibbs state of the BEG model in the disordered region of parameters (Q829961): Difference between revisions

The author establishes the existence of unique probability measure on the set of all functions from $\mathbb{Z}^d$ to $\{-1,0,1\}$ denoted as $\{-1,0,1\}^{\mathbb{Z}^d}$ such that this probability measure ``conditioned'' to boundary values on finite sets in $\mathbb{Z}^d$ equals the probability measure coming from certain $d$-dimensional Blume-Emery-Griffiths models on those finite sets. More specifically, let $\Lambda \subset\mathbb{Z}^d$ be a finite set. Also, $\sigma_\Lambda:\Lambda\to \{-1,0,1\}$, and let $\sigma_{\Lambda^c}:\Lambda^c\to\{-1,0,1\}$. Define the Hamiltonian for the Blume-Emery-Griffiths models as \[ \mathcal{H}(\sigma_\Lambda|\sigma_{\Lambda^c})=-\sum_{\substack{|i-j|=1,\\ i\in\Lambda,\,j\in\Lambda\text{ or }j\in\Lambda^c}}(\sigma_i\sigma_j+y\sigma^2_j+\chi\left(\sigma^2_i+\sigma_j^2\right)) \] for real numbers $x$ and $y$. Then a probability measure can be defined on the set $\{-1,0,1\}^\Lambda$ by assigning a probability value \[ \frac{e^{-\frac{1}{T}\mathcal{H}(\sigma_\Lambda|\sigma_{\Lambda^c})}}{\sum_{\xi_\Lambda}e^{-\frac{1}{T}\mathcal{H}(\xi_\Lambda|\sigma_{\Lambda^c})}}\tag{1} \] to each $\sigma_\Lambda\in\{-1,0,1\}^\Lambda$. The temperature $T$ appearing in (1) is a positive real number. The summation in the denominator runs over all $\xi_\Lambda\in\{-1,0,1\}^\Lambda$. Then, for any $d$, $y$ and $x$ satisfying the inequality \[ x<-\frac{t_d\cdot\max\{|y|+1,2\}}{d}-\max\{y+1,0\},\tag{2} \] Lima establishes that there exists unique probability measure on $\{-1,0,1\}^{\mathbb{Z}^d}$ such that when this probability measure is ``conditioned'' to the external value $\sigma_{\Lambda^c}:\Lambda^c\to\{-1,0,1\}$ equals the probability measure (1) on $\{-1,0,1\}^\Lambda\cdot t_d$ appearing in (2) is a real number that depends upon the dimension $d$ (please see equation (9) in Lima's paper). The existence of this probability measure is established by Theorem 1.2 [\textit{Y. Sinai}, Theory of phase transitions: rigorous results. Oxford: Pergamon Press (1982; Zbl 0537.60097)]. Lima proves an inequality (Lima's Theorem 1) that implies the condition of the Dobrushin's uniqueness theorem (Theorem 2 in [\textit{R. L. Dobrushin}, Teor. Veroyatn. Primen. 13, 201--229 (1968; Zbl 0184.40403)] and Theorem 8.7 in [\textit{H.-O. Georgii}, Gibbs measures and phase transitions. 2nd extended ed. Berlin: de Gruyter (2011; Zbl 1225.60001)]). Then, Dobrushin's uniqueness theorem proves the uniqueness of the probability measure.