[論文レビュー] Verifier-on-a-Leash: new schemes for verifiable delegated quantum computation, with quasilinear resources
本稿では、2つの非通信可能なエンタングルドな量子プローバーに安全に量子計算を委譲できる、2つの新しい検証可能で委譲可能な量子計算プロトコルを提案する。これらのプロトコルは、回路サイズgに対して近似的に最適な資源スケーリングO(g log g)を達成しており、一方は盲目的で線形ラウンド、他方は非盲目的だが定数ラウンドであり、EPRペアにおけるクリフォード観測量のための新規なロバストな剛性定理を用いている。
The problem of reliably certifying the outcome of a computation performed by a quantum device is rapidly gaining relevance. We present two protocols for a classical verifier to verifiably delegate a quantum computation to two non-communicating but entangled quantum provers. Our protocols have near-optimal complexity in terms of the total resources employed by the verifier and the honest provers, with the total number of operations of each party, including the number of entangled pairs of qubits required of the honest provers, scaling as $O(g\\log g)$ for delegating a circuit of size $g$. This is in contrast to previous protocols, which all require a prohibitively large polynomial overhead. Our first protocol requires a number of rounds that is linear in the depth of the circuit being delegated, and is blind, meaning neither prover can learn the circuit being delegated. The second protocol is not blind, but requires only a constant number of rounds of interaction. Our main technical innovation is an efficient rigidity theorem which allows a verifier to test that two entangled provers perform measurements specified by an arbitrary $m$-qubit tensor product of single-qubit Clifford observables on their respective halves of $m$ shared EPR pairs, with a robustness that is independent of $m$. Our two-prover classical-verifier delegation protocols are obtained by combining this rigidity theorem with a single-prover quantum-verifier protocol for the verifiable delegation of a quantum computation, introduced by Broadbent (Theory of Computing, 2018).
研究の動機と目的
- 信頼できない量子サーバーに量子計算を委譲するための実用的で、古典的に検証可能な手法の必要性に対処する。
- 従来の古典的検証者プロトコルの過大なリソースオーバーヘッド（例：Ω(g^8192)）を克服し、実世界での利用が不可能であることを解消する。
- 回路サイズにほぼ線形に依存するリソーススケーリングを実現しながらも、強いセキュリティと検証可能性の保証を維持するプロトコルを開発する。
- プライバシー（入力と回路の秘密保持）と低相互作用複雑性の両方を達成し、2つの補完的トレードオフを提供する：線形ラウンドで盲目的、定数ラウンドで非盲目的。
- EPRペアにおける単一クビットクリフォード観測量の任意のテンソル積を検証するための、システムサイズに依存しないロバスト性を有する新しい剛性定理を確立する。
提案手法
- mに依存しないロバスト性を持つ、2つのエンタングルドなプローバーがm EPRペア上で任意のmキュービットテンソル積の単一クビットクリフォード観測量を実行していることを、古典的検証者がテストできる新規な剛性定理を活用する。
- この剛性結果を、検証可能な量子計算のためのブロードベックの単一プローバー量子検証者プロトコルと組み合わせ、2プローバーの古典的検証者プロトコルを構築する。
- Verifier-on-a-Leashプロトコルを設計：検証者が2つのプローバーに逐次的に相互作用する線形ラウンドで盲目的なプロトコルであり、入力と回路のプライバシーが保証される。
- Dog-Walkerプロトコルを設計：定数ラウンドで非盲目的なプロトコルであり、相互作用コストを削減するが、入力と回路がプローバーに露呈される。
- κ回繰り返した際のプロトコルの健全性と完全性を分析するために、ホーフィングの不等式とアズマの不等式を用いる。
- マルティングレートの議論を用いて、検証者が盲目的であっても、不正なプローバーが結果を偏らせる確率を抑え、条件付き期待値が非増加のまま保たれることを示す。
実験結果
リサーチクエスチョン
- RQ1古典的検証者が、通信不能な2つのエンタングルドな量子プローバーに、実用的に可能なリソースオーバーヘッドで量子計算を委譲できるか？
- RQ2検証可能な委譲可能な量子計算プロトコルにおいて、盲視性と低相互作用複雑性を両立させることは可能か？
- RQ3EPRペア上で任意の単一クビットクリフォード観測量のテンソル積を検証するためのロバストな剛性定理を構築できるか？そのロバスト性はキュービット数に依存しないか？
- RQ4高い信頼性と低いリソースコストで、古典的検証者が量子計算を検証するのに必要な最小の相互作用複雑度は何か？
- RQ5検証者が入力を観測できない盲目的プロトコルの健全性をどのように証明できるか？また、マルティングレート不等式を用いてこれを形式化できるか？
主な発見
- 両プロトコルは、エンタングルドペアや操作を含めた総リソース使用量が、回路サイズgに対してO(g log g)でスケーリングされ、従来の超多項式的オーバーヘッドを伴うプロトコルに比べて顕著な改善を示している。
- Verifier-on-a-Leashプロトコルは盲目的であり、O(g log g)のリソースと線形ラウンドを要し、プローバーが入力や回路の内容を一切学習できないことを保証する。
- Dog-Walkerプロトコルは定数ラウンドで動作し、O(g log g)のリソーススケーリングを達成するが、非盲目的であるため、プローバーが入力と回路を学習する。
- 両プロトコルの健全性誤差は指数的に小さく抑えられており、exp(−Δ²κ/8)以下に抑えられる。ここでΔは完全性と健全性のギャップ、κは繰り返し回数である。
- 完全性は高い：正しい出力が得られる確率は1 − 2exp(−Δ²κ/2)以上であり、プローバーが誠実であれば信頼できる委譲が可能である。
- コア技術的貢献である、EPRペア上でのmキュービットクリフォード観測量の検証に適したロバストな剛性定理は、mに依存しない誤差境界を持つため、スケーラブルな検証が可能である。
より良い研究を、今すぐ始めましょう
論文設計から論文執筆まで、研究時間を劇的に削減しましょう。
クレジットカード登録不要
このレビューはAIが作成し、人間の編集者が確認しました。