Some inequalities for the Hadamard product and the Fan product of matrices

If A and B are nonsingular M-matrices, a sharp lower bound on the smallest eigenvalue τ(A★B) for the Fan product of A and B is given, and a sharp lower bound on τ(A°B^-1) for the Hadamard product of A and B^-1 is derived. In addition, we also give a sharp upper bound on the spectral radius ρ(A°B) for nonnegative matrices A and B.     

Coefficients of ergodicity and the scrambling index

For a primitive stochastic matrix S, upper bounds on the second largest modulus of an eigenvalue of S are very important, because they determine the asymptotic rate of convergence of the sequence of powers of the corresponding matrix. In this paper, we introduce the definition of the scrambling index for a primitive digraph. The scrambling index of a primitive digraph D is the smallest positive integer k such that for every pair of vertices u and v, there is a vertex w such that we can get to w from u and v in D by directed walks of length k; it is denoted by k(D). We investigate the scrambling index for primitive digraphs, and give an upper bound on the scrambling index of a primitive digraph in terms of the order and the girth of the digraph. By doing so we provide an attainable upper bound on the second largest modulus of eigenvalues of a primitive matrix that make use of the scrambling index.     

The sum of unitary similarity orbits containing only special operators

Let B(H) be the algebra of bounded linear operator acting on a Hilbert space H (over the complex or real field). Characterization is given to A₁,…,A_k∈B(H) such that for any unitary operators is always in a special class S of operators such as normal operators, self-adjoint operators, unitary operators. As corollaries, characterizations are given to A∈B(H) such that complex, real or nonnegative linear combinations of operators in its unitary orbit U(A)={U^∗AU:Uunitary} always lie in S.     

Bivariate box splines and smooth pp functions on a three direction mesh

Let S denote the space of bivariate piecewise polynomial functions of degree ? k and smoothness ρ on the regular mesh generated by the three directions (1, 0), (0, 1), (1, 1). We construct a basis for S in terms of box splines and truncated powers. This allows us to determine the polynomials which are locally contained in S and to give upper and lower bounds for the degree of approximation. For $\text{ρ = ?}\text{(2k ? 2)}\text{3}\text{?}$, k ? 2 (3), the case of minimal degree k for given smoothness ρ, we identify the elements of minimal support in S and give a basis for $\text{S}{}_{\mathrm{<mtext>loc</mtext>}}\text{= {f ∈ S:}\text{supp}\text{f ? Ω}}$, with Ω a convex subset of $\text{R}$².     

On subgroups of minimal topological groups

A topological group is minimal if it does not admit a strictly coarser Hausdorff group topology. The Roelcke uniformity (or lower uniformity) on a topological group is the greatest lower bound of the left and right uniformities. A group is Roelcke-precompact if it is precompact with respect to the Roelcke uniformity. Many naturally arising non-Abelian topological groups are Roelcke-precompact and hence have a natural compactification. We use such compactifications to prove that some groups of isometries are minimal. In particular, if U₁ is the Urysohn universal metric space of diameter 1, the group Iso(U₁) of all self-isometries of U₁ is Roelcke-precompact, topologically simple and minimal. We also show that every topological group is a subgroup of a minimal topologically simple Roelcke-precompact group of the form Iso(M), where M is an appropriate non-separable version of the Urysohn space.     

The Helgason Fourier transform for homogeneous vector bundles over compact Riemannian symmetric spaces—the local theory

The Helgason Fourier transform on noncompact Riemannian symmetric spaces G/K is generalized to the homogeneous vector bundles over the compact dual spaces U/K. The scalar theory on U/K was considered by Sherman (the local theory for U/K of arbitrary rank, and the global theory for U/K of rank one). In this paper we extend the local theory of Sherman to arbitrary homogeneous vector bundles on U/K. For U/K of rank one we also obtain a generalization of the Cartan-Helgason theorem valid for any K-type.     

Spectral criteria for complementary triangular forms

In this paper we consider the following problem: Given two matricesA,Z∈? ^n×n , does there exist an invertiblen×n-matrixS such thatS ^?1 AS is an upper triangular matrix andS ^?1 ZS is a lower triangular matrix, and if so, what can be said about the order in which the eigenvalues ofA andZ appear on the diagonals of these triangular matrices? For special choices ofA andZ a complete solution is possible, as has been shown by several authors. Here we follow a lead, provided by Shmuel Friedland, who discussed the case where bothA andZ have at leastn-1 linearly independent eigenvectors, and we descibe the problem in terms of Jordan chains and left-Jordan chains for the matricesA, Z. The results give some insight in the question why certain classes of matrices (like the nonderogatory and the rank 1 matrices) allow for a detailed solution of the problems described above; for some of these classes the result of this analysis is presented here for the first time.     

The ultimate estimate of the upper norm bound for the summation of operators

Let A and B be bounded linear operators acting on a Hilbert space H. It is shown that the triangular inequality serves as the ultimate estimate of the upper norm bound for the sum of two operators in the sense that

sup{∥U^*AU+V^*BV∥:U and V are unitaries}=min{∥A+μI∥+∥B-μI∥:μ∈C}.     

On the continuity of left translations in the LUC-compactification

Consider the continuity of left translations in the LUC-compactification GLUC of a locally compact group G. For every X⊆G, let κ(X) be the minimal cardinality of a compact covering of X in G. Let U(G) be the points in GLUC that are not in the closure of any X⊆G with κ(X)<κ(G). We show that the points at which no left translation in U(G) is continuous are dense in U(G). This result is a generalization of a theorem by van Douwen concerning discrete groups. We obtain a new proof for the fact that the topological center of GLUC?G is empty.     

Singularity, Wielandt’s lemma and singular values

In this study, some upper and lower bounds for singular values of a general complex matrix are investigated, according to singularity and Wielandt’s lemma of matrices. Especially, some relationships between the singular values of the matrix A and its block norm matrix are established. Based on these relationships, one may obtain the effective estimates for the singular values of large matrices by using the lower dimension norm matrices. In addition, a small error in Piazza (2002) [G. Piazza, T. Politi, An upper bound for the condition number of a matrix in spectral norm, J. Comput. Appl. Math. 143 (1) (2002) 141-144] is also corrected. Some numerical experiments on saddle point problems show that these results are simple and sharp under suitable conditions.     

Semidefinite descriptions of low-dimensional separable matrix cones

Let K⊂E, K^′⊂E^′ be convex cones residing in finite-dimensional real vector spaces. An element y in the tensor product E⊗E^′ is K⊗K^′-separable if it can be represented as finite sum , where x_l∈K and for all l. Let S(n), H(n), Q(n) be the spaces of n×n real symmetric, complex Hermitian and quaternionic Hermitian matrices, respectively. Let further S₊(n), H₊(n), Q₊(n) be the cones of positive semidefinite matrices in these spaces. If a matrix A∈H(mn)=H(m)⊗H(n) is H₊(m)⊗H₊(n)-separable, then it fulfills also the so-called PPT condition, i.e. it is positive semidefinite and has a positive semidefinite partial transpose. The same implication holds for matrices in the spaces S(m)⊗S(n), H(m)⊗S(n), and for m?2 in the space Q(m)⊗S(n). We provide a complete enumeration of all pairs (n,m) when the inverse implication is also true for each of the above spaces, i.e. the PPT condition is sufficient for separability. We also show that a matrix in Q(n)⊗S(2) is Q₊(n)⊗S₊(2)- separable if and only if it is positive semidefinite.     

Bounds on eigenvalues of the Hadamard product and the Fan product of matrices

We prove an upper bound for the spectral radius of the Hadamard product of nonnegative matrices and a lower bound for the minimum eigenvalue of the Fan product of M-matrices. These improve two existing results.     

Some new bounds on the spectral radius of matrices

A new lower bound on the smallest eigenvalue τ(AB) for the Fan product of two nonsingular M-matrices A and B is given. Meanwhile, we also obtain a new upper bound on the spectral radius ρ(A°B) for nonnegative matrices A and B. These bounds improve some results of Huang (2008) [R. Huang, Some inequalities for the Hadamard product and the Fan product of matrices, Linear Algebra Appl. 428 (2008) 1551-1559].     

On approximately simultaneously diagonalizable matrices

A collection A₁, A₂, …, A_k of n × n matrices over the complex numbers C has the ASD property if the matrices can be perturbed by an arbitrarily small amount so that they become simultaneously diagonalizable. Such a collection must perforce be commuting. We show by a direct matrix proof that the ASD property holds for three commuting matrices when one of them is 2-regular (dimension of eigenspaces is at most 2). Corollaries include results of Gerstenhaber and Neubauer-Sethuraman on bounds for the dimension of the algebra generated by A₁, A₂, …, A_k. Even when the ASD property fails, our techniques can produce a good bound on the dimension of this subalgebra. For example, we establish for commuting matrices A₁, …, A_k when one of them is 2-regular. This bound is sharp. One offshoot of our work is the introduction of a new canonical form, the H-form, for matrices over an algebraically closed field. The H-form of a matrix is a sparse “Jordan like” upper triangular matrix which allows us to assume that any commuting matrices are also upper triangular. (The Jordan form itself does not accommodate this.)     

Sharp asymptotics of the Kolmogorov entropy for Gaussian measures

Let U denote the unit ball of the Cameron-Martin space of a Gaussian measure on a Hilbert space. The sharp asymptotics for the Kolmogorov (metric) entropy numbers of U is derived. The condition imposed is regular variation of the eigenvalues of the covariance operator. A consequence is a precise link including constants to the functional quantization problem.     

Inherited LU-factorizations of matrices

Various types of LU-factorizations for nonsingular matrices, where L is a lower triangular matrix and U is an upper triangular matrix, are defined and characterized. These types of LU-factorizations are extended to the general m × n case. The more general conditions are considered in the light of the structures of [C.R. Johnson, D.D. Olesky, P. Van den Driessche, Inherited matrix entries: LU factorizations, SIAM J. Matrix Anal. Appl. 10 (1989) 99-104]. Applications to graphs and adjacency matrices are investigated. Conditions for the product of a lower and an upper triangular matrix to be the zero matrix are also obtained.     

On a generalization of distance sets

A subset X in the d-dimensional Euclidean space is called a k-distance set if there are exactly k distinct distances between two distinct points in X and a subset X is called a locally k-distance set if for any point x in X, there are at most k distinct distances between x and other points in X.Delsarte, Goethals, and Seidel gave the Fisher type upper bound for the cardinalities of k-distance sets on a sphere in 1977. In the same way, we are able to give the same bound for locally k-distance sets on a sphere. In the first part of this paper, we prove that if X is a locally k-distance set attaining the Fisher type upper bound, then determining a weight function w, (X,w) is a tight weighted spherical 2k-design. This result implies that locally k-distance sets attaining the Fisher type upper bound are k-distance sets. In the second part, we give a new absolute bound for the cardinalities of k-distance sets on a sphere. This upper bound is useful for k-distance sets for which the linear programming bound is not applicable. In the third part, we discuss about locally two-distance sets in Euclidean spaces. We give an upper bound for the cardinalities of locally two-distance sets in Euclidean spaces. Moreover, we prove that the existence of a spherical two-distance set in (d−1)-space which attains the Fisher type upper bound is equivalent to the existence of a locally two-distance set but not a two-distance set in d-space with more than d(d+1)/2 points. We also classify optimal (largest possible) locally two-distance sets for dimensions less than eight. In addition, we determine the maximum cardinalities of locally two-distance sets on a sphere for dimensions less than forty.     

A relationship between subpermanents and the arithmetic-geometric mean inequality

Using the arithmetic-geometric mean inequality, we give bounds for k-subpermanents of nonnegative n×n matrices F. In the case k=n, we exhibit an n²-set S whose arithmetic and geometric means constitute upper and lower bounds for per(F)/n!. We offer sharpened versions of these bounds when F has zero-valued entries.     

Locally minimal topological groups 1

The aim of this paper is to go deeper into the study of local minimality and its connection to some naturally related properties. A Hausdorff topological group (G,τ) is called locally minimal if there exists a neighborhood U of 0 in τ such that U fails to be a neighborhood of zero in any Hausdorff group topology on G which is strictly coarser than τ. Examples of locally minimal groups are all subgroups of Banach-Lie groups, all locally compact groups and all minimal groups. Motivated by the fact that locally compact NSS groups are Lie groups, we study the connection between local minimality and the NSS property, establishing that under certain conditions, locally minimal NSS groups are metrizable. A symmetric subset of an abelian group containing zero is said to be a GTG set if it generates a group topology in an analogous way as convex and symmetric subsets are unit balls for pseudonorms on a vector space. We consider topological groups which have a neighborhood basis at zero consisting of GTG sets. Examples of these locally GTG groups are: locally pseudoconvex spaces, groups uniformly free from small subgroups (UFSS groups) and locally compact abelian groups. The precise relation between these classes of groups is obtained: a topological abelian group is UFSS if and only if it is locally minimal, locally GTG and NSS. We develop a universal construction of GTG sets in arbitrary non-discrete metric abelian groups, that generates a strictly finer non-discrete UFSS topology and we characterize the metrizable abelian groups admitting a strictly finer non-discrete UFSS group topology. Unlike the minimal topologies, the locally minimal ones are always available on “large” groups. To support this line, we prove that a bounded abelian group G admits a non-discrete locally minimal and locally GTG group topology iff |G|?c.     

Pfaffian structures and critical problems in finite symplectic spaces

Just as matroids abstract the algebraic properties of determinants in a vector space, Pfaffian structures abstract the algebraic properties of Pfaffians or skew-symmetric determinants in a symplectic space (that is, a vector space with an alternating bilinear form). This is done using an exchange-augmentation axiom which is a combinatorial version of a Laplace expansion or straightening identity for Pfaffians. Using Pfaffian structures, we study a symplectic analogue of the classical critical problem: given a setS of non-zero vectors in a non-singular symplectic spaceV of dimension2m, find its symplectic critical exponent, that is, the minimum of the set {m?dim(U):U∩S=0}, whereU ranges over all the (totally) isotropic subspaces disjoint fromS. In particular, we derive a formula for the number of isotropic subspaces of a given dimension disjoint from the setS by Möbius inversion over the order ideal of isotropic flats in the lattice of flats of the matroid onS given by linear dependence. This formula implies that the symplectic critical exponent ofS depends only on its matroid and Pfaffian structure; however, it may depend on the dimension of the symplectic spaceV.