Polynomial Separation between One-Way and Two-Way LOCC in Discrimination of Maximally Entangled States

技術要約：最大もつれ状態の識別における一方向LOCCと二方向LOCC間の多項式的な分離

問題提起
本論文は、二部系 $\mathbb{C}^d \otimes \mathbb{C}^d$ における直交する最大もつれ状態（MESs）の局所的な識別可能性を取り扱う。グローバルな測定を用いれば、任意の直交する状態の集合を完全に識別できるが、局所操作および古典通信（LOCC）には根本的な制限が存在する。一方向LOCC（一方方向への通信、例えばアリスからボブへ）では、すべての局所次元 $d \ge 4$ において、4つの直交するMESsの特定の集合を識別できないことが確立されている。その結果、一方向LOCCによって識別可能な候補の数は、次元 $d$ がどれほど大きくなっても定数（具体的には最大で3）に制限される。

中心となる問いは、フィードバック（二方向LOCC）を許可することで、識別可能な候補の数が局所次元とともにスケールアップするかどうかである。先行研究では、二方向LOCCが特定のアンサンブルを識別できることや、一般化されたベル集合の構造的特性に依存していることが示されてきたが、任意のMES集合に対する一般的なスケーリング則は存在していなかった。

手法
著者は、特定の通信パターン $A \to B \to A$（アリスが測定し、メッセージをボブに送り、ボブが測定してフィードバックメッセージを送り、アリスが識別を完了する）を用いた、ユニバーサルな二方向LOCCプロトコルを提案している。

1. アリスの初期測定（セクター分解）：
   アリスは自身の部分系に対して射影測定 $\{P_a^T\}$ を行う。目的はラベルを即座に抽出することではなく（局所縮退状態は同一であり、最大混合状態であるため）、問題を変換することである。この測定は、すべての候補ユニタリ $U_i, U_j$ （$|\Psi_i\rangle = (I \otimes U_i)|\Phi_d\rangle$）に対して、以下の2つの条件を満たさなければならない：

• 厳密な直交性の保存： 圧縮された相対ユニタリのトレースがゼロになること：$\text{Tr}(P_a A_{ij}) = 0$（ここで $A_{ij} = U_i^\dagger U_j$）。これにより、条件付き状態が完全に直交し続けることが保証される。
• 弱い残留結合： 圧縮された相対ユニタリの演算子ノルムが小さいこと：$\|P_a A_{ij} P_a\| \le \eta$（ここで $\eta = 1/[4(k-1)]$）。これにより、ボブ側の側における条件付き部分空間の重なりが小さくなることが保証される。

このような測定の存在は、再帰的な精緻化アルゴリズムを用いて構成的に証明される。著者は、小さな演算子圧縮を実現するものの、近似的なトレース消失しか提供しないランダムなセクター分解（Haarランダムユニタリ）から開始する。その後、ブロック・トレースを正確にキャンセルしつつ、圧縮境界を維持するように、射影体に対して微小な集団回転を適用する。このプロセスを再帰的に繰り返すことで、一度のステップで全次元のコストを負うことなく、重なりの抑制を実現する。

2. ボブによる削減（単一またはペア）：
   アリスからの結果 $a$ を受け取った後、ボブの条件付き状態は、重なりの小さい部分空間上に支持される。ボブは、条件付き状態のグラム行列を、単一のラベルまたはペアのラベルに支持される正の項へと分解するように設計された正定値演算子値測定（POVM）を実行する。

• グラム行列 $G$ は、重なりが小さいため、厳密に正定値（$G \succeq \frac{3}{4}I$）であることが示される。
• $G$ は、単一項 $X_i$ とペア項 $X_{ij}$ に分解される。
• ボブは、ある「単一」の結果（ラベルを一意に特定する）または「ペア」の結果（状態が2つの特定の候補のうちのいずれかであることを特定する）をもたらす測定を実施する。
• 決定的なことに、ペアの結果が得られた場合、ボブは（最初に測定を行う）Walgateプロトコルの第一段階を実行し、アリスに残る条件付き状態が直交することを保証する。

3. アリスによる最終識別：
   ボブは、結果（ラベル $i$、またはペア $\{i, j\}$ と彼の測定結果）をアリスに送る。ペアが残っている場合、アリスの条件付き状態は直交しているため、彼女は局所的な測定によってそれらを完全に識別できる。

主な貢献と結果

• 定理1（ユニバーサル二方向LOCC識別）： 本論文は、任意の $k$ 個の互いに直交するMESs（$\mathbb{C}^d \otimes \mathbb{C}^d$ 内）について、以下の条件を満たすとき、二方向LOCC（具体的には $A \to B \to A$ プロトコル）によって完全に識別可能となるユニバーサルな定数 $C, \nu > 0$ が存在することを証明している：
  $$d \ge C k^4 [\log(2k)]^\nu$$
  これは、一方向LOCCと二方向LOCCの間の多項式的な分離を確立している。一方向LOCCは定数個の候補（$m_\to(d) \le 4$）に制限される一方で、二方向LOCCでは、識別可能な候補の数を $m_\leftrightarrow(d) = \Omega(d^{1/4} / (\log d)^{\nu/4})$ までスケールさせることが可能である。

• 系1（ユニバーサルコピー境界）： 次元境界を複数のコピーに適用することで（$N$ 個のコピーは実質的に次元 $d^N$ の系を作成する）、任意の直交するMES集合の完全な識別のために、ユニバーサルな数のコピーが十分であることを示している。具体的には、十分に大きな $d$ に対して、9つのコピーがあれば十分である。これにより、従来の（例えば標準的なベル基底に関する）結果に見られた基底の制限が取り除かれる。

• 拡張：

  • プロトコルは、フルシュミットランク $d$ と有界なシュミット係数（比 $\kappa$）を持つ非最大もつれ状態にも拡張可能であり、これには $d \ge C \kappa^2 k^4 [\log(2\kappa k)]^\nu$ が必要となる。
  • 本結果は、分離可能（SEP）および部分転置正（PPT）測定に関する下界も提供するが、PPTの境界は既存のより強い結果によって上書きされている。

意義と主張
本論文は、単一のフィードバックメッセージが、一方向LOCCの定数障壁を打破し、局所的な識別の容量を定数から局所次元に対して多項式的にスケールする量へと引き上げるのに十分であることを示している。著者は、これが厳密な純粋状態の完全な識別に関する結果であることを明示している。具体的には、以下の通り述べている：

• この結果は、要求される測定の効率的な合成を意味するものではない（構成は収束する補正による存在証明である）。
• ユニバーサルな定数 $C$ および $\nu$ は最適化も数値的評価もされていない。
• 本結果は、平均エラー率や実験的なノイズに対する安定性については扱っていない。
• $m_\leftrightarrow(d)$ の最適な成長率（例：$d$ に対して線形かどうか）は依然として未解決の課題である。
• 定理1は、十分大きな次元における三状態の識別可能性の問題を解決したが、より小さな次元における残りのケースを決定するものではない。