[論文レビュー] Multi-party Quantum Computation

Adam Smith|ArXiv.org|Nov 6, 2001

Quantum Information and Cryptography参考文献 46被引用数 17

ひとこと要約

本稿では、最大 $ n/6 $ 人の不正な参加者を許容できる、安全な多人数量子計算（MPQC）プロトコルを提示する。このプロトコルは、最大 $ t < n/4 $ 人の不正者を処理できる検証可能な量子秘密分散（VQSS）方式を導入することで実現される。主な貢献は、$ t < n/4 $ のVQSSが最適であることを証明し、同じしきい値に基づいて安全なMPQCプロトコルを構築することにある。この研究では、量子エラー訂正符号と理想化されたシミュレーションモデルを用い、量子情報理論的枠組みの中で実現される。

ABSTRACT

We investigate definitions of and protocols for multi-party quantum computing in the scenario where the secret data are quantum systems. We work in the quantum information-theoretic model, where no assumptions are made on the computational power of the adversary. For the slightly weaker task of verifiable quantum secret sharing, we give a protocol which tolerates any t &lt; n/4 cheating parties (out of n). This is shown to be optimal. We use this new tool to establish that any multi-party quantum computation can be securely performed as long as the number of dishonest players is less than n/6.

研究の動機と目的

• 量子情報理論的モデルにおける安全な多人数量子計算（MPQC）を形式化すること。ここでの敵対者は無制限の計算能力を持つ。
• 検証可能な量子秘密分散（VQSS）プロトコルを定義・構築し、最大 $ t < n/4 $ 個の参加者が敵対的制御下にあっても完全性と妥当性を保証すること。
• VQSSの最適しきい値を確立し、それを基盤となるプリミティブとして用いて、$ t < n/6 $ の条件下で安全なMPQCを実現すること。
• 理想モデルと実際モデルのシミュレーションを用いてMPQCプロトコルの安全性を分析し、不正な参加者が関数の出力と自身の入力以上の情報を得られないようにすること。

提案手法

• 2-goodツリーを用いた2段階の量子秘密分散プロトコルを提案し、$ n $ 人の参加者間での検証可能な量子秘密の分散を可能にする。
• 量子エラー訂正符号と部分空間射影技術を用い、改ざんされた参加者が状態を変更しても検出可能であることを保証する。
• 近隣性（neighborhood）とトレース状態（$ ST_B({/cal C}) $）の概念を用いて、特にCSS符号に対して敵対的改ざんをモデル化する。
• 理想機能モデルを適用して安全性を定義する：プロトコルが正しさと機密性を保証する理想プロセスによってシミュレート可能である場合、そのプロトコルは安全である。
• 敵対的改ざん下でも、VQSSプロトコルが理想の秘密分散機能と区別できないことを示す、シミュレーションに基づく証明手法を導入する。
• VQSSに基づく上位レベルの共有プロトコルを構築し、各参加者が入力状態および出力状態の一部を保持する分散量子計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 検証可能な量子秘密分散（VQSS）プロトコルで許容できる不正参加者の最大数は何か？
• RQ2 VQSSをプリミティブとして用いて安全な多人数量子計算（MPQC）プロトコルを構築可能か？ その耐障害性のしきい値は何か？
• RQ3 VQSSのしきい値 $ t < n/4 $ は最適か？ これより高い耐障害性を達成できるか？
• RQ4 量子エラー訂正符号と部分空間構造は、分散量子プロトコルの安全性とどのように関係するか？
• RQ5 敵対者が量子能力を持つ場合でも、量子環境下でシミュレーションに基づく定義を用いてMPQCの安全性を証明可能か？

主な発見

• VQSSプロトコルが最大 $ t < n/4 $ の不正参加者を許容できることを示し、このしきい値が最適であることを証明した。
• VQSSを基盤プリミティブとして用いた安全なMPQCプロトコルを構築し、最大 $ t < n/6 $ の不正参加者を許容できることを示した。
• 本稿では、$ t < n/4 $ がVQSSの情報理論的上限であることを証明した。これは、同様の仮定下では、これ以上の耐障害性を達成できるプロトコルは存在しないことを意味する。
• 敵対的改ざんによって生じ得る状態の集合は $ ST_B({/cal C}) $ として特徴付けられ、これは量子符号におけるエンタングルドエラーの理想化された効果を捉えている。
• CSS符号に対しては、局所操作によって到達可能なすべての状態を含む集合 $ {/cal C}_B $ は、$ ST_B({/cal C}) $ を厳密に含む。これは、すべての状態が敵対的に実現可能であるとは限らないことを示している。
• 純粋状態に対しては $ N_B^{pure}({/cal C}) = ST_B^{pure}({/cal C}) $ が成り立つが、混合状態ではこの等式は成立しない。これは、敵対的モデル化における重要な相違を示している。