The Brownian Web, the Brownian Net, and Their Universality
Total Page:16
File Type:pdf, Size:1020Kb
6 The Brownian Web, the Brownian Net, and their Universality EMMANUEL SCHERTZER, RONGFENG SUN AND JAN M. SWART 6.1 Introduction The Brownian web originated from the work of Arratia’s Ph.D. thesis [1], where he studied diffusive scaling limits of coalescing random walk paths starting from everywhere on Z, which can be seen as the spatial genealogies of the population in the dual voter model on Z. Arratia showed that the collection of coalescing random walks converge to a collection of coalescing Brownian motions on R, starting from every point on R at time 0. Subsequently, Arratia [2] attempted to generalize his result by constructing a system of coalescing Brownian motions starting from everywhere in the space-time plane R2, which would be the scaling limit of coalescing random walk paths starting from everywhere on Z at every time t ∈ R. However, the manuscript [2] was never completed, even though fundamental ideas have been laid down. This topic remained dormant until Toth´ and Werner [99] discovered a surprising connection between the one-dimensional space-time coalescing Brownian motions that Arratia tried to construct, and an unusual process called the true self-repelling motion, which is repelled by its own local time profile. Building on ideas from [2], Toth´ and Werner [99] gave a construction of the system of space-time coalescing Brownian motions, and then used it to construct the true self-repelling motion. On the other hand, Fontes, Isopi, Newman and Stein [37] discovered that this system of space-time coalescing Brownian motions also arises in the study of aging and scaling limits of one-dimensional spin systems. To establish weak convergence of discrete models to the system of coalescing Brownian motions, Fontes et al. [38, 40] introduced a topology that the system of coalescing Brownian motions starting from every space-time point can be realized as a random variable taking values in a Polish space, and they named this random variable the Brownian web.An extension to the Brownian web was later introduced by the authors in [86], and independently by Newman, Ravishankar and Schertzer in [73]. This object was named the Brownian net in [86], where the coalescing paths in the Brownian web 270 Downloaded from https://www.cambridge.org/core. National University of Singapore (NUS), on 23 Apr 2018 at 02:40:07, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms. https://doi.org/10.1017/9781316403877.007 The Brownian Web and the Brownian Net 271 are also allowed to branch. To counter the effect of instantaneous coalescence, the branching occurs at an effectively “infinite” rate. The Brownian web and net have very interesting properties. Their construction is nontrivial due to the uncountable number of starting points in space-time. Coalescence allows one to reduce the system to a countable number of starting points. In fact, the collection of coalescing paths starting from every point on R at time 0 immediately becomes locally finite when time becomes positive, similar to the phenomenon of coming down from infinity in Kingman’s coalescent (see e.g., [10]). In fact, the Brownian web can be regarded as the spatial analogue of Kingman’s coalescent, with the former arising as the limit of genealogies of the voter model on Z, and the latter arising as the limit of genealogies of the voter model on the complete graph. The key tool in the analysis of the Brownian web, as well as the Brownian net, is its self-duality, similar to the self-duality of critical bond percolation on Z2. Duality allows one to show that there exist random space-time points where multiple paths originate, and one can give a complete classification of these points. The Brownian web and net also admit a coupling, where the web can be constructed by sampling paths in the net, and conversely, the net can be constructed from the web by Poisson marking a set of “pivotal” points in the web and turning these into points where paths can branch. The latter construction is similar to the construction of scaling limits of near-critical planar percolation from that of critical percolation [19, 48, 49]. The Brownian web and net give rise to a new universality class. In particular, they are expected to arise as the universal scaling limits of one-dimensional interacting particle systems with coalescence, respectively branching-coalescence. One such class of models are population genetic models with resampling and selection, whose spatial genealogies undergo branching and coalescence. Establishing weak convergence to the Brownian web or net can also help in the study of the discrete particle systems themselves. Related models which have been shown to converge to the Brownian web include coalescing random walks [72], succession lines in Poisson trees [36, 23, 46] and drainage network type models [17, 22, 80]. Interesting connections with the Brownian web and net have also emerged from many unexpected sources, including supercritical oriented percolation on Z1+1 [6], planar aggregation models [76, 77], true self-avoiding random walks on Z [94, 99], random matrix theory [101, 100], and also one-dimensional random walks in i.i.d. space-time random environments [92]. There are also close parallels between the Brownian web and the scaling limit of critical planar percolation, which are the only known examples of two-dimensional black noise [95, 96, 87, 33]. The goal of this article is to give an introduction to the Brownian web and net, their basic properties, and how they arise in the scaling limits of one-dimensional interacting particle systems with branching and coalescence. We will focus on the Downloaded from https://www.cambridge.org/core. National University of Singapore (NUS), on 23 Apr 2018 at 02:40:07, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms. https://doi.org/10.1017/9781316403877.007 272 E. Schertzer et al. key ideas, while referring many details to the literature. Our emphasis is naturally biased toward our own research. However, we will also briefly survey related work, including the many interesting connections mentioned above. We have left out many other closely related studies, including diffusion-limited reactions [28, 8] where a dynamic phase transition is observed for branching-coalescing random walks, the propagation of cracks in a sheet [27], rill erosion [31] and the directed Abelian Sandpile Model [25], quantum spin chains [60], etc., which all lie within the general framework of non-equilibrium critical phenomena discussed in the physics surveys [79, 53]. The rest of this article is organized as follows. In Section 6.2, we will construct and give a characterization of the Brownian web and study its properties. In Section 6.3, we do the same for the Brownian net. In Section 6.4, we introduce a coupling between the Brownian web and net and show how one can be constructed from the other. In Section 6.5, we will explain how the Brownian web and net can be used to construct the scaling limits of one-dimensional random walks in i.i.d. space-time random environments. In Section 6.6, we formulate convergence criteria for the Brownian web, which are then applied to coalescing random walks. We will also discuss strategies for proving convergence to the Brownian net. In Section 6.7, we survey other interesting models and results connected to the Brownian web and net. Lastly, in Section 6.8, we conclude with some interesting open questions. 6.2 The Brownian Web The Brownian web is best motivated by its discrete analogue, the collection of discrete time coalescing simple symmetric random walks on Z, with one Z2 ={ ∈ Z2 walker starting from every site in the space-time lattice even : (x,n) : + } Z2 x n is even . The restriction to the sublattice even is necessary due to parity. ∈ Z2 Figure 6.1 illustrates a graphical construction, where from each (x,n) even an independent arrow is drawn from (x,n) to either (x − 1,n + 1) or (x + 1,n + 1) with probability 1/2 each, determining whether the walk starting at x at time n should move to x−1orx+1 at time n+1. The objects of interest for us are the collection of upward random walk paths (obtained by following the arrows) starting from every space-time lattice point. The question is: Q.1 What is the diffusive scaling limit of this collection√ of coalescing random walk paths if space and time are scaled by 1/ n and 1/n respectively? Intuitively, it is not difficult to see that the limit should be a collection of coalescing Brownian motions, starting from everywhere in the space-time plane R2.This is what we will call the Brownian web. However, a conceptual difficulty arises, namely that we need to construct the joint realization of uncountably many Downloaded from https://www.cambridge.org/core. National University of Singapore (NUS), on 23 Apr 2018 at 02:40:07, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms. https://doi.org/10.1017/9781316403877.007 The Brownian Web and the Brownian Net 273 Z2 Figure 6.1. Discrete space-time coalescing random walks on even, and its dual Z2 on odd. Brownian motions. Fortunately it turns out that coalescence allows us to reduce the construction to only a countable collection of coalescing Brownian motions. Note that in Figure 6.1, we have also drawn a collection of downward arrows Z2 ={ ∈ Z2 + } connecting points in the odd space-time lattice odd : (x,n) : x n is odd , which are dual to the upward arrows by the constraint that the upward and backward arrows do not cross each other.