on G. Additionally, each occupied vertex is “hit by lightning” at rate ζ, the parameter of the model:
when this occurs, the entire occupied cluster of the vertex “burns instantaneously” i.e. all vertices in
that cluster become vacant at once. All these burnt vertices then become occupied again (“recover”)
at rate 1, and so on.
This model is a (continuous-time) version of the Drossel-Schwabl forest fire model [15], which has
received much attention in the physics literature, as well as in papers on ecology and related fields
(this classical process is often viewed as a paradigmatic situation where self-organized criticality can
be observed). In this paper we simply call it the Drossel-Schwabl model. The first mathematically
rigorous paper where this process was studied in dimension >1is, as far as we know, the paper [6]
by one of us and Brouwer.
Note that if all ignitions are ignored, i.e. in the corresponding “birth process”, then at each time
twe have a configuration where the sites of the lattice are, independently of each other, occupied
with probability p=p(t) := 1 −e−t, and vacant with probability 1−p. The study of the size of
occupied connected components (and other connectivity properties) in such random configurations
is the subject of (Bernoulli) percolation theory, a field which has witnessed impressive developments
in the last decades (see Section 2 for a brief introduction to percolation theory, and a list of results
that will be used in this paper).
One of the first results in percolation theory was the existence of a critical value pc, strictly
between 0and 1, such that for p>pcthere is (almost surely) an infinite occupied cluster, while for
p<pcthere are only finite occupied clusters. Related to this early percolation result, the above
mentioned paper [6] raised a fundamental open problem on forest fires, where tcis the time at which
an infinite cluster “starts to form” in the birth process, i.e. defined by the relation 1−e−tc=pc.
This open problem is essentially the following: is it true that, for all t>tc, the probability that a
given vertex, say 0, burns before time tdoes not tend to 0as ζ&0?
The following intuitive argument “by contradiction” (taken roughly from [6]) suggests an affir-
mative answer to the above question:
“Suppose there is a t>tcfor which the above mentioned probability does go to 0. Take
at0∈(tc, t). Trivially the mentioned probability also tends to 0for t0. So, roughly
speaking, as ζ&0, the system at time t0looks like ordinary Bernoulli percolation with
parameter 1−e−t0. Since this is larger than pc, there is a positive probability that 0
belongs to an infinite occupied cluster at time t0. However, such a cluster would burn
immediately, hence before time t: contradiction.”
As said in [6], this type of reasoning is very shaky, but its conclusion turns out to be correct for
the directed binary tree (see Lemma 4.5 in that paper). The same paper also stated a percolation-
like conjecture (Conjecture 2.1 there). This conjecture says, roughly speaking, that, for Bernoulli
percolation at p=pc, if certain macroscopic occupied clusters in an nby nbox are destroyed (made
vacant), after which every vacant vertex in the box gets, independently, an extra chance δto become
occupied, then this δneeds to be bounded away from 0as n→ ∞ to assure large-scale connectivity
in the resulting configuration.
The paper also introduced a variant of the Drossel-Schwabl model where the ignition mechanism
is not Poissonian, but where instead an occupied cluster is burnt immediately when its size (volume)
is at least N, which is now the parameter of the model. From now on, this process is called the
N-forest fire, and we denote the corresponding probability measure by PN. One may expect that for
very large N, it behaves in many respects the same as the Drossel-Schwabl model with parameter
3