SLIDE 1
The Phases of Hard Sphere Systems
Tutorial for Spring 2015 ICERM workshop “Crystals, Quasicrystals and Random Networks” Veit Elser Cornell Department of Physics
SLIDE 2
- utline:
- order by disorder
- constant temperature & pressure ensemble
- phases and coexistence
- ordered-phase nucleation
- infinite pressure limit
- what is known in low dimensions
- the wilds of higher dimensions
SLIDE 3
SLIDE 4
SLIDE 5
SLIDE 6
eliminating time: ergodic hypothesis
sphere centers: x1, x2, . . . , xN arbitrary property: θ(x1, x2, . . . , xN)
SLIDE 7
eliminating time: ergodic hypothesis
sphere centers: x1, x2, . . . , xN arbitrary property: θ(x1, x2, . . . , xN)
¯ θ = 1 T Z T dt θ(x1(t), . . . , xN(t))
time average:
SLIDE 8
eliminating time: ergodic hypothesis
sphere centers: x1, x2, . . . , xN arbitrary property: θ(x1, x2, . . . , xN)
¯ θ = 1 T Z T dt θ(x1(t), . . . , xN(t))
time average: hθi = Z dµ θ(x1, . . . , xN) configuration average:
SLIDE 9
eliminating time: ergodic hypothesis
sphere centers: x1, x2, . . . , xN arbitrary property: θ(x1, x2, . . . , xN)
¯ θ = 1 T Z T dt θ(x1(t), . . . , xN(t))
time average: hθi = Z dµ θ(x1, . . . , xN) configuration average: ¯ θ = hθi ergodic hypothesis:
SLIDE 10
Gibbs measure: dµ = dDx1 · · · dDxN e−βH0(x1,...,xN) (x1, . . . , xN) ∈ AN A ⊂ RD domain: “box”
SLIDE 11
Gibbs measure: dµ = dDx1 · · · dDxN e−βH0(x1,...,xN) (x1, . . . , xN) ∈ AN A ⊂ RD domain: “box” 1/β = kBT absolute temperature: a sphere diameter:
SLIDE 12 Gibbs measure: dµ = dDx1 · · · dDxN e−βH0(x1,...,xN) (x1, . . . , xN) ∈ AN A ⊂ RD domain: “box” H0(x1, . . . , xN) = ⇢ 0 if 8 i 6= j kxi xjk > a 1
Hamiltonian: 1/β = kBT absolute temperature: a sphere diameter:
SLIDE 13
constant temperature & pressure ensemble
environment T, p V pV = work performed on constant pressure environment in expanding box to volume V H(x1, . . . , xN; V ) = H0(x1, . . . , xN) + pV
SLIDE 14
dimensionless variables & parameters
xi = a ˜ xi V = aD ˜ V
SLIDE 15
dimensionless variables & parameters
xi = a ˜ xi V = aD ˜ V β p V = ˜ p ˜ V p = (kBT/aD) ˜ p
SLIDE 16
rescaled constant T & p ensemble
dµ(p) = dDx1 · · · dDxN dV e−H0−pV measure:
SLIDE 17
rescaled constant T & p ensemble
dµ(p) = dDx1 · · · dDxN dV e−H0−pV measure: configurations: (x1, . . . , xN) ∈ A(V )N 8 i 6= j kxi xjk > 1 A(V ) = RD/(V 1/DZ)D (periodic box)
SLIDE 18
rescaled constant T & p ensemble
dµ(p) = dDx1 · · · dDxN dV e−H0−pV measure: configurations: (x1, . . . , xN) ∈ A(V )N 8 i 6= j kxi xjk > 1 A(V ) = RD/(V 1/DZ)D (periodic box) p dimensionless pressure (parameter): specific volume (property): v = hV i/N
SLIDE 19
SLIDE 20
SLIDE 21
p = 2.00 v = 1.73
SLIDE 22
p = 2.00 v = 1.73
SLIDE 23
p = 20.00 v = 1.02
SLIDE 24
p = 20.00 v = 1.02
SLIDE 25
108 spheres (D = 3)
v = 1/ √ 2
SLIDE 26
φ = |BD(1/2)| v packing fraction:
SLIDE 27
T p
gas crystal
T p
crystal gas
T p
crystal gas
quiz: hard sphere phase diagram
SLIDE 28
T p
gas crystal
T p
crystal gas
T p
crystal gas
quiz: hard sphere phase diagram
p = ˜ p (kB/a3) T a ≈ 4˚ A ˜ p ≈ 10 (krypton) ˜ p (kB/a3) ≈ 20 atm/K
SLIDE 29 thermal equilibrium
Here we are, trapped in the amber of the moment. — Kurt Vonnegut
- configuration sampling via Markov chains, small transitions
- Markov sampling is not unlike time evolution
- diffusion process: slow for large systems
SLIDE 30
approaching equilibrium
∆p ∆t = ˙ p > 0 ˙ φ > 0 108 spheres ˙ p = 10−5 10−6 10−7 10−8
SLIDE 31
approaching equilibrium
∆p ∆t = ˙ p > 0 ˙ φ > 0 108 spheres ˙ p = 10−5 10−6 10−7 10−8 p∗ φ1 φ2
SLIDE 32 quiz: between phases
Suppose we sample hard spheres (3D) at fixed volume, corresponding to an intermediate packing fraction (0.52), what should we expect to see in a typical configuration?
- A. gas phase
- B. crystal phase
- C. quantum superposition of gas and crystal
- D. none of the above
SLIDE 33 quiz: between phases
Suppose we sample hard spheres (3D) at fixed volume, corresponding to an intermediate packing fraction (0.52), what should we expect to see in a typical configuration?
- A. gas phase
- B. crystal phase
- C. quantum superposition of gas and crystal
- D. none of the above
SLIDE 34
phase coexistence
At the coexistence pressure, gas and crystal subsystems are in equilibrium with each other. We can accommodate a range of volumes by changing the relative fractions of the two phases.
crystal crystal gas gas
φ1 = 0.494 φ2 = 0.545 φ1 < φ < φ2
{
p∗ = 11.564
SLIDE 35
thermodynamics
Z(p) = Z dµ(p) = Z dµ(0)e−pV number of microstates:
SLIDE 36
thermodynamics
Z(p) = Z dµ(p) = Z dµ(0)e−pV number of microstates: s(p) = kB N log Z(p) entropy per sphere:
SLIDE 37
thermodynamics
Z(p) = Z dµ(p) = Z dµ(0)e−pV number of microstates: s(p) = kB N log Z(p) entropy per sphere: F(p) = −Ts(p) free energy per sphere:
SLIDE 38
thermodynamics
Z(p) = Z dµ(p) = Z dµ(0)e−pV number of microstates: s(p) = kB N log Z(p) entropy per sphere: F(p) = −Ts(p) free energy per sphere: v = 1 N hV i = 1 N d dp log Z(p) = 1 kB ds dp identity:
SLIDE 39
p∗ vcryst vgas v = −k−1
B
ds dp ∆v p∗ sgas scryst s(p)
sgas(p∗) = scryst(p∗)
SLIDE 40 … suppose, young man, that one Marine had with him a tiny capsule containing a seed of ice-nine, a new way for the atoms of water to stack and lock, to freeze. If that Marine threw that seed into the nearest puddle … ? —Kurt Vonnegut (Cat’s Cradle)
phase equilibrium: the ice-9 problem
- Phase coexistence implies there is an entropic
penalty, a negative contribution from the interface, proportional to its area.
- The interfacial penalty severely inhibits the
spontaneous formation of the ordered phase, especially near the coexistence pressure.
“critical nucleus”
SLIDE 41
size of critical nucleus
Assume interface-surface entropy is isotropic, so the critical nucleus is spherical:
SLIDE 42
size of critical nucleus
Assume interface-surface entropy is isotropic, so the critical nucleus is spherical: snuc = (scryst − sgas)Vnuc v − σAnuc
SLIDE 43
size of critical nucleus
Assume interface-surface entropy is isotropic, so the critical nucleus is spherical: snuc = (scryst − sgas)Vnuc v − σAnuc scryst(p∗ + ∆p) − sgas(p∗ + ∆p) = kB(−vcryst + vgas)∆p = kB(−∆v)∆p > 0
SLIDE 44
size of critical nucleus
Assume interface-surface entropy is isotropic, so the critical nucleus is spherical: snuc = (scryst − sgas)Vnuc v − σAnuc Vnuc = (4π/3)R3 Anuc = 4πR2 scryst(p∗ + ∆p) − sgas(p∗ + ∆p) = kB(−vcryst + vgas)∆p = kB(−∆v)∆p > 0
SLIDE 45
size of critical nucleus
Assume interface-surface entropy is isotropic, so the critical nucleus is spherical: snuc = (scryst − sgas)Vnuc v − σAnuc Vnuc = (4π/3)R3 Anuc = 4πR2 scryst(p∗ + ∆p) − sgas(p∗ + ∆p) = kB(−vcryst + vgas)∆p = kB(−∆v)∆p > 0 snuc Rc
SLIDE 46
snuc(Rc) = 0 ⇒ Rc = 3(σ/kB)(v/∆v) 1 ∆p exponentially small nucleation rate: e−Vnuc/v0
SLIDE 47
snuc(Rc) = 0 ⇒ Rc = 3(σ/kB)(v/∆v) 1 ∆p exponentially small nucleation rate: e−Vnuc/v0
The critical nucleus would in any case have to be at least as large to contain most of a kissing sphere configuration, thus making the spontaneous nucleation rate decay exponentially with dimension.
SLIDE 48
infinite pressure limit
lim
p→∞
✓ −k−1
B
ds dp ◆ = vmin
SLIDE 49
infinite pressure limit
lim
p→∞
✓ −k−1
B
ds dp ◆ = vmin s(p)/kB ∼ −vmin p + C
SLIDE 50
infinite pressure limit
lim
p→∞
✓ −k−1
B
ds dp ◆ = vmin s(p)/kB ∼ −vmin p + C Z(p) ∼ e−N(vmin p+C)
SLIDE 51
infinite pressure limit
lim
p→∞
✓ −k−1
B
ds dp ◆ = vmin s(p)/kB ∼ −vmin p + C Z(p) ∼ e−N(vmin p+C) In three dimensions we know there are many sphere packings — stacking sequences of hexagonal layers — with exactly the same 𝑤min. The constant C depends on the stacking sequence.
SLIDE 52
free volume: disks
SLIDE 53
free volume: disks
Allowed positions of central disk when surrounding disks are held fixed.
SLIDE 54
free volume: spheres
φ = 0.45 cubic hexagonal AB … hexagonal AC …
SLIDE 55
hexagonal stacking
A B C
“hexagonal close packing” (hcp) : … ABAB … “face-centered cubic” (fcc) : … ABCABC …
SLIDE 56 lim
p→∞ ∆s(p)/kB = Cfcc − Chcp ≈ 0.001164
N = 1000 : prob(fcc) prob(hcp) ≈ 3.2
densest & most probable sphere packing
fcc and hcp stackings are the extreme cases;
- ther stackings have intermediate probabilities.
SLIDE 57 hard sphere phases in other dimensions
- The statistical ensemble, through phase
transitions, detects any kind of order.
- Good packings assert themselves at lower
packing fractions.
- Different dimensions have qualitatively different
phase behaviors. what we know so far …
SLIDE 58 D = 1
- only one phase (gas)
- exercise: calculate s(p) in your head
SLIDE 59 D = 2
* Brown Faculty
- If you had to devote your life to one dimension, this would be the one.
- three phases: gas, hexatic, crystal
- gas:
- gas-hexatic coexistence:
- hexatic:
- crystal:
- hexatic-crystal transition is Kosterlitz*-Thouless
- logarithmic fluctuations in crystal (Mermin-Wagner)
- gas-hexatic coexistence resolved only recently (Michael Engel, et al.)
0.720 < φ 0.714 < φ < 0.720 0.702 < φ < 0.714, p∗ = 9.185 0 < φ < 0.702
SLIDE 60 2 < D < 7
- As in three dimensions, two phases: gas and crystal.
- Symmetry of crystal phase consistent with densest lattice.
- Ice-9 problem avoided by introducing tethers to crystal sites whose
strengths are eventually reduced to zero (“Einstein-crystal method”). Possible ordered phases limited to chosen crystal types.
- Interesting behavior of coexistence pressure:
D φgas − φcryst φmax p∗
type 3 0.494 - 0.545 0.741 11.56 D3 4 0.288 - 0.337 0.617 9.15 D4 5 0.174 - 0.206 0.465 10.2 D5 6 0.105 - 0.138 0.373 13.3 E6
source: J.A. van Meel, PhD thesis
SLIDE 61
hard spheres in higher dimensions: three possible universes
SLIDE 62 Leech’s universe
- Every dimension has a unique and efficiently
constructible densest packing of spheres.
- At low density the gas phase maximizes the entropy.
- There is only one other phase, at higher density,
where spheres fluctuate about the centers of the densest sphere packing (appropriately scaled).
- Classic order by disorder!
SLIDE 63 The Stillinger-Torquato* universe
- It is unreasonable to expect to find lattices optimized for packing
spheres in high dimensions.
For a lattice in dimension D the number of parameters in its specification grows as a polynomial in D. But the number of spheres that might impinge on any given sphere is of order the kissing number and grows exponentially with D.
In high dimensions and large volumes V, there is a proliferation of sphere packings in V very close in density to the densest (much greater in number than defected crystal packings). Because of this proliferation, the densest packings are actually disordered.
- Since the lack of order in the densest limit is qualitatively no
different from the lack of order in the gas, there is only one phase!
* S. Torquato and F. H. Stillinger, Experimental Mathematics, Vol. 15 (2006)
SLIDE 64 Conway’s universe
- Mathematical invention knows no bounds, and natural
phenomena never fail to surprise.
- Perhaps two dimensions was not an anomaly: multiple
phases of increasing degrees of order may lurk in higher dimensions.
- Testimonial: unbiased kissing configuration search in ten
dimensions.
SLIDE 65
- The densest known sphere packing in 10 dimensions, P10c,
has center density δ = 5/128. For comparison, D10 has center density δ = 2/128.
- P10c, a non-lattice, has maximum kissing number 372.
- Output of kissing number search with constraint satisfaction
algorithm:
SLIDE 66
- The densest known sphere packing in 10 dimensions, P10c,
has center density δ = 5/128. For comparison, D10 has center density δ = 2/128.
- P10c, a non-lattice, has maximum kissing number 372.
- Output of kissing number search with constraint satisfaction
algorithm:
372 spheres 0.0 0.1 0.2 0.3 0.4 0.5 cosΘ 374 spheres 0.0 0.1 0.2 0.3 0.4 0.5 cosΘ
disordered
SLIDE 67
- The densest known sphere packing in 10 dimensions, P10c,
has center density δ = 5/128. For comparison, D10 has center density δ = 2/128.
- P10c, a non-lattice, has maximum kissing number 372.
- Output of kissing number search with constraint satisfaction
algorithm:
372 spheres 0.0 0.1 0.2 0.3 0.4 0.5 cosΘ 374 spheres 0.0 0.1 0.2 0.3 0.4 0.5 cosΘ
disordered
cos θ ∈ {0, (3 ± √ 3)/12, 1/2} (378 spheres in complete configuration)
SLIDE 68 The new kissing configuration extends to a quasicrystal in 10 dimensions with center density δ = 4/128 !
Sphere centers projected into quasiperiodic plane; five kinds
Quasiperiodic tiling of squares, triangles and rhombi.
- V. Elser and S. Gravel, Discrete Comput. Geom. 43 363-374 (2010)