Multi-particle diffusion limited aggregation

We consider a stochastic aggregation model on Z^d. Start with particles located at the vertices of the lattice, initially distributed according to the product Bernoulli measure with parameter \mu. In addition, there is an aggregate, which initially consists of the origin. Non-aggregated particles move as continuous time simple random walks obeying the exclusion rule, whereas aggregated particles do not move. The aggregate grows by attaching particles to its surface whenever a particle attempts to jump onto it. This evolution is referred to as multi-particle diffusion limited aggregation. Our main result states that if on d>1 the initial density of particles is large enough, then with positive probability the aggregate has linearly growing arms, i.e. if F(t) denotes the point of the aggregate furthest away from the origin at time t>0, then there exists a constant c>0 so that |F(t)|>ct, for all t eventually. The key conceptual element of our analysis is the introduction and study of a new growth process. Consider a first passage percolation process, called type 1, starting from the origin. Whenever type 1 is about to occupy a new vertex, with positive probability, instead of doing it, it gives rise to another first passage percolation process, called type 2, which starts to spread from that vertex. Each vertex gets occupied only by the process that arrives to it first. This process may have three phases: an extinction phase, where type 1 gets eventually surrounded by type 2 clusters, a coexistence phase, where infinite clusters of both types emerge, and a strong survival phase, where type 1 produces an infinite cluster that successfully surrounds all type 2 clusters. Understanding the behavior of this process in its various phases is of mathematical interest on its own right. We establish the existence of a strong survival phase, and use this to show our main result.