What Output-Equivalence Oracles Miss: An Empirical Study of Equivalence-Invisible Bug Fixes in Quantum Transpilers (Qiskit, tket, Cirq)
这项实证研究表明,用于验证量子编译器的标准输出等效性预言机无法检测出 Qiskit、tket 和 Cirq 中很大一部分(约 28%)真实的错误修复,特别是那些涉及电路布局、置换记录或确定性中的隐形缺陷,而这些缺陷并不会改变计算出的酉矩阵。