紹介した論文

1. 0:24 1. Smith Form Equivalence for Several Classes of Multivariate Polynomial Matrices 2604.20929v1
   スクリプトを表示

   1本目は、ズオ・チェンさん、ジアンチェン・グアンさん、ドングメイ・リさんによる「Smith Form Equivalence for Several Classes of Multivariate Polynomial Matrices」です。 この論文では、多変数多項式行列をスミス標準形に変換できるかどうかという、かなり手ごわい問題に挑んでいます。信号処理や動的制御といった工学分野では、こうした行列が多次元システムを表現するのに使われます。実は、変数が一つの場合は必ずスミス標準形にできますが、変数が複数になると話は別です。多変数多項式環は主イデアル整域ではないため、一般には標準形にできないという厄介な性質があるからです。 そこで著者たちは、代数的な同型写像という強力なツールを使い、複雑な行列を扱いやすい形に変換して、同値性を証明しました。特に、行列式の構造に着目して、行列式が単一変数の累乗である場合や、いくつかの一次因子の積である場合など、三つの具体的なケースについて、スミス標準形に変換するための必要十分条件を導き出しています。