Critical properties of EPR steering

技術要約：EPRステアリングの臨界的性質

問題提起
本論文は、単一コピーの射影測定（PVM）下ではステア不可能な（unsteerable）もつれ状態を持つ2量子ビット状態が、複数のコピーを共同で測定した際に、いかにしてステアラブル（steerable）になるかという条件を調査している。具体的には、PVMの臨界境界におけるEPRステアリングの「活性化（activation）」を取り上げている。本研究は以下の点を解明することを目的としている：

1. PVM臨界的なもつれ状態の全クラスに対して、一様なコピー数が存在するのか。
2. 活性化に必要な共同測定における、もつれの役割。
3. 測定設定数、局所隠れた状態（LHS）モデルにおける隠れた状態数、および臨界境界付近でのステアリング検出能力の関係。
4. ステアリングの活性化が、ベル非局在性が存在しない状態で起こり得るか、また、わずか2つのコピーのみでステアリングの破れの強さが無制限に増大し得るか。

手法
著者らは、ステアリングの幾何学的特徴付け、凸双対性、およびテンソル積解析を組み合わせて用いている：

• 標準形とLHSモデル： 解析には、可逆的なフィルタリングによって導出された2量子ビット状態の標準形を利用する。LHSモデルの存在は、隠れた状態アンサンブルによって再現可能な条件付き状態の集合（$K_\mu$）と、量子状態によって要求される集合（$N$）の間の包含関係によって特徴付けられる。ある状態がPVMにおいてステア不可能であるための必要十分条件は、特定のモーメント制約を満たす正の測度の最小総重み（$c_P$）が1以下であることである。
• 臨界性の定義： 状態が**PVM臨界的（PVM-critical）**であるとは、$c_P = 1$ であることと定義される。この閾値において、LHSモデルは実験の変化に対応するための「自由度」を持たない。
• 2コピー活性化定理： 任意の2つのP験的（PVM）臨界状態 $\rho_1$ と $\rho_2$ に対して、テンソル積 $\rho_1 \otimes \rho_2$ はステアラブルであることを証明する。この証明は、条件付き状態のエンタングル・ローテーションに対する一次応答に関して、仮定されたLHSモデルが矛盾を来すことを示すことに依拠している。
• もつれ閾値： 共同測定基底ベクトルのコンカレンス（concurrence）を分析することで、LHSモデルを打破するために必要な共同測定におけるもつれの最小限度を決定する。
• 有限リソース制約： 特定の状態を構築し、対称拡張（symmetric extensions）を用いることで、有限の測定設定および有限のコピー数によって課される制限を実証する。
• 等方的状態と増幅： 高次元の等方的状態を用いて、量子スコアとLHS境界の比率を計算し、ステアリングの破れの増幅を検証する。

主要な貢献と結果

1. 一様な2コピー活性化：
   中心となる定理は、すべてのPVM臨界的な2量子ビットもつれ状態が、正確に2つのコピーによってステアラブルになることを証明している。これは、同一のコピー（$\rho \otimes \rho$）と異なる臨界入力（$\rho_1 \otimes \rho_2$）の両方に成立する。これにより、全臨界境界に対して一様な活性化数として「2」が確立される。これは、必要なコピー数が変化したり、あるいは任意に大きくなったりし得る一般的なもつれ状態とは対照的である。

2. 測定におけるゼロもつれ閾値：
   本論文は、臨界境界において、ステアリングを明らかにするために必要な共同測定におけるもつれの閾値はゼロであることを示している。任意に弱いもつれを持つ共同測定（任意に小さいコンカレンスを持つもの）であっても、ステアリングを活性化させるのに十分である。極めて重要な点は、この活性化において、共同測定がボブ側の2つの系間にエンタングルメントを生じさせる必要はないということであり、ボブ側のすべての条件付き状態はセパラブル（分離可能）なままであり得る。

3. 無限の隠れた状態と設定の分岐：

• 隠れた状態： PVM臨界的な状態は、無限個の隠れた状態を持つLHSモデルを必要とする。有限のアンサンブルでは、すべてのPVM方向に対して同時にステアリングの制約を満たすことはできない。
• 測定設定： 固定された測定設定数 $m$ に対して、臨界的な入力の近傍には、最大 $m$ 個の設定を持つすべてのPVMファミリーの下で依然としてステア不可能である領域が存在する。したがって、入力が臨界境界に近づくにつれ、ステアリングを検出するために必要な設定数は発散する。
• コピー数 vs 設定数： コピー数を増やすことが、限定された測定選択を普遍的に補完するわけではない。著者らは、設定が制限されている限り、任意のテンソル冪においてもステア不可能なままとなる臨界状態を構築している。

4. 活性化されたベル局所状態：
   著者らは、以下の特性を持つ固定次元の状態（具体的には $2 \times 3$ 系）を構築している：

   • 1つのコピーではステア不可能。
   • 2つのコピーではステアラブル。
   • 任意の指定された有限のコピー範囲（$n_0$）にわたるすべての共同POVMに対してベル局所的（Bell local）。
     これは、前方へのステアリングを保持しつつ、後方へのステアリングおよびベル非局在性を抑制する「消去（erasure）」メカニズムを用いて実現される。

5. 無制限のステアリング破れ：
   Hsieh, Liang, および Lee による問いに対し、本論文は肯定的な回答を提供している。すなわち、2つのコピーがあれば、無制限のステアリング不等式の破れを生じさせるのに十分である。高次元の等方的状態を用いることで、量子スコアとLHS境界の比は $\frac{1}{2} \log d$ とスケールし、次元 $d \to \infty$ において発散する。

意義
本論文は、ステア不可能性からステアラブルへの遷移が鋭く、かつ一様である、独特な混合もつれ状態のクラス、すなわち「臨界境界」を特定している。これらの結果は、量子相関を明らかにするための3つの異なるリソースの役割を明確にしている：

• 測定のもつれ（Measurement Entanglement）： 臨界点において、測定のもつれの閾値は消失するが、LHSモデルを打破するためには、測定が積状態（product state）であってはならない。
• 測定数（Measurement Number）： 有限の測定設定は、臨界境界の任意に近くにおいてステアリングを解明するには不十分であり、設定数の要求は無制限である。
• 集団的アクセス（Collective Access）： 臨界境界における活性化には2つのコピーで十分であるが、それらは設定数の制限を自動的に克服するものではない。

本研究は、「臨界的」な性質が、測定のもつれ閾値の消失と無限の隠れた状態の必要性によって定義されることを確立している。さらに、ステアリングの活性化はベル非局在性と独立して起こり得ること、そして高次元においてはわずか2つのコピーでステアリングの破れの強さを任意に増幅できることを示している。これらの知見は、量子リソース（もつれ、ステアリング、非局在性）の階層構造と、それらを検出するための操作的要件を精緻化するものである。