跳至內容

量子門

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書
常見的量子門名稱(包括縮寫)、電路形式以及相應的酉矩陣.

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

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

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

常使用的門

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

在下文中,單個量子位元的向量表示為:

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

其中是代表第一個量子位元處於態,第二個量子位元處於態所構成的(兩個量子位元的)量子態的基矢。

阿達馬門(Hadamard gate

阿達馬門是只對一個一個量子位元進行操作的門。這個門將基本狀態變成,並且將變成。這個門可以以阿達馬矩陣表示:

Graphical representation of 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

Circuit representation of controlled NOT gate

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

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

受控-就是操作兩個量子位元的量子門,以第一個量子位元作為控制。操作基本狀態如下:

Graphical representation of controlled-U gate

受控-門可以以矩陣代表如下:

Toffoli門(Toffoli gate

Circuit representation of 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]

註釋

  1. ^ Deutsch, David, Quantum computational networks (PDF), Proc. R. Soc. Lond. A, September 8, 425 (1868): 73–90, doi:10.1098/rspa.1989.0099  [失效連結]
  2. ^ R. P. Feynman,「Quantum mechanical computers」,Optics News,February 1985,11,p. 11; reprinted in Foundations of Physics 16(6) 507–531
  3. ^ Phys. Rev. A 52 3457–3467 (1995),DOI:10.1103/PhysRevA.52.3457頁面存檔備份,存於互聯網檔案館); e-print arXiv:quant-ph/9503016頁面存檔備份,存於互聯網檔案館

參考文獻

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

參閱

外部連結