Table of Contents
Fetching ...

Long-range one-dimensional internal diffusion-limited aggregation

Conrado da Costa, Debleena Thacker, Andrew Wade

Abstract

We study internal diffusion limited aggregation on $\mathbb{Z}$, where a cluster is grown by sequentially adding the first site outside the cluster visited by each random walk dispatched from the origin. We assume that the increment distribution $X$ of the driving random walks has $\mathbb{E} X =0$, but may be neither simple nor symmetric, and can have $\mathbb{E} (X^2) = \infty$, for example. For the case where $\mathbb{E} (X^2) < \infty$, we prove that after $m$ walks have been dispatched, all but $o(m)$ sites in the cluster form an approximately symmetric contiguous block around the origin. This extends known results for simple random walk. On the other hand, if~$X$ is in the domain of attraction of a symmetric $α$-stable law, $1 < α<2$, we prove that the cluster contains a contiguous block of $δm +o(m)$ sites, where $0 < δ< 1$, but, unlike the finite-variance case, one may not take $δ=1$.

Long-range one-dimensional internal diffusion-limited aggregation

Abstract

We study internal diffusion limited aggregation on , where a cluster is grown by sequentially adding the first site outside the cluster visited by each random walk dispatched from the origin. We assume that the increment distribution of the driving random walks has , but may be neither simple nor symmetric, and can have , for example. For the case where , we prove that after walks have been dispatched, all but sites in the cluster form an approximately symmetric contiguous block around the origin. This extends known results for simple random walk. On the other hand, if~ is in the domain of attraction of a symmetric -stable law, , we prove that the cluster contains a contiguous block of sites, where , but, unlike the finite-variance case, one may not take .

Paper Structure

This paper contains 16 sections, 20 theorems, 140 equations.

Key Result

Proposition 1.2

Suppose that ass:irreducible holds. Then $\mathop{\mathrm{\mathbb{P}}}\nolimits ( \mathfrak{C}_\infty = {\mathbb Z} ) =1$.

Theorems & Definitions (44)

  • Remark 1.1
  • Proposition 1.2
  • Theorem 1.3
  • Remark 1.4
  • Theorem 1.6
  • Remark 1.7
  • Remark 2.1
  • Proposition 2.2
  • Proposition 2.3
  • Remark 2.4
  • ...and 34 more