---
title: Chase-Escape Models and Phase Transitions
url: https://www.emergentmind.com/topics/chase-escape
type: topic
---

# Chase-Escape Models and Phase Transitions

Chase-escape is a family of pursuit-evasion models centered on an asymmetric competitive rule: one type expands into previously unoccupied territory, while the other can advance only through sites already occupied by the first type. In the graph-based stochastic formulation, red particles spread to adjacent uncolored sites and blue particles overtake adjacent red sites, killing them; the principal questions are whether red escapes to infinity, whether both types persist, and where the corresponding phase transitions occur [1807.05594]. The same name also covers variants with spontaneous death, conversion, or distance-dependent rates, as well as multi-agent pursuit systems and a search heuristic on combinatorial state spaces [1909.01722][2507.21235][1412.2114].

## 1. Core stochastic formulation

On a connected rooted graph \(G=(V,E)\), a standard initialization places red at the root \(\rho\) and blue at an auxiliary vertex \(\mathfrak b\notin G\) attached to \(\rho\) by a special edge \(\mathfrak e\). Each edge \(e\) carries independent passage times \(t_e^R\sim \mathrm{Exp}(\lambda)\) and \(t_e^B\sim \mathrm{Exp}(1)\). Red spreads only to adjacent uncolored sites, blue spreads only to adjacent red sites, and a red site becomes blue when blue reaches it. The coexistence event is denoted \(A\), and the critical parameter is
\[
\lambda_c(G):=\sup\{\lambda:P_\lambda(A)=0\}.
\]
This formulation makes chase-escape a first-passage-percolation-type competition with a one-sided accessibility constraint on blue [1807.05594].

An equivalent lattice language treats sites as empty, prey, or predator. In that version prey spread to neighboring empty sites at rate \(p\), predators spread to neighboring prey sites at rate \(1\), and predators never colonize empty sites directly. The ratio \(p=\lambda_R/\lambda_B\) is then the natural control parameter. The paper on chase-escape percolation explicitly compares this setup to SIR dynamics, with empty, prey, and predator playing the roles of susceptible, infected, and removed, but with the crucial difference that removal can occur only adjacent to already removed sites [2010.05310].

A recurring technical complication is that on graphs with cycles the monotonicity of \(P_\lambda(A)\) in \(\lambda\) is not immediate. The graph-based literature therefore distinguishes exact critical definitions from more operational threshold notions on finite graph sequences, especially when the event of interest is that red reaches a positive fraction of vertices rather than merely surviving indefinitely [1807.05594][2112.07696].

## 2. Critical behavior on trees, lattices, and random graphs

On the infinite \(d\)-ary tree \(\mathbb T_d\), chase-escape admits an explicit threshold:
\[
\lambda_c(\mathbb T_d)=2d-1-2\sqrt{d^2-d},
\]
with
\[
P_{\lambda_c}(A)=0.
\]
The same paper gives \(\lambda_c(\mathbb Z)=1\) with \(P_1(A)=0\), and \(\lambda_c(\mathbb Z\times\{0,1\})=1\) on the ladder graph [1807.05594]. On the tree, the derivation reduces each ray to a one-dimensional red-blue gap process and yields the asymptotic survival-to-depth estimate
\[
P_\lambda(A_n)\asymp \frac{[4p(1-p)]^n}{n^{3/2}},\qquad p=\frac{\lambda}{\lambda+1},
\]
so the criterion \(4dp(1-p)=1\) produces the exact critical value [1807.05594].

For \(\mathbb Z^2\), the picture is numerical rather than fully rigorous. Simulations on large boxes gave strong evidence for a threshold near \(p_c\approx 0.50\), together with fractal occupied sets, rough boundaries, and empirical hole-size statistics
\[
N(S)\approx S^{-1}
\]
near criticality [1807.08387]. A later Monte Carlo study sharpened the square-lattice estimate to
\[
p_c=0.49451\pm 0.00001,
\]
and reported critical exponents consistent with ordinary two-dimensional undirected percolation, including \(\nu=1.333\), \(\delta=0.09212\), \(\mu=0.584466\), and \(1/z=0.88435\) [2010.05310].

Sparse random graphs exhibit a tree-like but not identical threshold structure. For the configuration model with i.i.d. degrees of finite second moment, the mean excess degree parameter
\[
a=\frac{E[D^2]}{E[D]}-1
\]
induces the tree-like quantity
\[
\Lambda(a)=2a-1-2\sqrt{a^2-a}.
\]
The density-survival threshold is proved to satisfy \(\lambda_c(\mathcal G)\ge \Lambda(a)\), and the expected total number of ever-red vertices undergoes a sharp phase transition exactly at \(\Lambda(a)\) [2112.07696]. On random geometric Gilbert graphs, chase-escape with susceptible nodes and white knights is well defined, and there are proved regimes of global survival and extinction, together with estimates for local survival; the proofs combine tree comparison, percolation arguments, and finite-degree approximations [1911.02622].

## 3. Death, distance dependence, and conversion

A major extension is chase-escape with death, whose state space is
\[
\{w,r,b,\dagger\},
\]
with spontaneous red death \(r\to\dagger\) at rate \(\rho\). On the infinite rooted \(d\)-ary tree \(T_d\), this creates three phases: coexistence, escape of red without blue, and extinction. The red extinction threshold is explicit,
\[
\rho_e=\lambda(d-1),
\]
while the coexistence threshold \(\rho_c\) is determined through weighted Catalan numbers and the radius \(M\) of a generating function \(g(z)\). Coexistence is possible only when \(\lambda\in(\lambda_c^-,\lambda_c^+)\), where
\[
\lambda_c^- = 2d-1-2\sqrt{d^2-d},\qquad
\lambda_c^+ = 2d-1+2\sqrt{d^2-d},
\]
and the critical equation is \(M(\rho_c)=d\). At \(\rho=\rho_c\), the paper proves \(E|B|=\infty\), in contrast with ordinary chase-escape on trees [1909.01722].

The distance-dependent tree model replaces constant host birth and death rates by sequences \(\boldsymbol\lambda=(\lambda_1,\lambda_2,\dots)\) and \(\boldsymbol\rho=(\rho_1,\rho_2,\dots)\) indexed by the current distance to the nearest blue ancestor. On the augmented tree \(\mathcal T_d\), each red vertex \(u\) spreads to a white neighbor at rate \(\lambda_{\ell(u)}\) and dies at rate \(\rho_{\ell(u)}\), where \(\ell(u)\) is the distance from \(u\) to the nearest blue vertex on its ancestral path. Under explicit regularity assumptions, expected coexistence is characterized exactly by the radius of convergence \(M\) of a weighted Catalan generating function:
\[
\mathbf E[|\mathcal B|]=\infty \quad\Longleftrightarrow\quad M\le d.
\]
Here \(\mathcal B\) is the set of sites that are blue at some time, so blue’s unbounded spread encodes joint persistence [2209.09876].

Conversion introduces spontaneous red-to-blue transition at rate \(\alpha\). In the multiple-sclerosis lesion model, the state space is \(\{w,r,b\}\), red spreads at rate \(\lambda\), each red converts to blue at rate \(\alpha\), and blue chases red at rate \(1\). The central observable is the total number of blue sites at fixation,
\[
X=X(G,x_0,\lambda,\alpha),
\]
interpreted as aggregate damage. The paper proves that \(X\) is monotone in \(\alpha\) for \(\mathcal T,\mathbb N,S_n,K_n\), monotone in \(\lambda\) for \(\mathbb N,S_n,K_n\), and monotone in \(n\) for \(S_n,K_n\). On bounded-degree graphs with nontrivial site-percolation threshold,
\[
\frac{\alpha}{d-2}\le \lambda_c(\alpha)\le \frac{d+\alpha}{1-p_c(G,x_0)^{1/d}},
\]
hence
\[
\lambda_c(\alpha)=\Theta(\alpha).
\]
This identifies the asymptotic order of the conversion-driven phase transition [2507.21235].

On the complete graph \(K_{n+1}\), chase-escape with conversion becomes a count process for \((R_t,B_t,W_t)\). The critical point remains equal fitness, \(\lambda=1\), but the critical formulas change:
\[
P\big(W(K_{n+1},1,\alpha)=0\big)\to 2^{-\alpha},\qquad
\frac{C(K_{n+1},1,\alpha)}{\log n}\to \alpha,\qquad
\mathbf E[W(K_{n+1},1,\alpha)]\to 2\alpha.
\]
This mean-field result shows that conversion modifies critical constants while leaving the threshold location unchanged [2510.02446].

## 4. Group chase-and-escape and collective geometry

A separate literature uses “group chase and escape” for many-body pursuit on a two-dimensional square lattice with periodic boundary conditions. In the original model, \(N_C^0\) chasers and \(N_T^0\) targets are placed randomly, each chaser moves one lattice step toward its nearest target, and each target moves one step away from its nearest chaser. Capture occurs when a chaser hops onto a target’s site. The principal macroscopic observables are the total catch time \(T\), the typical target lifetime
\[
\tau_t = \Sigma t ( N_T^t - N_T^{t-1} )/N_T^0,
\]
and the unit cost
\[
c = N_C T / N_T^0.
\]
For fixed \(N_T^0\), the paper reports that \(c\) has a minimum at an intermediate chaser number \(N_C^*\), so there is an optimal number of chasers; by contrast, several random-walk comparison models do not exhibit this interior optimum [0912.4327].

Local geometry was later quantified by two directional-correlation parameters. For a target \(k\) chased by multiple chasers,
\[
q_k = \frac{1}{n_k^C}\sum_{i=1}^{n_k^C} \hat{\mathbf r}_{ik}\cdot \hat{\mathbf r}_{0k},
\]
and for a chaser \(k\) from which multiple targets escape,
\[
p_k = \frac{1}{n_k^T}\sum_{i=1}^{n_k^T} \hat{\mathbf r}_{ik}\cdot \hat{\mathbf r}_{0k}.
\]
The values \(q_k\sim 1,0,-1\) distinguish, respectively, one-directional pursuit, surrounding, and pincer-like “drive into a group” geometries; analogous interpretations hold for \(p_k\) on the escape side. These parameters connect capture-time crossovers to concrete group configurations rather than to agent counts alone [1204.0082].

Two later modifications make the collective geometry explicit. The laziness model introduces random-walking chasers either uniformly, with each chaser lazy with probability \(P\) at each step, or via division of labor, with a fixed lazy fraction \(R\). Uniform laziness always worsens performance, but a moderate permanently lazy subpopulation can reduce \(\langle T\rangle\) by suppressing rare long-lived clustered-pursuit episodes and helping create pincer attack configurations [1612.04556]. A conversion model on the periodic lattice adds probability \(P_V\) that a caught target becomes a new chaser and proliferation probability \(P_T\) that a moving target leaves a new target behind. It reports non-monotonic target lifetimes, including maxima of the extinction time \(\mathcal T\) as a function of initial target number \(N_T^0\) for \(P_V\ge 0.01\), and intermediate optimal \(P_T\) when conversion is not too strong [1107.1053].

## 5. Continuous-space, disordered, and mobile-network generalizations

Continuous-space pursuit models replace graph growth by explicitly kinematic chasers and escapers. In a bio-inspired model with bounded acceleration, time delay, external noise, and soft closed boundaries, chasers pursue a faster prey in 2D and 3D. The model couples direct attraction to the prey with repulsion among chasers and, optionally, prediction of the prey’s future position. A single chaser cannot catch the faster prey, and one or two chasers have essentially no chance, but suitably tuned local interaction among a small group can produce route blocking, caging, and emergent encircling; prediction can compensate for delay and improve capture, especially in 3D [1701.00284].

A more force-based two-dimensional realization introduces a “dynamical trap” made of many target-tracking chasers. Each chaser experiences a tracking force
\[
\vec F_i^{track} = \alpha \hat v^t\Theta (l-r_i^{ct}) + \beta \hat n_i^{ct},
\]
combining moving-direction synchronization with steering toward assigned destination regions near the target. The paper’s principal result is geometric: one undifferentiated chaser group fails, while four groups assigned to a cross-like arrangement around the target can create a stable enclosing configuration. Velocity synchronization is indispensable, prediction of one-step future target position improves efficiency but is not necessary, and the offset parameter \(L_1\) must be large enough to avoid merely pushing the target away [2512.22460].

At the two-agent level, intelligent active-particle pursuit treats the pursuer as a deterministic self-steering particle and the evader as a cognitive run-and-tumble particle. Capture occurs when
\[
r=|{\bm r}_t-{\bm r}_p|\le \sigma,
\]
the pursuer has constant speed ratio \(\alpha=v_p/v_t\) and maneuverability \(\Omega_p=C_p\sigma/v_p\), and the evader tumbles with distance-dependent hazard
\[
\lambda(r)=C_t e^{-r/d_0}.
\]
The simulations identify two escape regimes: forward-biased tumbling with continuous slight directional adjustments is best against less athletic pursuers because it impedes alignment while preserving persistence, whereas narrow backward tumbles at short alert distance are the effective high-risk strategy against dominant pursuers [2508.10727].

Environmental geometry can itself control chase-escape efficiency. On a \(128\times128\) square lattice with randomly placed static obstacles, breadth-first search reveals progressive loss of accessibility before the finite-size percolation threshold \(\phi_c=0.60\). The trapping time \(TT\) and capture cost
\[
c=\frac{N^{\rm C}TT}{N^{\rm E}_0}=f\,TT
\]
vary non-monotonically with obstacle density, the escaper population decays in Weibull form
\[
N^{\rm E}(t)=A\exp\!\left[-\left(\frac{t}{\tau}\right)^{\beta}\right]+C,
\]
and the chaser mean-squared displacement remains subdiffusive, supporting a geometry-driven crossover from cooperative capture to confinement-dominated trapping [2601.06291].

At a larger scale, chase-escape has also been formulated for malware and patch propagation in dynamic device-to-device networks on random street systems. Devices and white knights are Cox point processes moving by a street-constrained random waypoint model, and infection or patch transmission requires proximity on the same street for a sufficiently long time. The resulting process has proved regimes of global survival and extinction, and, most notably, an “in-and-out” dependence on speed: malware can die out at very low and very high device speeds while surviving at intermediate speeds [2211.05476].

## 6. Optimization metaphor and conceptual scope

The term also appears in combinatorial optimization as a pursuit process on state space rather than physical space. In the two-state metaheuristic for the traveling salesman problem, one current solution is the evader and performs a local improving move, while the other is the chaser and moves closer to the evader in state space without regard to cost. If the chaser reaches lower cost, the roles are switched; if the two states coincide, one copy is perturbed and local search restarts from the perturbed neighborhood. In the TSP implementation, the evader uses a random two-city swap accepted only if path length decreases, while the chaser aligns a randomly chosen city with its position in the evader’s permutation. On berlin52.tsp, the reported average tour length improved from \(8912\) to \(8777\) at a budget of \(8\times 10^7\) permutations and from \(8401\) to \(8223\) at \(6\times 10^8\), which the authors describe as marginal [1412.2114].

Across these literatures, chase-escape is not a single model but a structural asymmetry. In graph-growth models, blue can move only through red territory [1807.05594]. In tree variants with death or distance dependence, the frontier is encoded by renewal events, weighted Catalan numbers, and continued fractions [1909.01722][2209.09876]. In group pursuit, capture depends on encirclement, pincer geometry, or group partition rather than on simple nearest-direction pursuit [1204.0082][2512.22460]. In optimization, the chaser is constrained by the evader’s current configuration rather than the objective itself [1412.2114]. This suggests that “chase-escape” now denotes a class of asymmetric competitive dynamics in which pursuit is mediated by the evader’s footprint, trajectory, or state, and in which phase transitions, survival thresholds, and capture efficiencies are governed as much by geometry and accessibility as by nominal speed.

Source: https://www.emergentmind.com/topics/chase-escape