Search arXiv⌕ Search

arXiv · 2610.39345

Stopping Rules and the Poisson Boundary of Random Walks on Countable Groups

Abstract

In this paper, we study the terminal laws and Poisson boundaries obtained by stopping random walks on countable groups. For a transient walk, we give a direct Green-potential characterization of randomized stopping distributions and show that the terminal law determines the mean stopping time. On free groups, this yields finitely supported randomized stopping distributions at a positive total variation distance from every ordinary stopping distribution. We construct symmetric, fully supported recurrent measures of finite entropy on countable locally finite groups and obtain ordinary strict boundary enlargements when the group is not Choquet-Deny. For generating source and terminal measures of finite entropy, positive asymptotic entropy of the source forces the stopping time to have finite mean. A direct proof of the finite-mean entropy formula and boundary preservation then shows that a finite-entropy stopping chain has at most one strict enlargement. An exact stopped-word entropy identity shows that infinite-mean ordinary stopping with a finite-entropy terminal law has infinite conditional history entropy.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yinghan Zhang. 2026-10-29. Stopping Rules and the Poisson Boundary of Random Walks on Countable Groups. https://arxiv.org/abs/2610.39345

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Langevin equations solved by Markov chains (instead of integrals), two solutions with multiplicative noise and their properties

Langevin equations are usually understood as integral equations, since continuous and Markov solutions are nowhere differentiable. This is avoidable by the fact that white Gaussian noise can be seen as a generalized derivative of the Wiener process. The simplest LE is thus solved by Wiener paths, which can be computed by a Markov chain. That crucial property persists for functions of these paths, and solutions of the general LE are therefore assumed to have that form. In short time steps these functions must be linear or quadratic. Both cases lead to sampled versions of existing stochastic intrgrals ('Ito' and 'anti-Ito' respectively). In physics they apply for Brownian motion in presence of a temperature gradient: without a feedback to the medium in the linear case, and for a tagged molecule in the quadratic one; in the latter case the Fokker-Planck equation describes a local equilibrium.

math.PR↗

Diffusion Processes on $p$-Wasserstein Space over Banach Space

To study diffusion processes on the p-Wasserstein space $\mathscr P_p$ for $p\in [1,\infty)$ over a separable, reflexive Banach space $X$, we present a criterion on the quasi-regularity of Dirichlet forms in $L^2(\mathscr P_p,Λ)$ for a reference probability $Λ$ on $\mathscr P_p$. It is formulated in terms of an upper bound condition with the uniform norm of the intrinsic derivative. We find a versatile class of quasi-regular local Dirichlet forms on $\mathscr P_p$ by using images of Dirichlet forms on the tangent space $L^p(X\to X,μ_0)$ at a reference point $μ_0\in\mathscr P_p$. The Ornstein--Uhlenbeck type Dirichlet form and process on $\mathscr P_2$ are an important example in this class. We derive an $L^2$-estimate for the corresponding heat kernel and an integration by parts formula for the invariant measure.

math.PR↗

Convergence of stochastic integrals with applications to transport equations and conservation laws with noise

Convergence of stochastic integrals driven by Wiener processes $W_n$, with $W_n \to W$ almost surely in $C_t$, is crucial in analyzing SPDEs. Our focus is on the convergence of the form $\int_0^T V_n\, \mathrm{d} W_n \to \int_0^T V\, \mathrm{d} W$, where $\{V_n\}$ is bounded in $L^p(Ω\times [0,T];X)$ for a Banach space $X$ and some finite $p > 2$. This is challenging when $V_n$ converges to $V$ weakly in the temporal variable. We supply convergence results to handle stochastic integral limits when strong temporal convergence is lacking. A key tool is a uniform mean $L^1$ time translation estimate on $V_n$, an estimate that is easily verified in many SPDEs. However, this estimate alone does not guarantee strong compactness of $(ω,t)\mapsto V_n(ω,t)$. Our findings, especially pertinent to equations exhibiting singular behavior, are substantiated by establishing several stability results for stochastic transport equations and conservation laws.

math.PR↗