×
亚历山大·考坦;迪尔克斯，塞拉斯;邓肯，罗斯;威尔·西蒙斯;塞扬·西瓦拉贾赫

浅层电路的相位小工具综合。 （英语） Zbl 07453183号

Coecke，Bob（编辑）等人，《第16届量子物理与逻辑国际会议论文集》，2019年QPL，美国加利福尼亚州奥兰治查普曼大学，2019月10日至14日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）318213-228（2020）。
摘要：我们概述了剑桥量子计算有限公司开发的量子软件编译器系统（mathsf{t|ket}rangle）使用的电路优化方法相位小工具是一个多量子比特量子操作家族，在广泛的实际感兴趣的量子电路中自然发生。阶段小工具在兹克斯-微积分，这使得推理变得容易。利用这一点，我们提出了一种有效的方法，将相位器件转换回适用于在量子计算机上执行的（楔形X）门和单量子比特操作，大大减少了门数和电路深度。我们在基于变分电路的量子化学基准测试集上证明了这些方法对小分子基态估计的有效性。
关于整个系列，请参见[Zbl 1466.03002号].

引用于4文件

MSC公司：

81页68 量子计算

软件：

循环;QISKit公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Cowtan}等人，《电子》。程序。西奥。计算。科学。（EPTCS）318、213--228（2020；Zbl 07453183）
全文： arXiv公司 链接

参考文献：

[1] LiH_JW_ccpvdz 407320 388620 282608 264996 371847 229491 145714 134079
[2] C2H4_JW_sto3g 640768 596857 438784 408313–248945 216796号
[3] Matthew Amy、Jianxin Chen和Neil J.Ross（2018）：《CNOT双面操作器的有限展示》。《理论计算机科学电子期刊》266，第84-97页，doi:10.4204/eptcs.266.5·兹比尔1486.81056 ·doi:10.4204/eptcs.266.5
[4] Matthew Amy、Dmitri Maslov和Michele Mosca（2014）：通过Matroid分区对Clifford+T电路进行多项式时间T深度优化。IEEE集成电路和系统计算机辅助设计汇刊33（10），第1476-1489页，doi:10.1109/TCAD.2014.2341953·doi:10.1109/TCAD.2014.2341953
[5] Matthew Amy、Dmitri Maslov、Michele Mosca和Martin Roettler（2013）：快速合成深度最佳量子电路的中间相遇算法。IEEE集成电路和系统计算机辅助设计汇刊32（6），第818-830页，doi:10.1109/tcad.2013.2244643·doi:10.1109/tcad.2013.2244643
[6] Matthew Amy和Michele Mosca（2019）：T计数优化和Reed-Muller代码。IEEE信息理论汇刊65（8），第4771-4784页，doi:10.1109/tit.2019.2906374·Zbl 1432.94189号 ·doi:10.1109/tit.2019.2906374
[7] Panagiotis Kl Barkoutsos、Jerome F Gonthier、Igor Sokolov、Nikolaj Moll、Gian Salis、Andreas Fuhrer、Marc Ganzhorn、Daniel J Egger、Matthias Troyer、Antonio Mezzacapo等人（2018）：电子结构计算的量子算法：粒子孔哈密顿量和优化波函数展开。物理评论A 98（2），第022322页，doi:10.1103/PhysRevA.98.022322·doi:10.1103/PhysRevA.98.022322
[8] Rodney J Bartlett，Stanislaw A Kucharski&Jozef Noga（1989）：替代耦合簇ansätze II。幺正耦合簇方法。化学物理信件155（1），第133-140页，doi:10.1016/S0009-2614（89）87372-5·doi:10.1016/S0009-2614（89）87372-5
[9] Niel de Beaudrap和Dominic Horsman（2017）：ZX演算是一种用于表面代码格运算的语言。In：程序。QPL2017.网址：https://arxiv.org/pdf/1704.08670。
[10] Michael Beverland、Earl Campbell、Mark Howard和Vadym Kliuchnikov（2019）：量子计算非Clifford资源的下限。arXiv预印本1904.01124。
[11] M Blaauboer和RL De Visser（2008）：一种优化实现双量子比特纠缠门的分析分解协议。《物理学杂志A：数学与理论》41（39），第395307页，doi:10.1088/1751-8113/41/39/395307·Zbl 1192.81054号 ·doi:10.1088/1751-8113/41/39/395307
[12] Sergey Bravyi、Jay M Gambetta、Antonio Mezzacapo和Kristan Temme（2017）：衰减量子位以模拟费米子哈密顿。arXiv预印本1701.08213。
[13] Sergey B Bravyi和Alexei Yu Kitaev（2002）：费米子量子计算。《物理学年鉴》298（1），第210-226页，doi:10.1006/aphy.2002.6254·Zbl 0995.81012号 ·doi:10.1006/aphy.2002.6254
[14] 曹玉东（Yudong Cao）、乔纳森·罗梅罗（Jonathan Romero）、约纳森·奥尔森（Jonatnathan P.Olson）、马提亚斯·德鲁特（Matthias Degroote）、彼得·约翰逊（Peter D.Johnson）、马里亚·基菲罗娃（Mária Kieferová）、伊恩·基夫利坎（Ian D.Kivlichan）、蒂姆·门克（Tim Menke）、博尔贾·佩罗帕德雷（Borja。arXiv预印本1812.09976。
[15] Bob Coecke和Ross Duncan（2011）：相互作用的量子观测：范畴代数和图解学。New J.Phys 13（043016），doi:10.1088/1367-2630/13/4/043016·兹比尔1448.81025 ·doi:10.1088/1367-2630/13/4/043016
[16] Bob Coecke和Aleks Kissinger（2017）：《描绘量子过程：量子理论和图解推理第一课程》。剑桥大学出版社，doi:10.1017/9781316219317·Zbl 1405.81001号 ·doi:10.1017/9781316219317
[17] Alexander Cowtan、Silas Dilkes、Ross Duncan、Alexandre Krajenbrink、Will Simmons和Seyon Sivarajah（2019）：关于Qubit路由问题。Wim van Dam和Laura Mancinska主编：《第十四届量子计算、通信和密码学理论会议》（TQC 2019），莱布尼茨国际信息学学报（LIPIcs）135，德国达格斯图尔Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik，第5:1-5:32页，doi:10.4230/LIPIcs。TQC.2019.5号·Zbl 07559366号 ·doi:10.4230/LIPIcs。天质控2019.5
[18] Ross Duncan、Aleks Kissinger、Simon Perdrix和John van de Wetering（2019）：用ZX演算对量子电路进行图论简化。arXiv预印本1902.03178。
[19] Hartmut Ehrig、Karsten Ehring、Ulrike Prange和Gabriele Taentzer（2006）：代数图形变换基础。理论计算机科学专著，施普林格-柏林-海德堡，doi:10.1007/3-540-31188-2·Zbl 1095.68047号 ·doi:10.1007/3-540-31188-2
[20] Andrew Fagan和Ross Duncan（2019）：用Quantomatic优化Clifford赛道。arXiv预印本1901.10114，doi:10.4204/eptcs.287.5·doi:10.4204/eptcs.287.5
[21] Luke E Heyfron和Earl T Campbell（2018）：减少T计数的高效量子编译器。量子科学与技术4（1），第015004页，doi:10.1088/2058-9565/aad604·doi:10.1088/2058-9565/aad604
[22] IBM研究院：Qiskit。可在https://qiskit.org。
[23] Pascual Jordan和Eugene P Wigner（1928）：关于泡利不相容原理。Z.物理。47，第631-651页，doi:10.1007/BF01331938·doi:10.1007/BF01331938
[24] Aleks Kissinger和Arianne Meijer-van de Griend（2019）：用于拓扑约束量子存储器的CNOT电路提取。arXiv预印本1904.00633。
[25] Aleks Kissinger和John van de Wetering（2019）：用ZX演算减少T计数。arXiv预印本1903.10477。
[26] Daniel Litinski（2019）：《表面代码的游戏：晶格手术的大规模量子计算》。量子3，第128页，doi:10.22331/q-2019-03-05-128·doi:10.22331/q-2019-03-05-128
[27] Jarrod R McClean、Jonathan Romero、Ryan Babbush和Alán Aspuru Guzik（2016）：变异混合量子经典算法理论。《新物理学杂志》18（2），第023023页，doi:10.1088/1367-2630/18/20/023023。可在http://stacks.iop.org/1367-2630/18/i=2/a=023023。 ·Zbl 1456.81149号 ·doi:10.1088/1367-2630/18/2/023023
[28] Yunseong Nam、Neil J.Ross、Yuan Su、Andrew M.Childs和Dmitri Maslov（2018）：具有连续参数的大型量子电路的自动优化。npj量子信息4（1），第23页，doi:10.1038/s41534-018-0072-4·doi:10.1038/s41534-018-0072-4
[29] Beatrice Nash、Vlad Gheorghiu和Michele Mosca（2019）：NISQ架构的量子电路优化。arXiv预印本1904.01972。
[30] 里格蒂计算：森林-里格蒂。可在http://rigetti.com/forest。
[31] Peter Selinger（2015）：n量子比特Clifford算符的生成器和关系。计算机科学中的逻辑方法11（2），doi:10.2168/lmcs-11（2:10）2015·Zbl 1391.81066号 ·doi:10.2168/lmcs-11（2:10）2015年
[32] Cirq开发人员：Cirq：NISQ电路的python库。可在https://cirq。阅读docs.io/en/stable/。
[33] Guifre Vidal和Christopher M Dawson（2004）：使用三个受控非零门实现两量子比特变换的通用量子电路。物理评论A 69（1），第010301页，doi:10.1103/PhysRevA.69.010301·doi:10.1103/PhysRevA.69.010301
[34] Renaud Vilmart（2018）：纯量子力学ZX-演算的近最优公理化。arXiv预印本1812.09114·Zbl 1452.81080号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。