2025-11-17T10:58:20.841311

Stability of quaternion matrix polynomials

Basavaraju, Hadimani, Jayaraman

A right quaternion matrix polynomial is an expression of the form $P(Î»)= \displaystyle \sum_{i=0}^{m}A_i Î»^i$, where $A_i$'s are $n \times n$ quaternion matrices with $A_m \neq 0$. The aim of this manuscript is to determine the location of right eigenvalues of $P(Î»)$ relative to certain subsets of the set of quaternions. In particular, we extend the notion of (hyper)stability of complex matrix polynomials to quaternion matrix polynomials and obtain location of right eigenvalues of $P(Î»)$ using the following methods: $(1)$ we give a relation between (hyper)stability of a quaternion matrix polynomial and its complex adjoint matrix polynomial, $(2)$ we prove that $P(Î»)$ is stable with respect to an open (closed) ball in the set of quaternions, centered at a complex number if and only if it is stable with respect to its intersection with the set of complex numbers and $(3)$ as a consequence of $(1)$ and $(2)$, we prove that right eigenvalues of $P(Î»)$ lie between two concentric balls of specific radii in the set of quaternions centered at the origin. A generalization of the Enestr{Ã¶}m-Kakeya theorem to quaternion matrix polynomials is obtained as an application. We identify classes of quaternion matrix polynomials for which stability and hyperstability are equivalent. We finally deduce hyperstability of certain univariate quaternion matrix polynomials via stability of certain multivariate quaternion matrix polynomials.

academic

四元数行列多項式の安定性

基本情報

論文ID: 2407.16603
タイトル: Stability of quaternion matrix polynomials
著者: Pallavi Basavaraju, Shrinath Hadimani, Sachindranath Jayaraman
分類: math.SP（スペクトル理論）
発表時期: 2024年7月（arXiv プレプリント、最新版2025年10月）
論文リンク: https://arxiv.org/abs/2407.16603

要約

本論文は右四元数行列多項式 $P(\lambda) = \sum_{i=0}^{m} A_i \lambda^i$ の安定性を研究する。ここで $A_i$ は $n \times n$ 四元数行列であり $A_m \neq 0$ である。本論文の目的は、 $P(\lambda)$ の右固有値が四元数集合のある部分集合に対する位置を決定することである。主な貢献は以下の通りである：(1) 四元数行列多項式とその複素随伴行列多項式の（超）安定性関係を確立する；(2) 複素数を中心とする四元数球の安定性がその複素数集合との交集の安定性と等価であることを証明する；(3) 右固有値が原点付近の特定半径の2つの同心球の間に位置することを証明する。応用として、Eneström-Kakeya定理の四元数行列多項式への拡張を与える。

研究背景と動機

問題背景

多項式零点定位の重要性：代数学の基本定理は複素係数多項式の零点の存在性と個数を与えるが、多項式の次数が4を超える場合、代数的方法では零点の計算が困難である。したがって、零点が位置する領域を決定することは反復法にとって重要な意義を持つ。
行列多項式の課題：複素行列多項式の場合、固有値は行列式（スカラー複素多項式）の零点に等しい。しかし、係数行列の規模が大きい場合、行列式の計算が困難になるため、行列多項式の固有値定位は興味深い研究課題となる。
四元数の非可換性：四元数行列多項式は四元数乗法の非可換性により新たな課題をもたらす。四元数行列式の定義は複素数の場合と異なり、左右固有値の区別が存在する。
既存方法の限界：既存の複素行列多項式の安定性理論は四元数の場合に直接拡張できず、専門的な理論と方法が必要である。

研究動機

複素行列多項式の安定性概念を四元数行列多項式に拡張する
四元数の特殊構造（複素数の拡張として表現可能）を利用して複素数の場合との関連性を確立する
四元数行列多項式の固有値定位に対する有効な方法を提供する

核心的貢献

四元数行列多項式の安定性と超安定性の概念を定義し、それらと固有値位置の等価性を証明した
四元数行列多項式とその複素随伴行列多項式の安定性の対応関係を確立（定理4.8）
複素数を中心とする四元数球の安定性簡約定理を証明（定理4.12）し、四元数安定性問題を複素数の場合に簡約した
四元数行列多項式の固有値の環形領域定位結果を与えた（定理4.19）。これはHigham-Tisseurの複素行列多項式の結果に類似している
Eneström-Kakeya定理を四元数行列多項式に拡張（定理4.23）
安定性と超安定性が等価である四元数行列多項式のクラスを識別
多変数四元数行列多項式の安定性を通じて単変数の場合の超安定性を導出

方法の詳細説明

基本定義

四元数行列多項式：右四元数行列多項式は以下のように定義される $P(\lambda) = \sum_{i=0}^{m} A_i \lambda^i$ ここで $A_i \in M_n(\mathbb{H})$ 、 $A_m \neq 0$ 、変数 $\lambda$ は行列係数の右側に現れる。

右固有値： $\lambda_0 \in \mathbb{H}$ は $P(\lambda)$ の右固有値である。ゼロでないベクトル $y \in \mathbb{H}^n$ が存在して $\sum_{i=0}^{m} A_i y \lambda_0^i = 0$ を満たす場合。

安定性の定義

安定性（定義4.1）： $P(\lambda)$ が $\Omega \subseteq \mathbb{H}$ に関して安定であるとは、任意のゼロでないベクトル $y \in \mathbb{H}^n$ と任意の $\mu \in \Omega$ に対して、ゼロでないベクトル $z \in \mathbb{H}^n$ が存在して $z^* A_m y \mu^m + z^* A_{m-1} y \mu^{m-1} + \cdots + z^* A_1 y \mu + z^* A_0 y \neq 0$ を満たす場合。

超安定性（定義4.2）： $P(\lambda)$ が $\Omega$ に関して超安定であるとは、任意のゼロでないベクトル $y \in \mathbb{H}^n$ に対して、ゼロでないベクトル $z \in \mathbb{H}^n$ が存在して上記の不等式がすべての $\mu \in \Omega$ に対して成立する場合。

複素随伴行列

複素随伴行列（定義4.6）： $A \in M_n(\mathbb{H})$ に対して、 $A = A_1 + A_2 j$ と表現できる。ここで $A_1, A_2 \in M_n(\mathbb{C})$ 。複素随伴行列は以下のように定義される $\chi_A := \begin{bmatrix} A_1 & A_2 \\ -\overline{A_2} & \overline{A_1} \end{bmatrix}$

複素随伴行列多項式（定義4.7）： $P_\chi(\lambda) = \sum_{i=0}^{m} \chi_{A_i} \lambda^i$

主要定理

定理4.8： $P(\lambda)$ が $\Omega \cap \mathbb{C}$ に関して安定（超安定）である当且つ当に、その複素随伴行列多項式 $P_\chi(\lambda)$ が $\Omega \cap \mathbb{C}$ に関して安定（超安定）である。

定理4.12： $\Omega = B(a;r)$ を $a \in \mathbb{C}$ を中心とし、半径が $r > 0$ の四元数開球とする。このとき $P(\lambda)$ が $\Omega$ に関して安定である当且つ当に、 $P(\lambda)$ が $\Omega \cap \mathbb{C}$ に関して安定である。

実験設定

理論検証

本論文は主に理論研究であり、数学的証明により結果の正確性を検証する。論文中には定理の応用を示す複数の具体例が提供されている：

例4.9：安定性と超安定性の違いを示す 例4.10：安定性が必ずしも超安定性を意味しないことを示す
例4.21：定理4.14と4.18で与えられた境界が厳密であることを検証する

応用検証

論文は以下の方法で方法の有効性を検証する：

既知の複素行列多項式の結果との比較
古典定理（Eneström-Kakeya定理など）の拡張
具体例の構成による理論予測の検証

実験結果

主要結果

固有値定位（定理4.19）：首項係数と定数項係数が可逆である四元数行列多項式に対して、その右固有値は環形領域 $\{q \in \mathbb{H} : r \leq |q| \leq R\}$ に位置する。ここで：

$r$ は $\|A_m\|z^m + \cdots + \|A_1\|z - \|A_0^{-1}\|^{-1}$ の唯一の正のゼロ点
$R$ は $\|A_m^{-1}\|^{-1}z^m - \|A_{m-1}\|z^{m-1} - \cdots - \|A_0\|$ の唯一の正のゼロ点

Eneström-Kakeya拡張（定理4.23）：係数が $A_m \succeq A_{m-1} \succeq \cdots \succeq A_0 \succ 0$ を満たす四元数行列多項式に対して、各右固有値 $\lambda_0$ は $\frac{\lambda_{\min}(A_0)}{2\lambda_{\max}(A_m)} \leq |\lambda_0| \leq 1$ を満たす。