Absorption capacity of separable noise: Bell-mixing thresholds on separability and teleportation

技術要約：分離可能ノイズの吸収容量

問題提起
本論文は、ノイズの影響を受ける2量子ビット系における、もつれ（エンタングルメント）のダイナミクスと量子テレポーテーションの有用性について扱う。具体的には、固定されたベル参照状態 $|\Phi^+\rangle$ と分離可能ノイズ状態 $\sigma$ の凸結合として定義される「ベル混合線」に沿って発生する遷移を調査している：
$$\rho_\lambda = \lambda |\Phi^+\rangle\langle\Phi^+| + (1-\lambda)\sigma, \quad \lambda \in [0, 1].$$
この線上に沿って、2つの重要な運用的閾値が特定されている：

1. 分離可能性閾値 ($\lambda^*$): $\rho_\lambda$ がもつれ状態になる最小の $\lambda$（これは2量子ビットにおいて、状態が正の部分部分転置（PPT）を失うことに等しい）。
2. テレポーテーション閾値 ($\lambda_F$): 最大テレポーテーション忠実度 $F(\rho_\lambda)$ が古典的限界である $2/3$ を超える最小の $\lambda$。

これらの閾値は、特定のケース（例：ウェルナー状態）ではよく知られているが、本論文は一般的な分離可能ノイズ状態 $\sigma$ に対してこれらの値を決定するための統一的な枠組みを構築し、$\sigma$ が局所的なノイズチャネルの下で進化するにつれて、それらを追跡することを目的としている。

手法
著者らは、「固定参照」の視点を導入し、焦点を図られた固定されたもつれ状態がどれだけのノイズによって破壊されるかという観点から、固定された分離可能背景が遷移が起こる前にどれだけのベル参照を「吸収」できるかという観点へと転換している。これは、以下の2つの**吸収容量（absorption capacities）**を通じて定式化される：

1. エンタングルメント吸収容量 ($C_{abs}(\sigma)$): 混合物の部分転置が正であり続けるような混合パラメータ $\eta$ の上限として定義される：
   $$C_{abs}(\sigma) := \sup \{ \eta \ge 0 : \sigma^{TB} + \eta Q \succeq 0 \},$$
   ここで $Q = (|\Phi^+\rangle\langle\Phi^+|)^{TB}$ および $\sigma^{TB}$ はノイズ状態の部分転置である。
2. 忠実度吸収容量 ($C_F(\sigma)$): 全エンタングルメント分率 $f(\rho_\eta)$ が $1/2$ 以下（すなわち $F \le 2/3$）に留まるという停止条件の下で、同様に定義される：
   $$C_F(\sigma) := \sup \{ \eta \ge 0 : f(\rho_\eta) \le 1/2 \}.$$

本論文は、これらの容量と運用的閾値を結びつけるメビウス変換を確立している：
$$\lambda^*(\sigma) = \frac{C_{abs}(\sigma)}{1 + C_{abs}(\sigma)}, \quad \lambda_F(\sigma) = \frac{C_F(\sigma)}{1 + C_F(\sigma)}.$$

手法としては、構造化された2種類の分離可能ノイズに対してこれらの容量の閉形式（closed-form）の表現を導出する：

• 積ノイズ ($\sigma = A \otimes B$): 独立した局所的なデコヒーレンス。
• 分離可能X状態: 計算基底における対角成分および反対角成分のみに非ゼロの成分を持つ状態。

さらに、本論文は、容量の凹性を利用した**分解証明書（decomposition certificates）**を用い、解かれた構成要素（積状態またはX状態）への分解を通じて、一般的な分離可能状態に対する下限を提供している。

主な貢献と結果

1. 積ノイズに対する閉形式の閾値:

   • エンタングルメント吸収容量は、局所的な周辺純度のみに依存する：
     $$C_{abs}(A \otimes B) = \sqrt{(1 - \text{Tr} A^2)(1 - \text{Tr} B^2)}.$$
     これは、$\lambda^*$ が局所的な不純度のみによって決定され、特定の最大もつれ参照フレームには依存しないことを意味する。
   • 忠実度吸収容量 $C_F$ は、局所的な純度と、積状態の方位（orientation）（具体的にはブロッホベクトルの整列）の両方に依存する。その結果、$\lambda_F$ は $\lambda^*$ と異なる場合があり、状態がもつれているが、まだテレポーテーションには有用ではないという領域が生じる。
   • 任意の純状態参照 $|\psi\rangle$（コンカレンス $C_\psi$ を持つ）に対して、容量は普遍的にリスケールされる：$C_{abs}(A \otimes B; \psi) = C_{abs}(A \otimes B) / C_\psi$。

2. X状態に対する閉形式の閾値:

   • 本論文は、4つのすべてのベルフレーム（$\Phi^\pm, \Psi^\pm$）における分離可能X状態の $C_{abs}$ と $C_F$ の明示的な公式を導出している。
   • $\Phi^+$ フレームの場合、$C_{abs}$ は反対角のコヒーレンス $u$ と $\Psi$ ブロックのポピュレーション $b, c$ に依存する：
     $$C_{abs}(\sigma_X; \Phi^+) = -2 \text{Re}(u) + 2\sqrt{bc - (\text{Im}(u))^2}.$$
   • テレポーテーション容量 $C_F$ は、同様の構造を持つが、ポピュレーションの和 $(b+c)$ に依存する。
   • 重要な結果は、ギャップ $\lambda_F - \lambda^*$ の明示的な特徴付けである。このギャップは、中間ポピュレーションが等しい（$b=c$）場合に限り消失する（すなわち、もつれとテレポーテーションの有用性が同時に現れる）。そうでなければ、「役に立たないもつれ（useless entanglement）」の区間が存在する。

3. デコヒーレンストラジェクタリ（Decoherence Trajectories）:

   • 本フレームワークは、X状態の構造を保持する局所的な振幅減衰チャネルおよびデフェージングチャネルに適用される。
   • 時間依存の成分を閉形式の公式に代入することで、本論文は明示的な閾値軌跡 $\lambda^*(t)$ および $\lambda_F(t)$ を生成する。
   • 結果として、デフェージングは単調な閾値変化をもたらす一方で、振幅減衰は、対角ポピュレーションの一時的な再分配により、非単調な挙動（閾値の上昇と下降）を引き起こし得ることが示されている。

4. 分解証明書:

   • 本論文は、両方の容量が凸分解の下で凹であることを証明している。これにより、一般的な分離可能ノイズに対して、分解された積成分やX成分を用いて、完全な数値最適化を行うことなく、閾値の認証された下限を計算することが可能となる。

意義と主張
本論文は、ベル混合線における、もつれおよびテレポーテーションの遷移の両方を特定するための統一的な解析的フレームワークを提供すると主張している。その主な意義は以下の通りである：

• 解析的制御: 特定の点におけるPPTや忠実度の数値的なチェックを超え、境界を定め、微分し、チャネルに沿って追跡可能な閉形式の公式を提供すること。
• 方向の特異性: ノイズ状態をインプットとし、参照を固定するという視点を明示的に扱うことで、方向依存性のないもつれ尺度とは異なる、これらの容量を区別していること。
• 運用的洞察: 状態がもつれていながらテレポーテーションにおいて量子的な優位性を提供できないパラメータ領域（「役に立たないもつれ」の区間）を明確に特定し、ノイズの方位やタイプ（積 vs X）がこのギャップにどのように影響するかを定量化していること。
• 純粋参照への拡張: 積ノイズに対し、参照のコンカレンスのみに依存する単純なリスケール則を提供していること。

著者らは、特別な構造を持たない一般的な分離可能状態については、正確な閾値を求めるために小さな半正定値計画問題（SDP）を解く必要があると述べているが、導出された積状態やX状態の閉形式は、分解証明書と組み合わせることで、多くの物理的に関連のあるノイズモデルに対して実用的かつ解析的に扱いやすいアプローチを提供する。