How characterisations of traces and central elements fail: sharp violation constants via michelson contrast and noncentrality

技術要約：違反定数、コントラスト、およびトレースの特性化における非中心性

問題提起
本論文は、$C^*$環およびフォン・ノイマン環におけるトレースと中心要素を特徴付ける不等式の、定量的な失敗（破綻）について扱う。ガードナーの不等式 $|\phi(X)| \le \phi(|X|)$ のような定性的特性化定理は、正のリニア汎関数 $\phi$ がトレースであるための必要十分条件として特定の不等式が成立することを示しているが、$\phi$ がトレースでない場合にこれらの不等式がどの程度強く成立しないのか（どのように破綻するのか）を定量化してはいない。著者らは、$\phi$ がトレースではないとき、不等式が成立するための因子 $c(\phi) \ge 1$ となるような鋭い定数 $c(\phi)$ は何か、という問いを投げかけている。さらに、この違反定数が「$\phi$ がどれほどトレースから離れているか」という尺度のみに依存するのか、もしそうであれば、その尺度は何であるのかを調査している。

手法
著者らは、これらの鋭い定数を決定するために、作用素論、凸解析、および数値最適化を組み合わせた手法を用いている。

1. 偏差のパラメータ：

   • コントラスト ($\delta$)： 行列環 $M_n(\mathbb{C})$ において、密度 $\rho$ のスカラーからの偏差は、ミシュルソン・コントラスト $\delta = \text{OMC}(\rho) = \frac{\lambda_{\max} - \lambda_{\min}}{\lambda_{\max} + \lambda_{\min}}$ によって測定される。
   • 非中心性 ($\kappa_Z$)： 一般的な有限フォン・ノイマン環においては、コントラストだけでは不十分である。なぜなら、中心的な密度（高いコントラストを持っていても）はトレースを与えるからである。支配的なパラメータは、中心包絡 $\lceil \rho \rceil$ および $\lfloor \rho \rfloor$ （$\rho \ge \rho$ である最小の中心要素と $\rho \le \rho$ である最大の中央要素）を通じて定義される「非中心性」である。中心条件数は $\kappa_Z(\rho) = \|\lceil \rho \rceil \lfloor \rho \rfloor^{-1}\|$ であり、対数非中心性は $LNC(\rho) = \frac{1}{2} \ln \kappa_Z(\rho)$ である。
   • 作用素コントラスト： 著者らは、違反が汎関数と作用素の両方にどのように依存するかを研究するために、作用素変数（例：$|X|$）のコントラスト $\delta'$ も規定している。

2. 転送原理（Transfer Principle）：
   主要な手法の一つは「転送原理」（定理 4.15）である。これは、ある不等式が中心的なリスケーリングと両立可能であり、任意の有限フォン・ノイマン環における条件数を用いた上界が証明されており、かつ $M_2(\mathbb{C})$ において一致する例が存在する場合、すべての有限フォン・ノイマン環における鋭い違反定数は、$\kappa_Z(\rho)$ の同一の関数になる、というものである。これにより、著者らは $2 \times 2$ 行列の結果を一般の代数へと持ち上げることが可能となる。

3. 幾何学的およびスペクトル分析：
   証明には、作用素角（クレインおよびグスタフソン）、カントロヴィッチ定数 $G = \sec \psi$、およびスペヒト比が用いられる。著者らは、多くの問題を、作用素と密度が $1 + \delta S$ および $1 + \delta' S'$ として作用する2次元ブロックへと還元し、違反を、コントラストの積によって決定される角度の正割（セカント）を含む幾何学的な問題へと帰着させている。

4. 数値的検証：
   閉形式の解が得られにくいケースについては、著者らは $M_2, M_3, M_4$ 上での制約付き最適化を40桁の精度で行い、予想される値に対する厳密な下限を提供することで、上限を支持している。

主な貢献と結果

• 38の特性化に対する鋭い定数： 本論文は、トレースおよび中心要素の38種類の異なる特性化に対する正確な違反定数を決定している。

  • 厳密な結果： 18のケース（ガードナーの不等式、絶対値の劣加法性、および様々な射影の不等式を含む）において、定数はすべての有限フォン・ノイマン環で有効な $\kappa_Z(\rho)$ の明示的な関数である。例えば、ガードナーの不等式の場合、定数は $G_Z = \cosh(LNC(\rho)) = (1 - \delta_Z^2)^{-1/2}$ である。
  • 行列特有の結果： 5つのケースにおいて、行列環に対してのみ厳密な包絡が発見されている（例：特定の単調性不等式）。
  • 境界： 13のケースにおいて、上界および下界が提供されている。
  • 数値的／予想： 2つのケースでは、数値的な値のみが利用可能である。

• コントラスト積への依存性： ガードナーの不等式に関して、著者らは、密度コントラスト $\delta$ と作用素コントラスト $\delta'$ が、それらの積 $\delta \delta'$ を通じてのみ鋭い定数に依存することを証明している。その定数は $(1 - \delta^2 \delta'^2)^{-1/2}$ である。

• 違反の次数： 本論文は、汎関数がトレースに近づくにつれて（すなわち $\delta \to 0$ のとき）、異なる特性化が異なる速度で失敗することを明らかにしている。

  • 一部は線形に失敗する（$O(\delta)$）、例：射影の三角不等式。
  • 一部は二次的に失敗する（$O(\delta^2)$）、例：ガードナーの不等式。
  • 一部は四次的に失敗する（$O(\delta^4)$）、例：写像 $A \mapsto \phi(A^2)$ の単調性。
  • 一つのケース（重み付き単調性）は、$O(\delta^8)$ のオーダーの下限を持つことが示されている。

• 中心要素： 著者らは双対問題である「中心要素の特性化」を解決している。正の可逆要素 $a$ に対して、$p a p \le \lambda a$ （射影 $p$ に対して）における最良の定数は $\cosh^2(LNC(a))$ であり、$|\phi(a)| \le C |\phi|(a)$ における定数は $\cosh(LNC(a))$ である。

• 閾値： 著者らは、作用素コントラストが特定の条件を満たす場合、汎関数に関わらず特定の不等式が失敗し得ない鋭い閾値を確立している。例えば、平方根の劣加法性 $\phi((A+B)^{1/2}) \le \phi(A^{1/2}) + \phi(B^{1/2})$ は、作用素コントラストが $2\sqrt{2}/3$ に関連する特定の条件を満たす場合、失敗することはない。

意義と主張
本論文は、これらの定性的特性化定理の最初の定量的バージョンを提供することを主張している。著者らは、一般のフォン・ノイマン環における違反定数の正しい支配的パラメータとして、単純なミシュルソン・コントラスト（これは因子においてのみ有効である）に代わり、非中心性（具体的には中心条件数 $\kappa_Z$）を特定している。

著者らは、「違反エンベロープ」はコントラストの普遍的な関数ではないことを強調している。非因子環においては、定数は非中心性に依存し、直和においては、各ブロック内の最大コントラストに依存する。この研究は、バラバラであった不等式（ガードナー、ヤング、ペアンス–ボゴリューボフなど）を「違反定数」という共通の枠組みの下に統合しており、これらはトレースに対しては同等であるが、非トレース性に対する感度が大きく異なることを示している。本論文は、すべてのケースについて厳密な定数を解いたと主張しているわけではなく（一部は依然として数値的または予想であると注記している）、既知の特性化の大部分に対する厳密な結果と鋭い境界の厳密なカタログを提供している。