[論文レビュー] 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₄(ℝ) 内の任意の二つの中心でない行列の間に 4 ステップの経路を構成し、先行研究が 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₄(ℝ)) の可換グラフの直径の未解決ケースを解消すること。
• n ≥ 3 かつ n ≠ 4 の場合に既知の diam(Γ(Mₙ(ℝ))) = 4 を n = 4 の場合にまで拡張すること。
• 特に、一つの行列が複素数上で対角化可能で実固有値を持たず、もう一方が非対角化可能なジョルダンブロックであるという最も複雑な設定において、行列間の距離が 4 以下であることを示すこと。
• 行列の分解と可換性の性質を用いた構成的証明により、直径の上限を検証すること。

提案手法

• 実数上でのジョルダン標準形を用いて、実 4×4 行列を標準的タイプに分類し、A が実固有値を持たずブロック対角型である場合、B が非対角化可能なジョルダンブロックであるという重要なケースに注目する。
• 相似変換を用いて、ブロック対角型の射影行列の変形から、A と可換する非スカラーのべき等行列 M を構成する。
• 相似変換を用いて、厳密に上三角行列のブロック行列の変形から、B と可換する N² = 0 を満たす非スカラーの冪零行列 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 先行研究が 4 か 5 か不明であった、実数上の全行列環 M₄(ℝ) の可換グラフ Γ(M₄(ℝ)) の直径は何か？
• RQ2 特に、非対角化可能なジョルダンブロックと複素共役固有値ペアを持つ行列を含む最も複雑な場合において、M₄(ℝ) 内の任意の二つの中心でない行列の間に 4 ステップの可換経路を構成できるか？
• RQ3 M₄(ℝ) 内のべき等行列と冪零行列に対して、共通の非スカラー可換行列が存在するならば、直径が 4 で抑えられるのだろうか？
• RQ4 n ≥ 3 に対して、Γ(Mₙ(ℝ)) の直径は常に 4 であると見なせるのか、それとも、文献に一時的に不確実性が残っていたにもかかわらず、n = 4 を含めて一貫性があるのか？

主な発見

• M₄(ℝ) の可換グラフ Γ(M₄(ℝ)) の直径は正確に 4 であり、Miguel（2014）が未解決としたケースを解決した。
• すべての n ≥ 3 に対して、Γ(Mₙ(ℝ)) の直径は 4 である。n = 4 を含め、すべての次元 ≥ 3 において一様に成立する。
• 複素固有値を持つブロック対角行列と非対角化可能なジョルダンブロックを含む、最も複雑なケースにおいても、M₄(ℝ) 内の任意の二つの中心でない行列の間に構成的 4 ステップ経路（A — M — X — N — B）を確立した。
• 除法環上での一般化された補題を用いて、N² = 0 を満たす冪零行列 N とべき等行列 M に対して、両者と可換する非スカラー行列 X の存在を証明した。この補題は証明において中心的役割を果たした。
• 行列の相似変換と核の共通部分集合の議論を用いて、このような共通可換行列 X の存在を保証した。
• この結果により、Mₙ(ℝ) の可換グラフの直径がすべての n ≥ 3 に対して一様に 4 であることが確認され、以前の予想を強化し、既知の結果を拡張した。