Uniqueness of the Gibbs state of the BEG model in the disordered region of parameters (Q829961)

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.