×

在绝热量子计算机上有效嵌入QUBO问题。 (英语) Zbl 1417.81081号

概要:像D-Wave 2000Q这样的绝热量子计算机可以近似地解决QUBO问题,这是一个NP-hard问题,并且已经证明在几个实例上优于经典计算机。解决QUBO问题实际上意味着解决几乎所有的NP-hard问题,如旅行推销员问题、航空公司调度问题、蛋白质折叠问题、基因型插补问题,从而实现重大的科学进步,并可能在物流、航空、,医疗保健和许多其他行业。然而,在量子计算机上解决QUBO问题之前,必须将其嵌入(或编译)到量子计算机的硬件上,这本身就是一个非常困难的问题。在这项工作中,我们提出了一种有效的嵌入算法,它可以快速嵌入QUBO问题,使用较少的量子比特,并使目标函数值接近全局最小值。然后,我们将我们的嵌入算法与当前最先进的D-Wave嵌入算法的性能进行了比较,并表明我们的嵌入方法明显优于D-Wave的嵌入算法。我们的嵌入方法适用于很 完美奇美拉图,即没有缺失量子比特的奇美拉图形。

MSC公司:

81页68 量子计算
68T05型 人工智能中的学习和自适应系统
68页第10页 搜索和排序
03日第10天 图灵机及其相关概念
2005年第68季度 计算模型(图灵机等)(MSC2010)
2012年第68季度 计算理论中的量子算法和复杂性
2017年第68季度 问题的计算难度(下限、完备性、近似难度等)

软件:

协和式飞机
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Adachi,S.H.,Davenport,D.M.,Henderson,M.P.:神经网络的量子辅助训练。美国专利申请。14/702,203 (2015)
[2] Albash,T.,Lidar,D.A.:绝热量子计算。Rev.现代物理。90(1), 015002 (2018)
[3] Amin,M.H.:绝热量子计算方法。美国专利8504497(2013)
[4] Amin,M.H.,Steininger,M.F.:超导量子比特的绝热量子计算。美国专利7135701(2006)
[5] Applegate,D.L.,Bixby,R.E.,Chvatal,V.,Cook,W.J.:旅行推销员问题:一项计算研究。普林斯顿大学出版社,普林斯顿(2006)·Zbl 1130.90036号
[6] Barends,R.、Shabani,A.、Lamata,L.、Kelly,J.、Mezzacapo,A.、拉斯赫拉斯,U.、Babbush,R.,Fowler,A.G.、Campbell,B.、Chen,Y.等人:超导电路的数字化绝热量子计算。《自然》534(7606),222(2016)
[7] Baruah,S.、Bertogna,M.、Buttazzo,G.:实时系统的多处理器调度。柏林施普林格出版社(2015)·Zbl 1314.68003号
[8] Biamonte,J.D.,Berkley,A.J.,Amin,M.:通用绝热量子计算机的物理实现。美国专利8234103(2012)
[9] Bian,Z.,Chudak,F.,Israel,R.B.,Lackey,B.,Macready,W.G.,Roy,A.:将约束优化问题映射到量子退火,并应用于故障诊断。前面。ICT 3,14(2016)
[10] Bian,Z.,Chudak,F.,Macready,W.,Roy,A.,Sebastiani,R.,Varotti,S.:用量子退火器解决sat和maxsat:基础和初步报告。摘自:国际合并系统前沿研讨会,第153-171页。施普林格,柏林(2017)·Zbl 1495.68201号
[11] Blum,A.,Rivest,R.L.:训练三节点神经网络是NP完成的。摘自:《神经信息处理系统进展》,第494-501页(1989年)
[12] Boothby,T.,King,A.D.,Roy,A.:嵌合体量子比特连接性图中的快速小团生成。量子信息处理。15(1), 495-508 (2016) ·Zbl 1333.81098号
[13] Britt,K.A.,Humble,T.S.:量子处理单元的高性能计算。ACM J.Emerg.技术。计算。系统。(JETC)13(3)、39(2017)
[14] Cai,J.,Macready,W.G.,Roy,A.:寻找图子项的实用启发式方法。预印本(2014)。arXiv:1406.2741
[15] Carrillo,H.,Lipman,D.:生物学中的多序列比对问题。SIAM J.应用。数学。48(5), 1073-1082 (1988) ·Zbl 0652.92001号
[16] Chickering,D.M.,Geiger,D.,Heckerman,D.等人:学习贝叶斯网络是NP-hard。技术报告,Citeser(1994)·Zbl 0831.68096号
[17] Choi,V.:绝热量子计算中的少嵌入:I.参数设置问题。量子信息处理。第7(5)页,193-209页(2008年)·Zbl 1160.81326号
[18] Choi,V.:绝热量子计算中的小嵌入:II。次要通用图形设计。量子信息处理。10(3), 343-353 (2011) ·Zbl 1216.81048号
[19] 库克,S.A.:定理证明过程的复杂性。摘自:第三届ACM计算机理论研讨会论文集,第151-158页。ACM,纽约(1971)·Zbl 0253.68020号
[20] Cristianini,N.、Shawe-Taylor,J.等人:支持向量机和其他基于内核的学习方法简介。剑桥大学出版社,剑桥(2000)·Zbl 0994.68074号
[21] Dasgupta,S.:k的硬度意味着聚类。加州大学圣地亚哥分校计算机科学与工程系(2008)
[22] Dill,K.A.,MacCallum,J.L.:蛋白质折叠问题,50年前。《科学》338(6110),1042-1046(2012)
[23] Dubois,O.,Dequen,G.:一种用于有效求解硬3-sat公式的主干搜索启发式算法。IJCAI 1,248-253(2001)
[24] Esteve,D.、Vion,D.、Devoret,M.、Urbina,C.、Joyez,P.、Pothier,H.、Orfila,P.F.、Aassime,A.、Cottet,A.:基于约瑟夫森结的超导量子比特器件。美国专利6838694(2005)
[25] Etschmaier,M.M.,Mathaisel,D.F.:航空公司调度:概述。运输。科学。19(2), 127-138 (1985)
[26] Goodrich,T.D.,Sullivan,B.D.,Humble,T.S.:使用图形理论框架优化绝热量子程序编译。量子信息处理。17(5), 118 (2018) ·Zbl 1395.81084号
[27] Grover,L.K.:数据库搜索的快速量子力学算法。摘自:第28届ACM计算机理论年会论文集,第212-219页。ACM,纽约(1996)·Zbl 0922.68044号
[28] Hamilton,K.E.,Humble,T.S.:通过随机匹配边集识别稠密连通二部图的次集覆盖。量子信息处理。16(4), 94 (2017) ·Zbl 1373.81139号
[29] Huang,W.,Yu,J.X.:研究基于位置服务的TSP启发法。数据科学。工程2(1),71-93(2017)
[30] Imamog,A.、Awschalom,D.D.、Burkard,G.、DiVincenzo,D.P.、Loss,D.、Sherwin,M.、Small,A.等人:使用量子点自旋和腔QED的量子信息处理。物理。修订稿。83(20), 4204 (1999)
[31] 凯恩,B.E.:基于硅的核自旋量子计算机。《自然》393(6681),133(1998)
[32] Keating,T.、Goyal,K.、Jau,Y.Y.、Biedermann,G.W.、Landahl,A.J.、Deutsch,I.H.:里德堡应力原子的绝热量子计算。物理。修订版A 87(5),052314(2013)
[33] King,A.D.,Israel,R.B.,Bunyk,P.I.,Boothby,T.J.,Reinhardt,S.P.,Roy,A.P.,King,J.A.,Lanting,T.M.,Evert,A.J.:将问题嵌入模拟处理器的系统和方法。美国专利申请。15/487,295 (2017)
[34] Kleinberg,J.,Tardos,E.:算法设计。培生教育印度,诺伊达(2006)
[35] Klymko,C.,Sullivan,B.D.,Humble,T.S.:绝热量子编程:带有硬断层的微小嵌入。量子信息处理。13(3), 709-729 (2014) ·Zbl 1291.81099号
[36] Landahl,A.:绝热量子计算。In:APS四角会议摘要(2012)
[37] Lewis,M.,Glover,F.:二次无约束二进制优化问题预处理:理论和实证分析。网络70(2),79-97(2017)
[38] Li,Y.,Willer,C.,Sanna,S.,Abecasis,G.:基因型插补。基因组年鉴。嗯,遗传学。10, 387-406 (2009)
[39] Macready,W.,Roy,A.P.:利用硬件图形分解,制定量子处理器解决问题的系统和方法。美国专利9875215(2018)
[40] Nielsen,M.A.,Chuang,I.:量子计算和量子信息。AAPT(2002)·Zbl 1049.81015号
[41] Papadimitriou,C.H.:计算复杂性。威利,伦敦(2003)·Zbl 0833.68049号
[42] Pittman,T.、Jacobs,B.、Franson,J.:使用偏振分束器的概率量子逻辑运算。物理。修订版A 64(6),062311(2001)
[43] Pla,J.J.,Tan,K.Y.,Dehollain,J.P.,Lim,W.H.,Morton,J.J,Jamieson,D.N.,Dzurak,A.S.,Morello,A.:硅中的单原子电子自旋量子位。《自然》489(7417),541(2012)
[44] Potok,T.E.,Schuman,C.D.,Young,S.R.,Patton,R.M.,Spedalieri,F.,Liu,J.,Yao,K.T.,Rose,G.,Chakma,G.:高性能、神经形态和量子计算机上复杂深度学习网络的研究。参见:HPC环境中的机器学习研讨会(MLHPC),第47-55页。IEEE,纽约(2016)
[45] Rieffel,E.G.,Venturelli,D.,O'Gorman,B.,Do,M.B.,Prystay,E.M.,Smelyanskiy,V.N.:为难操作规划问题编写量子退火程序的案例研究。量子信息处理。14(1), 1-36 (2015) ·Zbl 1311.81084号
[46] Roy,A.P.:制定嵌入问题以供量子处理器解决的系统和方法。美国专利9501747(2016)
[47] Shmygelska,A.,Hoos,H.H.:针对2D和3D疏水性极性蛋白质折叠问题的蚁群优化算法。BMC生物信息公司。6(1), 30 (2005)
[48] 肖尔,P.W.:《量子计算的算法:离散对数和因子分解》,1994年论文集。,第35届计算机科学基础年会,第124-134页。IEEE,纽约(1994)
[49] Shor,P.W.:量子计算机上素因式分解和离散对数的多项式时间算法。SIAM版本41(2),303-332(1999)·Zbl 1005.11507号
[50] Thom,M.C.,Roy,A.P.,Chudak,F.A.,Bian,Z.,Macready,W.G.,Israel,R.B.,Boothby,T.J.,Yarkoni,S.,Xue,Y.,Korenkevych,D.等人:具有任意大小和/或连通性的问题图的模拟处理系统和方法。美国专利申请。15/448,361 (2017)
[51] 图灵,A.M.:关于可计算数字,以及对entscheidungs问题的应用。修正。程序。伦敦。数学。Soc.2(1),544-546(1938)·Zbl 0018.19304号
[52] Venturelli,D.,Mandra,S.,Knysh,S.,O’Gorman,B.,Biswas,R.,Smelyanskiy,V.:全连接自旋玻璃的量子优化。物理。版本X 5(3),031040(2015)
[53] Zagoskin,A.M.:库比特使用s波和d波超导体之间的约瑟夫森结。美国专利6459097(2002)
[54] Zagoskin,A.M.:使用约瑟夫森结磁通量状态的量子计算方法。美国专利6563311(2003)
[55] Zaribafiyan,A.,Marchand,D.,REZAEI,S.S.C.:生成用于解决二次二进制优化问题的嵌入模式的方法和系统。美国专利申请。15/344,054 (2017)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。