[論文レビュー] Quantum statistical zero-knowledge

John Watrous|ArXiv.org|Feb 20, 2002

Quantum Computing Algorithms and Architecture参考文献 37被引用数 14

ひとこと要約

本稿では、誠実な検証者に対する量子統計的ゼロ知識（QSZK）インタラクティブプロトコルの形式的定義を導入し、量子状態の区別問題（QSD）— 2つの量子状態がトレースノルムで近いか遠いかを判定する問題 — が QSZK に対して完全であることを確立している。主な貢献は、QSZK ⊆ PSPACE を証明し、任意のこのようなシステムが1ラウンドのプロトコルに並列化可能であり、1キュービットのメッセージを送信する構造的類似性を示している。これは、古典的 SZK と強い類似性を示している。

ABSTRACT

In this paper we propose a definition for (honest verifier) quantum statistical zero-knowledge interactive proof systems and study the resulting complexity class, which we denote QSZK. We prove several facts regarding this class that establish close connections between classical statistical zero-knowledge and our definition for quantum statistical zero-knowledge, and give some insight regarding the effect of this zero-knowledge restriction on quantum interactive proof systems.

研究の動機と目的

• 量子設定において形式的定義が不足している中で、誠実な検証者に対する意味のある量子統計的ゼロ知識の定義を提示すること。
• 特に古典的 SZK および既知の複雑さクラスとの関係を含め、量子ゼロ知識の計算的性質を調査すること。
• 量子ゼロ知識が計算能力またはプロトコル効率の面で、古典的ゼロ知識に優位性を示すかどうかを検討すること。
• 補集合に関する閉包性や PSPACE への包含といった、量子ケースにおける基礎的結果を確立すること。
• より一般的で暗号的に意味のある量子ゼロ知識の定義を理解するための出発点を提供すること。

提案手法

• 検証者の視認を近似できる多項式時間の量子シミュレータの存在に基づき、誠実な検証者に対する量子統計的ゼロ知識の定義を提示する。
• 入力が混合状態を生成する2つの量子回路である量子状態の区別問題（QSD）を、QSZK に対して完全な問題として特定する。
• 密度行列間のトレースノルム距離を区別基準とし、状態がいずれかの距離（≤α）で近いか、（≥β）で遠いかという約束を設ける。
• トレースノルム推定が NC(2^n) で行えることを示すために、量子回路シミュレーションおよび行列計算技術を用いる。これにより、PSPACE への包含が示される。
• 既知の古典的結果であるインタラクティブプロトコルの並列化を、量子設定に適応して1ラウンド等価性を示す。
• 量子状態の準備およびトレースノルム計算が、空間効率的な量子アルゴリズムを用いて十分な精度で近似可能であるという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 古典的 SZK を一般化しつつ計算的に意味のある量子統計的ゼロ知識の自然な形式的定義は存在するか？
• RQ2 量子ゼロ知識プロトコルは1ラウンドのプロトコルに並列化可能であり、通信量の最小限は何か？
• RQ3 複雑さクラス QSZK は、PSPACE や SZK といった古典的複雑さクラスとどのように関係しているか？
• RQ4 古典的 SZK に属さない QSZK の問題が存在するか？ これは、ゼロ知識計算における量子的優位性を示唆するか？
• RQ5 QSD 問題は、量子情報および複雑さ理論における他の自然な問題とどのように関係しているか？

主な発見

• 量子状態の区別問題（QSD）は QSZK に対して完全であり、Sahai と Vadhan の古典的完全問題の量子版として機能する。
• QSZK は補集合に関して閉じており、これは古典的 SZK の重要な性質を再現している。
• QSZK は PSPACE に含まれる。これは、一般の量子インタラクティブプロトコルと PSPACE の関係が不明であるにもかかわらず、強い上界を示している。
• 任意の誠実な検証者に対する量子統計的ゼロ知識プロトコルは、1ラウンドのプロトコルに並列化可能であり、プローバーが1キュービットのメッセージを送信するだけで、完全性誤差と音声誤差を指数的に小さくすることができる。
• 2つの量子回路によって準備された2つの量子状態間のトレースノルム距離は、O(1) ビットの精度で NC(2^n) で近似可能であり、これにより QSD が PSPACE に属することを示している。
• 結果は、量子モデルがセキュリティの定義に新たな複雑性をもたらすものの、古典的および量子統計的ゼロ知識の間には深い構造的類似性があることを示唆している。