その量子状態、もつれあっています？

# この記事について
かなり、初歩な話です。
2量子系がもつれあう（エンタングル）状態は、後述4つのベル状態で示されます。

* 一方で、ベル状態でない2量子系は、なぜ、もつれ合っていないのか？
* この素朴な疑問について、考察してみたいと思います。

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

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}}
```

# ベル状態
下記のとおり、2量子系のもつれ合いは、4つのベル状態で表現されます。

```math
\displaylines{
\ket{B_{00}} = \frac{1}{\sqrt{2}}(\ket{00}+\ket{11}) 
\ \ \ \ \ \ \ \ 
\ket{B_{10}} = \frac{1}{\sqrt{2}}(\ket{00}-\ket{11}) 
\\
\ket{B_{01}} = \frac{1}{\sqrt{2}}(\ket{01}+\ket{10}) 
\ \ \ \ \ \ \ \ 
\ket{B_{11}} = \frac{1}{\sqrt{2}}(\ket{01}-\ket{10}) 
\\
}
```

# 素朴な疑問
似て非なる、下記はなぜもつれ合いでは無いのでしょうか？

```math
\ket{\psi_{x}} = \frac{1}{\sqrt{2}}(\ket{01}+\ket{11}) 
\ \ \ \ \ \ \ \ 
\ket{\psi_{y}} = \frac{1}{\sqrt{2}}(\ket{00}-\ket{01}) 
```

理由としては、2量子系のテンソル積を1量子系に分解できるからです。
上記２状態は、下記のように、2つの量子状態に分解でき、
それぞれの量子をブロッホ球上で指し示すことができます。

```math
\displaylines{
\ket{\psi_{x}} = \frac{1}{\sqrt{2}}(\ket{01}+\ket{11})  
= \frac{1}{\sqrt{2}}(\ket{0}+\ket{1}) \otimes \ket{1} 
= \color{red}{\ket{+} \otimes \ket{1} }
\\

\ket{\psi_{y}} = \frac{1}{\sqrt{2}}(\ket{00}-\ket{01})  
= \ket{0} \otimes \frac{1}{\sqrt{2}}(\ket{0}-\ket{1})  
= \color{red}{\ket{0} \otimes \ket{-} } 
}
```

# なぜ分解できるともつれ合っていないのか？
分解できるからもつれ合っていないよね。で終わらせて見ても良いのですが、、
なぜ分解できるともつれ合っていないのでしょうか？


```math
\ket{\psi_{a}} = a_0\ket{0} + a_1\ket{1}
\ \ \ \ \ 
\ket{\psi_{b}} = b_0\ket{0} + b_1\ket{1}
```

という状態に対し、２量子系は、下記のように表現できます。

```math
\ket{\psi_{ab}} = 
a_0b_0\ket{00} + 
a_0b_1\ket{01} +
a_1b_0\ket{10} +
a_1b_1\ket{11} 
```

上記形式で、冒頭の$\ket{B_{00}}$を表現すると下記のように示せます。

```math
\ket{B_{00}} = 
\frac{1}{\sqrt{2}} \times \ket{00} + 
0 \times \ket{01} +
0 \times \ket{10} +
\frac{1}{\sqrt{2}} \times \ket{11} 
```

つまり、ベル状態について、確率振幅を整理すると下記のように表現できます。

|確率振幅|ket|$\ket{B_{00}}$|$\ket{B_{10}}$|$\ket{B_{01}}$|$\ket{B_{11}}$|
|:---:|:---:|:---:|:---:|:---:|:---:|
|$\color{red}{a_0} \color{green}{b_0}$|$ \color{gray}{\ket{00}}$|$1/\sqrt{2}$|$1/\sqrt{2}$|$\color{red}{0}$|$\color{red}{0}$|
|$\color{red}{a_0} \color{orange}{b_1}$|$\color{gray}{\ket{01}}$|$\color{red}{0}$|$\color{red}{0}$|$1/\sqrt{2}$|$1/\sqrt{2}$|
|$\color{blue}{a_1} \color{green}{b_0}$|$\color{gray}{\ket{10}}$|$\color{red}{0}$|$\color{red}{0}$|$1/\sqrt{2}$|$-1/\sqrt{2}$|
|$\color{blue}{a_1} \color{orange}{b_1}$|$\color{gray}{\ket{11}}$|$1/\sqrt{2}$|$-1/\sqrt{2}$|$\color{red}{0}$|$\color{red}{0}$|

$\ket{00}$について考えてみると、

* $\color{red}{a_0} \color{orange}{b_1} = 0$ より、$\color{red}{a_0}$と$\color{orange}{b_1}$のどちらかは、$0$
* $\color{blue}{a_1} \color{green}{b_0} = 0$ より、$\color{blue}{a_1}$と$\color{green}{b_0}$のどちらかは、$0$

つまり、4変数中2変数は$0$なはずだが、

* 仮に、$\color{red}{a_0}=0$だとすると、$\color{red}{a_0} \color{green}{b_0} = 1/\sqrt{2}$が成り立たない。
* 仮に、$\color{green}{b_0}=0$だとすると、$\color{red}{a_0} \color{green}{b_0} = 1/\sqrt{2}$が成り立たない。
* 仮に、$\color{orange}{b_1}=0$だとすると、$\color{blue}{a_1} \color{orange}{b_1} = 1/\sqrt{2}$が成り立たない。
* 仮に、$\color{blue}{a_1}=0$だとすると、$\color{blue}{a_1} \color{orange}{b_1} = 1/\sqrt{2}$が成り立たない。

つまり、２量子がもつれ合った状態としては成り立つのだが、


```math
\ket{\psi_{a}} = \color{red}{a_0}\ket{0} + \color{blue}{a_1}\ket{1}
\ \ \ \ \ 
\ket{\psi_{b}} = \color{green}{b_0}\ket{0} + \color{orange}{b_1}\ket{1}
```

という、単一量子状態で表現しようとすると、確率振幅が決めきれない状態。
つまり、ブロッホ球で表現できない状態。が、２量子系のもつれ合い。と理解できます。

# おまけ
最後におまけ程度で触れておこうと思います。
下記は、もつれあっているでしょうか？

```math
\ket{\psi_1} = \frac{1}{\sqrt{2}}(\ket{11}-\ket{00}) 
\ \ \ 
\ket{\psi_2} = \frac{1}{\sqrt{2}}(\ket{10}-\ket{01}) 
```

似て非なる形ですが、マイナスをくくりだすとベル状態となります。
この先頭のマイナスは、相対位相（$\ket{0}と\ket{1}$の大小）には無関係で、
式全体に係るグローバル位相なので、観測上無視されます。（詳細は、[こちらの記事で](https://qiita.com/shnchr/items/a8d6b22c5780f1d7b871)）

```math
\displaylines{
\ket{\psi_1} = \frac{1}{\sqrt{2}}(\ket{11}-\ket{00}) =  \color{red}{-}\frac{1}{\sqrt{2}}(\ket{00}-\ket{11}) = \color{red}{-}\ket{B_{10}}
\\
\ket{\psi_2} = \frac{1}{\sqrt{2}}(\ket{10}-\ket{01}) =  \color{red}{-}\frac{1}{\sqrt{2}}(\ket{01}-\ket{10}) = \color{red}{-}\ket{B_{11}}
}
```

よって、上記はベル状態なのでもつれあっています。