SQUARE: Strategic Quantum Ancilla Reuse for Modular Quantum Programs via Cost-Effective Uncomputation
SQUARE: Strategic Quantum Ancilla Reuse for Modular Quantum Programs via Cost-Effective Uncomputation
复制标题
DOI：
10.1109/isca45697.2020.00054
复制
发表时间：
2020-04
期刊：
影响因子：
--
通讯作者：
Yongshan Ding;Xin-Chuan Wu;Adam Holmes;Ash Wiseth;D. Franklin;M. Martonosi;F. Chong
中科院分区：
文献类型：
--
作者：
Yongshan Ding;Xin-Chuan Wu;Adam Holmes;Ash Wiseth;D. Franklin;M. Martonosi;F. Chong
将高级量子程序汇编为尺寸约束的机器（即量子位数量有限），时间约束（即有限的量子操作）是本文的挑战。在模块化量子计划中解决了刮擦配额（称为Ancilla）的基础架构。创造重新使用的机会。电流嘈杂的中间尺度量子（NISQ）计算机和前瞻性耐故障（FT）量子计算机具有根本不同的约束，例如数据位置，指令并行性和基于我们的启发式Ancillisa-Ancilla-Ancilla-Ancilla--重复使用算法可以平衡这些考虑因素，并将计算拟合到资源受限的NISQ或FT量子机中，并在必要时进行限制精确地捕获了程序的工作量，我们提出了改进的度量标准，即“主动量子量”，并使用此指标来评估我们的算法的有效性。出乎意料的是，不成熟的额外大门会产生更好的位置，并且总体上会导致更少的交换门和更少的门噪声。 FT机器的主动量子体积减少了1.5倍（最多9.6倍）。
Compiling high-level quantum programs to machines that are size constrained (i.e. limited number of quantum bits) and time constrained (i.e. limited number of quantum operations) is challenging. In this paper, we present SQUARE (Strategic QUantum Ancilla REuse), a compilation infrastructure that tackles allocation and reclamation of scratch qubits (called ancilla) in modular quantum programs. At its core, SQUARE strategically performs uncomputation to create opportunities for qubit reuse.Current Noisy Intermediate-Scale Quantum (NISQ) computers and forward-looking Fault-Tolerant (FT) quantum computers have fundamentally different constraints such as data locality, instruction parallelism, and communication overhead. Our heuristic-based ancilla-reuse algorithm balances these considerations and fits computations into resource-constrained NISQ or FT quantum machines, throttling parallelism when necessary. To precisely capture the workload of a program, we propose an improved metric, the “active quantum volume,” and use this metric to evaluate the effectiveness of our algorithm. Our results show that SQUARE improves the average success rate of NISQ applications by 1. 47X. Surprisingly, the additional gates for uncomputation create ancilla with better locality, and result in substantially fewer swap gates and less gate noise overall. SQUARE also achieves an average reduction of 1. 5X (and up to 9. 6X) in active quantum volume for FT machines.