 \ll \kappa$, for the smallest preference score item, $i_{\min} \equiv \arg \min_{i \in [d]} \ltheta^*_i$, the upper bound $\P[\sigma^{-1}(i_{\min}) > \kappa-\ell] \leq 1$ is tight upto constant factor (Lemma \[lem:posl\_upperbound\]). Substituting $\lambda_{j,a} = 1$ and $p_{j,a} = \kappa - \ell +a$ for each $j \in [n]$, $a \in [\ell]$, in Lemma \[lem:gradient\_topl\], we have that with probability at least $1 - 2e^3 d^{-3}$, $$\begin{aligned}
\label{eq:gradient_bound_bottoml}
{\|\nabla\Lrb(\ltheta^*)\|}_2  \;\; \leq \;\; (\ell-1)\sqrt{8n\ell\log d}.\end{aligned}$$ Theorem \[thm:bottoml\_upperbound\_general\] follows from Equations, and.

### Proof of Lemma \[lem:hessian\_bottoml\]

Define $\lM^{(j)} \in \cS^{\ld}$, $$\begin{aligned}
\label{eq:limited_M_j_def}
\lM^{(j)} = \sum_{\substack{i<\i \in S_j : i,\i \in [\ld]}} \sum_{a = 1}^\ell \I_{\{(i,\i) \in G_{j,a}\}} (\le_i - \le_{\i})(\le_i - \le_{\i})^\top,\end{aligned}$$ and let $\lM = \sum_{j = 1}^n \lM^{(j)}$. Similar to the analysis in Lemma \[lem:hessian\_positionl\], we have $\lambda_2(-H(\ltheta)) \geq \frac{e^{4b}}{(1+ e^{4b})^2} \lambda_2(\lM)$. Note that we have $e^{4b}$ instead of $e^{2b}$ as $\ltheta \in \lOmega_{2b}$. We will show a lower bound on $\lambda_2(\E[\lM])$ in and an upper bound on ${\|\lM - \E[\lM]\|}$ in. Therefore using $\lambda_2
\ll \kappa$, for the smallest preference score item, $ i_{\min } \equiv \arg \min_{i \in [ d ] } \ltheta^*_i$, the upper bounce $ \P[\sigma^{-1}(i_{\min }) > \kappa-\ell ] \leq 1 $ is mean upto constant factor (Lemma \[lem: posl\_upperbound\ ]). Substituting $ \lambda_{j, a } = 1 $ and $ p_{j, a } = \kappa - \ell + a$ for each $ joule \in [ n]$, $ a \in [ \ell]$, in Lemma \[lem: gradient\_topl\ ], we have that with probability at least $ 1 - 2e^3 d^{-3}$, $ $ \begin{aligned } 
 \label{eq: gradient_bound_bottoml } 
 { \|\nabla\Lrb(\ltheta^*)\|}_2   \;\; \leq \;\; (\ell-1)\sqrt{8n\ell\log d}.\end{aligned}$$ Theorem \[thm: bottoml\_upperbound\_general\ ] follows from Equations, and. 

 # # # Proof of Lemma \[lem: hessian\_bottoml\ ] 

 specify $ \lM^{(j) } \in \cS^{\ld}$, $ $ \begin{aligned } 
 \label{eq: limited_M_j_def } 
 \lM^{(j) } = \sum_{\substack{i<\i \in S_j: i,\i \in [ \ld ] } } \sum_{a = 1}^\ell \I_{\{(i,\i) \in G_{j, a}\ } } (\le_i - \le_{\i})(\le_i - \le_{\i})^\top,\end{aligned}$$ and let $ \lM = \sum_{j = 1}^n \lM^{(j)}$. Similar to the psychoanalysis in Lemma   \[lem: hessian\_positionl\ ], we take $ \lambda_2(-H(\ltheta) ) \geq \frac{e^{4b}}{(1 + e^{4b})^2 } \lambda_2(\lM)$. Note that we get $ e^{4b}$ instead of $ e^{2b}$ as $ \ltheta \in \lOmega_{2b}$. We will show a lower bound on $ \lambda_2(\E[\lM])$ in and an upper bound on $ { \|\lM - \E[\lM]\|}$ in. Therefore using $ \lambda_2
 \ll \kappa$, for the smallest kreference score nrem, $i_{\mmn} \equib \arg \miv_{i \in [d]} \ltheta^*_i$, the upper bonnd $\P[\sigmq^{-1}(i_{\min}) > \kappa-\ell] \leq 1$ ir tight uito constqnt hactor (Lemma \[lem:'ksl\_uppevyound\]). Dubscivuting $\lambda_{j,a} = 1$ and $p_{j,a} = \kappa - \ell +a$ fur each $j \in [n]$, $a \in [\ell]$, in Lemma \[lem:gwadient\_yool\], we have thaj witn progability at least $1 - 2e^3 d^{-3}$, $$\begin{alignsd}
\label{tq:gradient_bound_botyoml}
{\|\nabla\Lrb(\ltheta^*)\|}_2  \;\; \leq \;\; (\fll-1)\sert{8n\ell\log d}.\end{alihned}$$ Theoren \[thi:vottoml\_uppercound\_general\] follows ftom Equations, and.

### Proof of Lemma \[lem:hzssian\_bottonl\]

Eeflte $\lM^{(j)} \in \cW^{\ld}$, $$\bvgin{aligned}
\lanvl{eq:limhted_M_j_drf}
\lM^{(j)} = \sum_{\subsback{i<\m \in S_j : i,\i \in [\ld]}} \sum_{a = 1}^\enl \I_{\{(i,\i) \in G_{j,a}\}} (\le_i - \le_{\i})(\le_i - \ne_{\n})^\top,\end{aligned}$$ and ler $\oM = \som_{j = 1}^t \lM^{(g)}$. Sioilzr tk the wnamysis in Lsmma \[lem:hessuan\_positionl\], we havt $\lwnbda_2(-H(\ltheta)) \gsq \fras{e^{4f}}{(1+ e^{4b})^2} \lambda_2(\lM)$. Note that we have $e^{4b}$ insttad or $e^{2b}$ as $\ltheta \in \lOmegq_{2b}$. We will show a lowgr bound og $\lambda_2(\E[\lM])$ in and an upper bound on ${\|\lM - \E[\lM]\|}$ in. Tverefkfe bwing $\uqmhda_2
\ll \kappa$, for the smallest preference score \equiv \min_{i \in \ltheta^*_i$, the upper 1$ tight upto constant (Lemma \[lem:posl\_upperbound\]). Substituting = 1$ and $p_{j,a} = \kappa \ell +a$ for each $j \in [n]$, $a \in [\ell]$, in Lemma \[lem:gradient\_topl\], have that with probability at least $1 - 2e^3 d^{-3}$, $$\begin{aligned} \label{eq:gradient_bound_bottoml} {\|\nabla\Lrb(\ltheta^*)\|}_2 \leq (\ell-1)\sqrt{8n\ell\log Theorem follows from Equations, and. ### Proof of Lemma \[lem:hessian\_bottoml\] Define $\lM^{(j)} \in \cS^{\ld}$, $$\begin{aligned} \label{eq:limited_M_j_def} \lM^{(j)} \sum_{\substack{i<\i \in S_j : i,\i \in [\ld]}} \sum_{a 1}^\ell \I_{\{(i,\i) \in G_{j,a}\}} - \le_{\i})(\le_i - \le_{\i})^\top,\end{aligned}$$ and $\lM \sum_{j = \lM^{(j)}$. to analysis in Lemma we have $\lambda_2(-H(\ltheta)) \geq \frac{e^{4b}}{(1+ e^{4b})^2} \lambda_2(\lM)$. Note that we have $e^{4b}$ instead of $e^{2b}$ as $\ltheta \lOmega_{2b}$. We a lower on in an upper bound - \E[\lM]\|}$ in. Therefore using $\lambda_2
 \ll \kappa$, for the smallest prefErence scorE item, $I_{\miN} \eqUiV \arg \Min_{i \In [d]} \ltheta^*_i$, the uPPer bOund $\P[\sigma^{-1}(i_{\min}) > \kappa-\ell] \Leq 1$ is TiGHt upTO cOnstaNt factoR (leMMA \[leM:pOsL\_upPeRBoUnd\]). SuBstItuting $\Lambda_{j,a} = 1$ anD $p_{j,A} = \kAppa - \ell +a$ for eACh $J \in [n]$, $a \in [\ell]$, In LEmma \[lem:gradiEnt\_Topl\], we HaVe tHAt witH prObabiLity at LEast $1 - 2e^3 d^{-3}$, $$\Begin{aligNeD}
\Label{eQ:GradienT_BOuNd_boTtoml}
{\|\nabla\Lrb(\ltheTA^*)\|}_2  \;\; \lEQ \;\; (\ell-1)\sqrt{8n\ell\loG d}.\end{aLiGNeD}$$ tHeoRem \[Thm:bottoml\_UpPerboUNd\_generAL\] fOLLOws FRom Equations, aNd.

### Proof of LeMMa \[lEm:hessIaN\_boTToml\]

DeFine $\lm^{(j)} \IN \cS^{\Ld}$, $$\begin{aligNed}
\lAbel{eq:limIted_M_j_DEf}
\lM^{(j)} = \suM_{\SubstacK{i<\i \in S_J : i,\i \In [\lD]}} \sum_{A = 1}^\ElL \I_{\{(I,\i) \iN G_{J,A}\}} (\le_I - \Le_{\I})(\le_I - \Le_{\i})^\Top,\end{alIgNeD}$$ and lEt $\lM = \SUM_{J = 1}^N \lM^{(j)}$. simIlar To the Analysis in LemMa \[lEm:heSSiaN\_posiTionl\], We haVe $\LambdA_2(-H(\ltheTa)) \geq \FrAc{e^{4b}}{(1+ e^{4b})^2} \lambda_2(\lM)$. NOte tHat we have $E^{4b}$ iNsTeaD oF $e^{2b}$ as $\LTheta \iN \lOMegA_{2b}$. We wilL show a lOWer BoUND On $\Lambda_2(\E[\lM])$ in and an upPeR BOuNd on ${\|\lM - \E[\lm]\|}$ in. TheREfOrE Using $\lamBdA_2
 \ll \kappa$, for the smal lest prefe rence  sc ore  i tem,  $i_ {\min} \equiv\ arg\min_{i \in [d]} \lthe ta^*_ i$ ,  the up per b ound $\ P [\ s i gma ^{ -1 }(i _{ \ mi n}) >  \k appa-\e ll] \leq 1 $ i stight upto c o ns tant facto r ( Lemma \[lem: pos l\_upp er bou n d\]).  Su bstit uting$ \lambd a_{j,a} =  1 $  and $ p _{j,a}= \k appa  - \ell +a$ for e a ch $j \in [n]$, $ a \in[\ e ll ] $ , i n L emma \[lem :g radie n t\_topl \ ], w e  ha v e that with p robabilitya t l east $ 1- 2 e ^3 d^{ -3}$,  $ $ \be gin{aligned }
\l abel{eq:g radien t _bound_ b ottoml} 
{\|\n abl a\L rb(\ l th et a^* )\ | }_2  \ ;\; \le q \;\; ( \e ll -1)\s qrt{ 8 n \ e ll\l ogd}.\ end{a ligned}$$ The ore m \[ t hm: botto ml\_u pper bo und\_ genera l\] f ol lows from Equat ions , and.

# ##Pr oof  o f Lem m a \[le m:h ess ian\_bo ttoml\] 
De fi n e $\ lM^{(j)} \in \cS^{ \l d } $,  $$\begi n{alig n ed }\ label{eq :l imi ted_ M _ j_def }
\l M ^{ (j)} = \ sum_{\ s ub st ack{i<\ i\in S_ j: i ,\i  \in[ \ld] }} \su m_{a = 1 }^\el l  \I_{\{(i,\i)\ in G_{j,a}\}} (\ l e _i - \l e_{ \i})(\le_i- \l e _{\i })^\ t op ,\e n d{ali gned} $$ an d  let $\lM = \sum_{j  =  1}^n\lM^{ (j)}$. Simila r to the a n a l ysis inLemm a  \ [ lem:hessian\_p ositi onl\], weh ave $\la mbda_ 2(-H(\lt heta)) \g e q  \frac{e ^{4 b}} {(1 + e ^ { 4b })^2} \lambda _ 2 (\lM )$ . Notetha t we ha ve$e^ {4b }$in stead of$e^{2b}$  a s$\ lt het a \in \lOmega_ {2 b}$ .Wewills how alower  bou nd  o n  $\ lambda_ 2 (\ E [ \lM] )$  i n an d a nupper  bou n d o n ${\|\ lM - \E[\ lM] \ |}$in .Therefo re using $\la mb da_2
 \ll_\kappa$, for_the smallest preference score_item, $i_{\min}_\equiv_\arg \min_{i_\in_[d]} \ltheta^*_i$, the_upper bound $\P[\sigma^{-1}(i_{\min})_> \kappa-\ell] \leq 1$_is tight upto_constant_factor (Lemma \[lem:posl\_upperbound\]). Substituting $\lambda_{j,a} = 1$ and $p_{j,a} = \kappa - \ell +a$_for_each $j_\in_[n]$,_$a \in [\ell]$, in Lemma_\[lem:gradient\_topl\], we have that with_probability at_least $1 - 2e^3 d^{-3}$, $$\begin{aligned}
\label{eq:gradient_bound_bottoml}
{\|\nabla\Lrb(\ltheta^*)\|}_2  \;\;_\leq_\;\; (\ell-1)\sqrt{8n\ell\log d}.\end{aligned}$$_Theorem \[thm:bottoml\_upperbound\_general\] follows from Equations, and.

### Proof of Lemma_\[lem:hessian\_bottoml\]

Define $\lM^{(j)} \in \cS^{\ld}$, $$\begin{aligned}
\label{eq:limited_M_j_def}
\lM^{(j)} =_\sum_{\substack{i<\i \in S_j_:_i,\i_\in [\ld]}} \sum_{a =_1}^\ell \I_{\{(i,\i) \in G_{j,a}\}} (\le_i -_\le_{\i})(\le_i - \le_{\i})^\top,\end{aligned}$$ and let $\lM_= \sum_{j = 1}^n \lM^{(j)}$. Similar to_the analysis in Lemma \[lem:hessian\_positionl\], we have_$\lambda_2(-H(\ltheta)) \geq \frac{e^{4b}}{(1+ e^{4b})^2} \lambda_2(\lM)$._Note that_we have $e^{4b}$ instead of_$e^{2b}$ as $\ltheta_\in \lOmega_{2b}$._We will show_a lower bound on $\lambda_2(\E[\lM])$ in_and an upper_bound on ${\|\lM - \E[\lM]\|}$ in._Therefore_using $\lambda_2