[論文レビュー] Algebraic matrix equations in two unknowns

Gérald Bourgeois|arXiv (Cornell University)|Mar 22, 2011

Matrix Theory and Algorithms参考文献 1被引用数 2

ひとこと要約

この論文は、複素可逆行列 A および B に対する2つの未知数の代数的行列方程式を調査し、特に BAB = A に注目する。解が存在するためには BAB と A が可換でなければならないことを証明し、A が相異なる固有値をもつ場合、または特定の構造的条件を満たす場合に明示的に解を求める。これにより、互いに素なパrameter制約の下でのこのような行列対の分類に寄与する。

ABSTRACT

Let p, q be coprime integers such that |p| + |q| > 2. We characterize the n × n complex matrices A such that A and A are similar, that is we study the matrix equation BAB = A where the n × n complex invertible matrices A,B are to be determined. We show that for such matrices BAB and A commute. We explicitly solve this problem in the unknowns A,B when A has n distinct eigenvalues and in other particular cases. The more general matrix equation ABA ′ B ′ = ±I2 is considered, where the 2 × 2 complex matrices A,B are to be determined and r, r, s, s are integers such that gcd(r, r) = 1 and gcd(s, s) = 1.

研究の動機と目的

• BAB = A を満たす n × n 複素行列 A および B を特徴づけること。ただし A および B は可逆であるものとする。
• 方程式 BAB = A が成り立つための構造的およびスペクトル的条件を分析すること。
• 2×2 複素行列に対して、より一般化された方程式 ABA′B′ = ±I₂ を、互いに素な整数の指数を用いて拡張すること。
• 固有値および互いに素性の制約の下で、解が存在し、かつ一意となる条件を特定すること。
• A が n 個の相異なる固有値をもつ場合、または特定の代数的条件を満たす場合の明示的解を提供すること。

提案手法

• A および B が可逆な n × n 複素行列であり、BAB = A を満たすものと仮定して分析を開始する。
• 解のクラスを制限するために、互いに素な整数 p, q に対して |p| + |q| > 2 である条件を用いる。
• BAB と A が可換でなければならないことを証明し、これは解の存在に向けた重要な構造的制約である。
• スペクトル論を適用し、A が n 個の相異なる固有値をもつものと仮定することで、解空間を単純化する。
• 一般化された方程式 ABA′B′ = ±I₂ に対しては、指数の互いに素性条件 gcd(r,r) = 1 および gcd(s,s) = 1 を用いて解空間を制約する。
• 行列方程式の代数的変形および固有値解析に依拠して、A および B の明示的形を導出する解法を採用する。

実験結果

リサーチクエスチョン

• RQ1 可逆な複素行列 A および B に対して、行列方程式 BAB = A が成り立つための A および B に関する条件は何か？
• RQ2 方程式 BAB = A において、BAB と A が可換であることを保証する代数的またはスペクトル的制約は何か？
• RQ3 A が n 個の相異なる固有値をもつ場合、方程式 BAB = A をどのように明示的に解けるか？
• RQ4 2×2 複素行列に対して、互いに素な指数をもつ ABA′B′ = ±I₂ の解は何か？
• RQ5 指数の互いに素性および大きさの制約が、解の可解性および構造にどのように影響するか？

主な発見

• 方程式 BAB = A は、解が存在するための必要条件として、BAB と A が可換でなければならないことを示している。
• A が n 個の相異なる固有値をもつ場合、論文は BAB = A を満たす A および B の明示的構成を提供している。
• 整数 p および q が互いに素であり、|p| + |q| > 2 である条件を満たす場合に解が存在する。
• 一般化された方程式 ABA′B′ = ±I₂ に対しては、指数 r, r および s, s の互いに素性によって解が制約される。
• 解空間は非常に構造的であることが示され、特に A が相異なる固有値をもつ対角化可能行列である場合には顕著である。
• 分析により、方程式 BAB = A から導かれる特定の代数的関係を満たすことが、行列 B が満たすべき条件であることが明らかになった。