Professional Documents
Culture Documents
r
X
i
v
:
0
7
0
4
.
2
9
1
3
v
2
[
m
a
t
h
.
P
R
]
1
3
A
u
g
2
0
0
7
Ladder Sandpiles
Antal A. Jarai
Abstract
We study Abelian sandpiles on graphs of the formGI, where G is
an arbitrary nite connected graph, and I Z is a nite interval. We
show that for any xed G with at least two vertices, the stationary
measures
I
=
GI
have two extremal weak limit points as I
Z. The extremal limits are the only ergodic measures of maximum
entropy on the set of innite recurrent congurations. We show that
under any of the limiting measures, one can add nitely many grains in
such a way that almost surely all sites topple innitely often. We also
show that the extremal limiting measures admit a Markovian coding.
1 Introduction
The sandpile model was introduced by Bak, Tang and Wiesenfeld [5, 6], who
used it to illustrate the idea of self-organized criticality [3], a concept that be-
came inuential in theoretical physics [20]. The name Abelian sandpile model
(ASM) was coined by Dhar [10], who discovered its Abelian property. The
model also appeared independently in the combinatorics literature, where
it is known as the chip-ring game, introduced in [7]. One of the remark-
able features of the ASM is that its simple local rules give rise to complex
long-range dynamics. See [13] for an overview.
Recently, a number of papers were devoted to sandpiles on innite graphs,
obtained as limits of sandpiles on nite subgraphs [26, 23, 24, 2, 19]. See the
uv
:=
_
_
deg
G
(x) + 2 if u = v = (x, k);
1 if u and v are neighbours;
0 otherwise.
For nite vertex-subsets V that induce a connected subgraph, we let
V
denote the restriction of to the pairs (u, v) V V . In other words, a sink
site is added to V , and each u V is connected to the sink by
uu
deg
V
(u)
edges.
We are interested in the sandpile with toppling matrix
n,m
. We will
study the case when G = I
0,1
quite explicitly for illustration.
The space of stable congurations on a set V is
S
V
:=
uV
{1, . . . ,
uu
}.
We write S := S
V
for the set of recurrent congurations [28] on V when V is nite. We
dene
:=
:= {recurrent congurations on }
:= { S :
W
W
for all nite W }.
For V , if \ V has a connected component fully innite to the left
(that is, containing
,m
for some m), we denote that connected component
4
V
. We similarly dene V
+
to the right (which may coincide with V
). We
dene the left (interior) boundary of V as
L
0
V :=
_
v V : v has a neighbour in V
_
.
We dene
R
0
V analogously.
3 Description of recurrent congurations
3.1 Left- and right-burnable measures
We dene a one-sided version of the burning algorithm [28].
Denition 1. Let V be nite. A conguration S
V
is called left-
burnable if there is an enumeration v
1
, . . . , v
|V |
of V such that
(i) v
i
L
0
(V \ {v
1
, . . . , v
i1
}), 1 i |V |;
(ii) (v
i
) >
v
i
v
i
|{u (V \ {v
1
, . . . , v
i1
})
: u v
i
}|.
Note that this is the usual burning rule with the restriction that only sites in
the left boundary can be burnt. When \ V is connected, the rule becomes
identical to the usual burning rule. We denote by
L
V
the set of left-burnable
congurations on V . We dene right-burnable congurations and
R
V
analo-
gously.
Lemma 2. Let V be nite. We have
L
V
V
. If
L
V
and W V ,
then
W
L
W
. The same holds for
R
V
.
Proof. The sequence v
1
, . . . , v
|V |
required by Denition 1 is a valid burning
sequence in the ordinary burning algorithm, since
|{u (V \ {v
1
, . . . , v
i1
})
: u v
i
}| |{u (V \ {v
1
, . . . , v
i1
})
c
: u v
i
}|.
Therefore,
L
V
V
. For W V , let w
1
, . . . , w
|W|
be the enumeration of W
in the order inherited from the enumeration of V . Since
|{u (V \{v
1
, . . . , v
i1
})
: u v
i
}| |{u (W\{v
1
, . . . , v
i1
})
: u v
i
}|,
this is a valid left-burning sequence for
W
.
5
Denition 3. For V = , a conguration S is called left-burnable if
W
is left-burnable for every nite W . Right-burnable congurations are
dened analogously. We write
L
and
R
for the sets of these congurations.
We write
S
:=
L
R
.
Denition 4. Let
n,m
denote the uniform measure on the set of recurrent
congurations on
n,m
. We denote by
L
n,m
the uniform measure on left-
burnable congurations on
n,m
and dene
R
n,m
and
S
n,m
analogously.
In order to illustrate some of the results to come, we explicitly describe
left-burnable congurations in the simplest non-trivial case G = I
0,1
.
Lemma 5. Assume G = I
0,1
. A conguration
n,m
is left-burnable if
and only if the following 3 conditions hold:
1. each rung contains a 3;
2. if the rung at k is (3, 1), then no rung other than (3, 2) can occur to
the right of k before a (3, 3) occurs. That is, the rungs at k, k + 1, . . .
are of the form:
3 3 . . . 3 3 . . .
1 2 . . . 2 3 . . .
(1)
with the possibility that there is no (3, 2) rung at all, and the exception
that the (3, 3) may be missing if the right end of
n,m
was reached;
3. if the rung at k is (1, 3), then no rung other than (2, 3) can occur to
the right of k before a (3, 3) occurs.
The same holds for right-burnable congurations with left and right inter-
changed.
Proof. By symmetry, we may restrict to the left-burnable case. It is straight-
forward to verify that a conguration satisfying 13 in the Lemma is left-
burnable. Namely, the conguration can be burnt rung-by-rung, except when
a (3, 1) or a (1, 3) is encountered. In the latter case, observe that the con-
guration in (1) is left-burnable (as well as the one obtained by exchanging
the rows).
Assume now that we are given a left-burnable conguration, and we show
that 13 hold. The proof is by induction on the number N = m n + 1 of
rungs. The case N = 1 is trivial. Assume now that N > 1 and that the
6
statement holds whenever the number of rungs is less than N. Observe that
the leftmost rung has to contain a 3, otherwise the burning cannot start.
Case 1. The leftmost rung is (3, 3), (3, 2) or (2, 3). Then without loss of
generality, we may assume that the burning starts with removing the leftmost
rung. Since the N 1 remaining rungs are left-burnable, the induction
hypothesis implies the claim.
Case 2. The leftmost rung is (3, 1) or (1, 3). We may assume the leftmost
rung is (3, 1). Then, by the burning procedure, the next rung is of the form
(3, z). If z = 3, we can use the induction hypothesis for N 2. The value
z = 1 leads to a forbidden subconguration 1 1. If z = 2, we can iterate
the present argument until a rung of the form (3, 3) is reached, noting that
congurations of the form 1 2 . . . 2 1 are forbidden.
It follows from the description in Lemma 5 that (3, 3) rungs are renewals,
that is, given that rung k is (3, 3), the subcongurations to the left and
right are conditionally independent for the appropriate measure
n,m
. The
analogous statement holds for maximal rungs on a general graph, and we
prove this next.
The following terminology will be useful. Let C := C(G) :=
L
0,0
denote
the set of left-burnable congurations on a single rung. We claim this is the
same as the set of all recurrent congurations on G {0} with at least one
x G such that (x, 0) = m(x). Indeed, no burning will occur without such
an x, and with such an x, we can left-burn (x, 0), and once this is done,
left-burning becomes equivalent to ordinary burning (i.e., burning from both
sides) since the left and right boundaries merge. By the same reasoning, C
is also the set of right-burnable congurations at a single rung. By abuse
of notation, we regard C as a set of congurations on any particular rung.
For
L
n,m
, let C
k
:= C
k
() :=
k,k
denote the rung at k, which is in
C by Lemma 2. Let C
max
:= C
max
(G) C denote the conguration on G
dened by C
max
(x) := m(x), x G. The conguration C
max
is the maximal
conguration that can occur on a rung.
Lemma 6. (Renewals) For the measures
L
n,m
,
R
n,m
and
S
n,m
, maximal
rungs are renewals, that is, given C
k
= C
max
, the subcongurations to the
left and right of rung k are conditionally independent.
Proof. First consider the left-burnable measure. Let
L
n,m
, and assume
that C
k
() = C
max
. By Lemma 2, both
n,k1
and
k+1,m
are left-burnable.
We need to show that the two vary independently, that is, for any
L
n,k1
7
and
L
k+1,m
, we have
= C
max
L
n,m
, where indicates
concatenation. Start left-burning on
is left-burnable, and
L
n,m
has the renewal property since it is uniform on
L
n,m
.
The statement for
R
n,m
follows by symmetry. The statement for
S
n,m
can
be proved by a very similar argument, now showing that burning from both
left and right can be performed.
In order to investigate weak convergence of the nite-volume measures,
we are going to use some comparisons between the growth rates (topological
entropies) of certain sets of congurations. This is formulated in the lemma
below.
Let a
n
:= |
L
1,n
|. By Lemma 2, we have
a
n+m
|
L
1,n
||
L
n+1,n+m
| = a
n
a
m
.
Therefore,
h
L
:= lim
n
1
n
log |
L
1,n
| = inf
n1
1
n
log a
n
(2)
exists. The limit h
L
is the topological entropy h
top
(
L
) of
L
with respect
to translations [21]. For any > 0, there exists C = C() such that
exp{h
L
n} a
n
C exp{h
L
n(1 + )}.
By symmetry, h
L
= h
R
= h
top
(
R
). We also dene s
n
:= |
S
1,n
|, and again,
by submultiplicativity, we have
h
S
:= lim
n
1
n
log s
n
= h
top
(
S
).
We further dene the spaces
L,0
:= {
L
: C
k
() = C
max
, < k < }
L,0
n,m
:= {
L
n,m
: C
k
() = C
max
, n k m},
and we dene
S,0
and
S,0
n,m
analogously in the symmetric case. Let b
n
:=
|
L,0
1,n
|, r
n
:= |
S,0
1,n
|, h
L,0
:= lim
n
(1/n) log b
n
= h
top
(
L,0
) and h
S,0
:=
lim
n
(1/n) log r
n
= h
top
(
S,0
).
8
Lemma 7. Assume that G is not a single vertex. Then
(i) 0 < h
L,0
< h
L
;
(ii) 0 < h
S,0
< h
S
;
(iii) h
S
< h
L
.
Proof. For x G, dene the rung
C
x
(z) :=
_
m(x) 1 z = x,
m(z) z = x.
It is straightforward to check that since G consists of more than one vertex,
C
x
C. Now let x, y G, x = y. Any sequence consisting exclusively of
rungs C
x
and C
y
is both left- and right-burnable. Hence log 2 h
S,0
h
L,0
.
For 0 k n we select k of the rungs. Consider the function that
changes these k rungs of an
L,0
1,n
to C
max
. Any conguration so obtained
is in
L
1,n
and has at most |C|
k
preimages. Therefore, the number of dierent
new congurations obtained is at least b
n
/|C|
k
. Summing over k and all
choices of k rungs, we have
a
n
b
n
n
k=0
_
n
k
_
1
|C|
k
= b
n
_
1 +
1
|C|
_
n
.
Hence, h
L
h
L,0
+ log(1 + |C|
1
). This proves (i). By a similar argument,
h
S
h
S,0
+ log(1 +|C|
1
), which proves (ii).
The argument to prove (iii) is also similar: Note that when G = I
0,1
,
Lemma 5 implies that the sequence of rungs (3, 3), (2, 3), (3, 1), (3, 3) is left-
burnable, but not right-burnable. We can adapt this observation to general
G. Let x y G, and dene the rungs
C
1
(z) :=
_
m(z) 1 z = y,
m(y) z = y,
C
2
(z) :=
_
_
m(z) 1 z = x, y,
m(x) z = x,
1 z = y.
We claim that the sequence = C
max
, C
1
, C
2
, C
max
is left-burnable, but
not right-burnable. In case of left-burning, C
max
burns rst, then site y burns
in C
1
, and after that the rest of C
1
can be burnt. Now site x burns in C
2
,
9
and after this the C
max
rung to the right burns. This makes the rest of the
sites but y in C
2
burnable; nally, site y in C
2
can be burnt. In case of right-
burning, the C
max
rung on the right can be burnt. After this, site x in C
2
can be burnt. This may make other sites in C
2
burnable. However, crucially,
y in C
2
cannot be burnt (since it has a neighbour in C
1
), and no site in C
1
can be burnt, since burning could only start at y, which is blocked by the
1 in C
2
.
Assume now that
S
1,4n
, and subdivide [1, 4n] into n intervals of length
4. Consider the mapping that replaces the rungs at a xed set of k of these
intervals by . The congurations obtained are in
L
1,4n
, and since is not
right-burnable, they are not in
S
1,4n
. The number of preimages of a given
element of
L
1,4n
is at most |C|
4k
. Hence we get
a
4n
s
4n
n
k=0
_
n
k
_
1
|C|
4k
= s
4n
_
1 +
1
|C|
4
_
n
.
This implies (iii).
3.2 Weak limits
Lemma 8. The weak limits
L
:= lim
n
m
L
n,m
,
R
:= lim
n
m
R
n,m
,
S
:= lim
n
m
S
n,m
exist. The limit measures
L
,
R
and
S
are concentrated on
L
,
R
and
S
(respectively).
Proof. We rst strengthen (2) to show that with = exp(h
L
), the limit
lim
n
n
a
n
exists and is positive. Lemma 6 implies the renewal equation:
a
n
= b
n
+
n
k=1
b
k1
a
nk
, n 0, (3)
where we set a
0
= 1, b
0
= 1. Let
F(z) :=
n=0
a
n
z
n
and G(z) :=
n=0
b
n
z
n
10
be the generating functions of {a
n
}
n0
and {b
n
}
n0
. The radius of conver-
gence of F is = exp(h
L
) and that of G is exp(h
L,0
) > . The relation
(3) implies
F(z) =
G(z)
1 zG(z)
, 0 z < .
Since G is analytic in a disc of radius larger than , but F has a singularity on
the circle |z| = , we need to have 1 = lim
z
zG(z) = G(). It follows that
p
n
:=
n
b
n1
, n 1, is a probability distribution, and with c
n
:=
n
a
n1
, (3)
has the probabilistic form
c
n+1
= p
n+1
+
n
k=1
p
k
c
nk
, n 0. (4)
By the Renewal Theorem [15, page 330], we have lim
n
c
n
= (
k1
kp
k
)
1
.
Hence we have
lim
n
n
a
n
= lim
n
c
n
/ =
1
k1
kp
k
=
1
2
[G()]
=: > 0. (5)
We are ready to establish the existence of
L
. Fix k 1 and an ele-
mentary cylinder event depending on the rungs k, . . . , k. That is, we x
0
L
k,k
, and let E = E(
0
) denote the event that the subconguration in
rungs k, . . . , k equals
0
. We need to show that
lim
n
m
L
n,m
(E) =:
L
(E) exists.
We rst show that for N > k large enough and n, m > N, the event
A(N) = { renewal in [N, k 1] and in [k + 1, N]}
occurs with high
L
n,m
-probability. Indeed, letting denote a random variable
with law
L
n,m
and using Lemma 7, we get
L
n,m
(no renewal in [k + 1, N]) =
L
n,m
_
k+1,N
L,0
k+1,N
_
|
L
n,k
||
L,0
k+1,N
||
L
N+1,m
|
|
L
n,m
|
Ce
(Nk)
11
for some > 0 and C = C() for all large N. This implies
L
n,m
(A(N)
c
) 2Ce
(Nk)
, n, m > N. (6)
On the event A(N), let
:= leftmost renewal in [k + 1, N]
and := rightmost renewal in [N, k 1].
We also dene
u(s, t, E) :=
_
L
s+1,t1
:
k,k
=
0
and no renewal in
[s + 1, k 1] [k + 1, t 1]
_
L
n,m
_
E, A(N)
_
=
N
t=k+1
k1
s=N
L
n,m
(E, = t, = s)
=
N
t=k+1
k1
s=N
a
sn
u(s, t, E)a
mt
a
mn+1
.
Using (5), we have
lim
n
m
L
n,m
_
E, A(N)
_
=
N
t=k+1
k1
s=N
ts+1
u(s, t, E).
Letting N and applying (6), we deduce that
lim
n
m
L
n,m
(E) =
t=k+1
k1
s=
ts+1
u(s, t, E) =:
L
(E).
The statement for
R
follows by symmetry. In the case of
S
, the proof
follows a very similar line.
Remark. It is not hard to extend the proof above to show that lim
V
L
V
=
L
(and similarly for
R
and
S
).
12
Lemma 9. Maximal rungs are renewals for the measures
L
,
R
and
S
,
and these measures are ergodic. If G is not a single vertex, then
L
and
R
are not symmetric under reection, while
S
is. The measures
L
and
R
are reections of each other.
Proof. The renewal property follows from Lemma 6 by passing to the limit.
Ergodicity follows from the existence of renewals. The conguration given
in the proof of Lemma 7 (iii) shows that
L
=
R
.
Remark. It follows from general arguments that
L
and
R
have maximal
entropy. For example, by a counting argument one can show that |
1,n
| has
exponential growth rate h
L
, and this allows one to adapt the argument of [4,
Proposition 1.12 (ii)]. Below we show that there are no other measures of
maximal entropy.
Theorem 10. The only two ergodic measures of maximum entropy on are
L
and
R
. The unique symmetric ergodic measure of maximum entropy is
S
.
Proof. There exists a measure of maximum entropy on [21]. By ergodic
decomposition, we may assume that is ergodic. We show that in this case
either =
L
or =
R
, which shows that these are the only two ergodic
measures of maximum entropy.
We rst show that {C
0
= C
max
} > 0. To see this, note that increasing
the height of any site will never create a forbidden subconguration. Sup-
pose we had zero probability of seeing any C
max
rungs. Consider the measure
) = (1)h()+H(),
where H() = log (1 ) log(1 ). Hence for suciently small,
h(
, where the blocks are i.i.d. and each block has its -distribution. Let
E := {C
0
= C
max
}. Since the expected length of a block is the same in
and , we have
E
(the normalized restrictions of and
to E). Since
E
is i.i.d. and
13
E
is not, we get
h(
) =
(E)h(
E
) > (E)h(
E
) = h()
by [9, Chapter 10, 6, Theorem 2].
It follows that is determined by the joint distribution of renewal times
(distance between C
max
rungs) and the inter-renewal conguration. Suppose
that a block has positive probability of being non-left-burnable and also posi-
tive probablity of being non-right-burnable. Then with probability one, there
will be a non-left-burnable block to the left of a non-right-burnable block.
This creates a forbidden subconguration, and hence is impossible. There-
fore, at most one of the above possibilities has positive probability. Assume
without loss of generality that blocks are left-burnable with probability 1.
Consider now the conguration between two renewals (not necessarily
consecutive) that are distance L apart. By maximum entropy, the conditional
distribution of the conguration given L is uniform over all left-burnable con-
gurations of length L1. Since this holds for arbitrarily large L, it implies
that the nite-dimensional distributions of are given by the thermodynamic
limit of
L
n,m
, and hence =
L
. Analogously, we get =
R
if blocks are
right-burnable with probability 1.
The proof in the symmetric case is very similar. Adding C
max
rungs in an
i.i.d. fashion does not destroy the symmetry of the measure, and hence C
max
rungs have to occur with positive probability. As before, they are renewals.
Again, blocks have to be either left- or right-burnable, and by symmetry,
they have to be both with probability 1. As before, this implies that the
measure coincides with
S
.
Theorem 11. If n, m in such a way that limn/m = /(1 ),
[0, 1], then
lim
n,m
=
L
+ (1 )
R
.
Consequently, the set of weak limit points of {
n,m
} consists of all convex
combinations of
L
and
R
.
Proof. The idea of the proof is the following. A recurrent conguration has
to burn if we burn from both the left and the right. We show that the left-
and right-burnable portions of the conguration almost form a partition of
n,m
, up to an overlap or uncovered region of size o(m n) in probability,
and that the location of the boundary layer between them is approximately
14
uniform over [n, m]. This implies that in a xed nite window we see a convex
combination of
L
and
R
.
For
n,m
, let
L
:=
L
n,m
:= max{k : C
k
= C
max
and
n,k
is left-burnable},
R
:=
R
n,m
:= min{k : C
k
= C
max
and
k,m
is right-burnable},
where the values n 1 and m + 1 are allowed in both cases if there is no k
with the required property.
We show that
|
L
R
|
mn
0 (7)
in probability.
Case 1:
L
<
R
. We show that the number of possible congurations
between s :=
L
and t :=
R
has exponential growth rate smaller than h
L
.
Let
0
:=
s+1,t1
. Consider left-burning on
0
. By the denition of
L
,
and since C
t
= C
max
, the rightmost site of
0
that will be left-burnt (when
left-burning
0
) is in a rung k with s k < t 1. Here k = s if left-burning
cannot start. Similarly, the leftmost site of
0
that can be right-burnt is in a
rung l with s + 1 < l t. Since
0
is burnable, we need to have l k + 1.
Let
0
be the conguration obtained by replacing rung k + 1 of
0
by
C
max
. Since
0
is also burnable, it follows easily that
0
s+1,k
is left-burnable,
and
0
k+2,t1
is right-burnable. Therefore, the number of possibilities for
0
is bounded by
t2
k=s
b
ks
|C|b
tk2
Ce
(h
L
)(ts)
for some > 0 and some C < by Lemma 7.
Summing over all possible values of s and t, it follows that for any > 0
there exist C
1
= C
1
() and c
1
= c
1
() > 0 such that
n,m
{
R
L
(mn)} C
1
e
c
1
(mn)
. (8)
Case 2:
L
R
. Observe that the conguration between
R
and
L
is
both left-burnable and right-burnable, hence it belongs to
S
R
,
L
. Also, the
conguration to the left of
R
is in
L
n,
R
, and the conguration to the right
of
L
is in
R
L
,m
.
15
Since h
S
< h
L
, it follows that for any > 0 there exists C
2
and c
2
=
c
2
() > 0 such that
n,m
{
L
R
(mn)} C
2
e
c
2
(mn)
. (9)
The bounds (8) and (9) establish (7).
In the remainder of the proof we are going to need a minor variation on
(9) when
R
L
. The reason is that the value of
R
gives some information
on the left-burnable conguration to the left of
R
(namely, that it is not
right-burnable if it contains a rung C
max
), whereas we would like to achieve
independence. Let
R
denote the rightmost C
max
rung to the left of
R
(we set
R
= n 1 if such a rung does not exist). Then the conguration
between
R
and
R
is left-burnable but not right-burnable. In any case, it
is in
L,0
R
+1,
R
1
. We dene
L
analogously. By similar arguments as before,
we have the bound
n,m
{
L
R
and
L
R
(mn)} C
3
e
c
3
(mn)
. (10)
Next we prove that the location of the boundary layer between the left-
and right-burnable parts is approximately uniform.
First condition on the value of d :=
R
L
in the case when d is positive.
Observe that given
L
= s and
R
= t, the congurations on
n,s
,
s,t
and
t,m
are conditionally independent. Also, the conguration on
n,s1
has
law
L
n,s1
and the conguration on
t+1,m
has law
R
t+1,m
. Noting that
R
is the reection of
L
, we can uniquely represent the conguration in the
following way. Draw a sample from
L
n,md
conditioned on having at least
one renewal. Select one of the C
max
rungs uniformly at random: suppose
it is rung S. Draw an independent sample from the set of congurations
0
described under Case 1 above having length d 1. Concatenate the
congurations
n,S
, , C
max
, and the reversal of
S+1,md
. This gives all
congurations with
L
= S and
R
= S + d, and the representation is
unique.
Next we want to show that the random variable S dened above is roughly
uniformly distributed in [n, md]. First note that by Lemma 6, under
L
n,md
,
the distribution of the sequence of inter-renewal times is exchangeable. Also,
due to the inequality h
L,0
< h
L
, the longest inter-renewal time is o(mnd)
in probability. These two together imply that for any 0 < u < 1,
L
n,md
{S n < u(mn d)} u as mn
16
uniformly in 1 d < (mn)/2. This implies that
n,m
{
L
n < u(mn d) |
R
L
= d} u as mn
uniformly in 1 d < (mn)/2. Averaging over 1 d (mn), we get
n,m
_
L
n
mn
< u
1
R
L
(mn)
_
= u + O() + o(1) (11)
as mn .
Now condition on d :=
L
R
in the case when
L
R
. Given
R
= s
R
and
L
= s
L
, the congurations on
n, s
R
1
,
s
R
, s
L and
s
L
+1,m
are
conditionally independent, with the rst and the third having laws
L
n, s
R
1
and
R
s
L
+1,m
(respectively). Therefore, the conguration can be represented
analogously to the case
L
<
R
, which gives rise to the estimate
n,m
_
R
n
mn
< u
L
R
(mn)
_
= u + O() + o(1) (12)
as mn .
We are ready to complete the proof of the theorem. Suppose we have a
cylinder event E depending on the conguration in
k,k
. Let
L
:=
_
L
if
L
<
R
,
R
if
L
R
,
and
R
:=
_
R
if
L
<
R
,
L
if
L
R
.
Let A
:= {
L
> (mn)} and B
:= {
R
< (mn)}. For t > (mn) >
k,
n,m
{E | A
,
L
= t} =
L
n,t1
{E} =
L
{E}
_
1 + o
(1)
_
as n and m , where the o
n,m
{E | B
,
R
= t} =
R
t+1,m
{E} =
R
{E}
_
1 + o
(1)
_
.
Since by (7), (10), (11) and (12),
n,m
{A
n,m
{B
L
, there is positive probability that the conguration at rungs 16 equals
3 2 3 3 1 3
3 3 1 3 3 3
Now adding a grain to the rst row in rung 4 yields an avalanche with toppling
numbers:
. . . 0 0 1 2 1 1 . . .
. . . 0 0 0 1 1 1 . . .
5 Coding by Markov chains
In this section we show that the measures
L
n,m
and
L
can be coded by a
Markov chain with nitely many states. Before proving this for a general
graph G, we sketch a proof in the special case G = I
0,1
. Although for general
G we will not have as explicit a description as for I
0,1
, the approach will be
similar.
19
Coding by a nite Markov chain for G = I
0,1
. Based on Lemma 5, the
following equivalent description of left-burnable congurations can be given.
Consider the alphabet of symbols
A := {(3, 3), (3, 2), (2, 3), (3, 1), (1, 3), (3, 2), (2, 3)} . (13)
Let A
n,m
:= A
In,m
. We think of (3, 2) replacing a (3, 2) rung that is following
a (3, 1) before the next (3, 3) occurs. It follows from the characterization in
Lemma 5 that elements of
L
n,m
can be coded in a one-to-one fashion by a set
L
n,m
A
n,m
that is a topological Markov chain (subshift of nite type) [21,
Section 1.9] with alphabet A. Namely, the only restrictions on sequences in
L
n,m
are that certain pairs of symbols cannot occur next to each other. For
example: (a) (3, 3) has to be followed by (3, 3), (3, 2), (2, 3), (3, 1) or (1, 3);
(b) (3, 1) has to be followed by (3, 3) or (3, 2); (c) (3, 2) has to be followed
by (3, 2) or (3, 3); etc. The full transition matrix is
T :=
_
_
_
_
_
_
_
_
_
_
1 1 1 1 1 0 0
1 1 1 1 1 0 0
1 1 1 1 1 0 0
1 0 0 0 0 1 0
1 0 0 0 0 0 1
1 0 0 0 0 1 0
1 0 0 0 0 0 1
_
_
_
_
_
_
_
_
_
_
, (14)
where the rows and columns correspond to the symbols in the order displayed
in (13). Due to the special role of the symbols (3, 2) and (2, 3), we need to
add the boundary condition that the rung at n is not one of these.
It is not hard to check that the topological Markov chain is transitive [21,
Denition 1.9.6]; in fact, all entries of T
3
are positive. Let
L
A
Z
denote
the subshift dened by T, and let
L
be its Parry measure, which is a Markov
chain. By [21, Section 4.4],
L
is the unique measure of maximum entropy
on
L
. Let P :
L
L
denote the map that replaces each (3, 2) by (3, 2)
and each (2, 3) by (2, 3). Since
L
has maximal entropy by Theorem 10, and
P
1
is well dened
L
-almost surely, P is a metric isomorphism between
L
and
L
.
Now we generalize the coding to an arbitrary graph G. First note that
it is not very surprising that such a coding should exist. Using Majumdar
and Dhars tree construction [27], recurrent congurations in
n,m
are in
20
one-to-one correspondence with spanning trees of
n,m
with wired boundary
conditions. It has been shown in [16] that spanning trees have a Markovian
coding. However, since the correspondence is non-local, it does not seem
easy to deduce a Markovian coding from the spanning-tree result.
We let P := P(G) denote the set of all subsets of G.
Theorem 15. There exists an alphabet A := A(G) C P P
P
, an
inclusion i : C C P P
P
, and a transitive 0-1 matrix T := T(G) indexed
by A such that for each m, the set
L
1,m
is in one-to-one correspondence with
the set of sequences
L
1,m
:=
L
1,m
(G)
:= { A
1,m
:
1
i(C), T(
k
,
k+1
) = 1, k = 1, . . . , m1}.
The correspondence is given by the projection P : C P P
P
C applied
coordinatewise.
For the proof of Theorem 15, we will need to perform left-burning in a
special way, as introduced below. This can be regarded as a generalization
of the rung-by-rung argument from the proof of Lemma 5. Following the
denition of the special burning rule, we use it to prove two lemmas that
will lead to the proof of Theorem 15. Once Theorem 15 is established, the
Markov chain that codes
L
is the Parry measure, as for G = I
0,1
.
Burning with leftmost rung rule. We perform burning one rung at a time,
with the rule that whenever there are no more burnable sites in the rung
currently being burnt, we move on to the leftmost rung that has burnable
sites. We now describe the procedure in more detail.
We rst burn sites in rung 1 that can be burnt consistent with the left-
burning rule. When there are no more burnable sites in rung 1, we start
burning sites in rung 2, and continue burning rung 2 until there are no more
burnable sites in that rung. This may have created further burnable sites in
rung 1. If there are such, we burn sites in rung 1, again until there are no
more burnable sites in that rung. At some point there will be no burnable
sites in either rung 1 or 2. Now we burn sites in rung 3, and move between
rungs 1, 2 and 3 until there are no more burnable sites in those rungs. In
general, we move on to rung k +1 when there are no more burnable sites in
rungs 1, . . . , k.
21
If the conguration we started with is C
1
C
m
, we adopt the following
convention for burning the rightmost rung C
m
. We add a ghost rung
C
m+1
= C
max
that will remain unburnt until the rst time there are no
more burnable sites in rungs 1, . . . , m. At this time, we burn the ghost rung,
and continue with the leftmost rule. It is easy to see that this yields an
equivalent denition of left-burnability, that is, all rungs will burn if and
only if the original conguration was left-burnable.
For 1 k m and C
1
C
k
left-burnable, let T
k
+ 1 be the rst
time we burn a site in rung k + 1. It is easy to see that all rungs are burnt
at time T
m+1
if and only if
L
1,m
.
Before stating the two lemmas needed for Theorem 15, we need some
notation. Let = C
1
C
m
be a conguration with C
k
C, 1 k m.
Let B
k
G denote the set of sites in rung k that have been burnt by time T
k
.
The sequence (C
k
, B
k
)
m
k=1
is non-Markovian in general. We note, however,
in order to motivate the arguments to come, that if G = I
0,1
, then B
k+1
is a
function of C
k
, C
k+1
and B
k
only (it depends on C
1
, . . . , C
k1
only through
C
k
, C
k+1
and B
k
). It is not hard to show that this implies that (C
k
, B
k
)
m
k=1
is Markovian. The proof is similar (and simpler) than that of Theorem 15
below, and is left to the reader. For general G, our strategy will be to augment
the information contained in B
k
so that we get a Markovian sequence.
Fix (C
j
, B
j
)
k
j=1
, where 1 k m. Depending on this sequence, we dene
a function f
k
: P P that will encode what the eect is of burning in rung
k + 1 on the future of the burning process in rungs 1 j k. We stress
that the denition of f
k
will ignore the actual value of C
k+1
; in particular, it
will also make sense for k = m. Fix A G. Regardless of the value of C
k+1
,
let us declare all sites in A{k +1} to be burnt. This may create burnable
sites in rung k after
k
j=1
B
j
has been burnt. Now let us perform burning
with the leftmost rung rule until there are no more burnable sites in rungs
1 j k. This process does not use information about rung k + 1 other
than the specied set A. We dene f
k
(A) to be the set of sites that are burnt
in rung k at the end of this process. For example, we have f
k
() = B
k
, and
more generally, f
k
(A) = B
k
for A B
k
, since in this case no new burnable
sites appear in rung k. Whenever C
1
C
k
is left-burnable, we have
f
k
(G) = G. In general, we have B
k
f
k
(A) G for A P.
We prove Theorem 15 by showing that (C
k
, B
k
, f
k
)
m
k=1
is Markovian. We
verify this in the two lemmas below that characterize the pairs that can
occur next to each other for left-burnable = C
1
C
m
. To facilitate
22
the proof, we dene an auxiliary function g : P C P P. Given
A, A
)
to be the set of sites that burn in rung 1.
Lemma 16. For = C
1
C
m
L
1,m
, the following properties hold:
(a) (B
1
, f
1
) = (C
1
) for some function =
G
, in fact, B
1
= g(G, C
1
, )
and f
1
(A) = g(G, C
1
, A);
(b) g(B
k
, C
k+1
, ) = , 1 k < m;
(c) (B
k+1
, f
k+1
) = (B
k
, C
k+1
, f
k
) for a function =
G
independent of k,
1 k < m; and
(d) f
k
(G) = G, 1 k m.
Proof. (a) follows directly from the denitions, and (d) has been observed
before the statement of the lemma. If (b) failed for some 1 k < m,
that would mean that after time T
k
there were no burnable sites in rungs
1, . . . , k +1, with rung k +1 completely unburnt. That means that there are
no burnable sites at all after time T
k
, which contradicts the burnability of .
The proof of (c) is a bit lengthy. We rst show that B
k+1
is a function
of B
k
, C
k+1
and f
k
. For this, we look at the burning process between times
T
k
+ 1 and T
k+1
in more detail. We dene the following intermediate times:
letting R
0
:= T
k
+ 1, we dene
S
1
:= min
_
R
0
n T
k+1
:
there are no burnable sites
in rung k + 1 at time n
_
;
R
1
:= min
_
S
1
n T
k+1
:
there are no burnable sites in
rungs 1 j k at time n
_
,
and for i 2 we recursively set
S
i
:= min
_
R
i1
n T
k+1
:
there are no burnable sites
in rung k + 1 at time n
_
;
R
i
:= min
_
S
i
n T
k+1
:
there are no burnable sites in
rungs 1 j k at time n
_
.
23
Set B
(0)
:= B
k
. Between times T
k
+ 1 = R
0
and S
1
, the subset A
(0)
:=
g(B
(0)
, C
k+1
, ) of rung k + 1 is burnt. Let B
(1)
:= f
k
(A
(0)
) B
(0)
. By the
denition of f
k
, B
(1)
is the set of sites in rung k that is burnt by time R
1
.
We set A
(1)
:= g(B
(1)
, C
k+1
, ) and B
(2)
:= f
k
(A
(1)
). By the denition of g,
A
(1)
is the set of sites in rung k +1 burnt at time S
2
. Although less obvious,
B
(2)
is the set of sites in rung k burnt at time R
2
. The latter statement
needs careful proof since f
k
was dened in terms of the state of the burning
process at time R
0
rather than at R
1
. Consider the sequence of sites burnt
in the computation of f
k
(A
(1)
) (following the denition). We merely get a
rearrangement of this sequence if we rst declare A
(0)
{k +1} to be burnt,
let burning act on rungs 1, . . . , k, then declare
_
A
(1)
\ A
(0)
_
{k + 1} to be
burnt, and then let burning act on rungs 1, . . . , k. This observation proves
our claim about B
(2)
.
In general, for i 1, after burning between times R
i
and S
i+1
, the set
of sites burnt in rung k + 1 is A
(i)
:= g(B
(i)
, C
k+1
, ) A
(i1)
. We set
B
(i+1)
:= f
k
(A
(i)
). Similarly to the case i = 1 spelled out above, by a
decomposition of A
(i)
, we get that B
(i+1)
is the set of sites burnt in rung k at
time R
i+1
. Since there is some j
0
for which B
(j+1)
= B
(j)
and A
(j+1)
= A
(j)
for j j
0
, we have B
k+1
= A
(j
0
)
. To summarize, B
k+1
is obtained as the
stable result of applying the functions g and f
k
according to
B
(0)
:= B
k
, A
(0)
:= g(B
(0)
, C
k+1
, ) ,
B
(1)
:= f
k
(A
(0)
) , A
(1)
:= g(B
(1)
, C
k+1
, ) ,
.
.
.
.
.
.
B
(j
0
)
:= f
k
(A
(j
0
1)
) , B
k+1
= A
(j
0
)
:= g(B
(j
0
)
, C
k+1
, ) .
(15)
This shows that B
k+1
is a function of B
k
, C
k+1
and f
k
that does not depend
on the value of k (is k-independent) .
Now we can prove the remainder of (c) by a similar argument. Consider
the state of the burning process at time T
k+1
, at which time the set of sites
burnt in rung k + 1 is B
k+1
. By the dention of f
k
, the set of sites in rung
k burnt at time T
k+1
is the set
B
(0)
:= f
k
(B
k+1
). Given A G, declare all
sites in A {k + 2} to be burnt (ignoring C
k+2
). Now perform burning in
rung k + 1, which ends at some time
S
1
. Then the set of sites in rung k + 1
burnt at time
S
1
is
A
(0)
:= g(
B
(0)
, C
k+1
, A) B
k+1
.
24
Now we can essentially apply the argument above starting with
A
(0)
in place
of A
(0)
. We perform burning on rungs 1, . . . , k, and let
R
1
S
1
be the
rst time when there are no burnable sites in these rungs. Then the set of
sites in rung k burnt at time
R
1
is
B
(1)
:= f
k
(
A
(0)
). This is shown by the
decomposition
A
(0)
= A
(0)
_
j=1
_
A
(j)
\ A
(j1)
_
_
A
(0)
\ B
k+1
_
.
Next we perform burning in rung k +1 that stops at some time
S
2
R
1
, and
then on rungs 1, . . . , k, which stops at
R
2
S
2
. The set of sites in rung k +1
burnt at time
S
2
is
A
(1)
:= g(
B
(1)
, C
k+1
, A), and the set of sites in rung k
burnt at time
R
2
is f
k
(
A
(1)
). We continue to iterate g and f
k
until the burnt
sites in rung k +1 stabilize to some set
A
(
j
0
)
. We then have f
k+1
(A) =
A
(
j
0
)
.
We have
B
(0)
:= f
k
(B
k+1
) ,
A
(0)
:= g(
B
(0)
, C
k+1
, A) ,
B
(1)
:= f
k
(
A
(0)
) ,
A
(1)
:= g(
B
(1)
, C
k+1
, A) ,
.
.
.
.
.
.
B
(
j
0
)
:= f
k
(
A
(
j
0
1)
) , f
k+1
(A) =
A
(
j
0
)
:= g(
B
(
j
0
)
, C
k+1
, A) .
(16)
This shows that f
k+1
is a k-independent function of B
k
, C
k+1
and f
k
, and
hence (c) follows.
Lemma 17. Let and be as in Lemma 16. Suppose the sequence (C
k
, B
k
, f
k
)
C P P
P
, k = 1, . . . , m, satises the conditions:
(A) (B
1
, f
1
) = (C
1
);
(B) g(B
k
, C
k+1
, ) = , 1 k < m;
(C) (B
k+1
, f
k+1
) = (B
k
, C
k+1
, f
k
), 1 k < m; and
(D) f
k
(G) = G, 1 k m.
Then := C
1
C
m
L
1,m
, and taking C
k
:= C
k
in the denitions
preceding Lemma 16, we have B
k
= B
k
and f
k
= f
k
, 1 k m.
25
Proof. We verify the statement by induction on m. When m = 1, = C
L
1,1
since C
1
C. Therefore by (A), (B
1
, f
1
) = (C
1
) = (C
1
) = (B
1
, f
1
).
Now assume the statement of the lemma holds for some m 1, and we
prove it for m + 1. Hence assume that (A)(D) hold with m replaced by
m + 1. By the induction hypothesis,
m
:= C
1
C
m
L
1,m
. Since
the denitions of B
k
, f
k
(1 k m) do not depend on C
m+1
, we also get
B
k
= B
k
and f
k
= f
k
for 1 k m. Note also that T
k
, 1 k m, has the
same value whether we consider the burning of
m
or
m+1
. Since B
m
= B
m
,
we have
B
m+1
g(B
m
, C
m+1
, ) = g(B
m
, C
m+1
, ) = ,
by (B). Therefore, B
m+1
is not empty. We show that this implies that
m+1
is left-burnable.
First, note that rung m+2 (the ghost rung) can be burnt. Our assumption
(C) says that f
m+1
(G) is determined via the function by the data: f
m
= f
m
,
B
m
= B
m
and C
m+1
= C
m+1
, and that its value can be obtained as the result
of the computation in (16). After the ghost rung has been burnt, the burning
of rungs m and m + 1 will follow the pattern of (16), with A := G. Since
the computation will stabilize with result f
m+1
(G) = G, this means that
eventually everything in rung m + 1 burns. By left-burnability of
m
, this
means that also all the rungs 1, . . . , m burn, and hence
m+1
is left-burnable.
By Lemma 16 (c) and (C), we now have
(B
m+1
, f
m+1
) = (B
m
, C
m+1
, f
m
) = (B
m
, C
m+1
, f
m
) = (B
m+1
, f
m+1
).
This advances the induction, and the lemma follows.
Proof of Theorem 15. Let and be as in Lemma 16. We dene the
inclusion i(C) =
_
C, (C)
_
. We dene the alphabet A as the set of (C, B, f)
such that there exists m 1 and a sequence (C
k
, B
k
, f
k
)
m
k=1
with
(i) (C
m
, B
m
, f
m
) = (C, B, f);
(ii) (C
1
, B
1
, f
1
) = i(C
1
);
(iii) g(B
k
, C
k+1
, ) = , 1 k < m;
(iv) (B
k+1
, f
k+1
) = (B
k
, C
k+1
, f
k
), 1 k < m; and
(v) f
k
(G) = G, 1 k m.
26
We dene the transition matrix T by
T
_
(C, B, f), (C
, B
, f
)
_
=
_
1 if g(B, C
, ) = , (B
, f
) = (B, C
, f) ,
0 otherwise.
It follows from these denitions that for any left-burnable ,
:= (
k
)
m
k=1
:= (C
k
, B
k
, f
k
)
m
k=1
A
1,m
.
By Lemma 16 we have in fact
L
1,m
. It follows from Lemma 17 that
every element of
L
1,m
arises this way. The correspondence satises
P() = by dention, and hence is one-to-one.
It remains to show that T is transitive. For this, we rst show that for
any (C, B, f) A we have T
_
(C, B, f), i(C
max
)
_
= 1. It is easy to verify
that i(C
max
) = (C
max
, G, f
max
), where f
max
G. By the denition of A,
B = , and hence g(B, C
max
, ) = G = . Recalling the construction of in
(15)(16), we have, regardless of the values of B and f,
A
(0)
= g(B, C
max
, ) = G,
and therefore A
(j
0
)
= G. This implies that
B
(0)
= f(G) = G, and hence
A
(0)
= g(G, C
max
, A) = G, regardless of what A is. It follows that
(B, C
max
, f) = (G, f
max
),
as required.
Next we show that T
_
i(C
max
), i(C)
_
= 1 for every C C. Since i(C
max
) =
(C
max
, G, f
max
), the requirement that g(G, C, ) = is clearly satised. Re-
calling the construction of in (15)(16), we have for any A G,
A
(0)
= g(G, C, ) = A
(j
0
)
,
B
(0)
= f
max
(A
(j
0
)
) = G,
A
(1)
= g(G, C, A) =
A
(
j
0
)
.
This shows that (G, C, f
max
) =
_
g(G, C, ), g(G, C, )
_
, as required.
We have shown that i(C
max
) can be reached from any state, and any
i(C) can be reached from i(C
max
). By the denition of A, any state can be
reached from some i(C), and hence from i(C
max
). Using again that i(C
max
)
can follow any state, we see that no periodicity issue can arise, and hence T
is transitive.
Acknowledgements. We thank Omer Angel for useful conversations.
27
References
[1] Ali, A.A. and Dhar, D.: Structure of avalanches and breakdown of sim-
ple scaling in the Abelian sandpile model in one dimension. Phys. Rev. E
52, 48044818 (1995).
[2] Athreya, S.R. and Jarai, A.A.: Innite volume limit for the stationary
distribution of Abelian sandpile models. Commun. Math. Phys. 249,
197213 (2004). Erratum: Commun. Math. Phys. 264, 843 (2006).
[3] Bak, P.: How Nature Works. The Science of Self-Organized Criticality.
Copernicus, New York (1996).
[4] Burton, R. and Steif, J.E.: Non-uniqueness of measures of maximal
entropy for subshifts of nite type. Ergodic Theory Dynam. Systems
14, 213235 (1994).
[5] Bak, P., Tang, C. and Wiesenfeld, K.: Self-organized criticality: An
explanation of the 1/f noise. Phys. Rev. A 59, 381384 (1987).
[6] Bak, P., Tang, C. and Wiesenfeld, K.: Self-organized criticality.
Phys. Rev. A 38, 364374 (1988).
[7] Bjorner, A., Lovasz, L. and Shor, P.W.: Chip-ring games on graphs.
European J. Combin. 12, 283291 (1991).
[8] Buzzi, J.: Subshifts of quasi-nite type. Invent. Math. 159, 369406
(2005).
[9] Cornfeld, I.P., Fomin, S.V. and Sinai, Ya.G.: Ergodic Theory.
Grundlehren der mathematischen Wissenschaften 245, Springer, New
York (1982).
[10] Dhar, D.: Self-organized critical state of sandpile automaton models.
Phys. Rev. Lett. 64, 16131616 (1990).
[11] Dhar, D.: The Abelian sandpile and related models. Phys. A 263, 425
(1999).
[12] Dhar, D.: Studying self-organized criticality with exactly solved models.
Preprint (1999) http://arXiv.org/abs/cond-mat/9909009.
28
[13] Dhar, D.: Theoretical studies of self-organized criticality. Physica A
369, 2970 (2006).
[14] Dhar, D. and Majumdar, S.N.: Abelian sandpile model on the Bethe
lattice. J. Phys. A 23, 43334350 (1990).
[15] Feller, W.: An Introduction to Probability Theory and Its Applications,
Volume I. Wiley, New York, 3rd edition (1968).
[16] Haggstrom, O.: Aspects of Spatial Random Processes. Ph.D. thesis,
Chalmers University of Technology and Goteborg University (1994).
[17] Ivashkevich, E.V. and Priezzhev, V.B.: Introduction to the sandpile
model. Phys. A 254, 97116 (1998).
[18] Jarai, A.A.: Thermodynamic limit of the Abelian sandpile model on Z
d
.
Markov Process. Related Fields 11, 313336 (2005).
[19] Jarai, A.A. and Redig, F.: Innite volume limit of the Abelian sandpile
model in dimensions d 3. To appear in Probab. Theory Related Fields.
http://arxiv.org/abs/math/0408060v3
[20] Jensen, H.J.: Self-Organized Criticality. Emergent Complex Behavior in
Physical and Biological Systems. Cambridge Lecture Notes in Physics,
10, Cambridge University Press (2000).
[21] Katok, A. and Hasselblatt, B.: Introduction to the Modern Theory of
Dynamical Systems. Encyclopedia of Mathematics and Its Applications
54, Cambridge University Press, New York, (1995).
[22] Lind, D. and Marcus, B.: An Introduction to Symbolic Dynamics and
Coding. Cambridge University Press (1995).
[23] Maes, C., Redig, F. and Saada, E.: The Abelian sandpile model on an
innite tree. Ann. Probab. 30, 20812107 (2002).
[24] Maes, C., Redig, F. and Saada, E.: The innite volume limit of dissipa-
tive abelian sandpiles. Commun. Math. Phys. 244, 395417 (2004).
[25] Maes, C., Redig, F. and Saada, E.: Abelian sandpile models in innite
volume. Sankhya, the Indian Journal of Statistics 67, 634661 (2005).
29
[26] Maes, C., Redig, F., Saada, E. and Van Moaert, A.: On the thermody-
namic limit for a one-dimensional sandpile process. Markov Process. Re-
lated Fields 6, 122 (2000).
[27] Majumdar, S.N. and Dhar, D.: Equivalence between the Abelian sand-
pile model and the q 0 limit of the Potts model. Physica A 185,
129145 (1992).
[28] Meester, R., Redig, F. and Znamenski, D.: The Abelian sandpile; a
mathematical introduction. Markov Process. Related Fields 7, 509523
(2002).
[29] Redig, F.: Mathematical aspects of the abelian sandpile model. Bovier,
A., Dunlop, F., van Enter, A., den Hollander, F. and Dalibard, J. (eds.):
Lecture Notes of Les Houches Summer School 2005, Mathematical Sta-
tistical Physics, Session LXXXIII. Elsevier, Amsterdam (2006).
30