{x}}^T {\bm{s}}$. If $d({\bm{x}}, {\bm{s}}, \mu) \leq \eta \mu$, then $(1+\eta) \norm{{\bm{s}}^{-1}}_2 \geq \norm{\mu^{-1} {\bm{x}}}_2$.

For part 1, let $\{\lambda_i\}_{i=1}^{2r}$ be the eigenvalues of $T_{{\bm{x}}}{\bm{s}}$, note that $T_{x}$ is invertible as $x \in {\mathcal{L}}$. Then using part 1 of Claim \[claim:Properties of Qx\], we have $${\bm{x}}^T{\bm{s}} = {\bm{x}}^T T_{{\bm{x}}}^{-1} T_{{\bm{x}}} {\bm{s}} =  (T_{{\bm{x}}^{-1}} {\bm{x}})^T T_{{\bm{x}}} {\bm{s}} = {\bm{e}}^T T_{{\bm{x}}} {\bm{s}} = \frac12 \sum_{i=1}^{2r} \lambda_i,$$ We can therefore bound the duality gap $x^{T}s$ as follows, $$\begin{aligned}
        {\bm{x}}^T {\bm{s}} = \frac12 \sum_{i=1}^{2r} \lambda_i &\leq r\nu + \frac12 \sum_{i=1}^{2r} |\lambda_i - \nu| \\
        &\leq r\nu + \sqrt{\frac{r}{2}}\sqrt{\sum_{i=1}^{2r} (\lambda_i - \nu)^2} \\
        &= r\nu + \sqrt{\frac{r}{2}} \cdot d({\bm{x}}, {\bm{s}}, \nu).
    \end{aligned}$$ The second step used the Cauchy-Schwarz inequality while the third follows from the definition $d({\bm{x}}, {\bm{s}}, \nu)^2 = \sum_{i=1}^{2r} (\lambda_i - \nu)^2$. The proof of the lower bound is similar, but starts instead with the inequality $$\frac12\sum_{i=1}^{2r} \lambda_i \geq r\nu - \frac12 \sum_{i=1}^{2r} |\nu - \lambda_i|.$$


{ x}}^T { \bm{s}}$. If $ d({\bm{x } }, { \bm{s } }, \mu) \leq \eta \mu$, then $ (1+\eta) \norm{{\bm{s}}^{-1}}_2 \geq \norm{\mu^{-1 } { \bm{x}}}_2$. 

 For part 1, let $ \{\lambda_i\}_{i=1}^{2r}$ be the eigenvalues of $ T_{{\bm{x}}}{\bm{s}}$, note that $ T_{x}$ is invertible as $ x \in { \mathcal{L}}$. Then use character 1 of Claim \[claim: Properties of Qx\ ], we have $ $ { \bm{x}}^T{\bm{s } } = { \bm{x}}^T T_{{\bm{x}}}^{-1 } T_{{\bm{x } } } { \bm{s } } =   (T_{{\bm{x}}^{-1 } } { \bm{x}})^T T_{{\bm{x } } } { \bm{s } } = { \bm{e}}^T T_{{\bm{x } } } { \bm{s } } = \frac12 \sum_{i=1}^{2r } \lambda_i,$$ We can therefore restrict the duality gap $ x^{T}s$ as surveil, $ $ \begin{aligned } 
         { \bm{x}}^T { \bm{s } } = \frac12 \sum_{i=1}^{2r } \lambda_i & \leq r\nu + \frac12 \sum_{i=1}^{2r } |\lambda_i - \nu| \\ 
         & \leq r\nu + \sqrt{\frac{r}{2}}\sqrt{\sum_{i=1}^{2r } (\lambda_i - \nu)^2 } \\ 
         & = r\nu + \sqrt{\frac{r}{2 } } \cdot d({\bm{x } }, { \bm{s } }, \nu). 
     \end{aligned}$$ The second step used the Cauchy - Schwarz inequality while the one-third follows from the definition $ d({\bm{x } }, { \bm{s } }, \nu)^2 = \sum_{i=1}^{2r } (\lambda_i - \nu)^2$. The proof of the lower bind is similar, but starts rather with the inequality $ $ \frac12\sum_{i=1}^{2r } \lambda_i \geq r\nu - \frac12 \sum_{i=1}^{2r } |\nu - \lambda_i|.$$
{x}}^T {\hm{s}}$. If $d({\bm{x}}, {\bm{s}}, \mu) \leq \eua \mu$, then $(1+\eta) \notm{{\vm{s}}^{-1}}_2 \gex \norm{\ju^{-1} {\bm{x}}}_2$.

Fof part 1, let $\{\lambda_i\}_{i=1}^{2r}$ be the eugenvqlues of $T_{{\bm{x}}}{\bm{s}}$, note ghat $T_{x}$ id invertuble qs $x \in {\mavgcal{L}}$. Tmzn usjkg paxt 1 of Claim \[clalm:Propertiev of Qx\], we hava $${\cm{r}}^T{\bm{s}} = {\bm{x}}^T T_{{\bm{x}}}^{-1} T_{{\bm{x}}} {\bm{s}} =  (T_{{\bm{x}}^{-1}} {\bm{x}})^E T_{{\bm{x}}} {\nm{d}} = {\bm{e}}^T T_{{\bm{x}}} {\bi{s}} = \gwac12 \alm_{l=1}^{2r} \lambda_i,$$ We can therefore bouns the dlality gap $x^{T}s$ as follows, $$\begin{aligned}
        {\bl{x}}^T {\bm{s}} = \frac12 \sum_{i=1}^{2g} \lambda_i &\lgs r\gy + \frac12 \sum_{i=1}^{2f} |\lambda_i - \nu| \\
        &\meq r\nu + \sqrt{\frac{r}{2}}\sqrt{\sum_{i=1}^{2r} (\lamcda_i - \nu)^2} \\
        &= r\nk + \sqrt{\frac{r}{2}} \cdot d({\bm{x}}, {\bm{s}}, \nu).
    \end{anigned}$$ Yhe second stei usev thw Cauchy-Schwarz inequelity while the thirq follows fxom the definition $d({\bn{x}}, {\bm{s}}, \tu)^2 = \vum_{i=1}^{2f} (\laobdz_i - \hu)^2$. The prkof of the lower boune is similar, but stsrew instead witg the ynqquality $$\frac12\sum_{i=1}^{2r} \lambda_i \geq r\nu - \frab12 \suj_{i=1}^{2r} |\nu - \lambda_i|.$$


{x}}^T {\bm{s}}$. If $d({\bm{x}}, {\bm{s}}, \mu) \leq then \norm{{\bm{s}}^{-1}}_2 \geq {\bm{x}}}_2$. For part eigenvalues $T_{{\bm{x}}}{\bm{s}}$, note that is invertible as \in {\mathcal{L}}$. Then using part 1 Claim \[claim:Properties of Qx\], we have $${\bm{x}}^T{\bm{s}} = {\bm{x}}^T T_{{\bm{x}}}^{-1} T_{{\bm{x}}} {\bm{s}} = {\bm{x}})^T T_{{\bm{x}}} {\bm{s}} = {\bm{e}}^T T_{{\bm{x}}} {\bm{s}} = \frac12 \sum_{i=1}^{2r} \lambda_i,$$ We can bound duality $x^{T}s$ follows, $$\begin{aligned} {\bm{x}}^T {\bm{s}} = \frac12 \sum_{i=1}^{2r} \lambda_i &\leq r\nu + \frac12 \sum_{i=1}^{2r} |\lambda_i - \nu| &\leq r\nu + \sqrt{\frac{r}{2}}\sqrt{\sum_{i=1}^{2r} (\lambda_i - \nu)^2} \\ r\nu + \sqrt{\frac{r}{2}} \cdot {\bm{s}}, \nu). \end{aligned}$$ The second used Cauchy-Schwarz inequality the follows the definition $d({\bm{x}}, \nu)^2 = \sum_{i=1}^{2r} (\lambda_i - \nu)^2$. The proof of the lower bound is similar, but starts instead the inequality \geq r\nu \frac12 |\nu \lambda_i|.$$
{x}}^T {\bm{s}}$. If $d({\bm{x}}, {\bm{s}}, \mu) \leq \eta \mu$, tHen $(1+\eta) \norm{{\Bm{s}}^{-1}}_2 \geQ \noRm{\mU^{-1} {\bM{x}}}_2$.

FoR parT 1, let $\{\lambda_i\}_{i=1}^{2r}$ bE The eIgenvalues of $T_{{\bm{x}}}{\bm{s}}$, notE that $t_{x}$ IS invERtIble aS $x \in {\matHCaL{l}}$. theN uSiNg pArT 1 Of claim \[ClaIm:PropeRties of Qx\], wE haVe $${\Bm{x}}^T{\bm{s}} = {\bm{x}}^T T_{{\BM{x}}}^{-1} t_{{\bm{x}}} {\bm{s}} =  (T_{{\bm{X}}^{-1}} {\bm{X}})^T T_{{\bm{x}}} {\bm{s}} = {\bm{e}}^t T_{{\bM{x}}} {\bm{s}} = \fRaC12 \suM_{I=1}^{2r} \lamBda_I,$$ We caN thereFOre bouNd the dualItY Gap $x^{T}s$ AS followS, $$\BEgIn{alIgned}
        {\bm{x}}^T {\bm{s}} = \frac12 \sUM_{i=1}^{2R} \Lambda_i &\leq r\nu + \fRac12 \sum_{I=1}^{2r} |\LAmBDA_i - \nU| \\
        &\leQ r\nu + \sqrt{\frAc{R}{2}}\sqrt{\SUm_{i=1}^{2r} (\lamBDa_I - \NU)^2} \\
        &= R\nu + \SQrt{\frac{r}{2}} \cdot d({\Bm{x}}, {\bm{s}}, \nu).
    \end{ALigNed}$$ The SeConD Step usEd the caUChy-schwarz ineqUaliTy while thE third FOllows fROm the deFinitiOn $d({\Bm{x}}, {\Bm{s}}, \nU)^2 = \SuM_{i=1}^{2R} (\laMbDA_i - \nU)^2$. thE prOOf oF the loweR bOuNd is sImilAR, BUT staRts InstEad wiTh the inequaliTy $$\fRac12\sUM_{i=1}^{2r} \LambdA_i \geq R\nu - \fRaC12 \sum_{i=1}^{2R} |\nu - \lamBda_i|.$$


{x}}^T {\bm{s}}$. If $d({\ bm{x}}, {\ bm{s} },\mu )\leq  \et a \mu$, then $ ( 1+\e ta) \norm{{\bm{s}}^{-1 }}_2\g e q \n o rm {\mu^ {-1} {\ b m{ x } }}_ 2$ .
Fo rp ar t 1,let  $\{\la mbda_i\}_{ i=1 }^ {2r}$ be the ei genvaluesof$T_{{\bm{x}} }{\ bm{s}} $,  no t e tha t $ T_{x} $ is i n vertib le as $x\i n  {\mat h cal{L}} $ .  T henusing part 1 of C l ai m  \[claim:Prope rtiesof Qx \ ] , w e h ave $${\bm {x }}^T{ \ bm{s}}=  { \ b m {x} } ^T T_{{\bm{x} }}^{-1} T_{ { \bm {x}}}{\ bm{ s }} = (T_{{ \b m {x} }^{-1}} {\b m{x} })^T T_{{ \bm{x} } } {\bm{ s }} = {\ bm{e}} ^TT_{ {\bm { x} }}  {\ bm { s}} =\fr a c12  \sum_{i =1 }^ {2r}\lam b d a _ i,$$  We  can  ther efore bound t hedual i tygap $ x^{T} s$ a sfollo ws, $$ \begi n{ aligned}
       {\ bm{x}}^T{\b m{ s}}  =  \fra c 12 \su m_{ i=1 }^{2r}\lambda _ i & \l e q r\ nu + \frac12 \sum_ {i = 1 }^ {2r} |\l ambda_ i  -  \ n u| \\
     &\l e q  r\nu  + \ s qr t{\frac{ r}{2}} \ sq rt {\sum_{ i= 1}^{2r }(\l amb da_i-  \nu )^2} \ \
       &=r \nu + \sqrt{\f r ac{r}{2}} \cd o td ( {\ b m{x} },{\bm{s}}, \ nu).    \end { al ign e d}$$The s ec o nd step used the Cauch y- Schwar z ine quality while  the third f o llows fr om t h ed efinition $d({ \bm{x }}, {\bm{s } }, \nu)^ 2 = \ sum_{i=1 }^{2r} (\ l a mbda_i -  \n u)^ 2$.  Th e pr oof of the lo w e r bo un d is si mil ar, but  st art s i nst ea d with th e inequa li ty  $ $\ fra c12\s u m_{i=1}^ {2 r}\l amb da_i\ geq r\ nu -\fra c1 2\ sum _{i=1}^ { 2r } |\nu  -  \ lamb da_ i| .$$

{x}}^T {\bm{s}}$._If $d({\bm{x}},_{\bm{s}}, \mu) \leq \eta_\mu$, then_$(1+\eta)_\norm{{\bm{s}}^{-1}}_2 \geq_\norm{\mu^{-1}_{\bm{x}}}_2$.

For part 1,_let $\{\lambda_i\}_{i=1}^{2r}$ be_the eigenvalues of $T_{{\bm{x}}}{\bm{s}}$,_note that $T_{x}$_is_invertible as $x \in {\mathcal{L}}$. Then using part 1 of Claim \[claim:Properties of Qx\],_we_have $${\bm{x}}^T{\bm{s}}_=_{\bm{x}}^T_T_{{\bm{x}}}^{-1} T_{{\bm{x}}} {\bm{s}} = _(T_{{\bm{x}}^{-1}} {\bm{x}})^T T_{{\bm{x}}} {\bm{s}} =_{\bm{e}}^T T_{{\bm{x}}}_{\bm{s}} = \frac12 \sum_{i=1}^{2r} \lambda_i,$$ We can therefore_bound_the duality gap_$x^{T}s$ as follows, $$\begin{aligned}
     _  {\bm{x}}^T {\bm{s}} = \frac12_\sum_{i=1}^{2r} \lambda_i &\leq_r\nu_+_\frac12 \sum_{i=1}^{2r} |\lambda_i -_\nu| \\
    _   &\leq r\nu +_\sqrt{\frac{r}{2}}\sqrt{\sum_{i=1}^{2r} (\lambda_i - \nu)^2} \\
  _     &=_r\nu + \sqrt{\frac{r}{2}} \cdot d({\bm{x}},_{\bm{s}}, \nu).
_   \end{aligned}$$ The_second step used_the Cauchy-Schwarz_inequality while the_third follows from the definition $d({\bm{x}},_{\bm{s}}, \nu)^2 =_\sum_{i=1}^{2r} (\lambda_i - \nu)^2$. The proof_of_the lower bound_is_similar,_but starts_instead with the_inequality_$$\frac12\sum_{i=1}^{2r} \lambda_i_\geq_r\nu - \frac12 \sum_{i=1}^{2r} |\nu -_\lambda_i|.$$

