ブロッホ球と各種ゲートの関係

# この記事について
前回は、下記でパウリゲートを見てきましたが、今回は量子状態の表現方法であるブロッホ球を扱います

https://qiita.com/shnchr/items/d0702c441cec472096f4

上記では触れることができなかった下記３点についてまとめてみたいと思います。

 * ブロッホ球と計算基底( |0> |1> )以外の正規直交基底
 * ブロッホ球と各ゲート（$X,Y,Z,H,S,T$）の関係（回転）

また、他の量子コンピュータ関係の他の記事は、下記で紹介しています。

https://qiita.com/shnchr/items/41fa7fd1284d74007a7c

```math
\newcommand{\bra}[1]{\left\langle #1 \right|}
\newcommand{\ket}[1]{\left| #1 \right\rangle}
\newcommand{\bracket}[2]{\left\langle #1 \middle| #2 \right\rangle}
\newcommand{\tate}[2]{\begin{bmatrix} #1 \\ #2 \end{bmatrix}}
\newcommand{\yoko}[2]{\begin{bmatrix} #1 & #2 \end{bmatrix}}
\newcommand{\mtrx}[4]{\begin{bmatrix} #1 & #2 \\ #3 & #4 \end{bmatrix}}
```

# ブロッホ球と正規直交基底
## 量子状態の表現
[以前の記事](https://qiita.com/shnchr/items/d0702c441cec472096f4#%E9%87%8F%E5%AD%90%E7%8A%B6%E6%85%8B%E3%81%AE%E8%A1%A8%E7%8F%BE)でも触れたように、重ね合わせ状態を表現するために下記のように表現します。

```math
|\psi〉 = \alpha\ket{0} + \beta\ket{1}\ \ \ \ \alpha ,\beta \in \mathbb{C_{複素数}} 
```

α,βは複素数で実部、虚部があるため自由度は4となります。

```math
\displaylines{
\alpha = a_{①実部} + a_{②虚部}i \\
\beta  = b_{③実部} + b_{④虚部}i
}
```

ただし、規格化条件により下記を満たす必要があり、この束縛で自由度は3となります。

```math
|\alpha|^2 + |\beta|^2 = 1
```

上記の規格化条件により、量子の状態ベクトル( $\ket{\psi}$ )の長さは常に１となります。
自由度３ということで３次元空間があれば、状態ベクトルが可視化できそうというのがブロッホ球のアイディアです。具体的には下記のような見た目となります。[^1]

## ブロッホ球
これまで扱ってきた計算基底（$\ket{0}\ket{1}$)をZ軸上に配置されます。Z軸上に存在する背景からZ基底とも呼ばれます。

なお、先程から議論がある$\ket{0}\ket{1}$の重ね合わせ状態は、$\ket{\psi}$ がX-Y平面上の円周（破線）上に存在するときに、同確率で重ね合わせになっている状態となります。
下記はWikipediaより引用しています。[^1]

<img src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/d1127349-3a40-4703-fe0a-2980530dce47.png"/>

単位円（球）上に、状態ベクトル( $\ket{\psi} $ )が存在する状況を、三角関数を用いて下記のように表現します。

```math
\ket{\psi} = e^{i\gamma} \left(cos\dfrac{\theta}{2}\ket{0} + e^{i\varphi}sin\dfrac{\theta}{2}\ket{1} \right)
```

ちょっとムズカシイ式なので、分解して部分毎に意味を解釈していきましょう。
注意点としてはパラメータ３つのうち$\theta$は$1/2$が掛かっている為、$\theta$に関しては１回転が、$4\pi$となります。

複雑な数式ですが３つ（青、赤、緑）のパートに分解し、理解を進めたいと思います。

```math
\ket{\psi} = \color{green}{e^{i\gamma}} \color{blue}{\left(cos\dfrac{\theta}{2}\ket{0} + \color{red}{e^{i\varphi}}sin\dfrac{\theta}{2}\ket{1} \right)} 
```

### ①Z軸方向（垂直方向）
Z軸方向の制御ですが、②③が1の時( $\color{green}{e^{i\gamma}}  =\color{red}{e^{i\varphi}} = 1)$下記のように表現できます。
$\theta/2$という部分は特殊ですが、単位円を描く事ができる数式で、$\theta$を用いてZ軸に対する方向を制御することで、重ね合わせ状態での0と1の存在確率を制御できます。

```math
①Z軸方向の制御\ = \color{green}{1} × \color{blue}{\left(cos\dfrac{\theta}{2}\ket{0} + \color{red}{1}×sin\dfrac{\theta}{2}\ket{1} \right) \\= cos\dfrac{\theta}{2}\ket{0} + sin\dfrac{\theta}{2}\ket{1}}
```

### ②XY平面（水平方向）
XY平面は$e^{i\varphi}$を複素平面に対応させると、こちらもやはり単位円を描く事ができます。
XY平面（水平方向）での状態ベクトルの位置を制御します。

```math
②XY平面の制御\ = \color{red}{e^{i\varphi} = cos\ \varphi + i\ sin\ \varphi \\}
```

### ③全体に係る係数（位相）
式全体に係る$e^{i\varphi}$ですが、こちらはブロッホ球上には表現されません。
式全体に係る位相であるため、グローバル位相(global phase)という名前もついているようです。

```math
③式全体に係る係数\ = \color{green}{e^{i\gamma} = cos\ \gamma + i\ sin\ \gamma}
```

正規直交基底に対して各種ゲート操作を適用すると、式でくくり出しが可能な式全体に係る下記のような係数が出現します。

```math
+1,+i,-1,-i 
```

計算結果の観測は$\ket{0},\ket{1}$の相対的な関係を観測する背景で、式全体に係る係数（位相）は、量子状態の観測結果には直接影響を与えない（観測できない）ので意識する必要は無いのですが、観測前の量子状態としてはグローバルな位相が内在するはずですので、数理モデル（ブロッホ球）上は必要となるため、数式上現れています。

なお、グローバル位相については、「[ブロッホ球のグローバル位相について](https://qiita.com/shnchr/items/a8d6b22c5780f1d7b871)」にまとめています。

### 各パラメータと正規直交基底の関係
各パラメータの意味と、正規直交基底との対応をまとめると下記のとおりとなります。
なお、$\ket{+}\ket{-}\ket{i}\ket{i-}$については、次項で説明します。

|パラメタ|ブロッホ球上の意味|正規直交基底との対応|
|:---:|:---:|:--:|
|$\theta$|Z軸に対する角度|$\ket{0}の時、\theta = 0$ですが、<br/>$\ket{1}の時、\theta = 2\pi$（注意）|
|$\phi$|X-Y平面での<br/>X軸に対する角度|$\ket{+}の時、\varphi = 0$<br/>$\ket{-}の時、\varphi = \pi$<br/>$\ket{i}\ \ の時、\varphi = \pi/2$<br/>$\ket{i-}の時、\varphi = 3\pi/2$|<br/>|
|$\gamma$|グローバル位相<br/>※ブロッホ球上現れない|正規直交基底に対しくくり出せる<br/>状態ベクトル全体への係数として存在|

## ブロッホ球上の正規直交基底
### 計算基底（Z基底）
計算基底はZ軸上に存在するのでZ基底とも呼ばれます、下記の左が$\ket{0}$で、右が$\ket{1}$となります。

|$\ket{0}$|$\ket{1}$|
|:--:|:--:|
|<img width=300 src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/a10326a7-287d-86db-8386-b6515d70b198.png">|<img width=300 src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/b34aab3f-0c18-9160-8221-cedb3074b5d7.png">|

### X軸、Y軸上の正規直交基底
$\ket{0}と\ket{1}$ の重ね合わせは、水平方向（X-Y）平面で表現されるのですが、代表的な４点について紹介しておきます。

#### アダマール基底（X基底）
X軸方向に存在するのが、アダマール基底（$\ket{+}\ket{-}$)で、計算基底（$\ket{0}\ket{1}$)に対して後述するH（アダマール）ゲートを適用すると、この状態となります。

|$\ket{+}=\frac{\ket{0}+\ket{1}}{\sqrt{2}}$|$\ket{-}=\frac{\ket{0}-\ket{1}}{\sqrt{2}}$|
|:--:|:--:|
|<img width=300  src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/bd0e1caa-221c-bd73-53d5-6d5c2669f61d.png">|<img width=300 src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/51de9cec-22fe-dac7-4a25-dd40a4377b65.png">|

#### 円基底（Y基底）[^2]
Y軸方向に存在するのが、円基底（$\ket{i}\ket{i-}$)で、アダマール基底（$\ket{+}\ket{-}$）に対して、X-Y平面で90度($\pi/2$)回転したものがそれぞれ$\ket{i}\ket{i-}$です。

[^2]: Circular Basis

|$\ket{i}=\frac{\ket{0}+i\ket{1}}{\sqrt{2}}$|$\ket{i-}=\frac{\ket{0}-i\ket{1}}{\sqrt{2}}$|
|:--:|:--:|
|<img width=300 src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/8f55f880-3785-fac7-71fe-ea198de09cf8.png">|<img width=300 src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/2e7fad38-2a76-753b-0864-1a69bfc90808.png">|

# ブロッホ球とパウリゲート
## 「重ね合わせ無し」でのゲート適用
「重ね合わせ」がない状態では、状態ベクトルはZ軸上にのみ存在する為、利用する基底は計算基底(Z基底)のみとなります。

![download.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/ce4bef5a-08fb-04bf-ef2b-7db75af1efa5.png)

[この記事](https://qiita.com/shnchr/items/d0702c441cec472096f4#%E3%83%91%E3%82%A6%E3%83%AAzy%E3%82%82%E8%A6%8B%E3%81%A6%E3%81%BF%E3%82%8B)で整理させて頂いたとおり、パウリゲート（XZY）下記の操作となります。

||行列で表現|bra-ket($\ket{0}\ket{1}$)を使って表現|一般化してみると($a \in \{0,1}$)|
|:---:|:---:|:---:|:---:|
|$pauli$-$X$ <br><br> bit-flip|<img width=100 src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/dce1e835-459d-3ff8-7848-7d03aa743a20.png">|$X\ket{0} = \ket{1}$<br/>$X\ket{1} = \ket{0}$|$X\ket{a} = \ket{\bar{a}}$|
|$pauli$-$Z$ <br><br> phase-flip|<img width=100 src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/ca3ed54f-1451-807b-e60f-703f50400b2b.png">|$Z\ket{0} = \ket{0}$<br/>$Z\ket{1} = -\ket{1}$|$Z\ket{a} = (-1)^{a}\ket{a}$|
|$pauli$-$Y$ <br><br> bit-flip <br> + phase-flip <br> + global-phase|<img width=100 src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/73d37c9a-b279-a4ab-02d2-5b200a1e804f.png">|$Y\ket{0} = i\ket{1}$<br/>$Y\ket{1} = -i\ket{0}$|$Y\ket{a} = (-1)^{a}i\ket{\bar{a}}$|

パウリゲートのうち、$\ket{0}→\ket{1}、\ket{1}→\ket{0}$と、反転が行えるゲートは$XとY$です。
具体的には、下記の演算となります。
Yゲートでは、$i,-i$等が付きますが、後ほど説明しますので、一旦、計算基底は反転している事実を理解してください。

```math
\displaylines{
X\ket{0} = 1 × \ket{1}\\
Y\ket{0} = i × \ket{1}\\
X\ket{1} = 1 × \ket{0}\\
Y\ket{1} = -i × \ket{0}
}
```

なぜ、パウリ$X,Y$がZ基底（$\ket{0},\ket{1}$）を反転できるか？というと、実を言うと、パウリ$X,Y$はそれぞれブロッホ球上でのX軸、Y軸を中心とした$\pi(180^{\circ})$回転を意味します。アニメーションにするとこんなイメージです。

### パウリX（X軸を中心にπ回転）

|$X\ket{0} = \ket{1}$|$X\ket{1} = \ket{0}$|
|:--:|:--:|
|$\ket{0}$から$X$軸を中心に$\pi$回転し、$\ket{1}$に|$\ket{1}$から$X$軸を中心に$\pi$回転し、$\ket{0}$に|
|<img width=300 src=https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/a39e8091-64ce-bad8-8867-5eecfa5698c9.gif>|<img width=300 src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/3bfe5739-909b-0352-1a5b-d2f850dc0719.gif">|

### パウリY（Y軸を中心にπ回転）
|$Y\ket{0} = i\ket{1}$|$Y\ket{1} = -i\ket{0}$|
|:--:|:--:|
|$\ket{0}$から$Y$軸を中心に$\pi$回転し、$\ket{1}$に|$\ket{1}$から$Y$軸を中心に$\pi$回転し、$\ket{0}$に|
|<img width=300 src=https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/d8bef22d-9bcb-2875-f4a6-138d9916b82d.gif>|<img width=300 src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/cbe9d2d5-aae3-7b0f-0f5c-c05bc545654f.gif">|

### パウリZ（Z軸を中心にπ回転）
|$Z\ket{0} = \ket{0}$|$Z\ket{1} = -\ket{1}$|
|:--:|:--:|
|$\ket{0}$から$Z$軸を中心に$\pi$回転し、$\ket{0}$に<br>**Z軸回転しても結果変わらず**|$\ket{1}$から$Z$軸を中心に$\pi$回転し、-$\ket{1}$に<br>**Z軸回転しても結果変わらず**|
|<img width=300 src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/a10326a7-287d-86db-8386-b6515d70b198.png">|<img width=300 src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/b34aab3f-0c18-9160-8221-cedb3074b5d7.png">|

### 回転するもの、しないもの
ブロッホ球上では、パウリゲートの適用は回転として扱えることを見てきました。

* **$Z$基底**（計算基底の$\ket{0},\ket{1}$)に対して、**パウリ$X,Y$は$\pi$回転した。**
* **$Z$基底** に対して、**パウリ$Z$は変化無し。**

という結果となりました、パウリゲートの適用を回転として扱うと、その回転軸上の正規直交基底は、位相以外は変化しませんでした。
これは、他のX基底、Y基底でも成り立つ事実で、

* 基底と**同一の軸**のパウリゲートは、状態ベクトルを**変化させない**　（位相以外）
* 基底と**異なる軸**のパウリゲートは、状態ベクトルを**変化させる**

という整理ができます。

### 「重ね合わせなし」での基底とパウリゲートの関係性
Z基底に関しては、Zゲートは変化なし、XYゲートは$\ket{0} \leftrightarrow\ket{1}$と反転するので整理すると下記のような状況となります。

<img width="250px" src=https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/b508df08-64de-a118-f1e1-a02f7d37e3bc.png>



## 「重ね合わせ有り」でのゲート適用
### アダマール（H）ゲートと重ね合わせ
今までは、状態ベクトルがZ軸上のみで、重ね合わせがない状態でしたが重ね合わせを考慮していきます。
状態ベクトルの表現を再度見直すと下記のとおりで、$\ket{0}と\ket{1}$の重ね合わせ状態を作るのですが、
アダマール($H$)ゲートが必要となるのでここで導入します

```math
|\psi〉 = \alpha\ket{0} + \beta\ket{1}\ \ \ \ \alpha ,\beta \in \mathbb{C_{複素数}} 
```

### アダマール(H)ゲート
さきにパウリと同様に$H$ゲートの各表現をしめしておきます。

||行列で表現|bra-ketを使って表現|一般化してみると($a \in \{0,1}$)|
|:---:|:---:|:---:|:---:|
|$Hadamard$ <br><br> superposition |<img width="150" src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/9252bddc-4a5b-420c-7868-e72c22059913.png">|$H\ket{0} = \ket{+}$<br/>$H\ket{1} = \ket{-}$|$H\ket{a} = \frac{1}{\sqrt{2}}\sum_{b=0,1}(-1)^{ab}\ket{b}$|

まずは、行列表現について見て行きたいと思います。

```math
\displaylines{
H\ket{0} = \frac{1}{\sqrt{2}}\mtrx{1}{1}{1}{-1}\tate{1}{0} = \tate{\frac{1}{\sqrt{2}}}{\frac{1}{\sqrt{2}}} \\
\leftrightarrow \frac{1}{\sqrt{2}}\ket{0} + \frac{1}{\sqrt{2}}\ket{1}  = \ket{+} 
}
```

一般化された表現も見ていきます。
こちらは$\ket{1}$の時がチョット複雑なので、両方計算しておきたいと思います。
$\ket{0}$の時は、マイナスが$(-1)^{0 \times b}$でキャンセルされます。

```math
H\ket{0} = \frac{1}{\sqrt{2}}\sum_{b=0,1}(-1)^{0 \times b}\ket{b} =  \frac{1}{\sqrt{2}}(\ket{0} + \ket{1}) = \ket{+}
```

$\ket{1}$の時は、マイナス部分が$(-1)^{b}$となり、$b=1$の時のみマイナスとなる仕掛けです

```math
H\ket{1} = \frac{1}{\sqrt{2}}\sum_{b=0,1}(-1)^{b}\ket{b} =  \frac{1}{\sqrt{2}}((-1)^{0}\ket{0} + (-1)^{1}\ket{1}) = \ket{-}
```

### ブロッホ球上でのアダマールゲート
アダマール（$H$）ゲートは、X,Z軸のちょうど中間（$45^{\circ}$）を回転軸として、$\pi(180^{\circ})$回転します。
詳細は、下記ご確認ください。

https://qiita.com/shnchr/items/cb47015b3f6dbb59d539#hhadamard%E3%82%B2%E3%83%BC%E3%83%88%E3%81%A8%E3%81%AF

その結果、

* $\ket{0} \rightarrow \ket{+}$
* $\ket{1} \rightarrow \ket{-}$

といったように、
Z基底とX基底間の移動を行い、X基底上の重ね合わせ状態($superposition$)に移行します。

|$H\ket{0} = \ket{+}$|$H\ket{1} = \ket{-}$|
|:--:|:--:|
|$\ket{0}$から$\ket{+}$に|$\ket{1}$から$\ket{-}$に|
|<img width=300 src=https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/f5e689ae-8dde-b2a8-861d-26a0682e8b90.gif>|<img width=300 src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/b08dc3bd-c237-87e4-f988-853451b91811.gif">|


### 「重ね合わせあり」での基底とパウリゲートの関係性
$Z$基底($\ket{0}\ket{1}$)の状態ベクトルに$H$ゲートを適用すると、$X$基底（$\ket{+}\ket{-}$）に移行するため、先程の関係図に右部分を追加しました。
$X$基底内に関しては、$Z$基底と同様に同一軸（$X$ゲート）の適用では状態は変化せず、$X$以外の$Y,Z$ゲートが、$X$基底内で状態を$\ket{+} \leftrightarrow \ket{-}$と変化させます。

<img width="500px" src=https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/ada1f690-4c38-4046-7f91-5f31e13f641f.png>


## Y基底への到達方法
$Z$基底($\ket{0}\ket{1}$)から、$X$基底（$\ket{+}\ket{-}$）は$H$ゲートで到達できましたが、$Y$基底（$\ket{i},\ket{i-}$）へはどのように到達すれば良いでしょうか？
$X$基底（$\ket{+}\ket{-}$）から水平方向（Z軸を中心）に、$\pi/2(90^{\circ})$回転させれば$Y$基底（$\ket{i},\ket{i-}$）に到達しますが、Z軸を中心に回転する$Z$ゲートの回転は$\pi(180^{\circ})$であるため、$Z$ゲートの半分の回転が必要となります。
そこで、回転角が$1/2$や$1/4$のゲートを導入します。

### S,Tゲート
さきにアダマールと同様に$S,T$ゲートの各表現をしめしておきます。

||行列で表現|bra-ketを使って表現|一般化してみると($a \in \{0,1}$)|
|:---:|:---:|:---:|:---:|
|$S$-$gate$|<img width="100" src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/fbbe9a5f-9de8-719d-189c-65e94fe369f2.png">|$S\ket{+} = \ket{i}$<br/>$S\ket{-} = \ket{i-}$|$S\ket{a} = (i)^{a}\ket{a}$|
|$T$-$gate$|<img width="100" src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/0b3a22f5-c84c-60ea-4114-d193c47da2d5.png">|$T^{2}\ket{+} = \ket{i}$<br/>$T^{2}\ket{-} = \ket{i-}$|$T\ket{a} = (e^{i\pi/4})^{a}\ket{a}$|

計算を確認しておきます。

```math
\displaylines{
S\ket{+} = \mtrx{1}{0}{0}{i}\tate{\frac{1}{\sqrt{2}}}{\frac{1}{\sqrt{2}}} = \tate{\frac{1}{\sqrt{2}}}{\frac{1}{\sqrt{2}}i} \\
\leftrightarrow \frac{1}{\sqrt{2}}\ket{0} + \frac{1}{\sqrt{2}}i\ket{1}  = \ket{i}
}
```

Tに関して2乗して、Sになることを確認します。

```math
T^2 = \mtrx{1}{0}{0}{e^{i\pi/4}}\mtrx{1}{0}{0}{e^{i\pi/4}} = \mtrx{1}{0}{0}{e^{i\pi/2}}
```

$e^{i\pi/2}$は複素平面では下記となり、$i$となるのでSと一致します

```math
e^{i\pi/2} = cos\frac{\pi}{2} + i\ sin\frac{\pi}{2} = i \ \ \ \  \therefore T^2 = \mtrx{1}{0}{0}{i} = S  
```

同様に、一般化された式の方も確認しておきます。

```math
\displaylines{
S\ket{+} = \frac{1}{\sqrt{2}} S(\ket{0} + \ket{1}) = \frac{1}{\sqrt{2}} ((i)^{0}\ket{0} + (i)^{1}\ket{1} = \ket{i}
\\
T^{2} = ((e^{i\frac{\pi}{4}})^{a})^2\ket{a} = (e^{i\frac{\pi}{4}\times2})^{a}\ket{a} =(e^{i\frac{\pi}{2}})^{a}\ket{a} = (i)^{a}\ket{a} = S
}
```

Z軸を中心とした回転ということで、$Z,S,T$の関係を整理しておくと下記となります。

```math
S^{2} = ((i)^a)^2\ket{a} = ((i)^2)^a\ket{a} = (-1)^a\ket{a} = Z
```
よって、

```math
\therefore Z = S^{2} = T^{4}
```

### ブロッホ球上でのS,Tゲート

#### Sゲート
|$S\ket{+} = \ket{i}$|$S\ket{-} = \ket{i-}$|
|:--:|:--:|
|$\ket{+}$から$Z$軸を中心に$\pi/2$回転し、$\ket{i}$に|$\ket{-}$から$Z$軸を中心に$\pi/2$回転し、$\ket{i-} $に|
|<img width=300 src=https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/94282b61-beb1-a838-8392-653718a46bbf.gif>|<img width=300 src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/a65bcb8d-3882-1615-b409-e679dfcd0e75.gif">|

#### Tゲート
|$T\ket{+}$|$T\ket{-}$|
|:--:|:--:|
|$\ket{+}$から$Z$軸を中心に$\pi/4$回転|$\ket{-}$から$Z$軸を中心に$\pi/4$回転|
|<img width=300 src=https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/82e92dc6-d2f3-127e-934a-9b80670afea9.gif>|<img width=300 src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/6530911b-cbb5-c93f-b55e-06a23823c050.gif">|

### 各種基底とパウリゲートの関係性
$S,T$ゲートを導入することで、$X$基底($\ket{+}\ket{-}$)から$Y$基底($\ket{i}\ket{i-}$)に到達できました。
最後にこれまでの各種基底とゲートの関係性をまとめると下記となります。
$Z$基底は重ね合わせがない状態、$X,Y$基底は重ね合わせ状態であり、$H$ゲートが重ね合わせにおいて重要な役割を担っている事がわかります。

![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/183826/28e585ae-774e-7ed3-af7e-991b9f1aa796.png)

# まとめ
本稿では、正規直交基底（$X,Y,Z$基底）の説明と各種ゲートがどのように作用するかを、ブロッホ球をぐるぐるしながら整理しました。

* グローバル位相については、重ね合わせ状態（$X,Y$基底）に対してパウリゲートを適用する計算をすると、$\ket{0}と\ket{1}$の相対的な関係には影響を及ぼさない（式としてくくり出せる）係数が出現し、ブロッホ球の数式表現として必要であることが理解できるので、次回以降で確認していこうと思います。
    * 記事化しました　→　[ブロッホ球のグローバル位相について](https://qiita.com/shnchr/items/a8d6b22c5780f1d7b871)

* また、本稿で基本ゲートはすべて導入したので残りは、回転ゲート($Rx,Ry,Rz$)と、Cnot等の$controled-U$ゲートとなります。これも別途、まとめる予定です。

* その後に、量子テレポーテーションや超高密度符号化実験等もやれれば良いと考えています。

（記事化しました）

https://qiita.com/shnchr/items/841e8ec7e7b6b39c572c

https://qiita.com/shnchr/items/cbbaacf9e6f5f248c0d8


長文となりましたが、お付き合いありがとうございます。


[^1]: https://ja.wikipedia.org/wiki/%E3%83%96%E3%83%AD%E3%83%83%E3%83%9B%E7%90%83 より引用