---
title: Locally Activated Random Walks (LARWs)
url: https://www.emergentmind.com/topics/locally-activated-random-walks-larws
type: topic
---

# Locally Activated Random Walks (LARWs)

Locally Activated Random Walks (LARWs) are stochastic processes in which motion is modified by local information generated by the trajectory or by local activation–deactivation rules. In the literature represented here, the label is used for distinct but structurally related families: single-particle models in which a walker’s jump rate, diffusivity, or persistence changes after visits to designated activation sites; reinforced walks in which transition probabilities depend on local times or directed crossing numbers; and interacting particle systems of Activated Random Walk type, where sleeping particles are reactivated when an active particle lands on their site. The unifying feature is that the dynamics is governed by a local memory field or local configuration, so that the position process alone is typically non-Markovian, whereas a suitably enlarged state space restores Markovian structure [2311.10647, 1911.07295, 2210.04779].

## 1. Conceptual scope and defining mechanisms

A canonical single-particle formulation places a walker on \(\mathbb{Z}^d\) with one activation site at the origin and an activation variable
\[
a(t)=\int_0^t \mathbf{1}\big(x(t')=0\big)\,dt',
\]
the cumulative time spent at the activation site. The jump rate is then \(1/\tau(a)\), so local history modifies future mobility through a scalar internal state. In active variants, a persistence parameter \(\varepsilon(a)\) is also activation-dependent. This yields a class of strongly non-Markovian, aging processes in which local occupation feeds back into transport coefficients [2311.10647].

A second formulation uses local time directly in the transition rule. In the directed edge reinforced model called the Ant RW, the state variable is the net directed crossing number
\[
c_n(x,y)=\sum_{k=0}^{n-1}\Big(\mathbf{1}\{(X_k,X_{k+1})=(x,y)\}-\mathbf{1}\{(X_k,X_{k+1})=(y,x)\}\Big),
\]
and the weight of the directed edge \((x,y)\) at time \(n\) is
\[
a_n(x,y)=\exp\{\beta c_n(x,y)\}.
\]
The next step from the current vertex depends only on the neighboring directed edges and these local crossing numbers, so the reinforcement is local in space but cumulative in time [1911.07295].

A third formulation is the interacting-particle Activated Random Walk (ARW). Here particles are active or sleeping; active particles perform simple random walks, an isolated active particle falls asleep at rate \(\lambda\), and a sleeping particle is instantaneously reactivated when an active particle arrives at its site. Activation and deactivation are therefore purely local operations on the site configuration [1709.09163, 2210.04779].

This diversity is important because “local activation” does not specify a unique model class. It specifies a mechanism: dynamical parameters or state transitions are altered by local occupation, local time, or local contact events. The resulting phenomenology includes aging, anomalous diffusion, ballisticity, trapping on small structures, fixation, and self-organized criticality.

## 2. Single-particle activation at localized sites

For lattice LARWs with one activation site, the basic object is the joint law \(P(x,a,t)\) of position and activation. The general framework developed for passive and persistent walks expresses the Laplace transform of the joint law in terms of the non-activated propagator:
\[
\hat{P}(x,a,s)=\frac{\mathcal{P}(x\mid 0,\xi_a)}{\mathcal{P}(0\mid 0,\xi_a)}
\exp\!\left(-\int_0^a \frac{db}{\tau(b)\,\xi_b\,\mathcal{P}(0\mid 0,\xi_b)}\right),
\qquad
\xi_b=[1+s\tau(b)]^{-1}.
\]
This reduces the activated problem to renewal theory and generating functions for the underlying non-activated walk. In one dimension, local activation can induce anomalous diffusion; in two and three dimensions the typical displacement remains diffusive, \(|x|\sim t^{1/2}\), but the long-time distributions remain strongly non-Gaussian. For persistent LARWs there is an exact asymptotic reduction to an effective non-persistent model with renormalized waiting time
\[
\tilde{\tau}(a)=\frac{1-\varepsilon(a)}{1+\varepsilon(a)}\,\tau(a).
\]
A sharp trapping criterion is also available:
\[
\exp\!\left(-\int_0^\infty \frac{da}{\tau(a)}\right)>0
\quad\Longleftrightarrow\quad
\text{trapping occurs}.
\]
For recurrent underlying walks in \(d=1,2\), trapping in this regime is complete; in transient dimensions the trapped fraction is strictly smaller than one [2311.10647].

The continuous-space Brownian counterpart replaces occupation time by local time at the origin. In the rigorous formulation, the pair \((X_t,A_t)\) satisfies
\[
X_t=\sqrt{2A_t}\,W_t,
\qquad
A_t=f(A_t)\,\frac{L_t^X}{2A_t},
\]
with local time \(L_t^X\) at \(0\). The generator is
\[
\mathcal{L}h(x,a)=a\,\partial_{xx}^2 h(x,a)+f(a)\,\partial_a h(x,a)\,\delta_{x=0},
\]
and the forward equation is
\[
\partial_t u = a\,\partial_{xx}^2 u - \partial_a(f(a)u)\,\delta_{x=0}.
\]
For \(f(a)=-a^\gamma\), there is a dynamical transition: if \(\gamma<3/2\), the process reaches the absorbing static state \((0,0)\) in finite time almost surely; if \(3/2\le \gamma<2\), \(X_t\to0\) without complete trapping; if \(\gamma\ge2\), the process is recurrent. For positive \(f\), the diffusivity can diverge, and the position distribution becomes non-Gaussian and multi-peaked. The earlier formulation of locally activated diffusion already identified the same phenomena: non-Gaussianity, off-center maxima under acceleration, and a trapping transition under sufficiently strong local deceleration [1611.08173, 1110.0348].

These single-particle models establish a central point: even one localized activation site can destroy Gaussianity, generate explicit aging, and produce either effective repulsion from the activated site or irreversible trapping there.

## 3. Directed reinforcement and circuit localization

The Ant RW provides a paradigmatic discrete-time LARW driven by directed local time. On a connected locally finite undirected graph \(G\), the transition rule from the current vertex \(X_n=v\) is
\[
P(X_{n+1}=w\mid \mathcal{G}_n, X_n=v)
=
\frac{\exp\{\beta c_n(v,w)\}}
{\sum_{u\sim v}\exp\{\beta c_n(v,u)\}},
\]
so the walk is exponentially attracted to directions with positive net crossing number and exponentially repelled from the reverse direction. Because \(c_n(x,y)=-c_n(y,x)\), reinforcement is non-monotone at the undirected level: backtracking cancels accumulated preference rather than increasing it [1911.07295].

The long-time behavior depends sharply on graph geometry. On any finite connected non-tree graph, and on \(\mathbb{Z}^d\) for \(d\ge2\), the walk almost surely becomes trapped in some directed circuit that it follows forever. On \(\mathbb{Z}\), by contrast, the process becomes Markovian and satisfies an explicit law of large numbers:
\[
\lim_{n\to\infty}\frac{X_n}{n}=Y \quad \text{a.s.},
\qquad
P\!\left(Y=\pm \frac{1-e^{-\beta}}{1+e^{-\beta}}\right)=\frac12.
\]
Thus one dimension yields ballistic escape with random sign, whereas higher dimensions and cyclic finite graphs yield localization on periodic directed orbits [1911.07295].

This mechanism differs from classical reinforced random walks. In the broad reinforced-walk literature, edge reinforcement under strong enough weights can localize on a single undirected edge, while vertex reinforcement on \(\mathbb{Z}\) with linear weights localizes almost surely on exactly five sites and, for certain superlinear weights, on two sites. The techniques there include martingales tracking asymmetry of local times and the Rubin time-lines construction. A plausible implication is that directed, net-crossing reinforcement changes the stable trap geometry: a two-vertex back-and-forth pattern is unstable because reverse traversals cancel the reinforcement, whereas a directed circuit preserves it [1103.5536, 1911.07295].

## 4. Activated Random Walks as interacting-particle LARWs

In ARW, local activation is no longer an internal state of one walker but a many-body interaction. On \(\mathbb{Z}^d\), each active particle performs a continuous-time simple random walk, sleeps at rate \(\lambda\) when alone, and any sleeping particle is reactivated instantly when an active particle shares its site. This model has a fixation–activity phase transition governed by a critical density \(\mu_c(\lambda)\). A general theorem shows that
\[
\mu_c(\lambda)<1
\]
for every \(d\ge1\) and every \(\lambda>0\), and gives explicit upper bounds in the small- and large-\(\lambda\) regimes. In two dimensions, for example, the bounds take the forms \(\mu_c(\lambda)\le \lambda |\ln\lambda|^a\) for small \(\lambda\) and \(\mu_c(\lambda)\le 1-c/[\lambda(\ln\lambda)^2]\) for large \(\lambda\); in \(d\ge3\), the corresponding scales are \(O(\lambda)\) and \(1-c/(\lambda\ln\lambda)\) [2210.04779].

Finite-volume ARW exhibits the same critical structure through time scales. On the cycle \(\mathbb{Z}/n\mathbb{Z}\), with Bernoulli(\(\mu\)) initial active particles, the fixation time is at most \(C_0 n\log^2 n\) with high probability when \(\mu<\lambda/(1+\lambda)\), whereas for every fixed \(0<\mu<1\) there exists \(\lambda_0>0\) such that for \(\lambda<\lambda_0\) the fixation time is at least \(e^{cn}\) with probability \(1-e^{-cn}\). This finite-cycle dichotomy mirrors the infinite-volume fixation/non-fixation transition [1709.09163].

The village model of ARW (VARW) inserts a mean-field scale inside each site: each vertex of a finite underlying graph is replaced by \(n\) houses, jumps between villages follow a strictly sub-stochastic irreducible kernel \(P\), and sleep rates may depend on the village. Under the subcriticality condition \(\sigma_x\le \lambda_x/(1+\lambda_x)\), the scaled odometer \(m_*^{(n)}\) and final sleepy density \(s_*^{(n)}\) converge in probability to deterministic limits \((m_*,s_*)\) characterized by
\[
s_x=-m_x+\sigma_x+\nu_x+\sum_{y\in V} m_y P_{y,x},
\]
\[
s_x=\sigma_x e^{-(\nu_x+\sum_{y\in V} m_yP_{y,x})}
+\frac{\lambda_x}{1+\lambda_x}
\left(1-e^{-(\nu_x+\sum_{y\in V} m_yP_{y,x})}\right).
\]
The fixed-point map governing \(m_*\) is contractive in a weighted norm associated with the Perron–Frobenius eigenvalue of \(P\), which supplies uniqueness and a law of large numbers for the stable configuration [2605.06887].

## 5. Critical density, local density, and finite-volume relaxation

In one dimension, recent work has unified several critical-density notions for ARW. Let \(S_n\) be the number of sleeping particles in the stationary distribution of the driven–dissipative ARW chain on \(V_n=\{1,\dots,n\}\), obtained by repeatedly adding one active particle at a uniformly chosen site and stabilizing with boundary killing. A new proof of superadditivity shows that \(S_{n+m+1}\) stochastically dominates the sum of independent copies of \(S_n\) and \(S_m\). From this one gets convergence in probability
\[
\frac{S_n}{n}\to \rho_c,
\]
together with exponential lower-tail bounds, and one can deduce both the hockey-stick law
\[
\frac{Y_{\lceil \rho n\rceil}}{n}\to \min(\rho,\rho_c)
\]
for the driven–dissipative evolution and the one-dimensional ball law
\[
\frac{|A_k|}{k}\to \frac{1}{\rho_c}
\]
for the aggregate generated by \(k\) particles started at the origin. These identities establish the equality between several conservative and driven–dissipative definitions of the critical density in dimension one [2502.02579].

The point-source perspective sharpens this further. If \(\eta^{(n)}=\mathrm{Stab}(n\delta_0)\) is the stabilized configuration obtained from \(n\) active particles at the origin, then for every sequence \(i(n)\) satisfying
\[
|i(n)|\le \frac12(1-\varepsilon)n,
\]
one has
\[
\mathbb{P}\big(\eta^{(n)}(i(n))=s\big)=\mu_c+o(1).
\]
Moreover, any subsequential weak limit of the laws of \(\eta^{(n)}\) on \(\{0,s\}^{\mathbb{Z}}\) is shift invariant. Thus, throughout any macroscopic bulk window around the source, the local sleeping density is asymptotically the critical density, which is a precise local signature of self-organized criticality [2601.07816].

Finite-network ARW also admits a sharp relaxation theory. For the Markov chain on stable configurations obtained by adding one active particle with initial law \(\nu\) and stabilizing under a killed random walk kernel \(K\), let
\[
p(x)=\mathbb{P}_\nu(\tau_x<\tau_\dagger).
\]
Then the relaxation time is exactly
\[
t_{\mathrm{rel}}=\left(\min_{x\in V} p(x)\right)^{-1},
\]
and separation cutoff occurs if and only if the product condition \(t_{\mathrm{rel}}=o(t_{\mathrm{sep}})\) holds. The separation window satisfies
\[
t_{\mathrm{sep}}(\varepsilon)-t_{\mathrm{sep}}(1-\varepsilon)\le \sqrt{\frac{8\,t_{\mathrm{rel}}}{\varepsilon}},
\]
and explicit cutoff statements follow for large finite subsets of non-amenable graphs, large vertex-transitive graphs with a single sink, wheel-like graphs, and discrete Euclidean balls. The analysis proceeds through an exact reduction of separation distance to the tail of an IDLA filling time [2209.03274].

## 6. Analytical themes, misconceptions, and open directions

Several analytical templates recur across the subject. Single-particle activation models use Markovian embedding in the augmented state \((x,a)\), renewal decompositions over returns to the activation site, and Laplace/generating-function identities for the non-activated propagator. Continuous-space models translate local activation into local-time terms in the generator and Fokker–Planck equation. Reinforced walks deploy martingales for ratios of local times, the Rubin time-lines construction, and, on general graphs, replicator dynamics for occupation densities. Interacting-particle ARW uses the Diaconis–Fulton Abelian representation, odometers, IDLA couplings, and, in high-dimensional critical-density arguments, dormitory hierarchies, colored loops, and ping-pong rallies between clusters [2311.10647, 1611.08173, 1103.5536, 2210.04779, 2605.06887, 2209.03274].

A common misconception is that local activation has a uniform dynamical consequence. The corpus shows the opposite. One localized activation site can yield superdiffusive or trapped behavior depending on \(\tau(a)\) or \(f(a)\); directed reinforcement on \(\mathbb{Z}\) produces ballistic escape, while the same mechanism on cyclic or higher-dimensional graphs produces eventual trapping on a directed circuit; finite ARW always stabilizes on finite graphs, yet the stabilization time can be polynomial up to logarithmic corrections in one regime and exponential in system size in another [2311.10647, 1911.07295, 1709.09163].

The open-problem landscape is correspondingly broad. For single-particle LARWs, the literature explicitly points to multiple or extended activation regions, continuous-space higher-dimensional treatments, interacting walkers, evolving environments, non-monotone activation, and statistical inference of \(\tau(a)\) and \(\varepsilon(a)\) from trajectories [2311.10647]. For the Ant RW, open problems include polynomial reinforcement in place of exponential reinforcement, the full dichotomy between circuit trapping and escape on general infinite graphs, and systems of multiple interacting ants sharing the same directed crossing field [1911.07295]. For ARW and VARW, current directions include shape theorems on growing domains, infinite-graph limits, supercritical regimes, universality of critical density, and finer stationary- or cutoff-type questions beyond what present methods control [2605.06887, 2209.03274]. The cumulative picture is that LARWs are best understood not as one model but as a technical program: local memory and local activation rules, coupled to random motion, generate sharply geometry-dependent large-scale behavior.

Source: https://www.emergentmind.com/topics/locally-activated-random-walks-larws