Simultaneous diagonalization via congruence: Nondegenerate families of symmetric matrices

技術要約：非退化な対称行列族における合同による同時対角化

問題提起
本論文は、一般的な実対称行列の族（または同等に、対称双線型形式）に対する、合同による同時対角化の問題を扱う。$n$次元の実ベクトル空間 $E$ と、対称双線型形式の族 $\mathcal{F} = \{\gamma_t \mid t \in I\}$ が与えられたとき、すべての形式を同時に対角化する単一の基底 $B$ が存在するための必要十分条件を決定することが目的である。行列の観点からは、対称行列の族 $\{A_1, \dots, A_m\}$ が与えられたとき、すべての $i$ に対して $Q^T A_i Q$ が対角行列となるような可逆行列 $Q$ を見つけることが目標となる。2つの対称形式に関するケースはよく研究されているが、一般の数の形式に関する結果は乏しく、ここ10年間にようやく重要な貢献が現れ始めたと本論文は指摘している。

手法
著者は、対称行列を対称双線型形式の表現として扱う、座標不変なアプローチを採用している。その手法は、以下の構造的仮定と構成に基づいている：

1. 非退化性： 族 $\mathcal{F}$ は非退化であると仮定される。すなわち、少なくとも一つの非退仮な要素 $\gamma_{t_0}$ を含む。これにより、同型写像 $\gamma_{t_0}^\flat: E \to E^*$ およびその逆写像 $\gamma_{t_0}^\#$ の定義が可能となる。
2. 線形作用素： 任意の $\gamma_t \in \mathcal{F}$ に対し、組成 $\gamma_{t_0}^\# \circ \gamma_t^\flat$ を通じて、$E$ 上の線形作用素 $G_{t_0}(t)$ が定義される。基底に関する行列表示では、これは $G_{t_0}(t) = [\gamma_{t_0}]^{-1} [\gamma_t]$ に対応する。
3. 補助双線型形式： 新しい双線型形式 $b_{t_0}(s, t)$ が、関係式 $b_{t_0}(s, t)(u, v) := \gamma_s(u, G_{t_0}(t) \cdot v)$ によって導入される。この形式の対称性が分析の中心となる。

証明戦略は、作用素 $G_{t_0}(t)$ の固有空間へとベクトル空間 $E$ を分解することを含む。著者は、特定の代数的条件が満たされる場合、これらの固有空間がすべての形式に関して互いに直交することを証明し、それによって同時直交基底の帰納的な構成を可能にする。

主要な貢献と結果
本論文は、主要定理（定理2）およびその行列論的対応物（定理1）を確立している：

定理1（行列形式）： $A_1, \dots, A_m$ を実 $n \times n$ 対称行列とし、$A_0$ をそれらの線形結合として形成される可逆行列とする。このとき、族 $\{A_1, \dots, A_m\}$ が合同により同時対角化可能であるための必要十分条件は以下の通りである：

• (SD1) 各行列 $G_i := A_0^{-1} A_i$ は対角化可能である（すなわち、そのジョルダン標準形が対角行列である）。
• (SD2) すべてのペア $i, j$ について、行列積 $b_{ij} := A_i A_0^{-1} A_j$ は対称である（すなわち、$b_{ij} = b_{ji}$）。

定理2（座標不変形式）： 非退仮な要素 $\gamma_{t_0}$ を持つ対称双線型形式の族 $\mathcal{F}$ について、当該の族が同時対角化可能であるための必要十分条件は以下の通りである：

• (SD1) 各 $t \in I$ に対して、作用素 $G_{t_0}(t)$ は対角化可能である。
• (SD2) 各ペア $s, t \in I$ に対して、双線型形式 $b_{t_0}(s, t)$ は対称である。

系および特殊なケース：

• 正定値／負定値の場合（系1および2）： 参照形式 $\gamma_{t_0}$（または行列 $A_0$）が正定値または負定値である場合、条件(SD1)は自動的に満たされる。なぜなら、G_{t__0}(t) は $\gamma_{t_0}$ によって定義される内積に関して自己随伴となるからである。この特定のケースでは、同時対角化可能性は条件(SD2)（積 $A_i A_0^{-1} A_j$ の対称性）のみに依存する。この結果は、先行研究 [12] における定理 3.3 の座標不変な等価物として提示されている。

意義と主張
本論文は、一般の数の対称形式の同時対角化に関する、過去10年間の既存の結果を一般化することを主張している。非退仮な族（正定値ペンシルに限定されない）に適用可能な必要十分条件を提供することで、本研究は、この問題に対するより広い代数的枠組みを提示している。

著者は、本研究の意義を宇宙論への応用可能性を通じて位置づけており、具体的には、ビアンキ・モデルの同時対角化を調査したことが研究の動機であると述べている。本論文は、歴史的に限定されていた2形式のシステムを超えて、同時対角化を保証するために必要な代数的関係を明確化する理論的進展として、自身を位置づけている。その結果は、任意のサイズの族に対する統一的な条件を提供し、既知の定理の厳密な拡張として提示されている。