,\delta},r-1)^{-1}\beta(D_{r,d,\delta},\delta')^{-1}\rho(r,d,\delta)^{-1}\bigg\}\right\rceil.\end{aligned}$$ These functions inherit the appropriate monotonicity properties from the monotonicity of $\eps$, $D_{r,d,\delta}$, $\delta'$, $\beta$, $\eta(\cdot,\cdot,r-1)$, $\zeta(\cdot,\cdot,r-1)$, $\rho$, $p_2$, $p_0(\cdot,\cdot,r-1)$, $M_{r,d,\delta}$, and $\nu$.

Now suppose that $B$ is a $d$-dimensional ${\operatorname{QM}}$-Bohr set of width $\delta$ with underlying ${\operatorname{QM}}$-system $\Psi$, and $c : \tilde B \rightarrow [r]$ is a colouring of $\tilde{B}$ where $|\tilde B| {\geqslant}(1 -\eta(\delta,d,r) )|B|$. Since $\eta(\delta,d,r) {\leqslant}\frac{1}{100}\eps^2$, the regularity lemma tells us that (since $p {\geqslant}p_\Omega(r,d,\delta,\eps)$) there is a ${\operatorname{QM}}$-system $\Psi' \supset \Psi$, functions $F_1,\dots, F_r : \G^{d'} \rightarrow \R_{{\geqslant}0}$ and functions $g_1,\dots, g_r : \F \rightarrow [-1,1]$ such that:

1.  \[1\] $\Vert F_i \Vert_{{\operatorname{trig}}} {\leqslant}M_\Omega(r,d,\delta,\eps)=M_{r,d,\delta}$, $i \in \{ 1,\dots, r\}$;

2.  \[2\] $d' {\leqslant}D_\Omega(r, d,\delta,\eps)=D_{r,d,\delta}$;

3.  \[3\] $\Vert F_i \circ \Psi' - g_i \Vert_2 {\leqslant}\eps$ for $i \in \{1,\dots, r\}$;

4.  \[4\] $\Vert 1_{c^{-1}(i)} - g_i\Vert_{{\operatorname{QM}}} {\leqslant}1/\Omega_{r,d,\delta}(\Vert F_
, \delta},r-1)^{-1}\beta(D_{r, d,\delta},\delta')^{-1}\rho(r, d,\delta)^{-1}\bigg\}\right\rceil.\end{aligned}$$ These functions inherit the appropriate monotonicity properties from the monotonicity of $ \eps$, $ D_{r, d,\delta}$, $ \delta'$, $ \beta$, $ \eta(\cdot,\cdot, r-1)$, $ \zeta(\cdot,\cdot, r-1)$, $ \rho$, $ p_2 $, $ p_0(\cdot,\cdot, r-1)$, $ M_{r, d,\delta}$, and $ \nu$. 

 Now suppose that $ B$ is a $ d$-dimensional $ { \operatorname{QM}}$-Bohr hardening of width $ \delta$ with underlie $ { \operatorname{QM}}$-system $ \Psi$, and $ c: \tilde B \rightarrow [ r]$ is a colouring of $ \tilde{B}$ where $ |\tilde B| { \geqslant}(1 -\eta(\delta, d, r) ) |B|$. Since $ \eta(\delta, d, gas constant) { \leqslant}\frac{1}{100}\eps^2 $, the regularity lemma tells us that (since $ p { \geqslant}p_\Omega(r, d,\delta,\eps)$) there be a $ { \operatorname{QM}}$-system $ \Psi' \supset \Psi$, serve $ F_1,\dots, F_r: \G^{d' } \rightarrow \R_{{\geqslant}0}$ and functions $ g_1,\dots, g_r: \F \rightarrow [ -1,1]$ such that: 

 1.   \[1\ ] $ \Vert F_i \Vert_{{\operatorname{trig } } } { \leqslant}M_\Omega(r, d,\delta,\eps)=M_{r, d,\delta}$, $ i \in \ { 1,\dots, r\}$; 

 2.   \[2\ ] $ d' { \leqslant}D_\Omega(r, d,\delta,\eps)=D_{r, d,\delta}$; 

 3.   \[3\ ] $ \Vert F_i \circ \Psi' - g_i \Vert_2 { \leqslant}\eps$ for $ i \in \{1,\dots, r\}$; 

 4.   \[4\ ] $ \Vert 1_{c^{-1}(i) } - g_i\Vert_{{\operatorname{QM } } } { \leqslant}1/\Omega_{r, d,\delta}(\Vert F _
,\delha},r-1)^{-1}\beta(D_{r,d,\delta},\delta')^{-1}\rho(r,a,\delta)^{-1}\bigg\}\right\tcwil.\end{eligned}$$ These fjnctions inherit the approprmate monoujnicity properties from the monotonucitb of $\eps$, $D_{r,d,\delte}$, $\delta'$, $\nzta$, $\efw(\cdoc,\cvot,r-1)$, $\zeta(\cdot,\cdpt,r-1)$, $\rho$, $p_2$, $[_0(\cdot,\cdot,r-1)$, $M_{r,d,\geutc}$, and $\nu$.

Now suppose that $B$ is a $d$-dimqnsionak ${\lperatorname{QM}}$-Fohr fet kf width $\delta$ with underlying ${\opedatornake{QM}}$-system $\Pso$, and $c : \tilde B \rightarroa [r]$ ls a colouring of $\hilde{B}$ wherg $|\tijee B| {\geqslang}(1 -\eta(\delta,d,r) )|B|$. Since $\eja(\delta,d,r) {\leqslant}\frac{1}{100}\eps^2$, the reeularnty lemma tglms os that (sincx $p {\gezslant}p_\Omega(v,c,\delta,\aps)$) thete is a ${\operatprneme{QN}}$-system $\Psi' \supset \Psm$, functions $F_1,\dots, F_r : \G^{d'} \righdaxrow \R_{{\geqslant}0}$ and fubcrions $g_1,\dods, g_f : \F \rifhvardow [-1,1]$ skch that:

1.  \[1\] $\Vedt F_i \Vert_{{\operatorname{trig}}} {\leqxlwbt}M_\Omega(r,d,\delfa,\eps)=M_{w,d,\qelta}$, $i \in \{ 1,\dots, r\}$;

2.  \[2\] $d' {\leqslant}D_\Omega(r, g,\demta,\eps)=D_{r,d,\delta}$;

3.  \[3\] $\Vert F_u \circ \Psi' - g_i \Vert_2 {\lgqslant}\eps$ for $i \in \{1,\dots, r\}$;

4.  \[4\] $\Vert 1_{c^{-1}(i)} - g_i\Vert_{{\operatorname{QM}}} {\neqsleng}1/\Omtgq_{r,d,\deura}(\Gert F_
,\delta},r-1)^{-1}\beta(D_{r,d,\delta},\delta')^{-1}\rho(r,d,\delta)^{-1}\bigg\}\right\rceil.\end{aligned}$$ These functions inherit the appropriate monotonicity the of $\eps$, $\delta'$, $\beta$, $\eta(\cdot,\cdot,r-1)$, and Now suppose that is a $d$-dimensional set of width $\delta$ with underlying $\Psi$, and $c : \tilde B \rightarrow [r]$ is a colouring of $\tilde{B}$ $|\tilde B| {\geqslant}(1 -\eta(\delta,d,r) )|B|$. Since $\eta(\delta,d,r) {\leqslant}\frac{1}{100}\eps^2$, the regularity lemma tells us (since {\geqslant}p_\Omega(r,d,\delta,\eps)$) is ${\operatorname{QM}}$-system $\Psi' \supset \Psi$, functions $F_1,\dots, F_r : \G^{d'} \rightarrow \R_{{\geqslant}0}$ and functions $g_1,\dots, g_r : \rightarrow [-1,1]$ such that: 1. \[1\] $\Vert F_i {\leqslant}M_\Omega(r,d,\delta,\eps)=M_{r,d,\delta}$, $i \in \{ r\}$; 2. \[2\] $d' {\leqslant}D_\Omega(r, 3. $\Vert F_i \Psi' g_i {\leqslant}\eps$ for $i \{1,\dots, r\}$; 4. \[4\] $\Vert 1_{c^{-1}(i)} - g_i\Vert_{{\operatorname{QM}}} {\leqslant}1/\Omega_{r,d,\delta}(\Vert F_
,\delta},r-1)^{-1}\beta(D_{r,d,\delta},\delta')^{-1}\rhO(r,d,\delta)^{-1}\biGg\}\rigHt\rCeiL.\eNd{alIgneD}$$ These functionS InheRit the appropriate monotOniciTy PRopeRTiEs froM the monOToNICitY oF $\ePs$, $D_{R,d,\DElTa}$, $\delTa'$, $\bEta$, $\eta(\cDot,\cdot,r-1)$, $\zeTa(\cDoT,\cdot,r-1)$, $\rho$, $p_2$, $p_0(\cDOt,\Cdot,r-1)$, $M_{r,d,\deLta}$, And $\nu$.

Now suppOse That $B$ iS a $D$-diMEnsioNal ${\OperaTornamE{qM}}$-Bohr Set of widtH $\dELta$ witH UnderlyING ${\oPeraTorname{QM}}$-system $\PsI$, AnD $C : \tilde B \rightarRow [r]$ is A cOLoURIng Of $\tIlde{B}$ where $|\TiLde B| {\gEQslant}(1 -\eTA(\dELTA,d,r) )|b|$. since $\eta(\delta,D,r) {\leqslant}\fRAc{1}{100}\ePs^2$, the rEgUlaRIty lemMa telLs US thAt (since $p {\geqSlanT}p_\Omega(r,d,\Delta,\ePS)$) there iS A ${\operatOrname{qM}}$-sYstEm $\PsI' \SuPsEt \PSi$, FUncTIoNs $F_1,\DOts, f_r : \G^{d'} \righTaRrOw \R_{{\geQslaNT}0}$ AND funCtiOns $g_1,\Dots, g_R : \F \rightarrow [-1,1]$ sUch That:

1.  \[1\] $\vErt f_i \VerT_{{\operAtorNaMe{triG}}} {\leqslAnt}M_\OMeGa(r,d,\delta,\eps)=M_{r,d,\DeltA}$, $i \in \{ 1,\dots, r\}$;

2.  \[2\] $D' {\leQsLanT}D_\omega(R, D,\delta,\Eps)=d_{r,d,\Delta}$;

3.  \[3\] $\VeRt F_i \cirC \psi' - G_i \vERT_2 {\lEqslant}\eps$ for $i \in \{1,\doTs, R\}$;

4.  \[4\] $\vErT 1_{c^{-1}(i)} - g_i\VerT_{{\operaTOrNaME{QM}}} {\leqslAnT}1/\OmEga_{r,D,\DElta}(\VErt F_
,\delta},r-1)^{-1}\beta(D_ {r,d,\delt a},\d elt a') ^{ -1}\ rho( r,d,\delta)^{- 1 }\bi gg\}\right\rceil.\end{ align ed } $$ T h es e fun ctionsi nh e r itth eapp ro p ri ate m ono tonicit y properti esfr om the monot o ni city of $\ eps $, $D_{r,d,\ del ta}$,$\ del t a'$,$\b eta$,  $\eta ( \cdot, \cdot,r-1 )$ ,  $\zet a (\cdot, \ c do t,r- 1)$, $\rho$, $p_2 $ ,$ p_0(\cdot,\cdo t,r-1) $, $M _ { r,d ,\d elta}$, an d$\nu$ . 

Now s u pp o s e  th a t $B$ is a $d $-dimension a l $ {\oper at orn a me{QM} }$-Bo hr set  of width $ \del ta$ withunderl y ing ${\ o perator name{Q M}} $-s yste m  $ \P si$ ,a nd$ c: \ t ild e B \rig ht ar row [ r]$i s a  col our ingof $\ tilde{B}$ whe re$|\t i lde  B| { \geqs lant }( 1 -\e ta(\de lta,d ,r ) )|B|$. Since$\et a(\delta, d,r ){\l eq slant } \frac{ 1}{ 100 }\eps^2 $, ther egu la r i t ylemma tells us tha t( s in ce $p {\ geqsla n t} p_ \ Omega(r, d, \de lta, \ e ps)$)  the r eis a ${\ operat o rn am e{QM}}$ -s ystem$\ Psi ' \ supse t  \Ps i$, fu nctions$F_1, \ dots, F_r : \G ^ {d'} \rightar r ow \ R_ { {\ge qsl ant}0}$ and  fun c tion s $g _ 1, \do t s, g_ r : \ F\ ri g htarrow [-1,1]$ suc hthat:
1. \[1\] $\VertF_i \Vert_ { { \ operator name { tr i g}}} {\leqslan t}M_\ Omega(r,d, \ delta,\e ps)=M _{r,d,\d elta}$, $ i \in \{ 1 ,\d ots , r \}$ ; 
2 .  \[2\] $d'{ \ leqs la nt}D_\O meg a(r, d, \de lta ,\e ps) =D _{r,d,\de lta}$;
3.  \[ 3\ ] $ \Vert F_i \cir c\Ps i'  -g_i \ V ert_2{\leq slan t} \e p s$for $i\ in \ {1,\ do ts , r\ }$; 
4.  \ [4\] $\V ert 1_{ c^{-1}(i) } - g_i\ Ve rt _{{\ope ratorname{QM} }}  {\leqslan t} 1/\ Omega_ { r ,d,\delt a}(\Vert F_
,\delta},r-1)^{-1}\beta(D_{r,d,\delta},\delta')^{-1}\rho(r,d,\delta)^{-1}\bigg\}\right\rceil.\end{aligned}$$ These_functions inherit_the appropriate monotonicity properties_from the_monotonicity_of $\eps$,_$D_{r,d,\delta}$,_$\delta'$, $\beta$, $\eta(\cdot,\cdot,r-1)$,_$\zeta(\cdot,\cdot,r-1)$, $\rho$, $p_2$,_$p_0(\cdot,\cdot,r-1)$, $M_{r,d,\delta}$, and $\nu$.

Now_suppose that $B$_is_a $d$-dimensional ${\operatorname{QM}}$-Bohr set of width $\delta$ with underlying ${\operatorname{QM}}$-system $\Psi$, and $c :_\tilde_B \rightarrow_[r]$_is_a colouring of $\tilde{B}$ where_$|\tilde B| {\geqslant}(1 -\eta(\delta,d,r) )|B|$._Since $\eta(\delta,d,r)_{\leqslant}\frac{1}{100}\eps^2$, the regularity lemma tells us that (since_$p_{\geqslant}p_\Omega(r,d,\delta,\eps)$) there is_a ${\operatorname{QM}}$-system $\Psi' \supset \Psi$, functions $F_1,\dots, F_r :_\G^{d'} \rightarrow \R_{{\geqslant}0}$ and functions $g_1,\dots,_g_r : \F_\rightarrow_[-1,1]$_such that:

1.  \[1\]_$\Vert F_i \Vert_{{\operatorname{trig}}} {\leqslant}M_\Omega(r,d,\delta,\eps)=M_{r,d,\delta}$, $i \in_\{ 1,\dots, r\}$;

2.  \[2\] $d'_{\leqslant}D_\Omega(r, d,\delta,\eps)=D_{r,d,\delta}$;

3.  \[3\] $\Vert F_i \circ_\Psi' - g_i \Vert_2 {\leqslant}\eps$ for_$i \in \{1,\dots, r\}$;

4. _\[4\] $\Vert_1_{c^{-1}(i)} - g_i\Vert_{{\operatorname{QM}}} {\leqslant}1/\Omega_{r,d,\delta}(\Vert F_