Brownian snake
A Brownian snake is a stochastic Markov process on the space of stopped paths. It has been extensively studied.,[1][2] and was in particular successfully used as a representation of superprocesses.
Informally, superprocesses are the scaling limit of branching processes, except each particle splits and dies at infinite rates. The Brownian snake is a stochastic object that enables the representation of the genealogy of a superprocess, providing a link between super-Brownian motion and Brownian trees. In other words, even though infinitely many particles are constantly born, we can still keep track of individual trajectories in space, or of when two given present-day particles have split from a common ancestor in the past.
History
The Brownian snake approach was originally developed by Jean-François Le Gall.[2][3] It has since been applied in fragmentation theory,[4] partial differential equation[5] or planar map[6][7]
The simplest setting
Let [math]\displaystyle{ D(\R_+,\R) }[/math] be the space of càdlàg functions from [math]\displaystyle{ \R_+ }[/math] to [math]\displaystyle{ \R }[/math], equipped with a metric [math]\displaystyle{ d }[/math] compatible with the Skorokhod topology. We define a stopped path as a couple [math]\displaystyle{ (w,z) }[/math] where [math]\displaystyle{ w\in D(\R_+,\R) }[/math] and [math]\displaystyle{ z\in \R_+ }[/math] are such that [math]\displaystyle{ w(t)=w(t\wedge z) }[/math]. In other words, [math]\displaystyle{ w }[/math] is constant after [math]\displaystyle{ z }[/math].
Now, we consider a jump process [math]\displaystyle{ (J_s^N)_{s\geq 0} }[/math] with states [math]\displaystyle{ \{+1,-1\} }[/math] and jump rate [math]\displaystyle{ N }[/math], such that [math]\displaystyle{ J^N_0 = +1 }[/math]. We set:[math]\displaystyle{ \hat{\beta}^N_s := \int_0^s J^N_{s'}ds' }[/math]and then [math]\displaystyle{ \beta^N_s := |\hat{\beta}_s^N| }[/math] to be the process reflected on 0.
In words, [math]\displaystyle{ \beta^N_s }[/math] increases with speed 1, until [math]\displaystyle{ J^N_s }[/math] jumps, in which case it decreases with speed 1, and so on. We define the stopping time [math]\displaystyle{ \sigma_N }[/math] to be the [math]\displaystyle{ N }[/math]-th hitting time of 0 by [math]\displaystyle{ \beta^N }[/math]. We now define a stochastic process [math]\displaystyle{ (\eta^N_s,\beta^N_s)_{s\in \R_+} }[/math]on the set of stopped paths as follows:
- [math]\displaystyle{ \eta_0^N = 0 }[/math]
- if [math]\displaystyle{ J^N_s = +1 }[/math] for [math]\displaystyle{ s\in [s_1,s_2] }[/math] then:
- [math]\displaystyle{ \eta_{s_1}(t)=\eta_{s_2}(t) }[/math] for [math]\displaystyle{ t\leq \beta_{s_1} }[/math]
- [math]\displaystyle{ \Big(\eta_{s_2}(t-\beta_{s_1})-\eta_{s_1}(\beta_{s_1})\Big)_{0\leq t\leq \beta_{s_2}-\beta_{s_1}} }[/math]is distributed as a Brownian motion independent from [math]\displaystyle{ \eta_{s_1} }[/math]
- if [math]\displaystyle{ J_s^N = -1 }[/math] for [math]\displaystyle{ s\in [s_1,s_2] }[/math] then [math]\displaystyle{ \eta_{s_1}(t)=\eta_{s_2}(t) }[/math] for [math]\displaystyle{ t\leq \beta_{s_2} }[/math]
See animation for an illustration. We call this process a snake and [math]\displaystyle{ \beta_s^N }[/math] the head of the snake. This process is not yet the Brownian snake, but a good introduction. The path is erased when the snake head moves backwards, and is created anew when it moves forward.
Duality with a branching Brownian motion
We now consider a measure-valued branching process [math]\displaystyle{ (X^N_t)_{t\geq 0} }[/math] starting with [math]\displaystyle{ N }[/math] particles, such that each particle dies with rate [math]\displaystyle{ N }[/math], and upon its death gives birth to two offspring with probability [math]\displaystyle{ 1/2 }[/math].
On the other hand, we may define from our process [math]\displaystyle{ (\eta_s^N,\beta_s^N)_{0\leq s\leq \sigma^N} }[/math]a measure-valued random process [math]\displaystyle{ \hat{X}_t }[/math] as follows: note that for any [math]\displaystyle{ t\in \R_+ }[/math], there will almost surely be finitely many times [math]\displaystyle{ s_1,s_2,\dots,s_n\in [0,\sigma^N] }[/math] such that [math]\displaystyle{ \beta_{s_i}=t }[/math]. We then set for any measurable function [math]\displaystyle{ f }[/math]:
[math]\displaystyle{ \hat{X}^N_t(f):= \sum\limits_{i=1}^nf(\eta^N_s(t)) }[/math]
Then [math]\displaystyle{ X }[/math] and [math]\displaystyle{ \hat{X} }[/math] are equal in distribution.
The Brownian snake
We take the limit of the previous system as [math]\displaystyle{ N\to \infty }[/math]. In this setting, the head of the snake keeps jittering. In fact, the process [math]\displaystyle{ \beta_s^N }[/math] tends towards a reflected Brownian motion [math]\displaystyle{ \beta_s }[/math]. The definitions are no longer valid for a number of reasons, in particular because [math]\displaystyle{ \beta_s }[/math] is almost surely never monotonous on any interval.
However, we may define a probability [math]\displaystyle{ R_{a,b}((u,y),d(w,z)) }[/math] on stopped paths such that:
- [math]\displaystyle{ R_{a,b} }[/math]-almost surely [math]\displaystyle{ z=b }[/math] and [math]\displaystyle{ w(t)=u(t) }[/math] for [math]\displaystyle{ 0\leq t\leq a }[/math]
- The law of [math]\displaystyle{ (w(a+t))_{0\leq t\leq b-a} }[/math] is the law of a standard Brownian motion.
We may also define [math]\displaystyle{ \gamma_s^y(da,db) }[/math] to be the distribution of [math]\displaystyle{ (\inf_{0\leq r\leq s}\beta_r,\beta_s) }[/math] if [math]\displaystyle{ \beta_0=y }[/math]. Finally, define the transition semigroup on the set of stopped paths:
[math]\displaystyle{ Q_s((u,y),d(w,z)) = \int \gamma_s^y(da,db)R_{a,b}((u,y),d(w,z)) }[/math]
A stochastic process with this semigroup is called a Brownian snake.
We may again find a duality between this process and a branching process. Here the branching process will be a super-Brownian motion [math]\displaystyle{ (X_t)_{t\in \R_+} }[/math] with branching mechanism [math]\displaystyle{ \phi(z)=z^2 }[/math], started on a Dirac in 0.
However, unlike the previous case, we must be more careful in the definition of the process [math]\displaystyle{ \hat{X} }[/math]. Indeed, for [math]\displaystyle{ t\in \R_+ }[/math] we cannot just list the times [math]\displaystyle{ s_1,s_2,\dots }[/math] such that [math]\displaystyle{ \beta_s=t }[/math]. Instead we use the local time [math]\displaystyle{ l_s(t) }[/math] associated with [math]\displaystyle{ \beta_s }[/math]: we first define the stopping time [math]\displaystyle{ \sigma = \inf\{s\geq 0, l_s(0)\geq u\} }[/math]. Then we define for any measurable [math]\displaystyle{ f }[/math]:[math]\displaystyle{ \hat{X}_t(f):= \int_0^\sigma f(\eta_s(t))dl_s(t) }[/math] Then, as before, we obtain that [math]\displaystyle{ X }[/math] and [math]\displaystyle{ \hat{X} }[/math] are equal in distribution. See the animation for the construction of the branching process from the Brownian snake.
![](/wiki/images/thumb/9/97/Construction_of_a_Branching_process_associated_with_the_Brownian_snake.gif/350px-Construction_of_a_Branching_process_associated_with_the_Brownian_snake.gif)
Generalisation
The previous example can be generalized in many ways:
- We may consider [math]\displaystyle{ D(\R_+,E) }[/math] where [math]\displaystyle{ (E,d) }[/math] is a complete separable metric space.
- Instead of a Brownian motion, the underlying movement of the snake can be very general class of Markov processes (see Superprocess).
Link with genealogy and the Brownian tree
The Brownian snake can be seen as a way to represent the genealogy of a superprocess, the same way a Galton-Watson tree may encode the hidden genealogy of a Galton–Watson process.[2] Indeed, for two points of the Brownian snake, their common ancestor will be the infimum of the snake's head position between them.
If we take a Brownian snake and construct a real tree from it, we obtain a Brownian tree.[2]
References
- ↑ Li, Zenghu (2011), Li, Zenghu, ed., "Measure-Valued Branching Processes" (in en), Measure-Valued Branching Markov Processes, Probability and Its Applications (Berlin, Heidelberg: Springer): pp. 29–56, doi:10.1007/978-3-642-15004-3_2, ISBN 978-3-642-15004-3, https://doi.org/10.1007/978-3-642-15004-3_2, retrieved 2022-12-20
- ↑ 2.0 2.1 2.2 2.3 Le Gall, Jean-Francois (1999-07-01) (in en). Spatial Branching Processes, Random Snakes and Partial Differential Equations. Springer Science & Business Media. ISBN 978-3-7643-6126-6. https://books.google.com/books?id=vfpLfoUQpg8C&dq=le+gall+brownian+snake&pg=PP9.
- ↑ Le Gall, Jean-Francois (1991). "Brownian Excursions, Trees and Measure-Valued Branching Processes". The Annals of Probability 19 (4): 1399–1439. ISSN 0091-1798. https://www.jstor.org/stable/2244522.
- ↑ Abraham, Romain; Serlet, Laurent (2002-07-01). "Poisson Snake and Fragmentation". Electronic Journal of Probability 7 (none). doi:10.1214/EJP.v7-116. ISSN 1083-6489. https://projecteuclid.org/journals/electronic-journal-of-probability/volume-7/issue-none/Poisson-Snake-and-Fragmentation/10.1214/EJP.v7-116.full.
- ↑ Abraham, Romain (2000-10-01). "Reflecting Brownian snake and a Neumann–Dirichlet problem" (in en). Stochastic Processes and Their Applications 89 (2): 239–260. doi:10.1016/S0304-4149(00)00027-2. ISSN 0304-4149. https://www.sciencedirect.com/science/article/pii/S0304414900000272.
- ↑ Le Gall, Jean-François (2019-09-01). "Brownian geometry" (in en). Japanese Journal of Mathematics 14 (2): 135–174. doi:10.1007/s11537-019-1821-7. ISSN 1861-3624. https://doi.org/10.1007/s11537-019-1821-7.
- ↑ Miermont, Grégory (2013). "The Brownian map is the scaling limit of uniform random plane quadrangulations". Acta Mathematica 210 (2): 319–401. doi:10.1007/s11511-013-0096-8. ISSN 0001-5962. https://projecteuclid.org/journals/acta-mathematica/volume-210/issue-2/The-Brownian-map-is-the-scaling-limit-of-uniform-random/10.1007/s11511-013-0096-8.full.
![]() | Original source: https://en.wikipedia.org/wiki/Brownian snake.
Read more |