the phases of hard sphere systems - cornell...

68
The Phases of Hard Sphere Systems Tutorial for Spring 2015 ICERM workshop “Crystals, Quasicrystals and Random Networks” Veit Elser Cornell Department of Physics

Upload: others

Post on 10-Jan-2020

8 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

The Phases of Hard Sphere Systems

Tutorial for Spring 2015 ICERM workshop “Crystals, Quasicrystals and Random Networks”

Veit Elser Cornell Department of Physics

Page 2: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

outline:• 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

Page 3: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •
Page 4: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •
Page 5: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •
Page 6: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

eliminating time: ergodic hypothesis

sphere centers: x1, x2, . . . , xN

arbitrary property:✓(x1, x2, . . . , xN )

Page 7: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

eliminating time: ergodic hypothesis

sphere centers: x1, x2, . . . , xN

arbitrary property:✓(x1, x2, . . . , xN )

✓ =1

T

Z T

0dt ✓(x1(t), . . . , xN (t))time average:

Page 8: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

eliminating time: ergodic hypothesis

sphere centers: x1, x2, . . . , xN

arbitrary property:✓(x1, x2, . . . , xN )

✓ =1

T

Z T

0dt ✓(x1(t), . . . , xN (t))time average:

h✓i =Z

dµ ✓(x1, . . . , xN )configuration average:

Page 9: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

eliminating time: ergodic hypothesis

sphere centers: x1, x2, . . . , xN

arbitrary property:✓(x1, x2, . . . , xN )

✓ =1

T

Z T

0dt ✓(x1(t), . . . , xN (t))time average:

h✓i =Z

dµ ✓(x1, . . . , xN )configuration average:

✓ = h✓iergodic hypothesis:

Page 10: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

Gibbs measure: dµ = d

Dx1 · · · dDxN e

��H0(x1,...,xN )

(x1, . . . , xN ) 2 A

NA ⇢ RDdomain: “box”

Page 11: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

Gibbs measure: dµ = d

Dx1 · · · dDxN e

��H0(x1,...,xN )

(x1, . . . , xN ) 2 A

NA ⇢ RDdomain: “box”

1/� = kBTabsolute temperature:

asphere diameter:

Page 12: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

Gibbs measure: dµ = d

Dx1 · · · dDxN e

��H0(x1,...,xN )

(x1, . . . , xN ) 2 A

NA ⇢ RDdomain: “box”

H0(x1, . . . , xN ) =

⇢0 if 8 i 6= j kxi � xjk > a1 otherwise

Hamiltonian:

1/� = kBTabsolute temperature:

asphere diameter:

Page 13: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

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

Page 14: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

dimensionless variables & parameters

xi = a xi

V = aD V

Page 15: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

dimensionless variables & parameters

xi = a xi

V = aD V

� p V = p V

p = (kBT/aD) p

Page 16: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

rescaled constant T & p ensemble

dµ(p) = d

Dx1 · · · dDxN dV e

�H0�pV

measure:

Page 17: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

rescaled constant T & p ensemble

dµ(p) = d

Dx1 · · · dDxN dV e

�H0�pV

measure:

configurations:

(x1, . . . , xN ) 2 A(V )N

8 i 6= j kxi � xjk > 1

A(V ) = RD/(V 1/DZ)D (periodic box)

Page 18: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

rescaled constant T & p ensemble

dµ(p) = d

Dx1 · · · dDxN dV e

�H0�pV

measure:

configurations:

(x1, . . . , xN ) 2 A(V )N

8 i 6= j kxi � xjk > 1

A(V ) = RD/(V 1/DZ)D (periodic box)

pdimensionless pressure (parameter):specific volume (property): v = hV i/N

Page 19: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •
Page 20: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •
Page 21: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

p = 2.00 v = 1.73

Page 22: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

p = 2.00 v = 1.73

Page 23: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

p = 20.00 v = 1.02

Page 24: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

p = 20.00 v = 1.02

Page 25: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

108 spheres (D = 3)

v = 1/p2

Page 26: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

� =|BD(1/2)|

vpacking fraction:

Page 27: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

T

p gas crystal

T

pcrystal

gas

T

pcrystal

gas

quiz: hard sphere phase diagram

Page 28: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

T

p gas crystal

T

pcrystal

gas

T

pcrystal

gas

quiz: hard sphere phase diagram

p = p (kB/a3)T a ⇡ 4Ap ⇡ 10 (krypton)

p (kB/a3) ⇡ 20 atm/K

Page 29: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

thermal equilibriumHere 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

Page 30: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

approaching equilibrium

�p

�t= p > 0 � > 0

108 spheresp = 10�5

10�6

10�7

10�8

Page 31: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

approaching equilibrium

�p

�t= p > 0 � > 0

108 spheresp = 10�5

10�6

10�7

10�8

p⇤�1 �2

Page 32: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

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

Page 33: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

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

Page 34: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

phase coexistenceAt 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

crystalgas

gas �1 = 0.494

�2 = 0.545

�1 < � < �2{p⇤ = 11.564

Page 35: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

thermodynamics

Z(p) =

Zdµ(p) =

Zdµ(0)e�pVnumber of microstates:

Page 36: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

thermodynamics

Z(p) =

Zdµ(p) =

Zdµ(0)e�pVnumber of microstates:

s(p) =kBN

logZ(p)entropy per sphere:

Page 37: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

thermodynamics

Z(p) =

Zdµ(p) =

Zdµ(0)e�pVnumber of microstates:

s(p) =kBN

logZ(p)entropy per sphere:

F (p) = �Ts(p)free energy per sphere:

Page 38: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

thermodynamics

Z(p) =

Zdµ(p) =

Zdµ(0)e�pVnumber of microstates:

s(p) =kBN

logZ(p)entropy per sphere:

F (p) = �Ts(p)free energy per sphere:

v =

1

NhV i = � 1

N

d

dplogZ(p) = � 1

kB

ds

dp

identity:

Page 39: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

p⇤

vcryst

vgas

v = �k�1B

ds

dp�v

p⇤

sgas

scrysts(p)

sgas(p⇤) = scryst(p

⇤)

Page 40: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

… 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”

Page 41: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

size of critical nucleus

Assume interface-surface entropy is isotropic, so the critical nucleus is spherical:

Page 42: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

size of critical nucleus

Assume interface-surface entropy is isotropic, so the critical nucleus is spherical:

snuc = (scryst � sgas)Vnuc

v� �Anuc

Page 43: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

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

Page 44: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

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

Page 45: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

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

snucRc

Page 46: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

snuc(Rc) = 0 ) Rc = 3(�/kB)(v/�v)1

�p

exponentially small nucleation rate: e�Vnuc/v0

Page 47: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

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.

Page 48: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

infinite pressure limit

limp!1

✓�k�1

B

ds

dp

◆= vmin

Page 49: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

infinite pressure limit

limp!1

✓�k�1

B

ds

dp

◆= vmin

s(p)/kB ⇠ �vmin p+ C

Page 50: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

infinite pressure limit

limp!1

✓�k�1

B

ds

dp

◆= vmin

s(p)/kB ⇠ �vmin p+ C

Z(p) ⇠ e�N(vmin p+C)

Page 51: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

infinite pressure limit

limp!1

✓�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.

Page 52: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

free volume: disks

Page 53: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

free volume: disks

Allowed positions of central disk when surrounding disks are held fixed.

Page 54: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

free volume: spheres

� = 0.45

cubic hexagonal AB …

hexagonal AC …

Page 55: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

hexagonal stacking

A

BC

“hexagonal close packing” (hcp) : … ABAB …“face-centered cubic” (fcc) : … ABCABC …

Page 56: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

limp!1

�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; other stackings have intermediate probabilities.

Page 57: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

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 …

Page 58: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

D = 1

• only one phase (gas)

• exercise: calculate s(p) in your head

Page 59: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

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

Page 60: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

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⇤ type3 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

Page 61: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

hard spheres in higher dimensions:

three possible universes

Page 62: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

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!

Page 63: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

The Stillinger-Torquato* universe• It is unreasonable to expect to find lattices optimized for packing

spheres in high dimensions.

• Argument: 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.

• Conjecture: 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)

Page 64: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

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.

Page 65: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

• 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:

Page 66: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

• 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 ordered

Page 67: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

• 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 ordered

cos ✓ 2 {0, (3±p3)/12, 1/2}

(378 spheres in complete configuration)

Page 68: The Phases of Hard Sphere Systems - Cornell Universityuuuuuu.lassp.cornell.edu/sites/default/files/icerm.pdf—Kurt Vonnegut (Cat’s Cradle) phase equilibrium: the ice-9 problem •

The new kissing configuration extends to a quasicrystal in 10 dimensions with center density δ = 4/128 !

Sphere centers projected into quasiperiodic plane; five kinds of contacting spheres.

Quasiperiodic tiling of squares, triangles and rhombi.

V. Elser and S. Gravel, Discrete Comput. Geom. 43 363-374 (2010)