Quasi-duo rings and stable range descent

In a recent paper, the first author introduced a general theory of corner rings in noncommutative rings that generalized the classical theory of Peirce decompositions. This theory is applied here to the study of the stable range of rings upon descent to corner rings. A ring is called quasi-duo if every maximal 1-sided ideal is 2-sided. Various new characterizations are obtained for such rings. Using some of these characterizations, we prove that, if a quasi-duo ring R has stable range ?n, the same is true for any semisplit corner ring of R. This contrasts with earlier results of Vaserstein and Warfield, which showed that the stable range can increase unboundedly upon descent to (even) Peirce corner rings.     

When is the numerical range of a nilpotent matrix circular?

The problem formulated in the title is investigated. The case of nilpotent matrices of size at most 4 allows a unitary treatment. The numerical range of a nilpotent matrix M of size at most 4 is circular if and only if the traces tr M^∗M² and tr M^∗M³ are null. The situation becomes more complicated as soon as the size is 5. The conditions under which a 5×5 nilpotent matrix has circular numerical range are thoroughly discussed.     

Characterizations of EP matrices and weighted-EP matrices

A square complex matrix A is said to be EP if A and its conjugate transpose A^∗ have the same range. In this paper, we first collect a group of known characterizations of EP matrix, and give some new characterizations of EP matrices. Then, we define weighted-EP matrix, and present a wealth of characterizations for weighted-EP matrix through various rank formulas for matrices and their generalized inverses.     

Numerical ranges of reducible companion matrices

In this paper, we show that a reducible companion matrix is completely determined by its numerical range, that is, if two reducible companion matrices have the same numerical range, then they must equal to each other. We also obtain a criterion for a reducible companion matrix to have an elliptic numerical range, put more precisely, we show that the numerical range of an n-by-n reducible companion matrix C is an elliptic disc if and only if C is unitarily equivalent to A⊕B, where A∈M_n-2, B∈M₂ with σ(B)={aω₁,aω₂}, , ω₁≠ω₂, and .     

Arhangel'ski?'s solution to Alexandroff's problem: A survey

In 1969, Arhangel'ski? proved that |X|?²χ(X)L(X) for every Hausdorff space X. This beautiful inequality solved a nearly fifty-year old question raised by Alexandroff and Urysohn. In this paper we survey a wide range of generalizations and variations of Arhangel'ski?'s inequality. We also discuss open problems and an important legacy of the theorem: the emergence of the closure method as a fundamental unifying device in cardinal functions.     

Schur product of matrices and numerical radius (range) preserving maps

Let F(A) be the numerical range or the numerical radius of a square matrix A. Denote by A ° B the Schur product of two matrices A and B. Characterizations are given for mappings on square matrices satisfying F(A ° B) = F(?(A) ° ?(B)) for all matrices A and B. Analogous results are obtained for mappings on Hermitian matrices.     

Isometries of a generalized numerical radius

For 0<q<1, the q-numerical range is defined on the algebra M_n of all n×n complex matrices by

W_q(A)={x^∗Ay:x,y∈Cⁿ,∥x∥=∥y∥=1,〈y,x〉=q}.     

Numerical ranges of nilpotent operators

For any operator A on a Hilbert space, let W(A), w(A) and w₀(A) denote its numerical range, numerical radius and the distance from the origin to the boundary of its numerical range, respectively. We prove that if Aⁿ=0, then w(A)?(n-1)w₀(A), and, moreover, if A attains its numerical radius, then the following are equivalent: (1) w(A)=(n-1)w₀(A), (2) A is unitarily equivalent to an operator of the form aA_n⊕A^′, where a is a scalar satisfying |a|=2w₀(A), A_n is the n-by-n matrix

     

Moment conditions and support theorems for Radon transforms on affine Grassmann manifolds

Let G(p,n) and G(q,n) be the affine Grassmann manifolds of p- and q-planes in Rⁿ, respectively, and let be the Radon transform from smooth functions on G(p,n) to smooth functions on G(q,n) arising from the inclusion incidence relation. When p<q and dimG(p,n)=dimG(p,n), we present a range characterization theorem for via moment conditions. We then use this range result to prove a support theorem for . This complements a previous range characterization theorem for via differential equations when dimG(p,n)<dimG(p,n). We also present a support theorem in this latter case.     

Spectral inclusion properties of the numerical range in a space with an indefinite metric

In this paper the numerical range of operators (possibly unbounded) in an indefinite inner product space is studied. In particular, we show that the spectrums of bounded positive operators (or the spectrum of unbounded uniformly I-positive operators) are contained in the closure of the I-numerical range.     

On disjoint range matrices

For a square complex matrix F and for F^∗ being its conjugate transpose, the class of matrices satisfying R(F)∩R(F^∗)={0}, where R(.) denotes range (column space) of a matrix argument, is investigated. Besides identifying a number of its properties, several functions of F, such as F+F^∗, (F:F^∗), FF^∗+F^∗F, and F-F^∗, are considered. Particular attention is paid to the Moore-Penrose inverses of those functions and projectors attributed to them. It is shown that some results scattered in the literature, whose complexity practically prevents them from being used to deal with real problems, can be replaced with much simpler expressions when the ranges of F and F^∗ are disjoint. Furthermore, as a by-product of the derived formulae, one obtains a variety of relevant facts concerning, for instance, rank and range.     

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 product of operators with closed range in Hilbert C-modules

Suppose T and S are bounded adjointable operators with close range between Hilbert C^∗-modules, then TS has closed range if and only if Ker(T)+Ran(S) is an orthogonal summand, if and only if Ker(S^∗)+Ran(T^∗) is an orthogonal summand. Moreover, if the Dixmier (or minimal) angle between Ran(S) and Ker(T)∩[Ker(T)∩Ran(S)]^⊥ is positive and is an orthogonal summand then TS has closed range.     

OMC for scalar multiples of unitaries

We establish the following case of the Determinantal Conjecture of Marcus [M. Marcus, Derivations, Plücker relations and the numerical range, Indiana Univ. Math. J. 22 (1973) 1137-1149] and de Oliveira [G.N. de Oliveira, Research problem: Normal matrices, Linear and Multilinear Algebra 12 (1982) 153-154]. Let A and B be unitary n × n matrices with prescribed eigenvalues a₁, … , a_n and b₁, … , b_n, respectively. Then for any scalars t and s

     

Birkhoff's theorem and multidimensional numerical range

We show that, under certain conditions, Birkhoff's theorem on doubly stochastic matrices remains valid for countable families of discrete probability spaces which have nonempty intersections. Using this result, we study the relation between the spectrum of a self-adjoint operator A and its multidimensional numerical range. It turns out that the multidimensional numerical range is a convex set whose extreme points are sequences of eigenvalues of the operator A. Every collection of eigenvalues which can be obtained by the Rayleigh-Ritz formula generates an extreme point of the multidimensional numerical range. However, it may also have other extreme points.     

Reduction of the c-numerical range to the classical numerical range

Let A be an n×n complex matrix and c=(c₁,c₂,…,c_n) a real n-tuple. The c-numerical range of A is defined as the set

     

Singular value estimates of oblique projections

Let W and M be two finite dimensional subspaces of a Hilbert space H such that H=W⊕M^⊥, and let P_W‖M^⊥ denote the oblique projection with range W and nullspace M^⊥. In this article we get the following formula for the singular values of P_W‖M^⊥

     

Joint numerical range and its generating hypersurface

In this paper, we study the joint numerical range of m-tuples of Hermitian matrices via their generating hypersurfaces. An example is presented which shows the invalidity of an analogous Kippenhahn theorem for the joint numerical range of three Hermitian matrices.     

Multiplicative maps preserving the higher rank numerical ranges and radii

Let M_n be the semigroup of n×n complex matrices under the usual multiplication, and let S be different subgroups or semigroups in M_n including the (special) unitary group, (special) general linear group, the semigroups of matrices with bounded ranks. Suppose Λ_k(A) is the rank-k numerical range and r_k(A) is the rank-k numerical radius of A∈M_n. Multiplicative maps ?:S→M_n satisfying r_k(?(A))=r_k(A) are characterized. From these results, one can deduce the structure of multiplicative preservers of Λ_k(A).