基于离散时间障碍证书的量子电路验证
Verification of Quantum Circuits through Discrete-Time Barrier Certificates
AI总结：
针对现有量子计算机验证多依赖定理证明器的问题，本文借鉴动态系统验证思路，提出复变量k归纳障碍证书方法，结合厄米特平方和优化计算，可用于验证多种量子电路的性质。
摘要：
当前量子计算机验证方法主要基于交互式或自动定理证明器。考虑到量子计算机本质上具有动态特性，本文采用并扩展了动态系统验证中的概念来验证量子电路的性质。本文的主要贡献是提出了复变量上的k归纳障碍证书，并展示了如何利用厄米特平方和优化来计算它们。我们将这项新技术应用于验证不同量子电路的性质。
英文摘要：
Current methods for verifying quantum computers are predominately based on interactive or automatic theorem provers. Considering that quantum computers are dynamical in nature, this paper employs and extends the concepts from the verification of dynamical systems to verify properties of quantum circuits. Our main contribution is to propose k-inductive barrier certificates over complex variables and show how to compute them using Hermitian Sum of Squares optimization. We apply this new technique to verify properties of different quantum circuits.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
