论文标题
参数化量子电路的等效检查：验证变异量子算法的汇编
Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms
论文作者
论文摘要
变异量子算法已被引入是一类有希望的量子古典混合算法，可以通过使用参数化的量子电路来与当今嘈杂的量子计算硬件一起使用。考虑到量子电路汇编的非平凡性质和量子计算的微妙性，必须验证这些参数化电路是否正确编译。已建立的等效检查程序已经存在处理无参数电路的过程。但是，尚未提出能够用参数处理电路的方法。这项工作通过表明可以使用基于ZX-Calculus的等效检查方法来纯粹可以以纯粹的象征性方式来实现参数化电路的等效性，从而填补了这一空白。同时，通过利用参数化电路固有的自由度，可以通过常规方法有效地获得不平等的证据。我们实施了相应的方法，并证明了结果方法已经完成。实验评估（使用Qiskit作为基准提供的整个参数ANSATZ电路库）证明了该方法的功效。该实施是开源的，是等价检查工具QCEC（https://github.com/cda-tum/qcec）的一部分，该工具是慕尼黑量子工具包（MQT）的一部分。
Variational quantum algorithms have been introduced as a promising class of quantum-classical hybrid algorithms that can already be used with the noisy quantum computing hardware available today by employing parameterized quantum circuits. Considering the non-trivial nature of quantum circuit compilation and the subtleties of quantum computing, it is essential to verify that these parameterized circuits have been compiled correctly. Established equivalence checking procedures that handle parameter-free circuits already exist. However, no methodology capable of handling circuits with parameters has been proposed yet. This work fills this gap by showing that verifying the equivalence of parameterized circuits can be achieved in a purely symbolic fashion using an equivalence checking approach based on the ZX-calculus. At the same time, proofs of inequality can be efficiently obtained with conventional methods by taking advantage of the degrees of freedom inherent to parameterized circuits. We implemented the corresponding methods and proved that the resulting methodology is complete. Experimental evaluations (using the entire parametric ansatz circuit library provided by Qiskit as benchmarks) demonstrate the efficacy of the proposed approach. The implementation is open source and publicly available as part of the equivalence checking tool QCEC (https://github.com/cda-tum/qcec) which is part of the Munich Quantum Toolkit (MQT).
