Stochastic flows in the Brownian web and net
Abstract
It is known that certain onedimensional nearestneighbor random walks in i.i.d. random spacetime environments have diffusive scaling limits. Here, in the continuum limit, the random environment is represented by a ‘stochastic flow of kernels’, which is a collection of random kernels that can be loosely interpreted as the transition probabilities of a Markov process in a random environment. The theory of stochastic flows of kernels was first developed by Le Jan and Raimond, who showed that each such flow is characterized by its point motions. Our work focuses on a class of stochastic flows of kernels with Brownian point motions which, after their inventors, will be called HowittWarren flows.
Our main result gives a graphical construction of general HowittWarren flows, where the underlying random environment takes on the form of a suitably marked Brownian web. This extends earlier work of Howitt and Warren who showed that a special case, the socalled ‘erosion flow’, can be constructed from two coupled ‘sticky Brownian webs’. Our construction for general HowittWarren flows is based on a Poisson marking procedure developed by Newman, Ravishankar and Schertzer for the Brownian web. Alternatively, we show that a special subclass of the HowittWarren flows can be constructed as random flows of mass in a Brownian net, introduced by Sun and Swart.
Using these constructions, we prove some new results for the HowittWarren flows. In particular, we show that the kernels spread with a finite speed and have a locally finite support at deterministic times if and only if the flow is embeddable in a Brownian net. We show that the kernels are always purely atomic at deterministic times, but, with the exception of the erosion flows, exhibit random times when the kernels are purely nonatomic. We moreover prove ergodic statements for a class of measurevalued processes induced by the HowittWarren flows.
Our work also yields some new results in the theory of the Brownian web and net. In particular, we prove several new results about coupled sticky Brownian webs and about a natural coupling of a Brownian web with a Brownian net. We also introduce a ‘finite graph representation’ which gives a precise description of how paths in the Brownian net move between deterministic times.
MSC 2010. Primary: 82C21 ; Secondary: 60K35, 60K37, 60D05.
Keywords. Brownian web, Brownian net, stochastic flow of kernels,
measurevalued process, HowittWarren flow, linear system, random walk in
random environment, finite graph representation.
Acknowledgement. R. Sun is supported by grants R146000119133 and
R146000148112 from the National University of Singapore. J.M. Swart is
sponsored by GAČR grants 201/07/0237 and 201/09/1931.
Contents:
 1 Introduction
 2 Results for HowittWarren flows
 3 Construction of HowittWarren flows in the Brownian web
 4 Construction of HowittWarren flows in the Brownian net
 5 Outline of the proofs
 6 Coupling of the Brownian web and net
 7 Construction and convergence of HowittWarren flows
 8 Support properties
 9 Atomic or nonatomic
 10 Infinite starting mass and discrete approximation
 11 Ergodic properties
 A The HowittWarren martingale problem
 B The Hausdorff topology
 C Some measurability issues
 D Thinning and Poissonization
 E A onesided version of Kolmogorov’s moment criterion
1 Introduction
1.1 Overview
In [LR04a], Le Jan and Raimond introduced the notion of a stochastic flow of kernels, which is a collection of random probability kernels that can be loosely viewed as the transition kernels of a Markov process in a random spacetime environment, where restrictions of the environment to disjoint time intervals are independent and the environment is stationary in time. For suitable versions of such a stochastic flow of kernels (when they exist), this loose interpretation is exact, see Definition 2.1 below and the remark following it. Given the environment, one can sample independent copies of the Markov process and then average over the environment. This defines the point motion for the flow, which satisfies a natural consistency condition: namely, the marginal distribution of any components of an point motion is necessarily a point motion. A fundamental result of Le Jan and Raimond [LR04a] shows that conversely, any family of Feller processes that is consistent in this way gives rise to an (essentially) unique stochastic flow of kernels.
As an example, in [LR04b], the authors used Dirichlet forms to construct a consistent family of reversible point motions on the circle, which are stable Lévy processes with some form of sticky interaction characterized by a real parameter . In particular, for , these are sticky Brownian motions. Subsequently, Howitt and Warren [HW09a] used a martingale problem approach to construct a much larger class of consistent Feller processes on , which are Brownian motions with some form of sticky interaction characterized by a finite measure on . In particular, if is a multiple of the Lebesgue measure, these are the sticky Brownian motions of Le Jan and Raimond. From now on, and throughout this paper, we specialize to the case of Browian underlying motions. By the general result of Le Jan and Raimond mentioned above, the sticky Brownian motions of Le Jan and Raimond, resp. Howitt and Warren, are the point motions of an (essentially) unique stochastic flow of kernels on , which we call a Le JanRaimond flow, resp. HowittWarren flow (the former being a special case of the latter). It has been shown in [LL04, HW09a] that these objects can be obtained as diffusive scaling limits of onedimensional random walks in i.i.d. random spacetime environments.
The main goal of the present paper is to give a graphical construction of HowittWarren flows that follows as closely as possible the discrete construction of random walks in an i.i.d. random environment. In particular, we want to make explicit what represents the random environment in the continuum setting. The original construction of HowittWarren flows using point motions does not tell us much about this. In [HW09b], it was shown that the HowittWarren flow with , known as the erosion flow, can be constructed using two coupled Brownian webs, where one Brownian web serves as the random spacetime environment, while the conditional law of the second Brownian web determines the stochastic flow of kernels.
We will extend this construction to general HowittWarren flows, where in the general case, the random environment consists of a Brownian web together with a marked Poisson point process which is concentrated on the socalled points of type of the Brownian web. A central tool in this construction is a Poisson marking procedure invented by Newman, Ravishankar and Schertzer in [NRS10]. Of course, we also make extensive use of the theory of the Brownian web developed in [TW98, FINR04]. For a special subclass of the HowittWarren flows, we will show that alternatively the random spacetime environment can be represented as a Brownian net, plus a countable collection of i.i.d. marks attached to its socalled separation points. Here, we use the theory of the Brownian net, which was developed in [SS08] and [SSS09].
Using our graphical construction, we prove a number of new properties for the HowittWarren flows. In particular, we give necessary and sufficient conditions in terms of the measure for the random kernels to spread with finite speed, for their support to consist of isolated points at deterministic times, and for the existence of random times when the kernels are nonatomic (Theorems 2.5, 2.7 and 2.8 below). We moreover use our construction to prove the existence of versions of HowittWarren flows with nice regularity properties (Proposition 3.8 below), in particular, versions which can be interpreted as bona fide transition kernels in a random spacetime environment. Lastly, we study the invariant laws for measurevalued processes associated with the HowittWarren flows (Theorem 2.11).
Our graphical construction of the HowittWarren flows is to a large extent motivated by its discrete spacetime counterpart, i.e., random walks in i.i.d. random spacetime environments on . Many of our proofs will also be based on discrete approximation. Therefore, in the rest of the introduction, we will introduce a class of random walks in i.i.d. random spacetime environments and some related objects of interest, and sketch heuristically how the Brownian web and the Brownian net will arise in the representation of the random spacetime environment for the HowittWarren flows. An outline of the rest of the paper will be given at the end of the introduction.
Incidentally, we note that random walks in i.i.d. random spacetime environments have been used in the physics literature to model the flow of stress in a granular medium, called the model, see e.g. [LMY01, JM11] and the references therein. The HowittWarren flows we consider are effectively scaling limits of socalled nearcritical models.
1.2 Discrete HowittWarren flows
Let be the even sublattice of . We interpret the first coordinate as space and the second coordinate as time, which is plotted vertically in figures. Let be i.i.d. valued random variables with common distribution . We view as a random spacetime environment for a random walk, such that conditional on the environment , if the random walk is at time at the position , then in the next unit time step the walk jumps to with probability and to with the remaining probability (see Figure 1).
To formalize this, let denote the law of the environment and for each , let denote the conditional law, given the random environment , of the random walk in random environment we have just described, started at time at position . Since parts of the random environment belonging to different times are independent, it is not hard to see that under the averaged (or ‘annealed’) law , the process is still a Markov chain, which in each time step jumps to the right with probability and to the left with the remaining probability . Note that this is quite different from the usual random walk in random environment (RWRE) where the randomness is fixed for all time, and the averaged motion no longer has the Markov property.
We will be interested in three objects associated with the random walks in the i.i.d. random spacetime environment , namely: random transition kernels, point motions, and a measurevalued process. The law of each of these objects is uniquely characterized by and, conversely, uniquely determines .
First of all, the random environment determines a family of random transition probability kernels,
(1.1) 
which satisfy

.

For each , the random variables are independent.

and are equal in law for each .
We call the collection of random probability kernels the discrete HowittWarren flow with characteristic measure . Such a collection is a discrete time analogue of a stochastic flow of kernels as introduced by Le Jan and Raimond in [LR04a] (see Definition 2.1 below).
Next, given the environment , we can sample a collection of independent random walks
(1.2) 
in the random environment , started at time zero from deterministic sites , respectively. It is easy to see that under the averaged law
(1.3) 
the process is still a Markov chain, which we call the discrete point motion. Its transition probabilities are given by
(1.4) 
Note that these discrete point motions are consistent in the sense that any coordinates of are distributed as a discrete point motion. Each coordinate is distributed as a nearestneighbor random walk thats makes jumps to the right with probability . Because of the spatial independence of the random environment, the coordinates evolve independently when they are at different positions. To see that there is some nontrivial interaction when they are at the same position, note that if coordinates are at position at time , then the probability that in the next time step the first coordinates jump to while the last coordinates jump to equals , which in general does not factor into . Note that the law of is uniquely determined by its moments, which are in turn determined by the transition probabilities of the discrete point motions (for each ).
Finally, based on the family of kernels , we can define a measurevalued process
(1.5) 
where is any locally finite initial measure on . Note that conditional on , the process evolves deterministically, with
(1.6) 
Under the law , the process is a Markov chain, taking values alternatively in the spaces of finite measures on and . Note that (1.6) says that in the time step from to , an fraction of the mass at is sent to and the rest is sent to . Obviously, this dynamics preserves the total mass. In particular, if is a probability measure, then is a probability measure for all . We call the discrete HowittWarren process.
We will be interested in the diffusive scaling limits of all these objects, which will be (continuum) HowittWarren flows and their associated point motions and measurevalued processes, respectively. Note that the discrete HowittWarren flow determines the random environment a.s. uniquely. The law of is uniquely determined by either the law of its point motions or the law of its associated measurevalued process.
1.3 Scaling limits of discrete HowittWarren flows
We now recall from [HW09a] the conditions under which the point motions of a sequence of discrete HowittWarren flows converge to the point motions of a (continuum) stochastic flow of kernels, which we call a HowittWarren flow. We will then use discrete approximation to sketch heuristically how such a HowittWarren flow can be constructed from a Brownian web or net.
Let be positive constants tending to zero, and let
be probability laws on satisfying
(1.7) 
for some and finite measure on , where
denotes weak convergence. Howitt and Warren [HW09a]
Now let us use discrete approximation to explain heuristically how to construct a HowittWarren flow based on a Brownian web or net. The construction based on the Brownian net is conceptually easier, so we consider this case first.
Let and let be a finite measure on . Assuming, as we must in this case, that , we may define a sequence of probability measures on by
(1.8) 
Then is a probability measure on for sufficiently large (such that ), and the satisfy (1.7). Thus, when space is rescaled by and time by , the discrete HowittWarren flow with characteristic measure approximates a HowittWarren flow with drift and characteristic measure .
Let be i.i.d. with common law , which serves as the random environment for a discrete HowittWarren flow with characteristic measure . We observe that for large , most of the are either zero or one. In view of this, it is convenient to alternatively encode as follows. For each , if , then we call a separation point, set , and we draw two arrows from , leading respectively to . When , resp. , we draw a single arrow from to , resp. . Note that the collection of arrows generates a branchingcoalescing structure, called discrete net, on (see Figure 2) and conditional on , the at separation points of are independent with common law . Therefore the random environment can be represented by the pair , where a walk in such an environment must navigate along , and when it encounters a separation point , it jumps either left or right with probability , resp. .
It turns out that the pair has a meaningful diffusive scaling limit. In particular, if space is scaled by and time by , then converges to a limiting branchingcoalescing structure called the Brownian net, the theory of which was developed in [SS08, SSS09]. In particular, the separation points of have a continuum analogue, the socalled separation points of , where incoming trajectories can continue along two groups of outgoing trajectories. These separation points are dense in space and time, but countable. Conditional on , we can then assign i.i.d. random variables with common law to the separation points of . The pair provides a representation for the random spacetime environment underlying the HowittWarren flow with drift and characteristic measure . A random motion in such a random environment must navigate along , and whenever it comes to a separation point , with probability resp. , it continues along the left resp. right of the two groups of outgoing trajectories in at . We will recall the formal definition of the Brownian net and give a rigorous construction of a random motion navigating in in Section 4.
We now consider HowittWarren flows whose characteristic measure is a general finite measure . Let satisfy (1.7) and let be an i.i.d. random spacetime environment with common law . Contrary to the previous situation, it will now in general not be true that the most of the ’s are either zero or one. Nevertheless, it is still true that for large , most of the ’s are either close to zero or to one. To take advantage of this fact, conditional on , we sample independent valued random variables such that with probability . For each , we draw an arrow from to . These arrows define a coalescing structure , called discrete web, on (see Figure 3). Think of these arrows as assigning to each point a preferred direction, which, in most cases, will be if is close to one and if is close to zero.
Now let us describe the joint law of differently. First of all, if we forget about , then the are just i.i.d. valued random variables which take the value with probability . Second, conditional on , the random variables are independent with distribution
(1.9) 
depending on whether resp. . Therefore, we can alternatively construct our random spacetime environment in such a way, that first we construct an i.i.d. collection as above, and then conditional on , independently for each , we choose with law if and law if .
Let denote the coalescing structure on generated by the arrows associated with (see Figure 3). Then gives an alternative representation of the random environment . A random walk in such an environment navigates in such a way that whenever it comes to a point , the walk jumps to the right with probability and to the left with the remaining probability. The important thing to observe is that if is large, then is with large probability close to zero if and close to one if . In view of this, the random walk in the random environment will most of its time walk along paths in .
It turns out that has a
meaningful diffusive scaling limit. In particular, if space is scaled by
and time by , then the coalescing structure converges to a limit called the Brownian web (with
drift ), which loosely speaking is a collection of coalescing Brownian
motions starting from every point in space and time. These provide the default
paths a motion in the limiting random environment must follow. The
i.i.d. random variables turn out to converge to a
marked Poisson point process which is concentrated on socalled points of type
in , which are points where there is one incoming path and two
outgoing paths. These points are divided into points of type
and , depending on whether the incoming path continues on the
left or right. A random motion in such an environment follows paths in
by default, but whenever it comes to a marked point of type , it
continues along the left resp. right outgoing path with probability
resp. .
1.4 Outline and discussion
The rest of the paper is organized as follows. Sections 2–4 provide an extended introduction where we rigorously state our results. In Section 2, we recall the notion of a stochastic flow of kernels, first introduced in [LR04a], and Howitt and Warren’s [HW09a] sticky Brownian motions, to give a rigorous definition of HowittWarren flows. We then state out main results for these HowittWarren flows, including properties for the kernels and results for the associated measurevalued processes. In Sections 3 and 4 we make the heuristics from Section 1.3 rigorous. In Section 3, in particular in Theorem 3.7, we present our construction of HowittWarren flows based on a ‘reference’ Brownian web with a Poisson marking, which is the main result of this paper. Along the way, we will recall the necessary background on the Brownian web. In Section 4, we show that a special subclass of the HowittWarren flows can be constructed alternatively as flows of mass in the Brownian net. Along the way, we will recall the necessary background on the Brownian net and establish some new results on a coupling between a Brownian web and a Brownian net. Sections 5–10 are devoted to proofs. In particular, we refer to Section 5 for an outline of the proofs. The paper concludes with a number of appendices and a list of notation.
Our work leaves several open problems. One question, for example, is how to characterize the measurevalued processes associated with a HowittWarren flow (see (2.1) below) by means of a wellposed martingale problem. Other questions (martingale problem formulation, path properties) refer to the duals (in the sense of linear systems duality) of these measurevalued processes, introduced in (11.1) below, which we have not investigated in much detail.
Moving away from the Brownian case, we note that it is an open problem whether our methods can be generalized to other stochastic flows of kernels than those introduced by Howitt and Warren. In particular, this applies to the stochastic flows of kernels with stable Lévy point motions introduced in [LR04b] for . A first step on this road would be the construction of an stable Lévy web which should generalize the presently known Brownian web. Some first steps in this direction have recently been taken in [EMS13].
2 Results for HowittWarren flows
In this section, we recall the notion of a stochastic flow of kernels, define the HowittWarren flows, and state our results on these HowittWarren flows, which include almost sure path properties and ergodic theorems for the associated measurevalued processes. The proofs of these results are based on our graphical construction of the HowittWarren flows, which we postpone to Sections 3–4 due to the extensive background we need to recall.
2.1 Stochastic flows of kernels
In [LR04a], Le Jan and Raimond developed a theory of stochastic flows of kernels, which may admit versions that can be interpreted as the random transition probability kernels of a Markov process in a stationary random spacetime environment. The notion of a stochastic flow of kernels generalizes the usual notion of a stochastic flow, which is a family of random mappings from a space to itself. In the special case that all kernels are deltameasures, a stochastic flow of kernels reduces to a stochastic flow in the usual sense of the word.
Since stochastic flows of kernels play a central role in our work, we take some time to recall their defintion. For any Polish space , we let denote the Borel field on and write and for the spaces of finite measures and probability measures on , respectively, equipped with the topology of weak convergence and the associated Borel field. By definition, a probability kernel on is a function such that the map from to is measurable. By a random probability kernel, defined on some probability space , we will mean a function such that the map from to is measurable. We say that two random probability kernels are equal in finite dimensional distributions if for each , the tuple of random probability measures is equally distributed with . We say that two or more random probability kernels are independent if their finitedimensional distributions are independent.
Definition 2.1
(Stochastic flow of kernels)
A stochastic flow of kernels on is a collection of random probability kernels on such that

For all and , a.s. and for all .

For each , the random probability kernels are independent.

and are equal in finitedimensional distributions for each real and .
The finitedimensional distributions of a stochastic flow of kernels are the laws of tuples of random probability measures of the form , where and , .
Remark. If the random set of probability on which Definition 2.1 (i) holds can be chosen uniformly for all and , then we can interpret as bona fide transition kernels of a random motion in random environment. For the stochastic flows of kernels we are interested in, we will prove the existence of a version of which satisfies this property (see Proposition 2.3 below). To the best of our knowledge, it is not known whether such a version always exists for general stochastic flows of kernels, even if we restrict ourselves to those defined by a consistent family of Feller processes.
If is a stochastic flow of kernels and is a finite measure on , then setting
(2.1) 
defines an valued Markov process . Moreover, setting
(2.2) 
defines a Markov transition function on . We call the Markov process with
these transition probabilities the point motion associated with the
stochastic flow of kernels . We observe that the
point motions of a stochastic flow of kernels satisfy a natural
consistency condition: namely, the marginal distribution of any components
of an point motion is necessarily a point motion for the flow. A
fundamental result of Le Jan and Raimond [LR04a, Thm 2.1] states that
conversely, any consistent family of Feller processes on a locally compact
space gives rise to a stochastic flow of kernels on which is unique in
finitedimensional distributions.
2.2 HowittWarren flows
As will be proved in Proposition A.5 below, under the condition (1.7), if space and time are rescaled respectively by and , then the point motions associated with the discrete HowittWarren flow introduced in Section 1.2 with characteristic measure converge to a collection of Brownian motions with drift and some form of sticky interaction characterized by the measure . These Brownian motions solve a wellposed martingale problem, which we formulate now.
Let , a finite measure on , and define constants by
(2.3) 
We note that in terms of these constants, (1.7) is equivalent to
(2.4) 
For , we define
(2.5) 
where denotes the cardinality of a set.
The martingale problem we are about to formulate was invented by Howitt and Warren [HW09a]. We have reformulated their definition in terms of the functions in (2.5), which form a basis of the vector space of test functions used in [HW09a, Def 2.1] (see Appendix A for a proof). This greatly simplifies the statement of the martingale problem and also facilitates our proof of the convergence of the point motions of discrete HowittWarren flows.
Definition 2.2
(HowittWarren martingale problem) We say that an valued process solves the HowittWarren martingale problem with drift and characteristic measure if is a continuous, squareintegrable semimartingale, the covariance process between and is given by
(2.6) 
and, for each nonempty ,
(2.7) 
is a martingale with respect to the filtration generated by .
Remark. We could have stated a similar martingale problem where instead of the functions from (2.5) we use the functions and we replace the defined in (2.3) by
(2.8) 
It is not hard to prove that both martingale problems are equivalent.
Remark. When , condition (2.7) is equivalent to the condition that
(2.9) 
are martingales. In [HW09a], such are called coupled Brownian motions, with . In this case, is a Brownian motion with stickiness at the origin. Such a process can be constructed by timechanging a standard Brownian motion in such a way that it spends positive Lebesgue time at the origin. More generally, for solutions to the HowittWarren martingale problem started in , the set of times such that is a nowhere dense set with positive Lebesgue measure. The measure then determines a twoparameter family of constants (see formula (A.4) in the Appendix), which can be interpreted as the rate, in a certain excursion theoretic sense, at which split into two groups, and , with .
Howitt and Warren [HW09a, Prop. 8.1] proved that their martingale problem is wellposed and its solutions form a consistent family of Feller processes. Therefore, by the already mentioned result of Le Jan and Raimond [LR04a, Thm 2.1], there exists a stochastic flow of kernels on , unique in finitedimensional distributions, such that the point motions of (in the sense of (2.2)) are given by the unique solutions of the HowittWarren martingale problem. We call this stochastic flow of kernels the HowittWarren flow with drift and characteristic measure . It can be shown that HowittWarren flows are the diffusive scaling limits, in the sense of weak convergence of finite dimensional distributions, of the discrete HowittWarren flows with characteristic measures satisfying (1.7). (Indeed, this is a direct consequence of Proposition A.5 below on the convergence of point motions.)
We will show that it is possible to construct versions of HowittWarren flows which are bona fide transition probability kernels of a random motion in a random spacetime environment, and the kernels have ‘regular’ parameter dependence.
Proposition 2.3
(Regular parameter dependence) For each and finite measure on , there exists a version of the HowittWarren flow with drift and characteristic measure such that in addition to the properties (i)–(iii) from Definition 2.1:

A.s., for all , and .

A.s., the map from to is continuous for each .
When the characteristic measure , solutions to the HowittWarren martingale problem are coalescing Brownian motions. In this case, the associated stochastic flow of kernels is a stochastic flow (in the usual sense), which is known as the Arratia flow. In the special case that and is Lebesgue measure, the HowittWarren flow and its point motions are reversible. This stochastic flow of kernels has been constructed before (on the unit circle instead of ) by Le Jan and Raimond in [LR04b] using Dirichlet forms. We will call any stochastic flow of kernels with for some a Le JanRaimond flow. In [HW09b], Howitt and Warren constructed a stochastic flow of kernels with and , which they called the erosion flow. In this paper, we will call this flow the symmetric erosion flow and more generally, we will say that a HowittWarren flow is an erosion flow if with . The paper [HW09b] gives an explicit construction of the symmetric erosion flow based on coupled Brownian webs. Their construction can actually be extended to any erosion flow and can be seen as a precursor and special case of our construction of general HowittWarren flows in this paper.
2.3 Path properties
In this subsection, we state a number of results on the almost sure path properties of the measurevalued Markov process defined in terms of a HowittWarren flow by (2.1). Throughout this subsection, we will assume that is a finite measure, and is defined using a version of the HowittWarren flow , which satisfies property (iv) in Proposition 2.3, but not necessarily property (i)’. Then it is not hard to see that for any , the Markov process defined in (2.1) has continuous sample paths in . We call this process the HowittWarren process with drift and characteristic measure .
See Figures 4 and 5 for some simulations of HowittWarren processes for various choices of the characteristic measure . There are a number of parameters that are important for the behavior of these processes. First of all, following [HW09a], we define
(2.10) 
In a certain excursion theoretic sense, describes the rate at which a group of coordinates of the point motion that are at the same position splits into two groups consisting of and specified coordinates, respectively. In particular, following again notation in [HW09a], we set
(2.11) 
and we call the stickiness parameter of the HowittWarren flow. Note that when is increased, particles separate with a higher rate, hence the flow is less sticky. The next proposition shows that with the exception of the Arratia flow, by a simple transformation of spacetime, we can always scale our flow such that and . Below, for any and we write and .
Proposition 2.4
(Scaling and removal of the drift) Let be a HowittWarren flow with drift and characteristic measure . Then:

For each , the stochastic flow of kernels defined by is a HowittWarren flow with drift and characteristic measure .

For each , the stochastic flow of kernels defined by is a HowittWarren flow with drift and characteristic measure .
There are two more parameters that are important for the behavior of a HowittWarren flow. We define
(2.12) 
Note that , where are the constants defined in (2.3). We call and the left speed and right speed of a HowittWarren flow, respectively. The next theorem shows that these names are justified. Below, denotes the support of a measure , i.e., the smallest closed set that contains all mass.
Theorem 2.5
(Left and right speeds) Let be a HowittWarren process with drift and characteristic measure , and let be defined as in (2.12). Set . Then:

If and , then is a Brownian motion with drift . If and , then for all .

If , then for all .
Analogue statements hold for , with replaced by .
It turns out that the support of a HowittWarren process is itself a Markov process. Let be the space of closed subsets of . We equip with a topology such that if and only if , where denotes the closure of a set in and means convergence of compact subsets of in the Hausdorff topology. The branchingcoalescing point set is a valued Markov process that has been introduced in [SS08, Thm 1.11]. Its definition involves the Brownian net; see formula (4.6) below. The following proposition, which we cite from [SS08, Thm 1.11 and Prop. 1.15] and [SSS09, Prop. 3.14], lists some of its elementary properties.
Proposition 2.6
(Properties of the branchingcoalescing point set) Let be the branchingcoalescing point set defined in (4.6), started in any initial state . Then:

The process is a valued Markov process with continuous sample paths.

If , then is a Brownian motion with drift . Likewise, if , then is a Brownian motion with drift .

The law of a Poisson point set with intensity is a reversible invariant law for and the limit law of as for any initial state .

For each deterministic time , a.s. is a locally finite subset of .

Almost surely, there exists a dense set such that for each , the set contains no isolated points.
Our next result shows how HowittWarren processes and the branchingcoalescing point set are related. Note that this result covers all possible values of , except the case which corresponds to the Arratia flow. In (2.13) below, we continue to use the notation .
Theorem 2.7
(Support process) Let be a HowittWarren process with drift and characteristic measure and let be defined as in (2.12). Then:

If , then a.s. for all ,
(2.13) where is a branchingcoalescing point set.

If and , then a.s. for all , where . An analogue statement holds when and .

If and , then a.s. for all .
Proposition 2.6 (d) and Theorem 2.7 (a) imply that if the left and right speeds of a HowittWarren process are finite, then at deterministic times the process is purely atomic. The next theorem generalizes this statement to any HowittWarren process, but shows that if the characteristic measure puts mass on the open interval , then there are random times when the statement fails to hold.
Theorem 2.8
(Atomicness) Let be a HowittWarren process with drift and characteristic measure . Then:

For each , the measure is a.s. purely atomic.

If , then a.s. there exists a dense set of random times when is purely nonatomic.

If , then a.s. is purely atomic at all .
In the special case that is (a multiple of) Lebesgue measure, a weaker version of part (a) has been proved in [LR04b, Prop. 9 (c)]. Part (b) is similar to Proposition 2.6 (e) and in fact, by Theorem 2.7 (a), implies the latter. Note that parts (b) and (c) of the theorem reveal an interesting dichotomy between erosion flows (where is nonzero and concentrated on ) and all other HowittWarren flows (except the Arratia flow, for which atomicness is trivial). The reason is that atoms in erosion flows lose mass continuously (see the footnote in Section 1.3 and the construction in Section 3.4 below), while in all other flows atoms can be split into smaller atoms. This latter mechanism turns out to be more effective at destroying atoms. For erosion flows, we have an exact description of the set of spacetime points where has an atom in terms of an underlying Brownian web, see Theorem 9.6 below.
2.4 Infinite starting measures and discrete approximation
The ergodic behavior of the branchingcoalescing point set is wellunderstood (see Proposition 2.6 (c)). As a consequence, by Theorem 2.7 (a), it is known that if we start a HowittWarren process with left and right speeds , in any nonzero initial state, then its support will converge in law to a Poisson point process with intensity . This does not mean, however, that the HowittWarren process itself converges in law. Indeed, since its 1point motion is Brownian motion, it is easy to see that any HowittWarren process started in a finite initial measure satisfies