---
title: Branching Random Walks (BRW)
url: https://www.emergentmind.com/topics/branching-random-walks-brw
type: topic
---

# Branching Random Walks (BRW)

A branching random walk (BRW) is a stochastic process in which particles proliferate and disperse across a state space according to prescribed probabilistic laws. The process combines both a spatial motion (random walk) and reproduction (branching), resulting in a multi-type Markov process indexed by a tree of genealogies and locations. BRWs generalize classical branching processes by incorporating the spatial structure of random walks, which allows for the analysis of spread, recurrence, survival phases, and fractal geometry of the set of visited sites. These properties have critical implications in mathematics and applications ranging from epidemiology to statistical physics.

## 1. Mathematical Definition and Structure

A typical BRW is defined over a (possibly infinite) connected graph or a group, such as ℤ^d or a Cayley graph. The process evolves in discrete or continuous time. At the n-th time step or generation, the system is described by the population configuration—each particle is characterized by its spatial position and genealogy.

Formally, for a space $X$, a BRW can be specified as follows [1104.5085, 1511.07734]:
- Each particle at site $x$ produces offspring according to a site-dependent (or site-independent) law $\mu_x$: a probability measure on finite-support functions $f: X \to \mathbb{N}$ with $\sum_{y} f(y) < \infty$.
- For the continuous-time BRW, each particle may die at rate 1 and have children at rates specified by a kernel $k_{xy}$.
- The process is governed by its first-moment matrix $M = (m_{xy})$ where $m_{xy}$ is the expected number of offspring a particle at $x$ sends to $y$.

A multidimensional generating function $G: [0,1]^X \to [0,1]^X$ captures the full dynamics:
\[
G(z)(x) = \sum_{f \in S_X} \mu_x(f) \prod_{y \in X} z(y)^{f(y)}
\]
Extinction probabilities and other statistics are characterized as fixed points of $G$ [1511.07734]. For spatially homogeneous BRWs, the configuration reduces to a time-indexed point process on $\mathbb{R}^d$ or a discrete graph.

## 2. Survival, Recurrence, and Phase Transitions

A central theme in BRW theory is the classification of regimes by survival properties, dictated by branching intensities, offspring distributions, and the geometry of the underlying space [1104.5085, 1104.5085, 2512.09145].

**Types of survival behavior:**
- **Global survival**: The probability that the total population avoids extinction.
- **Local survival**: The event that a particle visits (or returns to) a specific site infinitely often.
- **Strong local survival**: Conditioned on global survival, the process continues to visit particular locations infinitely often.

For continuous-time BRWs on graphs, two critical parameters are introduced:
\[
\lambda_w(x) = \inf\{\lambda : \text{global survival w.p.p. from } x\}
\]
\[
\lambda_s(x) = \inf\{\lambda : \text{local survival w.p.p. at } x\}
\]
Pure global survival means $\lambda_w < \lambda_s$; the process can survive globally while any fixed vertex is eventually vacated [1104.5085, 1208.4010]. In irreducible, quasi-transitive cases, local survival implies strong local survival, but strong local survival may fail to be monotone in parameters such as branching rate [1208.4010].

Phase transitions in these critical parameters reflect shifts between extinction, strong local survival, and non-strong ("pure global") survival phases. For example, BRWs on non-amenable graphs (e.g., trees or free products of groups) can show these nontrivial regimes; local modifications (e.g., adding fast loops at a site) can change the phase diagram [1511.07734].

## 3. Extremal Behavior, Maxima, and Fluctuations

For BRWs with real-valued increments (typically on trees), precise asymptotics of extremal positions reveal universality and deep connections with random energy models and extreme-value theory [1503.04064, 2106.02880, 2308.01571].

On regular binary trees with Gaussian increments (the canonical BRW), the maximum position $M_n = \max_{|v|=n} S_v$ at generation $n$ satisfies
\[
M_n = \sqrt{2 \ln 2}\, n - \frac{3}{2\sqrt{2 \ln 2}} \ln n + O_{\mathbf{P}}(1)
\]
As $n \to \infty$, the extremal process converges to a decorated Poisson cluster process driven by a derivative martingale [1503.04064].

Models with time or genealogy inhomogeneity, non-Gaussian increments, or end-point perturbations exhibit shifted maxima and, in some regimes, logarithmic corrections ($c\log n$ with $c$ determined by the regime and cumulant) [2106.02880, 2308.01571, 1509.08172]. For example, "last progeny modified BRWs" or perturbated models maintain the same LLN for the maxima but adjust the logarithmic correction and limit law according to explicit analytical martingale computations.

## 4. Geometric and Fractal Properties of the Trace

The trace of a BRW, i.e., the random subgraph of all sites and edges ever visited, exhibits complex fractal structure, especially on non-amenable and hyperbolic spaces [1104.4576, 2409.01346, 2104.07314].

**Key phenomena:**
- On Cayley graphs of free products, the trace in the transient regime ($1 < \lambda \leq R$) is a proper subgraph. Its end-boundary set $\Lambda$ is a random fractal subset of the boundary space $\partial \mathcal{X}$.
- The box-counting and Hausdorff dimension of the limit set $\Lambda$ coincide and can be computed via an explicit generating function formula; the dimension $\Phi(\lambda)$ varies continuously in $\lambda$ except for a single discontinuity at the critical point $\lambda_c = R$, where the trace fills the whole graph [1104.4576].
- When branching occurs on free groups, the limit set allows for a multifractal decomposition: For each escape rate $\alpha$, the Hausdorff dimension of the set $\Lambda(\alpha)$ is given by explicit LV-type Legendre transforms, yielding a multifractal spectrum [2409.01346].
- For BRWs indexed by critical Galton–Watson trees, the range scaled appropriately converges (in the sense of metric measure spaces) to continuum random trees or the Brownian cactus, reflecting the interplay of genealogy and spatial motion [2104.07314].

## 5. Large Deviations, Multifractality, and Free Energy

A multifractal theory emerges from the description of level sets of BRWs, particularly with real or vector-valued increments in continuous or discrete spaces [1305.2034, 2409.01346]. This analysis centers on the empirical averages along paths and the dimensions of the sets of rays for which these averages have specified limiting points.

- For a supercritical BRW with increments in $\mathbb{R}^d$, the Hausdorff and packing dimensions of the sets of rays for which the empirical mean converges to a set $K$ are given by the Legendre–Fenchel transform of the logarithmic moment generating function (the "free energy") [1305.2034].
- Phase transitions emerge in the multifractal spectrum, corresponding to first- or second-order singularities in the free-energy function, resulting in plateaus or kinks in singularity spectra [1305.2034].
- On non-amenable graphs (e.g., free groups), the rate function and pressure enter the dimension formula for the boundary limit sets, and these can be computed via large-deviation techniques and thermodynamic formalism [2409.01346].

This multifractal framework extends to Mandelbrot measures and the $L^q$-spectrum, yielding a comprehensive description of the measure-theoretic complexity generated by the BRW.

## 6. Applications, Generalizations, and Open Problems

BRWs provide key models for the spatial spread of epidemics, population genetics, and information in networks. For instance, continuous-time BRWs on $\mathbb{Z}^d$ with catalytic (localized) branching have been proposed and rigorously analyzed for propagation and phase thresholds relevant to epidemiology [1901.09623, 1701.03356]. The spectral dimension and geometry of the underlying space or network critically impact the growth rate, volume explored, and scalability of outbreaks [1909.00471].

Recent work has extended BRWs to allow inhomogeneities in both time and genealogy, leading to non-trivial spatial structures and connections with pattern formation in biology (e.g., bacterial colonies), with the suggestion that new traveling wave and fractal regimes arise from such models [2512.09145].

Key open problems include:
- Extension of the explicit trace/fractal geometry results from free products to broader classes of non-amenable or hyperbolic groups [1104.4576].
- Rigorous analysis of the multifractal spectrum for the full limit measures (not only the sets) on the boundary [2409.01346].
- Development of robust large-deviation and scaling methods for inhomogeneous, genealogy-driven, or density-dependent BRWs [2512.09145].
- Analysis of interacting particle systems related to BRWs, such as contact and Ising processes, with respect to analogous phase transitions [1104.4576].

Source: https://www.emergentmind.com/topics/branching-random-walks-brw