,\beta,\delta,\omega\in \mathbb{R}$.$\hfill\square$

\[lem2\] $T(2) \subseteq \mathcal{G}(H,P(\cdot))$.

We first note that the NOT-gate $$\label{eq7a}
X \equiv \left[\begin{array}{cc}
0&1\\ 1&0\end{array}\right]$$ can be obtained as $$\label{eq8a}
X = HP(-\pi)H.$$ Therefore $X\in \mathcal{G}(H,P(\cdot))$. From this, we have $$\label{eq9}
XP(\omega_1) XP(\omega_2) = \left[\begin{array}{cc}
0&1\\ 1&0\end{array}\right] \left[\begin{array}{cc}
1&0\\ 0&e^{i\omega_1}\end{array}\right] \left[\begin{array}{cc}
0&1\\ 1&0\end{array}\right] \left[\begin{array}{cc}
1&0\\ 0&e^{i\omega_2}\end{array}\right] = \left[\begin{array}{cc}
e^{i\omega_1}&0\\ 0&e^{i\omega_2}\end{array}\right],$$ for any given $\omega_1,\omega_2\in \mathbb{R}$. Therefore $\mathcal{G}(H,
P(\cdot))$ contains the maximal torus $T(2)$.

\[lem3\] $SO(2) \subseteq \mathcal{G}(H, P(\cdot))$.

For each rotation matrix $$R(\omega) = \left[\begin{array}{rl}
\cos \omega&\sin\omega\\ -\sin\omega&\cos\omega\end{array}\right],$$ we easily verify that $$\label{eq10}
R(\omega) = P\left(\frac\pi2\right) HP(\omega)X P(-\omega) HP\left(-
\frac\pi2\right).$$

\[thm4\] $\mathcal{G}(H,P(\cdot)) = U(2)$.

This follows immediately from Lemmas \[lem1\]–\[lem3\].

At this point, it should already be clear from the results in \[\[
, \beta,\delta,\omega\in \mathbb{R}$.$\hfill\square$ 

 \[lem2\ ] $ T(2) \subseteq \mathcal{G}(H, P(\cdot))$. 

 We first note that the NOT - gate $ $ \label{eq7a } 
 X \equiv \left[\begin{array}{cc } 
 0&1\\ 1&0\end{array}\right]$$ can be obtained as $ $ \label{eq8a } 
 X = HP(-\pi)H.$$ Therefore $ X\in \mathcal{G}(H, P(\cdot))$. From this, we get $ $ \label{eq9 } 
 XP(\omega_1) XP(\omega_2) = \left[\begin{array}{cc } 
 0&1\\ 1&0\end{array}\right ] \left[\begin{array}{cc } 
 1&0\\ 0&e^{i\omega_1}\end{array}\right ] \left[\begin{array}{cc } 
 0&1\\ 1&0\end{array}\right ] \left[\begin{array}{cc } 
 1&0\\ 0&e^{i\omega_2}\end{array}\right ] = \left[\begin{array}{cc } 
 e^{i\omega_1}&0\\ 0&e^{i\omega_2}\end{array}\right],$$ for any render $ \omega_1,\omega_2\in \mathbb{R}$. Therefore $ \mathcal{G}(H, 
 P(\cdot))$ contains the maximal torus $ T(2)$. 

 \[lem3\ ] $ SO(2) \subseteq \mathcal{G}(H, P(\cdot))$. 

 For each rotation matrix $ $ R(\omega) = \left[\begin{array}{rl } 
 \cos \omega&\sin\omega\\ -\sin\omega&\cos\omega\end{array}\right],$$ we easily affirm that $ $ \label{eq10 } 
 R(\omega) = P\left(\frac\pi2\right) HP(\omega)X P(-\omega) HP\left(- 
 \frac\pi2\right).$$ 

 \[thm4\ ] $ \mathcal{G}(H, P(\cdot) ) = U(2)$. 

 This follows immediately from Lemmas   \[lem1\]–\[lem3\ ]. 

 At this point, it should already be absolved from the resultant role in \[\ [
,\betw,\delta,\omega\in \mathbb{R}$.$\hfiul\square$

\[lem2\] $T(2) \sobweteq \kathcam{G}(H,P(\cdot))$.

De first note that the NOT-gave $$\lqbel{ew7a}
X \equiv \left[\begin{arrxy}{cc}
0&1\\ 1&0\end{agray}\right]$$ can ve obtainev as $$\labcj{eq8a}
S = HP(-\'i)I.$$ Therefore $X\in \mathcal{G}(H,[(\cdot))$. From thiv, de have $$\label{eq9}
XP(\omega_1) XP(\omega_2) = \left[\bqgin{arrsy}{fc}
0&1\\ 1&0\end{array}\rigrt] \ltft[\fegih{array}{cc}
1&0\\ 0&e^{i\omega_1}\end{array}\right] \left[\gegin{argay}{cc}
0&1\\ 1&0\end{array}\rignt] \left[\begin{array}{cc}
1&0\\ 0&e^{i\omegw_2}\end{wrray}\right] = \left[\behin{array}{cc}
e^{u\omedq_1}&0\\ 0&e^{i\omega_2}\end{xrray}\right],$$ for any givgn $\omega_1,\omega_2\in \mathbb{R}$. Thereford $\matkcal{G}(H,
P(\cdot))$ cintwhns the maxmmal tjrus $T(2)$.

\[lem3\] $SO(2) \subsetex \mathcsl{G}(H, P(\cdot))$.

For cach cotarion matrix $$R(\omega) = \lxft[\begin{array}{rl}
\cos \oiega&\sin\omagc\\ -\sin\omega&\cos\omega\end{qreay}\richt],$$ fe exwilh vtrihy fhat $$\lwbem{eq10}
R(\omega) = P\left(\frac\pu2\right) HP(\omega)X P(-\omtga) YP\left(-
\frac\pi2\rjght).$$

\[thi4\] $\iathcal{G}(H,P(\cdot)) = U(2)$.

This follows immediateny rrom Lemmas \[lem1\]–\[lem3\].

At thiw point, it should alrgady be clqar from the results in \[\[
,\beta,\delta,\omega\in \mathbb{R}$.$\hfill\square$ \[lem2\] $T(2) \subseteq \mathcal{G}(H,P(\cdot))$. We that NOT-gate $$\label{eq7a} \equiv \left[\begin{array}{cc} 0&1\\ $$\label{eq8a} = HP(-\pi)H.$$ Therefore \mathcal{G}(H,P(\cdot))$. From this, have $$\label{eq9} XP(\omega_1) XP(\omega_2) = \left[\begin{array}{cc} 1&0\end{array}\right] \left[\begin{array}{cc} 1&0\\ 0&e^{i\omega_1}\end{array}\right] \left[\begin{array}{cc} 0&1\\ 1&0\end{array}\right] \left[\begin{array}{cc} 1&0\\ 0&e^{i\omega_2}\end{array}\right] = \left[\begin{array}{cc} e^{i\omega_1}&0\\ for any given $\omega_1,\omega_2\in \mathbb{R}$. Therefore $\mathcal{G}(H, P(\cdot))$ contains the maximal torus $T(2)$. $SO(2) \mathcal{G}(H, For rotation matrix $$R(\omega) = \left[\begin{array}{rl} \cos \omega&\sin\omega\\ -\sin\omega&\cos\omega\end{array}\right],$$ we easily verify that $$\label{eq10} R(\omega) = P\left(\frac\pi2\right) P(-\omega) HP\left(- \frac\pi2\right).$$ \[thm4\] $\mathcal{G}(H,P(\cdot)) = U(2)$. This immediately from Lemmas \[lem1\]–\[lem3\]. this point, it should already clear the results \[\[
,\beta,\delta,\omega\in \mathbb{R}$.$\hfIll\square$

\[lEm2\] $T(2) \suBseTeq \MaThcaL{G}(H,P(\Cdot))$.

We first notE That The NOT-gate $$\label{eq7a}
X \equIv \lefT[\bEGin{aRRaY}{cc}
0&1\\ 1&0\enD{array}\rIGhT]$$ CAn bE oBtAinEd AS $$\lAbel{eQ8a}
X = hP(-\pi)H.$$ ThErefore $X\in \MatHcAl{G}(H,P(\cdot))$. FroM ThIs, we have $$\laBel{Eq9}
XP(\omega_1) XP(\oMegA_2) = \left[\bEgIn{aRRay}{cc}
0&1\\ 1&0\End{Array}\Right] \lEFt[\begiN{array}{cc}
1&0\\ 0&e^{I\oMEga_1}\end{ARray}\rigHT] \LeFt[\beGin{array}{cc}
0&1\\ 1&0\end{arraY}\RiGHt] \left[\begin{arrAy}{cc}
1&0\\ 0&e^{i\OmEGa_2}\END{arRay}\Right] = \left[\bEgIn{arrAY}{cc}
e^{i\omEGa_1}&0\\ 0&E^{I\OMegA_2}\End{array}\right],$$ For any given $\OMegA_1,\omega_2\In \MatHBb{R}$. TheReforE $\mAThcAl{G}(H,
P(\cdot))$ coNtaiNs the maxiMal torUS $T(2)$.

\[lem3\] $SO(2) \SUbseteq \MathcaL{G}(H, p(\cdOt))$.

FoR EaCh RotAtIOn mATrIx $$R(\OMegA) = \left[\begIn{ArRay}{rl}
\Cos \oMEGA&\Sin\oMegA\\ -\sin\Omega&\Cos\omega\end{arRay}\RighT],$$ We eAsily VerifY thaT $$\lAbel{eQ10}
R(\omegA) = P\lefT(\fRac\pi2\right) HP(\omeGa)X P(-\Omega) HP\leFt(-
\fRaC\pi2\RiGht).$$

\[thM4\] $\MathcaL{G}(H,p(\cdOt)) = U(2)$.

This Follows IMmeDiATELy From Lemmas \[lem1\]–\[lem3\].

At ThIS PoInt, it shoUld alrEAdY bE Clear froM tHe rEsulTS In \[\[
,\beta,\delta,\omega\in \m athbb{R}$. $\hfi ll\ squ ar e$
\[le m2\] $T(2) \su b sete q \mathcal{G}(H,P(\cdo t))$. 
W e fi r st  note  that t h eN O T-g at e$$\ la b el {eq7a }
X  \equiv  \left[\be gin {a rray}{cc}
0& 1 \\  1&0\end{a rra y}\right]$$can  be ob ta ine d  as $ $\l abel{ eq8a}X  = HP( -\pi)H.$$  T h erefor e  $X\in\ m at hcal {G}(H,P(\cdot))$. Fr o m this, we hav e $$\l ab e l{ e q 9}XP( \omega_1)XP (\ome g a_2) =\ le f t [ \be g in{array}{cc} 
0&1\\ 1&0\ e nd{ array} \r igh t ] \lef t[\be gi n {ar ray}{cc}
1& 0\\0&e^{i\om ega_1} \ end{arr a y}\righ t] \le ft[ \be gin{ a rr ay }{c c} 0&1 \ \1&0 \ end {array}\ ri gh t] \l eft[ \ b e g in{a rra y}{c c}
1& 0\\ 0&e^{i\om ega _2}\ e nd{ array }\rig ht]=\left [\begi n{arr ay }{cc}
e^{i\omeg a_1} &0\\ 0&e^ {i\ om ega _2 }\end { array} \ri ght ],$$ fo r any g i ven  $ \ o m eg a_1,\omega_2\in \m at h b b{ R}$. The refore $\ ma t hcal{G}( H, 
P( \cdo t ) )$ co ntai n sthe maxi mal to r us  $ T(2)$.
\ [lem3\ ]$SO (2)  \sub s eteq  \math cal{G}(H , P(\ c dot))$.

For e a ch rotation m a tr i x  $ $ R(\o meg a) = \left[ \beg i n{ar ray} { rl }
\ c os \o mega& \s i n\ o mega\\ -\sin\omega& \c os\ome ga\en d{array}\righ t],$$ we e a s i ly verif y th a t$ $\label{eq10}R(\om ega) = P\l e ft(\frac \pi2\ right) H P(\omega) X P(-\omeg a)HP\ lef t(- \ fr ac\pi2\right) . $ $

\ [t hm4\] $ \ma thcal{G }(H ,P( \cd ot) )= U(2)$.
This fo ll ow sim med iatel y  from Le mm as\[ lem 1\]–\ [ lem3\] .

At  thi spo i nt,  it sho u ld a lrea dy  b e cl ear  f rom t he r e sul ts in \ [\[
,\beta,\delta,\omega\in \mathbb{R}$.$\hfill\square$

\[lem2\]_$T(2) \subseteq_\mathcal{G}(H,P(\cdot))$.

We first note that_the NOT-gate_$$\label{eq7a}
X_\equiv \left[\begin{array}{cc}
0&1\\_1&0\end{array}\right]$$_can be obtained_as $$\label{eq8a}
X =_HP(-\pi)H.$$ Therefore $X\in \mathcal{G}(H,P(\cdot))$._From this, we_have_$$\label{eq9}
XP(\omega_1) XP(\omega_2) = \left[\begin{array}{cc}
0&1\\ 1&0\end{array}\right] \left[\begin{array}{cc}
1&0\\ 0&e^{i\omega_1}\end{array}\right] \left[\begin{array}{cc}
0&1\\ 1&0\end{array}\right] \left[\begin{array}{cc}
1&0\\ 0&e^{i\omega_2}\end{array}\right] = \left[\begin{array}{cc}
e^{i\omega_1}&0\\ 0&e^{i\omega_2}\end{array}\right],$$_for_any given_$\omega_1,\omega_2\in_\mathbb{R}$._Therefore $\mathcal{G}(H,
P(\cdot))$ contains the maximal_torus $T(2)$.

\[lem3\] $SO(2) \subseteq \mathcal{G}(H,_P(\cdot))$.

For each_rotation matrix $$R(\omega) = \left[\begin{array}{rl}
\cos \omega&\sin\omega\\ -\sin\omega&\cos\omega\end{array}\right],$$ we_easily_verify that $$\label{eq10}
R(\omega)_= P\left(\frac\pi2\right) HP(\omega)X P(-\omega) HP\left(-
\frac\pi2\right).$$

\[thm4\] $\mathcal{G}(H,P(\cdot)) = U(2)$.

This follows_immediately from Lemmas \[lem1\]–\[lem3\].

At this point, it_should already be_clear_from_the results in \[\[