1: \begin{abstract} % AISTATS requires this to be a single paragraph
2: Couplings play a central role in the analysis of Markov chain Monte Carlo algorithms
3: and appear increasingly often in the algorithms themselves, e.g. in convergence
4: diagnostics, parallelization, and variance reduction techniques. Existing couplings of
5: the Metropolis--Hastings algorithm handle the proposal and acceptance steps separately
6: and fall short of the upper bound on one-step meeting probabilities given by the coupling inequality.
7: This paper introduces maximal couplings which achieve this bound while retaining the practical
8: advantages of current methods. We consider the properties of these couplings and examine
9: their behavior on a selection of numerical examples. \blfootnote{\hspace{-1ex}$^*$The first two authors contributed equally to this work.}
10: \end{abstract}
11: