A celebrated theorem of Shoda states that over any field K (of characteristic 0), every matrix with trace 0 can be expressed as a commutator AB-BA, or, equivalently, that the set of values of the polynomial f(x,y)=xy-yx on the nxn-matrix K-algebra contains all matrices with trace 0. We generalize Shoda's theorem by showing that every nonzero multilinear polynomial of degree at most 3, with coefficients in K, has this property. We further conjecture that this holds for every nonzero multilinear polynomial with coefficients in K of degree m, provided that m is at most n+1.
We describe the images of multilinear polynomials of arbitrary degree evaluated on the $3\times 3$ upper triangular matrix algebra over an infinite field.
Let $K$ be an algebraically closed field of characteristic $0$ and let $M_n(K)$, $n \ge 3$, be the matrix ring over $K$. We will show that the image of any multilinear polynomial in four variables evaluated on $M_n(K)$ contains all matrices of trace $0$.
Let $K$ be an infinite integral domain and $M_{n}(K)$ be the algebra of all $n\times n$ matrices over $K$. This paper aims for the following goals: Find a basis for the graded identities for elementary grading in $M_{n}(K)$ when the neutral component and diagonal coincide; Describe the $\mathbb{Z}_{p}$-graded central polynomials of $M_{p}(K)$ when $p$ is a prime number; Describe the $\mathbb{Z}$-graded central polynomials of $M_{n}(K)$.
Let F be a field of characteristic different from $2$, and let $UT_2(F)$ be the algebra of $2\times 2$ upper triangular matrices over $F$. For every involution of the first kind on $UT_2(F)$, we describe the set of all $*$-central polynomials for this algebra.
The Frobenius companion matrix, and more recently the Fiedler companion matrices, have been used to provide lower and upper bounds on the modulus of any root of a polynomial $p(x)$. In this paper we explore new bounds obtained from taking the $1$-norm and $\infty$-norm of a matrix in the wider class of intercyclic companion matrices. As is the case with Fiedler matrices, we observe that the new bounds from intercyclic companion matrices can improve those from the Frobenius matrix by at most a factor of two. By using the Hessenberg form of an intercyclic companion matrix, we describe how to det…
Using $\mathcal{P}$-canonical forms of matrices, we derive the minimal polynomial of the Kronecker product of a given family of matrices in terms of the minimal polynomials of these matrices. This, allows us to prove that the product $\prod\limits_{i=1}^{m}L(P_{i})$, $L(P_{i})$ is the set of linear recurrence sequences over a field $F$ with characteristic polynomial $P_{i}$, is equal to $L(P)$ where $P$ is the minimal polynomial of the Kronecker product of the companion matrices of $P_{i}$, $1\leq i\leq m$. Also, we show how we deduce from the $\mathcal{P}$-canonical form of an arbitrary compl…
In this paper, we give a practical method to compute the Jacobian matrices of generalized Chebyshev polynomials associated to arbitrary semisimple Lie algebras. The entries of each Jacobian matrix can be expressed as a linear combination of characters of irreducible representations of the underlying Lie algebra with integer coefficients. These integer coefficients can be obtained by basic computations in the fundamental Weyl chamber.
We determine minimal Cayley--Hamilton and Capelli identities for matrices over a Grassmann algebra of finite rank. For minimal standard identities, we give lower and upper bounds on the degree. These results improve on upper bounds given by L.\ Márki, J.\ Meyer, J.\ Szigeti, and L.\ van Wyk in a recent paper.
Let $\mathbb{F}$ be a field of characteristic $p$, and let $UT_n(\mathbb{F})$ be the algebra of $n \times n$ upper triangular matrices over $\mathbb{F}$ with an involution of the first kind. In this paper we describe: the set of all $*$-central polynomials for $UT_n(\mathbb{F})$ when $n\geq 3$ and $p\neq 2$ ; the set of all $*$-polynomial identities for $UT_3(\mathbb{F})$ when $\mathbb{F}$ is infinite and $p>2$.
We consider polynomials in R[x] which map the set of nonnegative (element-wise) matrices of a given order into itself. Let n be a positive integer and define P(n)= {p in R[x] : p(A) is nonnegative (element-wise), for all A, A an n-by-n nonnegative (element-wise) matrix}. This set plays a role in the Nonnegative Inverse Eigenvalue Problem. Clark and Paparella conjectured that P(n+1) is strictly contained in P(n). We prove this conjecture.
We delineate the image of multilinear Lie polynomial of degree $2$ evaluated on $L$ where $L$ is a finite-dimensional nilpotent Lie algebra over field $k$ with $\dim L' \leq 4$.
We equip the complex polynomial algebra C[t] with the involution which is the identity on C and sends t to -t. Answering a question raised by V.G. Kac, we show that every hermitian or skew-hermitian matrix over this algebra is congruent to the direct sum of 1 by 1 matrices and 2 by 2 matrices with zero diagonal. Morevover, we show that if two n by n hermitian or skew-hermitian matrices have the same invariant factors, then they are congruent. The complex field can be replaced by any algebraically closed field of characteristic not 2.
This paper gives a necessary and sufficient condition for robust D-stability of Polytopic Polynomial Matrices. Edge theorem is extended to multi-input-multi-output case.
A known characterization for entire functions that preserve all nonnegative matrices of order two is shown to characterize polynomials that preserve nonnegative matrices of order two. Equivalent conditions are derived and used to prove that $\mathscr{P}_3 \subset \mathscr{P}_2$, which was previously unknown. A new characterization is given for polynomials that preserve nonnegative circulant matrices of order two.
Let $\mathbb{F}_q$ be a finite field with $q$ elements. M. Gerstenhaber and Irving Reiner has given two different methods to show the number of matrices with a given characteristic polynomial. In this talk, we will give another proof for the particular case where the characteristic polynomial is irreducible. The number of such matrices is important to know the efficiency of an algorithm to factor polynomials using Drinfeld modules.
By viewing non-commutative polynomials, that is, elements in free associative algebras, in terms of linear representations, we generalize Horner's rule to the non-commutative (multivariate) setting. We introduce the concept of Horner systems (which has parallels to that of companion matrices), discuss their construction and show how they enable the efficient evaluation of non-commutative polynomials by matrices.
We give an easy algorithm which calculates the generating function of the cocharacter sequence of the T-ideal of the polynomial identities of the algebra of upper triangular matrices over a field of characteristic zero. Applying this algorithm we have found the explicit form of the multiplicities in two cases: (i) for the "largest" partitions; (ii) for matrices of small size and for all partitions.
If the inverse of a nonsingular polynomial matrix $L$ has a polynomial part then one can associate with $L$ a module over the ring of proper rational functions, which is related to the structure of $L$ at infinity. In this paper we characterize homomorphisms of such modules.
We give an algorithm which calculates the generating function of the cocharacter sequence of the polynomial identities of the algebra of upper block triangular (p+2q) x (p+2q) matrices over a field of characteristic zero with diagonal consisting of p copies of 1 x 1 and q copies of 2 x 2 matrices. We have found the explicit form of the multiplicities and their asymptotic behaviour for small values of p and q.
We prove certain identities involving Euler and Bernoulli polynomials that can be treated as recurrences. We use these and also other known identities to indicate connection of Euler and Bernoulli numbers with entries of inverses of certain lower triangular built of binomial coefficients. Another words we interpret Euler and Bernoulli numbers in terms of modified Pascal matrices.
Supertropical matrix theory was investigated in [6], whose terminology we follow. In this work we investigate eigenvalues, characteristic polynomials and coefficients of characteristic polynomials of supertropical matrices and their powers, and obtain the analog to the basic property of matrices that any power of an eigenvalue of a matrix is an eigenvalue of the corresponding power of the matrix.
We give a detailed account of various connections between several classes of objects: Hankel, Hurwitz, Toeplitz, Vandermonde and other structured matrices, Stietjes and Jacobi-type continued fractions, Cauchy indices, moment problems, total positivity, and root localization of univariate polynomials. Along with a survey of many classical facts, we provide a number of new results.
