40
Sid Redner, Boston University, physics.bu.edu/~redner collaborators: P. L. Krapivsky, V. Spirin, J. Tailleur Question: What is the shape of a manifold whose surface dynamically erodes? Cutting Corners Results: Chipping model not-quite round shape Corner interface ASEP integer partitions Challenges: 3 dimensions does a paramagnet reach the ground state? 13th C. Itzykson Conference: Puzzles of Growth Examples: Boulders pebbles Ising interface evolution

Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

  • Upload
    others

  • View
    5

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Sid Redner, Boston University, physics.bu.edu/~rednercollaborators: P. L. Krapivsky, V. Spirin, J. Tailleur

Question: What is the shape of a manifold whose surface dynamically erodes?

Cutting Corners

Results: Chipping model → not-quite round shape Corner interface ↔ ASEP ↔ integer partitions

Challenges: 3 dimensionsdoes a paramagnet reach the ground state?

13th C. Itzykson Conference: Puzzles of Growth

Examples: Boulders → pebblesIsing interface evolution

Page 2: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Doug Durian’s Erosion Machine

rock

Durian et al., PRL 97, 028001 (2006); PRE 75, 021301 (2007)

Page 3: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Evolution of a Square Rock

1 2 3

4 5 6

7 8 9

Page 4: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

ExpectationsAristotle (~350 BC):

Rounding due to faster erosion at exposed corners and extremities.

If vinterface ! local curvature,

& many differentrial geometry pubs Mullins (1956):

! circular limiting shape for d = 2non-circular limiting shape for d > 2

Page 5: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

1

0.8

0.6

0.4

0.2

0-2 0 2 4 6 8

f(K

)

K/<K>

- 2 0 0

- 1 0 0

0

100

200

- 2 0 0 - 1 0 0 0 100 200

Rock Chipping: Final Shape not Circular

actual shapes

cumulative curvature dist.

actual shapes (step fn→circle)

(K=curvature)

Page 6: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

!1!2!="/2

Chipping Model

geometry of single event

L1 L2z1

z2

PLK & SRPRE 75, 031119 (2007)

Page 7: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Numerical Realizations (100 corners)

Page 8: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Angle Evolution for Bisection

nk ! # corners with “angle” k k ! " ln2(2!/")

= number of halvings

dnk

dt= !

nk

t+

2

tnk!1Continuum limit:

nk(t) =12

t

(2 ln t)k

k!Result:

Master equation: (start with square; t+4 corners at time t)

nk(t + 1) ! nk(t) = !

1

t + 4nk(t) +

2

t + 4nk!1(t)

lose a k-corner bisect a (k!1)-corner

Page 9: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

0 10 20 30k

00.03

0.06

0.09

N k/!

kNk

(a)

Angle Distribution for Bisection104 chipping events

exact

5 realizations

Page 10: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

20 30 40 50k

0.02

0.04

0.06

(b)

107 chipping events

Page 11: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Angle Evolution for General Angles

2!

"/22

!1

! !1

"/2

Page 12: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

!c(x, t)

!t= !c(x, t) + 2

! 1

x

c(y, t)dy

y

Angle Evolution for General Angles

2!

"/22

!1

! !1

"/2 ↔ segment fragmentation

c(x, t) = fraction of angles x = !/2"

c(!, t) =8

"

!

2t

ln("/2!)e!tI1

"

#

8t ln("/2!)$

+8

"e!t#

"

! !

"

2

$

,

" e"

!t ln ! Ziff & McGrady (1985); Ziff (1992)

→broad distribution of angles

dnk

dt= !

nk

t+

2

tnk!1

compare with

Page 13: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

X2(N) =1

N

N!

i=1

x2

i Y 2(N) =1

N

N!

i=1

y2

i

R2+(N) = max(X2(N), Y 2(N))

R2!

(N) = min(X2(N), Y 2(N))

!(N) !!

"R2+(N)#/

!

"R2!

(N)#

Asymmetry

for each realization

average over all realizations

Page 14: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Simulation Results

0.00 0.02 0.04 0.06 0.08 0.101/N

1.43

1.47

1.51

1.55!

asymptotic asymmetry!

Page 15: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Zero-temperature Glauber dynamics:

Ferromagnetic Ising model

Even coordinated lattices

Pick a random spin and compute energy change ΔE if the spin were to flip:

if !E < 0 do it

if !E > 0 don!t do it

if !E = 0 do it with prob. 1/2

Periodic boundary conditions

V. Spirin, PLK, SR, PRE 63, 036118 (2001); PRE 65, 016119 (2002)

Dynamics of Ising Interfaces

Page 16: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Dynamics of Ising Interfaces

Start with each spin ↑ or ↓ with probability ½.Impose T=0 Glauber dynamics.

What is the final state?

V. Spirin, PLK, SR, PRE 63, 036118 (2001); PRE 65, 016119 (2002)

d=1: ground state is always reached

d=2: ground state is sometimes reached

d>2: ground state is never reached

Many interacting interfaces are complicated → study dynamics of a single interface

Page 17: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

a straight interface is stable: too simple

an evolving interface must have curvature: → single corner interface

x

_+

+

St

_y

Simplest Ising Interface J. Tailleur, PLK, & SRPRE 69, 026125 (2004)

Page 18: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

a straight interface is stable: too simple

an evolving interface must have curvature: → single corner interface

x

_+

+

St

_y

Simplest Ising Interface J. Tailleur, PLK, & SRPRE 69, 026125 (2004)

Page 19: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

y

....y y y0 1 2

x

Simplest Ising Interface

one more “outer” corner than “inner” corner

inner corners

outer corners

Page 20: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

y

....y y y0 1 2

x

Simplest Ising Interface

one more “outer” corner than “inner” corner

! St = t x, t "#

t interface recedes diffusively

St

Page 21: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Three Basic Models

1. all corners flip equiprobably evaporation = deposition → Ising interface

+

Page 22: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Three Basic Models

2. evaporation > deposition → equilibrium integer partitions

1. all corners flip equiprobably evaporation = deposition → Ising interface

Page 23: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Three Basic Models

3. deposition only (H>0⁺) → growing integer partitions

1. all corners flip equiprobably evaporation = deposition → Ising interface

2. evaporation > deposition → equilibrium integer partitions

Page 24: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

y

....y y y0 1 2

x

Equivalence of corner interface & Young diagram

22 = {7, 6, 4, 2, 1, 1, 1}

2. Equilibrium Integer Partitions

Page 25: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

p(t) !1

4"

3 te"

2!2t/3number of distinct partitions of t: Hardy & Ramanujan (1918)

if each partition equiprobable, limiting interface shape is:

e!!x

+ e!!y

= 1 ! ="

!

6tTemperley (1952)

2. Equilibrium Integer Partitions

Page 26: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

3. Growing Integer PartitionsIsing interface with H>0⁺

Page 27: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Equivalent to Asymmetric Exclusion Process

downslope → particleupslope → hole

Page 28: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Equivalent to Asymmetric Exclusion Process

downslope → particleupslope → hole

Page 29: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Equivalent to Asymmetric Exclusion Process

y!(x) = !n(z)

Page 30: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Equivalent to Asymmetric Exclusion Process

y!(x) = !n(z)

!"

x +"

y ="

t Rost (1981)

n(z, t) !

!

"

#

"

$

1 z < "t1

2

%

1 " z

t

&

|z| < t

0 z > t

nt + [n(1 ! n)]z = 0

y(x)

xz=x-y

y

Page 31: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Macroscopic Allen-Cahn equation for limiting shape:

vn = !D" · n interface velocity ∝ local curvature

for the corner geometry: yt = Dyxx

1 + y2x

self-similar solution: y(x, t) =!

Dt Y (X) X = x/!

Dt

!

Y " XY !

2=

Y !!

1 + (Y !)2

Y !

A

X2e!X2/4

A ! 2.74404 . . .

AC equation:

asymptotic solution:

limX!"

Y (X) = 0

limX!+0

Y (X) = !

1. Ising Interface

Page 32: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Equivalent to Symmetric Exclusion Process

y!(x) = !n(z)

asymptotic solution: Y !2"

!

e!X2

X2

nt = nzz

n(z, t) =1

2erfc(z/

!

4t)

PLK (2008)

Page 33: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

0 1 2 3 4λx

0

1

2

3

4λy

Isingpartitionsirreversible

Page 34: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

0 0.2 0.4 0.6 0.8 1e−λx

0

0.2

0.4

0.6

0.8

1e−

λyIsingpartitionsirreversible

e!!x

+ e!!y

= 1

Page 35: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

!

x +!

y =!

t

0.0 0.2 0.4 0.6 0.8 1.0

(x/t)1/20

0.2

0.4

0.6

0.8

1(y/t)

1/2

Isingpartitionsirreversible

Page 36: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Outlook

chipping model:

robust with respect to extensions preferentially chip prominent corners; chip more than 1 corner

large fluctuations between realizations not quite round shapes (in d=2)

Ising interfaces:relation with partitions; single interface solvedchallenges: corner interface in d=3

Page 37: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Stolen from Richard Kenyon’s website

Single Corner in d=3

Page 38: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Outlook

chipping model:

robust with respect to extensions preferentially chip prominent corners; chip more than 1 corner

large fluctuations between realizations not quite round shapes (in d=2)

Ising interfaces:relation with partitions; single interface solvedchallenges:

¿final fate with random IC?corner interface in d=3

Page 39: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

What is the final state?d=1: ground state is always reached

d=2: ground state is sometimes reached

d>2: ground state is never reached

Please prove for d ≥ 2!

Page 40: Cutting Corners - Boston University Physicsphysics.bu.edu/~redner/talks/cutting-corners.pdf · Cutting Corners Results: ... preferentially chip prominent corners; chip more than 1

Outlook

chipping model:

robust with respect to extensions preferentially chip prominent corners; chip more than 1 corner

large fluctuations between realizations not quite round shapes (in d=2)

Ising interfaces:relation with partitions; single interface solvedchallenges:

¿final fate with random IC?corner interface in d=3