查看“︁量子閘”︁的源代码

{{NoteTA
|G1 = Electronics
|G2 = Math
|1 = zh-cn:门; zh-tw:閘; zh-hk:門;
}}
[[File:Quantum Logic Gates.png|thumb|right|300px|常見的量子閘名稱（包括縮寫）、電路形式以及相應的[[酉矩陣]].]]

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

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

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

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

在下文中，单个量子位元的向量表示为：
:<math>v_0 | 0 \rangle + v_1 | 1 \rangle \rightarrow \begin{bmatrix} v_0 \\ v_1 \end{bmatrix}</math>

而两个量子位元的向量表示为：
:<math>v_{00} | 00 \rangle + v_{01} | 0 1 \rangle + v_{10} | 1 0 \rangle + v_{11} | 1 1 \rangle\rightarrow \begin{bmatrix} v_{00} \\ v_{01} \\ v_{10} \\ v_{11} \end{bmatrix}</math>

其中<math>| a b \rangle</math>是代表第一个量子位元处于<math>|a\rangle</math>态，第二个量子位元处于<math>|b\rangle</math>态所构成的（两个量子位元的）量子态的基矢。

=== 阿達馬閘（{{Lang|en|Hadamard gate}}）===
阿達馬閘是只對一個一個量子位元進行操作的閘。這個閘將基本狀態<math>|0\rangle</math>變成<math>\frac{|0\rangle + |1\rangle}{\sqrt{2}}</math>，並且將<math>|1\rangle</math>變成<math>\frac{|0\rangle - |1\rangle}{\sqrt{2}}</math>。這個閘可以以[[阿達馬矩陣]]表示：
[[File:Hadamard_gate.svg|thumb|Graphical representation of Hadamard gate]]
:<math>H = \frac{1}{\sqrt{2}} \begin{bmatrix} 1 & 1 \\ 1 & -1 \end{bmatrix}</math>

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

=== 泡利-X閘（{{Lang|en|Pauli-X gate}}）===
泡利-X閘操作一個量子位元。這個閘相當於經典的邏輯反閘。它將<math>|0\rangle</math>換成<math>|1\rangle</math>並且<math>|1\rangle</math>換成<math>|0\rangle</math>。這個閘可以以一個[[泡利矩陣|泡利]]X矩陣表示：
:<math>X = \begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix}</math>

=== 泡利-Y閘（{{Lang|en|Pauli-Y gate}}）===
泡利-Y閘操作單一個量子位元。這個閘可以以一個[[泡利矩陣|泡利]]Y矩陣表示：
:<math>Y = \begin{bmatrix} 0 & -i \\ i & 0 \end{bmatrix}</math>

=== 泡利-Z閘（{{Lang|en|Pauli-Z gate}}）===
泡利-Z閘操作單一個量子位元。這個閘保留基本狀態<math>|0\rangle</math>不變並且將<math>|1\rangle</math>換成<math>-|1\rangle</math>。這個閘可以以一個[[泡利矩陣|泡利]]Z矩陣表示：
:<math>Z = \begin{bmatrix} 1 & 0 \\ 0 & -1 \end{bmatrix}</math>

===相位偏移閘（{{Lang|en|Phase shift gates}}）===
這是一系列操作單一量子位元的閘，它保留基本狀態<math>|0\rangle</math>並且將<math>|1\rangle</math>換成<math>e^{i\theta}|1\rangle</math>。

:<math>R(\theta) = \begin{bmatrix} 1 & 0 \\ 0 & e^{i \theta} \end{bmatrix}</math>

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

=== 互換閘（{{Lang|en|Swap gate}}）===
互換閘操作兩個量子位元，可以用以下這個矩陣表示：
:<math>\mbox{SWAP} = \begin{bmatrix} 1&0&0&0\\0&0&1&0\\0&1&0&0\\0&0&0&1\end{bmatrix}</math>

=== 受控閘（{{Lang|en|Controlled gates}}）===
[[Image:CNOT gate.svg|150px|thumb|Circuit representation of controlled NOT gate]]
受控閘操作兩個以上的量子位元，其中一個或多個量子位元視為某一些操作的控制位元。舉例來說，[[受控反閘]]（{{Lang|en|CNOT}}）操作兩個量子位元，第二個量子位元只有在第一個量子位元為<math>|1\rangle</math>的時候進行NOT操作，否則就保持不變。這個閘可以採以下的矩陣表示：
:<math>\mbox{CNOT} = \begin{bmatrix}1&0&0&0\\0&1&0&0\\0&0&0&1\\0&0&1&0\end{bmatrix}</math>

更普遍地說，如果<math>U</math>是一個操作單一量子位元的閘，採以下這個矩陣表示：
:<math>U = \begin{bmatrix} x_{00} & x_{01} \\ x_{10} & x_{11} \end{bmatrix}</math>
則''受控-<math>U</math>閘''就是操作兩個量子位元的量子閘，以第一個量子位元作為控制。操作基本狀態如下：
[[Image:Controlled gate.svg|150px|thumb|Graphical representation of controlled-''U'' gate]]
:<math>| 0 0 \rangle \mapsto | 0 0 \rangle</math>
:<math>| 0 1 \rangle \mapsto | 0 1 \rangle</math>
:<math>| 1 0 \rangle \mapsto | 1 \rangle U |0 \rangle = | 1 \rangle \left(x_{00} |0 \rangle + x_{10} |1 \rangle\right)</math>
:<math>| 1 1 \rangle \mapsto | 1 \rangle U |1 \rangle = | 1 \rangle \left(x_{01} |0 \rangle + x_{11} |1 \rangle\right)</math>

受控-<math>U</math>閘可以以矩陣代表如下：

:<math>\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}</math>

=== Toffoli閘（{{Lang|en|Toffoli gate}}）===
[[Image:Toffoli gate.svg|150px|thumb|Circuit representation of Toffoli gate]]
[[Toffoli閘]]是一個操作三個量子位元的，對傳統運算是[[功能完備|完備的]]閘。量子的Toffoli閘是類同的閘，以三個量子位元定義。如果前兩個量子位元是<math>|1\rangle</math>，則對第三個量子位元進行泡利-X運算，反之則不做操作。這是一個受控閘的範例。既然這個閘是一個傳統邏輯閘的量子類比，因此它可以用一個真值表來完整表示如下：
:{| class="wikitable"
! colspan="3" | INPUT
! colspan="3" | OUTPUT
|- align="center"
| 0 || 0 || 0 || 0 || 0 || 0
|- align="center"
| 0 || 0 || 1 || 0 || 0 || 1
|- align="center"
| 0 || 1 || 0 || 0 || 1 || 0
|- align="center"
| 0 || 1 || 1 || 0 || 1 || 1
|- align="center"
| 1 || 0 || 0 || 1 || 0 || 0
|- align="center"
| 1 || 0 || 1 || 1 || 0 || 1
|- align="center"
| 1 || 1 || 0 || 1 || 1 || 1
|- align="center"
| 1 || 1 || 1 || 1 || 1 || 0
|}

也可以將這個閘以像是<math>|a, b, c\rangle</math> to <math>|a, b, c\oplus ab\rangle</math>的操作形容。

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

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

只有單一個量子閘的萬能量子閘集合可以用一個操作三個量子位元的Deutsch閘<math>D(\theta)</math>建構出來<ref>{{Citation | last=Deutsch | first=David | author-link=David Deutsch | title=Quantum computational networks | journal=Proc. R. Soc. Lond. A | volume=425 | issue=1868 | pages=73–90 | year=1989 | date=September 8 | url=http://www.physics.princeton.edu/~mcdonald/examples/QM/deutsch_prsl_a425_73_89.pdf | doi=10.1098/rspa.1989.0099 }}{{Dead link}}</ref>，Deutsch閘它的操作如下：

<math>|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}</math>

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

== 歷史 ==
現有量子閘的記號是Barenco ''et al.''以費曼所提出的記號为基础<ref>R. P. Feynman，“Quantum mechanical computers”，Optics News，February 1985，'''11'''，p. 11; reprinted in Foundations of Physics '''16'''(6) 507–531</ref>發明的。<ref>Phys. Rev. A '''52''' 3457–3467 (1995)，DOI:[http://dx.doi.org/10.1103/PhysRevA.52.3457 10.1103/PhysRevA.52.3457] {{Wayback|url=http://dx.doi.org/10.1103/PhysRevA.52.3457 |date=20080725161511 }}; e-print [http://arxiv.org/abs/quant-ph/9503016 arXiv:quant-ph/9503016] {{Wayback|url=http://arxiv.org/abs/quant-ph/9503016 |date=20170110193859 }}</ref>

==註釋==
{{Reflist}}

==参考文献==
{{refbegin}}
* M. Nielsen and I. Chuang，''Quantum Computation and Quantum Information''，Cambridge University Press，2000
{{refend}}

== 參閱 ==
* [[泡利矩陣]]
* [[蓋爾曼矩陣]]

==外部連結==
* [http://www.quantiki.org/wiki/List_of_QC_simulators List of QC simulators] {{Wayback|url=http://www.quantiki.org/wiki/List_of_QC_simulators |date=20151012214757 }}
* [http://www.springer.com/cda/content/document/cda_downloaddocument/9781846288869-c2.pdf?SGWID=0-0-45-1039041-p173733620 Chapter 2 Quantum Gates] {{Wayback|url=http://www.springer.com/cda/content/document/cda_downloaddocument/9781846288869-c2.pdf?SGWID=0-0-45-1039041-p173733620 |date=20150924123152 }} из 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{{ref-en}}
* Yoshihisa Yamamoto, [https://web.archive.org/web/20150104033648/http://web.stanford.edu/~rsasaki/AP226/text3.pdf Chapter 3 Quantum gates] of [https://web.archive.org/web/20150104033422/http://web.stanford.edu/~rsasaki/AP226/AP226.html «AP 226: Physics of Quantum Information»], Lecture Notes // Stanford, Winter 2009{{ref-en}}
* Dieter Suter, Joachim Stolze, [https://web.archive.org/web/20150104031313/http://e3.physik.uni-dortmund.de/~suter/Vorlesung/QIV_WS09/5_QuantumGates.pdf Chapter 5: Complete set of quantum gates] (слайды) из [https://web.archive.org/web/20150104033804/http://e3.physik.tu-dortmund.de/~suter/Vorlesung/QIV_WS09/QIV.html Quantum Computing WS] // Technischen Universität Dortmund 2009—2010{{ref-en}}
* Markus Schmassmann, [http://qudev.ethz.ch/content/courses/QSIT07/presentations/Schmassmann.pdf] {{Wayback|url=http://qudev.ethz.ch/content/courses/QSIT07/presentations/Schmassmann.pdf |date=20150104030421 }} // QSIT-Course, ETH Zürich, 17. Oktober 2007{{ref-en}}
{{-}}
{{Quantum computing|state=collapsed}}
{{Quantum mechanics topics|state=collapsed}}

[[Category:量子信息科学]]
[[Category:量子力学|L]]
[[Category:量子閘]]