1: \begin{lemma}[Index Pumping Lemma; bipartite version of Lemma~7.4.4.\ in~\cite{Die05}]\label{lem:IndexPump}

2: Let $\epsilon\in (0,\frac14)$ and $p,q\in\NN$. Let $G$ be a bipartite graph $G=(A,B;E)$, with $\frac{|A|}2\le |B|\le 2|A|$. Suppose that $\mathcal A$ and $\mathcal B$ are partitions of vertex sets $A$ and $B$ with distinctive garbage clusters $A_0$ and $B_0$. Suppose further that

3: \begin{enumerate}[(a)]

4: 	\item $p \le|\mathcal A|,|\mathcal B|\le q$, \item $|A_0|<\epsilon |A|$, $|B_0|<\epsilon |B|$, and

5: 	\item all the sets in $\mathcal A\cup \mathcal B\setminus\{A_0,B_0\}$ have the same size.

6: \end{enumerate}

7: If $(\mathcal A,\mathcal B)$ is not an $\epsilon$-regular partition of $G$ then there exist partitions $\mathcal A'$ and $\mathcal B'$ of $A$ and $B$ with garbage clusters $A_0'$ and $B_0'$ such that 

8: \begin{enumerate}[(i)]

9: 	\item $p+1\le |\mathcal A'|,|\mathcal B'|\le 2q16^q$, and

10: 	\item $|A_0'|\le |A_0|+\frac{|A|}{2^p}$, $|B_0'|\le |B_0|+\frac{|B|}{2^p}$,

11: 	\item

12: 	all the sets in $\mathcal A'\cup \mathcal B'\setminus\{A_0',B_0'\}$ have the same size, 

13: 	\item the partitions $\mathcal A'$ and $\mathcal B'$ refine $\mathcal A$ and $\mathcal B$ up to garbage clusters, and

14: 	\item $\mathrm{ind}(\mathcal A',\mathcal B')\ge \mathrm{ind}(\mathcal A,\mathcal B)+\tfrac{\epsilon^5}{3691}$.

15: \end{enumerate}   

16: \end{lemma}

17: