量子线路等价性检验中的非幺正处理
Handling Non-Unitaries in Quantum Circuit Equivalence Checking
摘要：
量子计算机正在达到经典计算和量子计算之间的交互可以实时发生的水平。这标志着一种新的、更广泛的量子线路的出现：动态量子线路。它们提供了更广泛的可用计算原语，为模拟、编译和验证等设计任务带来了新的挑战。由于动态电路基元的非单一性质，用于这些任务的大多数现有技术和工具不再以开箱即用的方式适用。在这项工作中，我们讨论了由此产生的后果量子线路验证，特别是等价性检查，并提出了两种不同的方案，最终允许处理所涉及的电路，如果他们不包含非幺正在所有。因此，我们有条不紊地证明，以及，实验，现有的技术来验证量子线路的等效性，可以保持适用于这类更广泛的电路。
英文摘要：
Quantum computers are reaching a level where interactions between classical and quantum computations can happen in real-time. This marks the advent of a new, broader class of quantum circuits: dynamic quantum circuits. They offer a broader range of available computing primitives that lead to new challenges for design tasks such as simulation, compilation, and verification. Due to the non-unitary nature of dynamic circuit primitives, most existing techniques and tools for these tasks are no longer applicable in an out-of-the-box fashion. In this work, we discuss the resulting consequences for quantum circuit verification, specifically equivalence checking, and propose two different schemes that eventually allow to treat the involved circuits as if they did not contain non-unitaries at all. As a result, we demonstrate methodically, as well as, experimentally that existing techniques for verifying the equivalence of quantum circuits can be kept applicable for this broader class of circuits.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
