Phase diagram of the two-dimensional Ising antiferromagnet (computer-assisted proof)

R. L. Dobrushin, J. Kolafa, S. B. Shlosman

Research output: Contribution to journalArticlepeer-review

26 Citations (Scopus)

Abstract

We study the phase diagram of the Ising antiferromagnet on a square lattice in a neighbourhood of ground state critical points h=±4, T=0. It leads to a question about the value ac of the critical activity of the hard-square lattice gas. Using a constructive criterion of uniqueness we prove that ac>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.

Original languageEnglish
Pages (from-to)89-103
Number of pages15
JournalCommunications in Mathematical Physics
Volume102
Issue number1
DOIs
Publication statusPublished - Mar 1985
Externally publishedYes

Fingerprint

Dive into the research topics of 'Phase diagram of the two-dimensional Ising antiferromagnet (computer-assisted proof)'. Together they form a unique fingerprint.

Cite this