Specht's ratio and complementary inequalities to Golden–Thompson type inequalities on the Hadamard product

As a converse of the arithmetic–geometric mean inequality, W. Specht [Math. Z. 74 (1960) 91–98] estimated the ratio of the arithmetic mean to the geometric one. In this paper, we shall show complementary inequalities to the matricial generalization of Oppenheim's inequality and the Golden–Thompson type inequalities on the Hadamard product by T. Ando [Linear Algebra Appl. 26 (1979) 203; Linear Algebra Appl. 241–243 (1996) 105], in which Specht's ratio plays an important role. As an application, we shall obtain a complementary inequality to the Hadamard determinant inequality.     

Trace class multipliers and spectral variation of normal matrices

In this article we show how to estimate the trace multiplier norm of a rank 2 matrix. As an application, an alternative proof of a theorem of Holbrook et al. (Maximal spectral distance, Linear Algebra Appl., 249 (1996) 197–205) on the maximal spectral distance between two normal matrices with prescribed eigenvalues is given.     

Perturbation theory for the Eckart-Young-Mirsky theorem and the constrained total least squares problem

Golub et al. (Linear Algebra Appl. 88/89 (1987) 317–327), J.Demmel (SIAM J. Numer. Anal. 24 (1987) 199–206), generalized the Eckart-Young-Mirsky (EYM) theorem, which solves the problem of approximating a matrix by one of lower rank with only a specific rectangular subset of the matrix allowed to be changed. Based on their results, this paper presents perturbation analysis for the EYM theorem and the constrained total least squares problem (CTLS).     

Perturbation bounds for polynomials

Using two different elementary approaches we derive a global and a local perturbation theorem on polynomial zeros that significantly improve the results of Ostrowski (Acta Math 72:99–257, 1940), Elsner et al. (Linear Algebra Appl 142:195–209, 1990). A comparison of different perturbation bounds shows that our results are better in many cases than the similar local result of Beauzamy (Can Math Bull 42(1):3–12, 1999). Using the matrix theoretical approach we also improve the backward stability result of Edelman and Murakami (Proceedings of the Fifth SIAM Conference on Applied Linear Algebra, SIAM, Philapdelphia, 1994; Math Comput 64:210–763, 1995).     

矩阵方程X+A~*X~(-q)A=I(q>0)的Hermite正定解

1.引言 本文研究矩阵方程 X+A*X-qA=I (1)的Hermite正定解,其中I是一个n×n阶单位矩阵, A是一个n×n阶复矩阵, q是实数且q>0.q=1,q=2时的方程是从动态规划,随机过滤,控制理论和统计学中推导出来的,最近已有许多人对此进行了研究(见参考文献[1,2,4]),本文我们将研究方程(1)的解的存在性和解的性质,并讨论迭代求解及迭代解的收敛性. 对于Hermite矩阵X和Y,文中X≥Y表示X-Y是半正定的,X>y表示X-Y是正定的;对于方阵M,M*表示M的共轭转置,ρ(M)表示M的谱半径,λi(M)     

An edge-grafting theorem on Laplacian spectra of graphs and its application

Let 𝒰(n,?d) be the class of unicyclic graphs on n vertices with diameter d. This article presents an edge-grafting theorem on Laplacian spectra of graphs. By applying this theorem, we determine the unique graph with the maximum Laplacian spectral radius in 𝒰(n,?d). This extremal graph is different from that for the corresponding problem on the adjacency spectral radius as done by Liu et al. [Q. Liu, M. Lu, and F. Tian, On the spectral radius of unicyclic graphs with fixed diameter, Linear Algebra Appl. 420 (2007), 449–457].     

A note on eigenvalue distribution of constraint‐preconditioned symmetric saddle point matrices

In this note, some inaccuracies in the article (Numer. Linear Algebra Appl. 2012; 19:754–772) are pointed out and correct results are presented. Copyright © 2013 John Wiley & Sons, Ltd.     

A note on extrema of linear combinations of elementary symmetric functions

This note provides a new approach to a result of Foregger [T.H. Foregger, On the relative extrema of a linear combination of elementary symmetric functions, Linear Multilinear Algebra 20 (1987) pp. 377–385] and related earlier results by Keilson [J. Keilson, A theorem on optimum allocation for a class of symmetric multilinear return functions, J. Math. Anal. Appl. 15 (1966), pp. 269–272] and Eberlein [P.J. Eberlein, Remarks on the van der Waerden conjecture, II, Linear Algebra Appl. 2 (1969), pp. 311–320]. Using quite different techniques, we prove a more general result from which the others follow easily. Finally, we argue that the proof in [Foregger, 1987] is flawed.     

A note on k-generalized projections

In this note, we investigate characterizations for k-generalized projections (i.e., A^k = A^*) on Hilbert spaces. The obtained results generalize those for generalized projections on Hilbert spaces in [Hong-Ke Du, Yuan Li, The spectral characterization of generalized projections, Linear Algebra Appl. 400 (2005) 313–318] and those for matrices in [J. Benítez, N. Thome, Characterizations and linear combinations of k-generalized projectors, Linear Algebra Appl. 410 (2005) 150–159].     

A note on Krylov subspace methods for singular systems

Recently, Calvetti et al. have published an interesting paper [Linear Algebra Appl. 316 (2000) 157–169] concerning the least-squares solution of a singular system by using the so-called range restricted GMRES (RRGMRES) method. However, one of the main results (cf. [loc. cit., Theorem 3.3]) seems to be incomplete. As a complement of paper [loc. cit.], in this note we first make an example to show the incompleteness of that theorem, then we give a modified result.     

Further results on linear interval equations

As a continuation of my paper “New techniques for the analysis of linear interval equations” [Linear Algebra Appl. 58:273–325 (1984)], the interrelation between interval Gauss elimination and interval iteration is investigated. Main results are a new existence theorem for interval Gauss elimination (in the guise of a perturbation theorem), a convergence and comparison theorem for a general family of interval iteration schemes, and a new method for the calculation of the hull of the solution set of linear interval equations with inverse positive coefficient matrix.     

Equivalence constants for certain matrix norms II

We give an almost complete solution of a problem posed by Klaus and Li [A.-L. Klaus, C.-K. Li, Isometries for the vector (p, q) norm and the induced (p, q) norm, Linear and Multilinear Algebra 38 (1995) 315–332]. Klaus and Li’s problem, which arose during their investigations of isometries, was to relate the Frobenius (or Hilbert–Schmidt) norm of a matrix to various operator norms of that matrix. Our methods are based on earlier work of Feng [B.Q. Feng, Equivalence constants for certain matrix norms, Linear Algebra Appl. 374 (2003) 247–253] and Tonge [A. Tonge, Equivalence constants for matrix norms: a problem of Goldberg, Linear Algebra Appl. 306 (2000) 1–13], but introduce as a new ingredient some techniques developed by Hardy and Littlewood [G.H. Hardy, J.E. Littlewood, Bilinear forms bounded in space [p, q], Quart. J. Math. (Oxford) 5 (1934) 241–254].     

On the n-Coupling Problem

In this paper we obtain based on an idea of M. Knott and C. S. Smith (1994, Linear Algebra Appl.199, 363–371) characterizations of solutions of three-coupling problems by reduction to the construction of optimal couplings of each of the variables to the sum. In the case of normal distributions this leads to a complete solution. Under a technical condition this idea also works for general distributions and one obtains explicit results. We extend these results to the n-coupling problem and derive a characterization of optimal n-couplings by several 2-coupling problems. This leads to some constructive existence results for Monge solutions.     

Algebraic prime subalgebras in simple Artinian algebras

We prove a Wedderburn-Artin type theorem for algebraic prime subalgebras in simple Artinian algebras, giving a generalized version of Yahaghi’s theorem [B.R. Yahaghi, On F-algebras of algebraic matrices over a subfield F of the center of a division ring, Linear Algebra Appl. 418 (2006) 599-613]. We also show that every semiprime left algebraic subring in a semiprime right Goldie ring must be a semiprime Artinian ring.     

Approximation of multivariate distribution functions

In the paper the unknown distribution function is approximated with a known distribution function by means of Taylor expansion. For this approximation a new matrix operation — matrix integral — is introduced and studied in [PIHLAK, M.: Matrix integral, Linear Algebra Appl. 388 (2004), 315–325]. The approximation is applied in the bivariate case when the unknown distribution function is approximated with normal distribution function. An example on simulated data is also given.      

Location for the right eigenvalues of quaternion matrices

This paper aims to discuss the location for right eigenvalues of quaternion matrices. We will present some different Gerschgorin type theorems for right eigenvalues of quaternion matrices, based on the Gerschgorin type theorem for right eigenvalues of quaternion matrices (Zhang in Linear Algebra Appl. 424:139?C153, 2007), which are used to locate the right eigenvalues of quaternion matrices. We shall conclude this paper with some easily computed regions which are guaranteed to include the right eigenvalues of quaternion matrices in 4D spaces.     

Stokes Cocycle and Differential Galois Groups

The classification of germs of ordinary linear differential systems with meromorphic coefficients at 0 under convergent gauge transformations and fixed normal form is essentially given by the non-Abelian 1-cohomology set of Malgrange–Sibuya. (Germs themselves are actually classified by a quotient of this set.) It is known that there exists a natural isomorphism h between a unipotent Lie group (called the Stokes group) and the 1-cohomology set of Malgrange–Sibuya; the inverse map which consists of choosing, in each cohomology class, a special cocycle called a Stokes cocycle is proved to be natural and constructive. We survey here the definition of the Stokes cocycle and give a combinatorial proof for the bijectivity of h. We state some consequences of this result, such as Ramis, density theorem in linear differential Galois theory; we note that such a proof based on the Stokes cocycle theorem and the Tannakian theory does not require any theory of (multi-)summation.     

A Full and Faithful Nerve for 2-Categories

The notion of geometric nerve of a 2-category (Street, J. Pure Appl. Algebra 49 (1987), 283–335) provides a full and faithful functor if regarded as defined on the category of 2-categories and lax 2-functors. Furthermore, lax 2-natural transformations between lax 2-functors give rise to homotopies between the corresponding simplicial maps. These facts allow us to prove a representation theorem of the general non-abelian cohomology of groupoids (classifying non-abelian extensions of groupoids) by means of homotopy classes of simplicial maps.Mathematics Subject Classifications (2000) 18D05, 18G30, 55P15.     

A note on the determinant formulas computation of generalized inverse matrix Padé approximation

In this paper, the computation of two special determinants which appear in the construction of a generalized inverse matrix Padé approximation of type [n/2k] (described in [Linear Algebra Appl. 322 (2001) 141]) for a given power series is investigated. Here a common computational approach of determinant can not be used. The main tool to be used to do the two special determinants is the well-known Schur complement theorem.