Robust self-testing of nonmaximal entanglement from a reduced inner product game

技術要約：縮小された内積ゲームからの非最大もつれ状態のロバストな自己テスト

問題提起
本論文は、量子非局所性における根本的な問い、すなわち「最大もつれ状態（非ゼロのシュミット係数が等しい状態）は、すべての疑似テレパシー・ゲームにおいて完全なプレイを行うために十分であるか」という問題に取り組んでいる。最大もつれ状態が常にベル不等式の破れの最大値を達成するわけではないことは既知であるが、有限次元のゲームにおける「完全な勝利戦略」に対してそれらが十分であるかどうかは未解決の問題であった。Lalondeは、特定の非最大もつれ状態が完全勝利し、いかなる有限次元の最大もつれ状態も完全勝利できない内積ゲーム（$G_{4,3,6,6}$）を構成することで、この問題を解決した。しかし、Lalondeのゲームは6次元を必要としていた。本研究は、自己テスト特性（具体的には、局所的なアイソメトリまで含めて、共有状態とすべての測定効果を一意に決定する能力）を維持しつつ、この反例の次元を削減することを目的としている。

手法
著者は、Lalondeのゲームの5次元への削減版である$G_{4,3,5,5}$（または$G_5$）を構成している。この削減には以下の手順が含まれる：

1. 次元削減： 元の6次元の戦略から、振幅の低い2つの座標のうち1つを取り除く。
2. 出力の圧縮： 圧縮後に一致する測定結果を結合することで、アリスとボブの両方の回答アルファベットを6から5へと減少させる。
3. ゲームの定義： アリスの質問は4つ（$x \in \{0,1,2,3\}$）、ボブの質問は3つ（$y \in \{0,1,2\}$）とする。勝利条件は、圧縮された基底から導出される特定のベクトルを含む対角行列 $D = \text{diag}(2,2,2,2,1)$ を用いた非ゼロの内積によって定義される。

証明戦略は、「禁止された」結果（理想的な戦略において確率がゼロとなる結果）を分析することに依拠し、それによって状態の構造を再構成することである。核心となる技術的ステップは以下の通りである：

• 粗粒度ラベリング： ボブの第1の測定（$y=0$）を用いて、5つの直交部分空間を確立する。アリスは、同じ5つのラベルをコヒーレントに記録するために、一連の粗粒度射影測定（$x=0$ および $x=1$）を用いる。
• 振幅比の特定： 結果をグループ化し、バイナリ比較（具体的には質問 $x \in \{2,3\}$ および $y \in \{1,2\}$ において）を分析することで、第5の振幅が他の4つの等しい振幅の大きさのちょうど半分になることを強制する関係式を導出する。
• 抽出マップ： プレイヤーの物理的状態をリファレンス状態 $|\psi^\star\rangle$ と残留系へと写像する、明示的な局所アイソメトリ（記録されたラベルによって制御されるユニタリ変換）を構築する。
• ロバスト性の分析：
  • 状態のロバスト性： 著者は、結果の確率の下限に関する仮定を置くことなく、非正規化されたブランチベクトル上で直接、抽出された状態とターゲット状態の間の距離を推定し、抽出距離を評価している。
  • 測定のロバスト性： 測定効果を扱うために、普遍的な代数上の可換演算子表現へと厳密な特定を拡張する。損失が消失する状態の空間に対するコンパクト性の議論を利用することで、測定作用の次元に依存しない連続性のモジュラスを導出する。

主な貢献と結果

1. 削減されたゲームの構成 ($G_5$)： 本論文は、古典的値が $11/12$、量子値が $1$ であるゲームを提示している。リファレンス状態は以下の通りである：
   $$|\psi^\star\rangle = \frac{2|00\rangle + 2|11\rangle + 2|22\rangle + 2|33\rangle + |44\rangle}{\sqrt{17}}$$
   この状態は、非一様なシュミットスペクトル（平方係数の比が4:1）を持つ。

2. ロバストな状態の自己テスト (定理 2.1)： 本論文は、確率 $1-\epsilon$ で勝利するあらゆる戦略について、抽出距離 $d_{ext} \le \min\{1, 221\sqrt{\epsilon}\}$ となるような平方フィデリティ $\Xi$ を持つ状態の抽出が可能であることを証明している。これは、物理的な状態が $|\psi^\star\rangle$ にどの程度近くなければならないかについての定量的な境界を与える。

3. 状態と測定の厳密な自己テスト (定理 2.2)： 完全なスコア（$\epsilon=0$）において、この戦略は完全な自己テストであることが示されている。局所アイソメトリが存在し、共有状態は $|\psi^\star\rangle \otimes \chi$ （ここで $\chi$ は残留系）に写像され、すべてのラベル付けされた測定効果（$A_{xa}, B_{yb}$）は、理想的なランク1の射影へと写像される。これは、任意の混合状態およびPOVMに対して成立する。

4. 測定の定性的ロバスト性 (定理 2.3)： 著者は、測定作用もロバストであることを確立している。任意の $\epsilon$ に対して、抽出された測定効果が理想的な効果の距離内にあるような関数 $r(\epsilon)$（局所次元に依存しない）が存在する。本論文では $r(\epsilon)$ の明示的なレートは提供していないが、一様な収束のモジュラスの存在を証明している。

5. 最大もつれの不可能性 (系 2.5)： 自己テストの直接的な帰結として、本論文は、いかなつ有限次元の最大もつれ状態も $G_5$ で完全勝利することはできないことを証明している。これは、局所アイソメトリがシュミットスペクトルを保存し、平坦なスペクトル（最大もつれ）は、特定の非平坦なスペクトルを持つ $|\psi^\star\rangle$ へと変換できないためである。

意義と主張
本論文は、Lalondeの元の研究よりもコンパクトな設定において、最大もつれの十分性の問題を解決したと主張している。次元を6から5に削減することで、非最大もつれを証明するために必要な剛性が、より少ないリソースを用いても維持されることを示している。

著者は、彼らの証明が、2つの研究の流れ（以前は特定のベル不等式や最適な確率が1未満の状態に限定されていた、非最大もつれのロバストな自己テストと、疑似テレパシー・ゲーム）を結びつけていることを強調している。主要な新規性は、単一の固定されたゲームのゼロ確率制約を用いて、不等なシュミット係数とすべてのラベル付けされた測定効果を同時に決定する点にある。

本論文は、定量的な改善については控えめであり、係数221は最適化されていないこと、および測定のロバスト性の境界は定性的（レートなしの存在のみ）であることを述べている。著者は、同じアイソメトリの下ですべての測定作用に対する有用な定量的な境界を得ることが、自然な次のステップであるとしており、最小性の主張は行っていない。また、質問、回答、または次元の数に関する最小性の主張も明示的に否定している。