量子电路等效性检查：从纯量电路到混合电路的可处理桥梁
量子物理
2025-12-01 v1 编程语言
摘要
混合量子电路的等效性检查在量子编译链中至关重要，因为量子电路转换无处不在。虽然已有一些方法可以自动化完成这一任务，但大多数方法仅关注纯量电路的简单情况。同时，实际量子计算需要配备测量算子的混合电路。此外，针对混合情况的少数方法也仅限于受限的问题类别。我们提出通过对单位电路验证进行提升，使用称为延迟测量的转换来解决量子混合电路等效性检查问题。我们表明，这一方法本身就显著优于先前工作，并且在加入我们称为分离和投影的特定单位级技术后，可以处理 much 更大的混合电路等效问题类别。我们已实现并评估了该方法，适用于诸如 teleportation、one-way measurement 或 IBM Qiskit 编译器等标准电路转换，显示出其前景。作为副发现，我们识别并报告了若干意想不到的 Qiskit 编译器行为。
引用
@article{arxiv.2511.22523,
title = {Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits},
author = {Jérome Ricciardi and Sébastien Bardin and Christophe Chareton and Benoît Valiron},
journal= {arXiv preprint arXiv:2511.22523},
year = {2025}
}
备注
16 pages, 5 figures, 3 tables