尤里·古里维奇;安德烈亚斯·布拉斯 量子电路算法的软件科学观。 （英语） Zbl 07687211号 Inf.计算。 292，文章ID 105024，17 p.（2023）. 摘要：我们表明，在量子电路图的抽象层次上，量子电路算法属于我们在早期工作中研究的交互式时序算法。这一观察结果导致了量子电路算法的自然规范语言。 MSC公司： 第68季度 计算理论 软件：镊子;阿斯毫升;QPL公司 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gurevich}和\textit{A.Blass}，Inf.Comput。292，文章ID 105024，17 p.（2023；Zbl 07687211） 全文： 内政部 arXiv公司 参考文献： [1] Beenakker，C.W.J。；迪文森佐，D.P。；埃默里，C。；Kindermann，M.，电荷检测实现自由电子量子计算，Phys。修订稿。，93，2，第020501条pp.（2004） [2] 安德烈亚斯·布拉斯；Gurevich，Yuri，抽象状态机捕获并行算法，ACM Trans。计算。日志。，4，4758-651（2003年）；安德烈亚斯·布拉斯（Andreas Blass）；古里维奇，尤里，更正和扩展，ACM Trans。计算。日志。，9，3，第19条，第（2008）页·Zbl 1365.68253号 [3] 安德烈亚斯·布拉斯（Andreas Blass）；Gurevich，Yuri，《普通交互式小步算法》，第一部分，ACM Trans。计算。日志。，7, 2, 363-419 (2006); 安德烈亚斯·布拉斯（Andreas Blass）；Gurevich，Yuri，《普通交互式小步算法》，第二部分，ACM Trans。计算。日志。，8、3，第15条pp.（2006年）；安德烈亚斯·布拉斯（Andreas Blass）；Gurevich，Yuri，《普通交互式小步算法》，第三部分，ACM Trans。计算。日志。，8、3、第16条pp.（2006年）·Zbl 1367.68094号 [4] 安德烈亚斯·布拉斯（Andreas Blass）；尤里·古雷维奇；院长Rosenzweig；本杰明·罗斯曼（Benjamin Rossman），交互式小步算法，第一部分，日志。方法计算。科学。，第3、4条，第3页（2007年）；安德烈亚斯·布拉斯（Andreas Blass）；尤里·古雷维奇；院长Rosenzweig；本杰明·罗斯曼（Benjamin Rossman），交互式小步算法，第二部分，日志。方法计算。科学。，第3、4条第4页（2007年）·Zbl 1132.68029号 [5] 安德烈亚斯·布拉斯（Andreas Blass）；尤里·古里维奇，量子计算邀请，布尔。欧洲协会。计算。科学。，126 (2018) ·Zbl 1428.68158号 [6] 贝格尔，伊贡；Stärk，Robert，抽象状态机：高级系统设计和分析的方法（2003），Springer·Zbl 1040.68042号 [7] 傅鹏；Kohei的Kishida；尼尔·J·罗斯。；Peter Selinger，《独立类型Proto-Quipper量子电路编程教程导论》（《第十二届可逆计算国际会议论文集》，第十二届国际可逆计算会议论文集，Springer计算机科学讲义，第12227卷（2020）），153-168·兹伯利07368053 [8] 傅鹏；岸田文雄，小平；尼尔·J·罗斯。；Peter Selinger，Proto-Quipper，动态提升（2022） [9] Girard，Jean-Yves，线性逻辑，Theor。计算。科学。，50, 1-102 (1987) ·Zbl 0625.03037号 [10] Erich Grädel；Nowack，Antje，量子计算和抽象状态机，（抽象状态机国际研讨会，抽象状态机的国际研讨会，Springer计算机科学讲稿，第2589卷（2003）），309-323·Zbl 1021.68037号 [11] Green，Alexander S。；Peter LeFanu Lumsdaine；尼尔·J·罗斯。；彼得·塞林格（Peter Selinger）；Valiron，Benoêt，《Quipper量子编程导论》，（RC 2013，第五届可逆计算国际会议论文集，RC 2013，《第五届国际可逆计算会议论文集》，计算机科学讲义，第7948卷（2013），Springer），110-124·Zbl 1406.68013号 [12] Green，Alexander S。；Peter LeFanu Lumsdaine；尼尔·J·罗斯。；彼得·塞林格（Peter Selinger）；Valiron，Benoêt，Quipper：一种可扩展的量子编程语言（PLDI 2013，第34届ACM SIGPLAN编程语言设计与实现年会论文集（2013））。（PLDI 2013，第34届ACM SIGPLAN编程语言设计与实现年会论文集（2013））。，48, 6, 333-342 (2013) ·Zbl 1406.68013号 [13] Lov Grover，《数据库搜索的快速量子力学算法》（第28届ACM计算理论年会论文集（1996），ACM）·Zbl 0922.68044号 [14] 古瑞维奇，尤里（Yuri Gurevich），《进化代数1993:Lipari指南》（Börger，E.，规范和验证方法（1995），牛津大学出版社），9-36，再版于·Zbl 0852.68053号 [15] Gurevich，Yuri，序列抽象状态机捕获序列算法，ACM Trans。计算。日志。，1, 1, 77-111 (2000) ·Zbl 1365.68258号 [16] Gurevich，Yuri，量子算法的ASM规范，（在ErichFest上的讲话，纪念Erich Grädel 60岁生日的研讨会（2018年），TU:TU Berlin） [17] 尤里·古雷维奇；布拉斯，安德烈亚斯，经典通道量子电路和延迟测量原理，提奥。计算。科学。，920, 21-32 (2022) ·Zbl 07527762号 [18] 尤里·古雷维奇；布拉斯，安德烈亚斯，经典和量子图灵机器的简单电路模拟，Proc。R.Soc.A，478，第20210891条pp.（2022） [19] 尤里·古雷维奇；本杰明·罗斯曼；Schulte，Wolfram，AsmL的语义本质，Theor。计算。科学。，343，370-412（2005年）·Zbl 1077.68052号 [20] Mermin，N.David，《量子计算机科学：导论》（2007），剑桥大学出版社·Zbl 1148.81001号 [21] Möhring，Rolf H.，有序集的计算可处理类，（Rival，Ivan，Algorithms and Order（1989），Kluwer Academic Publishers（现为Springer的一部分），105-194·兹比尔1261.06003 [22] 迈克尔·尼尔森（Michael A.Nielsen）。；Chuang，Isaac L.，《量子计算与量子信息》（2010），剑桥大学出版社·Zbl 1288.81001号 [23] 詹妮弗·帕金（Jennifer Paykin）；罗伯特·兰德；Zdanewic，Steve，QWIRE:量子电路的核心语言，（POPL’17：第44届SIGPLAN编程语言原理研讨会论文集（2017）），846-858·Zbl 1380.68087号 [24] Rand，Robert，《量子语言概览》（Mosca，M.；Roettler，M.）；Selinger，P.，《量子编程语言》（2018），达格斯图尔研讨会报告18381 [25] 里奥斯，弗朗西斯科；Peter Selinger，《量子电路描述语言的分类模型》，（QPL 2017，《第14届量子物理与逻辑国际会议论文集》，QPL 2017，《第十四届量子物理和逻辑国际会议文献集》，《理论计算机科学电子论文集》第266卷（2018）），164-178，扩展摘要·Zbl 1486.81067号 [26] Peter Selinger，走向量子编程语言，数学。结构。计算。科学。，14, 4, 527-786 (2004) ·Zbl 1085.68014号 [27] 乔纳森·史密斯。；尼尔·J·罗斯。；彼得·塞林格（Peter Selinger）；Valiron，Benoêt，Quipper：量子算法中的具体资源估算，（QAPL 2014，第12届编程语言定量方面国际研讨会，QAPL 2014,12届编程语言量化方面国际研讨会（Grenoble，2014）），扩展摘要 [28] 缬氨酸，贝诺；尼尔·J·罗斯。；彼得·塞林格（Peter Selinger）；亚历山大·斯科特（D.Scott Alexander）；Jonathan M.Smith，《量子未来编程》，Commun。ACM，58、8、52-61（2015） [29] Wikimedia Commons，Grover的算法电路（2022） [30] 齐尔伯格，奥德；伯恩德·布劳内克；丹尼尔·洛斯（Daniel Loss），《基于奇偶测量的多粒子量子比特和拓扑量子计算的受控非零门》（Controlled-NOT gate for multiparticle qubits and topological quantum computation based on parity measurements），物理学。A版，77，第012327条，pp.（2008） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。