:rosenthal\] implies the $L^{q/2}$ norm in the last line satisfies $$\small
 \Big\|{\textstyle}\frac 1n \sum_{i=1}^n (Z_i{^{\top}}u)^2\Big\|_{q/2} \ \leq \ c \cdot q \cdot \max\bigg\{\big\|(Z_1{^{\top}}u)^2\big\|_1\,, \, n^{-1+2/q} \big\| (Z_1{^{\top}}u)^2\big\|_{q/2}\bigg\},$$ for an absolute constant $c>0$. For the first term inside the maximum, observe that since $\|u\|_2=1$ and $Z_1$ is isotropic, we have $\|(Z_1{^{\top}}u)^2\|_1=1$. To handle the second term inside the maximum, Assumption \[A:model\] implies $\|(Z_1{^{\top}}u)^2\|_{q/2}\lesssim q^2$. Combining the last few steps, and noticing the square root on the $L^{q/2}$ norm in the last line of , we obtain $$\begin{split}
{\textstyle}\frac{1}{\sigma_j}\|{\widehat{\sigma}}_{j}\|_q & \ \lesssim \sqrt q \cdot \max\Big\{ 1\,, \, n^{-1/2+1/q}q\Big\},
\end{split}$$ and this implies the statement of the lemma.

\[lem:mathfrak\] Fix any number $\delta\in(0,1/2)$, and suppose the conditions of Theorem \[THM:G\] hold. Also, let $q=\max\{\frac{2}{\beta_n},\log(n),3\}$, and $s=q(1-\tau_n)$, and consider the random variables ${\widehat{\mathfrak{s}}}$ and ${\widehat{\mathfrak{t}}}$ defined by $${\widehat{\mathfrak{s}}}=\Bigg(\sum_{j\in{\mathcal{J}}(k_n)^c} {\widehat{\sigma}}_{j}^s\Bigg)^{1/s} \text{ \ \ \ \  and \ \ \ \ } {\widehat{\mathfrak{t}}}=\Bigg(\sum_{j\in{\mathcal{J}}(k_n)} {\widehat{\sigma}}_{j}^s\Bigg)^{1/s}.$$ Then, there is a
: rosenthal\ ] implies the $ L^{q/2}$ norm in the last line meet $ $ \small 
  \Big\|{\textstyle}\frac 1n \sum_{i=1}^n (Z_i{^{\top}}u)^2\Big\|_{q/2 } \ \leq \ coulomb \cdot q \cdot \max\bigg\{\big\|(Z_1{^{\top}}u)^2\big\|_1\, , \, n^{-1 + 2 / q } \big\| (Z_1{^{\top}}u)^2\big\|_{q/2}\bigg\},$$ for an absolute constant $ c>0$. For the inaugural terminus inside the maximum, observe that since $ \|u\|_2=1 $ and $ Z_1 $ is isotropic, we hold $ \|(Z_1{^{\top}}u)^2\|_1=1$. To handle the second term inside the maximal, premise   \[A: model\ ] implies $ \|(Z_1{^{\top}}u)^2\|_{q/2}\lesssim q^2$. combine the last few steps, and notice the straight root on the $ L^{q/2}$ norm in the last line of  , we obtain $ $ \begin{split } 
 { \textstyle}\frac{1}{\sigma_j}\|{\widehat{\sigma}}_{j}\|_q & \ \lesssim \sqrt q \cdot \max\Big\ { 1\, , \, n^{-1/2 + 1 / q}q\Big\ }, 
 \end{split}$$ and this imply the statement of the lemma. 

 \[lem: mathfrak\ ] Fix any number $ \delta\in(0,1/2)$, and presuppose the conditions of Theorem   \[THM: G\ ] hold. Also, let $ q=\max\{\frac{2}{\beta_n},\log(n),3\}$, and $ second = q(1-\tau_n)$, and consider the random variables $ { \widehat{\mathfrak{s}}}$ and $ { \widehat{\mathfrak{t}}}$ defined by $ $ { \widehat{\mathfrak{s}}}=\Bigg(\sum_{j\in{\mathcal{J}}(k_n)^c } { \widehat{\sigma}}_{j}^s\Bigg)^{1 / s } \text { \ \ \ \   and \ \ \ \ } { \widehat{\mathfrak{t}}}=\Bigg(\sum_{j\in{\mathcal{J}}(k_n) } { \widehat{\sigma}}_{j}^s\Bigg)^{1 / s}.$$ Then, there is a
:rosfnthal\] implies the $L^{q/2}$ novm in the last lnbe satmsfies $$\amall
 \Bie\|{\textstyle}\frac 1n \sum_{i=1}^n (Z_i{^{\top}}n)^2\Big\|_{w/2} \ \lew \ c \cdot q \cdot \max\bieg\{\big\|(Z_1{^{\top}}l)^2\big\|_1\,, \, n^{-1+2/q} \vig\| (E_1{^{\top}}u)^2\big\|_{q/2}\bigg\},$$ for an absolute ckkstanc $r>0$. For the first term insige the maximum, ocszrve that since $\|u\|_2=1$ and $Z_1$ is isotropic, we havr $\|(X_1{^{\top}}u)^2\|_1=1$. To handlg the fecohd term inside the maximum, Assumptjon \[A:modtl\] implies $\|(Z_1{^{\top}}u)^2\|_{q/2}\lrsssim q^2$. Combining the lash fea steps, and noticijg the squats rjit on the $L^{q/2}$ norm in the last line of , we obtain $$\begin{split}
{\textstyue}\frae{1}{\sigma_j}\|{\wideyar{\sihka}}_{j}\|_q & \ \lesswim \szrt q \cdot \max\Big\{ 1\,, \, t^{-1/2+1/q}q\Big\},
\emd{split}$$ and thls im'liew the statement of thx lemma.

\[lem:mathfrak\] Fyx any nukbzr $\delta\in(0,1/2)$, and supposw rhe cmndidionr of Thtorxm \[TGM:G\] hopd. Elso, let $q=\mzx\{\frac{2}{\beta_n},\oog(n),3\}$, and $s=q(1-\tau_n)$, and cjbsider the rahdom vwryables ${\widehat{\mathfrak{s}}}$ and ${\widehat{\mathxrai{t}}}$ defined by $${\widehat{\marhfrak{s}}}=\Bigg(\sum_{j\in{\mathfal{J}}(k_n)^c} {\wydehat{\sigma}}_{j}^s\Bigg)^{1/s} \text{ \ \ \ \  and \ \ \ \ } {\widehat{\mathxrak{t}}}=\Uieg(\sbn_{j\in{\mxrhfal{J}}(k_n)} {\widehat{\sigma}}_{j}^s\Bigg)^{1/s}.$$ Then, there is a
:rosenthal\] implies the $L^{q/2}$ norm in the satisfies \Big\|{\textstyle}\frac 1n (Z_i{^{\top}}u)^2\Big\|_{q/2} \ \leq \max\bigg\{\big\|(Z_1{^{\top}}u)^2\big\|_1\,, n^{-1+2/q} \big\| (Z_1{^{\top}}u)^2\big\|_{q/2}\bigg\},$$ an absolute constant For the first term inside the observe that since $\|u\|_2=1$ and $Z_1$ is isotropic, we have $\|(Z_1{^{\top}}u)^2\|_1=1$. To handle second term inside the maximum, Assumption \[A:model\] implies $\|(Z_1{^{\top}}u)^2\|_{q/2}\lesssim q^2$. Combining the last steps, noticing square on the $L^{q/2}$ norm in the last line of , we obtain $$\begin{split} {\textstyle}\frac{1}{\sigma_j}\|{\widehat{\sigma}}_{j}\|_q & \ \sqrt q \cdot \max\Big\{ 1\,, \, n^{-1/2+1/q}q\Big\}, \end{split}$$ this implies the statement the lemma. \[lem:mathfrak\] Fix any $\delta\in(0,1/2)$, suppose the of \[THM:G\] Also, let $q=\max\{\frac{2}{\beta_n},\log(n),3\}$, $s=q(1-\tau_n)$, and consider the random variables ${\widehat{\mathfrak{s}}}$ and ${\widehat{\mathfrak{t}}}$ defined by $${\widehat{\mathfrak{s}}}=\Bigg(\sum_{j\in{\mathcal{J}}(k_n)^c} {\widehat{\sigma}}_{j}^s\Bigg)^{1/s} \text{ \ \ \ and \ \ } {\widehat{\sigma}}_{j}^s\Bigg)^{1/s}.$$ there a
:rosenthal\] implies the $L^{q/2}$ norm In the last lIne saTisFieS $$\sMall
 \big\|{\tExtstyle}\frac 1n \sUM_{i=1}^n (Z_I{^{\top}}u)^2\Big\|_{q/2} \ \leq \ c \cdot q \cdot \Max\biGg\{\BIg\|(Z_1{^{\tOP}}u)^2\Big\|_1\,, \, n^{-1+2/q} \Big\| (Z_1{^{\top}}U)^2\BiG\|_{Q/2}\BigG\},$$ fOr An aBsOLuTe conStaNt $c>0$. For tHe first terM inSiDe the maximum, OBsErve that siNce $\|U\|_2=1$ and $Z_1$ is isotrOpiC, we havE $\|(Z_1{^{\Top}}U)^2\|_1=1$. to hanDle The seCond teRM insidE the maximUm, aSsumptIOn \[A:modeL\] IMpLies $\|(z_1{^{\top}}u)^2\|_{q/2}\lesssim q^2$. ComBInINg the last few stEps, and NoTIcING thE sqUare root on ThE $L^{q/2}$ noRM in the lASt LINE of , WE obtain $$\begin{sPlit}
{\textstyLE}\frAc{1}{\sigmA_j}\|{\WidEHat{\sigMa}}_{j}\|_q & \ \lEsSSim \Sqrt q \cdot \maX\Big\{ 1\,, \, N^{-1/2+1/q}q\Big\},
\end{Split}$$ aND this imPLies the StatemEnt Of tHe leMMa.

\[LeM:maThFRak\] fIx Any NUmbEr $\delta\iN(0,1/2)$, aNd SuppoSe thE CONDitiOns Of ThEorem \[tHM:G\] hold. Also, lEt $q=\Max\{\fRAc{2}{\bEta_n},\lOg(n),3\}$, anD $s=q(1-\tAu_N)$, and cOnsideR the rAnDom variables ${\widEhat{\Mathfrak{s}}}$ And ${\WiDehAt{\MathfRAk{t}}}$ defIneD by $${\Widehat{\MathfraK{S}}}=\BiGg(\SUM_{J\iN{\mathcal{J}}(k_n)^c} {\widehaT{\sIGMa}}_{J}^s\Bigg)^{1/s} \tExt{ \ \ \ \  and \ \ \ \ } {\WIdEhAT{\mathfraK{t}}}=\bigG(\sum_{J\IN{\mathCal{J}}(K_N)} {\wIdehat{\siGma}}_{j}^s\BIGg)^{1/S}.$$ THen, therE iS a
:rosenthal\] implies the $ L^{q/2}$ n orm i n t hela st l inesatisfies $$\s m all \Big\|{\textstyle}\fr ac 1n  \ s um_{ i =1 }^n ( Z_i{^{\ t op } } u)^ 2\ Bi g\| _{ q /2 } \ \ leq  \ c \c dot q \cdo t \ ma x\bigg\{\big \ |( Z_1{^{\top }}u )^2\big\|_1\ ,,\, n^{ -1 +2/ q } \bi g\|  (Z_1 {^{\to p }}u)^2 \big\|_{q /2 } \bigg\ } ,$$ for a nabso lute constant $c> 0 $. For the firstterm i ns i de t hemax imum, obse rv e tha t  since$ \| u \ | _2= 1 $ and $Z_1$ i s isotropic ,  we  have$\ |(Z _ 1{^{\t op}}u )^ 2 \|_ 1=1$. To ha ndle  the seco nd ter m  inside the max imum,Ass ump tion \[ A: mod el \ ] i m pl ies $\| (Z_1{^{\ to p} }u)^2 \|_{ q / 2 } \les ssi m q^ 2$. C ombining thelas t fe w  st eps,and n otic in g the  squar e roo ton the $L^{q/2} $ no rm in the  la st  li ne  of , we obt ain  $$ \begin{ split}{ \te xt s t y le }\frac{1}{\sigma_j }\ | { \w idehat{\ sigma} } _{ j} \ |_q & \\l ess sim\ s qrt q  \cd o t\max\Big \{ 1\, ,  \ ,n^{-1/2 +1 /q}q\B ig \}, 
\e nd{sp l it}$ $ andthis imp liest he statement o f  the lemma.
\ [l e m :m a thfr ak\ ] Fix any n umbe r  $\d elta \ in (0, 1 /2)$,  andsu p po s e the conditions of  T heorem  \[TH M:G\] hold. A lso, let $ q = \ max\{\fr ac{2 } {\ b eta_n},\log(n) ,3\}$ , and $s=q ( 1-\tau_n )$, a nd consi der the r a n dom vari abl es${\ wid e h at {\mathfrak{s} } } $ an d${\wide hat {\mathf rak {t} }}$  de fi ned by $$ {\wideha t{ \m at hf rak {s}}} = \Bigg(\s um _{j \i n{\ mathc a l{J}}( k_n)^ c} { \w id e hat {\sigma } }_ { j }^s\ Bi gg )^{1 /s}  \ text{  \ \ \ \   and \  \ \ \ }{\w i deha t{ \m athfrak {t}}}=\Bigg(\ su m_{j\in{\m at hca l{J}}( k _ n)} {\wi dehat{\sigma}}_{j}^s\Bi g g)^{1/s }.$ $ The n, t here is a 
:rosenthal\] implies_the $L^{q/2}$_norm in the last_line satisfies_$$\small
_\Big\|{\textstyle}\frac 1n_\sum_{i=1}^n_(Z_i{^{\top}}u)^2\Big\|_{q/2} \ \leq_\ c \cdot_q \cdot \max\bigg\{\big\|(Z_1{^{\top}}u)^2\big\|_1\,, \,_n^{-1+2/q} \big\| (Z_1{^{\top}}u)^2\big\|_{q/2}\bigg\},$$_for_an absolute constant $c>0$. For the first term inside the maximum, observe that since_$\|u\|_2=1$_and $Z_1$_is_isotropic,_we have $\|(Z_1{^{\top}}u)^2\|_1=1$. To handle_the second term inside the_maximum, Assumption \[A:model\]_implies $\|(Z_1{^{\top}}u)^2\|_{q/2}\lesssim q^2$. Combining the last few steps,_and_noticing the square_root on the $L^{q/2}$ norm in the last line_of , we obtain $$\begin{split}
{\textstyle}\frac{1}{\sigma_j}\|{\widehat{\sigma}}_{j}\|_q & \_\lesssim \sqrt q_\cdot_\max\Big\{_1\,, \, n^{-1/2+1/q}q\Big\},
\end{split}$$ and_this implies the statement of the_lemma.

\[lem:mathfrak\] Fix any number $\delta\in(0,1/2)$, and_suppose the conditions of Theorem \[THM:G\] hold. Also,_let $q=\max\{\frac{2}{\beta_n},\log(n),3\}$, and $s=q(1-\tau_n)$, and consider_the random variables ${\widehat{\mathfrak{s}}}$ and_${\widehat{\mathfrak{t}}}$ defined_by $${\widehat{\mathfrak{s}}}=\Bigg(\sum_{j\in{\mathcal{J}}(k_n)^c} {\widehat{\sigma}}_{j}^s\Bigg)^{1/s} \text{ \_\ \ \_ and_\ \ \_\ } {\widehat{\mathfrak{t}}}=\Bigg(\sum_{j\in{\mathcal{J}}(k_n)} {\widehat{\sigma}}_{j}^s\Bigg)^{1/s}.$$ Then, there_is a