量子门(或量子逻辑门)在量子计算和特别是量子线路的计算模型里面是一个基本的,操作一个小数量量子比特的量子线路。它是量子线路的基础,就像传统逻辑门跟一般数字线路之间的关系。
与多数传统逻辑门不同,量子逻辑门是可逆的。然而,传统的计算可以只使用可逆的门表示。举例来说,可逆的Toffoli门可以实做所有的布尔函数。这个门有一个直接等同的量子门,也因此代表量子线路可以模拟所有传统线路的操作。
量子逻辑门使用酉矩阵表示。就像传统的逻辑门一样,它们是针对一个或两个比特进行操作,常见的量子逻辑门也是针对一个或两个量子比特进行操作。这也代表这一些量子门可以使用 2 × 2 或者 4 × 4 的酉矩阵表示。
常使用的门
量子门常使用矩阵表示,操作K个量子比特的门可以用2k × 2k的酉矩阵表示。一个门输入跟输出的量子比特数量必须要相等。量子门的操作可以用代表量子门的矩阵与代表量子比特状态的向量作相乘来表示。
在下文中,单个量子比特的向量表示为:
而两个量子比特的向量表示为:
其中是代表第一个量子比特处于态,第二个量子比特处于态所构成的(两个量子比特的)量子态的基矢。
阿达马门(Hadamard gate)
阿达马门是只对一个一个量子比特进行操作的门。这个门将基本状态变成,并且将变成。这个门可以以阿达马矩阵表示:
因为矩阵的每一列正交,,其中I表示单位矩阵,因此H是一个酉矩阵。
泡利-X门(Pauli-X gate)
泡利-X门操作一个量子比特。这个门相当于经典的逻辑非门。它将换成并且换成。这个门可以以一个泡利X矩阵表示:
泡利-Y门(Pauli-Y gate)
泡利-Y门操作单一个量子比特。这个门可以以一个泡利Y矩阵表示:
泡利-Z门(Pauli-Z gate)
泡利-Z门操作单一个量子比特。这个门保留基本状态不变并且将换成。这个门可以以一个泡利Z矩阵表示:
相位偏移门(Phase shift gates)
这是一系列操作单一量子比特的门,它保留基本状态并且将换成。
这里的代表相位位移。一些常见的例子像是门的,相位门的的则等于而泡利-Z门的。
互换门(Swap gate)
互换门操作两个量子比特,可以用以下这个矩阵表示:
受控门(Controlled gates)
受控门操作两个以上的量子比特,其中一个或多个量子比特视为某一些操作的控制比特。举例来说,受控非门(CNOT)操作两个量子比特,第二个量子比特只有在第一个量子比特为的时候进行NOT操作,否则就保持不变。这个门可以采以下的矩阵表示:
更普遍地说,如果是一个操作单一量子比特的门,采以下这个矩阵表示:
则受控-门就是操作两个量子比特的量子门,以第一个量子比特作为控制。操作基本状态如下:
受控-门可以以矩阵代表如下:
Toffoli门(Toffoli gate)
Toffoli门是一个操作三个量子比特的,对传统运算是完备的门。量子的Toffoli门是类同的门,以三个量子比特定义。如果前两个量子比特是,则对第三个量子比特进行泡利-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
|
也可以将这个门以像是 to 的操作形容。
万能量子门
较不正式地说,一个万能量子门的集合,是一个任何量子线路均可以用这一些门实做出来的集合。也就是说,任何其他的单位操作均可以从这个集合组合出一个有限长度的序列来表示。技术上来说,因为可能的量子门数目是不可数的,而从有限大的集合取出的有限长度的序列则是可数的,所以不可能达成。为了解决这个问题,我们只要求这一个有限大小的集合可以组合出近似任何量子运算的序列。Solovay–Kitaev theorem保证这一件事情可以有效达成。
一个简单的,操作两个量子比特的门,的万能量子门集合是一个阿达马门(),一个相位偏移门,和一个受控非门.
只有单一个量子门的万能量子门集合可以用一个操作三个量子比特的Deutsch门建构出来[1],Deutsch门它的操作如下:
在传统逻辑线路里面的万用算子Toffoli门可以被简化成一个Deutsch门,,因此代表着所有传统逻辑线路的操作均可以由量子电脑模拟。
历史
现有量子门的记号是Barenco et al.以费曼所提出的记号为基础[2]发明的。[3]
注释
参考文献
- 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(英文)