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

Transcript of The Phases of Hard Sphere Systems - Cornell...

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)