×
艾米、马修

低级量子元编程的大小类型。 （英语） Zbl 1527.68034号

汤姆森、迈克尔·柯克达尔（编辑）等，《可逆计算》。第11届国际会议，2019年6月24日至25日，瑞士洛桑，RC 2019，会议记录。查姆：斯普林格。勒克特。票据计算。科学。11497, 87-107 (2019).
概述：量子电路设计最基本的方面之一是通过实例大小参数化的电路族概念。与经典编程一样，元编程允许程序员同时编写整个系列的电路，这一能力在量子计算环境中尤为重要，因为算法经常使用非标准字长的算术。在这项工作中，我们介绍了metaQASM，它是openQASM语言的一种类型化扩展，支持电路族的元编程。我们的语言和类型系统是围绕大小类型的轻量级实现构建的，支持在寄存器大小上进行子类型化，而且是类型安全的。特别地，我们证明了我们的系统是强规范化的，因此任何类型良好的metaQASM程序都可以静态展开为一个有限的电路。
关于整个系列，请参见[Zbl 1420.68014号].

MSC公司：

68甲19 其他编程范式（面向对象、顺序、并发、自动等）
81页68 量子计算

关键词：

量子程序设计;电路描述语言;元编程

软件：

PyZX公司;质量管理清单;量子++;森林;草莓地;QPL公司;项目Q;github;ScaffCC公司;镊子;费曼;打开QASM;元QASM;cQASM公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Amy}，莱克特。票据计算。科学。11497，87-107（2019；Zbl 1527.68034）
全文： 内政部 arXiv公司

参考文献：

[1] Aharonov，D.，Jones，V.，Landau，Z.：用于近似琼斯多项式的多项式量子算法。载：第三十八届美国计算机学会计算理论年度研讨会论文集，STOC，第427-436页（2006年）。https://doi.org/10.1145/1132516.1132579 ·Zbl 1301.68129号 ·doi:10.145/1132516.1132579
[2] Altenkirch，T.，Grattage，J.：一种函数量子编程语言。摘自：第20届IEEE计算机科学逻辑年会，LICS，第249-258页（2005）。https://doi.org/10.109/LICS.2005.1 ·doi:10.1109/LICS.2005.1
[3] 艾米·M：费曼。https://github.com/meamy/feynman
[4] Amy，M.、Roettler，M.和Svore，K.M.：经验证的节省空间的可逆电路汇编。摘自：《第29届计算机辅助验证国际会议记录》，CAV，第3-21页（2017年）。https://doi.org/10.1007/978-3-319-63390-9_1 ·Zbl 1494.68045号 ·doi:10.1007/978-3-319-63390-9_1
[5] Bello，L.等人：Qiskit。https://github.com/Qiskit/Qiskit-terra
[6] Cross，A.W.，Bishop，L.S.，Smolin，J.A.，Gambetta，J.M.：开放量子汇编语言。arXiv预印本（2017）。http://arxiv.org/abs/1707.03429
[7] Fu，P.：私人通信（2018）
[8] Gay，S.J.：量子编程语言：调查和参考书目。数学。结构。计算。科学。16(4), 581-600 (2006). https://doi.org/10.1017/S0960129506005378 ·Zbl 1122.68021号 ·doi:10.1017/S0960129506005378
[9] Gheorghiu，V.：量子++：现代C++量子计算库。《公共科学图书馆·综合》13（12），1-27（2018）。https://doi.org/10.1371/journal.pone.0208073 ·doi:10.1371/journal.pone.0208073
[10] Green，A.S.、Lumsdaine，P.L.F.、Ross，N.J.、Selinger，P.、Valiron，B.：《奎珀量子编程导论》。收录人：Dueck，G.W.，Miller，D.M.（编辑）RC 2013。LNCS，第7948卷，第110-124页。斯普林格，海德堡（2013）。https://doi.org/10.1007/978-3-642-38986-3_10 ·Zbl 1406.68013号 ·doi:10.1007/978-3-642-38986-3_10
[11] Green，A.S.、Lumsdaine，P.L.、Ross，N.J.、Selinger，P.、Valiron，B.：Quipper：一种可扩展的量子编程语言。摘自：第34届ACM SIGPLAN编程语言设计与实现会议记录，PLDI 2013，pp.333-342（2013）。https://doi.org/10.1145/2491956.2462177 ·Zbl 1406.68013号 ·doi:10.1145/2491956.2462177
[12] Grover，L.K.：数据库搜索的快速量子力学算法。载：第二十八届美国计算机学会计算理论年度研讨会论文集，STOC，第212-219页（1996年）。https://doi.org/10.1145/237814.237866 ·Zbl 0922.68044号 ·doi:10.1145/237814.237866
[13] Häner，T.，Steiger，D.S.：45量子位量子电路的0.5 PB模拟。摘自：《高性能计算、网络、存储和分析国际会议论文集》，SC，第33:1-33:10页（2017年）。https://doi.org/10.1145/3126908.3126947 ·数字对象标识代码：10.1145/3126908.3126947
[14] Häner，T.、Steiger，D.S.、Svore，K.、Troyer，M.：编译量子程序的软件方法论。量子科学。Technol公司。3(2), 020501 (2018). https://doi.org/10.1088/2058-9565/aaa5cc ·doi:10.1088/2058-9565/aaa5cc
[15] Heyfron，L.E.，Campbell，E.T.：减少T计数的高效量子编译器。量子科学。Technol公司。4(1), 015004 (2018). https://doi.org/10.1088/2058-9565/aad604 ·doi:10.1088/2058-9565/aad604
[16] JavadiAbhari，A.等人：ScaffCC：量子程序的可伸缩编译和分析。并行计算。45（C），2-17（2015）。https://doi.org/10.1016/j.parco.2014.12.001 ·doi:10.1016/j.parco.2014.12.001
[17] Khammassi，N.、Ashraf，I.、Fu，X.、Almudever，C.G.、Bertels，K.：QX：高性能量子计算机模拟平台。摘自：《第20届欧洲会议展览自动化测试设计会议录》，日期：464-469页（2017年）。https://doi.org/10.23919/DATE.2017.7927034 ·doi:10.23919/DATE.2017.7927034
[18] Khammassi，N.、Guerreschi，G.、Ashraf，I.、Hogaboam，J.W.、Almudever，C.G.、Bertels，K.：cQASM v1.0：走向通用量子汇编语言。arXiv预印本（2018）。http://arxiv.org/abs/1805.09607
[19] Killora，N.、Izaac，J.、Quesada，N.，Bergholm，V.、Amy，M.、Weedbrook，C.：草莓场：光子量子计算的软件平台。量子3，129（2019）。https://doi.org/10.22331/q-2019-03-11-129 ·doi:10.22331/q-2019-03-11-129
[20] Kissinger，A.，van de Wetering，J.：PyZX：大规模自动图解推理。arXiv预印本（2019年）。http://arxiv.org/abs/1904.04735
[21] Kliuchnikov，V.，Maslov，D.，Mosca，M.：由clifford和T门产生的单量子比特单位的快速高效精确合成。量子信息计算。13(7-8), 607-630 (2013). https://doi.org/10.26421/QIC13.7-8 ·doi:10.26421/QIC13.7-8
[22] Liu，S.等人：（Q|SI\rangle）：量子编程环境。arXiv预印本（2017）。http://arxiv.org/abs/1710.09500
[23] Lloyd，S.：通用量子模拟器。科学273（5278），1073-1078（1996）。https://doi.org/10.1126/science.273.5278.1073 ·Zbl 1226.81059号 ·doi:1073-1078&publicationyear=1996&doi=10.1126/science.273.5278.1073
[24] Martonosi，M.，Roettler，M.：量子计算的下一步：计算机科学的作用。计算社区联盟（CCC）研讨会报告（2019年）。http://arxiv.org/abs/1903.10541
[25] Nielsen，M.A.，Chuang，I.L.：量子计算和量子信息。剑桥信息与自然科学系列。剑桥大学出版社，剑桥（2000）·Zbl 1049.81015号
[26] 厄默，B.：QCL中的量子编程。维也纳技术大学硕士论文（2000年）。网址：http://tph.tuwien.ac.at/oemer/qcl.html
[27] Paykin，J.、Rand，R.、Zdancewic，S.：QWIRE：量子电路的核心语言。摘自：第44届ACM SIGPLAN编程语言原理研讨会论文集，POPL，第846-858页（2017年）。https://doi.org/10.1145/3009837.3009894 ·Zbl 1380.68087号 ·数字对象标识代码：10.1145/3009837.3009894
[28] Preskill，J.：NISQ时代及以后的量子计算。Quantum 2，79（2018）。https://doi.org/10.22331/q-2018-08-06-79 ·doi:10.22331/q-2018-08-06-79
[29] Shor，P.W.：《量子计算的算法：离散对数和因子分解》，载于：第35届计算机科学基础年度研讨会论文集，SFCS，第124-134页（1994）。https://doi.org/10.109/SFCS.1994.365700 ·doi:10.1109/SFCS.1994.365700
[30] Smith，R.S.，Curtis，M.J.，Zeng，W.J.：实用量子指令集体系结构。arXiv预印本（2016）。http://arxiv.org/abs/1608.03355
[31] Soeken，M.：修订版。https://msoeken.github.io/revkit.html
[32] Steiger，D.S.、Häner，T.、Troyer，M.：ProjectQ：量子计算的开源软件框架。Quantum 2，49（2018）。https://doi.org/10.22331/q-2018-01-31-49 ·doi:10.22331/q-2018-01-31-49
[33] Svore，K.等人：\（Q\#\）：通过高级DSL实现可扩展的量子计算和开发。摘自：《第三届ACM真实世界领域特定语言国际研讨会论文集》，RWDSL，第7:1-7:10页（2018年）。https://doi.org/10.1145/3183895.3183901 ·doi:10.145/3183895.3183901
[34] Xi，H.：程序终止验证的依赖类型。摘自：第16届IEEE计算机科学逻辑研讨会论文集，LICS，第231-242页（2001年）。https://doi.org/10.109/LICS.2001.932500 ·doi:10.1109/LICS.2001.932500
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。