[論文レビュー] Fault-tolerant verifiable blind quantum computing with logical state remote preparation

Yuki Takeuchi, Keisuke Fujii+2 more|arXiv (Cornell University)|Jul 6, 2016

Quantum Computing Algorithms and Architecture被引用数 5

ひとこと要約

この論文は、クライアントが単一キュービットの測定能力に限られる状況でも、論理的状態の遠隔準備を用いてサーバーのレジスタに論理的ベル状態を遠隔で準備できる耐故障性があり検証可能な暗黙の量子計算プロトコルを提案する。単一キュービット状態をCSS符号で符号化し、測定に基づく量子計算を活用することで、チャネルノイズや不完全な操作が存在する中でもプライバシー、検証可能性、耐故障性を確保し、ずれの検出に $(2/3)^d$ のセキュリティ閾値を達成する。

ABSTRACT

Verifiable blind quantum computing allows a client with poor quantum devices to delegate universal quantum computing to a remote quantum server in such a way that the client's privacy is protected and the honesty of the server is verified. In existing protocols, the client has to send single-qubit states to the server. These states might be decohered by the channel noise. Furthermore, the client hides some "trap" qubits in the server's register so that the client can detect the server's deviation. In reality, however, these trap qubits are disturbed by imperfect operations by the server, which reduces the probability that the client accepts the honest server. To solve these problems, we propose a new gadget that allows the client to remotely prepare encoded logical single-qubit states in the server's place. Importantly, in our fault-tolerant verifiable blind quantum computing protocol, the client needs only the ability of physical single-qubit measurements in $X$ and $Z$ bases.

研究の動機と目的

• 既存の検証可能な暗黙の量子計算（VBQC）プロトコルは耐故障性がなく、伝送中に単一キュービット状態のデコherenceが生じるという限界を解消すること。
• 標準VBQCにおけるトラップキュービットがノイズや不完全な操作に対して脆弱であるという問題を克服し、クライアントのサーバーの誠実性を検証する能力を低下させないこと。
• 単一キュービットのXおよびZ基底測定に限定された最小限の量子能力を持つクライアントが、どの状態が準備されたかを明らかにせずに、サーバーのレジスタに論理的単一キュービット状態を遠隔で準備できること。
• CSS符号に状態を符号化することで、情報理論的セキュリティと検証可能性を維持する耐故障性VBQCプロトコルを構築し、現実的なノイズや不完全な操作下でも安定性を保つこと。
• 論理的状態の遠隔準備と構造的なトラップ配布戦略を活用することで、サーバーがずれを起こしてもプロトコルが安全に保たれることを保証すること。

提案手法

• プロトコルは、論理的状態の遠隔準備に基づく新規なガジェットを用いる。サーバーは論理的ベルペアを生成し、片方をクライアントに送信することで、クライアントがサーバーのレジスタに論理的状態を遠隔で準備できる。
• クライアントはXおよびZ基底における物理的単一キュービット測定のみを用いて論理的XおよびZ基底状態を準備し、CSS符号のトランスバーシャル性を活用して論理的操作を保持する。
• 10個の論理的状態を符号化する：$\{|0_L\rangle, |1_L\rangle\} \cup \{(|0_L\rangle + e^{ik\pi/4}|1_L\rangle)/\sqrt{2} \mid 0 \leq k \leq 7\}$、これらは測定に基づく量子計算のリソースを形成する。
• これらの論理的状態をFK検証フレームワークに統合し、論理的ブロック全体にわたりトラップキュービットを分散配置することで、サーバーのずれが検出可能であることを保証する。
• 確率的解析により、誤った受容確率 $p_{\text{incorrect}}$ が $p_n (1 - N_T/N)^d$ で抑えられ、$N_T = N/3$ であるため、$p'_{\text{incorrect}} \leq (2/3)^d$ が得られる。
• qubitを3つのグループ（1つのトラップ、2つの非トラップ）に分割し、トラップの位置をランダム化することで、トラップの位置に関する情報漏洩を防ぐことで、セキュリティ閾値が導出される。

実験結果

リサーチクエスチョン

• RQ1 単一キュービット測定能力に限られるクライアントが、チャネルノイズに対して耐故障性を備えた状態で、遠隔サーバーに普遍的量子計算を安全に委譲可能か？
• RQ2 論理的状態の遠隔準備を用いて、サーバーのレジスタに論理的単一キュービット状態を符号化し、その識別子を明らかにせずに遠隔で準備することは可能か？
• RQ3 標準VBQCにおけるトラップキュービットの不完全な操作が及える影響は何か？そして論理的符号化を用いることで、耐故障性を回復できるか？
• RQ4 論理的ブロック全体にわたりトラップキュービットを分散配置することで、悪意あるサーバーのずれ検出確率にどのような影響を与えるか？
• RQ5 論理的符号化と遠隔状態準備を組み合わせることで、現実的なノイズ条件下でVBQCのセキュリティ閾値を向上させることは可能か？

主な発見

• 提案されたプロトコルは、単一キュービット状態をCSS符号に符号化することで、伝送中のデコherenceを防ぎ、ノイズへの感受性を低くすることで耐故障性を達成する。
• クライアントの量子的要件はXおよびZ基底における単一キュービット測定に限定され、暗黙の量子計算モデルにおけるほぼ古典的なクライアントを実現する。
• トラップキュービットを論理的状態に埋め込むことで検証可能性を確保し、クライアントがずれを検出する確率が$(2/3)^d$で抑えられる。ここで$d$は符号の距離である。
• ランダムなトラップ配置と論理的符号化により、誤った受容確率が $p'_{\text{incorrect}} \leq (2/3)^d$ にまで低下し、サーバーのずれに対する耐性が著しく向上する。
• プロトコルは情報理論的セキュリティとブラインドネスを維持し、サーバーがクライアントの入力、アルゴリズム、出力を学習できないことを保証する。
• セキュリティ閾値$(2/3)^d$は、トラップの分布と測定結果の確率的解析から導出され、不完全な操作下でもプロトコルが安全に保たれることを示している。