[論文レビュー] Towards Verification of Dynamic Quantum Circuits.

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

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

ひとこと要約

本稿では、測定に基づくフィードフォワードなどの非ユニタリ操作を含む動的量子回路の検証を可能にする2つの新規スキームを提案する。これにより、元の回路を等価なユニタリ形式に変換し、既存の量子回路検証手法を直接適用できるようになる。これにより、非ユニタリなプリミティブを扱えない現在の手法の限界を克服する。

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.

研究の動機と目的

• 非ユニタリなプリミティブのため、動的量子回路の検証が困難であるという課題に対処すること。
• 既存の量子回路検証手法を動的回路に適用可能にするための手段を提供すること。
• 動的回路を静的かつユニタリな回路であるかのように扱う自動化手法を開発すること。
• リアルタイム量子コンputingワークロードにおけるスケーラブルな検証の基盤を築くこと。

提案手法

• 動的量子回路を等価なユニタリ回路に変換する2つの変換スキームを提案すること。
• 測定に基づくフィードフォワード操作を用いて、古典的制御論理を量子進化に埋め込むこと。
• ユニタリ同値性を活用して、非ユニタリ操作を可逆な量子回路に変換すること。
• 変換後の回路が元の回路の意味論および観測可能な動作を保持することを保証すること。
• 動的回路を標準的な量子回路形式に還元することで、既存の検証フレームワークへの統合を可能にすること。
• 自動検証パイプラインを支援するため、変換プロセスを形式化すること。

実験結果

リサーチクエスチョン

• RQ1 既存の手法を用いて、非ユニタリ操作を含む動的量子回路をどのように検証できるか。
• RQ2 動的回路の意味論を保ちつつ、ユニタリ表現を可能にする変換は何か。
• RQ3 動的回路における測定に基づくフィードフォワードを、ユニタリ進化として符号化できるか。
• RQ4 動的回路がユニタリ形式に還元可能な構造的および運用的条件は何か。
• RQ5 リアルタイムの古典的制御を含む回路に対して、自動検証をどのように実現できるか。

主な発見

• 提案されたスキームにより、動的量子回路がユニタリ回路として扱えるようになり、既存の検証手法の直接適用が可能になる。
• 動的回路内の非ユニタリ操作を、体系的に同等のユニタリ進化に変換できる。
• 変換プロセスにより、元の動的回路の観測可能な動作および意味論が保持される。
• 本手法は、リアルタイム量子コンputingにおける動的回路の自動検証の基盤を提供する。
• 本手法は、動的回路検証を既存の量子ソフトウェアスタックに統合する道筋を開く。
• 本研究は、動的回路と確立された検証フレームワークとの間の概念的・手法的ブリッジを確立する。