[論文レビュー] Thresholds for reduction-related entanglement criteria in quantum information theory

Maria Anastasia Jivulescu, Nicolae Lupa+1 more|arXiv (Cornell University)|Mar 27, 2015

Quantum Information and Cryptography参考文献 35被引用数 7

ひとこと要約

本稿は、一様分布された三部量子状態から導かれるランダムな二部量子状態における還元関連のもつれ基準の閾値を調査する。ランダム行列理論を用いて、還元基準（RED）、その絶対値版（ARED）、および関連する集合（例：SEPBALL、LS_p）の漸近的閾値を計算し、還元基準がPPTより弱いが、特に特定のスケーリング則に従う高次元系においてもつれ検出に有効であることを明らかにする。

ABSTRACT

We consider random bipartite quantum states obtained by tracing out one subsystem from a random, uniformly distributed, tripartite pure quantum state. We compute thresholds for the dimension of the system being traced out, so that the resulting bipartite quantum state satisfies the reduction criterion in different asymptotic regimes. We consider as well the basis-independent version of the reduction criterion (the absolute reduction criterion), computing thresholds for the corresponding eigenvalue sets. We do the same for other sets relevant in the study of absolute separability, using techniques from random matrix theory. Finally, we gather and compare the known values for the thresholds corresponding to different entanglement criteria, and conclude with a list of open questions.

研究の動機と目的

• トレースをとった部分系の次元がどの程度の大きさになると、ランダムに生成された誘導二部状態が高確率で還元基準（RED）を満たすかを特定すること。
• 基底に依存しない絶対還元基準（ARED）への分析を拡張し、さまざまな漸近的状態における絶対的分離可能性の閾値を計算すること。
• PPT、RLN、RED、GER、SEPBALL、LS_pといった複数のもつれ基準の閾値を比較し、高次元量子系におけるそれらの相対的強さを特定すること。
• 既知の閾値を包括的に比較し、絶対的分離可能状態および関連する量子状態集合の特徴付けに関する未解決問題を強調すること。

提案手法

• 一様分布された三部純状態から一つの部分系をトレースすることでランダムな二部量子状態を生成し、その結果得られる状態をランダム誘導密度行列としてモデル化する。
• 特にワイシャルト行列の漸近的固有値分布の分析を用いて、縮約密度行列の固有値分布を研究するランダム行列理論のツールを適用する。
• 系のサイズが大きくなるに従い、生成された状態がREDまたはARED基準を高確率で満たすようなトレース部分系の次元sの閾値を導出する。
• バランス型（n,k→∞）、最初の非バランス型（n→∞, k固定）、第二の非バランス型（k→∞, n固定）の3つの漸近的状態を分析し、閾値sのスケーリング則を特定する。
• 固有値の入れ子構造と測度集中の技術を用いて、還元基準が通常は破られる状態から通常は満たされる状態に遷移する臨界的なsの値を推定する。
• PPTや再配置基準などの既知の基準の閾値と比較することで、相対的な強さと漸近的挙動を評価する。

実験結果

リサーチクエスチョン

• RQ1 バランス型状態（n,k→∞）において、トレース部分系の次元sがどの程度の大きさになると、ランダムに誘導された二部状態が還元基準（RED）を満たすようになるか？
• RQ2 非バランス型状態において、特に一方の部分系の次元が固定されたまま他方が無限大に近づく場合、絶対還元基準（ARED）の閾値はどのようにスケーリングするか？
• RQ3 AREDの閾値がAPPT、GER、SEPBALL、LS_pといった他の集合のそれと比較してどのように異なるか。また、これによりこれらのもつれ耐性集合の階層的関係に何が示唆されるか？
• RQ4 絶対再配置基準（ARLN）の閾値を計算可能か。また、APPTの既知の閾値とどう関係しているか？
• RQ5 絶対的分離可能状態の集合（ASEP）はAPPT状態の集合と等しいか。また、閾値解析はこの予想を解消する手がかりを与えるか？

主な発見

• バランス型状態（n,k→∞）において、還元基準（RED）の閾値はs∼cnk（c=1）であり、トレース部分系の次元sがnkに比例して増加する場合、基準は通常満たされる。
• 最初の非バランス型状態（n→∞, k固定）において、REDの閾値はs=nであり、これは基準が残りの部分系の次元に比例する場合に満たされるということを示している。
• 第二の非バランス型状態（k→∞, n固定）において、REDの閾値はs∼cnk（c=(1+√(k+1))²/(k(k−1))）であり、これはPPTの対応する閾値よりも小さい。これは、この状態でREDがPPTより厳密に弱いかつ、基準の弱さを確認する。
• 絶対還元基準（ARED）において、バランス型状態ではs∼cnk（c=1）、非バランス型状態（k→∞, n固定）ではs=cnk（c=(1+2/k+2/k√(k+1))²）であり、k→∞の極限でkに依存する項が消えることが示された。
• 一般化固有値集合（GER）と絶対PPT集合（APPT）の閾値は同一であり、これはGERが高次元においてAPPTのタイトな近似である可能性を示唆している。
• 絶対的分離可能状態のユークリッド球（SEPBALL）の閾値はs∼cd²（c=1）であり、ℓpノルムに基づく集合（LS_p）ではpに依存する：c=1−t（p=⌊td⌋、t∈(0,1)）。pが増加するに従い、スケーリング挙動に相転移が見られる。