
Ising Model
In order to make the previous ideas quantitative, let
us first describe the simple case of the Ising model.
Ising spin configurations are collections {(x), x 2
Z
d
}of(x) 2{1} magnetic moments called spins.
In the nearest-neighbor case, the interaction between
two spins is J(x)(y), J > 0, if x and y are nearest
neighbors on Z
d
, or is vanishing otherwise. There
are, therefore, two ground states, one with all spins
equal to þ1 and the other one with all spins equal to
1. Since the Gibbs probability of higher energies
vanishes as the temperature goes to zero, these are
interpreted as the equilibrium states at temperature
T = 0.
If T > 0, configurations with larger energy will
appear, even though depressed by the Gibb s factor,
but their occurren ce is limited if T is small. In fact,
in the ferromagnetic Ising model at zero magnetic
field, dimensions d 2, and low enough tempera-
ture, it has been proved that there are two distinct
DLR measures, one called positive and the other
negative. The typical configurations in the positive
measure are mai nly made by positive spins and, in
such an ‘‘ocean of positive spins’’ there are rare and
small islands of negative spins. The same situation,
but with the positive and negative spins inter-
changed, occurs in the negative DLR state.
The selection of one of these two states can be
made by choosing the positive or the negative
boundary conditions, which shows how a surface
effect, namely putting the boundary spins equal to 1
or 1, has a volume effect, as most of the spins in the
system follow the value indicated by the boundary
values. Again, this is more and more striking as we
note that each spin is random, yet a strong,
cooperative effect takes over and controls the system.
The original proof due to Peierls exploits the spin-
flip symmetry of the Ising interaction, but it has
subsequently been extended to a wider class of
systems on the lattice, in the general framework of
the ‘‘Pirogov–Sinai theory.’’ This theory studies the
low-temperature perturbations of ground states and
it applies to many lattice systems, proving the
existence of a phase transition and determining the
structure of the phase diagram in the low-
temperature region. The theory, however, does not
cover continuous systems, where the low-temperature
regime is essentially not understood, with the notable
exception of the Widom and Row linson model.
Two Competing Species in the Continuum
The simplest version of the Widom and Rowlinson
model has two types of particles, red and black,
which are otherwise identical. Particles are massive
points and the only interaction is a hard-core
interaction among differen t colors, namely a red and
a black particle cannot be closer than 2R
0
, R
0
> 0
being the hard-core radius.
The order parameter for the phase transition is the
particle color. For large values of the chemical
potential, and thus large densities, there are two
states, one essentially red, the other black, while, if
the density is low, the color s ‘‘are not separated’’
and there is a unique state. The proof of the
statement starts by dividing the particles of a
configuration into clusters, each cluster made by a
maximal connected component, where two particles
are called connected when their mutual distance is
<2R
0
. Then, in each cluster, all particles have the
same color (because of the hard-core exclusion
between black and red), and the color is either
black or red, with equal probability.
The question of phase transition is then related to
cluster percolation, namely the existence of clusters
which extend to infinity. If this occurs, then the influence
of fixing the color of a particle may propagate infinitely
far away, hence the characteristic ‘ ‘sensitive dependence
phenomenon’’ of phase transitions. Percolation and
hence phase transitions have been proved to exist in the
positive and negative states, if the density is large and,
respectively, small. The above argument is a more recent
version of the original proof by Ruelle, which goes back
to the 1970s.
The key element for the appearance of the phase
transition is the competition between two different
components, so that the analysis is not useful in
explaining the mechanisms for coexistence in the
case of identical particles, which are considered in
the following.
Coarse Graining Transformations
The Peierls argument in Ising systems does not seem
to extend to the continuum, certainly not in a trivial
way. The ground states, in fact, will not be as simple
as the constant configurations of a lattice system;
they will instead be periodic or quasiperiodic config-
urations with a complicated dependence on the
particle interactions. The typical fluctuations when
we raise the temperature above zero have a much
richer and complex structure and are correspondingly
more difficult to control. Closeness to the ground
states at nonzero temperature, as described in the
Ising model, would prove the spontaneous breaking
of the Euclidean symmetries and the existence of a
crystalline phase. The question is, of course, of great
interest, but it looks far beyond the reach of our
present mathematical techniques.
Phase Transitions in Continuous Systems 55