Dimension inequalities for the closure of the image of a multilinear function

In this note we give a simple proof and an extension of a dimension inequality of Howard concerning the range of a multilinear function with vector space range by using some results on algebraic varieties.     

Linear preservers of decomposable symmetric tensors

Let U be an n-dimensional vector space over an algebraically closed field F. Let U(^m) denote the mth symmetric power of U. For each positive integer k≤min{m,n}, let D_k denote the set of all nonzero decomposable elements x₁ …x_m in U(^m) such that dim(x₁ …x_m ) = k and E_k denote the set of all decomposable elements x₁ …x_m in U(^m) such that dim(x₁ …x_m ) ≤ k. In this paper we first show that E_k is an algebraic variety with D_k as a dense subset and determine the dimension of E_k . We next use these results to study the structure of linear mappings T on U^m such that T(D_k ) ? D_k or T(E_k ) ? E_k for some fixed k.     

On the orthogonal basis of the symmetry classes of tensors associated with the dicyclic group

A necessary and sufficient condition for the existence of orthogonal basis of decomposable symmetrized tensors for the symmetry classes of tensors associated with the dicyclic group is given. In particular we apply these conditions to the generalized quaternion group, for which the dimensions of the symmetry classes of tensors are computed.     

Extremal matrices in certain determinantal inequalities

The extremal matrices in certain inequalities for determinants of sums are characterized. Related determinantal inequalities involving Hadamard products of positive definite matrices are presented. These inequalities are easy consequences of majorization results recently obtained by Ando and Visick.     

An approximate, multivariable version of Specht's theorem

In this article we provide generalizations of Specht's theorem which states that two n × n matrices A and B are unitarily equivalent if and only if all traces of words in two non-commuting variables applied to the pairs (A, A*) and (B, B*) coincide. First, we obtain conditions which allow us to extend this to simultaneous similarity or unitary equivalence of families of operators, and secondly, we show that it suffices to consider a more restricted family of functions when comparing traces. Our results do not require the traces of words in (A, A*) and (B, B*) to coincide, but only to be close.     

Spectrally arbitrary zero-nonzero patterns of order 4

In this article the authors characterize all the 4×4 zero-nonzero patterns that are spectrally arbitrary. Several observations and conjectures are presented for the n × n case.     

Matrices that preserve vectors of fixed sign variation

For each k≥ 0, those nonsingular matrices that transform the set of totally nonzero vectors with k sign variations into (respectively, onto) itself are studied. Necessary and sufficient conditions are provided. The cases k=0,1,2,n-3,n-2,n-1 are completely characterized.     

A concise proof of Kruskal’s theorem on tensor decomposition

A theorem of J. Kruskal from 1977, motivated by a latent-class statistical model, established that under certain explicit conditions the expression of a third-order tensor as the sum of rank-1 tensors is essentially unique. We give a new proof of this fundamental result, which is substantially shorter than both the original one and recent versions along the original lines.     

Some necessary and some sufficient trace inequalities for Euclidean distance matrices

In this article, we use known bounds on the smallest eigenvalue of a symmetric matrix and Schoenberg's theorem to provide both necessary as well as sufficient trace inequalities that guarantee a matrix D is a Euclidean distance matrix, EDM. We also provide necessary and sufficient trace inequalities that guarantee a matrix D is an EDM generated by a regular figure.     

Some rank equalities and inequalities for Kronecker products of matrices

A set of rank equalities and inequalities are established for block matrices consisting of Kronecker products. Various consequences are also given.     

Linear operators preserving the decomposable numerical range

Multilinear techniques are used to characterize unitary matrices in terms of a generalized numerical range. This characterization is then applied to analyze the structure of all linear operators on matrices which preserve this numerical range. The results generalize V. J. Pellegrini's determination of all linear operators preserving the classical numerical range.     

Frobenius type theorems in the noncommutative case ∗

The classification of semilinear transformations preserving the determinant over a noncommutative local ring is given. For local Ore domains we obtain a classification of Adjamagbo determinant preservers. The developed technique allows us to classify Dieudonné determinant preservers for division rings which may be infinite dimensional over the center.     

Regular closure operators

In an E,M-categoryX for sinks, we identify necessary conditions for Galois connections from the power collection of the class of (composable pairs) of morphisms inM to factor through the lattice of all closure operators onM, and to factor through certain sublattices. This leads to the notion ofregular closure operator. As one byproduct of these results we not only arrive (in a novel way) at the Pumplün-Röhrl polarity between collections of morphisms and collections of objects in such a category, but obtain many factorizations of that polarity as well. (One of these factorizations constituted the main result of an earlier paper by the same authors). Another byproduct is the clarification of the Salbany construction (by means of relative dominions) of the largest idempotent closure operator that has a specified class ofX-objects as separated objects. The same relation that is used in Salbany's relative dominion construction induces classical regular closure operators as described above. Many other types of closure operators can be obtained by this technique; particular instances of this are the idempotent and modal closure operators that in a Grothendieck topos correspond to the Grothendieck topologies.Dedicated to Professor Dieter Pumplün, on his 60th birthdayResearch partially supported by the Faculty of Arts and Sciences, University of Puerto Rico, Mayagüez Campus during a sabbatical visit at Kansas State University.     

Bounds for the zeros of polynomials from matrix inequalities - II

In this article, we present new bounds for the zeros of polynomials depending on some estimates for the spectral norms and the spectral radii of the square and the cube of the Frobenius companion matrix.     

Symmetry classes of tensors via semigroup operands

The symmetry of tensors, such as the symmetric or antisymmetric ones (built on a finite-dimensional complex vector space) may be described by a complex-valued homomorphism of the symmetric group with the specification that its action equal scalar multiplication by the value, e.g. by 1 or sign. This condition may be construed as a universalizing operand (over the symmetric group with 0) homomorphism from the unsymmetrized tensors—a restructuring which permits a clearer and more effective treatment of these symmetries; freed from the multilinear setting in which they arose, it also points the way to a development of semigroup symmetries on more general universal algebras.     

Some inequalities for communtators and an application to spectral variation

Summary If –I is a positive semidefinite operator andA andB are either both Hermitian or both unitary, then every unitarily invariant norm ofA–B is shown to be bounded by that ofA–B. Some related inequalities are proved. An application leads to a generalization of the Lidskii-Wielandt inequality to matrices similar to Hermitian.Dedicated to the memory of Alexander M. Ostrowski on the occasion of the 100th anniversary of his birth