量子信息-学习记录4

ch.4. Control Unitary门

定义：对A进行control操作时，如果A为真，则结果为B。反之如果A为假，则结果为C。

定义：Control Unitary门
$$CU:|c⟩|t⟩\to |c⟩U^c|t⟩$$
其中$|c⟩$为控制qubit，$|t⟩$为目标qubit，$U^c$是一个n-qubit门，属于$SU(2^n)$群

CU门的图像表示如下，其中，$|t⟩$处画了多条横线，用于表示$|t⟩$是n-qubit的：

$\{\begin{array}{rl}& c=0,|0⟩|t⟩\stackrel{CU}{\to }|0⟩|t⟩,with{U}^0=Id\\ & c=1,|1⟩|t⟩\stackrel{CU}{\to }|1⟩U|t⟩\end{array}$

因此：

$$CU=|0⟩⟨0|\otimes Id+|1⟩⟨1|\otimes U$$

引理：一个满足2-qubit的CU门：
$U=e^{i\alpha }AXBXCwithABC=I_2$
可以被分解为CNOT门及单qubit门的组合

证明：
CU门=$\left(\begin{array}{cc}{I}_2& 0\\ 0& e^{i\alpha }AXBXC\end{array}\right)$

$$\begin{array}{rl}& \left(\begin{array}{cc}{I}_2& 0\\ 0& e^{i\alpha }AXBXC\end{array}\right)\\ =& \left(\begin{array}{cc}{I}_2& 0\\ 0& e^{i\alpha }{I}_2\end{array}\right)\left(\begin{array}{cc}A& 0\\ 0& A\end{array}\right)\left(\begin{array}{cc}{I}_2& 0\\ 0& X\end{array}\right)\left(\begin{array}{cc}B& 0\\ 0& B\end{array}\right)\left(\begin{array}{cc}{I}_2& 0\\ 0& X\end{array}\right)\left(\begin{array}{cc}C& 0\\ 0& C\end{array}\right)\\ =& (R_{\alpha }\otimes I_2)(I_2\otimes A)CNOT(I_2\otimes B)CNOT(I_2\otimes C)\end{array}$$

定理：任何2-qubit的CU门可以被分解为CNOT门和单qubit门的组合

证明：任何单qubit门

$$U=e^{i\alpha }{R}_z(\beta )R_y(\gamma )R_z(\delta )$$

都可以被分解为$U=e^{i\alpha }AXBXC$，其中$A=R_z(\beta )R_y(\frac{\gamma }{2})$，$B=R_y(-\frac{\gamma }{2})R_z(-\frac{\delta +\beta }{2})$，$C=R_z(\frac{\delta -\beta }{2})$，$ABC=I_2$

量子Toffoli门和量子Fredkin门

CNOT门：Controlled-NOT门：$U=NOT=X={\sigma }_x$

量子Toffoli门：

相当于controlled-controlled-NOT门：将$|z⟩$线上的$\oplus$换为X门，对应的右端输出为$X^{xy}|z⟩=|xy\oplus z⟩$

量子Fredkin门：

相当于controlled-SWAP门：将$|y⟩$和$|z⟩$两条线上的门换成一个SWAP门，最后得到的$SWA{P}^x|yz⟩$和原本的输出是一样的
证明：$SWA{P}^x|yz⟩=|xz+\bar{x}y⟩|xy+\bar{x}z⟩$
x=0时，$LHS=SWA{P}^x|yz⟩=Id|yz⟩=|yz⟩$
$RHS=|y⟩|z⟩$
x=1时，$LHS=SWAP|yz⟩=|zy⟩$
$RHS=|1z+\bar{1}y⟩|1y+\bar{1}z⟩=|zy⟩$

定理：使用三个Toffoli门可以构造量子Fredkin门，其中对于第一个和第三个Toffoli门，目标qubit为$|c⟩$，对于第二个Toffoli门，目标qubit为$|b⟩$
证明：将通过各门前后的状态分别划分为$t_0$，$t_1$，$t_2$，$t_3$，则有：$$|\psi (t_0)⟩=|a⟩|b⟩|c⟩$$
$$|\psi (t_1)⟩=|a⟩|b⟩|ab\oplus c⟩$$
$$|\psi (t_2)⟩=|a⟩|(ab\oplus c)a\oplus b⟩|ab\oplus c⟩$$
其中，$(ab\oplus c)a\oplus b=\{\begin{array}{rl}& a=0,b\\ & a=1,b\oplus c\oplus b\end{array}=\bar{a}b\oplus ac$
$|\psi (t_3)⟩=|a⟩|\bar{a}b\oplus ac⟩|a(\bar{a}b\oplus ac)\oplus ab\oplus c⟩$
同理，$a(\bar{a}b\oplus ac)\oplus ab\oplus c=\bar{a}c\oplus ab$
因此：$|\psi (t_3)⟩=|a⟩|\bar{a}b\oplus ac⟩|\bar{a}c\oplus ab⟩=Fredkin|a⟩|b⟩|c⟩$

使用一个Toffoli门和两个CNOT门可以构造Fredkin门

证明：同样地，将输入输出各门前后划分为四个状态，有：
$|\psi (t_0)⟩=|a⟩|b⟩|c⟩$
$|\psi (t_1)⟩=|a⟩|b⟩|b\oplus c⟩$
$$\begin{gathered} |\psi (t_2)⟩=|a⟩|a(b\oplus c)\oplus b⟩|b\oplus c⟩ \\ =|a⟩|\bar{a}b\oplus ac⟩|b\oplus c⟩ \end{gathered}$$
$$\begin{gathered} |\psi (t_3)⟩=|a⟩|\bar{a}b\oplus ac⟩|\bar{a}b\oplus ac\oplus b\oplus c⟩ \\ =|a⟩|\bar{a}b\oplus ac⟩|\bar{a}c\oplus ab⟩ \\ =Fredkin|a⟩|b⟩|c⟩ \end{gathered}$$

3-qubit CU门的分解

引理：一个3-qubit的CU门可以被表示为2-qubit的unitary门的组合：

等效于：

Barenco门：是$R_g=e^{-i\frac{\pi }{4}}{R}_x(\frac{\theta }{2})$的CU门
$$B_g=|0⟩⟨0|\otimes I_2+|1⟩⟨1|\otimes R_g$$

Deutsch门：$D_g=R_g^2$
Deutsch门可以被表示为一系列CNOT门、Barence门及其逆向门的组合。

普遍量子门

定义：一个普遍量子门集，是一系列的能表示任何unitary矩阵基础门的集合

定义：有$e^{i{\theta }_1},e^{i{\theta }_2},e^{i{\theta }_3},e^{i{\theta }_4}$这四个特征值，其中$\frac{{\theta }_i}{\pi }$是无理数，$\frac{{\theta }_i}{{\theta }_j}(i\ne j)$也是无理数（这样的门被定义为通用的2-qubit门）