PHASE TRANSITIONS
Organizers: Persi Diaconis, Daniel Fisher, Cris Moore, and Charles Radin
August 21, 2006 - August 25, 206
Probability theory was first formalized, using the new measure theory
of Lebesgue, by A. Kolmogorov in 1939. It was soon used to understand
ideas in quantum mechanics, statistical mechanics, stochastics, and other
parts of applied science.
Today an increasing number of phenomena in nature are best described using probability theory.
Consider a total system consisting of a large number particles (say grains of
sand or perhaps atoms). There are many variables,
and many state variables (such as position,
velocity) for each particle. The system falls under the sway of certain
control parameters such as temperature, pressure, density. These are
thermodynamic properties.
We wish to study certain abrupt changes in such a system. An elegant example
is given by water turning into ice. There is no gradual transition from
the first state to the second one. We instead think about a phase, which
is a collection of states. We have a large number of water molecules and we
wish to examine ``bulk properties'' of this system. In particular, we would
like to have an order parameter
that explains or measures the change
from the one state (water, in which the molecules are chaotic) and the second
state (ice, in which the molecules cooperate). We may also say that
water has no long range order while ice does have long range order.
We think of water and ice
as different phases. The study of a system like this was initiated by
Lev Landau. In this system, the state of matter is described by temperature
and pressure. Each pair of these parameters gives a probability distribution.
The order parameter for the water/ice system is then the probability
of the joint event minus the probability of the product event.
One can think of the phase transition as being described by a real analytic
function φ (i.e., one with a local power series expansion in the space
variables). When the system is in the water state, the function φ is
identically 0. When the system is in the ice state, the function φ
is identically 1. The important mathematical fact is that there is
no real analytic function that can be equal to 0 on one open set and equal
to 1 on another open set. The order parameter measures the obstruction to
the existence of such a real analytic function.
The water-to-ice example is but one of many in which phase transitions arise
naturally. Workshop participant Susan Coppersmith described another.
Recall that Mitchell Feigenbaum considered the logistic equation
φ (x) = λ x(1 - x) \, .
Feigenbaum is interested in dynamical systems, so he considered iterations
(i.e., compositions) of φ with itself. This was in the early
days of handheld calculators, and he performed his calculations on
(what is by today's standards) a rather primitive HP calculator.
Feigenbaum found these results:
If λ is small, the values of the iteration eventually just
repeat.
As λ increases, the system becomes periodic. Eventually
there is a bifurcation and the periodicity doubles.
As λ continues to increase, periodicity continues to double until,
when λ > 3.57, the system is chaotic.
The question that arises from Feigenbaum's work is: What is the phase transition
that is taking place at λ = 3.57? One seeks an order parameter in this
case.
The theory of phase transitions is well developed in some contexts, but in
others it is still in its infancy. The organizers
of the AIM workshop brought together scientists from physics, computer science,
combinatorics, and probability (all subjects in which phase transitions occur
naturally) to try to lay the foundations for this field. A good deal of time
was spent identifying and then rigorously defining terminology. Other time
was spent finding a common language. But it is safe to say that the discussions
were vigorous and productive, and the breakout into working groups was both
natural and vital. By the end of the week, the phase transition workshop had
reached a new plateau of understanding of their field.