[論文レビュー] Verified Delegated Quantum Computing with One Pure Qubit

Theodoros Kapourniotis, Elham Kashefi+1 more|arXiv (Cornell University)|Mar 6, 2014

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

ひとこと要約

本論文は、1つの純粋な量子ビットモデル（DQC1）における、検証可能で委譲可能な量子計算プロトコルを初めて提示する。盲目的量子計算フレームワークを適合させることで、古典的クライアントが量子サーバに量子計算を委譲しつつ、正しさと機密性を保証できる。主な貢献は、逆多項式のセキュリティ誤差を持つ新しいDQC1-MBQCモデルと検証スキームであり、これは量子エラー訂正を用いて指数的信頼性にまで拡張可能である。

ABSTRACT

While building a universal quantum computer remains challenging, devices of restricted power such as the so-called one pure qubit model have attracted considerable attention. An important step in the construction of these limited quantum computational devices is the understanding of whether the verification of the computation within these models could be also performed in the restricted scheme. Encoding via blindness (a cryptographic protocol for delegated computing) has proven successful for the verification of universal quantum computation with a restricted verifier. In this paper, we present the adaptation of this approach to the one pure qubit model, and present the first feasible scheme for the verification of delegated one pure qubit model of quantum computing.

研究の動機と目的

• クライアントが最小限の量子能力しか持たない制限付きの1つの純粋な量子ビットモデル（DQC1）において、量子計算の検証を可能にする。
• 元来ユニバーサル量子計算を想定して設計された盲目的量子計算フレームワークを、DQC1設定に適応する。
• DQC1と互換性のある新しい測定ベース量子計算（MBQC）モデル、すなわちDQC1-MBQCを定義し、元の計算能力を保持する。
• DQC1-MBQCで使用可能なグラフ状態の十分条件を確立し、安全な委譲を可能にする。
• 失敗確率が有界な検証プロトコルを提供し、これを指数的信頼性にまで拡張可能とする。

提案手法

• 動的量子ビット生成と測定を可能にする、1つの純粋な量子ビットモデルと互換性のある測定ベース量子計算フレームワークとしてDQC1-MBQCモデルを導入する。
• 測定依存関係と資源状態の構造に基づき、ステップワイズな決定論的性質を根拠に、DQC1-MBQCで使用可能なグラフ状態の十分条件を定義する。
• ユニバーサル盲目的地理的量子計算プロトコルをDQC1-MBQCモデルに適合させ、サーバが計算内容を一切学習しないことを保証する。
• トラップ量子ビットと測定基底のランダムネスを用いて悪意ある振る舞いを検出し、カウントによる議論で失敗確率を有界化する。
• 測定ラウンドごとの積を用いて誤った出力確率の上界を導出し、確率的拡張技術を適用する。
• 量子エラー訂正符号を用いて、逆多項式のセキュリティパラメータを指数的信頼性にまで拡張する。

実験結果

リサーチクエスチョン

• RQ1 検証可能で盲目的な量子計算の枠組みを、1つの純粋な量子ビットモデル（DQC1）に適応可能か？
• RQ2 グラフ状態がDQC1-MBQCモデルと互換性を持つために満たすべき条件は何か？
• RQ3 提案された検証スキームは、サーバのあらゆる種類の悪意ある行動に対して安全か？
• RQ4 逆多項式の失敗確率を、DQC1設定において効率的に指数的レベルにまで拡張可能か？
• RQ5 情報保存写像のようなより弱い決定論的性質を用いて、DQC1-MBQCにおける使用可能な資源状態のクラスを拡張可能か？

主な発見

• DQC1-MBQCモデルは形式的に定義され、元のBQ1P複雑度クラスを含むことが示され、1つの純粋な量子ビットモデルの計算能力が保持されている。
• 測定依存関係と観測可能の構造に基づき、DQC1-MBQCで使用可能なグラフ状態の十分条件が確立された。
• プロトコルは失敗確率が $ \epsilon < \frac{2m}{s} $ で有界であることが達成され、ここで $ m $ は測定基底の数、$ s $ はラウンド数である。
• 量子エラー訂正符号を用いて、参考文献[8]のプロトコルが示唆するように、セキュリティパラメータを指数的信頼性にまで拡張可能である。
• このフレームワークにより、古典的クライアントがDQC1サーバに量子計算を委譲しつつ、正しさと機密性を保証できる。
• 近い将来の量子デバイスで限られた量子リソースを持つ装置における量子優位性の検証への道が開かれる。