Couplings, generalized couplings and uniqueness of invariant measures

Abstract

We provide sufficient conditions for uniqueness of an invariant probability measure of a Markov kernel in terms of (generalized) couplings. Our main theorem generalizes previous results which require the state space to be Polish. We provide an example showing that uniqueness can fail if the state space is separable and metric (but not Polish) even though a coupling defined via a continuous and positive definite function exists.