When entanglement implies two-way EPR steering: a sharp rank theorem

技術要約：もつれが双方向EPRステアリングを意味する場合：鋭いランク定理

問題提起
量子情報理論において、非古典的な相関の階層は確立されている：ベル非局所性はEPRステアリングを意味し、さらにEPRステアリングは量子もつれ（エンタングルメント）を意味する。これらの概念は純粋状態においては（ギスンの定理が示す通り）一致するが、混合状態においては一般に乖離する。具体的には、純粋状態を古典的な確率で混合すると、もつれは保持される一方で、ステアリングやベル非局所性が破壊されることがある。中心となる未解決問題は、もつれがステアリングを保証する正確な境界を決定することである。先行研究では、ランク2の2量子ビット状態や特定の測定設定などの特定の場合については対処してきたが、任意の有限次元バイパータイト系における一般的な、かつ鋭いランク境界は未決定であった。さらに、既存の基準の多くは連続的な測定族に依存しており、実験的な認証に適した明示的な有限の不等式を欠いていた。

手法
著者らは、量子コヒーレンスと測定確率の関係に基づき、有限のステアリング不等式を構築することでこの問題に取り組んでいる。

1. 有限ステアリング基準： 本論文では、アリスの測定によって生成される非正規化された条件付き状態 $\sigma_t$ の族を分析することにより、ステアリングの基準を導出している。特定の直交するボブの状態 $|\phi\rangle$ および $|\beta\rangle$ に対するコヒーレンス ($b_t$) とポピュレーション ($d_t$) を定義することで、小さな $t$ に対して $|b_t| \geq \ell t$ かつ $d_t \leq c t^2$ である場合、局所隠れた状態（LHS）モデルが矛盾を導くことを確立している。これは、パラメータ $t_j$ の有限集合と隠れた変数分布の互いに素な区間を選択し、隠れた状態の総重みが1を超えてしまうことを示すことで証明される。
2. ブロック条件： 著者らは、両系の直交ペアに関する構造的条件（式5）を特定している。状態 $\rho$ が $\langle \alpha_0, \beta | \rho | \alpha_0, \beta \rangle = 0$ を満たし、かつ非ゼロのクロス・コヒーレンス $g = \langle \alpha_0, \phi | \rho | \alpha_1, \beta \rangle \neq 0$ を持つ場合、それは両方向へのステアリングが可能である。
3. ランク定理の証明：
   • 十分性： 著者らは、$m \times n$ 系においてランク $r \leq \max\{m, n\}$ である場合、あらゆるもつれ状態がブロック条件を満たすことを証明している。これは、状態を線形独立なベクトルへと分解し、アリスの局所ベクトルによって形成される行列空間を分析することによって達成される。もしブロック条件が欠如していれば、その状態は必然的に可分（セパラブル）になることを示している。
   • 必要性（鋭さ）： 境界が鋭いことを証明するために、著者らはランク $r > \max\{m, n\}$ のための反例を構成している。特定のランク3の2量子ビット状態（POVMによるLHSモデルを持つもの）を、直交する積状態を加えることで高次元へと埋め込んでいる。この構成により、任意のPOVMの下で両方向に対してステアリング不可能である、ランク $r$ のもつれ状態が得られる。

主要な貢献と結果

• 鋭いランク定理（定理1）： 本論文は、ランク $r \leq \max\{m, n\}$ であるすべてのバイパータイトもつれ状態が、有限の射影測定を用いて両方向へのステアリングが可能であることを確立している。逆に、ランク $r > \max\{m, n\}$ であるすべてのランクに対して、任意のPOVMの下で両方向に対してステアリング不可能であるもつれ状態が存在する。
• 有限ステアリング不等式： 連続的な基準は、明示的な有限ステアリング不等式（式14）へと変換される：
  $$S = \sum_{j=1}^N \frac{(|c_j| - u_j - p_j/v_j)_+^2}{p_j} \leq 1$$
  ここで、$c_j$ と $p_j$ は測定されたコヒーレンスおよびポピュレーションの信号である。この不等式の破れ（$S > 1$）は、双方向ステアリングを認証する。
• 実験的実現可能性： 提案されたテストは、信頼できる側（ボブ）において2つの固定された測定基底のみを必要とする。信頼できない側（アリス）は、測定振幅 $t$ を変化させるために制御された減衰を備えた固定干渉計を用いて、必要な測定を実装できる。これにより、測定基底の複雑な再構成を行うことなく、必要な幾何級数のパラメータを生成することが可能となる。
• 一般化： この結果は、従来の知見（例：ランク2の2量子ビットステアリング）を任意の有限局所次元 $m$ および $n$ へと拡張し、次元に関わらずすべてのランク2のもつれ状態に対して双方向ステアリングを保証する。

意義
本論文は、バイパータイト系におけるもつれとステアリングの間のランク境界を完全に決定したと主張している。これは、以前は純粋状態においてのみ知られていた「普遍的な接続」が、局所次元に依存してスケールする混合状態の特定のランク範囲にも及ぶことを明らかにしている。もつれをステアリングから分離するために必要な純粋状態成分の最小数は、$\max\{m, n\} + 1$ であると特定された。

理論的な境界の幾何学を有限の測定不等式へと変換することで、本研究は抽象的なランク条件と実験的認証の間の溝を埋えている。著者らは、この不等式が小さな摂動に対して頑健であることを指摘しており、これは低ランク状態の近傍、すなわち少量のノイズを加えたフルランク状態を含む近傍においても、双方向ステアリングの特性が持続することを意味している。最後に、ランク境界を超えてブロック条件を満たす状態の系統的な研究は、将来の代数的な調査における未解決問題であるとして締めくくっている。