ETH苏黎世,瑞士
觉得本文有趣或想讨论? 在SciRate上发表评论或发表评论.
抽象
量子电路必须在量子计算机上运行,并且对量子位和门数有严格的限制。为了生成尊重这两个限制的电路,一个有前途的机会是利用 $uncomputation$ 将量子位换成门。我们提出了 Reqomp,一种在尊重硬件限制的情况下自动合成正确且高效的辅助计算的方法。对于给定的电路,Reqomp 可以在严格约束的量子位计数或门计数之间提供广泛的权衡。我们的评估表明,Reqomp 可以将所需的辅助量子比特数量显着减少高达 96%。在我们 80% 的基准测试中,所需的辅助量子位可以减少至少 25%,同时门数增加不会超过 28%。
►BibTeX数据
►参考
[1] 阿努克·帕拉迪斯、本杰明·比克塞尔、塞缪尔·史蒂芬和马丁·维切夫。 “Unqomp:在量子电路中综合非计算”。第 42 届 ACM SIGPLAN 国际编程语言设计与实现会议论文集。第 222-236 页。计算机协会,美国纽约州纽约市(2021 年)。
https:/ / doi.org/10.1145/ 3453483.3454040
[2] 丁永山、吴新川、Adam Holmes、Ash Wiseth、Diana Franklin、Margaret Martonosi 和 Frederic T. Chong。 “Square:通过具有成本效益的非计算,对模块化量子程序进行战略量子辅助重用”。 2020 年 ACM/IEEE 第 47 届计算机架构国际研讨会 (ISCA)。第 570-583 页。 IEEE(2020)。
https:///doi.org/10.1109/ISCA45697.2020.00054
[3] 本杰明·比克塞尔、马克西米利安·巴德尔、蒂蒙·格尔和马丁·韦切夫。 “Silq:一种具有安全免计算和直观语义的高级量子语言”。第 41 届 ACM SIGPLAN 编程语言设计与实现会议论文集。第 286-300 页。 PLDI 2020美国纽约州纽约(2020)。计算机器协会。
https:/ / doi.org/10.1145/ 3385412.3386007
[4] 罗伯特·兰德、詹妮弗·佩金、李东浩和史蒂夫·兹丹斯维奇。 “ReQWIRE:可逆量子电路的推理”。理论计算机科学电子论文集 287, 299–312 (2019)。
https:/ / doi.org/ 10.4204 / EPTCS.287.17
[5] 伊曼纽尔·克尼尔. “贝内特卵石游戏分析”。技术报告 arXiv:math/9508218。 arXiv (1995)。
https://doi.org/10.48550/arXiv.math/9508218
arXiv:math / 9508218
[6] 陈少文、马西莫·劳里亚、雅各布·诺德斯特罗姆和马克·维尼亚尔斯。 “pspace 中近似的硬度和卵石游戏的分离结果”。 2015 年 IEEE 第 56 届计算机科学基础年度研讨会。第 466-485 页。 (2015)。
https:/ / doi.org/ 10.1109 / focs.2015.36
[7] 亚历山大·S·格林、彼得·勒法努·拉姆斯丹、尼尔·J·罗斯、彼得·塞林格和伯努瓦·瓦利隆。 “Quipper:一种可扩展的量子编程语言”。第 34 届 ACM SIGPLAN 编程语言设计与实现会议论文集。第 333–342 页。 PLDI '13美国纽约州纽约(2013)。计算机器协会。
https:/ / doi.org/10.1145/ 2491956.2462177
[8] 亚历克斯·帕伦特 (Alex Parent)、马丁·罗特勒 (Martin Roetteler) 和克里斯塔·M·斯沃尔 (Krysta M. Svore)。 “具有空间限制的可逆电路编译”。技术报告 arXiv:1510.00377。 arXiv (2015)。
https://doi.org/10.48550/arXiv.1510.00377
的arXiv:1510.00377
[9] 亚历克斯·帕伦特 (Alex Parent)、马丁·罗特勒 (Martin Roetteler) 和克里斯塔·M·斯沃尔 (Krysta M. Svore)。 “REVS:空间优化可逆电路合成工具”。 Iain Phillips 和 Hafizur Rahaman,编辑,《可逆计算》。第 90-101 页。 Computer ScienceCham 讲义(2017)。施普林格国际出版社。
https://doi.org/10.1007/978-3-319-59936-6_7
[10] Debjyoti Bhattacharjee、Mathias Soeken、Srijit Dutta、Anupam Chattopadhyay 和 Giovanni De Micheli。 “用于减少分层量子电路合成中的量子比特的可逆卵石游戏”。 2019年IEEE第49届国际多值逻辑研讨会(ISMVL)。第 102–107 页。 (2019)。
https:// / doi.org/ 10.1109/ ISMVL.2019.00026
[11] 朱利亚·梅利、马蒂亚斯·索肯、马丁·罗特勒、尼古拉·比约纳和乔瓦尼·德·米凯利。 “用于量子内存管理的可逆鹅卵石游戏”。 2019 年欧洲设计、自动化和测试会议暨展览(日期)。第 288-291 页。 IEEE(2019)。
https:///doi.org/10.23919/date.2019.8715092
[12] 查尔斯·H·贝内特。 “可逆计算的时间/空间权衡”。 SIAM 计算杂志 18, 766–776 (1989)。
https:/ / doi.org/10.1137/ 0218053
[13] 克里斯塔·斯沃尔、艾伦·盖勒、马蒂亚斯·特罗耶、约翰·阿扎利亚、克里斯托弗·格拉纳德、贝蒂娜·海姆、瓦迪姆·克柳奇尼科夫、玛丽亚·米哈伊洛娃、安德烈斯·帕斯和马丁·罗特勒。 “Q#:通过高级 dsl 实现可扩展的量子计算和开发”。 2018 年现实世界领域特定语言研讨会论文集。RWDSL2018美国纽约州纽约 (2018)。计算机器协会。
https:/ / doi.org/10.1145/ 3183895.3183901
[14] 马修·艾米、马丁·罗特勒和克里斯塔·M·斯沃尔。 “节省空间的可逆电路的验证编译”。 Rupak Majumdar 和 Viktor Kunčak,《计算机辅助验证》编辑。第 10427 卷,第 3-21 页。施普林格国际出版社,Cham (2017)。
https://doi.org/10.1007/978-3-319-63390-9_1
被引用
该论文发表在《量子》杂志上 国际知识共享署名署名4.0(CC BY 4.0) 执照。 版权归原始版权持有者所有,例如作者或其所在机构。
- :是
- $UP
- 1
- 10
- 11
- 12
- 13
- 14
- 17
- 1995
- 2013
- 2015
- 2017
- 2018
- 2019
- 2020
- 2021
- 36
- 42
- 7
- 8
- 9
- a
- 关于
- 摘要
- ACCESS
- ACM
- Adam
- 背景
- 艾伦
- 亚历克斯
- 亚历山大
- 艾米
- 分析
- 和
- 全年
- 架构
- AS
- 社区
- At
- 作者
- 作者
- 自动
- 自动化和干细胞工程
- BE
- 基准
- 本杰明
- 之间
- 超越
- 都
- 午休
- by
- CAN
- 陈
- 查尔斯
- 冲
- 克里斯托弗
- 评论
- 共享
- 计算
- 一台
- 计算机科学
- 电脑
- 计算
- 研讨会 首页
- 约束
- 版权
- 正确
- 经济有效
- 数
- 日期
- de
- 演示
- 设计
- 研发支持
- 讨论
- 域
- 杜塔
- 编辑
- 高效
- 电子
- 使
- 欧洲
- 评估
- 展览
- 利用
- 二月
- 针对
- Foundations
- 富兰克林
- 游戏
- Games
- 门
- 盖茨
- 生成
- 特定
- 绿色
- 硬件
- 分级
- 高水平
- 持有人
- HTTPS
- IEEE
- 履行
- in
- 增加
- 机构
- 有趣
- 国际
- 直观的
- JavaScript的
- Jennifer(珍妮弗)
- John
- 日志
- 语言
- 语言
- 最少
- 离开
- 阅读
- 李
- 执照
- 范围
- 逻辑
- 机械
- 男子
- 颠覆性技术
- 马丁
- 马修
- 内存
- 方法
- 模块化
- 月
- 必须
- 决不要
- 全新
- 纽约
- 数
- NY
- of
- 提供
- on
- 打开
- ZAP优势
- or
- 原版的
- 我们的
- 页
- 网页
- 纸类
- 卵石
- 彼得
- 柏拉图
- 柏拉图数据智能
- 柏拉图数据
- 当下
- Proceedings
- 代码编程
- 训练课程
- 有希望
- 出版
- 发行人
- 出版
- 量子
- 量子计算机
- 量子计算
- 量子比特
- 量子比特
- 兰特
- 范围
- 真实
- 真实的世界
- 减少
- 减少
- 减少
- 引用
- 遗迹
- 报告
- 必须
- 关于
- 成果
- 重用
- ROBERT
- 运行
- s
- 安全
- 可扩展性
- 科学
- 语义
- 暹
- 显著
- 太空
- 具体的
- Steve (史蒂夫)
- 善用
- 这样
- 专题研讨会
- 合成
- 综合
- 文案
- test
- 这
- 其
- 理论
- Free Introduction
- 紧紧
- 标题
- 至
- 工具
- 贸易
- 下
- 网址
- 美国
- 企业验证
- 通过
- 体积
- 想
- we
- 而
- 宽
- 大范围
- 车间
- 世界
- wu
- 年
- 纽约
- 和风网
- 苏黎世