E. Dinaburg,C. Maes,S. Pirogov,F. Redig,A. Rybko
Abstract:We consider the q=4 Potts model on the square lattice with an additional hard-core nonlocal interaction. That interaction arises from the choice of the reference measure taken to be the uniform measure on the recurrent configurations for the abelian sandpile model. In that reference measure some correlation functions have a power-law decay. We investigate the low-temperature phase diagram and we prove the existence of a single stable phase with exponential decay of correlations. For all boundary conditions the density of 4 in the infinite volume limit goes to one as the temperature tends to zero.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the low - temperature phase diagram in the four - state Potts model with a specific non - local hard - core interaction, and prove that in the infinite - volume limit, when the temperature approaches zero, there is a single stable phase, and the density of the four - state in this phase tends to 1. Specifically:
1. **Research Background**:
- The paper considers the four - state Potts model on a two - dimensional lattice, in which an additional non - local hard - core interaction is introduced. This interaction originates from choosing the uniform measure of the cyclic configurations of the abelian sandpile model as the reference measure.
- Under this reference measure, some correlation functions exhibit power - law decay.
2. **Main Problems**:
- Study the phase diagram at low temperatures, especially prove whether there is a single stable phase under low - temperature conditions.
- Prove that for all boundary conditions, in the infinite - volume limit, when the temperature approaches zero, the density of the four - state tends to 1.
3. **Key Results**:
- **Theorem 2.1**: For any small positive number \(\epsilon\), there exists a positive number \(\beta_0\) such that when \(\beta>\beta_0\), for all \(n\in\mathbb{N}\), \(\mu_4^{\beta,n}(\eta(0) = 4)>1-\epsilon\). Moreover, there exists a constant \(c > 0\) such that for \(\beta>\beta_0\) and sufficiently large \(n\),
\[
|\mu_4^{\beta,n}(\eta(x)\eta(0))-\mu_4^{\beta,n}(\eta(x))\mu_4^{\beta,n}(\eta(0))|\leq e^{-c|x|}
\]
that is, the correlation function decays exponentially with distance.
- **Theorem 2.2**: For any positive number \(\alpha\), there exists a positive number \(\beta(\alpha)\) and a constant \(c = c(\alpha,\beta)>0\) such that when \(\beta>\beta(\alpha)\), for a sufficiently large \(n\),
\[
\mu_3^{\beta,n}(|\{x\in V_n:\eta(x) = 3\}|>\alpha|V_n|)\leq e^{-c|V_n|}
\]
This shows that the density of the three - state tends to zero at low temperatures.
4. **Methods and Tools**:
- The random cluster representation is introduced, and the Fortuin - Kasteleyn representation and the Swendsen - Wang - Edwards - Sokal coupling method are used.
- By analyzing the properties of clusters and energy estimates, the stability of the four - state and the instability of the three - state are proved.
In conclusion, by introducing non - local hard - core interactions, this paper studies the behavior of the four - state Potts model at low temperatures, and proves that the density of the four - state tends to 1 at low temperatures, while the density of the three - state tends to zero. These results are of great significance for understanding the phase - transition behavior of complex systems.