Chapter IV: Varied phenomenology of models displaying dynamical large-
4.2 Driven random walker
We start with a model similar to one studied in Ref. [13], a driven random walker on a closed (non-periodic) lattice of๐ฟsites. We choose๐ฟto be odd, and work in discrete time1. Let the instantaneous position of the walker be๐ฅ โ {โ(๐ฟโ1)/2, . . . ,(๐ฟโ 1)/2}. At each time๐ก the walker moves right(๐ฅโ ๐ฅ+1) with probability๐(๐ฅ), or
1We have carried out analogous calculations in continuous time, and draw the same conclusions.
ยฐ0.5ยฐ0.25 0 0.25 0.5
a
0 0.1 0.2 0.3
I(a)
(c)
0.1 0.2 0.3 0.4
k
ยฐ0.1
ยฐ0.075
ยฐ0.05
ยฐ0.025 0
โ(k)
(a)
L= 11 L= 17 L= 23
0.1 0.2 0.3 0.4
k
ยฐ0.4
ยฐ0.2 0 0.2 0.4
a(k)
(b)
0 2.5 5 7.5 10
T /1000
ยฐ0.5
ยฐ0.25 0 0.25 0.5
x/L
(d) k? = ยฐ0.347
0 2.5 5 7.5 10
T /1000 k? =ยฐ0.253
0 2.5 5 7.5 10
T /1000 k? = ยฐ0.234
ยฐ0.5 0 0.5
x/L
0 1 2 3 4 5
ฮฉ(x/L)
(e)
t/1000 (1)
a= 0.2 (2)
a= 0.3 (3)
a= 0.5 (4)
a= 0.6 (5)
a= 0.7 (6)
p(x) =1
4(1 (x/L)2) (7)
+1 (8)
1(1 ) (9)
โj (10)
ยต(t) (11)
t/1000 (1)
a= 0.2 (2)
a= 0.3 (3)
a= 0.5 (4)
a= 0.6 (5)
a= 0.7 (6)
p(x) =1
4(1 (x/L)2) (7)
+1 (8)
1(1 ) (9)
โj (10)
ยต(t) (11)
t/1000 (1)
a= 0.2 (2)
a= 0.3 (3)
a= 0.5 (4)
a= 0.6 (5)
a= 0.7 (6)
p(x) =1
4(1 (x/L)2) (7)
+1 (8)
1(1 ) (9)
โj (10)
ยต(t) (11)
Figure 4.1: (aโc) Large-deviation functions for the time-averaged position ๐ of a driven discrete random walker on a closed lattice of๐ฟ sites. (d) Walker trajectories showing the instantaneous position๐ฅ/๐ฟunder the biased dynamics corresponding to the point๐ =๐โ of greatest curvature of๐(๐). These trajectories show intermittency, with the walker switching between two locations on either side of the lattice. The timescale for residence in the distinct lattice locations increases with increasing ๐ฟ. (e) Histograms of the instantaneous position๐ฅ/๐ฟ for the trajectories in (d).
left with probability 1โ๐(๐ฅ). In this section we set๐(๐ฅ) =1/4, and so the walkerโs typical location is near the left-hand side of the lattice,๐ฅ =โ(๐ฟโ1)/2. If the walker sits at either edge of the lattice then it moves away from the edge with probability 1 (so ๐(โ(๐ฟโ1)/2) = 1 and๐( (๐ฟโ1)/2) =0), analogous to reflecting boundaries in the continuum limit.
The master equation associated with this dynamics is ๐๐ฅ(๐ก+1) =ร
๐ฅ0
๐๐ฅ0๐ฅ๐๐ฅ0(๐ก), (4.1) where๐๐ฅ(๐ก)is the probability that the walker resides at lattice site๐ฅat time๐ก, and the generator๐๐ฅ0๐ฅ = ๐(๐ฅ0)๐ฟ๐ฅ ,๐ฅ0+1+ (1โ๐(๐ฅ0))๐ฟ๐ฅ ,๐ฅ0โ1is the probability of the transition ๐ฅ0โ ๐ฅ.
We take the time-averaged position ๐ of the walker as our dynamical observable.
This quantity is
๐(๐) = (๐ ๐ฟ)โ1
๐
ร
๐ก=1
๐ฅ๐
๐ก , (4.2)
where๐ฅ๐
๐ก is the position of the walker at time๐ก =1, . . . , ๐ within a trajectory๐. We have normalized๐(๐)by the size of the lattice,๐ฟ. The typical value of๐, which we call๐
0, corresponds to the value of (4.2) in the limit of large๐. Because the walker prefers to sit near the left-hand side of the lattice,๐
0 โ โ1/2.
To calculate the probability distribution ๐๐(๐ด =๐๐)of the walkerโs time-averaged position, we appeal to the tools of large-deviation theory. The probability distribu- tion adopts in the long-time limit the large-deviation form
๐๐(๐ด) โ ๐โ๐ ๐ผ(๐), (4.3)
where ๐ผ(๐) is the rate function (on speed๐) [4, 5]. ๐ผ(๐) quantifies the probability with which the walker achieves a specific, and potentially rare, time-averaged posi- tion. When ๐ผ(๐) is convex, as it is for ergodic Markov chains, it can be recovered from its Legendre transform, the scaled cumulant-generating function (SCGF) [5],
๐(๐) =๐(๐)๐โ๐ผ(๐(๐)). (4.4) Here ๐ is a conjugate field, and๐(๐) = ๐0(๐) is the value of ๐ associated with a particular value of๐. If the lattice is not too large then the SCGF can be calculated by finding directly the largest eigenvalue of the tilted generator,๐๐
๐ฅ0๐ฅ =e๐ ๐ฅ๐๐ฅ0๐ฅ. The rate function can then be obtained by inverting (4.4). We use this standard method to calculate๐(๐),๐(๐), and๐ผ(๐).
ยฐ0.5 0 0.5
a
0 0.005 0.01 0.015 0.02
I(a)
(c)
ยฐ0.1ยฐ0.05 0 0.05 0.1
k
0 0.01 0.02 0.03 0.04
โ(k)
(a)
L= 21 L= 41 L= 81
ยฐ0.1ยฐ0.05 0 0.05 0.1
k
ยฐ0.5
ยฐ0.25 0 0.25 0.5
a(k)
(b)
0 2.5 5 7.5 10
T /1000
ยฐ0.5
ยฐ0.25 0 0.25 0.5
x/L
(d) k? = 0
0 2.5 5 7.5 10
T /1000 k? = 0
0 2.5 5 7.5 10
T /1000 k? = 0
ยฐ0.5 0 0.5
x/L
0 0.25 0.5 0.75 1
ฮฉ(x/L)
(e)
t/1000 (1)
a= 0.2 (2)
a= 0.3 (3)
a= 0.5 (4)
a= 0.6 (5)
a= 0.7 (6)
p(x) = 1
4(1 (x/L)2) (7)
+1 (8)
1(1 ) (9)
โj (10)
ยต(t) (11)
t/1000 (1)
a= 0.2 (2)
a= 0.3 (3)
a= 0.5 (4)
a= 0.6 (5)
a= 0.7 (6)
p(x) =1
4(1 (x/L)2) (7)
+1 (8)
1(1 ) (9)
โj (10)
ยต(t) (11)
t/1000 (1)
a= 0.2 (2)
a= 0.3 (3)
a= 0.5 (4)
a= 0.6 (5)
a= 0.7 (6)
p(x) =1
4(1 (x/L)2) (7)
+1 (8)
1(1 ) (9)
โj (10)
ยต(t) (11)
Figure 4.2: Analog of Fig. 4.1, now for an undriven walker. (aโc) As for the driven walker, large-deviation functions show increasingly sharp behavior as ๐ฟ increases.
(d) Trajectories showing the instantaneous position๐ฅ/๐ฟof the walker at the point of greatest curvature of๐(๐), ๐โ =0. These trajectories do not exhibit intermittency.
(e) As a result, histograms of the instantaneous position๐ฅ/๐ฟ for the trajectories in (d) are unimodal.
โ0.5 0 0.5
a
0 5 10 15 20
I(a)L2
(c)
โ100 โ50 0 50 100
kL2
0 10 20 30
ฮป(kL2 )
(a)
L= 21 L= 41 L= 81
โ100 โ50 0 50 100
kL2
โ0.5
โ0.25 0 0.25 0.5
a(kL2 )
(b)
Figure 4.3: (aโc) The large-deviation functions of Fig. 4.2 (aโc), rescaled by ๐ฟ2to account for the timescale associated with diffusion. The resulting collapse indicates that these systems behave similarly when viewed on the natural timescale ๐/๐ฟ2. The large-deviation singularity in this case results from divergence of the diffusive timescale.
In Fig. 4.1 we show the large-deviation functions for the time-averaged position ๐ of the driven walker. As the lattice size ๐ฟ increases, the SCGF and ๐(๐) bend increasingly sharply, and portions of the rate function become increasingly linear.
In Fig. 4.1(d) we show biased dynamical trajectories of the walker, generated at the points ๐ = ๐โ at which the SCGF bends most sharply. We generated these trajectories using the exact eigenvectors of the tilted generator [28, 29]. Because the SCGF is convex, biased trajectories generated using field๐correspond to trajectories that produce a value ๐(๐) = ๐0(๐) of the time-integrated observable ๐ [28], and are the โleast unlikely of all the unlikely waysโ [4] of achieving the specified time average. For this model these trajectories are intermittent, with the walker switching abruptly from one location on the lattice to another. As a result, histograms of the instantaneous position of the walker are bimodal [panel (e)]. As the lattice size increases, the residence time at each location increases.
The intermittent behavior has a simple physical origin. The probability per unit time for the walker to sit at (fluctuate about) its preferred location is greater than that to sit at any site in the lattice interior, but the latter probability is essentially independent of position (see Section 4.4). If conditioned to achieve a time-averaged position๐ at (say) the center of the lattice, it could sit for all time at the corresponding lattice location. But it could also spend half its time at its preferred location, and half its time near the far end of the lattice. Given that sitting near the far end of the lattice is not more costly than sitting in the middle, the intermittent strategy is more probable
than the homogeneous one. This argument holds for time๐ much longer than๐(๐ฟ), the emergent mixing time governing intermittency. The probability of crossing the lattice in the difficult direction isโผ ๐๐ฟ, and so the timescale for doing so increases exponentially with๐ฟ.