On the principal minors of the powers of a matrix

技術的要約：行列式のべき乗の主小行列式について

問題提起
本論文は、すべての $n \times n$ 行列 $A$（整数環 $\mathbb{Z}$ 上）の主小行列式が奇数であれば、$A^m$ のすべての主小行列式も奇数になることを示した、2021年数学オリンピック（Putnam）問題B5から派生した問いに取り組んでいる。元の問題は解決されているが、その背後にある代数的メカニズムは依然として不透明である。具体的には、行列 $A^m$ の主小行列式が、基となる行列 $A$ の主小行列式によって一意に決定されるかどうかが不明である。著者は、これが一般には成立しないことを指摘している。例1.2は、二つの行列 $C$ と $D$ が同一の主小行列式を共有しながらも、特定の非対角成分の相互作用に依存して、その二乗（$C^2$ および $D^2$）においては異なる主小行列式を持つことを示している。

一般的な主小行列式におけるこの非一意性にもかかわらず、本論文は、$A^m$ の対角成分（それ自体が $1 \times 1$ の主小行列式である）が $A$ の主小行列式によって一意に決定されるかどうかを調査している。

手法
著者は、普遍代数的アプローチと形式的冪級数の手法を併用している。

1. 普遍多項式の構成： $A^m$ の対角成分が $A$ の主小行列式によって決定されることを証明するために、多項式環 $R = \mathbb{Z}[x_{i,j}]$ 上の「一般的な」$n \times n$ 行列 $A$ を構成する。この一般的な行列の主小行列式によって生成される部分環の中に、対角成分が属することを証明することで、結果を代数準同型を通じて任意の可換環へと拡張する。
2. 形式的冪級数と余因子行列： 証明の核となるのは、形式的冪級数の環 $R[[t]]$ における行列 $B = I_n - tA$ である。この行列の逆行列は、幾何級数 $B^{-1} = I_n + tA + t^2A^2 + \dots$ によって与えられる。$B^{-1}$ の $(i,i)$ 成分における $t^m$ の係数は、正確に $A^m$ の $(i,i)$ 成分に対応する。
3. 行列式の恒等式： 証明では、恒等式 $B^{-1} = (\det B)^{-1} \cdot \text{adj}(B)$ を利用する。著者は、$\det B$ と余因子行列 $\text{adj}(B)$ の対角成分を、スカラー倍された単位行列を含む和の行列式に関する公式（特性多項式と主小行列式を関連付ける既知の伝承的な結果）を用いて展開する。
   • $\det B$ は $A$ の主小行列式を係数とする冪級数であり、その定数項は1であるため、$P[[t]]$ において可逆であることが示される。
   • 同様に、$\text{adj}(B)$ の対角成分も $P$ を係数とする冪級数であることが示される。
   • したがって、積 $(\det B)^{-1} \cdot (\text{adj}(B))_{i,i}$、すなわち $(B^{-1})_{i,i}$ の係数は $P$ に属することになる。

主要な貢献と結果

• 定理 2.1 (普遍多項式)： 任意の非負整数 $n, m$ およびインデックス $i$ に対して、$i$ 番目の $A^m$ の対角成分は、この $2^n$ 変数の整数多項式によって $A$ の主小行列式を代入することで得られる。これは、べき乗の対角成分が基となる行列の主小行列式によって一意に決定されることを裏付けている。
• 定理 2.2 (部分環への所属)： $A$ のすべての主小行列式によって生成される可換環 $R$ の部分環を $P$ とする。このとき、すべての対角成分 $A^m$ は $P$ に属する。これは定理 2.1 の背後にある代数的エンジンである。
• 定理 5.1 (非対角成分の変種)： 本論文は、非対角成分 $(A^m)_{i,j}$ の分析を拡張している。著者は「$(i,j)$-準主小行列式」（行集合と列集合が $i$ と $j$ の入れ替えによってのみ異なる部分行列の行列式）という概念を導入する。そして、$(A^m)_{i,j}$ が、主小行列式とその準主小行列式の積によって生成される加群に属することを証明している。
• 定理 5.2 (単位行列の小行列式)： すべての主小行列式が 1 である場合、すべての $A^m$ の対角成分は 1 となる。証明によれば、この仮定の下で $\det(I_n - tA) = (1-t)^n$ および $(\text{adj}(I_n - tA))_{i,i} = (1-t)^{n-1}$ となり、$(B^{-1})_{i,i} = (1-t)^{-1} = \sum t^k$ となるため、$t^m$ の係数は 1 となる。

意義と範囲
本論文は、行列のべき乗における主小行列式の挙動に関する代数的構造を明らかにしている。著者は、一般的なケース（$A^m$ の主小行列式は $A$ のそれによって決定されない。例1.2を参照）と、特定のケース（対角成分は決定される）を区別している。

著者は、これらの結果が「行列の積における小行列式の挙動に新たな光を当てる」ものであり、Putnam 2021 の結果に対する多項式的な枠組みを提供するものであると明言している。しかし、本論文はより広範な一般化については控えめな姿勢をとっている。

• すべての主小行列式が $A^m$ の主小行列式を決定するわけではないことを明言している（例1.2を引用）。
• 「主小行列式が 1 である」という条件が、任意の環において「すべての $A^m$ の主小行列式が 1 である」ことを意味するかどうかという問い（質問 6.1）を未解決のまま残している。著者は、整域においては答えが肯定的であるが、多項式環の特定の剰余環においては反例が存在することに触れている。また、$R = \mathbb{Z}/4$ のケースは未解決のままである（ただし、更新情報によれば、LLMによって $\mathbb{Z}/d$ に関する証明が見つかったとのことである）。

本研究は、Putnam 問題の特定の代数的メカニズムに対する技術的な解決策として提示されており、実験的な応用や未検証の将来的な含意へと拡張することなく、普遍多項式と部分環への所属の証明を提供している。