Exact coupling of random walks on Polish groups

From MaRDI portal



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 Sx started at x if and only if there is ngeq1 with munwedgemun(x+cdot)eq0. Moreover, when a successful exact coupling exists, the total variation distance between Sn and Snx is determined to be O(n−1/2) if x has infinite order, or O(hon) for some hoin(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 mathbbR. 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.












This page was built for publication: Exact coupling of random walks on Polish groups

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