Combined perturbation bounds:Ⅱ.Polar decompositions

In this paper,we study the perturbation bounds for the polar decomposition A=QH where Q is unitary and H is Hermitian.The optimal (asymptotic) bounds obtained in previous works for the unitary factor,the Hermitian factor and singular values of A areσ_r~2||ΔQ||_F~2≤||ΔA||_F~2, 1/2||ΔH||_F~2≤||ΔA||_F~2 and ||Δ∑||_F~2≤||ΔA||_F~2,respectively,where∑=diag(σ_1,σ_2,...,σ_r,0,...,0) is the singular value matrix of A andσ_r denotes the smallest nonzero singular value.Here we present some new combined (asymptotic) perturbation boundsσ_r~2||ΔQ||_F~2 1/2||ΔH||_F~2≤||ΔA||_F~2 andσ_r~2||ΔQ||_F~2 ||Δ∑||_F~2≤||ΔA||_F~2 which are optimal for each factor.Some corresponding absolute perturbation bounds are also given.     

关于非线性矩阵方程$X^s-A^*X^{-t}A=Q$的Hermitian正定解及其扰动估计

In this paper, the Hermitian positive definite solutions of the nonlinear matrix equation X^s - A^＊X^-tA = Q are studied, where Q is a Hermitian positive definite matrix, s and t are positive integers. The existence of a Hermitian positive definite solution is proved. A sufficient condition for the equation to have a unique Hermitian positive definite solution is given. Some estimates of the Hermitian positive definite solutions are obtained. Moreover, two perturbation bounds for the Hermitian positive definite solutions are derived and the results are illustrated by some numerical examples.     

加权极分解

In this paper, a new matrix decomposition called the weighted polar decomposition is considered. Two uniqueness theorems of weighted polar decomposition are presented, and the best approximation property of weighted unitary polar factor and perturbation bounds for weighted polar decomposition are also studied.     

The blue and minque in Gauss-Markoff model with linear transformation of the observable variables

For a singular linear model A = (y, Xβ, σ2 V) and its transformed model AF = (Fy, FXβ, σ2FVF'), where V is nonnegative definite and X can be rank-deficient,the expressions for the differences of the estimates for the vector of FXβ and the variance factor σ2 are given. Moreover, the necessary and sufficient conditions for the equalities of the estimates for the vector of FXβ and the variance factor σ2 are also established. In the meantime, works in Baksalary and Kala (1981) are strengthened and consequences in Puntanen and Nurhonen (1992), and Puntanen (1996) are extended.     

THE BLOCK LOWER BOUNDS FOR THE SMALLEST SINGULAR VALUE

1 Introduction and PreliminariesIt is well known that the smallest singular value of a matrix is important in matrixthoery and applications.Varah and Qi,Johnson gave some results on lower bound of thesmallest singular value[1—4].Here,we use the block partitioned form of a matrix to ob-tain generalized lower bounds for σ_n(A).Furthermore,by scaling with a matrix D we ob-tain a new lower bound for σ_(A) of matrices which are not positive definite matrices.     

Finite groups whose n-maximal subgroups are σ-subnormal

Let σ = {σ_i | i ∈ I} be some partition of the set of all primes P. A set H of subgroups of G is said to be a complete Hall σ-set of G if every member ≠ 1 of H is a Hall σ_i-subgroup of G, for some i ∈ I, and H contains exactly one Hall σ_i-subgroup of G for every σ_i ∈σ(G). A subgroup H of G is said to be: σ-permutable or σ-quasinormal in G if G possesses a complete Hall σ-set H such that HA~x= A~xH for all A ∈ H and x ∈ G:σ-subnormal in G if there is a subgroup chain A = A_0≤A_1≤···≤ A_t = G such that either A_(i-1)■A_i or A_i/(A_(i-1))A_i is a finite σ_i-group for some σ_i ∈σ for all i = 1,..., t.If M_n M_(n-1) ··· M_1 M_0 = G, where Mi is a maximal subgroup of M_(i-1), i = 1, 2,..., n, then M_n is said to be an n-maximal subgroup of G. If each n-maximal subgroup of G is σ-subnormal(σ-quasinormal,respectively) in G but, in the case n 1, some(n-1)-maximal subgroup is not σ-subnormal(not σ-quasinormal,respectively) in G, we write m_σ(G) = n(m_(σq)(G) = n, respectively).In this paper, we show that the parameters m_σ(G) and m_(σq)(G) make possible to bound the σ-nilpotent length l_σ(G)(see below the definitions of the terms employed), the rank r(G) and the number |π(G)| of all distinct primes dividing the order |G| of a finite soluble group G. We also give the conditions under which a finite group is σ-soluble or σ-nilpotent, and describe the structure of a finite soluble group G in the case when m_σ(G) = |π(G)|. Some known results are generalized.     

On Unitary Invariant Weakly Complex Berwald Metrics with Vanishing Holomorphic Curvature and Closed Geodesics

In this paper, the authors construct a class of unitary invariant strongly pseudoconvex complex Finsler metrics which are of the form F =√[ rf(s- t)[, where r = ||v||~ 2, s =| z,v |~2/r, t =|| z||~ 2, f(w) is a real-valued smooth positive function of w ∈ R,and z is in a unitary invariant domain M  C~n. Complex Finsler metrics of this form are unitary invariant. We prove that F is a class of weakly complex Berwald metrics whose holomorphic curvature and Ricci scalar curvature vanish identically and are independent of the choice of the function f. Under initial value conditions on f and its derivative f, we prove that all the real geodesics of F =√[rf(s- t)] on every Euclidean sphere S~(2n-1) M are great circles.     

The largest eigenvalue distribution of the laguerre unitary ensemble

We study the probability that all eigenvalues of the Laguerre unitary ensemble of n by n matrices are in(0, t), that is, the largest eigenvalue distribution. Associated with this probability, in the ladder operator approach for orthogonal polynomials, there are recurrence coefficients, namely, α_n(t) and β_n(t), as well as three auxiliary quantities, denoted by r_n(t), R_n(t), and σ_n(t). We establish the second order differential equations for both β_n(t) and r_n(t). By investigating the soft edge scaling limit when α = O(n) as n →∞ or α is finite, we derive a P_Ⅱ, the σ-form, and the asymptotic solution of the probability. In addition, we develop differential equations for orthogonal polynomials P_n(z) corresponding to the largest eigenvalue distribution of LUE and GUE with n finite or large. For large n,asymptotic formulas are given near the singular points of the ODE. Moreover, we are able to deduce a particular case of Chazy's equation for ρ(t) = Ξ′(t) with Ξ(t) satisfying the σ-form of P_Ⅳ or P_Ⅴ.     

Asymptotic expansions of backward equations for two-time-scale Markov chains in continuous time

This work develops asymptotic expansions for solutions of systems of backward equations of time- inhomogeneous Maxkov chains in continuous time. Owing to the rapid progress in technology and the increasing complexity in modeling, the underlying Maxkov chains often have large state spaces, which make the computa- tional tasks ihfeasible. To reduce the complexity, two-time-scale formulations are used. By introducing a small parameter ε〉 0 and using suitable decomposition and aggregation procedures, it is formulated as a singular perturbation problem. Both Markov chains having recurrent states only and Maxkov chains including also tran- sient states are treated. Under certain weak irreducibility and smoothness conditions of the generators, the desired asymptotic expansions axe constructed. Then error bounds are obtained.     

ON THE RAYLEIGH QUOTIENT FOR SINGULAR VALUES

In this paper, the theoretical analysis for the Rayleigh quotient matrix is studied, some results of the Rayleigh quotient （matrix） of Hermitian matrices are extended to those for arbitrary matrix on one hand. On the other hand, some unitarily invariant norm bounds for singular values are presented for Rayleigh quotient matrices. Our results improve the existing bounds.     

The Norm of the Laplace Operator Restriction to a Homogeneous Polynomial Space

We investigate the restriction Δ _r,μ of the Laplace operator Δ onto the space of r-variate homogeneous polynomials F of degree μ. In the uniform norm on the unit ball of ℝ ^r , and with the corresponding operator norm, ‖Δ _r,μ F‖≤‖Δ _r,μ ‖⋅‖F‖ holds, where, for arbitrary F, the ‘constant’ ‖Δ _r,μ ‖ is the best possible. We describe ‖Δ _r,μ ‖ with the help of the family T _μ (σ x), , of scaled Chebyshev polynomials of degree μ. On the interval [−1,+1], they alternate at least (μ−1)-times, as the Zolotarev polynomials do, but they differ from them by their symmetry. We call them Zolotarev polynomials of the second kind, and calculate ‖Δ _r,μ ‖ with their help. We derive upper and lower bounds, as well as the asymptotics for μ→∞. For r≥5 and sufficiently large μ, we just get ‖Δ _r,μ ‖=(r−2)μ(μ−1). However, for 2≤r≤4 or lower values of μ, the result is more complicated. This gives the problem a particular flavor. Some Bessel functions and the φcot φ-expansion are involved.      

Smooth and path connected Banach submanifold Σ r of B(E,F) and a dimension formula in B(ℝ n ,ℝ m )

Given two Banach spaces E,F, let B(E,F) be the set of all bounded linear operators from E into F, Σ _r the set of all operators of finite rank r in B(E,F), and Σ _r ^# the number of path connected components of Σ _r . It is known that Σ _r is a smooth Banach submanifold in B(E,F) with given expression of its tangent space at each A ∈ Σ _r . In this paper,the equality Σ _r ^# = 1 is proved. Consequently, the following theorem is obtained: for any nonnegative integer r, Σ _r is a smooth and path connected Banach submanifold in B(E,F) with the tangent space T _A Σ _r = {B ∈ B(E,F): BN(A) ⊂ R(A)} at each A ∈ Σ _r if dim F = ∞. Note that the routine method can hardly be applied here. So in addition to the nice topological and geometric property of Σ _r the method presented in this paper is also interesting. As an application of this result, it is proved that if E = ℝ ⁿ and F = ℝ ^m , then Σ _r is a smooth and path connected submanifold of B(ℝ ⁿ , ℝ ^m ) and its dimension is dimΣ _r = (m+n)r−r ² for each r, 0 <- r < min {n,m}. Supported by the National Science Foundation of China (Grant No.10671049 and 10771101).     

Bounds on the number of cycles of length three in a planar graph

LetG be ap-vertex planar graph having a representation in the plane with nontriangular facesF ₁,F ₂, …,F _r. Letf ₁,f ₂, …,f _r denote the lengths of the cycles bounding the facesF ₁,F ₂, …,F _r respectively. LetC ₃(G) be the number of cycles of length three inG. We give bounds onC ₃(G) in terms ofp,f ₁,f ₂, …,f _r. WhenG is 3-connected these bounds are bounds for the number of triangles in a polyhedron. We also show that all possible values ofC ₃(G) between the maximum and minimum value are actually achieved. This research was supported in part by the U.S.A.F. Office of Scientific Research, Systems Command, under Grant AFOSR-76-3017 and the National Science Foundation under Grant ENG79-09724.     

Some Simple Estimates for the Singular Values of Matrices

Abstract We first provide a simple estimate for ||A~(-1)||_∞ and ||A~(-1)||_1 of a strictly diagonally dominant matrixA. On the Basis of the result, we obtain an estimate for the smallest singular value of A. Secondly, by scalingwith a positive diagonal matrix D, we obtain some simple estimates for the smallest singular value of an H-matrix, which is not necessarily positive definite. Finally, we give some examples to show the effectiveness ofthe new bounds.     

An identity for normal-like operators

Forλεσ(A) (A a bounded linear operator on a Hilbert space) withλ a boundary point of the numerical range, the ‘spectral theory’ forλ is ‘just as ifA were normal’. IfA isnormal-like (the smallest disk containingσ(A) has radiusr=inf _z ‖A − z‖), then also sup {‖Ax‖² − |〈x.Ax〉|²:‖x‖=1}=r ². This research was partially supported by Air Force Contract AF-AFOSR-62-414.     

On extremal point distributions in the Euclidean plane

We ask for the maximum σ _n ^γ of Σ _i,j=1 ⁿ ‖x _i-x _j‖^γ, where x ₁,χ,x _n are points in the Euclidean plane R ² with ‖x_i-x_j‖ ≦1 for all 1≦ i,j ≦ n and where ‖.‖^γ denotes the γ-th power of the Euclidean norm, γ ≧ 1. (For γ =1 this question was stated by L. Fejes Tóth in [1].) We calculate the exact value of σ _n ^γ for all γ γ 1,0758χ and give the distributions which attain the maximum σ _n ^γ . Moreover we prove upper bounds for σ _n ^γ for all γ ≧ 1 and calculate the exact value of σ ₄ ^γ for all γ ≧ 1. This revised version was published online in June 2006 with corrections to the Cover Date.     

Onp-absolutely summing constants of banach spaces

Given 1≦p<∞ and a real Banach spaceX, we define thep-absolutely summing constantμ _p(X) as inf{Σ _i ^=1/m |x*(x _i)|^p p Σ _i ^=1/m ‖x _i‖^p p]¹ p}, where the supremum ranges over {x*∈X*; ‖x*‖≤1} and the infimum is taken over all sets {x ₁,x ₂, …,x _m} ⊂X such that Σ _i ^=1/m ‖x _i‖>0. It follows immediately from [2] thatμ _p(X)>0 if and only ifX is finite dimensional. In this paper we find the exact values ofμ _p(X) for various spaces, and obtain some asymptotic estimates ofμ _p(X) for general finite dimensional Banach spaces. This is a part of the author’s Ph.D. Thesis prepared at the Hebrew University of Jerusalem, under the supervision of Prof. A. Dvoretzky and Prof. J. Lindenstrauss.     

The Willmore functional and the containment problem in R4

Let ∑ be a convex hypersurface in the Euclidean space R4 with mean curvature H. We obtain a geometric lower bound for the Willmore functional f∑ H2dσ. This bound is an invariant involving the area of ∑, the volume and Minkowski quermassintegrals of the convex body that ∑bounds. We also obtain a sufficient condition for a convex body to contain another in the Euclidean space R4.     

Inclusion sets for the singular values of a square matrix

The paper presents a general approach to deriving inclusion sets for the singular values of a matrix A = (a_ij) ∈ ℂ ^n×n. The key to the approach is the following result: If σ is a singular value of A, then a certain matrix C(σ, A) of order 2n, whose diagonal entries are σ² − | a_ii|², i = 1, …, n, is singular. Based on this result, we use known diagonal-dominance type nonsingularity conditions to obtain inclusion sets for the singular values of A. Scaled versions of the inclusion sets, allowing one, in particular, to obtain Ky Fan type results for the singular values, are derived by passing to the conjugated matrix D⁻¹C(σ, A)D, where D is a positive-definite diagonal matrix. Bibliography: 16 titles. Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 359, 2008, pp. 52–77.     

A C 0 Estimate for Nearly Umbilical Surfaces

Let Σ ⊂ R ³ be a smooth compact connected surface without boundary. Denote by A its second fundamental form and by Å the tensor A−(tr A/2)Id. In [4] we proved that, if ‖Å‖ _L ² (Σ) is small, then Σ is W ^2,2-close to a round sphere. In this note we show that, in addition, the metric of Σ is C ⁰–close to the standard metric of S ².The first author was supported by a grant of the Swiss National Science Foundation.