多伊奇-喬薩算法
![本頁使用了標題或全文手工轉換](http://images.weserv.nl/?url=//upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
多伊奇-喬薩算法(英語:Deutsch–Jozsa algorithm)是戴維·多伊奇和理查德·喬薩於1992年提出的一種確定性量子算法。1998年,理查德·克利夫、阿圖爾·埃克特、基婭拉·馬基亞韋洛(Chiara Macchiavello)與米凱萊·莫斯卡對其進行了改進。[1][2]儘管該算法目前在現實中基本沒有用途,但可以證明它比任何可能的確定性經典算法都快指數級,是最早提出的有此特性的量子算法之一。[3]
問題描述
在多伊奇-喬薩問題中,我們有一個被稱為預言機的黑盒量子計算機,它能實現某一函數 。該函數以n比特值作為輸入,輸出結果則為0或1。問題承諾該函數要麼是常函數(即對任何輸入都輸出恆定值0或1),要麼是平衡(balanced)函數(即對一半的輸入返回1,另一半則返回0)。[4]問題的任務是通過預言機確定是常函數還是平衡函數。
問題背景
多伊奇-喬薩問題是專門為量子計算設計的一個問題,該問題對於量子算法而言相對容易,但對任何確定性經典算法來說都是十分困難的。其提出的動機是展示可以由量子計算機有效並且正確解決的一個黑盒問題,而同時確定性經典計算機則需要進行大量計算才能解決該問題。更準確地說,該問題表明了複雜度類EQP(即可以由量子計算機在多項式時間內精確地解決)與P之間的預言分離(oracle separation)。[5]
由於該問題在概率經典計算機上也很容易解決,因此它不會產生與複雜度類BPP(即在概率經典計算機上以多項式時間解決且誤差有界)之間的預言分離。西蒙問題則是一個證明BQP和BPP之間產生預言分離的例子。
經典算法
對於傳統的確定性算法而言,假設n是比特數,則在最壞情況下需要次對的求值。為了證明是常函數,必須對超過一半的輸入進行計算並且發現它們有相同的輸出。最好情況是為平衡函數且恰好選擇的前兩個輸入值對應不同的輸出值。對於傳統的隨機算法,次求值足以產生高概率的正確答案(對 錯誤概率為)。然而,如果想保證獲得正確答案的話,仍需要次求值。多伊奇-喬薩量子算法則僅需一次對的求值就能獲得準確的答案。
歷史
多伊奇-喬薩問題是戴維·多伊奇早期工作(1985年)的推廣。當時他提出的算法針對的是的簡單情形,即有一個輸入為1比特的布爾函數,需要確定該函數是否是常函數。[6]
多伊奇最早提出的算法實際上並不是確定性的。1992年,多伊奇與喬薩共同提出了一種確定性算法,並將該算法推廣到比特的輸入值。與多伊奇的算法不同,該算法需要進行兩次而非一次函數求值。
後來克利夫等人[2]又對多伊奇-喬薩算法進行了改進,提出了一種既具有確定性又僅需一次求值的算法。不過為了紀念多伊奇和喬薩兩人開創性的貢獻,該算法仍被稱為多伊奇-喬薩算法。[2]
算法
多伊奇-喬薩算法成立的前提之一是由計算的預言機必須是一個不會將退相干的量子預言機。此外,它也不能在算法結束後留下任何的拷貝。
![](http://images.weserv.nl/?url=//upload.wikimedia.org/wikipedia/commons/thumb/b/b5/Deutsch-Jozsa-algorithm-quantum-circuit.png/400px-Deutsch-Jozsa-algorithm-quantum-circuit.png)
假設我們有比特量子態 ,即前n比特分別處於而最後一比特則是 。對每個比特應用阿達馬變換可以得到
- .
是由量子預言機實現的函數。預言機將量子態映射到,其中是模2加法(由受控非門實現,可以看作是量子版異或門)。於是該量子預言機可以將上述量子態轉換為
- .
對於每個的結果為0或1。為了檢驗這兩種可能性,我們注意到上面的量子態等價於
- .
此時可以忽略最後一個量子比特,剩餘部分為:
- .
再對每一量子比特進行阿達馬變換,得到
其中是每一比特相應乘積之和。
最後,我們可以檢驗測量得到 的概率
當是常函數(相長干涉)時此概率為1,當是平衡函數(相消干涉)時此概率為0。換句話說,如果是常函數的話測量結果為 (即所有量子比特全為零),其他結果則表明是平衡函數。
多伊奇算法
多伊奇算法是一般多伊奇-喬薩算法的特例。此時我們需要檢查是否成立。這相當於檢查,當結果為零時表明是常函數,否則則不是常函數。
我們從兩比特量子態開始,對每一量子比特應用阿達馬變換,結果為
函數可以將映射為,將此函數應用於當前的量子態,可以得到
忽略最後一個比特與全局相位因子,可以得到量子態
再次應用阿達馬變換,得到
當且僅當測量結果為時有。反之,當且僅當測量結果為時有。因此我們可以肯定地知道是否為常函數。
參考文獻
- ^ David Deutsch & Richard Jozsa. Rapid solutions of problems by quantum computation. Proceedings of the Royal Society of London A. 1992, 439 (1907): 553–558. Bibcode:1992RSPSA.439..553D. CiteSeerX 10.1.1.655.5997
. S2CID 121702767. doi:10.1098/rspa.1992.0167.
- ^ 2.0 2.1 2.2 R. Cleve; A. Ekert; C. Macchiavello; M. Mosca. Quantum algorithms revisited. Proceedings of the Royal Society of London A. 1998, 454 (1969): 339–354. Bibcode:1998RSPSA.454..339C. S2CID 16128238. arXiv:quant-ph/9708016
. doi:10.1098/rspa.1998.0164.
- ^ Simon, Daniel. On the Power of Quantum Computation. 94 Proceedings of the 35th Annual Symposium on Foundations of Computer Science. November 1994: 116–123 [2022-05-24]. ISBN 0-8186-6580-7. S2CID 7457814. doi:10.1109/SFCS.1994.365701. (原始內容存檔於2016-04-16).
- ^ Certainty from Uncertainty. [2011-02-13]. (原始內容存檔於2011-04-06).
- ^
Johansson, N.; Larsson, JÅ. Efficient classical simulation of the Deutsch–Jozsa and Simon's algorithms. Quantum Inf Process (2017). 2017, 16 (9): 233. Bibcode:2017QuIP...16..233J. S2CID 28670540. arXiv:1508.05027
. doi:10.1007/s11128-017-1679-7.
- ^
David Deutsch. Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer. Proceedings of the Royal Society of London A. 1985, 400 (1818): 97–117. Bibcode:1985RSPSA.400...97D. CiteSeerX 10.1.1.41.2382
. S2CID 1438116. doi:10.1098/rspa.1985.0070.