Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf ·...

45
Random Walk and Other Lattice Models Christian Beneš Brooklyn College Math Club Brooklyn College Math Club 04-23-2013 (Brooklyn College Math Club) 04-23-2013 1 / 28

Transcript of Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf ·...

Page 1: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk and Other Lattice Models

Christian Beneš

Brooklyn College Math Club

Brooklyn College Math Club04-23-2013

(Brooklyn College Math Club) 04-23-2013 1 / 28

Page 2: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Outline

1 Lattices

2 Random Walk

3 Percolation

(Brooklyn College Math Club) 04-23-2013 2 / 28

Page 3: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Lattices

Lattices: Z,Z2

(Brooklyn College Math Club) 04-23-2013 3 / 28

Page 4: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Lattices

Lattices: Z,Z2 and Z3

(Brooklyn College Math Club) 04-23-2013 4 / 28

Page 5: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Lattices

More lattices: triangular and honeycomb

(Brooklyn College Math Club) 04-23-2013 5 / 28

Page 6: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Lattices

More lattices: Archimedean Lattices

(Brooklyn College Math Club) 04-23-2013 6 / 28

Page 7: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

Random Walk

Let Xi be independent random variables satisfyingP {Xi = 1} = p, P {Xi = −1} = 1− p. Then Sn =

∑ni=1 Xi is called a

simple random walk on the one-dimensional integer lattice. We willdefine S0 = 0 (meaning that the random walk starts at the origin).

(Brooklyn College Math Club) 04-23-2013 7 / 28

Page 8: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

0 10 20 30 40 50 60 70 80 90 100−4

−2

0

2

4

6

8

10

12

14

Number of Steps

Pos

ition

of W

alke

r

(Brooklyn College Math Club) 04-23-2013 8 / 28

Page 9: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

A random walk is called recurrent if

P{Sn = 0 for some n > 0} = 1.

Let

r = P{returning to the origin} = P{Sn = 0 for some n > 0}

andm = the expected number of returns to the origin.

The quantities r and m are related:

(Brooklyn College Math Club) 04-23-2013 9 / 28

Page 10: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

A random walk is called recurrent if

P{Sn = 0 for some n > 0} = 1.

Let

r = P{returning to the origin} = P{Sn = 0 for some n > 0}

andm = the expected number of returns to the origin.

The quantities r and m are related:

(Brooklyn College Math Club) 04-23-2013 9 / 28

Page 11: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

r = P{returning to the origin} = P{Sn = 0 for some n > 0},

m = the expected number of returns to the origin.

P{returning to the origin exactly k times} = r k (1− r).

m = E[number of returns to the origin ]

= 1 ·P{returning to the origin exactly 1 time}+ 2 ·P{returning to the origin exactly 2 times}+ 3 ·P{returning to the origin exactly 3 times}+ 4 ·P{returning to the origin exactly 4 times}+ ...

= r(1− r) + 2r2(1− r) + 3r3(1− r) + 4r4(1− r) + ...

= (1− r)(

r + 2r2 + 3r3 + 4r4 + ...)

=r

1− r

(Brooklyn College Math Club) 04-23-2013 10 / 28

Page 12: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

r = P{returning to the origin} = P{Sn = 0 for some n > 0},

m = the expected number of returns to the origin.

P{returning to the origin exactly k times} = r k (1− r).

m = E[number of returns to the origin ]

= 1 ·P{returning to the origin exactly 1 time}+ 2 ·P{returning to the origin exactly 2 times}+ 3 ·P{returning to the origin exactly 3 times}+ 4 ·P{returning to the origin exactly 4 times}+ ...

= r(1− r) + 2r2(1− r) + 3r3(1− r) + 4r4(1− r) + ...

= (1− r)(

r + 2r2 + 3r3 + 4r4 + ...)

=r

1− r

(Brooklyn College Math Club) 04-23-2013 10 / 28

Page 13: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

Sincem =

r1− r

,

we see that r = 1 if and only if m is infinite. So the walker is certainto return to the origin if and only if m is infinite.Let’s compute m:We define un = P{Sn = 0},

An =

{1, if Sn = 00, otherwise

and A =∑

i≥0 Ai .Note that E[An] = 1 · un + 0 · (1− un) = un and that A is the totalnumber of times the random walk is at the origin.So

m = E[A] =∑i≥0

E[Ai ] =∑i≥0

ui .

(Brooklyn College Math Club) 04-23-2013 11 / 28

Page 14: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

Sincem =

r1− r

,

we see that r = 1 if and only if m is infinite. So the walker is certainto return to the origin if and only if m is infinite.Let’s compute m:We define un = P{Sn = 0},

An =

{1, if Sn = 00, otherwise

and A =∑

i≥0 Ai .Note that E[An] = 1 · un + 0 · (1− un) = un and that A is the totalnumber of times the random walk is at the origin.So

m = E[A] =∑i≥0

E[Ai ] =∑i≥0

ui .

(Brooklyn College Math Club) 04-23-2013 11 / 28

Page 15: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

Sincem =

r1− r

,

we see that r = 1 if and only if m is infinite. So the walker is certainto return to the origin if and only if m is infinite.Let’s compute m:We define un = P{Sn = 0},

An =

{1, if Sn = 00, otherwise

and A =∑

i≥0 Ai .Note that E[An] = 1 · un + 0 · (1− un) = un and that A is the totalnumber of times the random walk is at the origin.So

m = E[A] =∑i≥0

E[Ai ] =∑i≥0

ui .

(Brooklyn College Math Club) 04-23-2013 11 / 28

Page 16: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

Sincem =

r1− r

,

we see that r = 1 if and only if m is infinite. So the walker is certainto return to the origin if and only if m is infinite.Let’s compute m:We define un = P{Sn = 0},

An =

{1, if Sn = 00, otherwise

and A =∑

i≥0 Ai .Note that E[An] = 1 · un + 0 · (1− un) = un and that A is the totalnumber of times the random walk is at the origin.So

m = E[A] =∑i≥0

E[Ai ] =∑i≥0

ui .

(Brooklyn College Math Club) 04-23-2013 11 / 28

Page 17: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

The random walk can only be at the origin at even times, so

m = u0 + u2 + u4 + u6 + ... =∑n≥0

u2n.

u2n =

(2nn

)pn(1− p)n =

(2n)!

n!n!pn(1− p)n.

Stirling’s formula (n! ∼√

2πne−nnn) implies

u2n ∼√

2π2ne−2n(2n)2npn(1− p)n

(√

2πne−nnn)2=

(4p(1− p))n√πn

.

Therefore,

m =∑n≥0

u2n <∞ ⇐⇒∑n≥0

(4p(1− p))n√πn

<∞.

This is infinite if p = 12 and finite if p 6= 1

2 .

(Brooklyn College Math Club) 04-23-2013 12 / 28

Page 18: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

The random walk can only be at the origin at even times, so

m = u0 + u2 + u4 + u6 + ... =∑n≥0

u2n.

u2n =

(2nn

)pn(1− p)n =

(2n)!

n!n!pn(1− p)n.

Stirling’s formula (n! ∼√

2πne−nnn) implies

u2n ∼√

2π2ne−2n(2n)2npn(1− p)n

(√

2πne−nnn)2=

(4p(1− p))n√πn

.

Therefore,

m =∑n≥0

u2n <∞ ⇐⇒∑n≥0

(4p(1− p))n√πn

<∞.

This is infinite if p = 12 and finite if p 6= 1

2 .

(Brooklyn College Math Club) 04-23-2013 12 / 28

Page 19: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

The random walk can only be at the origin at even times, so

m = u0 + u2 + u4 + u6 + ... =∑n≥0

u2n.

u2n =

(2nn

)pn(1− p)n =

(2n)!

n!n!pn(1− p)n.

Stirling’s formula (n! ∼√

2πne−nnn) implies

u2n ∼√

2π2ne−2n(2n)2npn(1− p)n

(√

2πne−nnn)2=

(4p(1− p))n√πn

.

Therefore,

m =∑n≥0

u2n <∞ ⇐⇒∑n≥0

(4p(1− p))n√πn

<∞.

This is infinite if p = 12 and finite if p 6= 1

2 .

(Brooklyn College Math Club) 04-23-2013 12 / 28

Page 20: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

The random walk can only be at the origin at even times, so

m = u0 + u2 + u4 + u6 + ... =∑n≥0

u2n.

u2n =

(2nn

)pn(1− p)n =

(2n)!

n!n!pn(1− p)n.

Stirling’s formula (n! ∼√

2πne−nnn) implies

u2n ∼√

2π2ne−2n(2n)2npn(1− p)n

(√

2πne−nnn)2=

(4p(1− p))n√πn

.

Therefore,

m =∑n≥0

u2n <∞ ⇐⇒∑n≥0

(4p(1− p))n√πn

<∞.

This is infinite if p = 12 and finite if p 6= 1

2 .

(Brooklyn College Math Club) 04-23-2013 12 / 28

Page 21: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

The random walk can only be at the origin at even times, so

m = u0 + u2 + u4 + u6 + ... =∑n≥0

u2n.

u2n =

(2nn

)pn(1− p)n =

(2n)!

n!n!pn(1− p)n.

Stirling’s formula (n! ∼√

2πne−nnn) implies

u2n ∼√

2π2ne−2n(2n)2npn(1− p)n

(√

2πne−nnn)2=

(4p(1− p))n√πn

.

Therefore,

m =∑n≥0

u2n <∞ ⇐⇒∑n≥0

(4p(1− p))n√πn

<∞.

This is infinite if p = 12 and finite if p 6= 1

2 .

(Brooklyn College Math Club) 04-23-2013 12 / 28

Page 22: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

This means that r = 1 if and only if p = 12 , and so the random walk is

certain to come back to the origin if and only if p = 12 . This gives the

following result due to Pólya:

Theorem

If p = 12 , the random walk returns to the origin infinitely often. If p 6= 1

2 ,the random walk returns to the origin only finitely many times.

0 10 20 30 40 50 60 70 80 90 100−4

−2

0

2

4

6

8

10

12

14

Number of Steps

Pos

ition

of W

alke

r

Simple Random Walk of 100 steps

(Brooklyn College Math Club) 04-23-2013 13 / 28

Page 23: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

This means that r = 1 if and only if p = 12 , and so the random walk is

certain to come back to the origin if and only if p = 12 . This gives the

following result due to Pólya:

Theorem

If p = 12 , the random walk returns to the origin infinitely often. If p 6= 1

2 ,the random walk returns to the origin only finitely many times.

0 10 20 30 40 50 60 70 80 90 100−4

−2

0

2

4

6

8

10

12

14

Number of Steps

Pos

ition

of W

alke

r

Simple Random Walk of 100 steps

(Brooklyn College Math Club) 04-23-2013 13 / 28

Page 24: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

Implications for (American) Roulette

(Brooklyn College Math Club) 04-23-2013 14 / 28

Page 25: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

Implications for (American) Roulette

Expected gains if you bet one dollar on red:

1838· 1 +

2038

(−1) = − 119

$.

Thus on average, you will lose 119 dollars per game! You will of course

have the privilege of losing more (on average) if you bet more.Polya’s theorem implies that eventually, your gains (a random walk withp = 18

38 ) will never be 0 again.

(Brooklyn College Math Club) 04-23-2013 15 / 28

Page 26: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

Gambler’s Ruin

Suppose you go to Las Vegas with $200 and play roulette by bettingon red at every spin. You do this until you win $200 or lose all yourmoney. What is the chance that you’ll win $200?

TheoremIf you start a random walk (with probability p of going up, q = 1− p ofgoing down by 1) at an integer x > 0 and decide to let the walk rununtil it reaches a pre-determined value of y > x or 0, the probability ofreaching y before 0 is

xy if p = 1

2 .“qp

”x−1“

qp

”y−1

if p 6= q.

So all we have to do to answer the question is usex = 200, y = 400,p = 9

19 ,q = 1019 . This gives a probability of

(Brooklyn College Math Club) 04-23-2013 16 / 28

Page 27: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

Gambler’s Ruin

Suppose you go to Las Vegas with $200 and play roulette by bettingon red at every spin. You do this until you win $200 or lose all yourmoney. What is the chance that you’ll win $200?

TheoremIf you start a random walk (with probability p of going up, q = 1− p ofgoing down by 1) at an integer x > 0 and decide to let the walk rununtil it reaches a pre-determined value of y > x or 0, the probability ofreaching y before 0 is

xy if p = 1

2 .“qp

”x−1“

qp

”y−1

if p 6= q.

So all we have to do to answer the question is usex = 200, y = 400,p = 9

19 ,q = 1019 . This gives a probability of

(Brooklyn College Math Club) 04-23-2013 16 / 28

Page 28: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

Gambler’s Ruin

Suppose you go to Las Vegas with $200 and play roulette by bettingon red at every spin. You do this until you win $200 or lose all yourmoney. What is the chance that you’ll win $200?

TheoremIf you start a random walk (with probability p of going up, q = 1− p ofgoing down by 1) at an integer x > 0 and decide to let the walk rununtil it reaches a pre-determined value of y > x or 0, the probability ofreaching y before 0 is

xy if p = 1

2 .“qp

”x−1“

qp

”y−1

if p 6= q.

So all we have to do to answer the question is usex = 200, y = 400,p = 9

19 ,q = 1019 . This gives a probability of

(Brooklyn College Math Club) 04-23-2013 16 / 28

Page 29: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

Gambler’s Ruin

≈ 7 · 10−10

(Brooklyn College Math Club) 04-23-2013 17 / 28

Page 30: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

2 and 3 Dimensions

Let Xi be independent random vectors in Z2 satisfyingP {Xi = ±〈1,0〉} = P {Xi = ±〈0,1〉} = 1

4 . Then Sn =∑n

i=1 Xi asymmetric random walk in Z2. Similarly, if Xi are independentrandom vectors in Z3 satisfyingP {Xi = ±〈1,0,0〉} = P {Xi = ±〈0,1,0〉} = P {Xi = ±〈0,0,1〉} = 1

6 .Then Sn =

∑ni=1 Xi a symmetric random walk in Z3.

−35 −30 −25 −20 −15 −10 −5 0 5 10−60

−50

−40

−30

−20

−10

0

10

20

−50

510

1520

−20

−15

−10

−5

0

5−5

0

5

10

15

20

25

(Brooklyn College Math Club) 04-23-2013 18 / 28

Page 31: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

2 and 3 Dimensions

http://stat.math.uregina.ca/~kozdron/Simulations/LERW/LERW.html

(Brooklyn College Math Club) 04-23-2013 19 / 28

Page 32: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

2 and 3 Dimensions

We can use the same analysis as for the one-dimensional case:In the 2-d case,

u2n =n∑

k=0

(2n)!

k !k !(n − k)!(n − k)!(14)2n

= (14)2n (2n)!

n!n!

n∑k=0

n!n!

k !k !(n − k)!(n − k)!

= (14)2n(

2nn

) n∑k=0

(nk

)2

=

((12)2n(

2nn

))2

.

This is the square of the 1-d case, and so

u2n ∼1πn,

the sum of which diverges.(Brooklyn College Math Club) 04-23-2013 20 / 28

Page 33: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

2 and 3 Dimensions

For the 3d case, we get (for some constant K )

u2n ≤K

n3/2 ,

Theorem (Pólya)In two dimensions, the symmetric random walk returns to the origininfinitely often. In three dimensions, the symmetric random walkreturns to the origin only finitely many times.

(Brooklyn College Math Club) 04-23-2013 21 / 28

Page 34: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Random Walk

2 and 3 Dimensions

For the 3d case, we get (for some constant K )

u2n ≤K

n3/2 ,

Theorem (Pólya)In two dimensions, the symmetric random walk returns to the origininfinitely often. In three dimensions, the symmetric random walkreturns to the origin only finitely many times.

(Brooklyn College Math Club) 04-23-2013 21 / 28

Page 35: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Percolation

Percolation

Consider one of the lattices seen at the beginning of this talk. It iscomposed of vertices and edges.Imagine that you paint each vertex in one of two colors, randomly, andindependently for each vertex. This is called site percolation.The same thing can be done with edges rather than vertices. This iscalled bond percolation.Often, one of the colors is the “invisible” color, that is, we either keep orremove the vertices (or edges).

(Brooklyn College Math Club) 04-23-2013 22 / 28

Page 36: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Percolation

Percolation

(Brooklyn College Math Club) 04-23-2013 23 / 28

Page 37: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Percolation

Percolation

(Brooklyn College Math Club) 04-23-2013 24 / 28

Page 38: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Percolation

When is there a path from left to right?

(Brooklyn College Math Club) 04-23-2013 25 / 28

Page 39: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Percolation

Questions

A related (but hard) question is the following:When is there an infinite open cluster? The answer depends on theprobability p of keeping an edge.There is a value of p called pc (p-critical) such that

If p < pc , there is no infinite cluster.If p > pc , there is an infinite cluster.

The big questions of percolation theory are:1 For a given lattice, what is pc?2 Is there an infinite cluster at pc?

(Brooklyn College Math Club) 04-23-2013 26 / 28

Page 40: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Percolation

Questions

A related (but hard) question is the following:When is there an infinite open cluster? The answer depends on theprobability p of keeping an edge.There is a value of p called pc (p-critical) such that

If p < pc , there is no infinite cluster.If p > pc , there is an infinite cluster.

The big questions of percolation theory are:1 For a given lattice, what is pc?2 Is there an infinite cluster at pc?

(Brooklyn College Math Club) 04-23-2013 26 / 28

Page 41: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Percolation

Questions

A related (but hard) question is the following:When is there an infinite open cluster? The answer depends on theprobability p of keeping an edge.There is a value of p called pc (p-critical) such that

If p < pc , there is no infinite cluster.If p > pc , there is an infinite cluster.

The big questions of percolation theory are:1 For a given lattice, what is pc?2 Is there an infinite cluster at pc?

(Brooklyn College Math Club) 04-23-2013 26 / 28

Page 42: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Percolation

Simulations

http://www.physics.buffalo.edu/gonsalves/Java/Percolation.html

http://www.svengato.com/forestfire.html

http://stat.math.uregina.ca/~kozdron/Simulations/Perc.html

http://www.ibiblio.org/e-notes/Perc/perc.htm

(Brooklyn College Math Club) 04-23-2013 27 / 28

Page 43: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Percolation

Answers

1

lattice pc (site) pc (bond)

square 0.592746 12(Kesten,80′s)

triangular 12 2 sin( π18)

honeycomb 0.6962 1− 2 sin( π18)

2 There are no infinite clusters at pc in dimensions 2 and ≥ 19.Physicists believe that it is true in all dimensions, but no rigorousproof exists.

(Brooklyn College Math Club) 04-23-2013 28 / 28

Page 44: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Percolation

Answers

1

lattice pc (site) pc (bond)

square 0.592746 12(Kesten,80′s)

triangular 12 2 sin( π18)

honeycomb 0.6962 1− 2 sin( π18)

2 There are no infinite clusters at pc in dimensions 2 and ≥ 19.Physicists believe that it is true in all dimensions, but no rigorousproof exists.

(Brooklyn College Math Club) 04-23-2013 28 / 28

Page 45: Random Walk and Other Lattice Modelsuserhome.brooklyn.cuny.edu/cbenes/BC-MathClub13.pdf · 2014-04-30 · Random Walk This means that r = 1 if and only if p = 1 2, and so the random

Percolation

Answers

1

lattice pc (site) pc (bond)

square 0.592746 12(Kesten,80′s)

triangular 12 2 sin( π18)

honeycomb 0.6962 1− 2 sin( π18)

2 There are no infinite clusters at pc in dimensions 2 and ≥ 19.Physicists believe that it is true in all dimensions, but no rigorousproof exists.

(Brooklyn College Math Club) 04-23-2013 28 / 28