 given in the proof overview is as follows: If there is no subspace $W$ of low dimension that intersects many of the spaces $V_1,\ldots,V_n$ then, one can show that there exists a vector ${\boldsymbol{p}}$ in the convex hull of all $\mathcal{V}$-admissible basis vectors such that the entries of ${\boldsymbol{p}}$ are not too small. This is enough to show that the average angle between pairs of spaces is large since otherwise one can derive a contradiction to the inequality which says that the sum of orthogonal projections of any unit vector must be relatively small.

The proof of the one dimensional case in [@Bar98] (which does not have an $\epsilon$ error) proceeds by defining a strictly convex function $f(t_1,\ldots,t_m)$ on ${\mathbb{R}}^m$ and shows that the function is bounded. This means that there must exist a point in which all partial derivatives of $f$ vanish. Solving the resulting equations gives an invertible matrix that defines the required change of basis. We follow a similar strategy, defining an appropriate bounded function $f(t_1,\ldots,t_m,R_1,\ldots,R_n)$ in more variables, where the extra variables $R_1,\ldots,R_n$ represent the action of the orthogonal group $\mathbf{O}(k)$ on each of the spaces. However, in our case, we cannot show that $f$ is strictly convex and so a maximum might not exist. However, we are still able to show that there exists a point in which all partial derivatives are very small (smaller than any $\epsilon>0$), which is sufficient for our purposes.

##### Connection to Locally Correctable Codes.

A $q$-query Locally Correctable Code (LCC) over a field ${\mathbb{F}}$ is a $d$-dimensional subspace $C \subset {\mathbb{F}}^n$ that allows for ‘local correction’ of codewords (elements of $C$) in the following sense. Let ${\boldsymbol{y}} \in C$ and suppose we have query access to ${\boldsymbol{y}}'$ such that ${\boldsymbol{y}}_i = {\boldsymbol{y}}'_i$ for at least $(1-\delta)n$ indices $i \in [n]$ (think of ${\boldsymbol{y}}'$ as a noisy version of ${\boldsymbol{y}}$). Then,
given in the proof overview is as follows: If there is no subspace $ W$ of low property that intersect many of the spaces $ V_1,\ldots, V_n$ then, one can show that there exist a vector $ { \boldsymbol{p}}$ in the convex hull of all $ \mathcal{V}$-admissible footing vectors such that the entries of $ { \boldsymbol{p}}$ are not too little. This is enough to show that the modal angle between pairs of space is large since otherwise one can derive a contradiction to the inequality which says that the sum of orthogonal protrusion of any unit vector must be relatively small. 

 The proof of the one dimensional character in [ @Bar98 ] (which does not have an $ \epsilon$ error) proceeds by defining a rigorously convex function $ f(t_1,\ldots, t_m)$ on $ { \mathbb{R}}^m$ and show that the function is bounded. This means that there must exist a distributor point in which all partial derivatives of $ f$ vanish. Solving the resulting equations gives an invertible matrix that defines the required change of basis. We follow a similar strategy, defining an appropriate bounded function $ f(t_1,\ldots, t_m, R_1,\ldots, R_n)$ in more variables, where the excess variable $ R_1,\ldots, R_n$ represent the legal action of the orthogonal group $ \mathbf{O}(k)$ on each of the spaces. However, in our case, we cannot show that $ f$ is rigorously convex and so a utmost might not exist. However, we are still able to show that there exists a distributor point in which all partial derivatives are very small (smaller than any $ \epsilon>0 $), which is sufficient for our purposes. 

 # # # # # Connection to Locally Correctable Codes. 

 A $ q$-query Locally Correctable Code (LCC) over a field $ { \mathbb{F}}$ is a $ d$-dimensional subspace $ C \subset { \mathbb{F}}^n$ that allows for ‘ local correction ’ of codewords (elements of $ C$) in the following sense. lease $ { \boldsymbol{y } } \in C$ and suppose we get question access to $ { \boldsymbol{y}}'$ such that $ { \boldsymbol{y}}_i = { \boldsymbol{y}}'_i$ for at least $ (1-\delta)n$ indices $ i \in [ n]$ (think of $ { \boldsymbol{y}}'$ as a noisy version of $ { \boldsymbol{y}}$). Then,
 gigen in the proof overvied is as follows: If thece is nk subspaze $W$ of low dimension that iiterwects many of the spaces $V_1,\laots,V_n$ thvn, one cab shiq that thecs exists a vedbor ${\bmodsymbol{p}}$ in tme convex hgll of all $\matvcxl{R}$-admissible basis vectors such that ehe enttifs of ${\boldsymbjl{p}}$ swe nkn uoo small. This is enough to show fhat tht average angle beyween pairs of spaces is lwrge since otherwise oje can derice a xontradictiov to the inequality whjch says that the sum of orthogunal 'rojections od aji unit vectoc must be relatively small.

Dhe propf of the one cimxnsiinal case in [@Bar98] (whici does not have an $\eksilon$ errmr) proceeds by defibibg a vtriwtly xonxex fnncfion $f(h_1,\ldkts,t_m)$ on ${\mzthbb{R}}^m$ and shows that the funvtyin is bounded. This iewns that there must exist a point in whpch zll partial derivatives of $f$ vanish. Solving jhe resultyng equations gives an invertible matrix that defhnes vhd rtqmlred xhwnge of basis. We follow a similar strategy, desjnonn an appropriate bounded fumchipg $f(t_1,\ldots,t_m,R_1,\laots,R_n)$ in more variables, whfre the extrq variablts $R_1,\lcots,R_n$ represent the action of the orthjtonal group $\mathbf{L}(k)$ on each uf tne spsces. However, in our casz, we cznnot show hhat $f$ is rtrictly convex xnd sm a maximum might not exise. However, we cre stilu abke to fhow that hhere exists a point in ahich anl partial derivatives are very small (smaller than any $\gpshlot>0$), which ns sufnicient for our purposes.

##### Conngction to Locauly Correcnable Codxs.

A $q$-query Ljcally Correcdwble Code (LCR) over a siele ${\marhbb{F}}$ ir a $d$-dimensionak subspacv $E \subset {\nathbb{F}}^n$ that alloxs fud ‘local correctnub’ of codewords (rleoenes oh $C$) ig the followitg sdnsd. Let ${\coldsymbol{y}} \kn C$ and suppose we have quedy access to ${\boldsumnol{y}}'$ such that ${\bojdsymbol{y}}_i = {\bpldsymbol{y}}'_i$ for at leasv $(1-\delte)n$ indocef $i \in [n]$ (think of ${\boldsymbol{y}}'$ zs a noisj vcrsion of ${\bolqsymnol{y}}$). Then,
given in the proof overview is as there no subspace of low dimension spaces then, one can that there exists vector ${\boldsymbol{p}}$ in the convex hull all $\mathcal{V}$-admissible basis vectors such that the entries of ${\boldsymbol{p}}$ are not too This is enough to show that the average angle between pairs of spaces large otherwise can a contradiction to the inequality which says that the sum of orthogonal projections of any unit must be relatively small. The proof of the dimensional case in [@Bar98] does not have an $\epsilon$ proceeds defining a convex $f(t_1,\ldots,t_m)$ ${\mathbb{R}}^m$ and shows the function is bounded. This means that there must exist a point in which all partial derivatives $f$ vanish. resulting equations an matrix defines the required basis. We follow a similar strategy, bounded function $f(t_1,\ldots,t_m,R_1,\ldots,R_n)$ in more variables, where the variables $R_1,\ldots,R_n$ the action of the orthogonal group on each of the spaces. However, in our we cannot show that $f$ is strictly convex and so a maximum might not exist. are still able to that there exists point which partial are very (smaller than any $\epsilon>0$), which is sufficient for our purposes. ##### to Locally Correctable Codes. A $q$-query Locally Correctable Code (LCC) field is a $d$-dimensional $C \subset {\mathbb{F}}^n$ that for correction’ of codewords (elements in following \in and we have query access ${\boldsymbol{y}}'$ such that ${\boldsymbol{y}}_i = for at least $(1-\delta)n$ of ${\boldsymbol{y}}'$ as a noisy version of ${\boldsymbol{y}}$).
 given in the proof overview is As follows: IF therE is No sUbSpacE $W$ of Low dimension thAT intErsects many of the spaces $v_1,\ldotS,V_N$ Then, ONe Can shOw that tHErE EXisTs A vEctOr ${\BOlDsymbOl{p}}$ In the coNvex hull of All $\MaThcal{V}$-admissIBlE basis vectOrs Such that the eNtrIes of ${\bOlDsyMBol{p}}$ aRe nOt too Small. THIs is enOugh to shoW tHAt the aVErage anGLE bEtweEn pairs of spaces is LArGE since otherwisE one caN dERiVE A coNtrAdiction to ThE ineqUAlity whICh SAYS thAT the sum of orthOgonal projeCTioNs of anY uNit VEctor mUst be ReLAtiVely small.

ThE proOf of the onE dimenSIonal caSE in [@Bar98] (wHich doEs nOt hAve aN $\EpSiLon$ ErROr) pROcEedS By dEfining a StRiCtly cOnveX FUNCtioN $f(t_1,\LdotS,t_m)$ on ${\Mathbb{R}}^m$ and shOws That THe fUnctiOn is bOundEd. this mEans thAt theRe Must exist a point In whIch all parTiaL dEriVaTives OF $f$ vaniSh. SOlvIng the rEsultinG EquAtIONS gIves an invertible maTrIX ThAt defineS the reQUiReD Change of BaSis. we foLLOw a siMilaR StRategy, deFining AN aPpRopriatE bOunded FuNctIon $F(t_1,\ldoTS,t_m,R_1,\Ldots,R_N)$ in more vAriabLEs, where the extrA Variables $R_1,\ldoTS,R_N$ REpREsenT thE action of thE ortHOgonAl grOUp $\MatHBf{O}(k)$ oN each Of THe SPaces. However, in our caSe, We cannOt shoW that $f$ is stricTly convex aND SO a maximuM migHT nOT exist. However, wE are sTill able to SHow that tHere eXists a poInt in whicH ALl partiaL deRivAtiVes ARE vEry small (smallER Than AnY $\epsiloN>0$), whIch is suFfiCieNt fOr oUr Purposes.

##### COnnectioN tO LOcAlLy COrrecTAble CodeS.

A $Q$-quErY LoCally cOrrectAble COde (LcC) OvER a fIeld ${\matHBb{f}}$ IS a $d$-dImEnSionAl sUbSpace $c \subSEt {\mAthbb{F}}^n$ That allowS foR ‘LocaL cOrRection’ Of codewords (elEmEnts of $C$) in tHe FolLowing SENse. Let ${\boLdsymbol{y}} \in C$ and suppose wE Have queRy aCcess To ${\boLdsymbol{y}}'$ SucH that ${\bOldSYmbol{y}}_I = {\boldsYmbol{Y}}'_i$ For AT Least $(1-\DELtA)n$ iNdIces $i \in [n]$ (thINK of ${\BoldsYmBol{y}}'$ As a noisY version of ${\boldsymbOL{y}}$). THen,
 given in the proof overvi ew is as f ollow s:Ifth ereis n o subspace $W$ of l ow dimension that inte rsect sm anyo fthe s paces $ V _1 , \ ldo ts ,V _n$  t h en , one  ca n showthat there  ex is ts a vector$ {\ boldsymbol {p} }$ in the co nve x hull  o f a l l $\m ath cal{V }$-adm i ssible  basis ve ct o rs suc h  that t h e  e ntri es of ${\boldsymb o l{ p }}$ are not to o smal l. Th i s  is  en ough to sh ow  that the ave r ag e a ngl e  between pair s of spaces islargesi nce otherw ise o ne can  derive a c ontr adictionto the inequal i ty whic h says  th atthes um  o f o rt h ogo n al  pr o jec tions of  a ny  unit  vec t o r must  be  rel ative ly small.

Th e p roof ofthe o ne di mens io nal c ase in  [@Ba r9 8] (which doesnothave an $ \ep si lon $error )  proce eds  by  defini ng a st r ict ly c o nv ex function $f(t_1 ,\ l d ot s,t_m)$on ${\ m at hb b {R}}^m$an d s hows t hat t he f u nc tion isbounde d .Th is mean sthat t he remus t exi s t apointin which  allp artial derivat i ves of $f$ va n is h .  S o lvin g t he resultin g eq u atio ns g i ve s a n  inve rtibl em at r ix that defines the  r equire d cha nge of basis.  We follow a similarstra t eg y , defining anappro priate bou n ded func tion$f(t_1,\ ldots,t_m , R _1,\ldot s,R _n) $ i n m o r evariables, wh e r e th eextra v ari ables $ R_1 ,\l dot s,R _n $ represe nt the a ct io nof  th e ort h ogonal g ro up$\ mat hbf{O } (k)$ o n eac h of  t he spa ces. Ho w ev e r , in  o ur  cas e,we  cann ot s h owthat $f $ is stri ctl y  con ve xand soa maximum mig ht  not exist .How ever,w e  are sti ll able to show that th e re exis tsa poi nt i n which a llpartia l d e rivati ves ar e ver ysma l l  (sma l l er  th an  any $\eps i l on> 0$),wh ichis suff icient for our pur p ose s.

##### Con nec tion t oLoc a ll y  Co rr e cta b l e Codes.

A $q$ -query Loc al l yCorrectabl e  Co de  (LCC)over afield ${\math bb{F}}$ i s a $d$-d im ensi o n alsubspace $ C \subse t {\mathb b {F}}^ n $thatall ows fo r‘lo cal c orrect i on’  of c odewor ds  (elem entsof  $C$) in  the following sense. L et ${\ bolds ymb ol{y}} \i n C $  an d suppose  wehave query  ac ces s to${\ b oldsy mbol { y} }'$ suchthat ${\boldsy m bo l{y } } _i  = {\boldsy m b o l{y }}'_i $ f o r at l east  $(1-\delta)n$ in d ices $i \in [n ]$ ( t h ink  of ${\b ol dsymbol{y}}'$asan o isy vers io n of ${\bol dsymbol{ y} } $). T hen,
 given_in the_proof overview is as_follows: If_there_is no_subspace_$W$ of low_dimension that intersects_many of the spaces_$V_1,\ldots,V_n$ then, one_can_show that there exists a vector ${\boldsymbol{p}}$ in the convex hull of all $\mathcal{V}$-admissible_basis_vectors such_that_the_entries of ${\boldsymbol{p}}$ are not_too small. This is enough_to show_that the average angle between pairs of spaces_is_large since otherwise_one can derive a contradiction to the inequality which_says that the sum of orthogonal_projections of any_unit_vector_must be relatively small.

The_proof of the one dimensional case_in [@Bar98] (which does not have_an $\epsilon$ error) proceeds by defining a_strictly convex function $f(t_1,\ldots,t_m)$ on ${\mathbb{R}}^m$_and shows that the function_is bounded._This means that there must_exist a point_in which_all partial derivatives_of $f$ vanish. Solving the resulting_equations gives an_invertible matrix that defines the required_change_of basis. We_follow_a_similar strategy,_defining an appropriate_bounded_function $f(t_1,\ldots,t_m,R_1,\ldots,R_n)$_in_more variables, where the extra variables_$R_1,\ldots,R_n$_represent the action of the orthogonal group_$\mathbf{O}(k)$ on each of_the_spaces. However, in our_case, we cannot show that_$f$ is strictly convex and so_a maximum_might not_exist. However, we are still able to show that there exists_a point in which all partial_derivatives are very small_(smaller than_any_$\epsilon>0$), which is_sufficient_for our_purposes.

##### Connection to Locally Correctable Codes.

A $q$-query_Locally Correctable_Code (LCC) over a field ${\mathbb{F}}$_is a $d$-dimensional subspace_$C_\subset {\mathbb{F}}^n$ that allows for ‘local_correction’ of codewords (elements of $C$)_in the following sense. Let_${\boldsymbol{y}}_\in_C$ and suppose we have_query access to ${\boldsymbol{y}}'$ such that_${\boldsymbol{y}}_i = {\boldsymbol{y}}'_i$_for at least $(1-\delta)n$ indices $i \in_[n]$_(think of ${\boldsymbol{y}}'$ as a noisy_version_of ${\boldsymbol{y}}$). Then,