论文标题
量子电路的部分等效检查
Partial Equivalence Checking of Quantum Circuits
论文作者
论文摘要
量子电路的等效检查是量子程序编译中的重要元素，其中量子程序可以合成为不同的量子电路，这些量子电路可能会在量子数，初始化要求和输出状态下变化。验证实现变体之间的等价性需要适当的一般性。尽管已经定义了量子电路等效性的不同概念，但先前的方法无法检查两个量子电路的观察等效性，它们的量子电路部分被部分初始化，这被称为部分等效性。在这项工作中，我们证明了两个电路可以部分等效的必要条件。根据条件，我们设计了用于检查量子电路的算法，该量子电路无法通过先验方法来验证部分等效性。实验结果证实了普遍性并证明了我们方法的效率和有效性。我们的结果可能会释放量子程序编译的优化能力，以采取更具侵略性的步骤。
Equivalence checking of quantum circuits is an essential element in quantum program compilation, in which a quantum program can be synthesized into different quantum circuits that may vary in the number of qubits, initialization requirements, and output states. Verifying the equivalences among the implementation variants requires proper generality. Although different notions of quantum circuit equivalence have been defined, prior methods cannot check observational equivalence between two quantum circuits whose qubits are partially initialized, which is referred to as partial equivalence. In this work, we prove a necessary and sufficient condition for two circuits to be partially equivalent. Based on the condition, we devise algorithms for checking quantum circuits whose partial equivalence cannot be verified by prior approaches. Experiment results confirm the generality and demonstrate the efficiency and effectiveness of our method. Our result may unleash the optimization power of quantum program compilation to take more aggressive steps.
