9a06b88b8ed3cd80.tex
1: \begin{definition}[systematic and censored block dynamics] \label{def:censoring-block} Let $B_0,\ldots,B_{s-1}$ denote a finite cover of 
2:  $E(G)$ (or $V(G)$ for a spin system), and for $k\geq 1$ let $i_k := (k-1)\bmod s$.
3: Further, consider a set $\Gamma_i$ of \emph{permissible} boundary conditions for $B_i$, and fix $\epsilon>0$.
4: 
5: The \emph{systematic block dynamics} $(Y_k)_{k\geq0}$ is a discrete-time flavor of the block dynamics w.r.t.\ $\{B_i\}$, with blocks that are updated in a sequential deterministic order: at time~$k$, the chain
6: updates $B_{i_k}$ by resampling $\omega\restriction_{B_{i_k}^o} \sim \pi^\xi_G( \cdot\mid \omega\restriction_{G-(B_{i_k}^o)})$. As in the standard block dynamics~\cite{Ma97}, $Y_k$ is clearly reversible w.r.t.\ $\pi_G$.
7: 
8: The \emph{censored block dynamics} $(\bar{X}_t)_{t\geq 0}$ is the continuous-time single-bond (single-site) heat-bath dynamics that simulates $Y_k$ as follows. For a given $\epsilon > 0$, define
9: \begin{align}\label{eq:T}
10:  T = T(\epsilon) = \max_{i} \max_{\xi\in\Gamma_i} \tmix^{\xi,B_i}(\epsilon)\,,
11: \end{align}
12: where $\tmix^{\xi,B_i}$ is the mixing time of standard heat-bath dynamics on the block $B_i$ with boundary conditions $\xi$.
13: Let the chain $\bar{X}_t$ be obtained from the standard heat-bath dynamics by censoring, as  in Theorem~\ref{thm:censoring}, for every integer $k\geq 1$, along the interval $((k-1) T, kT]$, all updates except those in $B_{i_k}$.
14: \end{definition}
15: