量子计算在现实世界中的应用(安全性除外)


17

假设我们已经构建了通用量子计算机。

除了与安全相关的问题(加密,隐私等),当前哪些现实问题可以从使用中受益?

我对这两个都感兴趣:

  • 当前无法解决的实际问题,
  • 当前正在解决的问题,但大幅提高速度将大大提高其可用性。

8
也许这会有所帮助。
aelguindy 2012年

IIRC方面存在一个问题,即可以使用哪些量子计算机进行有效计算。您可能想看看它。
卡夫

这个有用吗?
卡夫

1
@Kevah:说实话,不多。我的问题的重点是在现实世界中的应用(因此,不仅在“特定算法有加速的地方”,而且在加速解决了特定的实际问题时)。
皮奥特·米格达

Answers:


17

高效地模拟量子力学。


这是std / folklore / ironic / glib / near-joke的答案,我想知道是谁发起的。有人有实际参考吗?我对它提出如下质疑并非不可能。qm计算主要集中在成对的量子位交互(门)上。为了证明总体上可以有效地模拟QM,似乎必须证明您可以使用成对交互来高效地模拟所有可能的n方向交互。尚未在论文中证明这一点。
vzn 2012年

2
@vzn:在大多数物理相互作用中,仅限于2粒子相互作用是一个很好的近似值,足以用于仅基于局部2体相互作用的模拟才有意义(包含更多项的相互作用通常会很快衰减)。因此,一般n体相互作用的存在不会使模拟思想无效。
Marcin Kotowski

@vzn我没有论文参考,但Scott Aaronson对此表示赞同,并在他最近的《泰晤士报》文章中提到了这一点。
泰森·威廉姆斯

2
@vzn,这是理查德·费曼(Richard Feynman)构想量子计算时最初想到的应用程序。这是他提出量子计算机概念的论文的链接(springerlink.com/content/t2x8115127841630),您也可以检查此文件(witness.weizmann.ac.il/~naor/COURSE/feynman-simulating.pdf
Marcos Villagra'2

1
@vzn答案是正确的,但有关数字量子模拟的文献相当程度上只能通过评论加以总结。由于该主题很有趣,因此我建议您开始一个新的讨论。
Juan Bermejo Vega

8

Brassard,Hoyer,Mosca和Tapp显示,广义的Grover搜索(称为幅度放大)可用于在一大类经典启发式方法上获得二次加速。他们的想法背后的直觉是,经典启发式算法使用随机性来搜索给定问题的解决方案,因此我们可以使用幅度放大来搜索一组随机字符串,以找到一个使启发式算法找到一个好的解决方案的方法。这在算法的运行时间内产生了二次加速。有关更多详细信息,请参见上面链接的论文的第3节。


8

模拟量子系统!

我注意到,在提到这一点的另一个答案中,有几条关于这是否正确的评论,因为这不是显而易见的主张。人们要求提供参考。这里有一些参考。

费曼的原始建议:

Feynman,R .:用计算机模拟物理学。诠释 J.理论。物理 21(6)(1982)467–488

由“局部”哈密顿量定义的所有量子系统的高效算法。(劳埃德还解释说,与狭义相对论和广义相对论一致的任何系统都会根据局部相互作用而演化。)

Lloyd,S .:通用量子模拟器。科学273(5278)(1996)1073-1078

进一步推广到稀疏的哈密顿量,比本地哈密顿量更普遍:

Aharonov,D.,Ta-Shma,A .:绝热量子态生成和统计零知识。在:Proc。第35届STOC,ACM(2003)20–29

进一步阅读:

Berry,D.,Ahokas,G.,Cleve,R.,Sanders,B .:模拟稀疏哈密顿量的高效量子算法。公社 数学。物理 270(2)(2007)359–371

Childs,AM:连续时间进行量子信息处理。麻省理工学院博士学位论文(2004年)


2

在这个领域,愿景既危险又矛盾,因此我们应该谨慎对待这一主题。然而,多项式加速的Q算法具有有趣的潜在应用。

众所周知,格罗弗搜索可用于多项式地渗入NP完全问题的解[1]。这在[2]中已针对3-SAT进行了证明。SAT的一些应用中,从借用[3] ,分别是:检查电路等价自动测试模式产生使用线性时间逻辑模型检查规划人工智能生物信息学中单倍型分析。尽管我对这些主题不太了解,但对我来说,这方面的研究相当实用。

此外,有一个量子算法的多项式加速超过经典计算[评价NAND树81011 ]。NAND树是游戏树的示例,这是一种更通用的数据结构,用于研究棋类和围棋之类的棋盘游戏。可以将这种提速方法用于设计功能更强大的软件游戏玩家,这似乎是合理的。这会引起一些量子视频游戏开发商的兴趣吗?

不幸的是,在现实世界中玩游戏与评估树木并不完全相同:存在复杂性,例如,如果您的玩家没有使用最佳策略[ 12 ]。我还没有看到任何考虑到现实生活情况的研究,因此很难说[ 8 ] 的加速在实践中有多大益处。这可能是一个很好的讨论话题。


1
请接受我的邀请加入:quantumcomputing.stackexchange.com
罗布

-6

认为您在QM研究的前沿提出了一个很好的问题(到目前为止,部分原因是您缺乏答案),但是尚未完全将其正式定义为问题。问题是“无论如何,QM算法究竟能有效地进行有效计算?” 尚不知道并正在积极寻求完整的答案。其中一些与QM相关类的复杂性有关。

在这种情况下,可能会定义一个正式的问题。如果可以证明QM类与“非常强大”的非QM类等效,那么您就会找到答案。这种类型的结果的一般主题是“质量不是很强”类,等效于“质量不是很强”类。这种类型有各种开放式复杂性类分隔(也许其他人可以更详细地建议它们)。

当前关于量子算法的 QM知识的一个奇怪之处 在于,存在一种奇怪的抓包算法,已知可以在QM中使用,但似乎对它们没有太多的连贯性/凝聚力。他们看起来很奇怪,并且在某些方面没有联系。尽管有合理的预期可能存在,但对于“在质量管理中可计算的问题通常以这种形式存在”,没有明显的“经验法则”。

例如,将其与NP完整性理论进行对比,后者相比而言更具凝聚力。似乎,如果QM理论得到更好的发展,它将获得这种更强的凝聚力,让人联想到NP完整性理论。

一个更强的想法可能是,最终,当QM复杂性理论得到更好的充实时,NP完整性将以某种方式“整洁”地融入其中。

对我来说,我见过的最通用的QM加速或广泛适用的策略似乎是Grovers算法,因为很多实用的软件都与数据库查询有关。并且在某些方面越来越“杂乱无章”:

Grover的算法仅使用N个条目来搜索具有N个条目的非结构化数据库(或无序列表)以查找标记条目 Øñ 查询而不是 Ωñ 传统上需要查询。


3
“ QM复杂性理论充实了,NP完整性将以某种方式“完美地”适合它。” 量子交互证明系统有一个发达的理论(像QMA这样的复杂性类),可以推广NP,PSPACE等经典复杂性类。(另一方面,我同意量子算法领域缺乏凝聚力,但是量子算法和量子复杂性是不同的子领域)。
Marcin Kotowski

同意存在定义良好的QM类和层次结构,它们反映了非QM类,但是如上所述,它们与“经典”非QM类和NP的关系(相对于功率)在很大程度上是一个开放的问题。
vzn 2012年

1
您所说的“越来越多的非结构化数据库”是什么意思?根据定义,数据库看起来很漂亮。
Juan Bermejo Vega 2012年
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.