1: \begin{definition}\label{def:hypothesis}

2: Let $L_0,M$ be two natural integers, $t>0$.

3: 

4: We say that a configuration $\omega\in LO$ satisfies the hypothesis $H\left(L_0,M,t\right)$ if 

5: 

6: \begin{equation}\label{eq:condcoupling}

7: \forall L=L_0,...,L_0+M \qquad\forall i=1,...,k(L,t)-\left\lfloor \frac{s(L,t)}{\alpha(L,t)}\right\rfloor\qquad Z_i^{\underline{v}\alpha(L,t)}(\omega)-Z_{i-1}^{\underline{v}\alpha(L,t)}(\omega)<\overline{v}\alpha(L,t),

8: \end{equation}

9: where $k,\alpha,s$ are those defined in Theorem~\ref{th:decorrelation}.

10: 

11: Note that if $L_0$ is small enough (for instance $L_0<\frac{\underline{v}}{1+2\underline{v}c_1}t$), the condition can be rewritten:

12: \begin{equation*}

13: \forall L=\left\lfloor\frac{\underline{v}}{1+2\underline{v}c_1}t\right\rfloor,...,L_0+M ,\ \forall i=1,...,k(L,t)-\left\lfloor \frac{s(L,t)}{\alpha(L,t)}\right\rfloor,\  Z_i^{\underline{v}\alpha(L,t)}(\omega)-Z_{i-1}^{\underline{v}\alpha(L,t)}(\omega)<\overline{v}\alpha(L,t)

14: \end{equation*}

15: \end{definition}

16: