[論文レビュー] On Testing and Debugging Quantum Software

Andriy Miranskyy, Lei Zhang+1 more|arXiv (Cornell University)|Mar 16, 2021

Quantum Computing Algorithms and Architecture参考文献 80被引用数 1

ひとこと要約

本論文は、波動関数の崩壊、ノーコピーテーブルの定理、重ね合わせ状態といった独特の課題に直面する量子ソフトウェアのための特別なテストおよびデバッグ戦略を提案する。近似状態のクローン作成、測定結果の統計的分析、コンパイラ支援のインストルメンテーションといった手法を提唱し、ノイズの多い中規模量子デバイス上で効果的なデバッグを可能にする。

ABSTRACT

Quantum computers are becoming more mainstream. As more programmers are starting to look at writing quantum programs, they need to test and debug their code. In this paper, we discuss various use-cases for quantum computers, either standalone or as part of a System of Systems. Based on these use-cases, we discuss some testing and debugging tactics that one can leverage to ensure the quality of the quantum software. We also highlight quantum-computer-specific issues and list novel techniques that are needed to address these issues. The practitioners can readily apply some of these tactics to their process of writing quantum programs, while researchers can learn about opportunities for future work.

研究の動機と目的

• 従来のソフトウェアテストやデバッグを妨げる量子コンピュータ固有の問題を特定・解決すること。
• 実世界のシナリオにおいて実際に適用可能な、実用的なテストおよびデバッグ戦略を提案すること。
• 近似クローン作成や統計的分析といった新規技術が、効果的な量子ソフトウェア品質保証に不可欠であることを強調すること。
• 実務家が既存の手法を適用するのを支援し、研究者が将来のツール開発および手法論の発展ニーズを特定する手がかりを提供すること。

提案手法

• 統計的分析のための複数の量子状態のクローン作成を可能にする近似量子状態クローン作成を活用する。
• 測定結果の統計的集約を用いて、確率分布を実証的に再構築し、期待される動作の検証を行う。
• 実行時アサーションを自動挿入するため、コンパイラレベルでのインストルメンテーションを提案する。
• 正確なコピーが可能な特定の状況では、既知の直交状態クローン作成法を適用する。
• 実際のハードウェア制約下でのテストを支援するため、アルゴリズム的キュービットおよび量子ボリュームをパフォーマンス指標として導入する。
• 実際の量子ハードウェアにデプロイする前に、小規模なテストのために古典コンピュータ上でのハイブリッドシミュレーションを推奨する。

実験結果

リサーチクエスチョン

• RQ1 従来のソフトウェアテストやデバッグ手法は、量子コンputィングの独特な制約にどう適応できるか？
• RQ2 波動関数の崩壊やノーコピーテーブルの定理といった量子固有の課題に対処するために、どのような新規技術が必要か？
• RQ3 直接測定が重ね合わせ状態を破壊するため、近似状態クローン作成は、なぜスーパポジションの観測なしに効果的なデバッグを可能にするのか？
• RQ4 コンパイラは、量子プログラムの自動テストおよびアサーション生成をどのように支援できるか？
• RQ5 量子ボリュームやアルゴリズム的キュービットといったハードウェア指標は、効果的なテスト戦略を導く上で果たす役割は何か？

主な発見

• 近似量子状態クローン作成により、量子状態の分布の実証的分析が可能となり、重ね合わせ状態の直接観測なしに論理エラーの検出が可能になる。
• 既知の直交状態に対しては正確なクローン作成が可能であり、特定の状況では決定論的なデバッグが実現可能である。
• 複数回の実行における測定結果の統計的分析により、期待される確率分布の検証が可能となり、レグレッションテストの一種として機能する。
• コンパイラ支援のインストルメンテーションにより、クローン作成および測定コードの自動挿入が可能となり、自動アサーションの実装が可能になり、人的作業の削減が図れる。
• 量子ボリュームおよびアルゴリズム的キュービットの指標は、ハードウェアの信頼性を評価し、現実のパフォーマンス制約下でのテストを支援する。
• 未知の入力状態のデバッグには一般的な解決策が存在せず、状況に応じた分析とヒューリスティックベースのアプローチが不可欠である。