×

绝热量子计算中的少嵌入。一: 参数设置问题。 (英语) Zbl 1160.81326号

摘要:我们证明了图(G)上的NP-hard二次无约束二元优化(QUBO)问题可以通过在量子硬件图(U)中嵌入G进行约简,使用实现伊辛自旋1/2哈密顿量的绝热量子计算机来解决。这种归约有两个组成部分:\(嵌入\)和参数设置。嵌入问题是在(U)中找到图(G)的一个小嵌入(G{text{emb}}),它是(U)的一个子图,使得可以通过收缩边从(G{text{emb}}获得(G)。参数设置问题是确定嵌入伊辛哈密顿量的相应参数、量子比特偏置和耦合器强度。在本文中,我们主要研究参数设置问题。作为一个例子,我们使用伊辛自旋1/2系统,通过绝热量子计算(AQC)证明了用于求解最大独立集(MIS)问题的嵌入伊辛哈密顿量。最后,我们讨论了几个需要研究的相关算法问题,以促进绝热算法和AQC架构的设计。

MSC公司:

81页68 量子计算
82B20型 格系统(伊辛、二聚体、波茨等)和平衡统计力学中出现的图上系统
94C15号机组 图论在电路和网络中的应用
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Aharonov,D.,van Dam,W.,Kempe,J.,Landau,Z.,Lloyd,S.,Regev,O.:绝热量子计算与标准量子计算等价。In:程序。第45届FOCS,第42–51页(2004年)·Zbl 1134.81009号
[2] Amin M.H.S.、Love P.J.、Truncik C.J.S.:热辅助绝热量子计算。物理学。修订版Lett。100, 060503 (2008) ·doi:10.10103/物理通讯.100.060503
[3] Amin,M.H.S.,Truncik,C.J.S.,Averin,D.V.:绝热量子计算中单个量子比特退相干时间的作用。arXiv:quant-ph/0803.1196(2008)
[4] 贝克B.S.:平面图上NP-完全问题的近似算法。J.ACM 41(1),153-180(1994)·Zbl 0807.68067号 ·doi:10.1145/174644.174650
[5] Bansal,N.,Bravyi,S.,Terhal,B.M.:平面图上伊辛自旋哈密顿量基态能量的经典近似方案。arXiv:quant-ph/0705.1115(2007)·Zbl 1180.82016年
[6] Barahona F.:关于伊辛自旋玻璃模型的计算复杂性。《物理学杂志》。A: 数学。Gen.15,3241–3253(1982)·doi:10.1088/0305-4470/15/10/028
[7] Boros E.,Hammer P.:伪布尔优化。离散应用程序。数学。123, 155–225 (2002) ·Zbl 1076.90032号 ·doi:10.1016/S0166-218X(01)00341-9
[8] Boros,E.,Hammer,P.L.,Tavares,G.:二次无约束二进制优化的预处理。技术报告RRR 10-2006,RUTCOR研究报告(2006)
[9] Bravyi,S.,DiVincenzo,D.P.,Loss,D.,Terhal,B.M.:使用具有有界强度相互作用的微扰理论模拟多体哈密顿量。arXiv:quant-ph/0803.2686(2008)
[10] Childs,A.,Farhi,E.,Preskill,J.:绝热量子计算的稳健性。物理学。修订版A 65,012322(10页)(2001年)
[11] Diestel R.:图论。Springer-Verlag,海德堡(2005)·Zbl 1074.05001号
[12] Farhi E.、Goldstone J.、Gutmann S.、Lapan J.、Lundgren A.、Preda D.:应用于NP-完全问题随机实例的量子绝热演化算法。《科学》292(5516),472-476(2001)·Zbl 1226.81046号 ·数字对象标识代码:10.1126/science.1057726
[13] Farhi,E.,Goldstone,J.,Gutmann,S.,Sipser,M.:绝热演化的量子计算。arXiv:quant-ph/0001106(2000)
[14] Ioannou,L.M.,Mosca,M.:一些简单绝热量子算法的局限性。arXiv:quant-ph/0702241(2007)·Zbl 1192.81077号
[15] Kaminsky W.M.,Lloyd S.:NP-hard问题绝热量子计算的可伸缩架构。收录人:Leggett,A.J.、Ruggiero,B.、Silvestrini,P.(eds)《介观系统中的量子计算和量子比特》,Kluwer,纽约(2004)
[16] Kaminsky,W.M.,Lloyd,S.,Orlando,T.P.:绝热量子计算的可伸缩超导结构。arXiv:quant-ph/0403090(2004)
[17] Kempe J.、Kitaev A.、Regev。,O: 局部哈密顿问题的复杂性。SIAM J.计算。35, 1070 (2006) ·Zbl 1102.81032号 ·doi:10.1137/S0097539704445226
[18] Kleinberg,J.M.,Rubinfeld,R.:展开图中的短路径。摘自:IEEE计算机科学基础研讨会,第86–95页(1996)
[19] Lidar,D.A.、Rezakhani,A.T.、Hamma,A.:多体系统和量子计算的绝热近似具有优于指数精度。arXiv:quant-ph/0808.2697(2008)
[20] Oliveira,R.,Terhal,B.M.:二维正方形晶格上量子自旋系统的复杂性。arXiv:quant-ph/0504050(2005)·Zbl 1161.81007号
[21] Reichardt,B.W.:量子绝热优化算法和局部极小值。收录于:STOC'04:第三十六届ACM计算理论年会论文集,第502-510页。ACM,美国纽约州纽约市(2004年)·兹比尔1192.81098
[22] Robertson N.、Seymour P.D.:未成年人图形。xiii:不相交路径问题。J.库姆。理论Ser。B 63(1),65–110(1995)·Zbl 0823.05038号 ·doi:10.1006/jctb.1995.1006
[23] 汤姆森,L.F.:并行算法和架构简介:数组,树,超立方体。Morgan Kaufmann,加利福尼亚州圣马特奥(1992)·Zbl 0743.68007号
[24] van Dam,W.,Mosca,M.,Vazirani,U.:绝热量子计算有多强大?In:程序。第42届FOCS,第279-287页(2001年)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。