Local Density of Activated Random Walk on $\mathbb{Z}$

Abstract: We consider one-dimensional activated random walk (ARW) on $\mathbb{Z}$ started from a `point source' initial condition, with many particles at the origin and no other particles. We prove that, uniformly throughout a macroscopic window around the source, the probability that a site contains a sleeping particle after the configuration is stabilized is approximately the critical density. This represents a first step towards understanding the local structure of the critical stationary measure for ARW.