[論文レビュー] The Mathematics of Entanglement

Fernando G. S. L. Brandão, Matthias Christandl+2 more|arXiv (Cornell University)|Apr 6, 2016

Quantum Mechanics and Applications参考文献 23被引用数 13

ひとこと要約

本稿は、エンタングルメントに焦点を当てた、現代の量子情報理論の簡潔な大学院レベルの入門書であり、量子状態、測定、エントロピー、エンタングルメント操作といった基礎的概念をカバーしている。量子デ・フィネッティの定理や、相互情報量およびトレースノルムの不等式を用いた1-LOCCによる区別可能性の上限といった、重要な結果を確立している。

ABSTRACT

These notes are from a series of lectures given at the Universidad de Los Andes in Bogotá, Colombia on some topics of current interest in quantum information. While they aim to be self-contained, they are necessarily incomplete and idiosyncratic in their coverage. For a more thorough introduction to the subject, we recommend one of the textbooks by Nielsen and Chuang or by Wilde, or the lecture notes of Mermin, Preskill or Watrous. Our notes by contrast are meant to be a relatively rapid introduction into some more contemporary topics in this fast-moving field. They are meant to be accessible to advanced undergraduates or starting graduate students.

研究の動機と目的

• 上級学部学生および初心者の大学院生向けに、現代の量子情報理論の主題を迅速かつ自己完結的に紹介すること。
• エントロピーと典型的集合といった古典的情報理論の概念を、エンタングルメントの文脈におけるそれらの量子アナログに橋渡しすること。
• エンタングルメントを分析するためのツール、例えばエンタングルメント・ウィtness、PPTテスト、LOCC操作を発展させ、量子暗号や状態の区別への応用を含む。
• 条件付き相互情報量およびトレースノルムの不等式を用いて、1-LOCC測定下での量子状態の区別可能性に対する厳密な上限を確立すること。
• 量子デ・フィネッティの定理を提示し、対称状態や量子系におけるスぺクトル推定へのその意味を明らかにすること。

提案手法

• 純粋状態および混合状態の複合系における状態を表すために、ディラック記法と密度行列を用いる。
• テンソル積構造を用いて複合量子系をモデル化し、非分離状態を用いてエンタングルメントを定義する。
• フォン・ノイマンエントロピーを含む量子エントロピー測度を導入し、トレース演算を用いて条件付きエントロピーおよび相互情報量を定義する。
• 条件付き相互情報量のチェイン・ルールを用いて、多部量子系における相関を分解し、k-拡張可能な状態における情報の流れを制限する。
• 量子設定におけるピンスカールの不等式を適用し、状態間のトレース距離と相互情報量の関係を確立し、1-LOCCによる区別可能性の上限を得る。
• 1-LOCCノルムおよびジェンセンの不等式を用いて、局所測定下での量子状態の区別可能性の上限を導出し、状態近似に関する主要定理に至る。

実験結果

リサーチクエスチョン

• RQ1 エントロピーと相互情報量といった古典的情報理論的概念を、どのように量子ドメインに一般化できるか？
• RQ2 分離可能状態とエンタングルド状態との間の、操作的および構造的差異は何か？また、それらはどのように検出できるか？
• RQ3 条件付き相互情報量は、多部量子系における相関を特徴付けるために果たす役割は何か？
• RQ4 量子デ・フィネッティの定理は、対称量子状態を近似するためにどのように利用できるか？また、その状態推定への意味は何か？
• RQ5 1-LOCC操作を用いた量子状態の区別可能性の根本的限界は何か？そして、それらはトレース距離と相互情報量を用いてどのように定量できるか？

主な発見

• 量子相互情報量 $ I(A:B) = S(A) + S(B) - S(AB) $ は常に非負であり、これは古典的相互情報量の非負性を一般化する。
• 条件付き相互情報量はチェイン・ルール $ I(A:BC) = I(A:C) + I(A:B|C) $ を満たし、多部量子系における相関の再帰的分解を可能にする。
• 任意のk-拡張可能な状態に対して、少なくとも1つの系 $ B_l $ が存在し、$ I(A:B_l|B_1\cdots B_{l-1}) \leq \frac{\log d_A}{k} $ を満たす。これは、拡張可能性が増加するにつれて相関が減少することを示唆する。
• 1-LOCC測定下での状態とその積近似との間のトレース距離は、$ \frac{1}{2\ln 2} \|\rho_{AB} - \sum_x p_x \pi_A^x \otimes \pi_B^x\|_1^2 \leq \sum_x p_x I(A:B_l)_{\omega_{AB_l^x}} \leq \frac{\log d_A}{k} $ で有界であり、定量的な区別可能性の境界を確立する。
• 量子デ・フィネッティの定理は表現論を用いて証明され、対称状態に適用可能であり、k-拡張可能な状態が積状態の混合状態によって近似可能であることを示す。
• PPTテストは、低次元系（例：2×2 または 2×3）において分離可能性の必要十分条件を提供し、効果的なエンタングルメント検出を可能にする。