Proof of a conjecture of Fiedler and Markham

Let A be an n×n nonsingular M-matrix. For the Hadamard product AA⁻¹, M. Fiedler and T.L. Markham conjectured in [Linear Algebra Appl. 10l (1988) 1] that q(AA⁻¹)2/n, where q(AA⁻¹) is the smallest eigenvalue (in modulus) of AA⁻¹. We considered this conjecture in [Linear Algebra Appl. 288 (1999) 259] having observed an incorrect proof in [Linear Algebra Appl. 144 (1991) 171] and obtained that q(AA⁻¹)(2/n)(n−1)/n. The present paper gives a proof for this conjecture.     

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 feedback cyclicity of C[Y]

Let (A,B) be an n-dimensional linear system with 2-inputs over C[Y], the ring of polynomials in one-variable over the field of complex numbers. We prove the feedback cyclicity of (A,B) under certain conditions on their entries and deduce that (A,B) is feedback cyclic in an exceptional case left open in W. Schmale [Linear Algebra Appl. 275–276 (1998) 551–562].     

On irreducible p,q-representations of gl(2)

The theory of irreducible p,q-representations of the complex Lie algebra gl(2) is developed. We construct a one variable model of irreducible p,q-representations of gl(2) in terms of p,q-derivative operator, and derive a generating function based on it.     

The Dempster–Shafer calculus for statisticians

The Dempster–Shafer (DS) theory of probabilistic reasoning is presented in terms of a semantics whereby every meaningful formal assertion is associated with a triple (p, q, r) where p is the probability “for” the assertion, q is the probability “against” the assertion, and r is the probability of “don’t know”. Arguments are presented for the necessity of “don’t know”. Elements of the calculus are sketched, including the extension of a DS model from a margin to a full state space, and DS combination of independent DS uncertainty assessments on the full space. The methodology is applied to inference and prediction from Poisson counts, including an introduction to the use of join-tree model structure to simplify and shorten computation. The relation of DS theory to statistical significance testing is elaborated, introducing along the way the new concept of “dull” null hypothesis.     

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.     

On some integrals arising in mathematical physics

This paper presents in the first section the exact evaluation of three single integrals relating to the dielectric behavior of two-dimensional electron plasmas. In the second section we present a procedure for reducing 3d-dimensional integrals of the form: ∫∫∫dqdpdkD(q)(p+k+q)ƒ(p)[1−ƒ(p+q)]ƒ(k)[1−ƒ(k+q)], where the vectors lie in d-dimensional space and ƒ denotes the Fermi function, to tractable form. The second-order exchange integral for a d-dimensional electron gas is taken as an example and is evaluated in closed form as a function of d.     

Some norm inequalities concerning generalized inverses, 2

We extend to the von Neumann–Schatten classes C_p and norms ·_p, where 2  p < ∞, Penrose’s result on minimizing AXB − C₂. We give an example to show that this extension does not hold for 1  p < 2. The proof of the global inequality depends on local considerations.     

The location of zeros of polynomials

Let A be a complex n×n matrix. p an equilibrated vectonal norm and x(A) the spectrial abscissa of A. Then, it is known [5] x(A)≤x(γ_p(A)) where γp is the matricial logarithmic derivative induced by p. We will make use of the above inequality to obtain regions in the plane which contain the zeros of complex polynomials.     

Approximating geometric bottleneck shortest paths

In a geometric bottleneck shortest path problem, we are given a set S of n points in the plane, and want to answer queries of the following type: given two points p and q of S and a real number L, compute (or approximate) a shortest path between p and q in the subgraph of the complete graph on S consisting of all edges whose lengths are less than or equal to L. We present efficient algorithms for answering several query problems of this type. Our solutions are based on Euclidean minimum spanning trees, spanners, and the Delaunay triangulation. A result of independent interest is the following. For any two points p and q of S, there is a path between p and q in the Delaunay triangulation, whose length is less than or equal to 2π/(3cos(π/6)) times the Euclidean distance |pq| between p and q, and all of whose edges have length at most |pq|.     

The order-interval hypergraph of a finite poset and the König property

We study the hypergraph H(P) whose vertices are the points of a finite poset and whose edges are the maximal intervals in P (i.e. sets of the form I = {{v ε P: p ν q}}, p minimal, q maximal). We mention resp. show that the problems of the determination of the independence number , the point covering number τ, the matching number v and the edge covering number p are NP-complete. For interval orders we describe polynomial algorithms and prove the König property (v = τ) and the dual König property (a = p). Finally we show that the (dual) König property is preserved by product.     

On the largest kth eigenvalues of trees with n≡0 (mod k)

We consider the only remaining unsolved case n≡0 (mod k) for the largest kth eigenvalue of trees with n vertices. In 1995, Jia-yu Shao gave complete solutions for the cases k=2,3,4,5,6 and provided some necessary conditions for extremal trees in general cases (cf. [Linear Algebra Appl. 221 (1995) 131]). We further improve Shao's necessary condition in this paper, which can be seen as the continuation of [Linear Algebra Appl. 221 (1995) 131].     

On the number of irreducible coverings by edges of complete bipartite graphs

In this paper it is proved that the exponential generating function of the numbers, denoted by N(p, q), of irreducible coverings by edges of the vertices of complete bipartite graphs K_p,q equals exp(xe^y + ye^x − x − y − xy) − 1.     

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).     

线性矩阵方程组AX=B,YA=D的最小二乘(R,S_σ)-交换解

Trench在[Characterization and properties of (R,S_σ)-commutative matrices,Linear Algebra Appl.,2012,436:4261-4278]中给出了(R,S_σ)-交换矩阵的定义.本文在此基础上讨论(R,S_σ)-交换矩阵的一般性结构,对给定的矩阵X,Y,B,D,以及线性方程组AX=B,YA=D在(R,S_σ)-交换矩阵集合中的最小二乘问题及最佳逼近问题.细致分析最小二乘(R,S_σ)-交换解和最佳逼近解的具体解析表达式.同时在方程组相容情况下分析(R,S_σ)-交换解存在的充要条件及其具体解析表达式.     

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.     

A characterization for the boundedness of geometric mean operator

We give a characterization for the geometric mean inequality

to hold for the case 0 < q < p ≤ ∞, p > 1, where f is positive a.e. on (0, ∞), and C > 0 independent of f.     

矩阵方程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)     

Superfast algorithms for Cauchy-like matrix computations and extensions

An effective algorithm of [M. Morf, Ph.D. Thesis, Department of Electrical Engineering, Stanford University, Stanford, CA, 1974; in: Proceedings of the IEEE International Conference on ASSP, IEEE Computer Society Press, Silver Spring, MD, 1980, pp. 954–959; R.R. Bitmead and B.D.O. Anderson, Linear Algebra Appl. 34 (1980) 103–116] computes the solution to a strongly nonsingular Toeplitz or Toeplitz-like linear system , a short displacement generator for the inverse T⁻¹ of T, and det T. We extend this algorithm to the similar computations with n×n Cauchy and Cauchy-like matrices. Recursive triangular factorization of such a matrix can be computed by our algorithm at the cost of executing O(nr²log³ n) arithmetic operations, where r is the scaling rank of the input Cauchy-like matrix C (r=1 if C is a Cauchy matrix). Consequently, the same cost bound applies to the computation of the determinant of C, a short scaling generator of C⁻¹, and the solution to a nonsingular linear system of n equations with such a matrix C. (Our algorithm does not use the reduction to Toeplitz-like computations.) We also relax the assumptions of strong nonsingularity and even nonsingularity of the input not only for the computations in the field of complex or real numbers, but even, where the algorithm runs in an arbitrary field. We achieve this by using randomization, and we also show a certain improvement of the respective algorithm by Kaltofen for Toeplitz-like computations in an arbitrary field. Our subject has close correlation to rational tangential (matrix) interpolation under passivity condition (e.g., to Nevanlinna–Pick tangential interpolation problems) and has further impact on the decoding of algebraic codes.