Three-Point Trace Positivity:Schatten Norm Compression and Interpolating Metrics

技術要約：3点トレース正値性と補間計量

問題提起
本論文は、作用素環および非可換解析の理論における、性質は異なるが関連のある2つの問題に取り組んでいる。

1. シャットテンノル圧縮： 正定値な $3 \times 3$ ブロック行列のブロックのシャットテン $p$-ノルムによって形成される $3 \times 3$ ブロック行列の正定値性に関する、Linとvan den Driesscheによる予想の解決。具体的には、正なブロック行列 $H = [H_{ij}]_{i,j=1}^3$ に対して、行列 $[\|H_{ij}\|_p^p]_{i,j=1}^3$ が $1 \le p \le 2$ において正定値であるという予想である。
2. $L^1$ コーンの計量幾何学： 半有限な有跡フォン・ノイマン環における、正な $\tau$-可測作用素のコーン $L^1(M, \tau)_+$ 上で距離関数 $d_t$ が計量を定義するパラメータ $t$ の正確な範囲の決定。この距離は、ヘリング計量（$t=1$）とブレス計量（$t=2$）の間を補間する式によって定義される。先行研究では、可換代数における端点での計量性は確立されていたが、非可換代数における $1 < t < 2$ の範囲は未解決であった。

手法
著者らは、非線形トレースカーネルに基づく3点トレース正値性定理に基づいた統一的なメカニズムを確立している。核心となる解析的手法は、トレース付き $L^2$ 空間上の可換な左および右乗法作用素として実現される、カールン–リーブ（Carlen–Lieb）の凸性原理のトレース形式である。

主な手法のステップには以下が含まれる：

• 作用素的視点（Operator-Perspective）による議論： 特定の汎関数 $F_{s,L}(W) = \nu((L^* W^s L)^{1/s})$ の同時凸性を証明するために、エフロス（Effros）の作用素的視点の手法とハンセン–ペダーセン（Hansen–Pedersen）のイェンセンの不等式を利用する。
• 輸送されたミンコフスキー不等式： 3次元の二次形式におけるすべての符号パターンを制御する「1対多」のコーシー・シュワルツ評価（命題2.3）を導出する。この不等式は、$3 \times 3$ カーネル行列の正値性を証明するためのエンジンとなる。
• 有限次元への簡約： 計量分類については、クラークソン（Clarkson）の不等式（$t < 1$ の場合）とランク1の障害（$t > 2$ の場合）を用いて、$M_2(\mathbb{C})$ における明示的な反例を構成する。これらの有限次元の欠陥は、単位元を含む $M_2(\mathbb{C})$ の有限トレース部分（コーナー）を介して、一般的な半有限代数へと輸送される。
• 近似： 一般的な半有限の設定に対して、スペクトル射影を用いて、非有界作用素を有限トレースの部分に含まれる有界作用素によって近似し、有限次数の正値性の結果をフル $L^1$ コーンに適用する。

主要な貢献と結果

1. 3点トレース正値性 (定理 1.1):
   有限な有跡フォン・ノイマン環 $(N, \nu)$ と $P_1, P_2, P_3 \in N_+$ に対して、行列 $[K_r(P_i, P_j)]_{i,j=1}^3$ は $1/2 \le r \le 1$ において正定値である。ここで $K_r(P, Q) = \nu((P^{1/2} Q P^{1/2})^r)$ である。

   • $1/2 < r < 1$ の範囲は、行列の場合であっても新しい結果である。
   • 3点はシャープな次数であり、4点の場合は結果が成立しない（注意 2.4）。

2. Lin–van den Driessche 予想の解決 (定理 1.2):
   正なブロック行列 $H = [H_{ij}]_{i,j=1}^3 \in M_3(R)_+$ に対して、行列 $[\omega(|H_{ij}|^p)]_{i,j=1}^3$ は $1 \le p \le 2$ において正定値である。

   • これは $H = X^*X$ と因数分解し、各成分を $r = p/2$ におけるカーネル $K_r$ と同一視することによって証明される。
   • この結果は、3ブロックの場合の予想を解決するものである。なお、非整数 $p$ の場合は高次のブロック制限が成立しないことに注意が必要である。

3. シャープな計量分類 (定理 1.3):
   半有限な有跡フォン・ノイマン環 $(M, \tau)$ に対して、
   $$d_t(A, B)^2 = \frac{\tau(A) + \tau(B)}{2} - \left\| B^{t/4} A^{t/4} \right\|_{2/t}^{2/t}$$
   で定義される関数 $d_t$ は、以下を満たす：

   • 計量性: $d_t$ が $L^1(M, \tau)_+$ 上の計量であるための必要十分条件は、$t \in [1, 2]$ であるか、または $M$ が可換であることである。
   • 完備性と位相: $1 \le t \le 2$ に対して、$d_t$ は完備な計量である。$d_t$ が誘導する位相は標準的な $L^1$ 位相と一致し、ある列は $d_t$-コーシーであることと $L^1$-コーシーであることが同値である。
   • シャープネス: 非可換代数において $t \notin [1, 2]$ の場合、三角不等式は有界な有限トレース支持を持つ正の要素においてさえ成立しない。

4. C-代数的および対数的拡張:*

   • この分類は、単位元を持つ有跡C*-代数にも拡張される（定理 1.3(iii)）。
   • 本論文は、$d_t$ が行列代数および一般のC*-代数上で $1 < t < 2$ について計量であることを確認しつつ、$0 < t < 1$ および対数的端点 $t=0$（ログ・ユークリッド距離に対応）において成立しないことを示し、KomálovicsとMolnárの問題2を解決した。

意義と主張
本論文は、シャットテンノル圧縮予想と補間距離の計量性という、一見すると全く異なる2つの問題を解決する「単一のメカニズム」を提供することを主張している。著者らは、3点の正値性の証明が、既知の端点間の単純な補間ではなく、新しい「1対多」のトレース不等式に依存していることを強調している。

その意義は以下の通りである：

• 計量の全体像の完成: 補間家族 $d_t$ が非可換 $L^1$ コーン上で計量を形成する正確なパラメータ範囲 $[1, 2]$ を確立した（これは以前は未解決であった）。
• 幾何学的実現: 有限な有跡代数の正のコーンの任意の3点集合は、距離を $\sqrt{2}$ 倍した実ヒルベルト空間に等長埋め込み可能であることを示している。
• データ処理: $1 \le t \le 2$ に対して、$d_t$ が正規な正の単位保存写像の下でデータ処理不等式を満たすことを証明し、計量構造を量子情報理論的なダイバージェンス（具体的には $\alpha=1/2$ の $\alpha$-$z$ レニー・ダイバージェンス）と結びつけた。
• 計量完備化: 有限支持コーンおよびC*-部分代数の計量完備化を特徴付け、特定の密度条件の下でそれらが完全な非可換 $L^1$ コーンと一致することを示した。

著者らは、結果が $\sigma$-有限性やトレースの有限性を仮定しない、一般的な半有限フォン・ノイマン環に対して成り立つことを明言しており、可換および非可換構造を区別する分類を提供している。