paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Qraft: reverse your Quantum circuit and know the correct program output

Qraft:反转你的量子电路并获知正确的程序输出
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 1/10 · 论文关注量子电路错误缓解与可逆性利用,属于量子计算/NISQ 方向,与用户核心关注的静态分析、LLM/Agent、浮点程序分析、贝叶斯程序分析均无直接关联。虽然标签含“量子与概率编程”,但内容不涉及程序分析或 LLM 交叉。引用 46 inbox
Tirthak Patel, Devesh Tiwari
crossref: 2026-09-12

AI 速览

一句话:提出 QRAFT,利用量子算法可逆性反转电路,在有效映射之外进一步降低 NISQ 错误。

NISQ 量子计算机在构建量子计算栈、测试量子算法和验证可行性方面很有价值,但会受到多种统计显著错误的影响。近期研究通过错误与约束感知的电路映射来减轻这些错误。本文提出首个利用量子算法可逆性的工作 QRAFT:通过反转量子电路来获知正确程序输出并降低错误。作者称,QRAFT 能在有效电路映射已取得误差降低的基础上进一步显著减少错误。摘要未给出具体实验平台、基准或量化结果,因此关键结果主要体现在“超越映射”的错误缓解声明。

问题
NISQ 计算机中多种统计显著错误会破坏量子程序输出;现有错误与约束感知映射虽能降错,但仍有进一步降低空间。
方法
QRAFT 首次利用量子算法的可逆性,通过反转量子电路来减少错误,并可与有效电路映射结合。
评估
论文以错误降低效果为评估目标,声称 QRAFT 的降错幅度超过有效电路映射;摘要未提供具体基准、指标或实验细节。
原文摘要(Abstract)

Current Noisy Intermediate-Scale Quantum (NISQ) computers are useful in developing the quantum computing stack, test quantum algorithms, and establish the feasibility of quantum computing. However, different statistically significant errors permeate NISQ computers. To reduce the effect of these errors, recent research has focused on effective mapping of a quantum algorithm to a quantum computer in an error-and-constraints-aware manner. We propose the first work, QRAFT, to leverage the reversibility property of quantum algorithms to considerably reduce the error beyond the reduction achieved by effective circuit mapping.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot6100,
  title = {Qraft: reverse your Quantum circuit and know the correct program output},
  author = {Tirthak Patel and Devesh Tiwari},
  booktitle = {ASPLOS},
  year = {2021},
  doi = {10.1145/3445814.3446743}
}