量子閘

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

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

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

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

常使用的閘

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

在下文中，单个量子位元的向量表示为：

$v_0|0⟩+v_1|1⟩\to \left[\begin{array}{c}{v}_0\\ v_1\end{array}\right]$

而两个量子位元的向量表示为：

$v_{00}|00⟩+v_{01}|01⟩+v_{10}|10⟩+v_{11}|11⟩\to \left[\begin{array}{c}{v}_{00}\\ v_{01}\\ v_{10}\\ v_{11}\end{array}\right]$

其中$|ab⟩$是代表第一个量子位元处于$|a⟩$态，第二个量子位元处于$|b⟩$态所构成的（两个量子位元的）量子态的基矢。

阿達馬閘（Template:Lang）

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

Graphical representation of Hadamard gate

$H=\frac{1}{\sqrt{2}}\left[\begin{array}{cc}1& 1\\ 1& -1\end{array}\right]$

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

泡利-X閘（Template:Lang）

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

$X=\left[\begin{array}{cc}0& 1\\ 1& 0\end{array}\right]$

泡利-Y閘（Template:Lang）

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

$Y=\left[\begin{array}{cc}0& -i\\ i& 0\end{array}\right]$

泡利-Z閘（Template:Lang）

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

$Z=\left[\begin{array}{cc}1& 0\\ 0& -1\end{array}\right]$

相位偏移閘（Template:Lang）

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

$R(\theta )=\left[\begin{array}{cc}1& 0\\ 0& e^{i\theta }\end{array}\right]$

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

互換閘（Template:Lang）

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

$\text{SWAP}=\left[\begin{array}{cccc}1& 0& 0& 0\\ 0& 0& 1& 0\\ 0& 1& 0& 0\\ 0& 0& 0& 1\end{array}\right]$

受控閘（Template:Lang）

Circuit representation of controlled NOT gate

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

$\text{CNOT}=\left[\begin{array}{cccc}1& 0& 0& 0\\ 0& 1& 0& 0\\ 0& 0& 0& 1\\ 0& 0& 1& 0\end{array}\right]$

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

$U=\left[\begin{array}{cc}{x}_{00}& x_{01}\\ x_{10}& x_{11}\end{array}\right]$

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

Graphical representation of controlled-U gate

$|00⟩\mapsto |00⟩$

$|01⟩\mapsto |01⟩$

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

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

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

$\text{C}(U)=\left[\begin{array}{cccc}1& 0& 0& 0\\ 0& 1& 0& 0\\ 0& 0& x_{00}& x_{01}\\ 0& 0& x_{10}& x_{11}\end{array}\right]$

Toffoli閘（Template:Lang）

Circuit representation of Toffoli gate

Toffoli閘是一個操作三個量子位元的，對傳統運算是完備的閘。量子的Toffoli閘是類同的閘，以三個量子位元定義。如果前兩個量子位元是$|1⟩$，則對第三個量子位元進行泡利-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⟩$ to $|a,b,c\oplus ab⟩$的操作形容。

萬能量子閘

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

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

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

$|a,b,c⟩\mapsto \{\begin{array}{cc}i\cos (\theta )|a,b,c⟩+\sin (\theta )|a,b,1-c⟩& \text{for }a=b=1\\ |a,b,c⟩& \text{otherwise}\end{array}$

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

歷史

現有量子閘的記號是Barenco et al.以費曼所提出的記號为基础發明的。

参考文献

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

參閱

• 泡利矩陣
• 蓋爾曼矩陣

外部連結

• List of QC simulators Template:Wayback
• Chapter 2 Quantum Gates Template:Wayback из 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-122Template:Ref-en
• Yoshihisa Yamamoto, Chapter 3 Quantum gates of «AP 226: Physics of Quantum Information», Lecture Notes // Stanford, Winter 2009Template:Ref-en
• Dieter Suter, Joachim Stolze, Chapter 5: Complete set of quantum gates (слайды) из Quantum Computing WS // Technischen Universität Dortmund 2009—2010Template:Ref-en
• Markus Schmassmann, [1] Template:Wayback // QSIT-Course, ETH Zürich, 17. Oktober 2007Template:Ref-en