查看“︁迪文森佐準則”︁的源代码


'''迪文森佐準則'''（DiVincenzo's criteria）是建構量子電腦的必要條件，由理論物理學家{{link-en|戴维·狄文森佐|David DiVincenzo}}（David P.DiVincenzo）於2000年提出<ref name="David">{{Cite journal|title=The Physical Implementation of Quantum Computation|last=DiVincenzo|first=David P.|date=2000-04-13|journal=Fortschritte der Physik|issue=9–11|doi=10.1002/1521-3978(200009)48:9/11<771::AID-PROP771>3.0.CO;2-E|volume=48|pages=771–783|arxiv=quant-ph/0002077|bibcode=2000ForPh..48..771D}}</ref>。量子電腦是由數學家[[尤里·马宁|尤里·馬寧]]於1980年<ref name="manin1980vychislimoe">{{Cite book|last=Manin, Yu. I.|title=Vychislimoe i nevychislimoe|trans-title=Computable and Noncomputable|year=1980|publisher=Sov.Radio|url=http://publ.lib.ru/ARCHIVES/M/MANIN_Yuriy_Ivanovich/Manin_Yu.I._Vychislimoe_i_nevychislimoe.(1980).%5Bdjv%5D.zip|archiveurl=https://web.archive.org/web/20130510173823/http://publ.lib.ru/ARCHIVES/M/MANIN_Yuriy_Ivanovich/Manin_Yu.I._Vychislimoe_i_nevychislimoe.(1980).%5Bdjv%5D.zip|archivedate=2013-05-10|pages=13–15|language=ru|accessdate=2013-03-04}}</ref>以及物理學家[[理查德·費曼]]於1982年首次提出<ref>{{Cite journal|title=Simulating physics with computers|last=Feynman|first=R. P.|date=June 1982|journal=[[International Journal of Theoretical Physics]]|issue=6|doi=10.1007/BF02650179|volume=21|pages=467–488|bibcode=10.1.1.45.9310}}</ref>，可作為有效模擬[[量子力学|量子]]系統的工具，像是用於解決[[多体问题|量子多體]]問題。

關於如何建構量子計算機的建議相當多，對於在建構量子元件時所遇到的種種挑戰，這些建議都取得了不同程度的成功。其中一些建議是使用[[超導量子計算|超導量子位元]]、[[俘获离子量子计算机|離子阱]]、[[核磁共振量子電腦|液態和固態核磁共振]]或[[单向量子计算机|光學簇態]]，這些建議表明量子電腦的前景良好，但也存在阻礙其實現的問題。

迪文森佐準則由七項條件組成，實驗裝置必須符合這些條件，才得以實現如[[Grover算法|Grover的搜索演算法]]或[[秀爾演算法|Shor質因數分解演算法]]之類的量子演算法。前五項條件涉及量子計算本身，另外兩項條件則與實現量子通訊有關，比如[[量子密鑰分發]]中所使用的條件。我們可以證明，傳統電腦會滿足迪文森佐準則。而對傳統體系和量子體系滿足準則能力的比較，既突顯出處理量子系統時所出現的複雜性，也突顯了[[Deutsch–Jozsa算法|量子加速]]的起源。

== 準則說明 ==
根據迪文森佐準則，要建造量子電腦，實驗裝置需滿足七項條件。前五項是量子電腦必要的：

# 物理系统具有可掌控的[[量子位元]]，並具有可擴充性
# 能夠將量子位元的狀態初始化為簡單基準狀態
# 具有長相關[[量子退相干|退相干]][[弛緩 (核磁共振)|時間]]
# 一组「通用」[[量子閘]]
# 能夠[[量子測量|測量]]特定量子位元

剩下的兩項則是[[量子通道|量子通訊]]所必需的：

# 能夠將本地量子位元和飛行量子位元互相轉換
# 能夠準確地在兩點之間傳播飛行量子位元

== 理由 ==
迪文森佐在多次嘗試建造量子電腦後提出了他的標準。下面描述了為什麼這些陳述很重要，並提供了範例。

=== 使用特性良好的量子位元的可擴展性 ===

大多數量子運算模型都需要使用量子位元。量子力學上，[[量子位元]]被定義為具有某些能隙的2層系統。這有時在物理上很難實現，因此我們將焦點放在原子層級的特定轉換上。無論我們選擇什麼系統，我們都要求系統幾乎總是在這兩個層次的子空間中，這樣我們就可以說它是一個特性良好的量子位元。兩個單電子[[量子點]]就是一個特性不佳系統的例子，兩個單電子量子點都有電位井，每個電位井都被其中[[雙態系統|一個或另一個電位井]]中的單電子所佔據，這樣的[[量子點]]可以被適當地描述為單一量子位元。然而，如果考慮到<math>|00\rangle +|11\rangle</math>這樣的狀態，這樣的系統就會對應到一個雙量子位元狀態。

以現今的技術，我們可以創造出擁有特性良好的量子位元的系統，但要創造出擁有任意數量特性良好的量子位元的系統，卻是一項挑戰。目前，我們面臨的最大問題之一是，我們需要呈指數級擴大的實驗裝置，才能容納更多的量子位元。量子電腦在計算數字[[整数分解|素數因數化]]的經典演算法時，可以達到指數級的速度；但如果這需要指數級的大型設定，那麼我們的優勢就會消失。在使用液態[[核磁共振]] (NMR) 的案例中，我們發現增加宏觀尺寸會導致系統初始化，讓計算量子位元處於高度[[密度矩陣|混合狀態]]。<ref>{{cite journal |author=Menicucci NC, Caves CM |year=2002 |title=Local realistic model for the dynamics of bulk-ensemble NMR information processing |journal=[[Physical Review Letters]] |volume=88 |issue=16 |doi=10.1103/PhysRevLett.88.167901|arxiv = quant-ph/0111152 |bibcode = 2002PhRvL..88p7901M |pmid=11955265 |page=167901}}</ref> 儘管如此，我們還是找到了一個計算模型，可以使用這些混合狀態進行計算，但這些狀態越是混合，量子測量所對應的感應信號就越弱。如果這個信號低於雜訊臨界值，解決的方法就是增加樣本的大小，以提高信號的強度；這就是液態[[核磁共振]]作為量子計算方法的不可擴展性的來源。我們可以說，當計算量子位元的數量增加時，它們的特性就會變差，直到達到一個臨界值，它們就不再有用了。

=== 將量子位元初始化為簡單的假設狀態 ===
所有量子與經典計算的模型都是基於在量子位元或比特所維持的狀態上執行操作，並測量與報告結果，而這個程序是取決於系統的初始狀態。特別是量子力學的[[么正性|單一性]]，使得量子位元的初始化變得極為重要。在許多情況下，初始化是透過讓系統[[量子退火]]至基態來完成。當您考慮[[量子糾錯]]時，這一點尤其重要，因為量子糾錯是一種執行量子過程的程序，可抵禦某些類型的雜訊，而且需要大量新初始化的量子位元，這對初始化的速度造成限制。

== 參見 ==

* [[量子计算机|量子計算]]
* [[核磁共振量子電腦]]
* [[俘获离子量子计算机|離子阱量子電腦]]

== 参考 ==
{{Reflist|30em}}

{{量子信息}}

[[Category:计算机逻辑]]
[[Category:命题演算]]
[[Category:布尔代数]]