Exact Coupling of Random Walks on Polish Groups
Abstract
Exact coupling of random walks is studied. Conditions for admitting a successful exact coupling are given that are necessary and in the Abelian case also sufficient. In the Abelian case, it is shown that a random walk $S$ with step-length distribution $\mu$ started at $0$ admits a successful exact coupling with a version $S^x$ started at $x$ if and only if there is $n\geq 1$ with $\mu^{n} \wedge \mu^{n}(x+\cdot) \neq 0$. Moreover, when a successful exact coupling exists, the total variation distance between $S_n$ and $S^x_n$ is determined to be $O(n^{-1/2})$ if $x$ has infinite order, or $O(\rho^n)$ for some $\rho \in (0,1)$ if $x$ has finite order. In particular, this paper solves a problem posed by H. Thorisson on successful exact coupling of random walks on $\mathbb{R}$. It is also noted that the set of such $x$ for which a successful exact coupling can be constructed is a Borel measurable group. Lastly, the weaker notion of possible exact coupling and its relationship to successful exact coupling are studied.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2017
- DOI:
- 10.48550/arXiv.1706.06968
- arXiv:
- arXiv:1706.06968
- Bibcode:
- 2017arXiv170606968M
- Keywords:
-
- Mathematics - Probability;
- 60G50;
- 60F99;
- 28C10
- E-Print:
- This is a post-peer-review, pre-copyedit version of an article to appear in Journal of Theoretical Probability. 16 pages