Abstract
We study the phase diagram of the Ising antiferromagnet on a square lattice in a neighbourhood of ground state critical pointsh=±4,T=0. It leads to a question about the valuea c of the critical activity of the hard-square lattice gas. Using a constructive criterion of uniqueness we prove thata c >1 and that the phase diagram of the antiferromagnet does not bulge near mentioned critical points. It is a specific feature of this work that the proof was completed with the help of a computer.
Similar content being viewed by others
References
Dobrushin, R.L.: Unicity of the Gibbs random field and phase transition problem. Funct. Anal. Appl.2, 44 (1968)
Dobrushin, R.L., Shlosman, S.B.: The problem of translation invariance in statistical physics. Sov. Sci. Rev. Ser. C Vol.5 (1985)
Dobrushin, R.L., Pecherski, E.A.: Uniqueness conditions for finitely dependent random fields. In: Random fields. Fritz, J., Lebowitz, J.L., Szasz, D. (eds.). Amsterdam: North-Holland
Baxter, R.J., Enting, I.G., Tsang, S.K.: Hard-square lattice gas. J. Stat. Phys.22, 465–489 (1980)
Ràcz, Z.: Phase boundary of Ising antiferromagnets nearH=H c andT=0; Results from hardcore lattice gas calculations. Phys. Rev. B21, 4012–4016 (1980)
Dobrushin, R.L., Shlosman, S.B.: Constructive unicity criterion. In: Statistical mechanics and dynamical systems. Fritz, J., Jaffe, A., Szasz, D. (eds.). New York: Birkhäuser 1985
Dobrushin, R.L., Shlosman, S.B.: Completely analytical Gibbs fields. In: Statistical mechanics and dynamical systems. Fritz, J., Jaffe, A., Szasz, D. (eds.). New York: Birkhäuser 1985
Author information
Authors and Affiliations
Additional information
Communicated by Ya. G. Sinai
Rights and permissions
About this article
Cite this article
Dobrushin, R.L., Kolafa, J. & Shlosman, S.B. Phase diagram of the two-dimensional Ising antiferromagnet (computer-assisted proof). Commun.Math. Phys. 102, 89–103 (1985). https://doi.org/10.1007/BF01208821
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01208821