A Log-Log Saving for Matrix-Algebra Length and Terseness

技術要約：行列代数の長さと簡潔性における対数対数（Log-Log）の節約

問題提起
本論文は、体 $F$ 上の全行列代数 $Mat_n(F)$ に対する「長さの問題」を扱う。具体的には、集合 $S \subseteq Mat_n(F)$ がベクトル空間として全代数を生成するために必要な長さ $\ell(S)$ の一様な上界を求めるものである。長さ $\ell(S)$ は、$S$ に含まれる単語（word）の長さが最大 $k$ であるすべての単語の線形スパンが、$S$ によって生成される単位的代数に等しくなる最小の整数 $k$ として定義される。関心の対象は、$\ell(Mat_n(F))$、すなわち、すべての生成集合 $S$ に対する $\ell(S)$ の最大値である。

歴史的に、Pazは二次的な境界（$O(n^2)$）を確立し、その後Pappacenaによって劣二次的な推定値 $O(n^{3/2})$ へと改善された。Šitovはこれを $2n \log_2 n + 4n - 4$（本論文の解析では $2n \log_2 n + 2n - 4$ に改善）へと洗練させた。本論文の目的は、係数部分において $\log_2 \log_2 n$ の因子を用いて対数項の線形係数を減少させることにより、Šitovの境界を上回る「対数対数（log-log）の節約」を得ることである。

この結果の二次的な応用は、Spechtの定理における「簡潔性（terseness）」 $\tau(n)$ に関する。Spechtの定理は、2つの複素 $n \times n$ 行列が、それらの行列とその随伴行列（adjoint）のすべての単語におけるトレースが等しいとき、かつそのときに限り、ユニタリ相似であることを述べている。Pearcyは、長さが最大 $2n^2$ までの単語で十分であることを示した。本論文は、この条件を保証するために必要な最小の長さ $\tau(n)$ を求めることを目的としている。

手法
証明戦略は、Šitovによって導入された「平方零降下（square-zero descent）」の手法に基づいている。核心となる手法は、以下のステップを含む。

1. 既約ケースへの帰着： バーンサイドの定理とブロック減少（定理 2.2）を用いて、問題は生成集合 $S$ が既約である（すなわち、全行列代数を生成する）ケースへと帰着される。
2. 平方零降下： 著者らは、Šitovの降下メカニズムを利用し、単語のスパン内から、次数が減少していく平方零行列を反復的に見出す。ランク $\rho_0$ の平方零行列から出発して、プロセスはランク $\rho_{i+1} \leq \rho_i / 2$ を満たす平方零行列の列を生成する。
3. ランク・長さの解析： 著者らは、ランク $\rho_i$ の平方零行列を見つけるために必要な単語の長さを $\lambda_i$ としたとき、ランク・長さの積 $\mu_i = \lambda_i \rho_i$ を追跡する。Šitovの元のアプローチでは、この降下をランク 1 まで継続していた。
4. 戦略的な停止点： 本論文の主要な革新は、降下をより早期に停止するという決定にある。ランク $\rho$ が閾値 $\sqrt{2 \log_2 n}$ を下回った時点で、降下を停止する。
   • もしランクが $[2, \sqrt{2 \log_2 n}]$ の範囲に入った場合は、Pappacenaの終了補題（finishing lemma）を直接適用する。
   • もし降下が直接ランク 1 へと「オーバーシュート」した場合（つまり、直前のランクが $\sqrt{2 \log_2 n}$ より大きかった場合）、著者らは望遠鏡和（telescoping argument）を適用する。この議論は、$x \in (0, 1/2]$ における不等式 $1-x \leq -\frac{1}{2}\log_2 x$ に依拠しており、降下ステップの累積コストを束縛する。
5. 凸性に関する議論： 可約なケース（ブロック三角行列）について、提案された境界関数 $B(n) = 2n \log_2 n - 2n \log_2 \log_2 n + 5n$ が、 $p+q \geq 16$ において必要な劣加法性（$B(p) + B(q) + 1 \leq B(p+q)$）を満たすことを示す補助的な補題（補題 3.1）を証明する。

主な貢献と結果

• 定理 A（主要な結果）： すべての体 $F$ および整数 $n > 1$ に対して、全行列代数の長さは以下で抑えられる：
  $$\ell(Mat_n(F)) \leq 2n \log_2 n - 2n \log_2 \log_2 n + 5n$$
  これは、$- 2n \log_2 \log_2 n$ という負の項を導入することで、Šitovの境界 $2n \log_2 n + 2n - 4$ を改善している。

• 定理 B（簡潔性への応用）： Freedman–Gupta–Guralnickのトレース議論を適用することにより、本論文は $n > 1$ におけるSpechtの定理の簡潔性 $\tau(n)$ に関する対応する境界を導出する：
  $$\tau(n) \leq 4n \log_2 n - 4n \log_2 \log_2 n + 10n + 1$$
  これは、ユニタリ相似類を区別するために必要な単語の数が、おおよそ $(n / \log_2 n)^{4n} 2^{O(n)}$ で抑えられることを意味する。

• 数値比較： 本論文は、新しい境界 $B(n)$ を、Pappacenaの境界 ($BPap(n)$) およびŠitovの境界 ($BSh(n)$) と比較した表を提供している。新しい境界は、$n=64$ から厳密にŠitovの境界よりも小さくなり、$n=63$ からはPappacenaの境界よりも小さくなる。

意義と主張
本論文は、行列代数の長さの上界における「対数対数（log-log）の節約」を主張している。著者らは、この改善が、ランク降下プロセスにおけるより適切な停止点から得られるものであると述べている。ランクが $\sqrt{2 \log_2 n}$ 付近になるまで降下を止めることで、ランク 1 まで継続する場合よりも、大きな「直前のランク」を利用して最終的なコスト推定値を削減できる。

著者らは、線形項の定数項の最適性については控えめな姿勢をとっている。彼らは、停止閾値が $\log_2 n$ の定数倍であるならば、線形項における係数 $5n$ は最適であるように見えると指摘している。また、非定数倍の因子を許容すれば、線形項を $4n + o(n)$ まで改善できる可能性があることも示唆しているが、現在の研究ではその洗練化は追求していない。本論文は、Pazの予想（線形な境界 $2n-2$）を解決したと主張するものではなく、現在の最先端の状態を洗練させた、よりタイトな劣二次的な境界を提供するものである。