量子信息-学习记录2

ch.2. 量子电路模型

2.1. 信息与计算属于物理概念

计算机科学与物理体系的对比

计算机科学	物理体系
计算	运动
输入	始态
规则	运动定律
输出	末态

(Rolf Landauer, 1961)：信息是物理的，它被编码于物理系统的状态中
(David Deutsch 1985)：计算是物理过程，它体现于实际的可逆物理过程中

经典信息可以被编码于经典体系，而量子信息则可以被编码于量子体系
经典计算可以被编码于经典物理过程，而量子计算则可以被编码于量子物理过程

2.2. 量子信息和量子计算的定义

定义：（理论物理）QIC是对使用量子力学的基本原理进行信息处理与计算的研究

定义：（实验物理）QIC是对在量子力学体系中进行信息处理和计算的研究

经典力学是量子力学，但量子力学不是经典力学

定义：（经典信息）QIC是对结合量子体系与经典体系去进行信息处理和计算的研究

定义：（量子力学）QIC代表了量子力学与从信息和计算中对量子力学基本原理的理解的当代发展（当代量子力学=量子信息）

2.3. Qubit

全名：Quantum Binary Digit
是量子信息的最小单位

取值范围集是二维的希尔伯特空间${\mathcal{H}}_2$= s p a n { ∣ 0 ⟩ , ∣ 1 ⟩ } span\{|0\rangle, |1\rangle\} span{∣0⟩,∣1⟩}

态：$\alpha |0⟩+\beta |1⟩,\alpha ,\beta \in C,|\alpha {|}^2+|\beta {|}^2=1$
根据线性叠加原理，藏在${\mathcal{H}}_2$中的信息是无限多的

复制：无克隆定理。没有完美的量子复制机
测量：由量子跃迁或波函数坍塌导致的不可逆过程
物理实现：电子自旋或光子极化

态矢组成一个qubit，$|0⟩,|1⟩$称之为计算的基
$$|\psi ⟩=\alpha |0⟩+\beta |1⟩$$
将相位因子作用在态矢两边：
$$e^{ir}|\psi ⟩=e^{ir}\left(\alpha |0⟩+\beta |1⟩\right)$$

对于态矢而言，$\alpha ,\beta$是复数，有四个实数
$|\alpha {|}^2+|\beta {|}^2=1$，有一个实数约束
无意义全局相位（无物理意义）：$e^{ir},r\in R$，有一个实数约束
因此，可以用两个无关的实数变量$(\theta ,\phi )$表示一个qubit（4-2=2自由度）：
$$|{\psi }_{+}(\theta ,\phi )⟩=\cos \frac{\theta }{2}|0⟩+e^{i\phi }\sin \frac{\theta }{2}|1⟩$$
其中，$|0⟩$=$\left(\begin{array}{c}1\\ 0\end{array}\right)$, $|1⟩$=$\left(\begin{array}{c}0\\ 1\end{array}\right)$
相应的约束为：
$$0\le \theta <\pi$$
$$0\le \phi <2\pi$$
这正好是球坐标的两个参数，因此可以对应球体
在$|\overrightarrow{n}|=1$的Bloch球体中，定义Bloch矢量：$\overrightarrow{n}=(\sin \theta \cos \phi ,\sin \theta \sin \phi ,\cos \theta )$
则相比于由0和1表达的经典信息而言，量子信息是一个球

（1）$\theta =\frac{\pi }{2},\phi =0$时，$\overrightarrow{n}=\overrightarrow{e_x}=(1,0,0)$，$|{\psi }_{+}(\overrightarrow{e_x})⟩=\frac{1}{\sqrt{2}}\left(|0⟩+|1⟩\right)=|+⟩$
（2）$\theta =\frac{\pi }{2},\phi =\pi$时，$\overrightarrow{n}=-\overrightarrow{e_x}=(-1,0,0)$，$|{\psi }_{+}(-\overrightarrow{e_x})⟩=\frac{1}{\sqrt{2}}(|0⟩-|1⟩)=|-⟩$
（3）$\theta =\frac{\pi }{2},\phi =\frac{\pi }{2}$时，$\overrightarrow{n}=\overrightarrow{e_y}=(0,1,0)$，$|{\psi }_{+}(\overrightarrow{e_y})⟩=\frac{1}{\sqrt{2}}(|0⟩+i|1⟩)=|+{⟩}^{\prime }$
（4）$\theta =\frac{\pi }{2},\phi =\frac{3\pi }{2}$时，$\overrightarrow{n}=-\overrightarrow{e_y}=(0,-1,0)$，$|{\psi }_{+}(-\overrightarrow{e_y})⟩=\frac{1}{\sqrt{2}}(|0⟩-i|1⟩)=|-{⟩}^{\prime }$
（5）$\theta =0,\phi$任意时，$\overrightarrow{n}=\overrightarrow{e_z}=(0,0,1)$，$|{\psi }_{+}(\overrightarrow{e_z})⟩=|0⟩$
（6）$\theta =\pi ,\phi$任意时，$\overrightarrow{n}=-\overrightarrow{e_z}=(0,0,-1)$，$|{\psi }_{+}(\overrightarrow{e_z})⟩=|1⟩$

qubit的更稳定的形式：
{ ∣ ψ + ( θ , φ ) ⟩ ∣ 0 < θ ≤ π ,   0 ≤ φ < 2 π } = { ∣ ψ ⟩ ∣ σ n ∣ ψ ⟩ = ∣ ψ ⟩ } \{|\psi_+(\theta,\varphi)\rang|0<\theta\le\pi,\ 0\le\varphi<2\pi\}=\{|\psi\rang|\sigma_n|\psi\rang=|\psi\rang\} {∣ψ+​(θ,φ)⟩∣0<θ≤π, 0≤φ<2π}={∣ψ⟩∣σn​∣ψ⟩=∣ψ⟩}
其中：${\sigma }_n=\overrightarrow{\sigma }\cdot \overrightarrow{n}={\sigma }_x{n}_x+{\sigma }_y{n}_y+{\sigma }_z{n}_z$
$\overrightarrow{\sigma }=({\sigma }_x,{\sigma }_y,{\sigma }_z)$为泡利矩阵，$\overrightarrow{n}=(n_x,n_y,n_z)$为Bloch矢量

${\sigma }_x=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right),{\sigma }_y=\left(\begin{array}{cc}0& -i\\ i& 0\end{array}\right),{\sigma }_z=\left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right)$

${\sigma }_n=\left(\begin{array}{cc}\cos \theta & \sin \theta e^{-i\phi }\\ \sin \theta e^{i\phi }& -\cos \theta \end{array}\right)$

泡利算符的作用

(1)$\overrightarrow{n}=\overrightarrow{e_x}$时，${\sigma }_n={\sigma }_x=X$（记为$X$）
$X|{\psi }_{+}(\pm \overrightarrow{e_x})⟩=\pm |{\psi }_{+}(\pm \overrightarrow{e_x})⟩$
即：$X|\pm ⟩=\pm |\pm ⟩$

(2)$\overrightarrow{n}=\overrightarrow{e_y}$时，${\sigma }_n={\sigma }_y=Y$（记为$Y$）
$Y|{\psi }_{+}(\pm \overrightarrow{e_y})⟩=\pm |{\psi }_{+}(\pm \overrightarrow{e_y})⟩$
即：$Y|\pm {⟩}^{\prime }=\pm |\pm {⟩}^{\prime }$

(3)$\overrightarrow{n}=\overrightarrow{e_z}$时，${\sigma }_n={\sigma }_z=Z$（记为$Z$）
$Z|{\psi }_{+}(\pm \overrightarrow{e_z})⟩=\pm |{\psi }_{+}(\pm \overrightarrow{e_z})⟩$
即：$Z|i⟩=(-1{)}^i|i⟩$

Note 1：$⟨{\psi }_{+}(\theta ,\phi )|\overrightarrow{\sigma }\cdot \overrightarrow{m}|{\psi }_{+}(\theta ,\phi )⟩=\overrightarrow{m}\cdot \overrightarrow{n}$

Note 2：$|{\psi }_{+}(\theta ,\phi )⟩=u_{1/2}(\overrightarrow{e_z}\to \overrightarrow{n})|0⟩$
其中：$u_{1/2}(\overrightarrow{e_z}\to \overrightarrow{n})=\left(\begin{array}{cc}\cos \frac{\theta }{2}& -e^{-i\phi }\sin \frac{\theta }{2}\\ e^{i\phi }\sin \frac{\theta }{2}& \cos \frac{\theta }{2}\end{array}\right)$

SU(2)群的旋转表示，描述了绕$\overrightarrow{e_z}+\sigma \overrightarrow{n}$的旋转

Note 3：${\sigma }_n^2=1,{\sigma }_m^2=1$，特征值：$\pm 1$
${\sigma }_n|{\psi }_{\pm }(\theta ,\phi )⟩=\pm |{\psi }_{\pm }(\theta ,\phi )⟩$

$|{\psi }_{-}(\theta ,\phi )⟩=-e^{-i\phi }\sin \frac{\theta }{2}|0⟩+\cos \frac{\theta }{2}|1⟩$也能够表示一个qubit

密度矩阵

而密度矩阵也能构成一个qubit：
定义：当$\rho \ge 0$并且$tr(\rho )=1$时，$\rho$是一个密度矩阵
$\rho (\overrightarrow{p})=\frac{1}{2}(I_2+\overrightarrow{p}\cdot \overrightarrow{\sigma })$
其中，$\overrightarrow{p}$是极化向量，$I_2$是$2\times 2$的单位阵，$\sigma$是泡利矩阵

举例1：$|\overrightarrow{p}|=1$时，是Bloch向量$\overrightarrow{p}=\overrightarrow{n}$，$\rho (\overrightarrow{n})=|{\psi }_{+}(\overrightarrow{n})⟩⟨{\psi }_{+}(\overrightarrow{n})|$。属于纯状态（pure state）情形（量子统计力学）

举例2：$|\overrightarrow{p}|<1$，属于混合态（mixed state）情形

举例3：$|\overrightarrow{p}|=0$，$\rho (0)=\frac{1}{2}{I}_2$

2.4. 双qubit体系

对于双qubit体系，计算的基为${\mathcal{H}}_4={\mathcal{H}}_2\otimes {\mathcal{H}}_2$
H 4 = s p a n { ∣ x 1 x 2 ⟩ ∣ x 1 ,   x 2 = 0 , 1 } = s p a n { ∣ 00 ⟩ ,   ∣ 01 ⟩ ,   ∣ 10 ⟩ ,   ∣ 11 ⟩ } \mathcal H_4=span\{|x_1x_2\rang|x_1,\ x_2=0,1\}\\=span\{|00\rang,\ |01\rang,\ |10\rang,\ |11\rang\} H4​=span{∣x1​x2​⟩∣x1​, x2​=0,1}=span{∣00⟩, ∣01⟩, ∣10⟩, ∣11⟩}

Bell基： H 4 = s p a n { ∣ β x 1 x 2 ⟩ ∣ x 1 ,   x 2 = 0 , 1 } \mathcal H_4=span\{|\beta_{x_1x_2}\rang|x_1,\ x_2=0,1\} H4​=span{∣βx1​x2​​⟩∣x1​, x2​=0,1}

Bell态：
$|{\beta }_{00}⟩=\frac{|00⟩+|11⟩}{\sqrt{2}},|{\beta }_{10}⟩=\frac{|00⟩-|11⟩}{\sqrt{2}}$

$|{\beta }_{01}⟩=\frac{|01⟩+|10⟩}{2},|{\beta }_{11}⟩=\frac{|01⟩-|10⟩}{\sqrt{2}}$

$|{\beta }_{x_1{x}_2}⟩=\frac{1}{\sqrt{2}}\left(|0x_2⟩+(-1{)}^{x_1}|0\overline{x_2}⟩\right)$

Note 1：$|{\beta }_{x_1{x}_2}⟩,x_1,x_2=0,1$被称作Bell不等价或EPR pair态（Einstein-Poldolskky-Rossen）的Bell态

Note 2：正交基 { ∣ β x 1 x 2 ⟩ ∣ x 1 , x 2 = 0 , 1 } \{|\beta_{x_1x_2}\rang|x_1,x_2=0,1\} {∣βx1​x2​​⟩∣x1​,x2​=0,1}具有正交关系$⟨{\beta }_{x_1{x}_2}|{\beta }_{x_1^{\prime }{x}_2^{\prime }}⟩={\delta }_{x_1{x}_1^{\prime }}{\delta }_{x_2{x}_2^{\prime }}$
关系：
$\sum _{x_1{x}_2=0,1}|{\beta }_{x_1{x}_2}⟩⟨{\beta }_{x_1{x}_2}|=I_2\otimes I_2$

Note 3：Bell变换是Bell基和计算的基之间的独一无二的变换

2.5. 三qubit体系

H 8 = H 2 ⊗ H 2 ⊗ H 2 = s p a n { ∣ 000 ⟩ ,   ∣ 001 ⟩ ,   ⋯   , ∣ 111 ⟩ } \mathcal H_8=\mathcal H_2\otimes\mathcal H_2\otimes\mathcal H_2=span\{|000\rang,\ |001\rang,\ \cdots\ ,|111\rang\} H8​=H2​⊗H2​⊗H2​=span{∣000⟩, ∣001⟩, ⋯ ,∣111⟩}

GHZ基：
$|GHZ(x_1,x_2,x_3){⟩}_{\pm }=\frac{1}{\sqrt{2}}\left(|x_1{x}_2{x}_3⟩\pm |\overline{x_1}\overline{x_2}\overline{x_3}⟩\right)$

Note：GHZ基是Bell基的延伸

2.6. n-qubit

${\mathcal{H}}_{2^n}$空间

GHZ基：
$|GHZ(x_1,x_2,x_3,\dots ,x_n){⟩}_{\pm }=\frac{1}{\sqrt{2}}\left(|x_1{x}_2{x}_3\dots x_n⟩\pm |\overline{x_1}\overline{x_2}\overline{x_3}\dots \overline{x_n}⟩\right)$