[論文レビュー] Approximate Quantum Error-Correcting Codes and Secret Sharing Schemes

Claude Crépeau, Daniel Gottesman+1 more|ArXiv.org|Mar 15, 2005

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

ひとこと要約

本稿は、量子情報の大きな量子古典レジスタに符号化することで、正確に復元できないが、fidelityが1に指数的に近い、任意の誤りを最大⌊(n−1)/2⌋個まで訂正可能な近似量子誤り訂正符号（AQECC）を構築する。正確なQECCとは異なり、誤り訂正可能数はn/4に制限されない。本符号は誤り耐性のある秘密分散に基づくハイブリッド量子古典符号化方式により、高精度な復元を実現し、正確な誤り訂正と近似誤り訂正の間で明確な対比を示している。

ABSTRACT

It is a standard result in the theory of quantum error-correcting codes that no code of length n can fix more than n/4 arbitrary errors, regardless of the dimension of the coding and encoded Hilbert spaces. However, this bound only applies to codes which recover the message exactly. Naively, one might expect that correcting errors to very high fidelity would only allow small violations of this bound. This intuition is incorrect: in this paper we describe quantum error-correcting codes capable of correcting up to (n-1)/2 arbitrary errors with fidelity exponentially close to 1, at the price of increasing the size of the registers (i.e., the coding alphabet). This demonstrates a sharp distinction between exact and approximate quantum error correction. The codes have the property that any $t$ components reveal no information about the message, and so they can also be viewed as error-tolerant secret sharing schemes. The construction has several interesting implications for cryptography and quantum information theory. First, it suggests that secret sharing is a better classical analogue to quantum error correction than is classical error correction. Second, it highlights an error in a purported proof that verifiable quantum secret sharing (VQSS) is impossible when the number of cheaters t is n/4. More generally, the construction illustrates a difference between exact and approximate requirements in quantum cryptography and (yet again) the delicacy of security proofs and impossibility results in the quantum model.

研究の動機と目的

• 近似量子誤り訂正符号（AQECC）が正確なQECCのn/4の誤り閾値を超える可能性を示すこと。
• AQECCと誤り耐性のある秘密分散方式（ETSS）の関係を確立し、任意のt個の成分が符号化された状態について何の情報を漏らさないことを示すこと。
• 正確なQECCに適用される境界が、近似符号に対しても成り立つという仮定に疑問を呈すること、特に検証可能量子秘密分散（VQSS）の文脈において。
• より高い不正参加者閾値下での安全なマルチパーティ量子計算および暗号プロトコルへの影響を調査すること。
• 近似再構成を許容する場合、t ≥ n/4の不正参加者に対してVQSSが不可能であるという証明が無効であることを示すこと。

提案手法

• 大きな量子レジスタに量子状態をハイブリッド符号化し、それに加えて古典的認証キーを用いるAQECCの構築。
• t < n/2の条件下で距離d = t+1の量子リード・ソロモン（多項式）符号を基盤とする安定化子符号として用いる。
• 各量子レジスタの認証に古典的誤り耐性秘密分散（ETSS）を用い、最大t人の不正参加者に対しても安全を確保する。
• 損傷のないレジスタのサブセットに対して消去訂正を適用し、符号がs個の消去とt−s個の追加誤りを検出できることを活用する。
• 任意のt個のレジスタが残りの部分と最大にエンタングルされているという事実を用いて、fidelityの境界を導出。これにより、サイズO(log ℓ + log(1/ε))の短い古典的認証キーが可能になる。
• ETSS方式を変更してシェアサイズを削減し、各成分あたりの総レジスタサイズをO(ℓ/(n−2t) + n log(1/ε))量子ビットに達成する。

実験結果

リサーチクエスチョン

• RQ1 正確な復元を緩和して高精度な近似にすることで、量子誤り訂正符号がn/4を超える誤りを訂正可能になるか？
• RQ2 誤り訂正における標準的なn/4の境界が、近似量子誤り訂正符号に拡張可能か？
• RQ3 近似QECCを用いて、n/4を超える不正参加者を許容する検証可能量子秘密分散（VQSS）スキームを構築可能か？
• RQ4 古典的誤り訂正よりも、秘密分散が量子誤り訂正のより良い古典的アナロジーか？
• RQ5 近似誤り訂正が、安全なマルチパーティ量子計算および暗号セキュリティ証明に与える影響は何か？

主な発見

• εが小さいとき、AQECCは任意の誤りを最大⌊(n−1)/2⌋個まで訂正可能であり、fidelityが1−O(n²ε)、指数的に1に近づく。
• 構成により、任意のt個の成分が符号化された状態について何の情報を漏らさない秘密分散スキームが得られ、完全なセキュリティを満たす。
• t < n/2のとき、レジスタサイズはO(ℓ/(n−2t) + n log(1/ε))量子ビットで、古典的シェアサイズはCC(n log(1/ε), ε, t)ビット。
• n = 2t + 1のとき、レジスタサイズはO(ℓ + n log(1/ε))量子ビットに簡略化され、誤り耐性に応じたスケーラビリティが示される。
• d−1個のレジスタに最大エンタングルメントがあるため、古典的認証キー長がO(log ℓ + log(1/ε))に短縮され、効率が向上する。
• 本稿は、t ≥ n/4のVQSSが不可能であるという先行の証明を無効にした。この証明は近似符号に適用されない境界に依存しており、t = ⌊(n−1)/2⌋の誠実なディーラーVQSSスキームを構築した。