A Counterexample to the Tang Zhang Schatten Norm Conjecture and Sharp Positive Results

技術要約：Tang–Zhangのシャテンノルム予想に対する反例と鋭い正の結果

問題提起
本論文は、行列の和のシャテン$p$ノルムと、その絶対値の和のシャテン$p$ノルムとの間の不等式における鋭い定数 $c_p(m)$ について調査している。具体的には、$m \ge 2$ および $1 \le p \le \infty$ に対し、以下の不等式を検討する：
$$\left\| \sum_{k=1}^m A_k \right\|_p \le c_p(m) \left\| \sum_{k=1}^m |A_k| \right\|_p$$
ここで、$A_k \in M_n(\mathbb{C})$ であり、$|A| = (A^*A)^{1/2}$、$\|A\|_p = (\text{Tr}|A|^p)^{1/p}$ である。定数 $c_p(m)$ は、すべての次元 $n$ および非ゼロの族 $(A_1, \dots, A_m)$ に対する上限として定義される。

TangとZhangは以前、$p=1, 2, \infty$ における正確な値を確立しており、すべての有限な $p > 1$ に対して明示的な公式が存在するという予想を立てた。彼らの予想は、方程式 $x^p - 2x - (m-1) = 0$ の一意な正の根 $x_{p,m} > 1$ から導かれる $C^{TZ}_{p,m}$ によって与えられるものである。この下界は、ランク1の等角な族によって達成されることが知られている。中心となる問いは、この予想された公式が、一般的な行列および一般的な $p$ に対して真の鋭い定数であるかどうかである。

手法
著者らは、明示的な代数的構成、有理数演算による検証、および変分解析の組み合わせを用いている：

1. 明示的な反例の構成： 予想を論破するために、著者らは $p=3/2$ における特定の、実数 $2 \times 2$ ランク1行列（$m=2, n=2$）の族を構成する。著者らはベクトル $e, u, v$ と行列 $A_1 = ee^T, A_2 = uv^T$ を定義する。
2. 有理数による証明： 浮動小数点近似に頼る代わりに、著者らは反例におけるノルムの比と予想された定数との比を、厳密な有理数演算を用いて計算する。彼らは、得られた比が予想された定数を厳密に上回ることを証明するために、7つの厳密な有理不等式を確立する。
3. スカラー最適化への還元： 正の結果については、行列の不等式問題をスカラー最適化問題に還元する。ランク1の行列を $A_k = r_k u_k v_k^*$ と表すことで、シャテンノルムをグラム行列 $L = U^*U$ および $G = V^*V$ の固有値に関連付ける。これにより、凸性議論および固有値の主要化（majorization）の適用が可能になる。
4. $p=4$ に対する変分解析： 任意の行列（$m=2$）の $p=4$ の場合について、著者らは極分解とユニタリ不変性を利用する。彼らは $\text{Tr}(H+K)^4$（ここで $H=|A|, K=|B|$）のトレースを展開し、HölderおよびCauchy–Schwarzの不等式を適用して分子と分母を抑え、問題を2変数関数の最大化問題へと還元する。

主要な貢献および結果

1. Tang–Zhang予想の論破：
   本論文は、Tang–Zhang予想が一般的な行列に対しては偽であることを示す決定的な反例を提供する。

   • 定理 1.1： $m=n=2$ かつ $p=3/2$ のとき、比 $\frac{\|A_1+A_2\|_{3/2}}{\||A_1|+|A_2|\|_{3/2}}$ が $207/200$ を厳密に上回るような実ランク1行列 $A_1, A_2$ が存在する。
   • 著者らは、予想された定数 $C^{TZ}_{3/2, 2}$ が $207/200$ よりも厳密に小さいことを厳密に証明している。したがって、予想された公式は、ランク1の行列という制限されたクラス内においてさえ、鋭い定数を与えない。

2. ランク1の和に関する鋭い境界 ($p \ge 2$)：
   予想は一般的ではないものの、ランクが最大1の行列の族に限定すれば、$p \ge 2$ の場合にTang–Zhangの公式が依然として鋭いことを著者らは証明する。

   • 定理 1.2： $m \ge 2$ および $2 \le p < \infty$ に対し、$A_1, \dots, A_m$ がランク1以下であれば、$\|\sum A_k\|_p \le C^{TZ}_{p,m} \|\sum |A_k|\|_p$ が成り立つ。
   • この定数は次元に依存しない設定において鋭く、 $n \ge m$ のときに達成される。著者らは、等号成立条件として、右特異ベクトル（$v_k$）間の特定の内積構造と、左特異ベクトルの共通の範囲を挙げて完全な分類を提供している。
   • 系 3.1： 端点となる $p=\infty$ のケースもランク1の行列に対して解決されており、鋭い定数 $\sqrt{m}$ を与える。

3. 任意の行列に対する鋭い定数 ($m=2, p=4$)：
   著者らは、ランク1の制限を取り除いた、2つの任意の複素行列に対する $p=4$ の場合の鋭い定数を確立する。

   • 定理 1.3： $A, B \in M_n(\mathbb{C})$ に対し、$\|A+B\|_4^4 \le x^2(x+1)^2 \||A|+|B|\|_4^4$ が成り立つ。ここで $x > 1$ は $x^4 - 2x - 1 = 0$ の解である。
   • この定数は $(C^{TZ}_{4,2})^4$ に等しく、これはこの特定のケース（$m=2, p=4$）において、Tang–Zhangの公式が正しい鋭い境界を提供していることを示している。この境界は $n \ge 2$ で達成される。

意義および主張
本論文は、Tang–Zhang予想のステータスを解決したと主張している。すなわち、予想された公式は普遍的に有効ではない（$p=3/2$ で失敗する）一方で、以下の重要な特定の領域においては正しい鋭い境界として残っていることを示している：

• すべてのランク1の族に対し、$p \ge 2$ の場合に鋭い。
• $m=2, p=4$ の場合のフル行列のケースにおいて鋭い。

本研究は、シャテンノルムの不等式の複雑さを浮き彫りにしている。すなわち、鋭い定数の振る舞いは、加算項のランク制約と指数 $p$ の両方に決定的に依存する。著者らは、自身の反例が、数値的な不確実性を避けるために厳密な有理数演算によって証明されていることを強調している。本論文は、Tang–Zhangの公式が、特定のランク1の構成によって達成される有効な下界ではあるものの、すべての $p > 1$ に対する一般的な解ではないことを結論づけている。