[论文解读] Towards Verification of Dynamic Quantum Circuits.

Lukas Burgholzer, Robert Wille|arXiv (Cornell University)|Jun 2, 2021

Quantum Computing Algorithms and Architecture参考文献 31被引用 5

一句话总结

本文提出了两种新颖的方案，通过将涉及测量反馈等非酉操作的动态量子电路转换为等效的酉形式，实现对动态量子电路的验证。通过这种方式，可直接应用现有的量子电路验证技术，克服了当前方法在处理非酉原语时失效的局限性。

ABSTRACT

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, existing techniques 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 and present first ideas for corresponding automatic methods. More precisely, we propose two different schemes that eventually allow to treat the involved circuits as if they were not dynamic at all. By this, we provide a basis for applying existing techniques for quantum circuit verification to this broader class of circuits.

研究动机与目标

• 解决由于非酉原语导致的动态量子电路验证挑战。
• 使现有量子电路验证技术能够应用于动态电路。
• 开发自动方法，将动态电路视为静态且酉的电路进行处理。
• 为实时量子计算工作负载中的可扩展验证奠定基础。

提出的方法

• 提出两种转换方案，将动态量子电路转换为等效的酉电路。
• 利用基于测量的反馈操作，将经典控制逻辑编码到量子演化中。
• 利用酉等价性，将非酉操作映射为可逆的量子电路。
• 确保转换后的电路保留原始电路的语义和可观测行为。
• 通过将动态电路简化为标准量子电路形式，实现与现有验证框架的集成。
• 形式化转换过程，以支持自动化验证流水线。

实验结果

研究问题

• RQ1 如何利用现有技术验证具有非酉操作的动态量子电路？
• RQ2 何种转换能够在保持动态电路语义的同时实现酉表示？
• RQ3 动态电路中的基于测量的反馈能否编码为酉演化？
• RQ4 在何种结构和操作条件下，动态电路可被简化为酉形式？
• RQ5 如何为涉及实时经典控制的电路实现自动验证？

主要发现

• 所提出的方案使动态量子电路可被视为酉电路处理，从而可直接应用现有验证技术。
• 动态电路中的非酉操作可系统性地转换为等效的酉演化。
• 该转换保留了原始动态电路的可观测行为和语义。
• 该方法为实时量子计算中动态电路的自动化验证奠定了基础。
• 该方法为将动态电路验证集成到现有量子软件栈中开辟了路径。
• 该工作在动态电路与成熟的验证框架之间建立了概念和方法论的桥梁。