 of $H$. It guarantees that the $2k$ partition classes of $H$ are roughly of the same sizes as the corresponding partition classes of $G$ (see \[lem:H:3\]), and that all edges of $H$ are mapped to edges of a cycle $C$ on $2k$ vertices and all edges except those incident to a very small set $S$ (see \[lem:H:1\]) are in fact mapped to the edges of a perfect matching in $C$ (see \[lem:H:2\]).

\[lem:H\] For every $k\in {\ensuremath{\mathbb{N}}}$ and every $\xi > 0$ there exists $\beta > 0$ and $n_0\in {\ensuremath{\mathbb{N}}}$ such that for every $n\geq n_0$ and for every balanced bipartite graph $H = (X\dcup Y, F)$ on $2n$ vertices having ${\operatorname{bw}}(H)\leq \beta n$ and for every integer partition $n=n_1+\dotsm + n_k$ with $n_i \leq n/8$ there exists a set $S\subseteq V(H)$ and a graph homomorphism $f\colon V(H) \rightarrow V(C)$, where $C$ is the cycle on the vertices $A_1,B_2,A_2,\dotsc, B_k, A_k, B_1, A_1$, such that

1.  \[lem:H:1\] $|S|\leq \xi \cdot 2k \cdot n$,

2.  \[lem:H:2\] for every $\{x,y\}\in F$ with $x\in X\backslash S$ and $y\in Y\backslash S$ there is $i\in [k]$ such that $f(x)\in A_i$ and $f(y)\in B_i$,

3.  \[lem:H:3\] $|f^{-1}(A_i)| < n_i + \xi n$ and $|f^{-1}(B_i)| < n_i +
    \xi n$ for every $i\in [k]$.

With Lemmas \[lem:gel\] (the general embedding lemma), Lemma \[lem:G\] (the lemma for
of   $ H$. It guarantees that the $ 2k$ partition classes of   $ H$ are roughly of the like size as the corresponding partition class of   $ G$ (witness   \[lem: H:3\ ]), and that all edges of   $ H$ are mapped to edge of a bicycle   $ C$ on $ 2k$ vertices and all edge except those incident to a very small set   $ S$ (experience   \[lem: H:1\ ]) are in fact mapped to the edges of a arrant matching in   $ C$ (see   \[lem: H:2\ ]). 

 \[lem: H\ ] For every $ k\in { \ensuremath{\mathbb{N}}}$ and every $ \xi > 0 $ there exists $ \beta > 0 $ and $ n_0\in { \ensuremath{\mathbb{N}}}$ such that for every $ n\geq n_0 $ and for every balanced bipartite graph $ H = (X\dcup Y, F)$ on $ 2n$ vertices having $ { \operatorname{bw}}(H)\leq \beta n$ and for every integer partition $ n = n_1+\dotsm + n_k$ with $ n_i \leq n/8 $ there exists a fit $ S\subseteq V(H)$ and a graph homomorphism $ f\colon V(H) \rightarrow V(C)$, where $ C$ is the cycle on the vertices $ A_1,B_2,A_2,\dotsc, B_k, A_k, B_1, A_1 $, such that 

 1.   \[lem: H:1\ ] $ |S|\leq \xi \cdot 2k \cdot n$, 

 2.   \[lem: H:2\ ] for every $ \{x, y\}\in F$ with $ x\in X\backslash S$ and $ y\in Y\backslash S$ there is $ i\in [ k]$ such that $ f(x)\in A_i$ and $ f(y)\in B_i$, 

 3.   \[lem: H:3\ ] $ |f^{-1}(A_i)| < n_i + \xi n$ and $ |f^{-1}(B_i)| < n_i + 
     \xi n$ for every $ i\in [ k]$. 

 With Lemmas   \[lem: gel\ ] (the cosmopolitan embedding lemma), Lemma   \[lem: G\ ] (the lemma for
 of $J$. It guarantees that the $2k$ partition clcwses oh $H$ are doughly uf the same sizes as the corcespindint partition classes of $E$ (see \[lem:H:3\]), and thar alo edges of $H$ are mapizd to cdges if a cycle $C$ on $2k$ verticev and all edgev dxeept those incident to a very small fet $S$ (ser \[lfm:H:1\]) are in facj mapked to fhe edges of a perfect matching in $D$ (see \[lek:H:2\]).

\[lem:H\] For evrry $k\in {\ensuremath{\mathbb{N}}}$ wnd fvery $\xi > 0$ there edists $\beta > 0$ anq $n_0\in {\ensuremxth{\mathbb{N}}}$ such that fkr every $n\geq n_0$ and for every bxlanczd bipartitg frwkh $H = (X\dcup B, F)$ on $2n$ vertices msving ${\mperatotname{bw}}(H)\leq \beba n$ end dor every integer parvition $n=n_1+\dotsm + n_k$ wyth $n_i \lex u/8$ there exists a set $W\sybsetgq V(H)$ and q gfapg iomkmorphlsm $f\colon V(H) \rightarrow V(C)$, where $C$ is the vysoe on the verfices $W_1,B_2,W_2,\dotsc, B_k, A_k, B_1, A_1$, such that

1.  \[lem:H:1\] $|S|\leq \xp \cdkt 2k \cdot n$,

2.  \[lem:H:2\] for ecery $\{x,y\}\in F$ with $x\in D\backslasr S$ and $y\in Y\backslash S$ there is $i\in [k]$ such that $f(x)\in X_i$ ckq $d(y)\ln B_i$,

3.  \[lem:H:3\] $|f^{-1}(A_i)| < n_i + \xi n$ and $|f^{-1}(B_i)| < n_i +
    \xi g$ fpr every $i\in [k]$.

Wibh Lemmas \[lem:gel\] (thr hemgral embedding lemma), Lejma \[lem:G\] (the lemma vor
of $H$. It guarantees that the $2k$ of are roughly the same sizes of (see \[lem:H:3\]), and all edges of are mapped to edges of a $C$ on $2k$ vertices and all edges except those incident to a very set $S$ (see \[lem:H:1\]) are in fact mapped to the edges of a matching $C$ \[lem:H:2\]). For every $k\in {\ensuremath{\mathbb{N}}}$ and every $\xi > 0$ there exists $\beta > 0$ and $n_0\in such that for every $n\geq n_0$ and for balanced bipartite graph $H (X\dcup Y, F)$ on $2n$ having \beta n$ for integer $n=n_1+\dotsm + n_k$ $n_i \leq n/8$ there exists a set $S\subseteq V(H)$ and a graph homomorphism $f\colon V(H) \rightarrow V(C)$, $C$ is on the $A_1,B_2,A_2,\dotsc, A_k, A_1$, such that $|S|\leq \xi \cdot 2k \cdot n$, every $\{x,y\}\in F$ with $x\in X\backslash S$ and Y\backslash S$ is $i\in [k]$ such that $f(x)\in and $f(y)\in B_i$, 3. \[lem:H:3\] $|f^{-1}(A_i)| < n_i \xi n$ and $|f^{-1}(B_i)| < n_i + \xi n$ for every $i\in [k]$. With Lemmas general embedding lemma), Lemma (the lemma for
 of $H$. It guarantees that the $2k$ paRtition claSses oF $H$ aRe rOuGhly Of thE same sizes as thE CorrEsponding partition clasSes of $g$ (sEE \[lem:h:3\]), AnD that All edgeS Of $h$ ARe mApPeD to EdGEs Of a cyCle $c$ on $2k$ verTices and alL edGeS except those INcIdent to a veRy sMall set $S$ (see \[lEm:H:1\]) Are in fAcT maPPed to The Edges Of a perFEct matChing in $C$ (sEe \[LEm:H:2\]).

\[lem:h\] for everY $K\In {\EnsuRemath{\mathbb{N}}}$ and eVErY $\Xi > 0$ there exists $\bEta > 0$ and $N_0\iN {\EnSURemAth{\Mathbb{N}}}$ sucH tHat foR Every $n\gEQ n_0$ AND For EVery balanced bIpartite graPH $H = (X\Dcup Y, F)$ On $2N$ veRTices hAving ${\OpERatOrname{bw}}(H)\leQ \betA n$ and for eVery inTEger parTItion $n=n_1+\Dotsm + n_K$ wiTh $n_I \leq N/8$ ThErE exIsTS a sET $S\SubSEteQ V(H)$ and a gRaPh HomomOrphISM $F\ColoN V(H) \RighTarroW V(C)$, where $C$ is thE cyCle oN The VertiCes $A_1,B_2,a_2,\dotSc, b_k, A_k, B_1, a_1$, such tHat

1.  \[leM:H:1\] $|s|\leq \xi \cdot 2k \cdot N$,

2.  \[lem:h:2\] for every $\{X,y\}\iN F$ WitH $x\In X\baCKslash s$ anD $y\iN Y\backsLash S$ thERe iS $i\IN [K]$ SuCh that $f(x)\in A_i$ and $f(y)\iN B_I$,

3.  \[LEm:h:3\] $|f^{-1}(A_i)| < n_i + \xi N$ and $|f^{-1}(B_I)| < N_i +
    \Xi N$ For every $I\iN [k]$.

WIth LEMMas \[leM:gel\] (THe General eMbeddiNG lEmMa), Lemma \[LeM:G\] (the lEmMa fOr
 of $H$. It guarantees tha t the $2k$  part iti oncl asse s of  $H$ are rough l y of  the same sizes as the  corr es p ondi n gparti tion cl a ss e s  of  $ G$  (s ee \[ lem:H :3\ ]), and  that alledg es  of $H$ arem ap ped to edg esof a cycle $ C$on $2k $ver t icesand  alledgese xceptthose inc id e nt toa  very s m a ll  set  $S$ (see \[lem:H : 1\ ] ) are in factmapped  t o  t h e  ed ges  of a perf ec t mat c hing in $C $ ( see \[lem:H:2\]). 

\[lem:H\] For  every  $ k\i n  {\ens urema th { \ma thbb{N}}}$andevery $\x i > 0$ there e x ists $\ beta >  0$  an d $n _ 0\ in  {\ en s ure m at h{\ m ath bb{N}}}$  s uc h tha t fo r e v ery$n\ geqn_0$and for every  ba lanc e d b ipart ite g raph  $ H = ( X\dcup  Y, F )$  on $2n$ vertic es h aving ${\ ope ra tor na me{bw } }(H)\l eq\be ta n$ a nd fore ver yi n t eg er partition $n=n_ 1+ \ d ot sm + n_k $ with $n _i \leq n/8 $the re e x i sts a  set $S \subsete q V(H) $  a nd  a grap hhomomo rp his m $ f\col o n V( H) \ri ghtarrow  V(C) $ , where $C$ is the cycle ont he v er t ices  $A _1,B_2,A_2, \dot s c, B _k,A _k , B _ 1, A_ 1$, s uc h  t h at

1.  \[lem:H:1\]  $ |S|\le q \xi  \cdot 2k \cd ot n$,

2. \ [lem:H:2 \] f o re very $\{x,y\}\ in F$  with $x\i n  X\backs lashS$ and $ y\in Y\ba c k slash S$  th ere  is  $i \ i n[k]$ such tha t $f(x )\ in A_i$  an d $f(y) \in  B_ i$, 

3 . \[lem:H: 3\] $|f^ {- 1} (A _i )|< n_i + \xi n$  a nd$| f^{ -1}(B _ i)| <n_i + 
   \ xi n$for eve r y$ i \in[k ]$ .

W ith  L emmas  \[l e m:g el\] (t he genera l e m bedd in glemma),  Lemma \[lem: G\ ] (the lem ma  fo r
 of $H$._It guarantees_that the $2k$ partition_classes of $H$_are_roughly of_the_same sizes as_the corresponding partition_classes of $G$ (see \[lem:H:3\]), and_that all edges_of $H$_are mapped to edges of a cycle $C$ on $2k$ vertices and all edges except_those_incident to_a_very_small set $S$ (see \[lem:H:1\]) are in_fact mapped to the edges_of a_perfect matching in $C$ (see \[lem:H:2\]).

\[lem:H\] For every $k\in {\ensuremath{\mathbb{N}}}$_and_every $\xi >_0$ there exists $\beta > 0$ and $n_0\in {\ensuremath{\mathbb{N}}}$_such that for every $n\geq n_0$_and for every_balanced_bipartite_graph $H = (X\dcup_Y, F)$ on $2n$ vertices having_${\operatorname{bw}}(H)\leq \beta n$ and for every_integer partition $n=n_1+\dotsm + n_k$ with $n_i_\leq n/8$ there exists a set_$S\subseteq V(H)$ and a graph_homomorphism $f\colon_V(H) \rightarrow V(C)$, where $C$_is the cycle_on the_vertices $A_1,B_2,A_2,\dotsc, B_k,_A_k, B_1, A_1$, such that

1. _\[lem:H:1\] $|S|\leq \xi_\cdot 2k \cdot n$,

2.  \[lem:H:2\]_for_every $\{x,y\}\in F$_with_$x\in_X\backslash S$_and $y\in Y\backslash_S$_there is_$i\in_[k]$ such that $f(x)\in A_i$ and_$f(y)\in_B_i$,

3.  \[lem:H:3\] $|f^{-1}(A_i)| < n_i +_\xi n$ and $|f^{-1}(B_i)|_<_n_i +
  _ \xi n$ for every_$i\in [k]$.

With Lemmas \[lem:gel\] (the general embedding_lemma), Lemma \[lem:G\]_(the lemma_for