Convergence of scaled asymptotically-free self-interacting random walks to Brownian motion perturbed at extrema
Xiaoyu Liu, Zhe Wang
TL;DR
This work analyzes a one-dimensional self-interacting random walk with weight function $w(n)$ obeying $\frac{1}{w(n)}=1+2^p B n^{-p}+O(n^{-1-\kappa})$ for $p\in(0,\tfrac{1}{2}]$, establishing a diffusion-scale limit to a Brownian motion perturbed at extrema (BMPE) with equal perturbation parameters $\gamma$. The authors implement a decomposition of the walk into a martingale and a drift, proving the martingale part converges to Brownian motion while the drift converges to $\gamma$ times the walk’s running range, via generalized Ray-Knight theorems and a mesoscopic analysis using generalized Polya urns and branching-like processes that model local times and up/down-crossings. A key technical contribution is handling non-absolute summability of local drifts for $p\le\tfrac{1}{2}$ by establishing typical-event control and conditional-mean approximations, which together yield process-level convergence to the BMPE. The results deepen the understanding of universality in BMPE limits for asymptotically free SIRWs and provide a robust framework (urns, BLPs, and filtration-based martingale arguments) potentially applicable to related non-Markov walks with edge-local-time interactions.
Abstract
We consider a family of one-dimensional self interacting walks whose dynamics characterized by a monotone weight function $w$ on $\mathbb{N}\cup \{0\}$. The weight function takes the form $w(n) = (1 + 2^p Bn^{-p} + O(n^{-1-κ}))^{-1}$, for some $B \in \mathbb{R} $, $κ>0$ and $p\in (0,1]$. Our main model parameter is $p$, and for $p\in (0,1/2]$ we show the convergence of the SIRW to Brownian motion perturbed at extrema under the diffusive scaling. This completes the functional limit theorem in [8] for the asymptotically free case and extends the result to the full parameter range $(0,1]$. Our method depends on the generalized Ray-Knight theorems ([T96], [KMP23]) for the rescaled local times of this walk. The directed edge local times, described by the branching-like processes, are used to analyze the total drift experienced by the walker.
