量子門

量子門（或量子邏輯門）在量子計算和特別是量子線路的計算模型裏面是一個基本的，操作一個小數量量子位元的量子線路。它是量子線路的基礎，就像傳統邏輯門跟一般數碼線路之間的關係。

常見的量子門名稱（包括縮寫）、電路形式以及相應的酉矩陣.

與多數傳統邏輯門不同，量子邏輯門是可逆的。然而，傳統的計算可以只使用可逆的門表示。舉例來說，可逆的Toffoli門可以實做所有的布林函數。這個門有一個直接等同的量子門，也因此代表量子線路可以模擬所有傳統線路的操作。

量子邏輯門使用么正矩陣表示。就像傳統的邏輯門一樣，它們是針對一個或兩個位元進行操作，常見的量子邏輯門也是針對一個或兩個量子位元進行操作。這也代表這一些量子門可以使用 2 × 2 或者 4 × 4 的么正矩陣表示。

常使用的門

量子門常使用矩陣表示，操作K個量子位元的門可以用2^k × 2^k的么正矩陣表示。一個門輸入跟輸出的量子位元數量必須要相等。量子門的操作可以用代表量子門的矩陣與代表量子位元狀態的向量作相乘來表示。

在下文中，單個量子位元的向量表示為：

$v_{0}|0\rangle +v_{1}|1\rangle \rightarrow {\begin{bmatrix}v_{0}\\v_{1}\end{bmatrix}}$

而兩個量子位元的向量表示為：

$v_{00}|00\rangle +v_{01}|01\rangle +v_{10}|10\rangle +v_{11}|11\rangle \rightarrow {\begin{bmatrix}v_{00}\\v_{01}\\v_{10}\\v_{11}\end{bmatrix}}$

其中$|ab\rangle$是代表第一個量子位元處於$|a\rangle$態，第二個量子位元處於$|b\rangle$態所構成的（兩個量子位元的）量子態的基矢。

阿達馬門（Hadamard gate）

阿達馬門是只對一個一個量子位元進行操作的門。這個門將基本狀態$|0\rangle$變成${\frac {|0\rangle +|1\rangle }{\sqrt {2}}}$，並且將$|1\rangle$變成${\frac {|0\rangle -|1\rangle }{\sqrt {2}}}$。這個門可以以阿達馬矩陣表示：

Graphical representation of Hadamard gate

$H={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1&1\\1&-1\end{bmatrix}}$

因為矩陣的每一列正交，$HH^{*}=I$，其中I表示單位矩陣，因此H是一個么正矩陣。

泡利-X門（Pauli-X gate）

泡利-X門操作一個量子位元。這個門相當於經典的邏輯非門。它將$|0\rangle$換成$|1\rangle$並且$|1\rangle$換成$|0\rangle$。這個門可以以一個泡利X矩陣表示：

$X={\begin{bmatrix}0&1\\1&0\end{bmatrix}}$

泡利-Y門（Pauli-Y gate）

泡利-Y門操作單一個量子位元。這個門可以以一個泡利Y矩陣表示：

$Y={\begin{bmatrix}0&-i\\i&0\end{bmatrix}}$

泡利-Z門（Pauli-Z gate）

泡利-Z門操作單一個量子位元。這個門保留基本狀態$|0\rangle$不變並且將$|1\rangle$換成$-|1\rangle$。這個門可以以一個泡利Z矩陣表示：

$Z={\begin{bmatrix}1&0\\0&-1\end{bmatrix}}$

相位偏移門（Phase shift gates）

這是一系列操作單一量子位元的門，它保留基本狀態$|0\rangle$並且將$|1\rangle$換成$e^{i\theta }|1\rangle$。

$R(\theta )={\begin{bmatrix}1&0\\0&e^{i\theta }\end{bmatrix}}$

這裏的$\theta$代表相位位移。一些常見的例子像是${\frac {\pi }{8}}$門的$\theta ={\frac {\pi }{4}}$，相位門的的$\theta$則等於${\frac {\pi }{2}}$而泡利-Z門的$\theta =\pi$。

互換門（Swap gate）

互換門操作兩個量子位元，可以用以下這個矩陣表示：

${\mbox{SWAP}}={\begin{bmatrix}1&0&0&0\\0&0&1&0\\0&1&0&0\\0&0&0&1\end{bmatrix}}$

受控門（Controlled gates）

Circuit representation of controlled NOT gate

受控門操作兩個以上的量子位元，其中一個或多個量子位元視為某一些操作的控制位元。舉例來說，受控非門（CNOT）操作兩個量子位元，第二個量子位元只有在第一個量子位元為$|1\rangle$的時候進行NOT操作，否則就保持不變。這個門可以採以下的矩陣表示：

${\mbox{CNOT}}={\begin{bmatrix}1&0&0&0\\0&1&0&0\\0&0&0&1\\0&0&1&0\end{bmatrix}}$

更普遍地說，如果$U$是一個操作單一量子位元的門，採以下這個矩陣表示：

$U={\begin{bmatrix}x_{00}&x_{01}\\x_{10}&x_{11}\end{bmatrix}}$

則受控-$U$門就是操作兩個量子位元的量子門，以第一個量子位元作為控制。操作基本狀態如下：

Graphical representation of controlled-U gate

$|00\rangle \mapsto |00\rangle$

$|01\rangle \mapsto |01\rangle$

$|10\rangle \mapsto |1\rangle U|0\rangle =|1\rangle \left(x_{00}|0\rangle +x_{10}|1\rangle \right)$

$|11\rangle \mapsto |1\rangle U|1\rangle =|1\rangle \left(x_{01}|0\rangle +x_{11}|1\rangle \right)$

受控-$U$門可以以矩陣代表如下：

${\mbox{C}}(U)={\begin{bmatrix}1&0&0&0\\0&1&0&0\\0&0&x_{00}&x_{01}\\0&0&x_{10}&x_{11}\end{bmatrix}}$

Toffoli門（Toffoli gate）

Circuit representation of Toffoli gate

Toffoli門是一個操作三個量子位元的，對傳統運算是完備的門。量子的Toffoli門是類同的門，以三個量子位元定義。如果前兩個量子位元是$|1\rangle$，則對第三個量子位元進行泡利-X運算，反之則不做操作。這是一個受控門的範例。既然這個門是一個傳統邏輯門的量子模擬，因此它可以用一個真值表來完整表示如下：

INPUT			OUTPUT
0	0	0	0	0	0
0	0	1	0	0	1
0	1	0	0	1	0
0	1	1	0	1	1
1	0	0	1	0	0
1	0	1	1	0	1
1	1	0	1	1	1
1	1	1	1	1	0

也可以將這個門以像是$|a,b,c\rangle$ to $|a,b,c\oplus ab\rangle$的操作形容。

萬能量子門

較不正式地說，一個萬能量子門的集合，是一個任何量子線路均可以用這一些門實做出來的集合。也就是說，任何其他的單位操作均可以從這個集合組合出一個有限長度的序列來表示。技術上來說，因為可能的量子門數目是不可數的，而從有限大的集合取出的有限長度的序列則是可數的，所以不可能達成。為了解決這個問題，我們只要求這一個有限大小的集合可以組合出近似任何量子運算的序列。Solovay–Kitaev theorem保證這一件事情可以有效達成。

一個簡單的，操作兩個量子位元的門，的萬能量子門集合是一個阿達馬門($H$)，一個相位偏移門$R(\pi /4)$，和一個受控非門.

只有單一個量子門的萬能量子門集合可以用一個操作三個量子位元的Deutsch門$D(\theta )$建構出來，Deutsch門它的操作如下：

$|a,b,c\rangle \mapsto {\begin{cases}i\cos(\theta )|a,b,c\rangle +\sin(\theta )|a,b,1-c\rangle &{\mbox{for }}a=b=1\\|a,b,c\rangle &{\mbox{otherwise}}\end{cases}}$

在傳統邏輯線路裏面的萬用算子Toffoli門可以被簡化成一個Deutsch門，$D({\begin{matrix}{\frac {\pi }{2}}\end{matrix}})$，因此代表着所有傳統邏輯線路的操作均可以由量子電腦模擬。

歷史

現有量子門的記號是Barenco et al.以費曼所提出的記號為基礎發明的。

參考文獻

• M. Nielsen and I. Chuang，Quantum Computation and Quantum Information，Cambridge University Press，2000

參閱

• 泡利矩陣
• 蓋爾曼矩陣

外部連結

• List of QC simulators （頁面存檔備份，存於互聯網檔案館）
• Chapter 2 Quantum Gates （頁面存檔備份，存於互聯網檔案館） из C.P. Williams, «Explorations in Quantum Computing», Texts in Computer Science // Springer-Verlag, 2011, ISBN 978-1-84628-887-6, doi:10.1007/978-1-84628-887-6_2 стр 51-122（英文）
• Yoshihisa Yamamoto, Chapter 3 Quantum gates of «AP 226: Physics of Quantum Information», Lecture Notes // Stanford, Winter 2009（英文）
• Dieter Suter, Joachim Stolze, Chapter 5: Complete set of quantum gates (слайды) из Quantum Computing WS // Technischen Universität Dortmund 2009—2010（英文）
• Markus Schmassmann, [1] （頁面存檔備份，存於互聯網檔案館） // QSIT-Course, ETH Zürich, 17. Oktober 2007（英文）