Lower bounds for the minimum eigenvalue of Hadamard product of an M-matrix and its inverse

For the Hadamard product A ° A⁻¹ of an M-matrix A and its inverse A⁻¹, we give new lower bounds for the minimum eigenvalue of A ° A⁻¹. These bounds are strong enough to prove the conjecture of Fiedler and Markham [An inequality for the Hadamard product of an M-matrix and inverse M-matrix, Linear Algebra Appl. 101 (1988) 1-8].     

Construction of nonnegative matrices and the inverse eigenvalue problem

This article presents a technique for combining two matrices, an n?×?n matrix M and an m?×?m matrix B, with known spectra to create an (n?+?m???p)?×?(n?+?m???p) matrix N whose spectrum consists of the spectrum of the matrix M and m???p eigenvalues of the matrix B. Conditions are given when the matrix N obtained in this construction is nonnegative. Finally, these observations are used to obtain several results on how to construct a realizable list of n?+?1 complex numbers (λ₁,λ₂,λ₃,σ) from a given realizable list of n complex numbers (c ₁,c ₂,σ), where c ₁ is the Perron eigenvalue, c ₂ is a real number and σ is a list of n???2 complex numbers.     

TT-eigentensors for the Lichnerowicz Laplacian on some asymptotically hyperbolic manifolds with warped products metrics

Let (M =]0, ∞[×N, g) be an asymptotically hyperbolic manifold of dimension n + 1 ≥ 3, equipped with a warped product metric. We show that there exist no TT L ²-eigentensors with eigenvalue in the essential spectrum of the Lichnerowicz Laplacian Δ _L . If (M, g) is the real hyperbolic space, there is no symmetric L ²-eigentensors of Δ _L .     

Subspaces where an immanant is convertible into its conjugate ∗

Let n≥5 and let be an irreducible nonlinear character of S_n such that whenever σ is a transposition or a cycle of length three; furthermore let T_n be the (0, 1)-matrix of order n that has ones exactly on and below the upper neighbours of the main diagonal and denote by E_ij the matrix of order n with 1 in position (i, j) and 0 elsewhere.

Given i,jε{1,…,n}, with i+1<j, we prove that if j?i≠3, then in the subspace M_n (T_n +E_ij there exist matrices for which the immanant is not convertible into the immanant by sign-affixing. Abusing language, we say that the space is -inconvertible, and show that spaces M_n (T_n +E₂₅ ) and M_n (T_n +E_n?3,n ). We also state some sufficient fonditions for the subspace M_n (T_n ) to be external convertible.

With some exceptions our theorems say that the coordinate subspaces found for the conversion of the permanent into the determinant by Gibson around 1970 are also best possible for other immanants.     

On theLU factorization ofM-matrices

Summary In this paper, we give in Theorem 1 a characterization, based on graph theory, of when anM-matrixA admits anLU factorization intoM-matrices, whereL is a nonsingular lower triangularM-matrix andU is an upper triangularM-matrix. This result generalizes earlier factorization results of Fiedler and Pták (1962) and Kuo (1977). As a consequence of Theorem 1, we show in Theorem 3 that the conditionx ^T A0 ^T for somex>0, for anM-matrixA, is both necessary and sufficient forPAP ^T to admit such anLU factorization for everyn×n permutation matrixP. This latter result extends recent work of Funderlic and Plemmons (1981). Finally, Theorem 1 is extended in Theorem 5 to give a characterization, similarly based on graph theory, of when anM-matrixA admits anLU factorization intoM-matrices.Dedicated to Professor Ky Fan on his sixty-seventh birthday, September 19, 1981.Research supported in part by the Air Force Office of Scientific Research, and by the Department of Energy     

On a subspace metric based on matrix rank

The metric between subspaces M,N⊆C_n,1, defined by δ(M,N)=rk(P_M-P_N), where rk(·) denotes rank of a matrix argument and P_M and P_N are the orthogonal projectors onto the subspaces M and N, respectively, is investigated. Such a metric takes integer values only and is not induced by any vector norm. By exploiting partitioned representations of the projectors, several features of the metric δ(M,N) are identified. It turns out that the metric enjoys several properties possessed also by other measures used to characterize subspaces, such as distance (also called gap), Frobenius distance, direct distance, angle, or minimal angle.     

On the span of Hadamard products of vectors

Let A₁, … , A_k be positive semidefinite matrices and B₁, … , B_k arbitrary complex matrices of order n. We show that

span{(A₁x)°(A₂x)°?°(A_kx)|x∈Cⁿ}=range(A₁°A₂°?°A_k)     

The inverse positivity of perturbed tridiagonal M-matrices

A well-known property of an M-matrix M is that the inverse is element-wise non-negative, which we write as M^-1?0. In this paper, we consider element-wise perturbations of non-symmetric tridiagonal M-matrices and obtain sufficient bounds on the perturbations so that the non-negative inverse persists. These bounds improve the bounds recently given by Kennedy and Haynes [Inverse positivity of perturbed tridiagonal M-matrices, Linear Algebra Appl. 430 (2009) 2312-2323]. In particular, when perturbing the second diagonals (elements (l,l+2) and (l,l-2)) of M, these sufficient bounds are shown to be the actual maximum allowable perturbations. Numerical examples are given to demonstrate the effectiveness of our estimates.     

On the inverse mean first passage matrix problem and the inverse M-matrix problem

The inverse mean first passage time problem is given a positive matrix M∈R^n,n, then when does there exist an n-state discrete-time homogeneous ergodic Markov chain C, whose mean first passage matrix is M? The inverse M-matrix problem is given a nonnegative matrix A, then when is A an inverse of an M-matrix. The main thrust of this paper is to show that the existence of a solution to one of the problems can be characterized by the existence of a solution to the other. In so doing we extend earlier results of Tetali and Fiedler.     

To what extent is a large space of matrices not closed under product?

Let (K) be a field. Given an arbitrary linear subspace V of M_n(K) of codimension less than n-1, a classical result states that V generates the (K)-algebra M_n(K). Here, we strengthen this statement in three ways: we show that M_n(K) is spanned by the products of the form AB with (A,B)∈V²; we prove that every matrix in M_n(K) can be decomposed into a product of matrices of V; finally, when V is a linear perplane of M_n(K) and n>2, we show that every matrix in M_n(K) is a product of two elements of V.     

Idempotent elements determined matrix algebras

Let M_n(R) be the algebra of all n×n matrices over a unital commutative ring R with 2 invertible, V be an R-module. It is shown in this article that, if a symmetric bilinear map {·,·} from M_n(R)×M_n(R) to V satisfies the condition that {u,u}={e,u} whenever u²=u, then there exists a linear map f from M_n(R) to V such that . Applying the main result we prove that an invertible linear transformation θ on M_n(R) preserves idempotent matrices if and only if it is a Jordan automorphism, and a linear transformation δ on M_n(R) is a Jordan derivation if and only if it is Jordan derivable at all idempotent points.     

On bilinear maps determined by rank one matrices with some applications

Let M_n be the algebra of all n×n matrix over a field F, A a rank one matrix in M_n. In this article it is shown that if a bilinear map ? from M_n×M_n to M_n satisfies the condition that ?(u,v)=?(I,A) whenever u·v=A, then there exists a linear map φ from M_n to M_n such that . If ? is further assumed to be symmetric then there exists a matrix B such that ?(x,y)=tr(xy)B for all x,y∈M_n. Applying the main result we prove that if a linear map on M_n is desirable at a rank one matrix then it is a derivation, and if an invertible linear map on M_n is automorphisable at a rank one matrix then it is an automorphism. In other words, each rank one matrix in M_n is an all-desirable point and an all-automorphisable point, respectively.     

ADDITIVE FAMILIES OF INVARIANTS OF SKEWSYMMETRIC TENSORS

Abstract

Let d be a positive integer and F be a field of characteristic 0. Suppose that for each positive integer n, I _n is a polynomial invariant of the usual action of GL_n (F) on Λ^d(Fⁿ), such that for t ? Λ^d(F ^k) and s ? Λ^d(F ^l), I _{k + l} (t l s) = I _k(t)I _t (s), where t ⊥ s is defined in §1.4. Then we say that {I_n} is an additive family of invariants of the skewsymmetric tensors of degree d, or, briefly, an additive family of invariants. If not all the I_n are constant we say that the family is non-trivial. We show that in each even degree d there is a non-trivial additive family of invariants, but that this is not so for any odd d. These results are analogous to those in our paper [3] for symmetric tensors. Our proofs rely on the symbolic method for representing invariants of skewsymmetric tensors. To keep this paper self-contained we expound some of that theory, but for the proofs we refer to the book [2] of Grosshans, Rota and Stein.     

On orthogonal systems of matrix algebras

In this work it is shown that certain interesting types of orthogonal system of subalgebras (whose existence cannot be ruled out by the trivial necessary conditions) cannot exist. In particular, it is proved that there is no orthogonal decomposition of M_n(C)⊗M_n(C)≡M_n²(C) into a number of maximal abelian subalgebras and factors isomorphic to M_n(C) in which the number of factors would be 1 or 3.In addition, some new tools are introduced, too: for example, a quantity c(A,B), which measures “how close” the subalgebras A,B⊂M_n(C) are to being orthogonal. It is shown that in the main cases of interest, c(A^′,B^′) - where A^′ and B^′ are the commutants of A and B, respectively - can be determined by c(A,B) and the dimensions of A and B. The corresponding formula is used to find some further obstructions regarding orthogonal systems.     

Multiplicative mappings at some points on matrix algebras

Let M_n be the algebra of all n×n matrices, and let φ:M_n→M_n be a linear mapping. We say that φ is a multiplicative mapping at G if φ(ST)=φ(S)φ(T) for any S,T∈M_n with ST=G. Fix G∈M_n, we say that G is an all-multiplicative point if every multiplicative linear bijection φ at G with φ(I_n)=I_n is a multiplicative mapping in M_n, where I_n is the unit matrix in M_n. We mainly show in this paper the following two results: (1) If G∈M_n with detG=0, then G is an all-multiplicative point in M_n; (2) If φ is an multiplicative mapping at I_n, then there exists an invertible matrix P∈M_n such that either φ(S)=PSP^-1 for any S∈M_n or φ(T)=PT^trP^-1 for any T∈M_n.     

Polynomial identities and maximal subgroups of skew linear groups

Suppose that D is a division ring with center F and N is a non-central normal subgroup of GL _n (D). In this paper we generalize some known results about maximal subgroups of GL _n (D) to maximal subgroups of N. More precisely, we prove that if M is a maximal subgroup of N such that F[M] satisfies a polynomial identity and contains an algebraic element over F or and either n ≥ 2 or n = 1 and M is not abelian, then [D : F] < ∞. This research was partially supported by a grant from IPM (No. 85160047).     

Additive Maps Preserving Moore–Penrose Inverses of Matrices on Symmetric Matrix Spaces

Suppose F is a field of characteristic not 2. Let M_n F and S_n F be the n × n full matrix space and symmetric matrix space over F, respectively. All additive maps from S_n F to S_n F (respectively, M_n F) preserving Moore–Penrose inverses of matrices are characterized. We first characterize all additive Moore–Penrose inverse preserving maps from S_n F to M_n F, and thereby, all additive Moore–Penrose inverse preserving maps from S_n F to itself are characterized by restricting the range of these additive maps into the symmetric matrix space.     

Para-orthogonal Laurent polynomials and associated sequences of rational functions

On the space, , of Laurent polynomials (L-polynomials) we consider a linear functional which is positive definite on (0, ) and is defined in terms of a given bisequence, { _k } _– . Two sequences of orthogonal L-polynomials, {Q _n (z) ₀ and , are constructed which span in the order {1,z ^–1,z,z ^–2,z ²,...} and {1,z,z ^–1,z ²,z ^–2,...} respectively. Associated sequences of L-polynomials {P _n (z) ₀ , and are introduced and we define rational functions , wherew is a fixed positive number. The partial fraction decomposition and integral representation of,M _n (z, w) are given and correspondence of {M _n (z, w)} is discussed. We get additional solutions to the strong Stieltjes moment problem from subsequences of {M _n (z, w)}. In particular when { _k } _– is a log-normal bisequence, {M _2n (z, w)} and {M _2n+1 (z, w)} yield such solutions.Research supported in part by the National Science Foundation under Grant DMS-9103141.     

Three enumeration formulas of standard Young tableaux of truncated shapes

In this paper we consider the enumeration of three kinds of standard Young tableaux (SYT) of truncated shapes by use of the method of multiple integrals. A product formula for the number of truncated shapes of the form (n^m, n ? r)\δ_k–1 is given, which implies that the number of SYT of truncated shape (n², 1)\(1) is the number of level steps in all 2-Motzkin paths. The number of SYT with three rows truncated by some boxes ((n + k)³)\(k) is discussed. Furthermore, the integral representation of the number of SYT of truncated shape (n^m)\(3, 2) is derived, which implies a simple formula of the number of SYT of truncated shape (nⁿ)\(3, 2).