Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider the Ferromagnetic Ising Model ($J>0$) on the lattice $\mathbb{Z}^2$ with the Hamiltonian with boundary condition $\omega\in\{-1,1\}$ formally given by $$ H^{\omega}_{\Lambda}(\sigma)=-J\sum_{<i,j>}{\sigma_i\sigma_j} - \sum_{i\in\Lambda} {h_i\sigma_i}, $$ where the first sum is over all unordered pairs of first neighbors in $\Lambda\cup\partial \Lambda$.

Suppose that $h_i=h>0$ if $i\in\Gamma\subset\mathbb{Z}^d$ and $h_i=0$ for $i\in \mathbb{Z}^2\setminus \Gamma$. If $\Gamma$ is a finite set then this model has transition.

I expect that if $\Gamma$ is a subset of $\mathbb{Z}^2$ very sparse, for instance $\Gamma=\mathbb{P}\times\mathbb{P}$, where $\mathbb{P}$ is the set of prime numbers this model also has phase transition. So my question is, there exist an explicit example where $\Gamma$ is an infinite set and this model has phase transition?

share|cite|improve this question
This question is related to the random-field problem in the Ising model for which there exists extensive literature starting from 70ies. Will try to lookup references. – Slaviks Oct 5 '11 at 6:05
up vote 5 down vote accepted

It seems pretty clear that if you take a very diluted subset of, say, the horizontal line through $0$, then you'll be able to make a Peierls argument.

For example, put $h=+\infty$ (worst possible case, amounting to fixing the corresponding spins to $+1$) at all vertices with coordinates (10^k,0), with $k\geq 1$. Then, when removing a contour surrounding a given site $i$, i.e. flipping all spins inside the contour, except for the frozen ones, we gain an energy proportional to the length of the contour, and only lose an energy at worst proportional to the number of frozen spins surrounded by the contour. The latter term is always much smaller than the former one (at least if $i$ is taken far enough from the frozen spins).

share|cite|improve this answer
Thanks for the answer Velenik, this is a nice example. – Leandro Oct 5 '11 at 22:14

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.