A note on formal constructions of sequential conditional couplings

摘要

We discuss a formal mathematical framework for certain coupling constructions via minorisation conditions, which are often used to prove bounds on convergence to stationarity of stochastic processes and Markov chain Monte Carlo algorithms.