Quantifying mixed-state entanglement via partial transpose and realignment moments

技術要約：部分転置および再配列モーメントによる混合状態もつれの定量化

問題の定義
混合量子多体系におけるもつれ（エンタングルメント）の定量化は、特に実験的なノイズによって状態が混合状態となるNISQ（Noisy Intermediate-Scale Quantum）デバイスの文脈において、極めて困難な問題であり続けている。純粋状態のもつれは、エンタングルメント（レニー）エントロピーのような指標によってよく特徴付けられているが、これを混合状態に拡張するには大きな障壁が存在する。標準的な指標である部分転置（PT）ネガティビティ（または対数ネガティビティ）は、部分転置の完全な対角化を必要とし、これは指数関数的にコストが高い。さらに、PTネガティビティの実験的な測定には、通常、完全状態トモグラフィーを必要とする。これまでの取り組みは、低次のモーメントや正値写像を用いたバイナリなエンタングルメントの「検出」に焦点を当ててきたが、これらは大規模でノイズの多い系におけるエンタングルメントの「度合い」やエンタングルメントの次元性を特徴付けるための定量的な能力に欠けている。

手法
著者らは、部分転置のモーメントおよび再配列行列から構成される**定量的エンタングルメント・ウィットネス（証拠）**のファミリーを導入している。これらは以下のように定義される：

1. $p_\alpha$-ネガティビティ ($E_\alpha$): PTモーメント $p_\alpha = \text{tr}((\rho^\Gamma)^\alpha)$ から導出される。具体的には、$E_\alpha(\rho) = \frac{1}{2-\alpha}[\ln(\tilde{p}_\alpha) + (\alpha-1)S_2(\rho)]$ である。ここで、$\tilde{p}_\alpha = \text{tr}(|\rho^\Gamma|^\alpha)$ であり、$S_2$ は2次レニーエントロピーである。
2. $r_\alpha$-ネガティビティ ($C_\alpha$): 再配列モーメント $r_\alpha = \text{tr}((R_\rho^\dagger R_\rho)^{\alpha/2})$ から導出される。ここで、$R_\rho$ は再配列行列である。

著者らは、$\alpha=4$ の場合（$E_4$ および $C_4$）に焦点を当て、これらの量が完全状態トモグラフィーを必要とせず、SWAPテストやベル測定を用いて、定数個のコピー（2個または4個）という限られた量子ハードウェア上で効率的に測定できることを示している。このフレームワークは、密度行列を電荷セクター（例：グローバルな $U(1)$ または $\mathbb{Z}_2$ 対称性下）に分解することにより、**対称性分解（SR）**ウィットネスへと拡張されており、これにより境界が厳密になり、検出能力が向上する。

また、行列積状態（MPS）および行列積演算子（MPO）に対してこれらのモーメントを計算するための効率的な古典アルゴリズムも開発しており、その計算コストはシステムサイズとボンド次元に対して多項式スケールで増大する。

主な貢献および結果

1. 定量的ウィットネスと境界:

   • $p_\alpha$-ネガティビティおよび $r_\alpha$-ネガティビティは、定量的ウィットネスとして機能する。$\alpha \ge 1$ において、これらはそれぞれPTネガティビティ ($E$) およびCCNRネガティビティ ($C$) の厳密な下界を与える。
   • 決定的なことに、これらは**もつれの堅牢性（robustness of entanglement）およびシュミット数（エンタングルメントの次元性）**の厳密な下界を提供する。
   • 純粋状態の場合、これらのウィットネスは標準的なエンタングルメント・レニーエントロピーへと収束し、混合状態への効果的な一般化となる。

2. 効率的なエンタングルメント・テスト:

   • 著者らは、状態が限定された2次レニーエントロピー（$S_2 = O(\log n)$）を持つという条件下で、混合状態が低いエンタングルメント（$O(\log n)$）を持つか、高いエンタングルメント（$\omega(\log n)$）を持つかを判別する効率的なアルゴリズムを提示している。これは、純粋状態においてのみ知られていた先行研究の結果を一般化したものである。
   • シュミットランク（2コピー測定を使用）および演算子シュミットランク（4コピー測定を使用）をテストするための効率的なアルゴリズムが提供されている。

3. 回路深さの認証:

   • これらのウィットネスは、最終状態が弱く混合している（$S_2 = O(\log n)$）と仮定した場合、ノイズが存在する状況下でも、状態を準備するために必要な最小回路深さをロバストに認証することを可能にする。これは、従来の無ノイズ環境での認証プロトコルを拡張するものである。

4. 擬似エンタングルメント（Pseudoentanglement）と暗号学:

   • 本論文は、擬似エンタングルメント（低エンタングルメント状態が高エンタングルメント状態を模倣する能力）に関する厳密な限界を確立している。
   • 低エントロピー（$S_2 = O(\log n)$）を持つ混合状態において、擬似エンタングルメントのギャップは根本的に $f(n) = \Theta(n)$ 対 $g(n) = \omega(\log n)$ に制限されることが示されている。
   • これらの結果は、エントロピーがエンタングルメント情報を安全に隠蔽するための必要なリソースであることを示唆している。最大級のギャップ（$g(n)=0$）を達成するためには、状態が高度に混合している（$S_2 = \omega(\log n)$）必要がある。

5. エンタングルメント相図:

   • 著者らは、ハールランダム状態（PPT、最大もつれ、およびエンタングルメント飽和の相で構成される）のエンタングルメント相図が、すべてのPTモーメントの解析的連続化を回避して、$p_4$-ネガティビティを計算することだけで完全に確立できることを示している。
   • この結果は、任意の状態4デザインにまで拡張される。驚くべきことに、スタビライザー状態（4デザインを形成しない）は、ハールランダム状態と全く同じエンタングルメント相図を共有することが示されている。
   • $p_4$-ネガティビティは、指数関数的に強力なグローバル脱分極ノイズの下でも、ハールランダム状態におけるボリューム則（volume-law）エンタングルメントを効果的に捉えることができる。

6. 多体系への応用:

   • 横磁場イジング模型（TFIM）およびXXZ模型に関する数値結果は、ノイズや有限温度の影響下にある基底状態におけるエンタングルメントを、これらのウィットネス（特に対称性分解版）が効果的に検出することを示している。
   • SRウィットネスは非SRウィットネスよりもロバストであることが示されており、標準的なウィットネスが失敗する領域（例：非連結な分割や臨界点付近）でもエンタングルメントを検出できる。

意義
本論文は、大規模かつノイズの多い量子系におけるエンタングルメントを定量化するための新しい道を切り開くと主張している。$p_\alpha$ および $r_\alpha$ ネガティビティを導入することで、著者らは、PTネガティビティが持つ定量的な力を維持しつつ、実験的にアクセス可能な実用的な代替手段を提供している。本研究は、純粋状態のエンタングルメント理論（レニーエントロピー経由）と混合状態の物理学との間の架け橋となるものであり、エンタングルメントの次元性、回路深さの認証、および擬似エンタングルメントの複雑性を理解するためのツールを提供している。MPS/MPOアルゴリズムを介した効率的な計算と、SWAPテストによる測定能力は、これらが現在の、そして近い将来の量子ハードウェアに直接実装可能であることを意味しており、NISQデバイスのベンチマークにおける決定的なニーズに応えるものである。