1: \begin{definition}\label{def:reducibility}[$(\varepsilon,r)$-reducibility and transition manifold]\label{def:reducibleprocess}

2: We call the process $\mathbf{X}_t$ \emph{$(\varepsilon,r)$-reducible}, if there exists a smooth closed $r$-dimensional manifold~$ \mathbb{M} \subset L^2_{1/\mu} \subset L^1(\X)$ such that for~$t_\text{fast}\ll t \ll t_\text{slow}$ and all $x\in\X$

3: \begin{equation} \label{eq:reacMF}

4:    \min_{f\in\mathbb{M}} \|f - p^t(x,\cdot)\|_{L^2_{1/\mu}} \leq \varepsilon

5: \end{equation}

6: holds. We call~$\mathbb{M}$ the \emph{transition manifold} and the map~$\mathcal{Q} \colon \X \to \mathbb{M}$,

7: \begin{equation}

8:     \mathcal{Q}(x) := \mathrm{arg}\min_{f\in\mathbb{M}}\|p^t(x,\cdot) - f\|_{L^2_{1/\mu}}

9: \label{eq:firstDefQ}

10: \end{equation}

11: the \emph{mapping onto the transition manifold}. We can set~$\mathbb{M} = \mathrm{cl}(\mathcal{Q}(\X))$, where~$ \mathrm{cl}(\mathbb{Y})$ denotes the closure of the set~$\mathbb{Y}$.\footnote{If it is necessary to break ties in~\eqref{eq:firstDefQ}, we can do so by taking any of the minimizers. The mapping~$x\mapsto p^t(x,\cdot)$ can be shown to be smooth~\cite[Theorem C.1]{BiKoJu15}, hence~$\mathcal{Q}(\X)$ is a smooth manifold satisfying~\eqref{eq:reacMF}.}

12: \end{definition}

13: