paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Tackling the Qubit Mapping Problem for NISQ-Era Quantum Devices

解决NISQ时代量子器件的量子比特映射问题
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 1/10 · 该论文研究 NISQ 量子设备上的量子比特映射与编译优化,属于量子编译和启发式搜索,与用户关注的 PL/AI 交叉(LLM、Agent、静态分析、形式化验证)、浮点程序分析及贝叶斯程序分析均无直接关联。虽然涉及编译器层面的程序变换,但问题域和应用场景不同。引用 586 inbox
Gushu Li, Yufei Ding, Yuan Xie
crossref: 2026-09-12

AI 速览

一句话:提出SABRE——一种基于SWAP的双向启发式搜索算法,高效解决NISQ器件上的量子比特映射问题。

NISQ器件的物理量子比特连接受限,多数量子算法无法直接执行;编译器需动态重映射逻辑量子比特到物理量子比特以支持双量子比特门,但这会增加操作并降低保真度。已有方法复杂度高、初始映射质量差、灵活性有限。本文提出SABRE,一种基于SWAP的双向启发式搜索算法,适用于任意量子比特连接的NISQ设备。它优化每次搜索尝试,用反向遍历技术全局优化初始映射,并引入衰减效应权衡门深度与门数量。实验显示,SABRE相比最优已知算法取得指数级加速,并在多个基准上结果相当或更优。

问题
在NISQ器件上,物理量子比特连接受限导致量子算法中的双量子比特门无法直接执行,需要编译器动态重映射逻辑量子比特到物理量子比特,同时尽量减少额外SWAP操作及保真度损失。
方法
提出SABRE,一种基于SWAP的双向启发式搜索算法,适用于任意量子比特连接;通过优化每次搜索、反向遍历全局优化初始映射,并引入衰减效应权衡电路深度与门数量。
评估
在多种基准上与最优已知算法比较,SABRE实现指数级加速,并取得相当或更好的结果。
原文摘要(Abstract)

Due to little considerations in the hardware constraints, e.g., limited connections between physical qubits to enable two-qubit gates, most quantum algorithms cannot be directly executed on the Noisy Intermediate-Scale Quantum (NISQ) devices. Dynamically remapping logical qubits to physical qubits in the compiler is needed to enable the two-qubit gates in the algorithm, which introduces additional operations and inevitably reduces the fidelity of the algorithm. Previous solutions in finding such remapping suffer from high complexity, poor initial mapping quality, and limited flexibility and control. To address these drawbacks mentioned above, this paper proposes a SWAP-based Bidirectional heuristic search algorithm (SABRE), which is applicable to NISQ devices with arbitrary connections between qubits. By optimizing every search attempt, globally optimizing the initial mapping using a novel reverse traversal technique, introducing the decay effect to enable the trade-off between the depth and the number of gates of the entire algorithm, SABRE outperforms the best known algorithm with exponential speedup and comparable or better results on various benchmarks.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot4929,
  title = {Tackling the Qubit Mapping Problem for NISQ-Era Quantum Devices},
  author = {Gushu Li and Yufei Ding and Yuan Xie},
  booktitle = {ASPLOS},
  year = {2019},
  doi = {10.1145/3297858.3304023}
}