[論文レビュー] Rigidity of superdense coding

Ashwin Nayak, Henry Yuen|arXiv (Cornell University)|Dec 3, 2020

Quantum Information and Cryptography被引用数 4

ひとこと要約

本稿は、超密符号化の剛性を確立する。1つの量子ビットと共有エントロピー状態を用いて2古典ビットを送信する任意のプロトコルは、局所的にベネット＝ワイズナーの標準プロトコルに同値である。高次元の場合には、直交ユニタリ基底を用いて非同値なプロトコルを構築し、ランダムプロトコルの分析を通じて、ハール測度に従う符号化演算子が高確率で近似的に最適な識別性を達成することを示す。

ABSTRACT

The famous superdense coding protocol of Bennett and Wiesner demonstrates that it is possible to communicate two bits of classical information by sending only one qubit and using a shared EPR pair. Our first result is that an arbitrary protocol for achieving this task (where there are no assumptions on the sender's encoding operations or the dimension of the shared entangled state) is locally equivalent to the canonical Bennett-Wiesner protocol. In other words, the superdense coding task is rigid. In particular, we show that the sender and receiver only use additional entanglement (beyond the EPR pair) as a source of classical randomness. We also investigate several questions about higher-dimensional superdense coding, where the goal is to communicate one of $d^2$ possible messages by sending a $d$-dimensional quantum state, for general dimensions $d$. Unlike the $d=2$ case (i.e. sending a single qubit), there can be inequivalent superdense coding protocols for higher $d$. We present concrete constructions of inequivalent protocols, based on constructions of inequivalent orthogonal unitary bases for all $d > 2$. Finally, we analyze the performance of superdense coding protocols where the encoding operators are independently sampled from the Haar measure on the unitary group. Our analysis involves bounding the distinguishability of random maximally entangled states, which may be of independent interest.

研究の動機と目的

• 超密符号化が剛性を示すかどうかを調査すること。すなわち、最適な性能を達成するプロトコルが、局所的基底変更を除いて一意であるかどうか。
• 2次元（d=2）を超える超密符号化プロトコルの構造、特に高次元系における構造を調査すること。
• ユニタリ群上のハール測度に従って符号化操作を独立に抽出した場合の超密符号化の性能を分析すること。
• d>2 に対して非同値なプロトコルが存在するかどうかを特定し、直交ユニタリ基底を用いて明示的な例を構築すること。
• ランダム行列理論を用いて、ランダムな超密符号化プロトコルにおけるランダムな最大もつれ状態の識別可能性を定量化すること。

提案手法

• 共有もつれ状態と送信者側の局所的ユニタリ符号化操作を用いて、任意の超密符号化プロトコルをモデル化する。
• 符号化演算子をブロック対角化し、それらの構造をパウリ行列に一致させることで、標準ベネット＝ワイズナープロトコルと局所的同値性を証明する。
• 直交ユニタリ基底を用いて、d>2 に対して非同値な超密符号化プロトコルを構築し、それらが非同型な符号化構造をもたらすことを示す。
• ランダム行列理論の道具を用いて、ランダムプロトコルにおけるランダムな最大もつれ状態の特異値の分布を分析する。
• 濃度不等式および尾部バウンド（例：部分ガウス型および部分指数型尾部推定）を用いて、ランダム符号化演算子がメッセージを識別できない確率の上界を求める。
• 分布収束および有界収束の議論を用いて、ランダム演算子 Λ_d の期待ノルムが極限値に収束することを確立する。

実験結果

リサーチクエスチョン

• RQ1 超密符号化プロトコルは剛性を示すのか。すなわち、任意の最適プロトコルが、局所的基底変更を除いて標準ベネット＝ワイズナープロトコルに同値であるのか。
• RQ2 d>2 に対して非同値な超密符号化プロトコルが存在するのか。存在するならば、どのように構築できるか。
• RQ3 ユニタリ群上のハール測度に従って符号化操作が独立に選ばれる場合、超密符号化の性能はどのようになるか。
• RQ4 ランダムな超密符号化プロトコルにおけるランダムな最大もつれ状態の識別性はどの程度か。典型的な誤り率は何か。
• RQ5 次元 d が増加する際、ランダムプロトコルの期待識別性は極限値に収束するのか。

主な発見

• 1量子ビットと共有もつれ状態（EPRペア）を用いて2古典ビットを送信する超密符号化プロトコルは、すべて局所的に標準ベネット＝ワイズナープロトコルに同値であり、剛性が証明された。
• d>2 に対して、非同値な超密符号化プロトコルが存在し、直交ユニタリ基底を用いて明示的に構築可能であり、高次元超密符号化が剛性を示さないことを示している。
• ハール測度に従うプロトコルにおけるランダム演算子 Λ_d の期待ノルムは、d→∞ のとき、極限確率変数の期待ノルムに収束し、漸近的に最適性が保証される。
• 高確率で、ハール測度に従う符号化演算子は近似的に最適な識別性を達成する：メッセージを識別できない確率は d² に比例して指数的に減少する。
• 尾部バウンドにより、大きな特異値からの寄与が d が増加するにつれて消えることが示され、極限分布への収束を支持する。
• 解析により、ランダムな超密符号化プロトコルは、d→∞ のとき、成功確率が1に近づき、誤り率が exp(−Θ(d²)) で有界されることを確立した。