Optimizing LOCC Protocols on Product Stiefel Manifold

技術要約：積スティフェル多様体におけるLOCCプロトコルの最適化

問題提起
局所操作および古典通信（LOCC）の動作限界を特徴付けることは、分散量子情報における根本的な課題である。LOCCは、空間的に分離されたノードにおける標準的な運用的制限であるが、その数学的構造は極めて複雑である。LOCC操作の集合は位相的に閉じておらず、非凸な幾何学構造を持つ。この複雑さは、LOCCプロトコルの設計および最適化を計算量的に困難にしている。既存のアプローチは二極化している。緩和手法（例：可分操作、正の部分転置（PPT）写像、または$k$-拡張チャネルへの緩和）は、半正定値計画法（SDP）を通じて効率的な上界を提供するが、物理的に実装可能なプロトコルを生成できないため、「運用的ギャップ」を生じさせる。対照的に、パラメータ化された量子回路（PQC）を用いたヒューリスティックな手法は、明示的なプロトコルを探索するものの、バレン・プラトー（平坦な勾配）の問題や表現力の限界に直面することが多い。現在、制限された回路アンザッツに依存することなく、固定ラウンドのLOCC全空間を効率的に探索し、実装可能なプロトコルを発見できる統一されたフレームワークは存在しない。

手法
著者らは、固定ラウンドのLOCCプロトコルの物理的制約を、**積スティフェル多様体（product Stiefel manifold）**上に直接埋め込む幾何学的フレームワークを導入する。このアプローチにより、LOCC戦略の設計という制約付き最適化問題を、非制約のリーマン最適化問題へと変換する。

1. 幾何学的埋め込み: 固定ラウンドLOCCの運用的ダイナミクスは、量子インストルメント（完全正写像の集合）によって記述される。これらの写像がトレース保存（CPTP）であるという物理的制約は、スタックされたクラウス演算子 $K$ を表す $St(D, d) := \{K \in \mathbb{C}^{D \times d} | K^\dagger K = \text{Id}\}$ で定義されるスティフェル多様体によって自然にパラメータ化される。
2. 再帰的構造:
   • 一方向インストルメント: 測定を行う当事者と、他の当事者からの条件付き応答を含む単一ラウンドのLOCCは、その実行可能集合が積スティフェル多様体を形成することが示されている。
   • 固定ラウンドLOCC: 各ノードが履歴依存の局所インストルメントを表す決定木として構造化された$r$ラウンドのプロトコルは、再帰的な積スティフェル多様体へとマッピングされる。
   • サブクラス: 本フレームワークは、ポストセレクションを伴うインストルメント（IPS）や、チャネル・測定ポストセレクション（CMPS）を含む制限されたスキームを、特定のサブ多様体として明示的にパラメータ化する。
3. 最適化: プロトコル空間をこれらの多様体にマッピングすることで、著者らはリーマン最適化（具体的にはリーマン共役勾配降下法）を利用して、最適なプロトコルを直接探索する。これにより、SDP緩和や固定された回路アンザッツに頼る必要がなくなる。

主要な貢献と結果
本フレームワークは、**もつれ蒸留（entanglement distillation）と状態マージング（state merging）**への適用を通じて実証される：

• もつれ蒸留フィデリティ:

  • 著者らは、ノイズを含む入力（デポラリジング、振幅減衰、およびデフェージングチャネル）から最大もつれ状態（MES）を蒸留するための有限コピーLOCCプロトコルを最適化する。
  • ラウンドの優位性: 数値結果は、2ラウンド適応型プロトコル（LOCC2）が、単一ラウンド（LOCC1）または非適応型（IPS）プロトコルよりも高い平均フィデリティを達成することを示している。非i.i.d.設定において、最適化されたLOCC2のフィデリティは、数値精度内でPPT上界と一致しており、これらのインスタンスにおける最適性を示唆している。
  • 確率的蒸留: ポストセレクションを伴うCMPSスキームを用いることで、クラウスランク $T=2$ のプロトコルが、成功確率を犠牲にすることで、1に近いフィデリティを達成できることを示している。
  • スケーラビリティ: 幾何学的フレームワークは計算効率が高く、マルチコピー蒸留（最大 $M=6$ コピー）に対して、PPT緩和に基づくSDPよりも数桁速く、実現可能なプロトコルを生成する。なお、SDPは同様のブロック長へのスケーリングに失敗する。

• 二方向蒸留可能もつれ:

  • 著者らは、二方向LOCC（LOCC2）の下での2コピー入力（$n=2$）に対する正規化コヒーレント情報の最適化に本フレームワークを適用する。
  • 超加法性: 結果は、明示的なLOCC制約下でのコヒーレント情報の超加法性に関する数値的な証拠を提供している。最適化された2コピーのコヒーレント情報は、テストされた一般化振幅減衰チャネルのパラメータ領域において、単一コピーのハッシング境界を上回っている。

• 状態マージング:

  • 本フレームワークは、ワンショットの状態マージングに適用され、達成可能なフィデリティ領域をマッピングする。
  • 運用的ギャップ: 結果は、CMPSスキームの達成可能なフィデリティと理論的なPPT上界との間の数値的な運用的ギャップを明らかにしており、緩和手法が明示的なプロトコル性能を予測する際の限界を浮き彫りにしている。

意義
本論文は、物理的に構造化された多様体上のリーマン多様体最適化を、将来の量子ネットワークの物理的限界を調査するための実用的なツールとして確立する。理論的な上界と実装可能なプロトコルの間の溝を埋めることにより、この手法は、複雑でマルチコピーのLOCCプロトコルの直接的な発見を可能にする。本フレームワークは、以下の事項を調査するための統一的な経路を提供する：

1. 適応的な通信ラウンドの運用的優位性の定量化。
2. 特定の領域においてPPT限界と一致するタイトな達成可能下界の確立。
3. 明示的なLOCC制約下での、超加法的なコヒーレント情報などの基礎的な情報理論的性質の調査。

著者らは、PPT上界を満たすために必要なラウンド数の解析的な下界に関する問題は依然として未解決であるが、この幾何学的アプローチは、プロトコルの設計および量子ネットワークの有限リソース能力を探索するための堅牢な数値的経路を提供すると結論付けている。