用于量子电路符号化验证的决断图
量子物理
2023-08-02 v1
摘要
随着量子计算的快速发展，量子电路的自动验证变得愈发重要。尽管已有若干决断图（DD）被引入量子电路仿真与验证中，但它们均不支持符号计算。然而，符号对象的算法操作已被认为是若干验证任务中关键乃至不可或缺的。本文提出了首个用于操作符号对象并借助符号项验证量子电路的决断图方法。作为一个显著示例，我们的符号张量决断图（symbolic TDD）能够在三分钟内验证 160 量子比特量子傅里叶变换电路的功能。此外，如 Bernstein-Vazirani 算法、Grover 算法以及比特翻转纠错码所示，符号 TDD 实现了带用户提供的预言机和/或经典控制的量子电路的高效验证。
引用
@article{arxiv.2308.00440,
title = {Decision Diagrams for Symbolic Verification of Quantum Circuits},
author = {Xin Hong and Wei-Jia Huang and Wei-Chen Chien and Yuan Feng and Min-Hsiu Hsieh and Sanjiang Li and Chia-Shun Yeh and Mingsheng Ying},
journal= {arXiv preprint arXiv:2308.00440},
year = {2023}
}