[論文レビュー] On the convexity and circularity of the numerical range of nilpotent quaternionic matrices

Luís Carvalho, Cristina Diogo+1 more|arXiv (Cornell University)|Jul 31, 2019

Matrix Theory and Algorithms被引用数 4

ひとこと要約

本稿は、べき零なクaternion行列の数値範囲が円形または凸であるための十分かつ必要十分条件を確立する。3×3のべき零行列に関して、数値範囲が円形であるための必要十分条件は、行列がサイクルフリーであることであり、凸であるための必要十分条件は、積 $ a_{13}^*a_{12}a_{23} $ が実数であることである。これらの結果は、サイクル構造に関するグラフ理論的条件を用いて一般のべき零行列へと拡張され、ベルジュの最大定理を応用して、実対角成分と木構造のべき零部分を持つ行列の凸性を導出する。

ABSTRACT

We provide a sufficient condition for the numerical range of a nilpotent matrix N to be circular in terms of the existence of cycles in an undirected graph associated with N. We prove that if we add to this matrix N a diagonal real matrix D, the matrix D + N has convex numerical range. For 3 x 3 nilpotent matrices, we strength further our results and obtain necessary and sufficient conditions for circularity and convexity of the numerical range.

研究の動機と目的

• べき零クォータニオン行列の数値範囲が円形または凸である条件を特定すること。
• トープリッツ＝オーストロフスキーの定理が成立しないクォータニオン設定における数値範囲の形状を特徴づけること。
• 複素数の場合の結果をクォータニオンへと拡張し、特にべき零行列に対して適用すること。
• 3×3行列における円形性のためのグラフ理論的条件（サイクルフリー）と凸性のための実数積条件を提供すること。
• 実対角行列をべき零行列に加えることで得られる行列の数値範囲が凸であることを証明すること。

提案手法

• クォータニオン内積を用いて、$ \mathbb{H}^n $ 内の集合 $ \{ \mathbf{x}^* A \mathbf{x} \mid \|\mathbf{x}\| = 1 \} $ として数値範囲 $ W(A) $ を定義する。
• 行列に関連する無向グラフを用いてサイクルを検出する。サイクルフリーのグラフは、数値範囲が円形であることを示唆する。
• ベルジュの最大定理を適用して、$ \mathbf{x}^* A \mathbf{x} $ の実部の上限を分析し、凸性の証明を可能にする。
• 単位的同値性を用いて、$ a_{13}^*a_{12}a_{23} \in \mathbb{R} $ のとき行列を実行列形式に変換し、既知の実行列の凸性結果を活用する。
• パラメータ化されたベクトル $ \mathbf{y} \in \mathbb{S}_{\mathbb{H}^3} $ を用いた背理法により、実数積条件の必要性を証明する。
• 恒等式 $ \pi_{\mathbb{R}}(ab) = \pi_{\mathbb{R}}(ba) $ を用いて、クォータニオンを含む式の実数性を分析する。

実験結果

リサーチクエスチョン

• RQ1 べき零クォータニオン行列の数値範囲が円形である条件は何か？
• RQ2 3×3のべき零クォータニオン行列の数値範囲が凸であるための必要十分条件は何か？
• RQ3 べき零行列に関連するグラフにサイクルが存在する場合、その数値範囲の形状にどのような影響を与えるか？
• RQ4 実対角行列 $ D $ とべき零行列 $ N $ からなる行列 $ D + N $ の数値範囲は、常に凸であると保証できるか？
• RQ5 $ a_{13}^*a_{12}a_{23} $ の値と、3×3のべき零行列の数値範囲の凸性との関係は何か？

主な発見

• 3×3のべき零行列 $ A $ に対して、数値範囲 $ W(A) $ は、$ A $ がサイクルフリーであることと同値に円形である。
• 3×3のべき零行列の数値範囲 $ W(A) $ は、$ a_{13}^*a_{12}a_{23} \in \mathbb{R} $ であることと同値に凸である。
• もし $ a_{13}^*a_{12}a_{23} \in \mathbb{R} $ ならば、$ A $ は実行列にユニタリ同値であり、したがって $ W(A) $ は凸である。
• べき零部分が木構造で、対角部分が実数である行列では、数値範囲は円板の和集合となり、したがって凸である。
• 本稿では、数値範囲における円板の和集合が楕円を形成する例を提示し、凸性が円形性を意味しないことを示している。
• 一般のべき零行列に関しては、関連するグラフが木構造であること（十分条件）が、円形性のための十分条件であるが、必要条件ではない。