[論文レビュー] Entanglement purification via separable superoperators

Eric M. Rains|ArXiv.org|Jul 1, 1997

Quantum Information and Cryptography参考文献 4被引用数 48

ひとこと要約

本稿は、エンタングルメント純化プロトコル（EPP）を分析する一般化された枠組みとして分離可能スーパーオペレーターを導入し、ベル対角状態に対する可 distilled なエンタングルメントレートの新たな上界を提示する。忠実度の制約と凸最適化技術を活用することで、分離可能に純化可能なエンタングルメント $ D_* $ が $ 1 - H_2(\beta_0) $ で抑えられることを証明した。ここで $ \beta_0 $ はベル対角状態の最大固有値であり、$ \beta_0 > 1/2 $ の場合、従来の結果よりも tighter な上界が得られる。この上界は片方向および双方向の古典的通信プロトコルの両方に適用可能であり、EPPレートに対する既知の上界を改善する。

ABSTRACT

One of the fundamental concepts of quantum information theory is that of entanglement purification; that is, the transformation of a partially entangled state into a smaller-dimensional, more completely entangled state. Of particular interest are protocols for entanglement purification (EPPs) that alternate purely local operations with one- or two-way classical communication. In the present work, we consider a more general, but simpler, class of transformations, called separable superoperators. Since every EPP is a separable superoperator, bounds on separable superoperators apply as well to EPPs; we use this fact to give a new upper bound on the rate of EPPs on Bell-diagonal states, and thus on the capacity of Bell-diagonal channels.

研究の動機と目的

• 物理的操作を分離可能スーパーオペレーターに一般化することで、エンタングルメント純化のより解析可能な枠組みを構築すること。
• 片方向および双方向の古典的通信を含むすべてのEPPに適用可能な、エンタングルメント純化レートの上界を導出すること。
• 忠実度の制約と凸解析を活用することで、ベル対角状態に対する既存の可 distilled なエンタングルメントの上界を改善すること。
• 分離可能に純化可能なエンタングルメント $ D_* $ が $ 1 - H_2(\beta_0) $ で抑えられることを確立すること。これは $ \beta_0 > 1/2 $ の場合、エンタングルメントの生成による上界よりも厳密にtightである。

提案手法

• 1-および2-局所操作を一般化する分離可能スーパーオペレーターのクラスを導入し、物理的でないが解析可能な変換を可能にする。
• スーパーオペレーターとテンソル積空間内のベクトルとの同型性を用いて、スーパーオペレーターを $ |P_i\rangle $ 状態で表現し、トレースの恒等式を適用する。
• 忠実度に基づく制約を適用：任意の分離可能スーパーオペレーター $ \mathcal{P} $ に対して、出力の忠実度 $ F_{\mathcal{P}}(\chi) \leq 1/K $ が成り立つ。ここで $ K $ は出力次元である。
• 保険状態に対して作用するスーパーオペレーターの出力忠実度に関する境界を導出し、忠実度がゼロに近づくかぎり、レート $ \log_2 K / n \leq 1 - H_2(f) $ を満たさなければならないことを示す。ここで $ f $ は保険状態の忠実度である。
• 入力状態を分離可能な基準状態 $ \chi_0 $ と比較することで、ベル対角状態にこの境界を拡張し、$ D_* \leq 1 - H_2(\beta_0) $ を導出する。
• 二項係数およびエントロピー関数の漸近的解析を用いて、レートが $ 1 - H_2(\beta_0) $ を超えると、忠実度がゼロから離れないことを示す。

実験結果

リサーチクエスチョン

• RQ1 EPPの物理的制約を緩和し、分離可能スーパーオペレーターを含めるようにすることで、エンタングルメント純化レートのよりtightな上界を導出可能か？
• RQ2 ベル対角状態に対して作用する分離可能スーパーオペレーターの忠実度が、最大達成可能な純化レートをどのように制約するか？
• RQ3 新しい上界 $ D_* \leq 1 - H_2(\beta_0) $ は、$ \beta_0 > 1/2 $ のベル対角状態に対して、エンタングルメントの生成による上界よりも厳密に強いか？
• RQ4 スーパーオペレーターの忠実度の減少を、エントロピーに基づく不等式を用いて、純化レートと定量的に関連づけられるか？
• RQ5 分離可能スーパーオペレーターの使用により、$ D_* $ と $ D_2 $ の間にギャップが生じるか？ これは、双方向古典的通信が最大純化容量を完全に捉えていない可能性を示唆するか？

主な発見

• 最大固有値 $ \beta_0 \geq 1/2 $ のベル対角状態に対して、分離可能に純化可能なエンタングルメント $ D_* $ は、$ 1 - H_2(\beta_0) $ で抑えられる。ここで $ H_2 $ は二進エントロピー関数である。
• この上界は、$ \beta_0 > 1/2 $ の場合、$ E(f) = H_2(1/2 + \sqrt{f(1-f)}) $ として表されるエンタングルメントの生成による上界よりも厳密にtightである。特に $ \beta_0 \in (1/2, 3/4) $ の範囲で顕著である。
• 忠実度 $ f \geq 1/2 $ の保険状態に対しては、$ D_*(f) \leq 1 - H_2(f) $ が成り立ち、このレートを超えるプロトコルでは出力忠実度がゼロに近づく。
• この上界は片方向および双方向の古典的通信プロトコルの両方に適用可能であり、$ D_1(f) \leq 1 - H_2(f) $ を示し、$ f \in [1/2, 3/4] $ の一部において、既知の上界を改善する。
• $ \beta_2 = \beta_3 = 0 $ の場合、ノイズが完全に古典的であり、古典的符号で補正可能であるため、この場合において結果はtightである。
• 任意の分離可能スーパーオペレーターが分離可能な状態に対して作用する場合、その忠実度は $ 1/K $ を超えないことが確認され、この制約はエンタングルド状態に対して作用する場合にも伝播する。