The I3322 quantum value is attained spatially but not in finite dimension

技術要約：$I_{3322}$ の量子値は空間的には達成されるが、有限次元では達成されない

問題提起
本論文は、$I_{3322}$ ベル不等式の量子上限（quantum supremum）が、有限次元の量子系によって達成されるか否かという長年の疑問に取り組んでいる。$I_{3322}$ 不等式は、各当事者が3つのバイナリ測定を行うものであり、CHSH 不等式とは異なるローカル・ポリトープのファセットである。Pál と Vértesi (2010) による先行する数値的研究は、有限次元の戦略は $S \approx 0.2508753845$ に収束するものの、真の量子最大値に到達するにはいかなる有限次元も不十分であり、その最大値は無限次元のヒルベルト空間においてのみ達成可能であることを示唆していた。本論文は、この予想に対する解析的な証明を提供し、Dykema, Paulsen, および Prakash によって明示的に提起された達成性の問題を解決するものである。

手法と認定された入力
証明は、ベル関数をヤコビ行列に関するスペクトル問題へと還元することに基づいている。著者は、付随する公開リポジトリに確立された一連の厳密に認定された入力を利用している：

1. 認定されたウィンドウ： 量子値 $S$ の正確な有理数による包含関係として、$S \in (0.2508753845015185, 0.250875388108398]$ が確立されている。これは、Mghirbi による証明付きのサーティフィケートに基づいている。
2. モデルの等価性： テンソル積の極限値 ($\omega_{tensor}$) と交換演算子の極限値 ($\omega_{commuting}$) が、この関数に対して等しいことを示す認定された定理。
3. ベルマン・ストレージ： 証明では、「クリティカル・ベルマン・ストレージ」が利用される。これは、ラベル空間におけるパスのステップに価格をつける、シュア・ピボットの極限から導出された凹関数である。
4. マシン・チェック： 組合せ論的およびスカラー的な核となる議論は、Lean 4 でマシン・チェックされている。論文は、形式化されたコア（例：端点の除外、振幅の消去）と、解析的な還元（例：測度の分解）を区別しており、後者は証明ドキュメントとして提供されている。

主要な貢献と結果

1. 有限次元における非達成性 (定理 1)
本論文は、有限次元の量子戦略（純粋状態または混合状態、射影測定または POVM 測定）がいかなる場合も値 $S$ を達成できないことを証明する。

• メカニズム： 証明は、仮定された最大化子の「等価モジュール」を分析する。有限次元において、最大化子の占有サポートは、2つの順序反転写像（反射および輸送写像）を保持していなければならない。有限の全順序集合において、これらの写像は一致しなければならず、その結果、すべての占有ラベルは自身の反射とペアリングされることが強制される。
• キャップ（上限）： このペアリングにより、振幅比はベル値を正確に $1/4$ に制限するという条件を満たすことが強制される。認定された値 $S > 1/4$ であるため、有限次元の最大化子は存在し得ない。
• 意義： これは、有限次元では $I_{3322}$ の正確な量子最大値には不十分であるという Pál と Vértesi (2010) の予想を裏付けるものである。

2. 無限次元における空間的達成 (定理 2)
本論文は、無限次元のヒルベルト空間 $\ell_2(\mathbb{Z}) \otimes \ell_2(\mathbb{Z})$ 上の空間的戦略によって、値 $S$ が達成されることを証明する。

• メカニズム： 交換モデルとは異なり、応答輸送によって生成される群の軌道上でスペクトル測度を分解できる最大化子を許容する。これらの軌道は $\mathbb{Z}$ と順序同型である。
• 構成： 軌道を固定することにより、著者、関連するヤコビ行列の固有値 $S$ に対する $\ell_2(\mathbb{Z})$ の固有ベクトルを構成する。決定的なことに、この固有ベクトルの正規直交性は、以前の試みで見られた歴史的な障害を解消し、基礎となる確率測度から継承される。
• 意義： これにより、量子上限が交換演算子モデル（したがって空間的モデル $C_{qs}$）においては極大値であるが、有限次元テンソルモデル ($C_q$) においては極大値ではないことが確立される。

3. $C_q(3, 3; 2, 2)$ の非閉包性 (系 3)
直接的な帰結として、有限次元戦略によって実現可能な二部グラフ相関の集合 $C_q(3, 3; 2, 2)$ は閉じていない。

• 最小性： $(3, 3; 2, 2)$ シナリオは、非閉包性が知られている二部グラフシナリオの中で、入力数による最小の（出力数が2つの）ケースとして特定されている。以前の例では、より大きな入力セット（例：$(4, 4; 2, 2)$ や $(5, 5; 2, 2)$）を必要としていた。

4. 次元の複雑性 (定理 6)
本論文は、達成不可能な値 $S$ を有限次元を用いて近似するためのコストを定量化する。

• 結果： 誤差 $\epsilon$ 以内で $S$ を近似するために必要な局所次元 $d$ は、$D(\epsilon) = \Theta(\log(1/\epsilon))$ とスケールする。
• 上界： 構成的に、著者は無限次元のキャリアを長さ $d$ のウィンドウに切り詰めることで、誤差が幾何級数的に減少することを示す。彼らは明示的な定数 $D(\epsilon) \leq 23.9010650 \log(1/\epsilon)$ （十分に小さい $\epsilon$ に対して）を提供している。
• 下界： 証明の連鎖により、いかなる戦略も幾何級数的な速度よりも速く収束することはないことが確立されており、多項式的または超幾何級数的な収束率を否定している。

意義と範囲
本論文は、$I_{3322}$ の達成性の問題を解決したと主張している。それは、有限次元の達成は閉じた（有限回帰的な）最適キャリアを伴うのに対し、既知の非達成現象は無限の開いた連鎖によって運ばれるという、構造的な二分法を提供している。

著者は、その主張の範囲について慎重である：

• 特定の Pál–Vértesi 数値ファミリーが $S$ に収束すると主張しているわけではなく、また、認定されたウィンドウを超えて $S$ の正確な十進数値を特定すると主張しているわけでもない。
• より大きな出力アルファベットを持つシナリオにおける最小性を主張していない。
• 次元の複雑性の結果は、$I_{3322}$ シナリオおよび構築された特定のキャリアに特化したものであるが、$\Theta(\log(1/\epsilon))$ のレートは、この種の輸送クラスの非達成における一般的な特徴として提示されている。

本研究は、非達成性の明示的な空間的達成の構成および正確な次元複雑性のレートを提供することで、Pauwels による同時期の独立した証明とは一線を画している。結果は、認定されたウィンドウおよび有限次元の最大子の除外の妥当性を保証するために、厳密な有理演算とマシン・チェックされたコアに大きく依存している。