arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1209.6010quant-ph
收藏

强模拟量子线路求解搜索问题

Solving search problems by strongly simulating quantum circuits

T. H. Johnson, J. D. Biamonte, S. R. Clark, D. Jaksch

摘要:

使用经典计算机模拟量子线路可以让我们分析量子算法的内部工作原理。最完整的模拟类型,即强模拟,通常被认为是低效的。然而,几个有效的强模拟技术是已知的有限的家庭的量子线路,我们开发了一个额外的技术在这篇文章中。此外,我们表明,强模拟算法执行另一项基本任务:解决搜索问题。有效的强模拟技术允许解决一类搜索问题的计数和有效地找到。这增强了强模拟方法的实用性,已知的或尚未发现的,并扩展了已知的有效模拟的搜索问题的类别。将强模拟与搜索问题联系起来也限制了高效强模拟电路的计算能力;如果它们可以解决$\mathrm{P}$中的所有问题,这将意味着复杂性层次$\mathrm{P} \subseteq \mathrm{NP} \subseteq # \mathrm{P}$的崩溃。

英文摘要:

Simulating quantum circuits using classical computers lets us analyse the inner workings of quantum algorithms. The most complete type of simulation, strong simulation, is believed to be generally inefficient. Nevertheless, several efficient strong simulation techniques are known for restricted families of quantum circuits and we develop an additional technique in this article. Further, we show that strong simulation algorithms perform another fundamental task: solving search problems. Efficient strong simulation techniques allow solutions to a class of search problems to be counted and found efficiently. This enhances the utility of strong simulation methods, known or yet to be discovered, and extends the class of search problems known to be efficiently simulable. Relating strong simulation to search problems also bounds the computational power of efficiently strongly simulable circuits; if they could solve all problems in $\mathrm{P}$ this would imply the collapse of the complexity hierarchy $\mathrm{P} \subseteq \mathrm{NP} \subseteq # \mathrm{P}$.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑