机构名称：
¥ 1.0
变分量子算法已被引入作为一类有前途的量子-经典混合算法，它已经可以通过采用参数化量子电路与当今可用的嘈杂量子计算硬件一起使用。考虑到量子电路编译的非平凡性质和量子计算的微妙性，验证这些参数化电路是否已正确编译至关重要。已经存在处理无参数电路的既定等效性检查程序。但是，尚未提出能够处理带参数电路的方法。这项工作填补了这一空白，表明可以使用基于 ZX 演算的等效性检查方法以纯符号方式验证参数化电路的等效性。同时，可以利用参数化电路固有的自由度，用传统方法有效地获得不等式证明。我们实现了相应的方法并证明了最终的方法是完整的。实验评估（使用 Qiskit 提供的整个参数化 ansatz 电路库作为基准）证明了所提方法的有效性。该实现是开源的，作为等效性检查工具 QCEC（https://github.com/cda-tum/qcec）的一部分公开可用，该工具是慕尼黑量子工具包（MQT）的一部分。
参数化量子电路的等效性检验
主要关键词
相关文件推荐
