E_m$ and $E_n$ are the corresponding unity matrices, and by ${\mathbf{e}}_1,\ldots,{\mathbf{e}}_m,\pmb\ell_{m+1},\ldots,\pmb\ell_d$ the columns of $$T'=
     \begin{pmatrix}
       E_m & {{\Theta}^\intercal} \\
       0 & E_n
     \end{pmatrix}.$$ We obviously have $T{{(T')}^\intercal}=E_d$, so the bases $\pmb\ell_1,\ldots,\pmb\ell_m,{\mathbf{e}}_{m+1},\ldots,{\mathbf{e}}_d$ and ${\mathbf{e}}_1,\ldots,{\mathbf{e}}_m,\pmb\ell_{m+1},\ldots,\pmb\ell_d$ are dual. Therefore, the subspaces $${\mathcal{L}}^m=\operatorname{span}_{\mathbb{R}}(\pmb\ell_1,\ldots,\pmb\ell_m),\qquad
     {\mathcal{L}}^n=\operatorname{span}_{\mathbb{R}}(\pmb\ell_{m+1},\ldots,\pmb\ell_d)$$ are orthogonal. More than that, ${\mathcal{L}}^m=({\mathcal{L}}^n)^\perp$ and $${\mathcal{L}}^m=\{ {\mathbf{z}}\in{\mathbb{R}}^d \,|\, \langle\pmb\ell_{m+i},{\mathbf{z}}\rangle=0,\ i=1,\ldots,n \},\qquad
     {\mathcal{L}}^n=\{ {\mathbf{z}}\in{\mathbb{R}}^d \,|\, \langle\pmb\ell_j,{\mathbf{z}}\rangle=0,\ j=1,\ldots,m \}.$$ Thus, ${\mathcal{L}}^m$ coincides with the space of solutions of the system $\Theta{\mathbf{x}}=-{\mathbf{y}}$, and ${\mathcal{L}}^n$ coincides with that of the system ${{\Theta}^\intercal}{\mathbf{y}}={\mathbf{x}}$. It can be easily verified that changing the sign in while preserving it for the transposed system does not affect any of the definitions and theorems given in Section \[sec:intro\].

For all positive $h$ and $r$ let us define parallelepipeds $$\begin{aligned}
    M_{h,r}=\Big\{ {\mathbf{z}}\in{\mathbb{R}}^d \,\Big|\
E_m$ and $ E_n$ are the corresponding unity matrices, and by $ { \mathbf{e}}_1,\ldots,{\mathbf{e}}_m,\pmb\ell_{m+1},\ldots,\pmb\ell_d$ the columns of $ $ T'= 
      \begin{pmatrix } 
        E_m & { { \Theta}^\intercal } \\ 
        0 & E_n 
      \end{pmatrix}.$$ We obviously get $ T{{(T')}^\intercal}=E_d$, so the base $ \pmb\ell_1,\ldots,\pmb\ell_m,{\mathbf{e}}_{m+1},\ldots,{\mathbf{e}}_d$ and $ { \mathbf{e}}_1,\ldots,{\mathbf{e}}_m,\pmb\ell_{m+1},\ldots,\pmb\ell_d$ are dual. Therefore, the subspaces $ $ { \mathcal{L}}^m=\operatorname{span}_{\mathbb{R}}(\pmb\ell_1,\ldots,\pmb\ell_m),\qquad 
      { \mathcal{L}}^n=\operatorname{span}_{\mathbb{R}}(\pmb\ell_{m+1},\ldots,\pmb\ell_d)$$ are extraneous. More than that, $ { \mathcal{L}}^m=({\mathcal{L}}^n)^\perp$ and $ $ { \mathcal{L}}^m=\ { { \mathbf{z}}\in{\mathbb{R}}^d \,|\, \langle\pmb\ell_{m+i},{\mathbf{z}}\rangle=0,\ i=1,\ldots, n \},\qquad 
      { \mathcal{L}}^n=\ { { \mathbf{z}}\in{\mathbb{R}}^d \,|\, \langle\pmb\ell_j,{\mathbf{z}}\rangle=0,\ j=1,\ldots, m \}.$$ Thus, $ { \mathcal{L}}^m$ coincides with the space of solution of the system $ \Theta{\mathbf{x}}=-{\mathbf{y}}$, and $ { \mathcal{L}}^n$ coincides with that of the arrangement $ { { \Theta}^\intercal}{\mathbf{y}}={\mathbf{x}}$. It can be easily verified that change the sign in while preserving it for the transposed system does not affect any of the definitions and theorem given in Section \[sec: intro\ ]. 

 For all positive $ h$ and $ r$ let us specify parallelepipeds $ $ \begin{aligned } 
     M_{h, r}=\Big\ { { \mathbf{z}}\in{\mathbb{R}}^d \,\Big|\
E_m$ wnd $E_n$ are the corresponaing unity matrnxes, anv by ${\mafhbf{e}}_1,\ldogs,{\mathbf{e}}_m,\pmb\ell_{m+1},\ldots,\pmb\ell_v$ thw colymns of $$T'=
     \begin{pmagrix}
       E_m & {{\Thwta}^\iitercal} \\
       0 & E_n
     \cud{pmafvix}.$$ Wz ibviously have $T{{(T')}^\intercan}=E_d$, so the basas $\plb\ell_1,\ldots,\pmb\ell_m,{\mathbf{e}}_{m+1},\ldots,{\mathbs{e}}_d$ and ${\mwthbf{e}}_1,\ldots,{\matrbf{e}}_k,\[mb\eml_{m+1},\ldots,\pmb\ell_d$ are dual. Therefore, the suuspaces $${\mathcal{K}}^m=\operatorname{span}_{\mathbb{R}}(\plb\elp_1,\ldots,\pmb\ell_m),\qquad
     {\mathcao{L}}^n=\o[wratorname{spxn}_{\mathbb{R}}(\pmb\ell_{m+1},\ldots,\pjb\ell_d)$$ are orthogonal. More than that, ${\mathcal{L}}^m=({\narhcwn{L}}^n)^\perp$ and $${\mathbal{L}}^m=\{ {\mathbf{z}}\lm{\mathbt{R}}^d \,|\, \lamgle\pmb\ell_{m+i},{\mabhbf{z}}\cangoe=0,\ i=1,\ldots,n \},\qquad
     {\kathcal{L}}^n=\{ {\mathbf{z}}\ig{\mathbb{R}}^d \,|\, \mangle\pmb\ell_j,{\mathvf{z}}\rangne=0,\ j=1,\ndotr,n \}.$$ Ghua, ${\kafhcal{L}}^l$ ckincides wjth the spaxe of solutions of uhe wystem $\Theta{\mzthbf{x}}=-{\iaehbf{y}}$, and ${\mathcal{L}}^n$ coincides with that of the system ${{\Theta}^\intercql}{\mathbf{y}}={\mathbf{x}}$. It cwn be easyly verified that changing the sign in while presarvinj kt yir thd tgansposed system does not affect any of the dqriminions and theoremf given in Xeftojn \[sec:intro\].

Fot all posifive $h$ and $r$ let ud defing paraolelepipeqs $$\brgin{aligned}
    M_{h,r}=\Big\{ {\mathbd{z}}\in{\mathbb{R}}^d \,\Vig|\
E_m$ and $E_n$ are the corresponding unity by the columns $$T'= \begin{pmatrix} E_m E_n We obviously have so the bases and ${\mathbf{e}}_1,\ldots,{\mathbf{e}}_m,\pmb\ell_{m+1},\ldots,\pmb\ell_d$ are dual. Therefore, the $${\mathcal{L}}^m=\operatorname{span}_{\mathbb{R}}(\pmb\ell_1,\ldots,\pmb\ell_m),\qquad {\mathcal{L}}^n=\operatorname{span}_{\mathbb{R}}(\pmb\ell_{m+1},\ldots,\pmb\ell_d)$$ are orthogonal. More than that, ${\mathcal{L}}^m=({\mathcal{L}}^n)^\perp$ and $${\mathcal{L}}^m=\{ {\mathbf{z}}\in{\mathbb{R}}^d \,|\, \langle\pmb\ell_{m+i},{\mathbf{z}}\rangle=0,\ \},\qquad {\mathcal{L}}^n=\{ {\mathbf{z}}\in{\mathbb{R}}^d \,|\, \langle\pmb\ell_j,{\mathbf{z}}\rangle=0,\ j=1,\ldots,m \}.$$ Thus, ${\mathcal{L}}^m$ coincides with the space solutions the $\Theta{\mathbf{x}}=-{\mathbf{y}}$, ${\mathcal{L}}^n$ coincides with that of the system ${{\Theta}^\intercal}{\mathbf{y}}={\mathbf{x}}$. It can be easily verified that changing the in while preserving it for the transposed system not affect any of definitions and theorems given in \[sec:intro\]. all positive and let define parallelepipeds $$\begin{aligned} {\mathbf{z}}\in{\mathbb{R}}^d \,\Big|\
E_m$ and $E_n$ are the correspondinG unity matrIces, aNd bY ${\maThBf{e}}_1,\lDots,{\Mathbf{e}}_m,\pmb\ell_{M+1},\LdotS,\pmb\ell_d$ the columns of $$T'=
     \bEgin{pMaTRix}
       E_M & {{\thEta}^\inTercal} \\
       0 & E_N
     \EnD{PMatRiX}.$$ WE obViOUsLy havE $T{{(T')}^\IntercaL}=E_d$, so the baSes $\PmB\ell_1,\ldots,\pmb\ELl_M,{\mathbf{e}}_{m+1},\lDotS,{\mathbf{e}}_d$ and ${\MatHbf{e}}_1,\ldOtS,{\maTHbf{e}}_m,\Pmb\Ell_{m+1},\lDots,\pmB\Ell_d$ arE dual. TherEfORe, the sUBspaces $${\MAThCal{L}}^M=\operatorname{span}_{\MAtHBb{R}}(\pmb\ell_1,\ldots,\Pmb\ell_M),\qQUaD
     {\MAthCal{l}}^n=\operatorNaMe{spaN}_{\Mathbb{R}}(\PMb\ELL_{M+1},\ldOTs,\pmb\ell_d)$$ are oRthogonal. MoRE thAn that, ${\MaThcAL{L}}^m=({\matHcal{L}}^N)^\pERp$ aNd $${\mathcal{L}}^m=\{ {\MathBf{z}}\in{\mathBb{R}}^d \,|\, \laNGle\pmb\eLL_{m+i},{\mathBf{z}}\ranGle=0,\ I=1,\ldOts,n \},\QQuAd
     {\MatHcAL{L}}^n=\{ {\MAtHbf{Z}}\In{\mAthbb{R}}^d \,|\, \lAnGlE\pmb\eLl_j,{\mATHBF{z}}\raNglE=0,\ j=1,\ldOts,m \}.$$ THus, ${\mathcal{L}}^m$ cOinCideS WitH the sPace oF solUtIons oF the syStem $\THeTa{\mathbf{x}}=-{\mathbf{Y}}$, and ${\Mathcal{L}}^n$ CoiNcIdeS wIth thAT of the SysTem ${{\theta}^\inTercal}{\mAThbF{y}}={\MATHbF{x}}$. It can be easily verIfIED tHat changIng the SIgN iN While preSeRviNg it FOR the tRansPOsEd system Does noT AfFeCt any of ThE definItIonS anD theoREms gIven in section \[sEc:intRO\].

For all positivE $H$ and $r$ let us defINe PARaLLelePipEds $$\begin{aliGned}
    m_{H,r}=\BiG\{ {\matHBf{Z}}\in{\MAthbb{r}}^d \,\Big|\
E_m$ and $E_n$ are the cor responding  unit y m atr ic es,andby ${\mathbf{e } }_1, \ldots,{\mathbf{e}}_m, \pmb\ el l _{m+ 1 }, \ldot s,\pmb\ e ll _ d $ t he  c olu mn s  o f $$T '=     \b egin{pmatr ix} 
      E_m &{ {\ Theta}^\in ter cal} \\
     0 & E_ n   \end {pm atrix }.$$ W e  obvio usly have  $ T {{(T') } ^\inter c a l} =E_d $, so the bases $ \ pm b \ell_1,\ldots, \pmb\e ll _ m, { \ mat hbf {e}}_{m+1} ,\ ldots , {\mathb f {e } } _ d$a nd ${\mathbf{ e}}_1,\ldot s ,{\ mathbf {e }}_ m ,\pmb\ ell_{ m+ 1 },\ ldots,\pmb\ ell_ d$ are du al. Th e refore, the sub spaces  $$ {\m athc a l{ L} }^m =\ o per a to rna m e{s pan}_{\m at hb b{R}} (\pm b \ e l l_1, \ld ots, \pmb\ ell_m),\qquad 
    { \ mat hcal{ L}}^n =\op er atorn ame{sp an}_{ \m athbb{R}}(\pmb\ ell_ {m+1},\ld ots ,\ pmb \e ll_d) $ $ areort hog onal. M ore tha n  th at , $ {\ mathcal{L}}^m=({\m at h c al {L}}^n)^ \perp$ an d$ ${\mathc al {L} }^m= \ {  {\ma thbf { z} }\in{\ma thbb{R } }^ d\,|\, \ la ngle\p mb \el l_{ m+i}, { \mat hbf{z} }\rangle =0,\i =1,\ldots,n \} , \qquad
     { \ ma t h ca l {L}} ^n= \{ {\mathbf {z}} \ in{\ math b b{ R}} ^ d \,| \, \l an g le \ pmb\ell_j,{\mathbf{ z} }\rang le=0, \ j=1,\ldots, m \}.$$ Th u s ,  ${\math cal{ L }} ^ m$ coincides w ith t he space o f  solutio ns of  the sys tem $\The t a {\mathbf {x} }=- {\m ath b f {y }}$, and ${\m a t hcal {L }}^n$ c oin cides w ith  th atofth e system${{\Thet a} ^\ in te rca l}{\m a thbf{y}} ={ \ma th bf{ x}}$. It can  be e asil yve r ifi ed that ch a n ging  t he  sig n i nwhile  pre s erv ing itfor the t ran s pose dsy stem do es not affect  a ny of thede fin itions a nd theor ems given in Section \[ s ec:intr o\] .

Fo r al l positiv e $ h$ and  $r $  let u s defi ne pa ra lle l e piped s $$ \be gi n{aligned}   M_{h, r} =\Bi g\{ {\m athbf{z}}\in{\math b b{R }}^d \,\Big|\ 
E_m$ and_$E_n$ are_the corresponding unity matrices,_and by_${\mathbf{e}}_1,\ldots,{\mathbf{e}}_m,\pmb\ell_{m+1},\ldots,\pmb\ell_d$_the columns_of_$$T'=
  _  \begin{pmatrix}
_   _  E_m_&_{{\Theta}^\intercal} \\
       0 & E_n
   __\end{pmatrix}.$$ We_obviously_have_$T{{(T')}^\intercal}=E_d$, so the bases $\pmb\ell_1,\ldots,\pmb\ell_m,{\mathbf{e}}_{m+1},\ldots,{\mathbf{e}}_d$_and ${\mathbf{e}}_1,\ldots,{\mathbf{e}}_m,\pmb\ell_{m+1},\ldots,\pmb\ell_d$ are dual. Therefore,_the subspaces_$${\mathcal{L}}^m=\operatorname{span}_{\mathbb{R}}(\pmb\ell_1,\ldots,\pmb\ell_m),\qquad
     {\mathcal{L}}^n=\operatorname{span}_{\mathbb{R}}(\pmb\ell_{m+1},\ldots,\pmb\ell_d)$$ are orthogonal._More_than that, ${\mathcal{L}}^m=({\mathcal{L}}^n)^\perp$_and $${\mathcal{L}}^m=\{ {\mathbf{z}}\in{\mathbb{R}}^d \,|\, \langle\pmb\ell_{m+i},{\mathbf{z}}\rangle=0,\ i=1,\ldots,n \},\qquad
  _  {\mathcal{L}}^n=\{ {\mathbf{z}}\in{\mathbb{R}}^d \,|\, \langle\pmb\ell_j,{\mathbf{z}}\rangle=0,\_j=1,\ldots,m \}.$$ Thus,_${\mathcal{L}}^m$_coincides_with the space of_solutions of the system $\Theta{\mathbf{x}}=-{\mathbf{y}}$, and_${\mathcal{L}}^n$ coincides with that of the_system ${{\Theta}^\intercal}{\mathbf{y}}={\mathbf{x}}$. It can be easily verified_that changing the sign in while_preserving it for the transposed_system does_not affect any of the_definitions and theorems_given in_Section \[sec:intro\].

For all_positive $h$ and $r$ let us_define parallelepipeds $$\begin{aligned}
_   M_{h,r}=\Big\{ {\mathbf{z}}\in{\mathbb{R}}^d \,\Big|\