arXiv · quant-ph· Chenke Liu, Li Zhou, Boning Meng·· 9 小时前
Liu等提出统一处理干净与脏辅助量子比特反计算的 RwUnx 方法
Quantum Uncomputation of Clean and Dirty Ancilla Qubits
arXiv:2608.09578v2阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Chenke Liu, Li Zhou, Boning Meng
研究任务与主要进展
基于论文摘要，Chenke Liu、Li Zhou 和 Boning Meng 提出了统一形式化框架，用于检查量子计算中干净与脏辅助量子比特的反计算，并实现Qiskit工具 RwUnx。作者声称首次证明反计算存在性检查为 coNP-hard；RwUnx 在包含复杂依赖的实际基准和随机线路实验中较 Reqompx 取得更高成功率，当前材料未说明实验规模和具体成功率。
阶段、条件与复现 · 深读核对
- 任务输出与输入访问模型是什么？
- 在什么假设、规模与资源条件下成立？
- 与哪种经典基线比较，是否计入编码与读出？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
来源：arXiv · quant-ph · arxiv.org