[論文レビュー] Invertible Quantum Operations and Perfect Encryption of Quantum States

Ashwin Nayak, Pranab Kumar Sen|arXiv (Cornell University)|May 3, 2006

Quantum Computing Algorithms and Architecture参考文献 7被引用数 36

ひとこと要約

この論文は、量子状態と固定された補助キュービット（混合状態を含む可能性がある）にユニタリ変換を適用することによって表される可逆な量子操作を特徴づけ、このような写像が完全な量子状態暗号化に必要かつ十分であることを証明する。主な結果は、nキュービットの完全な暗号化に少なくとも2nビットの古典的鍵が必要であるという点であり、補助キュービットを含む一般の方式に対しても、既存の境界を拡張したものである。

ABSTRACT

In this note, we characterize the form of an invertible quantum operation, i.e., a completely positive trace preserving linear transformation (a CPTP map) whose inverse is also a CPTP map. The precise form of such maps becomes important in contexts such as self-testing and encryption. We show that these maps correspond to applying a unitary transformation to the state along with an ancilla initialized to a fixed state, which may be mixed. The characterization of invertible quantum operations implies that one-way schemes for encrypting quantum states using a classical key may be slightly more general than the ``private quantum channels'' studied by Ambainis, Mosca, Tapp and de Wolf (FOCS 2000). Nonetheless, we show that their results, most notably a lower bound of 2n bits of key to encrypt n quantum bits, extend in a straightforward manner to the general case.

研究の動機と目的

• 単純なユニタリにとどまらない、可逆な量子操作（CPTP写像にCPTP逆写像を持つもの）の数学的形を特徴づけること。
• この特徴づけが、特に古典的鍵を用いた完全な暗号化プロトコルに与える影響を調査すること。
• 補助キュービットを含む状況を含め、量子状態暗号化における古典的鍵サイズの既存の下界を一般化・拡張すること。
• 暗号化プロセスに補助キュービットが使用されても、nキュービット暗号化における2nビットの鍵下限が成立することを示すこと。
• 統一的な枠組みを通じて、量子暗号化、エラー訂正、および可逆な量子操作の間の関係を確立すること。

提案手法

• 可逆なCPTP写像が、入力状態と固定された補助キュービット（混合状態を含む可能性がある）におけるユニタリ発展に対応しなければならないことを、量子エラー訂正基準に類似した証明構造を用いて証明する。
• スケーリングを用いることで、一般の完全正値（CP）写像への特徴づけを拡張し、それらを量子操作における測定結果に関連付ける。
• ユニタリ-補助キュービット形式を用いて、アリスが鍵依存のユニタリを状態と補助キュービットに適用する一般のワンウェイ暗号化スキームをモデル化する。
• エントロピーに基づく議論（フォン・ノイマンエントロピーおよびシャノンエントロピー）を用い、完全な暗号化に必要な鍵サイズを、エントロピーの凹型および部分加法性を活用して境界づける。
• ベル状態を介した量子状態暗号化から古典的ビット暗号化への変換を構築し、任意のnキュービット暗号化スキームが2nビットの古典的暗号化スキームを示していることを示す。
• ランクに基づく議論を用いて、完全な暗号化に必要な異なる鍵の数が少なくとも2^{2n}個以上であることを示し、鍵エントロピーの2nビット下限を確認する。

実験結果

リサーチクエスチョン

• RQ1 入力と出力のヒルバート空間の次元が異なる場合に、可逆な量子操作（CPTP写像にCPTP逆写像を持つもの）の正確な数学的形は何か？
• RQ2 固定された補助キュービット（混合状態を含む可能性がある）の導入が、暗号プロトコルにおける可逆な量子操作の構造に与える影響は何か？
• RQ3 暗号化プロセスに補助キュービットシステムが使用される場合でも、nキュービット量子状態暗号化における2nビットの古典的鍵サイズ下限は依然として成立するか？
• RQ4 量子状態の完全な暗号化は、古典的ビットの完全な暗号化に還元可能か？その場合の鍵サイズへの影響は何か？
• RQ5 可逆な量子操作、量子エラー訂正、および可逆な測定の間の関係は何か？

主な発見

• 可逆な量子操作は、入力状態と固定された補助キュービット系にユニタリ変換を適用することに等価でなければならない。補助キュービットは混合状態である可能性がある。
• スケーリングを用いることで、CPTP写像の特徴づけは一般のCP写像へ拡張され、測定に基づく量子操作に関連づけられる。
• nキュービットの完全な暗号化における2nビットの古典的鍵サイズ下限は、補助キュービットシステムが使用されても成立し、既存の結果を一般化する。
• nキュービットの完全な暗号化スキームは、2nビットの古典的ビットの完全な暗号化スキームに変換可能であり、量子暗号化と古典的暗号化の安全性の直接的な関連を確立する。
• 任意のnキュービットの完全な暗号化プロトコルにおける鍵分布のシャノンエントロピーは、少なくとも2nビット以上であることが、エントロピーの部分加法性および凹型の議論により証明される。
• ランクに基づく議論により、nキュービットの完全な暗号化に必要な異なる鍵の数は少なくとも2^{2n}個以上であることが示され、鍵サイズの2nビット下限が裏付けられる。