[論文レビュー] Extension of the Fundamental Theorem of Algebra to Polynomial Matrix Equations over $Q$-Circulant Matrices

Hongjian Li|arXiv (Cornell University)|Jan 20, 2026

Matrix Theory and Algorithms被引用数 0

ひとこと要約

この論文は、未知数と係数の両方が Q-循環行列である多項式行列方程式に対する基本代数定理（FTA）の類似を証明し、すべての解を特徴づける。

ABSTRACT

In this paper, we establish an analogue of the Fundamental Theorem of Algebra for polynomial matrix equations, where both the coefficient matrices and the unknown matrix are $Q$-circulant matrices. This result generalizes Abramov's result for circulant matrices.

研究の動機と目的

• Q-循環係数と未知数を持つ多項式行列方程式の設定へFTAを動機付け、拡張する。
• 非退化ではない Q と可換な代数 C(Q) 内で、すべての解を特徴づける（AとXが同時に）.
• 表現多項式と対角化技術を用いて circulant 行列から Q-循環行列への Abramov の結果を Generalize する。

提案手法

• {I, Q, Q^2, ..., Q^{d-1}} の基底を用いて Q-循環行列を表現し、表現多項式 P_A(x) を得る。
• Q が d 個の固有値を持つ場合、対角化形 T^{-1} Q T = diag(λ_1, ..., λ_d) を利用する。
• C(Q) = {T diag(u_1, ..., u_d) T^{-1}} を導出し、各 i について g_i(u_i)=0 であるとき X が解となることを示す。ここで g_i(x) = x^n + f_1(λ_i) x^{n-1} + ... + f_n(λ_i) である。
• A_k の表現多項式を f_k(x) と定義し、行列方程式をブロック対角のスカラー多項式方程式の集合に還元する。
• 特別な Q（例: Q(k_1,...,k_d)）および循環的ケースに対する系を提供し、 Abramov の結果と結びつける。

実験結果

リサーチクエスチョン

• RQ1 A_k と X が非退化な Q で固有値が d 個異なる場合の C(Q) における多項式行列方程式 X^n + A_1 X^{n-1} + ... + A_n = 0 の解集合の構造はどうなるか。
• RQ2 A_k の表現多項式と Q の固有値を用いて、行列方程式を独立なスカラー多項式方程式へ還元する方法はどうなるか。
• RQ3 Q-循環行列が循環行列に一致する場合や他の明示的な Q-循環族（例: Q(k_1,...,k_d)）へ特化する場合の結果はどうなるか。
• RQ4 スカラー多項式 g_i(x) の根の個数に関して、解の総数はいくらになるか。

主な発見

• C(Q) のすべての解は { T diag(u_1, ..., u_d) T^{-1} : g_i(u_i)=0 for i=1,...,d } によって与えられる。
• 各 g_i(x) はモノミック多項式 x^n + f_1(λ_i) x^{n-1} + ... + f_n(λ_i) であり、f_k(x) は A_k の表現多項式である。
• 系: 解の総数は ∏_{i=1}^d n_i であり、ここで n_i は g_i の異なる根の数である。
• 特別な場合は循環行列に対する Abramov の結果を回復する（Q が標準的な循環ケースに対応する場合）。
• 本論は Q(k_1,...,k_d) および随伴型 Q（コンパニオン型）および π（コンパニオン）行列の場合の具体的系と例を提供し、対角化アプローチと解のカウントを示す。