Idempotency of linear combinations of an idempotent matrix and a t -potent matrix that do not commute

The problem of characterizing all situations in which aA?+?bB is an idempotent matrix when A ²?=?A, B ^k?+?1?=?B, AB?≠?BA, and a, b are nonzero complex numbers is studied.     

The solution of the equation AX + BX ⋆ = 0

We give a complete solution of the matrix equation AX?+?BX ^??=?0, where A, B?∈?? ^m×n are two given matrices, X?∈?? ^n×n is an unknown matrix, and ? denotes the transpose or the conjugate transpose. We provide a closed formula for the dimension of the solution space of the equation in terms of the Kronecker canonical form of the matrix pencil A?+?λB, and we also provide an expression for the solution X in terms of this canonical form, together with two invertible matrices leading A?+?λB to the canonical form by strict equivalence.     

On the matrix inequality (I + X)−1 ≤ I

In this note we consider the question under which conditions all entries of the matrix I???(I?+?X)^?1 are nonnegative in case matrix X is a real positive definite matrix. Sufficient conditions are presented as well as some necessary conditions. One sufficient condition is that matrix X ^?1 is an inverse M-matrix. A class of matrices for which the inequality holds is presented.     

Linear preservers and quantum information science

In this article, a brief survey of recent results on linear preserver problems and quantum information science is given. In addition, characterization is obtained for linear operators φ on mn?×?mn Hermitian matrices such that φ(A???B) and A???B have the same spectrum for any m?×?m Hermitian A and n?×?n Hermitian B. Such a map has the form A???B???U(?₁(A)????₂(B))U* for mn?×?mn Hermitian matrices in tensor form A???B, where U is a unitary matrix, and for j?∈?{1,?2}, ? _j is the identity map?X???X or the transposition map?X???X ^t . The structure of linear maps leaving invariant the spectral radius of matrices in tensor form A???B is also obtained. The results are connected to bipartite (quantum) systems and are extended to multipartite systems.     

A characterisation of common diagonal stability over cones

In this article, a general notion of common diagonal Lyapunov matrix is formulated for a collection of n?×?n matrices A ₁,?…?,?A _s , and cones k ₁,?…?,?k _s in ? ⁿ . Necessary and sufficient conditions are derived for the existence of a common diagonal Lyapunov matrix in this setting. The conditions are similar to and extend the well-known criteria for the case s?=?1, k ₁?=?? ⁿ .     

Existence of a low rank or ℋ︁‐matrix approximant to the solution of a Sylvester equation

We consider the Sylvester equation AX?XB+C=0 where the matrix C∈?^n×m is of low rank and the spectra of A∈?^n×n and B∈?^m×m are separated by a line. We prove that the singular values of the solution X decay exponentially, that means for any ε∈(0,1) there exists a matrix X? of rank k=O(log(1/ε)) such that ∥X?X?∥₂?ε∥X∥₂. As a generalization we prove that if A,B,C are hierarchical matrices then the solution X can be approximated by the hierarchical matrix format described in Hackbusch (Computing 2000; 62 : 89–108). The blockwise rank of the approximation is again proportional to log(1/ε). Copyright © 2004 John Wiley & Sons, Ltd.     

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.     

Eigenvalues of products of matrices

Let A and B be n?×?n matrices over an algebraically closed field F. The pair ( A,?B ) is said to be spectrally complete if, for every sequence c₁,…,c_n ∈F such that det (AB)=c₁ ,…,c_n , there exist matrices A′,B,′∈F,^n×n similar to A,?B, respectively, such that A′B′ has eigenvalues c₁,…,c_n . In this article, we describe the spectrally complete pairs. Assuming that A and B are nonsingular, the possible eigenvalues of A′B′ when A′ and B′ run over the sets of the matrices similar to A and B, respectively, were described in a previous article.     

Quadratically normal and congruence-normal matrices

A matrix A ∈ C ^n×n is unitarily quasidiagonalizable if A can be brought by a unitary similarity transformation to a block diagonal form with 1 × 1 and 2 × 2 diagonal blocks. In particular, the square roots of normal matrices, i.e., the so-called quadratically normal matrices are unitarily quasidiagonalizable. A matrix A ∈ C ^n×n is congruence-normal if B = A[`(A)] B = A\overline A is a conventional normal matrix. We show that every congruence-normal matrix A can be brought by a unitary congruence transformation to a block diagonal form with 1 × 1 and 2 × 2 diagonal blocks. Our proof emphasizes andexploitsalikenessbetween theequations X <sup>2</sup> = B and X[`(X)] = B X\overline X = B for a normal matrix B. Bibliography: 13 titles.     

Counting points in hypercubes and convolution measure algebras

It is shown that ifA andB are non-empty subsets of {0, 1} ⁿ (for somenεN) then |A+B|≧(|A||B|)^α where α=(1/2) log₂ 3 here and in what follows. In particular if |A|=2 ^n-1 then |A+A|≧3 ^n-1 which anwers a question of Brown and Moran. It is also shown that if |A| = 2 ^n-1 then |A+A|=3 ^n-1 if and only if the points ofA lie on a hyperplane inn-dimensions. Necessary and sufficient conditions are also given for |A +B|=(|A||B|)^α. The above results imply the following improvement of a result of Talagrand [7]: ifX andY are compact subsets ofK (the Cantor set) withm(X),m(Y)>0 then λ(X+Y)≧2(m(X)m(Y))^α wherem is the usual measure onK and λ is Lebesgue measure. This also answers a question of Moran (in more precise terms) showing thatm is not concentrated on any proper Raikov system.     

Classifying Hilbert bundles

A Hilbert bundle (p, B, X) is a type of fibre space p:B → X such that each fibre p^?1(x) is a Hilbert space. However, p^?1(x) may vary in dimension as x varies in X. We generalize the classical homotopy classification theory of vector bundles to a “homotopy” classification of certain Hilbert bundles. An (m, n)-bundle over the pair (X, A) is a Hilbert bundle (p, B, X) such that the dimension of p^?1(x) is m for x in A and n otherwise. The main result here is that if A is a compact set lying in the “edge” of the metric space X (e.g. if X is a topological manifold and A is a compact subset of the boundary of X), then the problem of classifying (m, n)-bundles over (X, A) reduces to a problem in the classical theory of vector bundles. In particular, we show there is a one-to-one correspondence between the members of the orbit set, [A, G_m($\text{C}$ⁿ)]/[X, U(n)] ¦ A, and the isomorphism classes of (m, n)-bundles over (X, A) which are trivial over X, A.     

Positive definite solution of the matrix equation \boldsymbol {X=Q+A^{H}(I\otimes X-C)^{\delta}A}

Consider the nonlinear matrix equation X?=?Q?+?A ^H (I???X???C) ^?? A ( ???=???1 or 0?<?|??|?<?1), where Q is an n×n positive definite matrix, C is an mn ×mn positive semidefinite matrix, I is an m×m identity matrix, and A is an arbitrary mn×n matrix. This equation is connected with a certain interpolation problem when ???=???1. Using the properties of the Kronecker product and the theory for the monotonic operator defined in a normal cone, we prove the existence and uniqueness of the positive definite solution which is contained in the set {X|I???X?>?C} under the condition that I???Q?>?C. The iterative methods to compute the unique solution is proposed. Numerical examples show that the methods are feasible and effective.     

Planar Maximum Box Problem

Given two finite sets of points X ⁺ and X ⁻ in ℝ ^d , the maximum box problem asks to find an axis-parallel box B such that B∩X ⁻=∅ and the total number of points from X ⁺ covered is maximized. In this paper we consider the version of the problem for d = 2 (and find the smallest solution box). We present an O(n ³ log⁴ n) runtime algorithm, thus improving previously best known solution by almost quadratic factor. This revised version was published online in August 2006 with corrections to the Cover Date.     

t-closed rings of formal power series

Let A ì BA\subset B be rings. We say that A is t-closed in B, if for each a ? Aa\in A and b ? Bb\in B such that b²-ab,b³-ab² ? Ab^2-ab,b^3-ab^2\in A, then b ? Ab\in A. We present a sufficient condition for the ring A[[X₁,?,X_n]]A[[X_1,\ldots ,X_n]] to be t-closed in B[[X₁,?,X_n]]B[[X_1,\ldots ,X_n]]. By an example, we show that our condition is not necessary. Even though the question is still open, some important cases are treated. For example, if A ì BA\subset B is an integral extension, or if A is p-injective, then A[[X₁,?,X_n]]A[[X_1,\ldots ,X_n]] is t-closed in B[[X₁,?,X_n]]B[[X_1,\ldots ,X_n]] if and only if A is t-closed in B.     

Symplectic modules over overrings of polynomial rings

Let B be a commutative Noetherian ring of dimension d and let S be a set of all monic polynomials in B[X]. Let A be a subring of S ⁻¹ B[X] which contains B[X]. Let P be a symplectic A-module of rank 2n ≥ d, n > 0. Then we prove that ESp (A ² ⊥ P, 〈,〉) acts transitively on Um (A ² ⊕ P).     

On functions that preserve M-matrices and inverse M-matrices

In earlier works, authors such as Varga, Micchelli and Willoughby, Ando, and Fiedler and Schneider have studied and characterized functions which preserve the M-matrices or some subclasses of the M-matrices, such as the Stieltjes matrices. Here we characterize functions which either preserve the inverse M-matrices or map the inverse M-matrices to the M-matrices. In one of our results we employ the theory of Pick functions to show that if A and B are inverse M-matrices such that B ^?1 ≤ A ^?1, then (B+tI)?1 ≤ (A+tI)?1, for all t?≥?0.     

Uniform and minimal {0,1} – cp matrices

Let A be an n?×?n real matrix. A is called {0,1}-cp if it can be factorized as A?=?BB ^T with b_ij =0 or 1. The smallest possible number of columns of B in such a factorization is called the {0,1}-rank of A. A {0,1}-cp matrix A is called minimal if for every nonzero nonnegative n?×?n diagonal matrix D, A-D is not {0,1}-cp, and r-uniform if it can be factorized as A=BB ^T, where B is a (0,?1) matrix with r 1s in each column. In this article, we first present a necessary condition for a nonsingular matrix to be {0,1}-cp. Then we characterize r-uniform {0,1}-cp matrices. We also obtain some necessary conditions and sufficient conditions for a matrix to be minimal {0,1}-cp, and present some bounds for {0,1}-ranks.     

Nonlinear Lie derivations on upper triangular matrices

Let M _n (𝔸) and T _n (𝔸) be the algebra of all n?×?n matrices and the algebra of all n?×?n upper triangular matrices over a commutative unital algebra 𝔸, respectively. In this note we prove that every nonlinear Lie derivation from T _n (𝔸) into M _n (𝔸) is of the form A?→?AT???TA?+?A _??+?ξ(A)I _n , where T?∈?M _n (𝔸), ??:?𝔸?→?𝔸 is an additive derivation, ξ?:?T _n (𝔸)?→?𝔸 is a nonlinear map with ξ(AB???BA)?=?0 for all A,?B?∈?T _n (𝔸) and A _? is the image of A under???applied entrywise.     

The invertibility of the difference and the sum of commuting generalized and hypergeneralized projectors

In this article, we study necessary and sufficient conditions for the invertibility of a linear combination c ₁ A ^k ?+?c ₂ B ^l , in the case when A and B are both commuting generalized or hypergeneralized projectors. We present some results relating different matrix partial orderings and the invertibility of a linear combination c ₁ A ^k ?+?c ₂ B ^l when A and B are hypergeneralized projectors.