Invariance principle for variable speed random walks on trees

From MaRDI portal



Abstract: We consider stochastic processes on complete, locally compact tree-like metric spaces (T,r) on their "natural scale" with boundedly finite speed measure u. Given a triple (T,r,u) such a speed-u motion on (T,r) can be characterized as the unique strong Markov process which if restricted to compact subtrees satisfies for all x,yinT and all positive, bounded measurable f, [ mathbb{E}^x [ int^{ au_y}_0mathrm{d}s, f(X_s) ] = 2int_T u(mathrm{d}z), r(y,c(x,y,z))f(z) < infty, ] where c(x,y,z) denotes the branch point generated by x,y,z. If (T,r) is a discrete tree, X is a continuous time nearest neighbor random walk which jumps from v to v′simv at rate frac12cdot(u(v)cdotr(v,v′))−1. If (T,r) is path-connected, X has continuous paths and equals the u-Brownian motion which was recently constructed in [AthreyaEckhoffWinter2013]. In this paper we show that speed-un motions on (Tn,rn) converge weakly in path space to the speed-u motion on (T,r) provided that the underlying triples of metric measure spaces converge in the Gromov-Hausdorff-vague topology introduced recently in [AthreyaLohrWinter2016].


From the authors' introduction: Some Markov processes ``have in common that their state spaces are closed subsets of the real line and that their random trajectories `do not jump over points'. When put in their `natural scale' these processes are determined by their `speed measure'. The most classical example is the symmetric simple random walk on \(\mathbb{Z}\) which, after a suitable rescaling, converges to standard Brownian motion. You ``might think of the rescaled random walk as such a process with speed measure \(\frac{1}{{\sqrt n }}q(\sqrt n \bullet )\), where \(q\) denotes the counting measure on \(\mathbb{Z}\), and of the standard Brownian motion as such a process whose speed measure equals the Lebesgue measure on \(\mathbb{R}\). We want to extend this result ``to Markov process which take values in tree-like metric spaces. Before we state our main result precisely, we do the preliminary work and define the space of rooted metric boundedly finite measure trees equipped with pointed Gromov-vague topology and give our notion of convergence in path space. Denote by \(\mathbb{T}\) the set of all equivalent classes of rooted metric boundedly finite measure trees. ``Our main result is the following. Theorem 1 (Invariance principle). Assume that \(\chi = (T,r,\rho ,\nu ),\) \({\chi _1} = ({T_1},{r_1},{\rho _1},{\nu _1}),\) \({\chi _2} = ({T_2},{r_2},{\rho _2},{\nu _2})\) are in \(\mathbb{T}\). Let \(X\) be the speed-\(\nu\) motion on \((T, r)\), starting in\(\rho,\) and for all \(n\), let \({X^n}\) be the speed-\({\nu _n}\) motion on \(({T_n},{r_n})\) started in \({\rho _n}\). Assume that the following conditions hold: {\parindent=10mm \begin{itemize}\item[(A0)] For all \(R>0\), \(\limsup_{n \to \infty} \sup \{ {r_n}(x,z):x \in {B_n}({\rho _n},R),z \in {T_n},x \sim z\} < \infty \). \item[(A1)] The sequence \({({\chi _n})_{n \in N}}\) converges to \(\chi \) pointed Gromov-vaguely. \item[(A2)] The uniform local lower mass-bound property holds. \end{itemize}} Then the following holds: {\parindent=6mm \begin{itemize}\item[(i)] \({X^n}\) converges in the one-point compactification weakly in path-space to a process \(Y\), such that \(Y\) stopped at infinity has the same distribution as the speed-\(\nu \) motion \(X\). In particular, if \(X\) is conservative (i.e., does not hit infinity), then \({X^n}\) converges weakly in path-space to \(X\). \item[(ii)] If \({\sup _{n \in N}}\text{{diameter}}({T_n},{r_n}) < \infty \), and assuming (A1) but not (A2), then \({X^n}\) converges f.d.d. to \(X\). \end{itemize}}




Cited in
(33)








This page was built for publication: Invariance principle for variable speed random walks on trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2412657)