Some comments are made on the matrices which serve as the basis of a quaternionic algebra. We show that these matrices are related with the quaternionic action of the imaginary units from the left and from the right.
We present in this paper some fundamental tools for developing matrix analysis over the complex quaternion algebra. As applications, we consider generalized inverses, eigenvalues and eigenvectors, similarity, determinants of complex quaternion matrices, and so on.
Starting from known results, due to Y. Tian in [Ti; 00], referring to the real matrix representations of the real quaternions, in this paper we will investigate the left and right real matrix representations for the complex quaternions and we give some examples in the special case of the complex Fibonacci quaternions.
Cramer's rules for some left, right and two-sided quaternion matrix equations are obtained within the framework of the theory of the column and row determinants.
In noncommutative and nondivision algebra, left spectrum of matrices are less known and is not easy to handle. Split quaternion algebra is a noncommutative and nondivision algebra. In this paper, by the formulas of solving the equations $ax=b$ and $ax^2+bx+c=0$ over split quaternions, we make an attempt to understand the left spectrum of a split quaternion matrix of order 2.
We derive the solvability conditions and a formula of a general solution to a Sylvester-type matrix equation over Hamilton quaternions. As an application, we investigate the necessary and sufficient conditions for the solvability of the quaternion matrix equation, which involves $η$-Hermicity. We also provide an algorithm with a numerical example to illustrate the main results of this paper.
The poses of $m$ robotics in $n$ time points may be represented by an $m \times n$ dual quaternion matrix. In this paper, we study the spectral theory of dual quaternion matrices. We introduce right and left eigenvalues for square dual quaternion matrices. If a right eigenvalue is a dual number, then it is also a left eigenvalue. In this case, this dual number is called an eigenvalue of that dual quaternion matrix. We show that the right eigenvalues of a dual quaternion Hermitian matrix are dual numbers. Thus, they are eigenvalues. An $n \times n$ dual quaternion Hermitian matrix is shown to h…
Real Nullstellensatz is a classical result from Real Algebraic Geometry. It has recently been extended to quaternionic polynomials by Alon and Paran. The aim of this paper is to extend their Quaternionic Nullstellensatz to matrix polynomials. We also obtain an improvement of the Real Nullstellensatz for matrix polynomials in the sense that we simplify the definition of a real left ideal. We use the methods from the proof of the matrix version of Hilbert's Nullstellensatz and we obtain their extensions to a mildly non-commutative case and to the real case.
In this article we give various formulates for compute the number of all coninvolutions over the group of upper triangular matrix with entries into the ring of Gaussian integers module $p$ and the ring of Quaternions integers module $p$, with $p$ an odd prime number.
Weighted singular value decomposition (WSVD) of a quaternion matrix and with its help determinantal representations of the quaternion weighted Moore-Penrose inverse have been derived recently by the author. In this paper, using these determinantal representations, explicit determinantal representation formulas for the solution of the restricted quaternion matrix equations, ${\bf A}{\bf X}{\bf B}={\bf D}$, and consequently, ${\bf A}{\bf X}={\bf D}$ and ${\bf X}{\bf B}={\bf D}$ are obtained within the framework of the theory of column-row determinants. We consider all possible cases depending on…
L.Huang [Linear Algebra Appl. 331 (2001) 21-30] gave a canonical form of a quaternion matrix $A$ with respect to consimilarity transformations $\tilde{S}^{-1}AS$ in which $S$ is a nonsingular quaternion matrix and $\tilde{h}:=a-bi+cj-dk$ for each quaternion $h=a+bi+cj+dk$. We give an analogous canonical form of a quaternion matrix with respect to consimilarity transformations $\hat{S}^{-1}AS$ in which $h\mapsto\hat{h}$ is an arbitrary involutive automorphism of the skew field of quaternions. We apply the obtained canonical form to the quaternion matrix equations $AX-\hat{X}B=C$ and $X-A\hat{X}…
Within the framework of the theory of the column and row determinants, we obtain determinantal representations of the Drazin inverse for Hermitian matrix over the quaternion skew field. Using the obtained determinantal representations of the Drazin inverse we get explicit representation formulas (analogs of Cramer's rule) for the Drazin inverse solutions of quaternion matrix equations $ {\bf A}{\bf X} = {\bf D}$, $ {\bf X}{\bf B} = {\bf D} $ and ${\bf A} {\bf X} {\bf B} = {\bf D} $, where $ {\bf A}$, ${\bf B}$ are Hermitian.
The product of a complex skew-symmetric matrix and its conjugate transpose is a positive semi-definite Hermitian matrix with nonnegative eigenvalues, with a property that each distinct positive eigenvalue has even multiplicity. This property plays a key role for Professor Loo-Keng Hua to establish the unitary equivalence theorem for complex skew-symmetric matrices. We show that this property is no longer true for quaternion skew-symmetric matrices. This poses a difficulty for finding the canonical form of a quaternion skew-symmetric matrix under unitary equivalence, which may be crucial for th…
Sylvester-type matrix equations have applications in areas including control theory, neural networks, and image processing. In this paper, we establish the necessary and sufficient conditions for the system of Sylvester-type quaternion matrix equations to be consistent and derive an expression of its general solution (when it is solvable). As an application, we investigate the necessary and sufficient conditions for quaternion matrix equations to be consistent and derive a formula for its general solution involving $η$-Hermicity. As a special case, we also present the necessary and sufficient …
Within the framework of the theory of quaternion column-row determinants and using determinantal representations of the Moore-Penrose inverse previously obtained by the author, we get explicit determinantal representation formulas of solutions (analogs of Cramer's rule) to the quaternion two-sided generalized Sylvester matrix equation $ {\bf A}_{1}{\bf X}_{1}{\bf B}_{1}+ {\bf A}_{2}{\bf X}_{2}{\bf B}_{2}={\bf C}$ and its all special cases when its first term or both terms are one-sided. Finally, we derive determinantal representations of two like-Lyapunov equations.
In this paper, we construct a simultaneous decomposition of five real quaternion matrices in which three of them have the same column numbers, meanwhile three of them have the same row numbers. Using the simultaneous matrix decomposition, we derive the maximal and minimal ranks of some real quaternion matrices expressions. We also show how to choose the variable real quaternion matrices such that the real quaternion matrix expressions achieve their maximal and minimal ranks. As an application, we give a solvability condition and the general solution to the real quaternion matrix equation $BXD+…
In this paper, we derive some necessary and sufficient solvability conditions for some systems of one sided coupled Sylvester-type real quaternion matrix equations in terms of ranks and generalized inverses of matrices. We also give the expressions of the general solutions to these systems when they are solvable. Moreover, we provide some numerical examples to illustrate our results. The findings of this paper extend some known results in the literature.
We introduce the notion of a confluent Vandermonde matrix with quaternion entries and discuss its connection with Lagrange-Hermite interpolation over quaternions. Further results include the formula for the rank of a confluent Vandermonde matrix, the representation formula for divided differences of quaternion polynomials and their extensions to the formal power series setting.
Within the framework of the theory of the column and row determinants, we obtain explicit representation formulas (analogs of Cramer's rule) for the minimum norm least squares solutions of quaternion matrix equations ${\bf A} {\bf X} = {\bf B}$, $ {\bf X} {\bf A} = {\bf B}$ and ${\bf A} {\bf X} {\bf B} = {\bf D} $.
The Sylvester equation $AX-XB=C$ is considered in the setting of quaternion matrices. Conditions that are necessary and sufficient for the existence of a unique solution are well-known. We study the complementary case where the equation either has infinitely many solutions or does not have solutions at all. Special attention is given to the case where $A$ and $B$ are respectively, lower and upper triangular two-diagonal matrices (in particular, if $A$ and $B$ are Jordan blocks)
In this paper, we provide some solvability conditions in terms of ranks for the existence of a general solution to a system of $k$ Sylvester-type quaternion matrix equations with $3k+1$ variables $A_{i}X_{i}+Y_{i}B_{i}+C_{i}Z_{i}D_{i}+F_{i}Z_{i+1}G_{i}=E_{i},~i=\overline{1,k}$. As applications of this system, we present rank equalities as the necessary and sufficient conditions for the existence of a general solution to some systems of quaternion matrix equations $A_{i}X_{i}+(A_{i}X_{i})_ϕ+C_{i}Z_{i}(C_{i})_ϕ+F_{i}Z_{i+1}(F_{i})_ϕ=E_{i},~i=\overline{1,k}$.
By using determinantal representations of the W-weighted Drazin inverse previously obtained by the author within the framework of the theory of the column-row determinants, we get explicit formulas for determinantal representations of the W-weighted Drazin inverse solutions (analogs of Cramer's rule) of the quaternion matrix equations $ {\bf W}{\bf A}{\bf W}{\bf X}={\bf D}$, $ {\bf X}{\bf W}{\bf A}{\bf W}={\bf D} $, and ${\bf W}_{1}{\bf A}{\bf W}_{1}{\bf X}{\bf W}_{2}{\bf B}{\bf W}_{2}={\bf D} $.
The theory of the column-row determinants has been considered for matrices over a non-split quaternion algebra. In this paper the concepts of column-row determinants are extending to a split quaternion algebra. New definitions of the column and row immanants (permanents) for matrices over a non-split quaternion algebra are introduced, and their basic properties are investigated. The key theorem about the column and row immanants of a Hermitian matrix over a split quaternion algebra is proved. Based on this theorem an immanant of a Hermitian matrix over a split quaternion algebra is introduced.
With the great success of the T-product based real tensor methods in the color image and gray video processing, the establishment of T-product based quaternion tensor methods in the color video processing has encountered a challenge, which is the block diagonalization of block circulant quaternion matrices. In this paper, we show that the discrete Fourier matrix $\mathbf{F_p}$ cannot diagonalize $p\times p$ circulant quaternion matrices, nor can the unitary quaternion matrices $\mathbf{F_p}\mathbf{j}$ and $\mathbf{F_p}(1+\mathbf{j})/\sqrt{2}$ with $\mathbf{j}$ being an imaginary unit of quater…
New definitions of determinant functionals over the quaternion skew field are given in this paper. The inverse matrix over the quaternion skew field is represented by analogues of the classical adjoint matrix. Cramer rule for right and left quaternionic systems of linear equations have been obtained.
Let $\mathbb{H}$ be the real quaternion algebra and $\mathbb{H}^{m\times n}$ denote the set of all $m\times n$ matrices over $\mathbb{H}$. Let $\mathbf{i},\mathbf{j},\mathbf{k}$ be the imaginary quaternion units. For $η\in\{\mathbf{i},\mathbf{j},\mathbf{k}\}$, a square real quaternion matrix $A$ is said to be $η$-Hermitian if $A^{η*}=A$ where $A^{η*}=-ηA^{\ast}η$, and $A^{\ast}$ stands for the conjugate transpose of $A$. In this paper, we construct a simultaneous decomposition of four real quaternion matrices with the same row number $(A,B,C,D),$ where $A=A^{η*}\in \mathbb{H}^{m\times m}, B\in…
The matrix equation $AX-XB=C$ has a solution if and only if the matrices [A&C\\0&B] and [A &0\\0 & B] are similar. This criterion was proved over a field by W.E. Roth (1952) and over the skew field of quaternions by Huang Liping (1996). H.K. Wimmer (1988) obtained an analogous criterion for the matrix equation $X-AXB=C$ over a field. We extend these criteria to the matrix equations $AX-\widehat XB=C$ and $X-A\widehat XB=C$ over the skew field of quaternions with a fixed involutive automorphism $q\mapsto \hat q$.
Weighted singular value decomposition (WSVD) and a representation of the weighted Moore-Penrose inverse of a quaternion matrix by WSVD have been derived. Using this representation, limit and determinantal representations of the weighted Moore-Penrose inverse of a quaternion matrix have been obtained within the framework of the theory of the noncommutative column-row determinants. By using the obtained analogs of the adjoint matrix, we get the Cramer rules for the weighted Moore-Penrose solutions of left and right systems of quaternion linear equations.
In this paper, we prove a conjecture which was presented in a recent paper [Linear Algebra Appl. 2016; 496: 549--593]. We derive some practical necessary and sufficient conditions for the existence of a solution to a system of coupled two-sided Sylvester-type quaternion matrix equations with arbitrary equations and arbitrary unknowns $A_{i}X_{i}B_{i}+C_{i}X_{i+1}D_{i}=E_{i},~i=\overline{1,k}$. As an application, we give some practical necessary and sufficient conditions for the existence of an $η$-Hermitian solution to the system of quaternion matrix equations $A_{i}X_{i}A^{η*}_{i}+C_{i}X_{i+1…
It is known that a $2\times 2$ quaternionic matrix has one, two or an infinite number of left eigenvalues, but the available algebraic proofs are difficult to generalize to higher orders. In this paper a different point of view is adopted by computing the topological degree of a characteristic map associated to the matrix and discussing the rank of the differential. The same techniques are extended to $3\times 3$ matrices, which are still lacking a complete classification.
We study the Rayleigh quotient of a Hermitian matrix with quaternionic coefficients and prove its main properties. As an application, we give some relationships between left and right eigenvalues of Hermitian and symplectic matrices.
In this study, we introduce the concept of commutative quaternions and commutative quaternion matrices. Firstly, we give some properties of commutative quaternions and their Hamilton matrices. After that we investigate commutative quaternion matrices using properties of complex matrices. Then we define the complex adjoint matrix of commutative quaternion matrices and give some of their properties.
The purpose of this paper is to show how the problem of finding the zeros of unilateral n-order quaternionic polynomials can be solved by determining the eigen-vectors of the corresponding companion matrix. This approach, probably superfluous in the case of quadratic equations for which a closed formula can be given, becomes truly useful for (unilateral) n-order polynomials. To understand the strehgth of this method, we compare it with the Niven algorithm and show where this (full) matrix approach improves previous methods based on the use of the Niven algorithm. For the convenience of the rea…
Let $\mathbb{H}$ be the real quaternion algebra and $\mathbb{H}^{n\times m}$ denote the set of all $n\times m$ matrices over $\mathbb{H}$. In this paper, we construct a simultaneous decomposition of seven general real quaternion matrices with compatible sizes: $A\in \mathbb{H}^{m\times n}, B\in \mathbb{H}^{m\times p_{1}},C\in \mathbb{H}^{m\times p_{2}},D\in \mathbb{H}^{m\times p_{3}},E\in \mathbb{H}^{q_{1}\times n},F\in \mathbb{H}^{q_{2}\times n},G\in \mathbb{H}^{q_{3}\times n}$. As applications of the simultaneous matrix decomposition, we give solvability conditions, general solutions, as wel…
Determinantal representation of the Moore-Penrose inverse over the quaternion skew field is obtained within the framework of a theory of the column and row determinants. Using the obtained analogs of the adjoint matrix, we get the Cramer rules for the least squares solution of left and right systems of quaternionic linear equations.
In this paper, we considered the theory of quasideterminants and row and column determinants. We considered the application of this theory to the solving of a system of linear equations in quaternion algebra. We established correspondence between row and column determinants and quasideterminants of matrix over quaternion algebra.
Peter Denton, Stephen Parke, Terence Tao and Xining Zhang [arxiv 2019] presented a basic and important identity in linear commutative algebra, so-called {\bf the eigenvector-eigenvalue identity} (formally named in [BAMS, 2021]), which is a convenient and powerful tool to succinctly determine eigenvectors from eigenvalues. The identity relates the eigenvector component to the eigenvalues of $A$ and the minor $M_j$, which is formulated in an elegant form as \[ \lvert v_{i,j} \rvert^2\prod_{k=1;k\ne i}^{n-1}({λ_i}(A)-{λ_k}(A))=\prod_{k=1}^{n-1}({λ_i}(A)-{λ_k}(M_j)). \,\,\,%\mbox{(\cite{tao-eig,D-…
In this paper, we present some applications of quaternions and octonions. We present the real matrix representations for complex octonions and some of their properties which can be used in computations where these elements are involved. Moreover, we give a set of invertible elements in split quaternion algebras and in split octonion algebras.
We construct six unitary trace invariants for 2 by 2 quaternionic matrices which separate the unitary similarity classes of such matrices, and show that this set is minimal. We prove two quaternionic versions of a well known characterization of triangularizable subalgebras of matrix algebras over an algebraically closed field. Finally we consider the problem of describing the semi-algebraic set of pairs (X,Y) of quaternionic n by n matrices which are simultaneously triangularizable. Even the case n=2, which we analyze in more detail, remains unsolved.