量子信息-学习记录5

ch.4. Control Unitary门（续）

普适量子门集（之前打成了“普遍”）

  定义：一个由基本量子门组成的集合，如果集合中的门可以用来构成任何酉矩阵，则这个集合称作普适门集

  定理：Deutsch门（1985）构成了一个普适量子门集

  定理：Barence门（1995）与SWAP门构成了一个普适量子门集

  定理：任意通用的2-qubit门与SWAP门构成了一个普适量子门集

  批注：Deutsch门$D_g$可以被表示为Brenco门$B_g$及其逆向门$B_g^{+}$、以及CNOT的组合

  批注：Barenco门的逆向门$B_g^{+}$和CNOT门可以被表示为Barenco门的组合

  批注：Deutsch门$D_g$可以被表示为Barenco门和SWAP门的组合

  定理：{CNOT门，单qubit门}是一个普适量子门集
  大致证明思路：
  1、引理：对于任意的单qubit门，都有$U=e^{i\alpha }{R}_z(\beta )R_y(\gamma )R_z(\delta )$，其中$\alpha$、$\beta$、$\gamma$、$\delta$为实数
  2、引理：对于任意的单qubit门，都有$U=e^{i\alpha }AXBXC$，其中$ABC=I_2$，$X={\sigma }_x$
  3、引理：任意CU门可以分解
  4、令上述CU门中的$U=R_g$（Barenco门），则说明Barenco门可以表示为CNOT门和单qubit门A、B、C、$I_2$的组合
  5、SWAP=CNOT${}_{12}$CNOT${}_{21}$CNOT${}_{12}$
最后得到{Barenco门，SWAP门}={CNOT门，单qubit门}

ch.5. 贝尔不等式

量子力学批注

  弱局部性与强局部性（场代数）

  爱因斯坦的观点：量子力学=local hidden-variable（LHV） theory
  1、标准的量子力学是不完整的，非相对论的
  2、一个完整的理论必须是确定的
  爱因斯坦提出的理论得到了贝尔不等式的否决

CHSH不等式

  标准的量子力学：海森堡不确定性关系说明互补的两个变量不能同时被赋值
  爱因斯坦的LHV模型：互补的两个变量已经被隐藏变量事先确定好了，因此它们可以被同时赋值

实验设计

  让Alice和Bob站在比较远的两个地方，并发送一个状态为$|{\beta }_{11}⟩$的光量子。对于观察者来说，发射的两个qubit：Q和R，具有观测值q和r，而接收的S和T则分别具有观测值s和t。

  设两种可能的观测值分别为1和-1，则q+r=0或q-r=0，由此推知q-r=2q= $\pm$ 2或q+r=2q= $\pm$ 2。因此，观测量：

$$m=(q+r)\cdot s+(q-r)\cdot t=\pm 2$$

  记概率分布为$p(q,r,s,t)$，则：

$$\begin{array}{rl}⟨M⟩& =\sum _{q,r,s,t}p(q,r,s,t)((q+r)\cdot s+(q-r)\cdot t)\\ & \le \sum _{q,r,s,t}p(q,r,s,t)\times 2\\ & =2\end{array}$$

  即：$⟨M⟩\le 2$

  另一方面：

$$\begin{array}{rl}⟨M⟩& =\sum _{q,r,s,t}p(q,r,s,t)qs+\sum _{q,r,s,t}p(q,r,s,t)rs\\ & +\sum _{q,r,s,t}p(q,r,s,t)qt-\sum _{q,r,s,t}p(q,r,s,t)rt\\ & =⟨QS⟩+⟨RS⟩+⟨QT⟩-⟨RT⟩\end{array}$$

  得到爱因斯坦LHV模型中的CHSH不等式：

$$⟨QS⟩+⟨RS⟩+⟨QT⟩-⟨RT⟩\le 2$$

  在标准量子力学中：

$$\hat{Q}={\overrightarrow{\sigma }}^{(A)}\cdot \overrightarrow{q},\hat{R}={\overrightarrow{\sigma }}^{(A)}\cdot \overrightarrow{r}$$

$$\hat{S}={\overrightarrow{\sigma }}^{(B)}\cdot \overrightarrow{s},\hat{T}={\overrightarrow{\sigma }}^{(B)}\cdot \overrightarrow{t}$$

  因此：

$$⟨\hat{Q}\hat{S}⟩{=}_{AB}⟨{\beta }_{11}|({\overrightarrow{\sigma }}^{(A)}\cdot \overrightarrow{q})\otimes ({\overrightarrow{\sigma }}^{(B)}\cdot \overrightarrow{s})|{\beta }_{11}{⟩}_{AB}=-\overrightarrow{q}\cdot \overrightarrow{s}$$

  定义在Bloch球上的单位基矢：

$$\hat{Q}=z,\hat{R}=x,\hat{S}=\frac{1}{\sqrt{2}}(x+z),\hat{T}=\frac{1}{\sqrt{2}}(z-x)$$

  则$⟨\hat{Q}\hat{S}⟩$，$⟨\hat{R}\hat{S}⟩$，$⟨\hat{Q}\hat{T}⟩$均等于$-\cos \frac{\pi }{4}=-\frac{1}{\sqrt{2}}$，而$⟨\hat{R}\hat{T}⟩=-\cos \frac{3\pi }{4}=\frac{1}{\sqrt{2}}$

  因此：$|⟨M⟩|=2\sqrt{2}\ge 2$，这违背了CHSH不等式，而这又是实验能够有力支撑的，因此，LHV理论在这方面上有所缺陷

GHZ定理

  此定理证明了量子力学与LHV之间的矛盾

实验设计

  Alice(I)，Bob(II)与Charlie(III)站在空间上相互分离的三个地方，相互交流一个GHZ态的3-qubit：$|GHZ{⟩}_3=\frac{1}{\sqrt{2}}(|000⟩+|111⟩{)}_3$

  选择四种具有如下形式的可观察量：

$$\{\begin{array}{rl}A& :={\sigma }_x^{(1)}{\sigma }_y^{(2)}{\sigma }_y^{(3)}\\ B& :={\sigma }_y^{(1)}{\sigma }_x^{(2)}{\sigma }_y^{(3)}\\ C& :={\sigma }_y^{(1)}{\sigma }_y^{(2)}{\sigma }_x^{(3)}\\ D& :={\sigma }_x^{(1)}{\sigma }_x^{(2)}{\sigma }_x^{(3)}\end{array}$$

  这种形式具有如下特点：

$$A^2=B^2=C^2=D^2=I_8$$

$$ABCD=-I_8$$

$$ABCD|GHZ{⟩}_3=-|GHZ{⟩}_3$$

  在LHV中，A、B、C、D可以被确定为如下形式：

$$\{\begin{array}{rl}A& =m_x^1{m}_y^2{m}_y^3\\ B& =m_y^1{m}_x^2{m}_y^3\\ C& =m_y^1{m}_y^2{m}_x^3\\ D& =m_x^1{m}_x^2{m}_x^3\end{array}$$

  以A为例，当${\sigma }_x^1{\sigma }_y^2$被确定时，${\sigma }_y^3$也随之被确定，这三个算符是相互对易的。因此，$m_x^1,m_y^2,m_y^3$可以被同时确定（$m_{\alpha }^i=\pm 1$），以此类推：

$$ABCD=1$$

$$\{\begin{array}{rl}& LHV:ABCD=1\\ & QM:ABCD=-1\end{array}$$

  实验证明了ABCD=-1，因此，LHV在此处被否决