Strassen's support functionals coincide with the quantum functionals

技術的要約：ストラッセンのサポート・ファンクショナルと量子ファンクショナルの合致

問題設定
本論文は、1991年にストラッセンによって提起された、テンソルの漸近スペクトル理論における根本的な未解決問題に取り組んでいる。ストラッセンの枠組みは、テンソル間の漸近的制限（行列積のような多重線形問題の複雑さを捉える関係）を、「スペクトル点」——単調性、乗法性、加法性、および正規化された汎関数——を通じて特徴付けている。ストラッسنは、テンソルのサポート・ポリトープ上のエントロピー最適化を通じて定義される、候補となるスペクトル点のクラスであるサポート・ファンクショナル ($\zeta_\theta$) を導入したが、これらのファンクショナルが（すべての $d$-テンソルに対して有効な）普遍的なスペクトル点であるかどうかは不明であった。

並行して、クリスタンドル、ヴラナ、およびズィダム（2017）は、エンタングルメント・ポリトープ（またはモーメント・ポリトープ）上のエントロピー最適化を通じて定義される、量子ファンクショナル ($F_\theta$) と呼ばれる一族の普遍的なスペクトル点を構築した。$F_\theta(t) \leq \zeta_\theta(t)$ であることは既知であったが、これら二つの量の正確な関係は未解決のままであった。中心となる問いは、ストラッセンのサポート・ファンクショナルが量子ファンクショナルと一致し、それによって、それらが普遍的なスペクトル点であることを確立できるかという点である。

手法
著者らは、モーメント・ポリトープ上の凸最適化に関する一般的なミニマックス公式を証明することにより、この問題を解決する。証明戦略は、以下の構成要素に基づいている：

1. アダマール多様体の双対性: 中核となる技術的ツールは、ヒライ [Hir25] による、アダマール多様体（非正曲率を持つ完備かつ単連結なリーマン多様体）上の凸最適化に関する最近のフェンチェル型の双対定理である。著者らはこれを、アフィン不変リーマン計量を備えた正定値エルミート行列の空間の積 $PD = PD(n_1) \times \dots \times PD(n_d)$ に適用している。
2. ケンプ・ネス関数: 彼らは、テンソル $v$ に付随するケンプ・ネス関数 $f_v(x) = \log \langle v, x \cdot v \rangle$ を利用する。この関数の単位元における微分はモーメント写像に対応し、その像がモーメント・ポリトープ $\Delta(v)$ を決定する。
3. 勾配最適化ミニマックス: 著者らは、凸で対称な下半連続関数 $F$ に対して、モーメント・ポリトープ $\Delta(t)$ 上の $F$ の最小値は、すべての基底変換 $g \in GL$ に関するサポート・ポリトープ $\Omega(g \cdot t)$ 上の $F$ の最小値の最大値に等しいという、一般的なミニマックス定理（定理 1.3/4.4）を確立している：
   $$\min_{p \in \Delta(t)} F(p) = \max_{g \in GL} \min_{p \in \Omega(g \cdot t)} F(p)$$
4. 特殊化: $F(p) = -\sum \theta_i H(p_i)$ （ここで $H$ はシャノン・エントロピー）を選択することで、左辺は量子ファンクショナル $F_\theta(t)$ となり、右辺はサポート・ファンクショナル $\zeta_\theta(t)$ となる。

主要な貢献と結果

• ファンクショナルの等価性 (定理 1.1): 主要な結果は、任意のテンソル $t$ と確率分布 $\theta$ に対して、量子ファンクショナルとストラッセンのサポート・ファンクショナルが等しいことを証明することである：
  $$F_\theta(t) = \zeta_\theta(t)$$
  これは、ストラッセンのサポート・ファンクショナルが確かに普遍的なスペクトル点であることを裏付けている。
• 普遍性の簡潔な証明: この結果は、量子ファンクショナルが普遍的なスペクトル点であることを示す新しい直接的な証明を提供する。これは、Christandlらによる元の証明で使用された複雑な不変論的手法を回避し、ミニマックス公式から導かれる初等的な凸解析的手法に置き換えている。
• 漸近スライスランクへの接続 (系 1.2): 本論文は、テンソルの漸近スライスランクとハイパーグラフの漸近頂点被覆数の間の直接的な関連性を確立している。具体的には、漸近スライスランク $\widetilde{SR}(t)$ は、すべての基底変換にわたる漸近頂点被覆数の最小値として計算できる：
  $$\widetilde{SR}(t) = \min_{g \in GL} \widetilde{\tau}(H_{g \cdot t})$$
  これは、フリー・テンソルに対してのみ知られていた従来の知見を一般化するものである。
• 一般ミニマックス・フレームワーク (定理 1.3 および 1.4): 著者らは、$GL$ の有理表現に関連するモーメント・ポリトープ上の、任意の凸で対称な下半連続関数に適用可能な一般的なミニマックス公式を提供している。このフレームワークは、非可換ランク、G-安定ランク、および対称量子ファンクショナルを含む様々なテンソル・パラメータを統一する。
• 対称量子ファンクショナル (セクション 5.1): 本論文は、ミニマックス記述を（$GL(n)$ の対角作用に対して定義される）対称量子ファンクショナルへと拡張し、その劣乗法性の新しい直接的な証明を提供している。

意義
著者らは、その意義を以下の領域で主張している：

1. 長年の未解決問題の解決: 35年来の問いであった、ストラッセンのサポート・ファンクショナルの普遍性に関する問題を解決した。
2. 概念の統一: サポート・ポリトープ（テンソルの非ゼロ成分に関連する組合せ論的対象）と、エンタングルメント／モーメント・ポリトープ（量子周辺分布に関連する幾何学的対象）の間の深い構造的つながりを明らかにし、エントロピーに基づく最適化において同一の値を与えることを示した。
3. 手法の進展: ヒライの、アダマール多様体上の双対性に関する理論を活用することで、テンソル不変量を分析するための強力な新しいツールを提供し、将来的な代数計算量や量子情報理論における証明を簡素化する可能性がある。
4. 計算論的含意: 漸近頂点被覆数への接続は、漸近スライスランクを計算するための新しい視点を提供し、代数的複雑性とハイパーグラフの組合せ論を結びつけている。

著者らは、$GL$ の作用に対して結果が述べられているものの、証明は一般的であり、すべてのヒライの予想（すべてのアダマール多様体に対する強双対性）が真であれば、他の群にも拡張可能であると述べている。また、ミニマックス公式が、新しいスペクトル点の構築や、テンソル不変量を計算するための効率的なアルゴリズムの開発の基礎となり得ることを強調している。