[论文解读] On the diameter of the commuting graph of the full matrix ring over the real numbers

J. M. Grau, Antonio M. Oller‐Marcén+1 more|arXiv (Cornell University)|Dec 1, 2014

Rings, Modules, and Algebras参考文献 11被引用 9

一句话总结

本文解决了实数域上全矩阵环的交换图直径这一开放问题，证明对于所有 n ≥ 3，包括 n = 4，其直径恰好为 4。作者利用幂等矩阵与幂零矩阵的性质，结合关于交换非数量矩阵的关键引理，构造了 M₄(ℝ) 中任意两个非中心矩阵之间的四步路径，从而填补了先前研究在 n=4 情况下介于 4 和 5 之间的空白。

ABSTRACT

In a recent paper C. Miguel proved that the diameter of the commuting graph of the matrix ring $\mathrm{M}_n(\mathbb{R})$ is equal to $4$ either if $n=3$ or $n>4$. But the case $n=4$ remained open, since the diameter could be $4$ or $5$. In this work we close the problem showing that also in this case the diameter is equal to $4$.

研究动机与目标

• 解决此前研究未能确定直径为 4 还是 5 的 M₄(ℝ) 交换图 Γ(M₄(ℝ)) 的开放情况。
• 将已知结果 diam(Γ(Mₙ(ℝ))) = 4（n ≥ 3，n ≠ 4）扩展至包含 n = 4 的情况。
• 证明即使在最复杂的情形下——即一个矩阵在 ℂ 上可对角化但无实特征值，另一个为不可对角化的若尔当代数块——矩阵之间的距离仍不超过 4。
• 通过矩阵分解与交换性质的构造性证明，验证直径上界。

提出的方法

• 利用实数域上的若尔当代数标准型，将实 4×4 矩阵分类为典型类型，重点关注 A 无实特征值且为分块对角形式、B 为不可对角化的若尔当代数块的临界情形。
• 通过分块对角投影矩阵的相似变换，构造一个与 A 交换的非数量幂等矩阵 M。
• 通过严格上三角分块矩阵的相似变换，构造一个满足 N² = 0 且与 B 交换的非数量幂零矩阵 N。
• 应用关键引理（命题 1）：对于任意幂等矩阵 A（满足 A² = A）与幂零矩阵 B（满足 B² = 0），存在一个与 A 和 B 均交换的非数量矩阵 X。
• 建立长度为 4 的路径：A — M — X — N — B，其中每对相邻矩阵均交换，从而证明 d(A,B) ≤ 4。
• 结论：由于其他所有情形的直径已被证明为 4，因此 Γ(M₄(ℝ)) 的整体直径恰好为 4。

实验结果

研究问题

• RQ1 在实数域上全矩阵环 M₄(ℝ) 的交换图 Γ(M₄(ℝ)) 的直径是多少？此前研究未能确定其为 4 还是 5。
• RQ2 能否在 M₄(ℝ) 中任意两个非中心矩阵之间构造一条四步交换路径，特别是在涉及不可对角化若尔当代数块与复共轭特征值对的最复杂情形下？
• RQ3 在 M₄(ℝ) 中，若一个幂等矩阵与一个幂零矩阵存在一个共同的非数量交换矩阵，是否足以将直径限制在 4 以内？
• RQ4 Γ(Mₙ(ℝ)) 的直径是否对所有 n ≥ 3 均为 4，包括 n = 4，尽管文献中此前对此存在疑问？

主要发现

• M₄(ℝ) 的交换图 Γ(M₄(ℝ)) 的直径恰好为 4，解决了 Miguel（2014）遗留的开放问题。
• 对于所有 n ≥ 3，Γ(Mₙ(ℝ)) 的直径为 4，包括 n = 4，因此统一了所有维度 ≥ 3 的结果。
• 即使在最复杂的情形下（即一个分块对角矩阵具有复特征值，另一个为不可对角化的若尔当代数块），也成功建立了任意两个非中心矩阵之间的构造性四步路径（A — M — X — N — B）。
• 通过在除环上的一般引理，证明了存在一个与幂等矩阵 M 和幂零矩阵 N（满足 N² = 0）均交换的非数量矩阵 X，该引理对证明至关重要。
• 该证明依赖于矩阵相似变换与核空间交集的论证，以确保此类共同交换矩阵 X 的存在性。
• 结果证实，对于所有 n ≥ 3，Mₙ(ℝ) 的交换图直径恒为 4，强化了早期猜想，并扩展了已知结果。