-
Galois groups and rational solutions of $p(X) = A$
Authors:
G. J. Groenewald,
G. Goosen,
D. B. Janse van Rensburg,
A. C. M. Ran,
M. van Straaten
Abstract:
We extend Theorem 1 of R. Reams, A Galois approach to m-th roots of matrices with rational entries, LAA 258 (1997), 187-194. Let $p(λ)$ be any polynomial over $\mathbb{Q}$ and let $A\in M_n(\mathbb{Q})$ have irreducible characteristic polynomial $f(λ)$ with degree n. We provide necessary and sufficient conditions for the existence of a solution $X\in M_n(\mathbb{Q})$ of the polynomial matrix equat…
▽ More
We extend Theorem 1 of R. Reams, A Galois approach to m-th roots of matrices with rational entries, LAA 258 (1997), 187-194. Let $p(λ)$ be any polynomial over $\mathbb{Q}$ and let $A\in M_n(\mathbb{Q})$ have irreducible characteristic polynomial $f(λ)$ with degree n. We provide necessary and sufficient conditions for the existence of a solution $X\in M_n(\mathbb{Q})$ of the polynomial matrix equation $p(X) = A.$ Specifically, we find necessary and sufficient conditions for $f(p(λ))$ to have a factor of degree $n$ over $\mathbb{Q}.$
△ Less
Submitted 11 July, 2023;
originally announced July 2023.
-
An interlacing result for Hermitian matrices in Minkowski space
Authors:
D. B. Janse van Rensburg,
A. C. M. Ran,
M. van Straaten
Abstract:
In this paper we will look at the well known interlacing problem, but here we consider the result for Hermitian matrices in the Minkowski space, an indefinite inner product space with one negative square. More specific, we consider the $n\times n$ matrix $A=\begin{bmatrix} J & u\\ -u^* & a\end{bmatrix}$ with $a\in\mathbb{R}$, $J=J^*$ and $u\in\mathbb{C}^{n-1}$. Then $A$ is $H$-selfadjoint with res…
▽ More
In this paper we will look at the well known interlacing problem, but here we consider the result for Hermitian matrices in the Minkowski space, an indefinite inner product space with one negative square. More specific, we consider the $n\times n$ matrix $A=\begin{bmatrix} J & u\\ -u^* & a\end{bmatrix}$ with $a\in\mathbb{R}$, $J=J^*$ and $u\in\mathbb{C}^{n-1}$. Then $A$ is $H$-selfadjoint with respect to the matrix $H=I_{n-1}\oplus(-1)$. The canonical form for the pair $(A,H)$ plays an important role and the sign characteristic coupled to the pair is also discussed.
△ Less
Submitted 1 December, 2022;
originally announced December 2022.
-
Solutions of the matrix equation $p(X)=A$, with polynomial function $p(λ)$ over field extensions of $\mathbb{Q}$
Authors:
Gilbert Groenewald,
Dawie Janse van Rensburg,
Andre Ran,
Madelein van Straaten,
Frieda Theron
Abstract:
Let $\mathbb{H}$ be a field with $\mathbb{Q}\subset\mathbb{H}\subset\mathbb{C}$, and let $p(λ)$ be a polynomial in $\mathbb{H}[λ]$, and let $A\in\mathbb{H}^{n\times n}$ be nonderogatory. In this paper we consider the problem of finding a solution $X\in\mathbb{H}^{n\times n}$ to $p(X)=A$. A necessary condition for this to be possible is already known from a paper by M.P. Drazin. Under an additional…
▽ More
Let $\mathbb{H}$ be a field with $\mathbb{Q}\subset\mathbb{H}\subset\mathbb{C}$, and let $p(λ)$ be a polynomial in $\mathbb{H}[λ]$, and let $A\in\mathbb{H}^{n\times n}$ be nonderogatory. In this paper we consider the problem of finding a solution $X\in\mathbb{H}^{n\times n}$ to $p(X)=A$. A necessary condition for this to be possible is already known from a paper by M.P. Drazin. Under an additional condition we provide an explicit construction of such solutions. The similarities and differences with the derogatory case will be discussed as well.
One of the tools needed in the paper is a new canonical form, which may be of independent interest. It combines elements of the rational canonical form with elements of the Jordan canonical form.
△ Less
Submitted 31 May, 2022;
originally announced May 2022.
-
Polar decompositions of quaternion matrices in indefinite inner product spaces
Authors:
G. J. Groenewald,
D. B. Janse van Rensburg,
A. C. M. Ran,
F. Theron,
M. van Straaten
Abstract:
Polar decompositions of quaternion matrices with respect to a given indefinite inner product are studied. Necessary and sufficient conditions for the existence of an $H$-polar decomposition are found. In the process an equivalent to Witt's theorem on extending $H$-isometries to $H$-unitary matrices is given for quaternion matrices.
Polar decompositions of quaternion matrices with respect to a given indefinite inner product are studied. Necessary and sufficient conditions for the existence of an $H$-polar decomposition are found. In the process an equivalent to Witt's theorem on extending $H$-isometries to $H$-unitary matrices is given for quaternion matrices.
△ Less
Submitted 19 June, 2021;
originally announced June 2021.
-
$m$th roots of $H$-selfadjoint matrices over the quaternions
Authors:
D. B. Janse van Rensburg,
A. C. M. Ran,
F. Theron,
M. van Straaten
Abstract:
The complex matrix representation for a quaternion matrix is used in this paper to find necessary and sufficient conditions for the existence of an $H$-selfadjoint $m$th root of a given $H$-selfadjoint quaternion matrix. In the process, when such an $H$-selfadjoint $m$th root exists, its construction is also given.
The complex matrix representation for a quaternion matrix is used in this paper to find necessary and sufficient conditions for the existence of an $H$-selfadjoint $m$th root of a given $H$-selfadjoint quaternion matrix. In the process, when such an $H$-selfadjoint $m$th root exists, its construction is also given.
△ Less
Submitted 9 June, 2021;
originally announced June 2021.
-
Square roots of H-nonnegative matrices
Authors:
Dawie B. Janse van Rensburg,
Madelein van Straaten,
Frieda Theron,
Carsten Trunk
Abstract:
Roots of matrices are well-studied. The conditions for their existence are understood: The block sizes of nilpotent Jordan blocks, arranged in pairs, have to satisfy some simple algebraic property.
More interesting are structured roots of structured matrices. Probably the best known example is the existence and uniqueness of positive definite square roots of a positive definite matrix. If one dr…
▽ More
Roots of matrices are well-studied. The conditions for their existence are understood: The block sizes of nilpotent Jordan blocks, arranged in pairs, have to satisfy some simple algebraic property.
More interesting are structured roots of structured matrices. Probably the best known example is the existence and uniqueness of positive definite square roots of a positive definite matrix. If one drops the requirement of positive definiteness of the square root, it turns out that there exists an abundance of square roots. Here a description of all canonical forms of all square roots is possible and is straight forward.
H-nonnegative matrices are H-selfadjoint and are nonnegative with respect to an indefinite inner product with Gramian H. An H-nonnegative matrix $B$ allows a decomposition in a negative definite, a nilpotent H-nonnegative, and a positive definite matrix, B=B_- \oplus B_0 \oplus B_+. The interesting part is B_0, as only Jordan blocks of size one and two occur. Determining a square root of B reduces to determining a square root of each of B_-, B_0, and B_+. Here we investigate for an H-nonnegative matrix: its square roots without additional structure, as well as its structured square roots that are H-nonnegative or H-selfadjoint.
For these three classes of square roots of H-nonnegative matrices we show a simple criterion for their existence and describe all possible canonical forms. This is based mainly on known results but an important new part is that in all three cases we describe all possible square roots of the nilpotent H-nonnegative matrix B_0 explicitly. Moreover, we show how our results can be applied to the conditional and unconditional stability of H-nonnegative square roots of H-nonnegative matrices, where the explicit description of the square roots of B_0 is used.
△ Less
Submitted 16 October, 2020;
originally announced October 2020.
-
$m$th roots of $H$-selfadjoint matrices
Authors:
G. J. Groenewald,
D. B. Janse van Rensburg,
A. C. M. Ran,
F. Theron,
M. van Straaten
Abstract:
In this paper necessary and sufficient conditions are given for the existence of an $H$-selfadjoint $m$th root of a given $H$-selfadjoint matrix. A construction is given of such an $H$-selfadjoint $m$th root when it does exist.
In this paper necessary and sufficient conditions are given for the existence of an $H$-selfadjoint $m$th root of a given $H$-selfadjoint matrix. A construction is given of such an $H$-selfadjoint $m$th root when it does exist.
△ Less
Submitted 13 October, 2020; v1 submitted 27 July, 2020;
originally announced July 2020.
-
Longitudinal spin Seebeck effect contribution in transverse spin Seebeck effect experiments in Pt/YIG and Pt/NFO
Authors:
Daniel Meier,
Daniel Reinhardt,
Michael van Straaten,
Christoph Klewe,
Matthias Althammer,
Michael Schreier,
Sebastian T. B. Goennenwein,
Arunava Gupta,
Maximilian Schmid,
Christian H. Back,
Jan-Michael Schmalhorst,
Timo Kuschel,
Günter Reiss
Abstract:
We investigate the inverse spin Hall voltage of a 10nm thin Pt strip deposited on the magnetic insulators Y3Fe5O12 (YIG) and NiFe2O4 (NFO) with a temperature gradient in the film plane. We observe characteristics typical of the spin Seebeck effect, although we do not observe a change of sign of the voltage at the Pt strip when it is moved from hot to cold side, which is believed to be the most str…
▽ More
We investigate the inverse spin Hall voltage of a 10nm thin Pt strip deposited on the magnetic insulators Y3Fe5O12 (YIG) and NiFe2O4 (NFO) with a temperature gradient in the film plane. We observe characteristics typical of the spin Seebeck effect, although we do not observe a change of sign of the voltage at the Pt strip when it is moved from hot to cold side, which is believed to be the most striking feature of the transverse spin Seebeck effect. Therefore, we relate the observed voltages to the longitudinal spin Seebeck effect generated by a parasitic out-of-plane temperature gradient, which can be simulated by contact tips of different material and heat conductivities and by tip heating. This work gives new insights into the interpretation of transverse spin Seebeck effect experiments, which are still under discussion.
△ Less
Submitted 25 November, 2014;
originally announced November 2014.