(x;L)\subset A^{e^{O(s^3)}\log^{O(s^2)}2K}$$ and $$|P_{\text{\textup{ord}}}(x;L)|\ge\exp\left(-e^{O(s^2)}\log^{O(s)}2K\right)|A|.$$

As in the abelian case, Ruzsa’s covering argument combines with \[thm:new.gen\] to give the following variant.

\[cor:ruzsa\] Let $s\in{\mathbb{N}}$ and $K\ge1$. Let $G$ be an $s$-step nilpotent group, and suppose that $A\subset G$ is a finite $K$-approximate group. Then there exist a subgroup $H\subset A^{K^{e^{O(s)}}}$ normalised by $A$, a nilprogression $P_{\text{\textup{nil}}}(x;L)$ of rank at most $e^{O(s^2)}\log^{O(s)}2K$ such that $$P_{\text{\textup{nil}}}(x;L)\subset\overline P(x;L)\subset A^{e^{O(s^3)}\log^{O(s^2)}2K},$$ and a subset $X\subset G$ of size at most $\exp(e^{O(s^2)}\log^{O(s)}2K)$ such that $A\subset XHP_{\text{\textup{nil}}}(x;L)$.

In particular, $|H\overline P(x;L)|\le\exp(K^{e^{O(s)}})|A|$. In the torsion-free setting the subgroup $H$ is again trivial, and in that case we may conclude instead that $|\overline P(x;L)|\le\exp(e^{O(s^3)}\log^{O(s^2)}2K)|A|$.

Chang’s covering argument also allows us to recover \[thm:old\] with much more precise bounds, as follows.

\[cor:chang.ag\] Let $s\in{\mathbb{N}}$ and $K\ge1$. Let $G$ be an $s$-step nilpotent group, and suppose that $A\subset G$ is a finite $K$-approximate group. Then there exist a subgroup $H\subset A^{K^{e^{O(s
( x;L)\subset A^{e^{O(s^3)}\log^{O(s^2)}2K}$$ and $ $ |P_{\text{\textup{ord}}}(x;L)|\ge\exp\left(-e^{O(s^2)}\log^{O(s)}2K\right)|A|.$$ 

 As in the abelian case, Ruzsa ’s covering argument combines with \[thm: new.gen\ ] to render the take after variant. 

 \[cor: ruzsa\ ] Let $ s\in{\mathbb{N}}$ and $ K\ge1$. Let $ G$ be an $ s$-step nilpotent group, and speculate that $ A\subset G$ is a finite $ K$-approximate group. Then there exist a subgroup $ H\subset A^{K^{e^{O(s)}}}$ normalised by $ A$, a nilprogression $ P_{\text{\textup{nil}}}(x;L)$ of rank at about $ e^{O(s^2)}\log^{O(s)}2K$ such that $ $ P_{\text{\textup{nil}}}(x;L)\subset\overline P(x;L)\subset A^{e^{O(s^3)}\log^{O(s^2)}2K},$$ and a subset $ X\subset G$ of size at most $ \exp(e^{O(s^2)}\log^{O(s)}2K)$ such that $ A\subset XHP_{\text{\textup{nil}}}(x;L)$. 

 In particular, $ |H\overline P(x;L)|\le\exp(K^{e^{O(s)}})|A|$. In the torsion - complimentary setting the subgroup $ H$ is again trivial, and in that character we may conclude instead that $ |\overline P(x;L)|\le\exp(e^{O(s^3)}\log^{O(s^2)}2K)|A|$. 

 Chang ’s cover argument also allows us to recover \[thm: old\ ] with much more precise boundary, as follows. 

 \[cor: chang.ag\ ] Let $ s\in{\mathbb{N}}$ and $ K\ge1$. Let $ G$ be an $ s$-step nilpotent group, and presuppose that $ A\subset G$ is a finite $ K$-approximate group. Then there exist a subgroup $ H\subset A^{K^{e^{O(s
(x;L)\skbset A^{e^{O(s^3)}\log^{O(s^2)}2K}$$ and $$|P_{\tewt{\textup{ord}}}(x;L)|\ge\erp\left(-e^{M(s^2)}\log^{O(a)}2K\right)|A|.$$

Xs in the abelian case, Ruzsa’d xoverung argument combines dith \[thm:nvw.gen\] to tive rhe followmhg variant.

\[cor:dmzsa\] Nxt $s\in{\mathbb{N}}$ akd $K\ge1$. Let $C$ be an $s$-step tiupltent group, and suppose that $A\subsee G$ is s vinite $K$-approxymatt gwoup. Nhtn there exist a subgroup $H\subset A^{K^{e^{O(s)}}}$ iormalised by $A$, a nilprogression $P_{\text{\texhup{nll}}}(x;L)$ of rank at modt $e^{O(s^2)}\log^{O(s)}2J$ susy that $$P_{\text{\gextup{nil}}}(x;L)\subset\overljne P(x;L)\subset A^{e^{O(s^3)}\log^{O(s^2)}2K},$$ and a rubsec $X\subset G$ od slee at most $\eep(e^{O(s^2)}\ljg^{O(s)}2K)$ such tmst $A\sutset XHL_{\text{\textup{nil}}}(w;L)$.

In 'artucular, $|H\overline P(x;L)|\lx\exp(K^{e^{O(s)}})|A|$. In the torfion-free vecting the subgroup $H$ us agait trhviau, ana ih vhaf case we may conclhde instead that $|\overline P(x;L)|\lt\ex[(v^{P(s^3)}\log^{O(s^2)}2K)|A|$.

Chahg’s codewing argument also allows us to recover \[thj:old\] with much more prexise bounds, as followd.

\[cor:chang.wg\] Let $s\in{\mathbb{N}}$ and $K\ge1$. Let $G$ be an $s$-step nilpodent jruup, akd sjpplse that $A\subset G$ is a finite $K$-approximate gwkuk. Tmen there exist c subgroup $H\subsrt A^{L^{g^{O(s
(x;L)\subset A^{e^{O(s^3)}\log^{O(s^2)}2K}$$ and $$|P_{\text{\textup{ord}}}(x;L)|\ge\exp\left(-e^{O(s^2)}\log^{O(s)}2K\right)|A|.$$ As in the Ruzsa’s argument combines \[thm:new.gen\] to give $s\in{\mathbb{N}}$ $K\ge1$. Let $G$ an $s$-step nilpotent and suppose that $A\subset G$ is finite $K$-approximate group. Then there exist a subgroup $H\subset A^{K^{e^{O(s)}}}$ normalised by $A$, nilprogression $P_{\text{\textup{nil}}}(x;L)$ of rank at most $e^{O(s^2)}\log^{O(s)}2K$ such that $$P_{\text{\textup{nil}}}(x;L)\subset\overline P(x;L)\subset A^{e^{O(s^3)}\log^{O(s^2)}2K},$$ and subset G$ size most $\exp(e^{O(s^2)}\log^{O(s)}2K)$ such that $A\subset XHP_{\text{\textup{nil}}}(x;L)$. In particular, $|H\overline P(x;L)|\le\exp(K^{e^{O(s)}})|A|$. In the torsion-free setting the subgroup is again trivial, and in that case we conclude instead that $|\overline Chang’s covering argument also allows to \[thm:old\] with more bounds, follows. \[cor:chang.ag\] Let and $K\ge1$. Let $G$ be an $s$-step nilpotent group, and suppose that $A\subset G$ is a finite group. Then a subgroup A^{K^{e^{O(s
(x;L)\subset A^{e^{O(s^3)}\log^{O(s^2)}2K}$$ and $$|P_{\texT{\textup{ord}}}(X;L)|\ge\eXp\lEft(-E^{O(S^2)}\log^{o(s)}2K\rIght)|A|.$$

As in the abELian Case, Ruzsa’s covering arguMent cOmBInes WItH \[thm:nEw.gen\] to GIvE THe fOlLoWinG vARiAnt.

\[coR:ruZsa\] Let $s\In{\mathbb{N}}$ aNd $K\Ge1$. let $G$ be an $s$-steP NiLpotent groUp, aNd suppose thaT $A\sUbset G$ Is A fiNIte $K$-aPprOximaTe grouP. then thEre exist a SuBGroup $H\SUbset A^{K^{E^{o(S)}}}$ nOrmaLised by $A$, a nilprogrESsIOn $P_{\text{\textup{nIl}}}(x;L)$ of RaNK aT MOst $E^{O(s^2)}\Log^{O(s)}2K$ such ThAt $$P_{\teXT{\textup{NIl}}}(X;l)\SUbsET\overline P(x;L)\sUbset A^{e^{O(s^3)}\loG^{o(s^2)}2K},$$ And a suBsEt $X\SUbset G$ Of sizE aT MosT $\exp(e^{O(s^2)}\log^{O(S)}2K)$ suCh that $A\suBset XHp_{\Text{\texTUp{nil}}}(x;L)$.

in partIcuLar, $|h\oveRLiNe p(x;L)|\Le\EXp(K^{E^{o(s)}})|a|$. In THe tOrsion-frEe SeTting The sUBGROup $H$ Is aGain TriviAl, and in that caSe wE may COncLude iNsteaD thaT $|\oVerliNe P(x;L)|\lE\exp(e^{o(s^3)}\Log^{O(s^2)}2K)|A|$.

Chang’s coVeriNg argumenT alSo AllOwS us to REcover \[Thm:Old\] With mucH more prECisE bOUNDs, As follows.

\[cor:chang.aG\] LET $S\iN{\mathbb{N}}$ And $K\ge1$. lEt $g$ bE An $s$-step nIlPotEnt gROUp, and SuppOSe That $A\subSet G$ is A FiNiTe $K$-apprOxImate gRoUp. THen There EXist A subgrOup $H\subsEt A^{K^{e^{o(S
(x;L)\subset A^{e^{O(s^3)} \log^{O(s^ 2)}2K }$$  an d$$|P _{\t ext{\textup{or d }}}( x;L)|\ge\exp\left(-e^{ O(s^2 )} \ log^ { O( s)}2K \right) | A| . $ $
As  i n t he ab elian  ca se, Ruz sa’s cover ing  a rgument comb i ne s with \[t hm: new.gen\] to  gi ve the  f oll o wingvar iant. 

\[co r :ruzsa \] Let $s \i n {\math b b{N}}$a n d$K\g e1$. Let $G$ be a n  $ s $-step nilpote nt gro up ,  a n d  su ppo se that $A \s ubset G$ is a fi n i t e $ K $-approximate  group. The n  th ere ex is t a subgro up $H \s u bse t A^{K^{e^{ O(s) }}}$ norm alised by $A$, a nilpr ogress ion  $P _{\t e xt {\ tex tu p {ni l }} }(x ; L)$  of rank  a tmost$e^{ O ( s ^ 2)}\ log ^{O( s)}2K $ such that $ $P_ {\te x t{\ textu p{nil }}}( x; L)\su bset\o verli ne  P(x;L)\subsetA^{e ^{O(s^3)} \lo g^ {O( s^ 2)}2K } ,$$ an d a  su bset $X \subset G$of s i ze  at most $\exp(e^{ O( s ^ 2) }\log^{O (s)}2K ) $su c h that $ A\ sub setX H P_{\t ext{ \ te xtup{nil }}}(x; L )$ .
In par ti cular,  $ |H\ ove rline P(x; L)|\le \exp(K^{ e^{O( s )}})|A|$. In t h e torsion-fre e  s e t ti n g th e s ubgroup $H$  isa gain  tri v ia l,a nd in  that  c a se we may conclude ins te ad tha t $|\ overline P(x; L)|\le\exp ( e ^ {O(s^3)} \log ^ {O ( s^2)}2K)|A|$.
Chan g’s coveri n g argume nt al so allow s us to r e c over \[t hm: old \]wit h mu ch more preci s e  bou nd s, as f oll ows.

\ [co r:c han g.a g\ ] Let $s\ in{\math bb {N }} $and  $K\g e 1$. Let$G $ b ean$s$-s t ep nil poten t gr ou p, and  suppos e  t h a t $A \s ub setG$is  a fi nite $K$ -approx imate gro up. Then  t he re exis t a subgroup$H \subset A^ {K ^{e ^{O(s
(x;L)\subset A^{e^{O(s^3)}\log^{O(s^2)}2K}$$_and $$|P_{\text{\textup{ord}}}(x;L)|\ge\exp\left(-e^{O(s^2)}\log^{O(s)}2K\right)|A|.$$

As_in the abelian case,_Ruzsa’s covering_argument_combines with_\[thm:new.gen\]_to give the_following variant.

\[cor:ruzsa\] Let_$s\in{\mathbb{N}}$ and $K\ge1$. Let_$G$ be an_$s$-step_nilpotent group, and suppose that $A\subset G$ is a finite $K$-approximate group. Then there_exist_a subgroup_$H\subset_A^{K^{e^{O(s)}}}$_normalised by $A$, a nilprogression_$P_{\text{\textup{nil}}}(x;L)$ of rank at most_$e^{O(s^2)}\log^{O(s)}2K$ such_that $$P_{\text{\textup{nil}}}(x;L)\subset\overline P(x;L)\subset A^{e^{O(s^3)}\log^{O(s^2)}2K},$$ and a subset $X\subset_G$_of size at_most $\exp(e^{O(s^2)}\log^{O(s)}2K)$ such that $A\subset XHP_{\text{\textup{nil}}}(x;L)$.

In particular, $|H\overline P(x;L)|\le\exp(K^{e^{O(s)}})|A|$._In the torsion-free setting the subgroup_$H$ is again_trivial,_and_in that case we_may conclude instead that $|\overline P(x;L)|\le\exp(e^{O(s^3)}\log^{O(s^2)}2K)|A|$.

Chang’s_covering argument also allows us to_recover \[thm:old\] with much more precise bounds,_as follows.

\[cor:chang.ag\] Let $s\in{\mathbb{N}}$ and $K\ge1$._Let $G$ be an $s$-step_nilpotent group,_and suppose that $A\subset G$_is a finite_$K$-approximate group._Then there exist_a subgroup $H\subset A^{K^{e^{O(s