All Bell inequalities with a quantum advantage in the minimal scenario are self-testing

問題設定
最小限のベル・シナリオ（2つのパーティ、それぞれ2つのバイナリ測定）において、量子集合 $\mathcal{Q}$ とその双対であるツレリソン不等式の集合 $\mathcal{Q}^*$ の幾何学的構造は、まだ完全には解明されていない。$\mathcal{Q}$ の極値点は完全に特徴付けられ、その基礎となる量子実現のセルフテスト能が示されている一方で、双対の図式については不明な点が多い。具体的には、量子的な優位性（量子境界がローカル境界を上回る場合）を示すツレリソン不等式が、複数の異なる非局所的な極値相関によって最大化され得るかどうかが未知である。もし不等式が唯一の相関によって最大化されるならば、それはその実現のセルフテストとして機能する。一方、もし複数の相関によって最大化されるならば、それは機能しない。さらに、周辺項（marginal terms）が含まれる場合に、量子集合が自己双対（すなわち、$\mathcal{Q}$ が $\mathcal{Q}^*$ と線形同型であること）であるかという問いも未解決のままである。

手法
著者らは、凸幾何学、ベル演算子のスペクトル解析、および数値最適化手法を組み合わせて用いている。

1. 幾何学的枠組み： 本研究は、量子集合 $\mathcal{Q}$ とツレリソン不等式の集合 $\mathcal{Q}^*$ の間の双対性を利用している。著者らは「直交面（orthogonal faces）」（特定の相関によって最大化される不等式の集合）と「平坦な境界（flat boundaries）」（特定の不等式を最大化する相関の集合）を分析している。
2. スペクトル解析： 最大化子の唯一性を証明するために、著者らはベル演算子の固有空間を分析する。最小限のシナリオにおいて、極値相関は純粋な2量子ビット状態と射影測定によって実現されるという事実を利用する。
3. パラメータ解析： 著者らは、部分的に絡み合った2量子ビット状態 $|\phi_\theta\rangle = \cos(\theta)|00\rangle + \sin(\theta)|11\rangle$ から導かれる特定の極値相関の族 $\vec{P}_\theta$ を調査する。局所的なユニタリ変分、平方和（SOS）証明、およびローカル境界を用いて、2次元平面における直交面の近似および特徴付けを行う。
4. 次元計数： 自己双対性に対処するため、著者らは $\mathcal{Q}$ の極値点の直交面の次元と $\mathcal{Q}^*$ の面の次元を比較し、極値点のマッピングにおける矛盾を探る。

主要な貢献と結果

• 量子優位性を持つ不等式における最大化子の唯一性：
  本論文は、最小限のシナリオにおいて、量子優位性を持つ任意のツレリソン不等式は、$\mathcal{Q}$ における正確に一つの非局所的な極値相関によって最大化されることを証明する補題1を確立している。この一意な最大化子は「露出された（exposed）」点でもある。この証明は、次の2つの事実に依拠している：(1) 量子優位性の条件（$c_{00}c_{01}c_{10}c_{11} < 0$）が、局所ユニタリを除いて量子ビットの測定を固定すること、および (2) このようなベル演算子の最大固有値の固有空間は、積状態を含まない限り2次元にはなり得ないこと（積状態を含むことは、量子境界がローカル境界と等しいことを意味する）。したがって、最大化子は一意であり、かつ露出されている。

• セルフテストの特性付け：
  一意性の結果に基づき、定理3は、最小限のシナリオにおける量子優位性を持つすべてのツレリソン不等式がセルフテストであることを述べている。そのような不等式の最大値が観測されることで、その基礎となる量子実現（局所等長写像の範囲内で）が一意に特定される。これは、このシナリオにおける線形ベル不等式に基づくセルフテストの完全な特性付けを提供する。

• 平坦な境界の幾何学：
  著者らは、系2を導出し、$\mathcal{Q}$ のすべての平坦な境界（複数の点を含む境界）は必ずローカル多面体 $\mathcal{L}$ と交差することを示している。これは、$\mathcal{Q}$ のいかなる平坦な境界も、非局所的な点のみで構成されることはないことを意味する。

• 直交面の次元：
  補題4は、任意の非局所的な極値相関の直交面の次元が最大で2であることを示している。これは、ある与えられた非局所的な極値点を最大化するツレリソン不等式の集合が、高々2つのパラメータでパラメータ化できることを意味する。

• 部分的に絡み合った状態に対する直交面の構造：
  相関の族 $\vec{P}_\theta$（ここで $\theta \in (\pi/8, \pi/4]$）に対して、著者らは直交面が2次元多面体であることを示している。

  • $\theta \in (\pi/8, \pi/4]$ の場合、$\theta \leq \bar{\theta} \approx 0.645$ であれば面は六角形となり、$\theta > \bar{\theta}$ であれば八角形となる。
  • これらの多面体の頂点は、ターゲットとなる相関 $\vec{P}_\theta$ と、2つまたは3つのローカル決定論的点によって最大化されるツレリソン不等式に対応している。
  • 臨界閾値 $\bar{\theta}$ において、頂点が合体し、$\vec{P}_{\bar{\theta}}$ と3つの決定論的点によって最大化される不等量が生じ、その結果、これらの特定の不等式に対して直交次元が3以上となる。

• 量子集合の非自己双対性：
  直交面の次元解析を用いて、定理5は、周辺項が含まれる場合、量子集合 $\mathcal{Q}$ は自己双対ではないことを証明している。具体的には、$\mathcal{T}(\mathcal{Q}) = \mathcal{Q}^*$ となる線形写像 $\mathcal{T}$ は存在しない。この証明は、自己双対写像は直交次元を保存する必要があるが、非局所的な点によって最大化される直交次元 $\geq 3$ の不等式が存在するという事実が、$\mathcal{Q}$ における非局所的な極値点の直交面が最大で次元2であるという事実と矛盾することに基づいている。これは、周辺項が消失する部分空間における量子集合の既知の自己双対性と対照的である。

意義と主張
本論文は、最小限のシナリオにおける線形ベル不等式によるセルフテストの完全な特性付けを提供し、量子的な優位性が一意な最大化子、ひいてはセルフテストの十分条件であることを確立していると主張している。著者らは、量子集合の自己双対性の問題を（周辺項を含む）フル・ミニマル・シナリオに対して否定的に解決し、量子相関の集合とツレリソン不等式の集合との間の根本的な幾何学的差異を明らかにしている。著者らは、彼らの一意性の議論は2量子ビットの性質に依存しており、複数の最大化子が存在し得る高次元や一般的なベル・シナリオには直ちに拡張できないことを注記しているが、彼らの結果は最小限のケースに関する理解を強固にするものである。また、本研究は、部分的に絡み合った状態のセルフテストにおける特定のノイズ耐性特性を持つ不等式の族を特定することで、実用的な有用性も提供している。