The quantum supremum of the $I_{3322}$ Bell inequality is not attained in finite dimension

技術的要約：I3322 ベル不等式の量子上限は有限次元では達成されない

問題提起
本論文は、量子非局所性に関する根本的な問いに取り組んでいる。すなわち、「すべてのベル不等式は、有限次元のヒルベルト空間内で最適な量子戦略を持つか？」という問いである。固定された有限次元における量子相関の集合はコンパクトであるため（これにより最大値の存在は保証される）、全有限次元にわたるこれらの集合の和集合は、必ずしも閉集合になるとは限らない。その結果、次元を増やしていく戦略の列が、単一の有限次元戦略では到達できない上限へと収束する可能性がある。

具体的な焦点は、$(3, 3, 2, 2)$ シナリオ（各当事者が3つの測定設定を持ち、2つのバイナリ結果を得る）における I3322 ベル不等式である。このシナリオは、設定数が各当事者につき2つのみの場合は集合が閉じるという Beigi の結果に基づくと、有限次元の相関集合 $C_q$ の非閉性が理論的に起こり得る最小のバイナリ結果設定であるため、重要である。

2010年、Pál と Vértesi (PV) は、シュミット係数とスペクトルラベルの反復構造を利用した I3322 の有限次元戦略の族を特定した。彼らの数値最適化は、これらの値が増大するにつれて特定の極限（$\approx 0.25087538$）へと収束することを示唆したが、決してその値には到達しない。彼らは、この極限が全有限次元戦略における真の上限であり、いかなる有限次元戦略もそれを達成できないと推測した。

手法
証明は、任意の有限次元量子戦略と特定の変分族（PV族）との間の厳密な対応関係を確立し、最適化条件を分析することによって進められる。

1. 対称化と簡約化:
   著者は、まず任意の有限次元戦略を対称な形式へと簡約化する。直和倍化技術を用いることで、ボブの測定がアリスの測定の、結果を反転させた共役コピーとなる等価な戦略を構築する。この対称性により、第3の測定（ベル関数に線形に寄与するもの）を解析的に最適化することが可能になる。

2. スペクトル重み行列の構築:
   残りの一対の測定に対してジョルダンの補題を適用することで、戦略を有限個のスペクトル部分空間へと簡約化する。著者は、アリスとボブのスペクトルラベルの結合確率分布を表すスペクトル重み行列 $\theta$ を定義する。そして、任意の戦略 $S$ に対して $I_{3322}(S) \leq \Phi(\theta)$ となる上界汎関数 $\Phi(\theta)$ を導出する。

3. PV族への等価性 (定理 1):
   任意のスペクトル重み行列が、有限個の PV チェーンの加重平均によって近似可能であることを示すことにより、すべての有効なスペクトル重み行列に対する汎関数 $\Phi(\theta)$ の上限が、Pál–Vértesi 族の成分の上限 $\beta_{PV}$ と正確に一致することを証明する。チェーンの長さ $N \to \infty$ となるにつれ、加重平均は $\Phi(\theta)$ へと収束する。したがって、PV 族以外の戦略が $\Phi(\theta)$ を超えることはない。

4. 非達成の証明 (定理 2):
   有限次元の戦略が上限を達成すると仮定することで、上限が達成されないことを証明する。これは、関連するスペクトル重み行列 $\theta$ が $\Phi(\theta) = \beta_{PV}$ を満たすことを意味する。

   • $\Phi$ の一次最適化条件を分析することにより、$\theta$ から抽出された一連の補助係数 $u_i$ およびスペクトルラベル $c_i$ に関する漸化式を導出する。
   • これらの係数は、ヤコビ演算子の固有値方程式に似た三項漸化式を満たさなければならない。
   • 証明は矛盾を示す：値が最大となるためには、補助係数が一方の方向へ幾何級数的に増大しなければならない（これは無限、すなわち正規化不能な状態を意味する）一方で、有限次元の戦略であるためには、それらが平方可積分（正規化可能）であることが要求される。この不整合性が、有限次元の戦略では上限を達成できないことを証明している。

主要な結果

• 定理 1: I3322 の有限次元量子上限は、Pál–Vértesi 族の上限に等しい ($I^*_{3322} = \beta_{PV}$)。
• 定理 2: 有限次元の量子戦略が $I^*_{3322}$ を達成することはない。すべての有限次元戦略は、上限を厳密に下回る値を与える。
• 系 1 (非閉性): 有限次元の量子相関の集合 $C_q(3, 3, 2, 2)$ は閉じていない。その閉包 $C_{qa}$ には、いかなる有限次元テンソル積戦略によっても生成できない相関が含まれる。
• 系 2 (次元ウィットネス): 上限への接近には、無制限の局所次元を必要とする。任意の有限次元 $k$ に対して、最大値 $\beta_k$ は $I^*_{3322}$ よりも厳密に小さい。

意義と主張
本論文は、$(3, 3, 2, 2)$ シナリオが、有限次元の相関集合が閉じていないことが起こり得る最小のバイナリ結果ベルシナリオであることを確立し、この最小の設定において非閉性が可能であることを裏付けている。これは、I3322 不等式に関する具体的な達成の問題を解決し、Pál と Vértesi による 2010 年の推測を確定させるものである。

著者は、自身の結果が有限次元の戦略に適用されることを明示している。無限次元のテンソル積戦略（集合 $C_{qs}$ に属するもの）が上限を達成するかどうかは依然として未解決である。もしそのような戦略が存在するならば、それは無限次元のエンタングルメントを必要とする。もし存在しないならば、この特定のシナリオにおいて、テンソル積相関と交換演算子相関の分離（$C_{qs} \neq C_{qc}$）を意味することになる。

数学的な証明の核心は Lean 4 で形式化され、論理的なステップの厳密な検証が保証されている。また、論文は、上限の値が高精度で数値的に知られているものの、既知の解析的な閉形式の表現は欠いていることにも言及している。

著者および AI に関する注記
著者である Jef Pauwels は、発見プロセスにおける AI の役割に関する記述を含めている。著者は、AI モデル（OpenAI Codex/GPT-5.6-sol）に対し、推測を維持するよう促した後に、初期の証明スケッチが生成されたことを述べている。その後の作業には、AI による「非英語的」な数学的ジャーゴンを標準的な量子情報用語へと人間が翻訳し、検証し、Lean 4 で形式化するプロセスが含まれる。著者は、最終的な主張および、機械生成された議論をアクセス可能かつ検証可能にするために必要な「証明の消化（proof digestion）」について、全責任を負うとしている。