arXiv · quant-ph· Boshuai Ye, Peng Liang, Arif Ali Khan·· 3 天前
量子线路等价转换可能导致综合选择丢失
When Equivalent Quantum Circuits Lose Synthesis Choices
arXiv:2610.06142v1阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Boshuai Ye, Peng Liang, Arif Ali Khan
首次提交：2026-10-05 19:13
研究任务与主要进展
基于论文摘要，作者研究了量子编译器在序列化、OpenQASM交换和编译器转换后丢失高层操作综合选择的问题，并提出Verified机制恢复可验证的高层操作。经过直接OpenQASM 3往返后，360个交付条件下请求的综合均未生效；在MQT流程中，OpenQASM 2交换使八量子比特Grover线路的双量子比特门数增加37.2%。
阶段、条件与复现 · 深读核对
- 任务输出与输入访问模型是什么？
- 在什么假设、规模与资源条件下成立？
- 与哪种经典基线比较，是否计入编码与读出？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
来源：arXiv · quant-ph · arxiv.org