卡米勒·布拉德勒;施穆尔·弗里德兰;乔什·伊扎克;内森·基洛兰;苏黛琴 图同构与高斯玻色子采样。 （英语） Zbl 1476.05108号 规格矩阵 9, 166-196 (2021). 摘要：我们介绍了近期量子计算设备，特别是高斯玻色子采样器与图同构问题之间的联系。我们提出了一种方案，将图形编码为光的量子态，然后用光子数分辨探测器探测光的特性。我们证明，在这个装置中，不同光子探测事件的概率可以组合起来，得到一组完整的图不变量。两个图是同构的当且仅当它们的检测概率相等。我们提供了额外的方法，可以组合或粗粒度测量概率，以使实验测试更容易进行。我们将这些方法与Titan超级计算机上的几个图族的数值模拟进行基准测试：等谱非同构图对、等谱正则图和强正则图。 引用于2文件 MSC公司： 05元50分 图和线性代数（矩阵、特征值等） 05C60型 图论中的同态问题（重构猜想等）和同态（子图嵌入等） 2015年1月15日 行列式、恒量、迹、其他特殊矩阵函数 2012年第68季度 计算理论中的量子算法和复杂性 81页68 量子计算 关键词：高斯玻色子采样;图同构;哈夫尼安;量子GI算法;强正则图 PDF格式BibTeX公司 XML格式引用 \textit{K.Brádler}等人，《特殊矩阵》9，166--196（2021；Zbl 1476.05108） 全文： DOI程序 arXiv公司 OA许可证 参考文献： [1] 斯科特·阿伦森和亚历克斯·阿奇波夫。线性光学的计算复杂性。STOC’11-第43届ACM计算理论研讨会论文集，333-342，ACM，纽约，2011年·Zbl 1288.68066号 [2] 多里特·阿哈罗诺夫（Dorit Aharonov）、伊泰·阿拉德（Itai Arad）、伊拉德·伊班（Elad Eban）和泽夫·兰道（Zeph Landau）。Potts模型和Tutte平面其他点的加性近似多项式量子算法。arXiv预印量-ph/0702082007。 [3] 拉什洛巴拜。拟多项式时间中的图同构。STOC’16-第48届ACM SIGACT年度计算理论研讨会论文集，684-697，ACM，纽约，2016年·Zbl 1376.68058号 [4] L.Babai，D.Yu。格里戈耶夫和D.M.蒙特。具有有界特征值重数的图的同构。STOC'82——第14届ACM计算理论研讨会的进展，310-324，ACM，纽约，1982年。 [5] 乔治·A·贝克（George A Baker Jr.）鼓形图和等谱图。数学物理杂志。，7（1966年），第12期，2238-2242·Zbl 0203.27401号 [6] 亚历山大·巴维诺克（Alexander Barvinok）。组合数学与配分函数的复杂性，算法与组合数学，30。斯普林格，查姆，2016年。vi+303页·Zbl 1367.05002号 [7] Scott D Berry和Jingbo B Wang。双粒子量子行走：纠缠和图同构测试。物理学。A版，83（2011），第4期，042317，12页。 [8] 安德烈亚斯·比约克隆德（Andreas Björklund）、布拉杰什·古普特（Brajesh Gupt）和尼古拉斯·克萨达（Nicolás Quesada）。复杂矩阵的更快哈夫尼公式及其在超级计算机上的基准测试。ACM J.实验算法，24（2019），第1.11条，第17页。 [9] 卡米尔·布莱德勒（Kamil Brádler）、皮埃尔·卢克·达莱尔·戴默斯（Pierre-Luc Dallaire-Demers）、帕特里克·瑞本特洛斯特（Patrick Rebentrost）、戴钦·苏（Daiqin Su）和克里斯蒂安·威德布鲁克。任意图的完美匹配的高斯玻色子采样。《物理评论A》，98（2018），第3期，032310，第15页，2018年。 [10] Kamil Brádler，Robert Israel，Maria Schuld，Daiqin Su。高斯玻色子采样核心的对偶，arXiv预印本arXiv:1910.040222019。 [11] Fernando GSL Brandão和Krysta M Svore。求解半定规划的量子加速。第58届IEEE计算机科学基础年会—2017年，415-426，IEEE计算机协会，加利福尼亚州洛斯阿拉米托斯，2017 [12] Fernando GSL Brandáo、Amir Kalev、Tongyang Li、Cedric Yen-Yu Lin、Krysta M Svore和Xiaodi Wu。半定规划的指数量子加速及其在量子学习中的应用。arXiv预印arXiv:1710.025812017。 [13] 安德里斯·布劳沃（Andries E.Brouwer）。强正则图的参数。网址：https://www.win.tue.nl/aeb/graphs/srg/srgtab.html，2017年6月。 [14] 爱德华多·卡亚尼埃洛。关于量子场论I：电动力学中Dyson方程的显式解，不使用费曼图。新西门托（9）10（1953），1634-1652·Zbl 0053.17102号 [15] 克里斯蒂安·斯卡鲁德（Cristian S Calude）、迈克尔·丁尼恩（Michael J Dinneen）和理查德·华（Richard Hua）。图同构问题及相关问题的QUBO公式。理论。计算。科学。701 (2017), 54-69. ·Zbl 1382.68081号 [16] Andrew M Childs、Robin Kothari和Rolando D Somma。线性方程组的量子算法对精度的依赖性指数提高。SIAM J.计算。46（2017），第6期，1920-1950年·Zbl 1383.68034号 [17] Brendan L Douglas和Jingbo B Wang。使用量子行走解决图同构问题的经典方法。《物理学杂志》。A 41（2008），第7期，075303，15页·Zbl 1134.81013号 [18] David Emms、Simone Severini、Richard C.Wilson和Edwin R.Hancock。虚构的量子漫步提升了图和树的共谱度。收录：Rangarajan A.、Vemuri B.、Yuille A.L.（编辑）《计算机视觉和模式识别中的能量最小化方法》。EMMCVPR 2005。计算机科学课堂讲稿，第3757卷。施普林格，柏林，海德堡·Zbl 1177.68169号 [19] Michael H Freedman、Alexei Kitaev和Zhenghan Wang。量子计算机对拓扑场理论的模拟。公共数学。物理学。227（2002），第3期，587-603·Zbl 1014.81006号 [20] 迈克尔·弗里德曼（Michael H Freedman）、迈克尔·拉森（Michael Larsen）和王正汉（Zhenghan Wang）。量子计算通用的模函子。公共数学。物理学。227（2002），第3期，605-622·Zbl 1012.81007号 [21] 弗兰克·盖坦和莱恩·克拉克。图同构和绝热量子计算。物理学。修订版A，89（2014），第2期，022342页，20页。 [22] 约翰·金·甘博（John King Gamble）、马克·弗里森（Mark Friesen）、董周（Dong Zhou）、罗伯特·乔恩特（Robert Joynt）和S.N.科珀史密斯（S.N.Coppersmith）。二粒子量子行走应用于图同构问题。物理学。A版，81（2010），第5期，052313，11页。 [23] 约瑟夫·杰拉西（Joseph Geraci）和丹尼尔·利达尔（Daniel A Lidar）。量子计算机对Potts配分函数某些实例的精确计算。公共数学。物理学。279（2008），第3期，735-768·Zbl 1200.82007年 [24] Chris Godsil和Gordon Royle。强正则图。在代数图论中，第217-247页。斯普林格，2001年·Zbl 0968.05002号 [25] C.S.Hamilton、R.Kruse、L.Sansoni、S.Barkhofen、C.Silberhorn和I.Jex。高斯玻色子采样。物理学。修订稿。，119（2017），第17期，170501，5页。 [26] Aram W Harrow、Avinatan Hassidim和Seth Lloyd。线性方程组的量子算法。物理学。修订稿。，103（2009），第15期，150502，4页。 [27] 哈拉尔德·安德烈斯·赫尔夫戈特（Harald Andrés Helfgott）、吉坦德拉·巴杰佩（Jitendra Bajpai）和丹尼尔·多纳（Daniele Dona）。拟多项式时间中的图同构。arXiv预印arXiv:1710.045742017。 [28] 克里斯蒂安·克莱伯和乔丹·斯托亚诺夫。多元分布和力矩问题。《多元分析杂志》，113（2013），7-18·Zbl 1253.60015号 [29] Regina Kruse、Craig S Hamilton、Linda Sansoni、Sonja Barkhofen、Christine Silberhorn和Igor Jex。高斯玻色子采样的详细研究。物理学。版本A，100（2019），编号3，032326，15 pp。 [30] C.H.C.小。组合数学V.：第五届澳大利亚会议记录，1976年8月24日至26日在皇家墨尔本理工学院举行。数学课堂讲稿。施普林格-柏林-海德堡，2006年。 [31] Anuradha Mahasinghe、Josh A Izaac、Jingbo B Wang和Jagath K Wijerathna。相位修正的CTQW不能有效区分强正则图。《物理学杂志》。A、 48（2015），第26期，265301，13页·Zbl 1341.60035号 [32] PW Mills、RP Rundle、VM Dwyer、Todd Tilma、Simon J Devitt、JH Samson和Mark J Everitt。提出了一种解决图同构问题的有效量子算法。arXiv预印arXiv:1711.098422017。 [33] Kenneth Rudinger、John Gamble、Mark Wellons、Eric Bach、Mark Friesen、Robert Joynt和S.Coppersmith。非相互作用的多粒子量子随机游动应用于强正则图的图同构问题。《物理学杂志》。A、 86（2012），第2期，022334，10页。 [34] 肯尼斯·鲁丁格（Kenneth Rudinger）、约翰·金·甘布尔（John King Gamble）、埃里克·巴赫（Eric Bach）、马克·弗里森（Mark Friesen）、罗伯特·乔恩特（Robert Joynt）和S.N.科珀史密斯（S.N.Coppersmith）。比较使用离散和连续时间量子随机游动的图同构算法。《计算与理论纳米科学杂志》，10（2013），第7期，1653-1661。 [35] 斯特凡·谢尔。线性光网络中的永久性。arXiv预印量-ph/04061272004。 [36] 彼得·肖尔（Peter W Shor）。量子计算算法：离散对数和因子分解。第35届计算机科学基础年度研讨会（圣达菲，新墨西哥州，1994年），124-134，IEEE计算。Soc.Press，加利福尼亚州洛斯阿拉米托斯，1994年。 [37] 彼得·肖尔（Peter W Shor）。量子计算机上素因式分解和离散对数的多项式时间算法。SIAM综述，41（1999），第2期，303-332·Zbl 1005.11507号 [38] 杰米·史密斯。多粒子量子行走的代数方面。滑铁卢大学博士，2012年12月。 [39] 特德·斯彭斯。强正则图。http://www.maths.gla.ac.uk/es/srgraphs.php，2018年8月。 [40] 马滕·范登内斯特（Maarten Van den Nest）、沃尔夫冈·杜尔（Wolfgang Dür）、罗伯特·劳森多夫（Robert Raussendorf）和汉斯·布里格尔（Hans J Briegel）。自旋模型的量子算法和量子计算的模拟门集。物理学。修订版A，80（2009），编号5，052334，5 pp。 [41] 王慧泉、吴俊杰、杨学军和荀毅。一种图同构算法，使用通过量子行走搜索模型计算的签名。《物理学杂志》。A、 48（2015），第11期，115302，23页·Zbl 1309.05187号 [42] PawełWocjan和Jon Yard。琼斯多项式：量子算法及其在量子复杂性理论中的应用。量子信息计算。8（2008），第1-2期，第147-180页·Zbl 1153.81477号 [43] 韩森忠等。利用光子的量子计算优势。《科学》370（2020），1460-1463。 [44] Kenneth M Zick、Omar Shehab和Matthew French。实验量子退火：涉及图同构问题的案例研究。《科学报告》，5（2015），11168，11页。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。