量子閘

维基百科,自由的百科全书
跳转至: 导航搜索

此文章與量子計算相關。 量子邏輯也可以代表另一種基於量子力學.的命題邏輯

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

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

量子邏輯閘使用酉矩陣表示。 就像常見的邏輯閘一般是針對一個或兩個位元進行操作,常見的量子閘也是針對一個或兩個量子位元進行操作。 這也代表這一些量子閘可以以2 × 2或者4 × 4的酉矩陣表示。

常使用的閘[编辑]

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

阿達馬閘(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}.

因為矩陣的每一列正交,因此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}

這裡的 θ 代表相位位移。一些常見的例子像是\frac{\pi}{8}的 θ = \frac{\pi}{4},相位閘的的 θ 則等於\frac{\pi}{2} 而泡利-Z閘的θ = \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)[编辑]

受控閘操作兩個以上的量子位元,其中一個或多個量子位元視為某一些操作的控制位元。舉例來說,受控反閘 (或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 閘就是操作兩個量子位元的量子閘,以第一個量子位元作為控制。操作基本狀態如下:

File:Controlled-gate.png
Graphical representation of controlled-U gate
 | 0 0 \rangle \mapsto | 0 0 \rangle
 | 0 1 \rangle \mapsto | 0 1 \rangle
 | 1 0 \rangle \mapsto | 1 \rangle U |0 \rangle = | 1 \rangle \left(x_{00} |0 \rangle + x_{10} |1 \rangle\right)
 | 1 1 \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)[编辑]

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)建構出來[1],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.發明的,[2]建立在費曼所提出的記號上[3]

參見[编辑]

参考资料[编辑]

  • M. Nielsen and I. Chuang,Quantum Computation and Quantum Information,Cambridge University Press,2000
  1. ^ Deutsch, David, Quantum computational networks, Proc. R. Soc. Lond. A. September 8, 425 (1868): 73–90, doi:10.1098/rspa.1989.0099 
  2. ^ Phys. Rev. A 52 3457–3467 (1995),DOI:10.1103/PhysRevA.52.3457; e-print arXiv:quant-ph/9503016
  3. ^ R. P. Feynman,“Quantum mechanical computers”,Optics News,February 1985,11,p. 11; reprinted in Foundations of Physics 16(6) 507–531