 last part of this claim, we also have $\norm{Q_{{\bm{x}}}}_2 \leq \norm{{\bm{x}}}_F^2$ as well as $\norm{T_{{\bm{x}}}}_2 \leq \norm{{\bm{x}}}_F$. Finally, we state a lemma about various properties that hold in a neighborhood of the central path.

\[lemma:Properties of the central path\] Let $\nu > 0$ be arbitrary and let ${\bm{x}}, {\bm{s}} \in {\operatorname{int}}{\mathcal{L}}$. Then, ${\bm{x}}$ and ${\bm{s}}$ satisfy the following properties:

1.  For all $\nu > 0$, the duality gap and distance from the central path are related as $$r\nu -  \sqrt{\frac{r}{2}} \cdot d({\bm{x}}, {\bm{s}}, \nu) \leq {\bm{x}}^T {\bm{s}} \leq r\nu + \sqrt{\frac{r}{2}} \cdot d({\bm{x}}, {\bm{s}}, \nu).$$

2.  The distance from the central path is symmetric in its arguments i.e. $d({\bm{x}}, {\bm{s}}, \nu) = d({\bm{s}}, {\bm{x}}, \nu)$.

3.  Let $\mu = \frac1r {\bm{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$.

A proof of Lemma \[lemma:Properties of the central path\] is included in Appendix \[b\] for completeness. The first and the third parts of this lemma have nice intuitive interpretations: The former asserts that the duality gap is roughly equal to the central path parameter, and the latter would be trivially true if $\circ$ was associative and we had ${\bm{x}} \circ {\bm{s}} = \mu {\bm{e}}$.

A single IPM iteration {#subsec:A single IPM iteration}
----------------------

The results above allow us to introduce *commutative scalings*, a method commonly used for proving IPM convergence. Our analysis is inspired by the general case analysis from [@ben2001
last part of this claim, we also get $ \norm{Q_{{\bm{x}}}}_2 \leq \norm{{\bm{x}}}_F^2 $ equally well as $ \norm{T_{{\bm{x}}}}_2 \leq \norm{{\bm{x}}}_F$. Finally, we state a lemma about diverse property that hold in a neighborhood of the cardinal path. 

 \[lemma: Properties of the central path\ ] permit $ \nu > 0 $ be arbitrary and let $ { \bm{x } }, { \bm{s } } \in { \operatorname{int}}{\mathcal{L}}$. Then, $ { \bm{x}}$ and $ { \bm{s}}$ satisfy the keep up properties: 

 1.   For all $ \nu > 0 $, the dichotomy gap and distance from the central path are related as $ $ r\nu -   \sqrt{\frac{r}{2 } } \cdot d({\bm{x } }, { \bm{s } }, \nu) \leq { \bm{x}}^T { \bm{s } } \leq r\nu + \sqrt{\frac{r}{2 } } \cdot d({\bm{x } }, { \bm{s } }, \nu).$$ 

 2.   The distance from the central path is symmetric in its argument i.e. $ d({\bm{x } }, { \bm{s } }, \nu) = d({\bm{s } }, { \bm{x } }, \nu)$. 

 3.   Let $ \mu = \frac1r { \bm{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$. 

 A proof of Lemma \[lemma: Properties of the cardinal path\ ] is included in Appendix \[b\ ] for completeness. The first and the third share of this lemma experience nice intuitive interpretations: The former asserts that the duality break is roughly equal to the central path parameter, and the latter would be trivially true if $ \circ$ was associative and we had $ { \bm{x } } \circ { \bm{s } } = \mu { \bm{e}}$. 

 A single IPM iteration { # subsec: A single IPM iteration } 
 ---------------------- 

 The results above allow us to introduce * commutative scalings *, a method commonly used for proving IPM overlap. Our psychoanalysis is inspired by the general case psychoanalysis from [ @ben2001
 ladt part of this claim, we also have $\norm{Q_{{\bm{x}}}}_2 \lex \norm{{\gm{x}}}_F^2$ as dell as $\norm{T_{{\bm{x}}}}_2 \leq \norm{{\bm{x}}}_H$. Fibally, we state a lemma aboug various propertues uhat hold in a nemfhborhood of fme ceutcal path.

\[lemma:Prpperties ox the central [agh\] Let $\nu > 0$ be arbitrary and let ${\bm{x}}, {\fm{s}} \in {\ppfratorname{int}}{\mwthcsj{L}}$. Tgvn, ${\bm{x}}$ and ${\bm{s}}$ satisfy the follkwing pgoperties:

1.  For alk $\nu > 0$, the duality gap and dishance from the cenhral path ats rqoated as $$r\nu -  \sqrt{\frab{x}{2}} \cdot d({\bm{x}}, {\bm{s}}, \nu) \leq {\bm{x}}^T {\bm{s}} \leq r\nu + \sdrt{\frcc{r}{2}} \cdot d({\bn{x}}, {\bm{d}}, \nu).$$

2.  The diwtancv from the ceknral padh is summetric in itx acgumwnts i.e. $d({\bm{x}}, {\bm{s}}, \nu) = v({\bm{s}}, {\bm{x}}, \nu)$.

3.  Let $\mu = \frac1r {\bm{f}}^T {\bm{s}}$. If $d({\bm{x}}, {\bm{s}}, \nu) \leq \gta \mg$, thdb $(1+\ega) \hocm{{\bj{s}}^{-1}}_2 \geq \nocm{\mu^{-1} {\bm{x}}}_2$.

A pdoof of Lemna \[lemma:Properties pf nne central pzth\] is igcluded in Appendix \[b\] for completeness. Uhe fjrst and the third partw of this lemma have jice intuytive interpretations: The former asserts that the dualmth gci kw goughly equal to the central path parameter, ags uhe latter would ne trivially true of $\cotc$ was associajive anb ws had ${\bm{x}} \circ {\bm{s}} = \mu {\bm{g}}$.

A sintle IPM iueratoon {#subsec:A single IPM iterqtion}
----------------------

The resllts above allow us to introduce *eommutstive scalings*, a method communly used for pgoving IPJ convergence. Our anslfsis is inspired by the gegeral casx anakysis ffom [@nen2001
last part of this claim, we also \leq as well $\norm{T_{{\bm{x}}}}_2 \leq \norm{{\bm{x}}}_F$. about properties that hold a neighborhood of central path. \[lemma:Properties of the central Let $\nu > 0$ be arbitrary and let ${\bm{x}}, {\bm{s}} \in {\operatorname{int}}{\mathcal{L}}$. Then, and ${\bm{s}}$ satisfy the following properties: 1. For all $\nu > 0$, the gap distance the path are related as $$r\nu - \sqrt{\frac{r}{2}} \cdot d({\bm{x}}, {\bm{s}}, \nu) \leq {\bm{x}}^T {\bm{s}} \leq r\nu \sqrt{\frac{r}{2}} \cdot d({\bm{x}}, {\bm{s}}, \nu).$$ 2. The distance the central path is in its arguments i.e. $d({\bm{x}}, \nu) d({\bm{s}}, {\bm{x}}, 3. $\mu \frac1r {\bm{x}}^T {\bm{s}}$. $d({\bm{x}}, {\bm{s}}, \mu) \leq \eta \mu$, then $(1+\eta) \norm{{\bm{s}}^{-1}}_2 \geq \norm{\mu^{-1} {\bm{x}}}_2$. A proof of Lemma \[lemma:Properties the central included in \[b\] completeness. first and the of this lemma have nice intuitive asserts that the duality gap is roughly equal the central parameter, and the latter would be true if $\circ$ was associative and we had \circ {\bm{s}} = \mu {\bm{e}}$. A single IPM iteration {#subsec:A single IPM iteration} ---------------------- The allow us to introduce scalings*, a method used proving convergence. analysis is by the general case analysis from [@ben2001
 last part of this claim, we also Have $\norm{Q_{{\bM{x}}}}_2 \leq \NorM{{\bm{X}}}_F^2$ As weLl as $\Norm{T_{{\bm{x}}}}_2 \leq \norM{{\Bm{x}}}_F$. finally, we state a lemma abOut vaRiOUs prOPeRties That holD In A NEigHbOrHooD oF ThE centRal Path.

\[lemMa:PropertiEs oF tHe central patH\] leT $\nu > 0$ be arbitRarY and let ${\bm{x}}, {\bm{S}} \in {\OperatOrNamE{Int}}{\maThcAl{L}}$. ThEn, ${\bm{x}}$ aND ${\bm{s}}$ saTisfy the fOlLOwing pROpertieS:

1.  fOr All $\nU > 0$, the duality gap and DIsTAnce from the cenTral paTh ARe RELatEd aS $$r\nu -  \sqrt{\frAc{R}{2}} \cdot D({\Bm{x}}, {\bm{s}}, \nU) \LeQ {\BM{X}}^T {\bM{S}} \leq r\nu + \sqrt{\frAc{r}{2}} \cdot d({\bm{x}}, {\BM{s}}, \nU).$$

2.  The diStAncE From thE centRaL PatH is symmetriC in iTs argumenTs i.e. $d({\bM{X}}, {\bm{s}}, \nu) = d({\BM{s}}, {\bm{x}}, \nu)$.

3.  let $\mu = \fRac1R {\bm{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$.

a PROof oF LeMma \[lEmma:PRoperties of thE ceNtraL PatH\] is inCludeD in APpEndix \[B\] for coMpletEnEss. The first and tHe thIrd parts oF thIs LemMa Have nICe intuItiVe iNterpreTations: tHe fOrMER AsSerts that the dualitY gAP Is Roughly eQual to THe CeNTral path PaRamEter, AND the lAtteR WoUld be triVially TRuE iF $\circ$ waS aSsociaTiVe aNd wE had ${\bM{X}} \cirC {\bm{s}} = \mu {\Bm{e}}$.

A singLe IPM ITeration {#subsec:a Single IPM iterATiON}
----------------------

thE ResuLts Above allow uS to iNTrodUce *cOMmUtaTIve scAlingS*, a MEtHOd commonly used for prOvIng IPM ConveRgence. Our analYsis is inspIRED by the geNeraL CaSE analysis from [@bEn2001
 last part of this claim,we also ha ve $\ nor m{Q _{ {\bm {x}} }}_2 \leq \nor m {{\b m{x}}}_F^2$ as well as  $\no rm { T_{{ \ bm {x}}} }_2 \le q  \ n o rm{ {\ bm {x} }} _ F$ . Fin all y, we s tate a lem maab out variousp ro perties th athold in a ne igh borhoo doft he ce ntr al pa th.

\ [ lemma: Propertie so f thec entralp a th \] L et $\nu > 0$ be a r bi t rary and let $ {\bm{x }} ,  { \ b m{s }}\in {\oper at ornam e {int}}{ \ ma t h c al{ L }}$. Then, ${ \bm{x}}$ an d  ${ \bm{s} }$  sa t isfy t he fo ll o win g propertie s:
1.  For a ll $\n u  > 0$,t he dual ity ga p a nddist a nc efro mt hec en tra l  pa th are r el at ed as  $$r \ n u -  \ sqr t{\f rac{r }{2}} \cdot d ({\ bm{x } },{\bm{ s}},\nu)  \ leq { \bm{x} }^T { \b m{s}} \leq r\nu  + \ sqrt{\fra c{r }{ 2}}  \ cdotd ({\bm{ x}} , { \bm{s}} , \nu). $ $
2. T he  distance from the  c e n tr al pathis sym m et ri c  in itsar gum ents i .e. $ d({\ b m{ x}}, {\b m{s}}, \n u)  = d({\ bm {s}},{\ bm{ x}} , \nu ) $.
3.  Le t $\mu =  \fra c 1r {\bm{x}}^T{ \bm{s}}$. If$ d( { \ bm { x}},  {\ bm{s}}, \mu ) \l e q \e ta \ m u$ , t h en $( 1+\et a) \n o rm{{\bm{s}}^{-1}}_2  \ geq \n orm{\ mu^{-1} {\bm{ x}}}_2$.
A p roof ofLemm a  \ [ lemma:Properti es of  the centr a l path\]  is i ncludedin Append i x  \[b\] f orcom ple ten e s s.  The first an d theth ird par tsof this  le mma  ha veni ce intuit ive inte rp re ta ti ons : The former a ss ert stha t the dualit y gap  isro ug h lyequal t o  t h e  cen tr al  pat h p ar amete r, a n d t he latt er wouldbet rivi al ly  true i f $\circ$ was  a ssociative  a ndwe had $ {\bm{x}}  \circ {\bm{s}} = \mu { \ bm{e}}$ .
A sin gleIPM itera tio n {#su bse c :A sin gle IP M ite ra tio n } 
---- - - -- --- -- ---------T heresul ts  abo ve allo w us to introduce* com mutative scal ing s*,a me tho d  c o mmo nl y  us e d  for proving IP M converge nc e .Our analys i s i sinspire d by th e gen e ral cas e analysi s from [@ be n200 1 
 last_part of_this claim, we also_have $\norm{Q_{{\bm{x}}}}_2_\leq_\norm{{\bm{x}}}_F^2$ as_well_as $\norm{T_{{\bm{x}}}}_2 \leq_\norm{{\bm{x}}}_F$. Finally, we_state a lemma about_various properties that_hold_in a neighborhood of the central path.

\[lemma:Properties of the central path\] Let $\nu >_0$_be arbitrary_and_let_${\bm{x}}, {\bm{s}} \in {\operatorname{int}}{\mathcal{L}}$. Then,_${\bm{x}}$ and ${\bm{s}}$ satisfy the_following properties:

1._ For all $\nu > 0$, the duality_gap_and distance from_the central path are related as $$r\nu - _\sqrt{\frac{r}{2}} \cdot d({\bm{x}}, {\bm{s}}, \nu) \leq_{\bm{x}}^T {\bm{s}} \leq_r\nu_+_\sqrt{\frac{r}{2}} \cdot d({\bm{x}}, {\bm{s}},_\nu).$$

2.  The distance from the_central path is symmetric in its_arguments i.e. $d({\bm{x}}, {\bm{s}}, \nu) = d({\bm{s}},_{\bm{x}}, \nu)$.

3.  Let $\mu =_\frac1r {\bm{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$.

A proof_of Lemma \[lemma:Properties_of the central path\] is included_in Appendix \[b\]_for completeness. The first and the_third_parts of this_lemma_have_nice intuitive_interpretations: The former_asserts_that the_duality_gap is roughly equal to the_central_path parameter, and the latter would be_trivially true if $\circ$_was_associative and we had_${\bm{x}} \circ {\bm{s}} = \mu_{\bm{e}}$.

A single IPM iteration {#subsec:A single_IPM iteration}
----------------------

The_results above_allow us to introduce *commutative scalings*, a method commonly used for_proving IPM convergence. Our analysis is_inspired by the general_case analysis_from_[@ben2001