[论文解读] Algebraic matrix equations in two unknowns

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

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

一句话总结

本文研究了两个未知数的代数矩阵方程，重点分析了复可逆矩阵 A 和 B 满足 BAB = A 的情形。证明了解必须满足 BAB 与 A 可交换，且在 A 具有互异特征值或满足特定结构条件时显式求解了该系统，为在互质参数约束下对这类矩阵对进行分类做出了贡献。

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 成立。
• 将分析扩展至更一般的方程 ABA′B′ = ±I₂，适用于 2×2 复矩阵，且指数为互质整数的情形。
• 在特征值和互质性约束下，确定解的存在性与唯一性条件。
• 为 A 具有 n 个互异特征值或满足特定代数条件的情形提供显式解。

提出的方法

• 分析从假设 A 和 B 是满足 BAB = A 的 n × n 复可逆矩阵开始。
• 利用互质整数 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 的条件下，复可逆矩阵 A 和 B 满足矩阵方程 BAB = A？
• 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 可对角化且具有互异特征值时更为明显。
• 分析表明，矩阵 B 必须满足与 A 的特定代数关系，该关系由方程 BAB = A 导出。