为什么不能用门模型描述量子退火?


21

基于这个问题,我被启发提出了一个问题,该问题指出,量子退火与通常的电路模型是完全不同的计算模型。我以前已经听说过,并且据我了解,门模型不适用于量子退火,但是我从未完全理解为什么这样做,或者如何解析退火器可以进行的计算。据我从几次谈话中了解到的(退火炉本身就是D波!),退火炉仅限于特定的哈密顿量。

Answers:


18

的量子退火炉,如d波机是伊辛模型的物理表示,因此具有“问题”的形式的哈密顿

HP=Ĵ=1个ñHĴσĴž+一世ĴĴ一世Ĵσ一世žσĴž

本质上,要解决的问题映射到上述哈密顿量。该系统开始与哈密顿和退火参数,š用于将初始哈密顿映射ħ 到该问题哈米尔顿算ħ P使用ħ 小号 = 1 - 小号ħ + 小号ħ PH一世=Ĵ=1个ñHĴσĴXsH一世HPHs=1个-sH一世+sHP

由于这是退火,因此该过程进行得足够缓慢,以保持在系统的基态附近,而哈密顿量随问题而变化,使用隧道方法保持在基态附近,如Nat的答案所述

现在,为什么不能用它来描述门模型质量控制?上面是一个NP难的二次无约束二进制优化(QUBO)问题。实际上,这是一篇将许多NP问题映射到Ising模型的文章。NP中的任何问题都可以映射为多项式时间内的任何NP难题,而整数分解确实是NP问题。

嗯,温度不为零,因此在整个退火过程中不会处于基态,因此,解决方案仍然只是一个近似值。或者,换句话说,失败的概率大于一半(与通用QC认为“不错”的成功概率相差无几)-根据我所看到的图表判断,成功的概率为当前的机器大约为并且只会随着大小的增加而变得更糟),并且退火算法不是有界误差。完全没有 因此,无法通过整数分解等方法来了解您是否具有正确的解决方案。0.2

它(原则上)所做的是非常快地非常接近精确结果,但这对于需要精确结果的任何事情都无济于事,因为从“几乎正确”到“正确”的转换仍然非常困难(也就是说,在这种情况下,当原始问题出在NP问题上时,一般来说大概还是NP),因为/提供“近乎正确”的解决方案的参数不一定会分布在/给出的参数附近。正确的解决方案。

编辑以澄清问题:这意味着量子退火器(QA)仍需要花费指数时间(尽管可能需要更快的指数时间)来解决诸如整数分解之类的NP问题,其中通用QC可以加快指数速度并解决相同的问题。聚时间问题。这就是说,质量保证不能在多边形时间内模拟通用质量控制(否则它可以解决在多边形时间内无法解决的问题)。正如在评论中指出,这并不等于说,一个QA不能给予同样的加速在其他的问题,比如数据库搜索。


1
如果我理解正确,您基本上是在说量子退火器无法描述量子电路,因为找到任意哈密顿量的最小值的问题是NP-困难的。我不明白这个含义。一般而言,模拟量子电路也很难进行经典的模拟(例如参见1610.01808
glS

1
同样,已知一些通过表达为量子电路的算法可以解决的问题也可以通过量子退火解决。一个著名的例子是数据库搜索(例如参见1006.1696的第二部分)。这意味着在某种意义上,人们可以在某些情况下将aq电路映射为q退火问题。这是否还会使您的第三段无效(具体来说,就是声称该[不能]用于描述门模型QC
glS

1
@glS否,根本没有-找到NP难题的最小值(根据第二条评论中的文章)仍需要花费时间,因此,尽管P中存在问题(例如数据库搜索),但加速可能为了能够与通用QC相匹配,解决NP问题仍然需要花费指数时间才能处于有界误差内,而通用QC可能能够在多边形时间内解决相同的问题,例如整数分解。由于质量检查无法执行此操作,因此质量检查不能在多边形时间内模拟通用质量检查
Mithrandir24601

好的,但这不是您在回答中所说的(或者至少不是明确地)。从答案看来,您似乎在说QA永远不能用来解决通过门模型QC解决的问题。这是不是说,QA不能有效解决的NP问题(这很不同可能有时用量子电路来解决...虽然我不认为这已被证明,因为我们不知道保理是真的据我所知,NP难题以及大多数其他具有量子优势的问题都不是决策问题。
glS

我进行了修改,希望可以澄清一些问题。根据目前的知识,还不确定P = NP是否正确,但这仍然是QC呈指数级增长的一个具体示例
Mithrandir24601

16

退火更像是一种模拟策略。

要点是您有一些要优化的怪异功能。因此,您在它周围反弹。首先,“ 温度 ”很高,因此所选点可能会反弹很多。然后,随着算法“ 冷却 ”,温度下降,弹跳变得不那么积极。

最终,它会稳定到局部最优值,理想情况下,局部最优值就像全局最优值一样。

这是用于模拟退火(非量子)的动画:

但是,量子退火的概念几乎相同:

相比之下,门逻辑比数字逻辑要多得多。它关注的是量子位和逻辑运算,而不仅仅是在混乱的反弹之后找到结果。


谢谢,这为我阐明了某些限制。您是否知道任何无法重新表述为退火问题的问题(我知道Wikipedia指出Shor的算法是不可能的,因为它是“爬坡”问题,但是如果您对此有更多了解,我希望听到他们的声音:)
艾米莉·泰瑟斯特

2
@EmilyTyhurst从技术上讲,任何问题都可以用爬山的术语来描述。还有一个问题是,当以爬山的形式描述时,问题的表现如何。不合适的问题可能非常丑陋。对于完全非凸的问题,爬山充其量基本上是蛮力搜索。
纳特

@EmilyTyhurst哈,对,您读错了相反的评论。xD但是,是的,您可以在量子计算机上进行模拟退火,就像在传统计算机上进行模拟退火一样。然后,我想我们是否称其为“ 量子退火 ”更多是一个语义问题。
纳特

2
@EmilyTyhurst是的,它们绝对可以相互转换。我的意思是,这有点像图灵完整性的概念-如果我们有任何完整的逻辑,我们就可以用它构造几乎任何其他东西。
纳特

1
量子退火的重要一点是绝热地改变哈密顿量,以使状态始终保持(变化的)哈密顿量的基态,最终得到最终哈密顿量的gs,这是该协议的目标。这与您在此处描述的“跳跃”有何关系?在这方面,本文(1006.1696)可能引起关注(特别是第一页第二列的最后一部分)。
glS
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.