多伊奇-乔萨算法
![本页使用了标题或全文手工转换](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.