[論文レビュー] Fault-tolerant Operations for Universal Blind Quantum Computation

Chia-Hung Chien, Rodney Van Meter+1 more|arXiv (Cornell University)|Jun 16, 2013

Quantum Information and Cryptography参考文献 9被引用数 6

ひとこと要約

本稿では、盲目的な量子計算のレイヤーの下に量子誤り訂正を適用することで信頼性を向上させる、2つの耐故障性を持つブレンド量子計算プロトコルを提案する。最初のプロトコルは、[[7,1,3]]コードを用いたクライアント側の耐故障性のある論理キュービットの準備を採用し、クライアントのキュービット数を削減するが、小型の量子コンピュータを必要とする。2番目のプロトコルはキュービットの準備をサーバーに移管することで、クライアントの量子計算を完全に排除し、サイドチャnel攻撃のリスクを低減するが、サーバーの負荷と帯域幅の使用が増加する。

ABSTRACT

Blind quantum computation is an appealing use of quantum information technology because it can conceal both the client's data and the algorithm itself from the server. However, problems need to be solved in the practical use of blind quantum computation and fault-tolerance is a major challenge. On an example circuit, the computational cost measured in T gates executed by the client is 97 times more than performing the original computation directly, without using the server, even before applying error correction. (The client still benefits due to drastically reduced memory requirements.) Broadbent et al. proposed running error correction over blind computation, but our first protocol applies one layer of Steane's [[7,1,3]] code underneath instead. This protocol has better fault tolerance, but still results in a substantial overhead. We propose another protocol to reduce the client's computational load by transferring the qubit preparation to the server. For each logical qubit used in the computation, the client is only required to receive eight logical qubits via teleportation then buffer two logical qubits before returning one. This protocol also protects the client's fault-tolerant preparation of logical qubits from a side-channel attack.

研究の動機と目的

• キュービットの準備、伝送、または計算中に発生する誤りがセキュリティと正しさを損なう可能性がある、ブレンド量子計算における耐故障性の挑戦に取り組む。
• 従来の手法ではリアルタイムでの誤り訂正が現実的でないため、誤り訂正をクライアント側に直接適用し、データがサーバーに到着する前に保護を確保する。
• 耐故障性を維持しつつ、クライアントの量子計算負荷を軽減し、論理キュービットの準備におけるサイドチャnel攻撃を防止する。
• クライアントが古典的通信とバッファリングのみを実行するプロトコルを設計し、クライアント側での能動的量子計算の必要性を排除する。
• クライアントのリソース使用、サーバーの負荷、通信帯域幅のトレードオフをバランスさせ、耐故障性ブレンド量子計算を実用的・実現可能なものとする。

提案手法

• ブレンド量子計算プロトコルの下にステインの[[7,1,3]]量子誤り訂正コードを適用し、クライアントでの準備中に論理キュービットを保護する。
• [[7,1,3]]コードを用いて、状態準備およびクリフォード操作の耐故障性量子回路を実装し、クライアント側の計算中に誤りに強くする。
• 量子テレポーテーションを用いて、論理キュービットを符号化した状態で送信することで、キュービットの準備責任をクライアントからサーバーに移管し、クライアントの量子操作を受信・バッファリング・送信のみに限定する。
• クライアント側に最大56個の論理キュービットのバッファを設け、能動的な量子処理なしに受信した符号化キュービットを管理し、計算フローを維持する。
• クライアントが耐故障性の論理状態を準備する必要がなくなることで、タイミングや消費電力の変動による情報漏洩を防ぐため、サイドチャnel攻撃を防止する。
• 誤り訂正をクライアントおよびサーバーの両方の操作に統合し、ノイズの多いチャネルや量子リピーター網を介しても、計算の前後および中で誤りが訂正されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 クライアント側の量子計算負荷が著しく増大するのを防ぎつつ、耐故障性をブレンド量子計算に効果的に統合する方法は何か？
• RQ2 耐故障性ブレンド量子計算フレームワークにおいて、論理キュービットの準備責任をクライアントからサーバーに移行させると、どのようなトレードオフが生じるか？
• RQ3 クライアント側の量子操作が不要になることで、クライアント側の論理状態準備におけるサイドチャネル攻撃を防げるか？
• RQ4 耐故障性ブレンド量子計算のリソースオーバーヘッドは、非耐故障性および標準的な耐故障性量子回路と比較してどの程度か？
• RQ5 クライアント側のバッファリングとサーバー側の計算増加が、ブレンド量子計算の全体的な実現可能性とスケーラビリティに与える影響は何か？

主な発見

• 最初の耐故障性プロトコルでは、クライアントのキュービット準備が85,715から22個の物理キュービットに削減されたが、クライアントが900,000以上のTゲートと顕著な量子操作を実行する必要がある。
• BSAプロトコルはクライアント側の量子計算を完全に排除し、56キュービットのバッファリングのみを必要とし、状態準備によるサイドチャnel漏洩のリスクを低減した。
• BFK基本ブレンド量子計算と比較して、BSAプロトコルはサーバーのTゲート数を18.9倍、2キュービットゲート数を1,685倍、測定回数を313倍に増加させたが、耐故障性のターゲット回路に対しては定数倍のオーバーヘッドを維持した。
• BSAプロトコルは、最初の耐故障性プロトコルと比較してクライアントの量子ゲートオーバーヘッドを97倍まで削減したが、耐故障性ターゲット回路に対してはTゲートのサーバー負荷が最大875倍に増加した。
• 誤り訂正をクライアントおよびサーバーの両方で適用することで、完全な耐故障性を達成し、ノイズの多いチャネルや量子リピーター網を介した安全な計算を可能にした。
• リソース解析の結果、BSAプロトコルはサーバー側のリソース消費を増加させるが、最小限の量子ハードウェアを備えたクライアントにとってブレンド量子計算を実現可能にし、クラウドベースの量子サービスにおける実用的導入を可能にした。