Random walks on the East model Oriane Blondel Warwick, January 2016

advertisement
Random walks on the East model
Oriane Blondel
CNRS; Université Lyon 1 Claude Bernard
Warwick, January 2016
j.w. L. Avena and A. Faggionato
O. Blondel
RW on East
East model
Markov process
(ξt )t∈R+ on {0, 1}Z . ρ ∈ (0, 1) density parameter.
(
ρ
0 −→ 1
At site x,
if x + 1 (the East neighbor of x) is empty.
1−ρ
1 −→ 0
LE f (ξ) =
X
(1 − ξ(x + 1)) ρ(1 − ξ(x)) + (1 − ρ)ξ(x) f (ξ x ) − f (ξ)
x
ρ = 1/2; space horizontal, time goes down, 1 = •, 0 = •.
O. Blondel
RW on East
A few properties of the East model
I Reversible w.r.t. µ := Ber(ρ)⊗Z .
I Mixing in L2 (µ) [Aldous-Diaconis ’00]:
∀ρ ∈ (0, 1), ∃γ > 0 s.t. ∀f , g ∈ L2 (µ)
|Eµ [f (η0 )g (ηt )] − µ(f )µ(g )| ≤ C (f , g )e −γt .
O. Blondel
RW on East
A few properties of the East model
I Reversible w.r.t. µ := Ber(ρ)⊗Z .
I Mixing in L2 (µ) [Aldous-Diaconis ’00]:
∀ρ ∈ (0, 1), ∃γ > 0 s.t. ∀f , g ∈ L2 (µ)
|Eµ [f (η0 )g (ηt )] − µ(f )µ(g )| ≤ C (f , g )e −γt .
Some non-properties of the East model
Not attractive.
No uniform or cone-mixing property.
O. Blondel
RW on East
RW in (dynamic) random environment
(Zt )t≥0 process on Zd such that
P(Zt+dt = x + y |Zt = x) = r (y , τx ξt )dt,
d
where (ξt )t≥0 is the random environment, with values in {0, 1}Z .
Today: ξ is the East model.
O. Blondel
RW on East
RW in (dynamic) random environment
(Zt )t≥0 process on Zd such that
P(Zt+dt = x + y |Zt = x) = r (y , τx ξt )dt,
d
where (ξt )t≥0 is the random environment, with values in {0, 1}Z .
Today: ξ is the East model.
Environment seen from the walker
ηt := τZt ξt .
has generator
Lf (η) = LE f (η) +
X
y
r (y , η) [f (τy η) − f (η)]
Jumps of (Xt )t≥0 ←→ spatial shifts for (ηt )t≥0 .
Zt depends on (ξs )s≤t .
O. Blondel
RW on East
Random walks
X (unperturbed walker) and X () (perturbed walker) with continuous rates
r (y , η), r (y , η) ≥ 0 such that
I
r (y , η) = r (y , η) + r̂ (y , η).
I
ηt := τXt ξt has invariant measure µ.
In particular: (τXt ξt )t≥0 has same invariant measure and mixing property
as (ξt )t≥0 .
I
2 = kL̂ k < γ.
P
4
y |y | supη (r (y , η) + |r̂ (y , η)|) < ∞.
r (y , η) > 0 =⇒ r (y , η).
I
I
where
L f (η)
=
LE f (η) +
X
y
Lf (η)
=
LE f (η) +
X
y
L̂ f (η)
=
X
y
r (y , η) [f (τy η) − f (η)]
r (y , η) [f (τy η) − f (η)]
r̂ (y , η) [f (τy η) − f (η)]
O. Blondel
RW on East
Examples
Driven ghost probe [Jack-Kelsey-Garrahan-Chandler PRE 2008]
r (±1, η)
=
r (±1, η)
=
(1 − η(0))(1 − η(±1))
(1 − η(0))(1 − η(±1))r̃ (±1),
where r̃ (1) = 2/(1 + e − ) = e r̃ (−1).
O. Blondel
RW on East
Examples
-RW
For ∈ (0, 1/2), jump rates given by
1/2 − 1/2 + 1/2 − 1/2 + 1
0
N.B.: In the pictures, p = 1/2 + .
p = 0.2
p = 0.8
O. Blondel
RW on East
General results
Theorem
()
1. The process seen from the walker ηt = τX () ξt , started from ν µ,
t
converges to an ergodic invariant measure µ such that µ ∼ µ and for all
f ∈ L2 (µ)
∞ Z ∞
X
µ (f ) = µ(f ) +
µ L̂ S (n) (s)f ds,
n=0
where S (0) (t) = e tL , S n+1 (t) =
Rt
∞
2. For all f , g ∈ L (µ)
0
0
S (0) (t − s)L̂ S (n) (s) ds.
|Eµ [f (η0 )g (ηt )] − µ (f )µ (g )| ≤ C (f , g )e −
3. If r have finite range and bounded support, ∃δ > 0 s.t.
|µ (η(x)) − ρ| ≤ Ce −δ|x| .
O. Blondel
RW on East
γ−2
2 t
.
General results
Theorem
()
1. The process seen from the walker ηt = τX () ξt , started from ν µ,
t
converges to an ergodic invariant measure µ such that µ ∼ µ and for all
f ∈ L2 (µ)
∞ Z ∞
X
µ (f ) = µ(f ) +
µ L̂ S (n) (s)f ds,
n=0
where S (0) (t) = e tL , S n+1 (t) =
Rt
∞
2. For all f , g ∈ L (µ)
0
0
S (0) (t − s)L̂ S (n) (s) ds.
|Eµ [f (η0 )g (ηt )] − µ (f )µ (g )| ≤ C (f , g )e −
γ−2
2 t
.
3. If r have finite range and bounded support, ∃δ > 0 s.t.
|µ (η(x)) − ρ| ≤ Ce −δ|x| .
N.B.: Point 1 proved in [Komorowski-Olla ’05] when d ν/d µ ∈ L2 (µ), via a
series expansion of the densities rather than semigroups. Perturbation L̂ can be
unbounded, should satisfy a sector condition.
O. Blondel
RW on East
General results
Theorem
1. LLN.
1 ()
X
−→ v ()
t t t→∞
2. Invariance principle.
()
p
Xnt − v ()nt
√
→ 2D Bt ,
n
3. If the environment seen from the unperturbed walker (ηt )t≥0 is reversible
w.r.t. µ, D > 0 for small enough.
O. Blondel
RW on East
More on the -RW
Theorem
1. If > 0 small enough, µ (η(1)) < ρ < µ (η(−1)) (and the reverse if > 0).
int
0.44
0.46
0.48
0.50
0.52
0.54
0.56
Env. seen from the particle at p: .6 rho: 0.5
-10
-5
0
5
10
place
Numerics by P. Thomann.
3
2. v () = 2(2ρ − 1) + κρ + O(5 ).
In particular, if ρ 6= 1/2, || =
6 0 small enough, sgn(v ()) = sgn((2ρ − 1))
(the sign of the speed is given by the dominating type of site in the
environment).
What if ρ = 1/2?
O. Blondel
RW on East
Speed as function of p in east and rho 0.5
0.00
−0.05
−0.10
speed
0.05
0.10
r: 0.5 N: 12 g: 1
0.0
0.2
0.4
0.6
p
Numerics by P. Thomann.
O. Blondel
RW on East
0.8
1.0
More on the speed v ()
Conjecture
If ρ = 1/2, · v () < 0.
(Weaker: κ1/2 < 0.)
A consequence of the orientation choice?
O. Blondel
RW on East
More on the speed v ()
Conjecture
If ρ = 1/2, · v () < 0.
(Weaker: κ1/2 < 0.)
A consequence of the orientation choice?
Theorem
If 2 < γ,
v (−) = −v ().
O. Blondel
RW on East
More on the speed v ()
Conjecture
If ρ = 1/2, · v () < 0.
(Weaker: κ1/2 < 0.)
A consequence of the orientation choice?
Theorem
If 2 < γ,
v (−) = −v ().
In particular,
vEast () = vWest ().
Rather, a signature of the space-time correlated bubbles.
N.B.: The antisymmetry holds for any reversible environment with L2
exponential mixing.
O. Blondel
RW on East
A degenerate version of the -RW
"Infinite rates".
(Yt )t≥0 lives on edges of Z of type • − •.
When the particle on the left is erased, jumps to the right-most such edge.
When the hole on the right is filled, jumps to the left-most such edge (one step
to the right).
lim sup Yt /t < 0
O. Blondel
RW on East
A degenerate version of the -RW
"Infinite rates".
(Yt )t≥0 lives on edges of Z of type • − •.
When the particle on the left is erased, jumps to the right-most such edge.
When the hole on the right is filled, jumps to the left-most such edge (one step
to the right).
lim sup Yt /t < 0
Three-point correlation function
Proposition
If for any y ≥ 1, for any s, t ≥ 0,
EEast
ξ0 (0)(2ξt (y ) − 1)ξt+s (0) > 0,
ρ
then κρ < 0.
O. Blondel
RW on East
Thank you for your attention.
O. Blondel
RW on East
Download