Quantum nonlocality without entanglement and state discrimination measures

技術要約：量子非局所性と、もつれなしの非局所性、および状態識別尺度

問題提起
本論文は、「もつれなしの量子非局所性（quantum nonlocality without entanglement）」という現象、すなわち、ある積状態のアンサンブルにおいて、グローバルな測定がより高い成功確率を達成できるにもかかわらず、局所操作および古典通信（LOCC）を用いた場合には最適に識別できない現象について扱っている。この分野における中心的な問いは、この非局所性が状態アンサンブルの固有の性質なのか、それとも使用される特定の状態識別尺度に依存するのかという点である。具体的には、ある積アンサンブルが、ある識別尺度（例：最小誤り識別）の下では非局所性を示すが、別の尺度（例：一意判別）の下では示さないような例が存在するかどうかを著者らは調査している。

手法
著者らは、$\mathbb{C}^3 \otimes \mathbb{C}^3$ における6つの線形独立で等確率な状態からなる、特定の二部積アンサンブル $E_T$ を構成している。これらの状態は、3つの対称な純粋状態 $\{\lvert\psi_i\rangle\}_{i=1}^3$（互いの内積はすべて等しく $s \in (0,1)$）のテンソル積によって形成されており、テンソル因子のインデックスは互いに異なる（$i \neq j$）。

本研究では、2つの異なる識別フレームワークを用いている：

1. 最小誤り識別（Minimum-Error Discrimination）: 正しく状態を特定する確率を最大化することを目的とし、誤りを許容する。著者らは、線形独立な純粋状態に対する最適な最小誤り識別の問題を、平方根測定（SRM）から導出される一意な正規直交基底の完全識別問題へと還元する、CheflesとBarnettによる定理（本文中の[17]として参照）を利用している。
2. 一意判別（Unambiguous Discrimination, UD）: 誤り率ゼロでの状態特定を目的とし、不確定な結果が出る確率を受け入れる。これには状態が線形独立である必要がある。著者らは、UDの成功確率の最適化を半正定値計画問題（SDP）として定式化し、アンサンブルの置換対称性を利用して解を簡略化している。

これらの知見を拡張するため、著者らは構成を多部系（$N$ パーティ、$k$ 部分系）へと一般化し、SDPを用いた数値的証拠を用いて、LOCCの性能を正の部分転置（PPT）測定およびグローバルなSRM性能と比較している。

主要な貢献および結果

• 尺度依存的な非局所性: 主要な結果（定理1）は、構成されたアンサンブル $E_T$ について以下を示す：

  • 最小誤り: LOCCは厳密に劣っている。グローバルな最適解はSRMによって達成され、これは一意な正規直交基底 $\tilde{B}$ に対応する。著者らは、$\tilde{B}$ の要素がもつれた状態であり、LOCCによって完全に識別できないことを証明している（補題8）。したがって、$p^{me}_L(E_T) < p^{me}_G(E_T)$ となる。
  • 一意判別: LOCCは最適である。著者らは、グローバルな最適成功確率 $(1-s)^2$ を達成する局所プロトコルを明示的に構成している。これは、アンサンブルのグラム行列の最小固有値が $(1-s)^2$ に等しいこと、および局所的な戦略がこの境界に達することを示すことで証明される。したがって、$p^{ud}_L(E_T) = p^{ud}_G(E_T)$ である。

• 多部系への拡張: 著者らは、構成を $k$ パーティ、$N$ 個の局所状態を含むアンサンブル $E_{N,k}$ へと拡張した。$E_{3,3}, E_{4,2}, E_{4,3}$ などのケースに関する数値的な調査は、この分離が持続することを示す強い証拠を提供している。すなわち、最小誤り識別においてはLOCCは劣っているが（SRMとPPT/LOCCの性能差が見られる）、一意判別においてはグローバルな最適解を達成する。

• 構造的洞察: 本論文は、最小誤りの場合における非局所性が、最適な測定基底（SRM）が局所的に完全に識別できないもつれた状態から構成されていることに起因することを特定している。逆に、一意判別の場合は、アンサンブルの対称性により、もつれた測定演算子や、特定の局所戦略を超えて成功率を向上させるための古典通信を必要とせずに、局所プロトコルがグローバルな境界に一致させることが可能となる。

意義および主張
本論文は、「もつれなしの量子非局所性」が尺度依存的であるという問いに対し、肯定的な回答を提供すると主張している。すなわち、ある積状態の集合は、最小誤り基準の下では非局所性を示す一方で、一意判別基準の下では局所的に識別可能であることを確立している。

著者らは、ダブル・トライン・アンサンブル（double trine ensemble）は両方の尺度において非局所性を示すのに対し、構成されたアンサンブル $E_T$ は、一方はLOCCが失敗し、他方では成功するという「分離」を示すことを強調している。

さらに、一意判別のケースについては、局所的な測定結果が、最適性を維持するために他のパーティの事前確率を更新する必要がないため、パーティ間の古典通信なしでも最適な成功確率が達成可能であることについても論じている。

結論として、著者らは、最小誤り設定におけるLOCCとPPT測定の間の正確なギャップ、および構成の特定の特長（等角性およびラベルの相関）がこのような尺度依存的な分離の必要条件であるかどうかに関する未解決の問いを提示している。著者らは、自分たちの構成が、尺度依存的な非局所性のより広範な枠組みのための基礎的な事例として機能することを示唆している。