[论文解读] An informal introduction to perturbations of matrices determined up to similarity or congruence

Lena Klimenko, Vladimir V. Sergeichuk|arXiv (Cornell University)|Nov 4, 2013

Matrix Theory and Algorithms参考文献 10被引用 5

一句话总结

本文对复矩阵在相似、合同及*合同变换下的摄动理论提供了非形式化但严谨的综述。文中引入了极小普遍形变——一种依赖于摄动连续且能捕捉所有邻近矩阵的规范形，作为不连续的典范形（如若尔当代数）的稳定替代方案。

ABSTRACT

The reductions of a square complex matrix A to its canonical forms under transformations of similarity, congruence, or *congruence are unstable operations: these canonical forms and reduction transformations depend discontinuously on the entries of A. We survey results about their behavior under perturbations of A and about normal forms of all matrices A+E in a neighborhood of A with respect to similarity, congruence, or *congruence. These normal forms are called miniversal deformations of A; they are not uniquely determined by A+E, but they are simple and depend continuously on the entries of E.

研究动机与目标

• 为解决典范形（如若尔当代数）在小矩阵摄动下不稳定的缺陷，因其对矩阵元素的依赖具有不连续性。
• 引入极小普遍形变作为相似、合同及*合同下典范形的连续、稳定替代方案。
• 通过哈斯图（闭包图）刻画矩阵相似、合同及*合同类之间的闭包关系。
• 提供构造极小普遍形变的方法，并通过含独立参数的分块矩阵分析其结构。
• 将阿诺德的极小普遍形变理论从相似推广至合同与*合同，包括典范形的显式分类及闭包关系。

提出的方法

• 通过在分块对角结构的若尔当代数的非对角块中添加最少数量的独立参数（星号），构造相似变换下的极小普遍形变。
• 使用依赖摄动 $X$ 光滑的解析变换 $\mathcal{S}(X)$，将 $J+X$ 化为极小普遍形变 $J+\mathcal{D}$，确保对 $X$ 的连续依赖性。
• 利用余维数概念确定极小普遍形变中独立参数的最小数量。
• 通过分类形如 $\begin{bmatrix} \lambda & 0 \\ 0 & 0 \end{bmatrix}$ 和 $\begin{bmatrix} 0 & \tau \\ \tau & i\tau \end{bmatrix}$ 的块，将框架扩展至合同与*合同，其中参数为实非负数。
• 构建闭包图（哈斯图），显示相似与*合同类之间的包含关系，其中有向路径表示闭包关系。
• 使用几何与代数准则（如内积虚部非负）确定闭包图中典范形之间箭头的存在性。

实验结果

研究问题

• RQ1 如何为接近给定矩阵的矩阵构造一种依赖摄动连续的规范形，以避免若尔当代数的不连续性？
• RQ2 在相似、合同或*合同下，表示接近给定矩阵的所有矩阵所需的最少独立参数数量是多少？
• RQ3 在相似、合同或*合同下，哪些矩阵类可通过给定矩阵的摄动任意接近？
• RQ4 如何系统化地表示与刻画矩阵等价类之间的闭包关系？
• RQ5 在*合同下，何种结构与参数条件使得一个典范矩阵位于另一个的闭包中？

主要发现

• 相似下的极小普遍形变为 $J+\mathcal{D}$，其中非对角块中的星号被独立复参数取代，此类参数的数量等于相似类的余维数。
• 对于若尔当代数 $J$，所有足够小的摄动 $J+X$ 均可通过解析相似变换化为极小普遍形变 $J+\mathcal{D}$，从而保证对 $X$ 的连续依赖性。
• $n\times n$ 矩阵相似类的闭包图是哈斯图，其中 $J' \preccurlyeq J$ 当且仅当 $J'$ 属于 $J$ 的相似类的闭包，示例显示在小摄动下可能发生如 $J_2(\lambda)\oplus J_2(\lambda) \to J_3(\lambda)\oplus J_1(\lambda)$ 或 $J_4(\lambda)$ 的转变。
• 在*合同下，典范形为块 $\begin{bmatrix} \lambda & 0 \\ 0 & 0 \end{bmatrix}$ 和 $\begin{bmatrix} 0 & \tau \\ \tau & i\tau \end{bmatrix}$ 的直和，闭包关系由实非负组合与虚部条件决定。
• *合同类中典范矩阵 $M$ 的闭包是所有满足从 $N$ 到 $M$ 在闭包图中存在有向路径的*合同类 $N$ 的并集。
• $2\times 2$ *合同类的闭包图为无限图，每个顶点（零矩阵除外）代表一个由复数或实数参数化的不可数矩阵族，箭头的存在取决于参数的代数条件（如 $\operatorname{Im}(\lambda \bar{\tau}) \geq 0$）。