Let A∈C<sup>m×n</sup>,set eigenvalues of matrix A with |λ<sub>1</sub> (A)|≥|λ<sub>2</sub>(A)|≥…≥|λ<sub>n</sub>(A)|,write A≥0 if A is a positive semid...Let A∈C<sup>m×n</sup>,set eigenvalues of matrix A with |λ<sub>1</sub> (A)|≥|λ<sub>2</sub>(A)|≥…≥|λ<sub>n</sub>(A)|,write A≥0 if A is a positive semidefinite Hermitian matrix, and denote∧<sub>k</sub> (A)=diag (λ<sub>1</sub>(A),…,λ<sub>k</sub>(A)),∧<sub>(</sub>(n-k).(A)=diag (λ<sub>k+1</sub>(A),…,λ<sub>n</sub>(A))for any k=1, 2,...,n if A≥0. Denote all n order unitary matrices by U<sup>n×n</sup>.Problem of equalities to hold in eigenvalue inequalities for products of matrices展开更多
Main resultsTheorem 1 Let A be symmetric positive semidefinite.Let (?) be a diagonally compen-sated reduced matrix of A and Let (?)=σI+(?)(σ】0) be a modiffication(Stieltjes) matrixof (?).Let the splitting (?)=M-(?)...Main resultsTheorem 1 Let A be symmetric positive semidefinite.Let (?) be a diagonally compen-sated reduced matrix of A and Let (?)=σI+(?)(σ】0) be a modiffication(Stieltjes) matrixof (?).Let the splitting (?)=M-(?) be regular and M=F-G be weak regular,where M andF are symmetric positive definite matrices.Then the resulting two-stage method corre-sponding to the diagonally compensated reduced splitting A=M-N and inner splitting M=F-G is convergent for any number μ≥1 of inner iterations.Furthermore,the展开更多
Least-squares solution of AXB = D with respect to symmetric positive semidefinite matrix X is considered. By making use of the generalized singular value decomposition, we derive general analytic formulas, and present...Least-squares solution of AXB = D with respect to symmetric positive semidefinite matrix X is considered. By making use of the generalized singular value decomposition, we derive general analytic formulas, and present necessary and sufficient conditions for guaranteeing the existence of the solution. By applying MATLAB 5.2, we give some numerical examples to show the feasibility and accuracy of this construction technique in the finite precision arithmetic.展开更多
This paper is mainly concerned with solving the following two problems: Problem Ⅰ. Given X ∈ Rn×m, B . Rm×m. Find A ∈ Pn such thatwhereProblem Ⅱ. Given A ∈Rn×n. Find A ∈ SE such thatwhere F is Fro...This paper is mainly concerned with solving the following two problems: Problem Ⅰ. Given X ∈ Rn×m, B . Rm×m. Find A ∈ Pn such thatwhereProblem Ⅱ. Given A ∈Rn×n. Find A ∈ SE such thatwhere F is Frobenius norm, and SE denotes the solution set of Problem I.The general solution of Problem I has been given. It is proved that there exists a unique solution for Problem II. The expression of this solution for corresponding Problem II for some special case will be derived.展开更多
We study symmetric tensor spaces and cones arising from polynomial optimization and physical sciences.We prove a decomposition invariance theorem for linear operators over the symmetric tensor space,which leads to sev...We study symmetric tensor spaces and cones arising from polynomial optimization and physical sciences.We prove a decomposition invariance theorem for linear operators over the symmetric tensor space,which leads to several other interesting properties in symmetric tensor spaces.We then consider the positive semidefiniteness of linear operators which deduces the convexity of the Frobenius norm function of a symmetric tensor.Furthermore,we characterize the symmetric positive semidefinite tensor(SDT)cone by employing the properties of linear operators,design some face structures of its dual cone,and analyze its relationship to many other tensor cones.In particular,we show that the cone is self-dual if and only if the polynomial is quadratic,give specific characterizations of tensors that are in the primal cone but not in the dual for higher order cases,and develop a complete relationship map among the tensor cones appeared in the literature.展开更多
We propose a low complexity robust beamforming method for the general-rank signal model, to combat against mismatches of the desired signal array response and the received signal covariance matrix. The proposed beamfo...We propose a low complexity robust beamforming method for the general-rank signal model, to combat against mismatches of the desired signal array response and the received signal covariance matrix. The proposed beamformer not only considers the norm bounded uncertainties in the desired and received signal covariance matrices, but also includes an additional positive semidefinite constraint on the desired signal covariance matrix. Based on the worst-case performance optimization criterion, a computationally simple closed-form weight vector is obtained. Simulation results verify the validity and robustness of the proposed beamforming method.展开更多
For positive real numbers a,b,a+b≤max{a+b1/2 a1/2,b+a1/2b1/2}.In this note,we generalize this fact to matrices by proving that for positive semidefinite matrices A and B of order n,for any c∈[-1,1]and j=1,2,…,n,sj(...For positive real numbers a,b,a+b≤max{a+b1/2 a1/2,b+a1/2b1/2}.In this note,we generalize this fact to matrices by proving that for positive semidefinite matrices A and B of order n,for any c∈[-1,1]and j=1,2,…,n,sj(A+B)≤sj((A⊕B)+φc(A,B))≤sj(A+|B1/2A1/2|)⊕(B+|A1/2B1/2|),where sj(X)denotes the j-th largest singular value of X andφc(A,B):=1/2((1+c)|B1/2A1/2|(1-c)A1/2B1/2(1-c)B1/2A1/2(1+c)|A1/2B1/2|).This result sharpens some known result.Meanwhile,some related results are established.展开更多
Based on the special positive semidefinite splittings of the saddle point matrix, we propose a new Mternating positive semidefinite splitting (APSS) iteration method for the saddle point problem arising from the fin...Based on the special positive semidefinite splittings of the saddle point matrix, we propose a new Mternating positive semidefinite splitting (APSS) iteration method for the saddle point problem arising from the finite element discretization of the hybrid formulation of the time-harmonic eddy current problem. We prove that the new APSS iteration method is unconditionally convergent for both cases of the simple topology and the general topology. The new APSS matrix can be used as a preconditioner to accelerate the convergence rate of Krylov subspace methods. Numerical results show that the new APSS preconditioner is superior to the existing preconditioners.展开更多
This paper aims to discuss some inequalities involving unitarily invariant norms and positive semidefinite matrices. By using properties of unitarily invariant norms, we obtain two inequities involving unitarily invar...This paper aims to discuss some inequalities involving unitarily invariant norms and positive semidefinite matrices. By using properties of unitarily invariant norms, we obtain two inequities involving unitarily invariant norms and positive semidefinite matrices, which generalize the result obtained by Bhatia and Kittaneh.展开更多
On the basis of the paoers[3—7],this paper study the monotonicity problems for the positive semidefinite generalized inverses of the positive semidefinite self-conjugate matrices of quaternions in the Lowner partial ...On the basis of the paoers[3—7],this paper study the monotonicity problems for the positive semidefinite generalized inverses of the positive semidefinite self-conjugate matrices of quaternions in the Lowner partial order,give the explicit formulations of the monotonicity solution sets A{1;≥,T_1;≤B^(1)}and B{1;≥,T_2≥A^(1)}for the(1)-inverse,and two results of the monotonicity charac teriaztion for the(1,2)-inverse.展开更多
The symmetric,positive semidefinite,and positive definite real solutions of the matrix equation XA=YAD from an inverse problem of vibration theory are considered.When D=T the necessary and sufficient conditions fo...The symmetric,positive semidefinite,and positive definite real solutions of the matrix equation XA=YAD from an inverse problem of vibration theory are considered.When D=T the necessary and sufficient conditions for the existence of such solutions and their general forms are derived.展开更多
A Riemannian gradient descent algorithm and a truncated variant are presented to solve systems of phaseless equations|Ax|^(2)=y.The algorithms are developed by exploiting the inherent low rank structure of the problem...A Riemannian gradient descent algorithm and a truncated variant are presented to solve systems of phaseless equations|Ax|^(2)=y.The algorithms are developed by exploiting the inherent low rank structure of the problem based on the embedded manifold of rank-1 positive semidefinite matrices.Theoretical recovery guarantee has been established for the truncated variant,showing that the algorithm is able to achieve successful recovery when the number of equations is proportional to the number of unknowns.Two key ingredients in the analysis are the restricted well conditioned property and the restricted weak correlation property of the associated truncated linear operator.Empirical evaluations show that our algorithms are competitive with other state-of-the-art first order nonconvex approaches with provable guarantees.展开更多
We study the symmetric positive semidefinite solution of the matrix equation AX_1A^T + BX_2B^T=C. where A is a given real m×n matrix. B is a given real m×p matrix, and C is a given real m×m matrix, with...We study the symmetric positive semidefinite solution of the matrix equation AX_1A^T + BX_2B^T=C. where A is a given real m×n matrix. B is a given real m×p matrix, and C is a given real m×m matrix, with m, n, p positive integers: and the bisymmetric positive semidefinite solution of the matrix equation D^T XD=C, where D is a given real n×m matrix. C is a given real m×m matrix, with m. n positive integers. By making use of the generalized singular value decomposition, we derive general analytic formulae, and present necessary and sufficient conditions for guaranteeing the existence of these solutions.展开更多
Least squares solution of F=PG with respect to positive semidefinite symmetric P is considered,a new necessary and sufficient condition for solvablity is given,and the expression of solution is derived in the some spe...Least squares solution of F=PG with respect to positive semidefinite symmetric P is considered,a new necessary and sufficient condition for solvablity is given,and the expression of solution is derived in the some special cases. Based on the expression, the least spuares solution of an inverse eigenvalue problem for positive semidefinite symmetric matrices is also given.展开更多
This paper generalizes the factorization theorem of Gouveia,Parrilo and Thomas to a broader class of convex sets.Given a general convex set,the authors define a slack operator associated to the set and its polar accor...This paper generalizes the factorization theorem of Gouveia,Parrilo and Thomas to a broader class of convex sets.Given a general convex set,the authors define a slack operator associated to the set and its polar according to whether the convex set is full dimensional,whether it is a translated cone and whether it contains lines.The authors strengthen the condition of a cone lift by requiring not only the convex set is the image of an affine slice of a given closed convex cone,but also its recession cone is the image of the linear slice of the closed convex cone.The authors show that the generalized lift of a convex set can also be characterized by the cone factorization of a properly defined slack operator.展开更多
Multi-label classification aims to assign a set of proper labels for each instance,where distance metric learning can help improve the generalization ability of instance-based multi-label classification models.Existin...Multi-label classification aims to assign a set of proper labels for each instance,where distance metric learning can help improve the generalization ability of instance-based multi-label classification models.Existing multi-label metric learning techniques work by utilizing pairwise constraints to enforce that examples with similar label assignments should have close distance in the embedded feature space.In this paper,a novel distance metric learning approach for multi-label classification is proposed by modeling structural interactions between instance space and label space.On one hand,compositional distance metric is employed which adopts the representation of a weighted sum of rank-1 PSD matrices based on com-ponent bases.On the other hand,compositional weights are optimized by exploiting triplet similarity constraints derived from both instance and label spaces.Due to the compositional nature of employed distance metric,the resulting problem admits quadratic programming formulation with linear optimization complexity w.r.t.the number of training examples.We also derive the generalization bound for the proposed approach based on algorithmic robustness analysis of the compositional metric.Extensive experiments on sixteen benchmark data sets clearly validate the usefulness of compositional metric in yielding effective distance metric for multi-label classification.展开更多
基金Supported partly by National Natural Science Foundation of China
文摘Let A∈C<sup>m×n</sup>,set eigenvalues of matrix A with |λ<sub>1</sub> (A)|≥|λ<sub>2</sub>(A)|≥…≥|λ<sub>n</sub>(A)|,write A≥0 if A is a positive semidefinite Hermitian matrix, and denote∧<sub>k</sub> (A)=diag (λ<sub>1</sub>(A),…,λ<sub>k</sub>(A)),∧<sub>(</sub>(n-k).(A)=diag (λ<sub>k+1</sub>(A),…,λ<sub>n</sub>(A))for any k=1, 2,...,n if A≥0. Denote all n order unitary matrices by U<sup>n×n</sup>.Problem of equalities to hold in eigenvalue inequalities for products of matrices
文摘Main resultsTheorem 1 Let A be symmetric positive semidefinite.Let (?) be a diagonally compen-sated reduced matrix of A and Let (?)=σI+(?)(σ】0) be a modiffication(Stieltjes) matrixof (?).Let the splitting (?)=M-(?) be regular and M=F-G be weak regular,where M andF are symmetric positive definite matrices.Then the resulting two-stage method corre-sponding to the diagonally compensated reduced splitting A=M-N and inner splitting M=F-G is convergent for any number μ≥1 of inner iterations.Furthermore,the
基金Subsidized by The Special Funds For Major State Basic Research Project G1999032803.
文摘Least-squares solution of AXB = D with respect to symmetric positive semidefinite matrix X is considered. By making use of the generalized singular value decomposition, we derive general analytic formulas, and present necessary and sufficient conditions for guaranteeing the existence of the solution. By applying MATLAB 5.2, we give some numerical examples to show the feasibility and accuracy of this construction technique in the finite precision arithmetic.
基金Supported by the National Nature Science Fundation of China.
文摘This paper is mainly concerned with solving the following two problems: Problem Ⅰ. Given X ∈ Rn×m, B . Rm×m. Find A ∈ Pn such thatwhereProblem Ⅱ. Given A ∈Rn×n. Find A ∈ SE such thatwhere F is Frobenius norm, and SE denotes the solution set of Problem I.The general solution of Problem I has been given. It is proved that there exists a unique solution for Problem II. The expression of this solution for corresponding Problem II for some special case will be derived.
基金supported by National Natural Science Foundation of China(Grant No.11301022)the State Key Laboratory of Rail Traffic Control and Safety,Beijing Jiaotong University(Grant Nos.RCS2014ZT20 and RCS2014ZZ001)+1 种基金Beijing Natural Science Foundation(Grant No.9144031)the Hong Kong Research Grant Council(Grant Nos.Poly U 501909,502510,502111 and 501212)
文摘We study symmetric tensor spaces and cones arising from polynomial optimization and physical sciences.We prove a decomposition invariance theorem for linear operators over the symmetric tensor space,which leads to several other interesting properties in symmetric tensor spaces.We then consider the positive semidefiniteness of linear operators which deduces the convexity of the Frobenius norm function of a symmetric tensor.Furthermore,we characterize the symmetric positive semidefinite tensor(SDT)cone by employing the properties of linear operators,design some face structures of its dual cone,and analyze its relationship to many other tensor cones.In particular,we show that the cone is self-dual if and only if the polynomial is quadratic,give specific characterizations of tensors that are in the primal cone but not in the dual for higher order cases,and develop a complete relationship map among the tensor cones appeared in the literature.
基金supported by the Fundamental Research Funds for the Central Universities,China(No.K5051202047)
文摘We propose a low complexity robust beamforming method for the general-rank signal model, to combat against mismatches of the desired signal array response and the received signal covariance matrix. The proposed beamformer not only considers the norm bounded uncertainties in the desired and received signal covariance matrices, but also includes an additional positive semidefinite constraint on the desired signal covariance matrix. Based on the worst-case performance optimization criterion, a computationally simple closed-form weight vector is obtained. Simulation results verify the validity and robustness of the proposed beamforming method.
基金Supported by the Natural Science Foundation of Anhui Province(1708085QA05)the Natural Science Foundation of Anhui Higher Education Institutions of China(KJ2019A0588,KJ2020ZD008)。
文摘For positive real numbers a,b,a+b≤max{a+b1/2 a1/2,b+a1/2b1/2}.In this note,we generalize this fact to matrices by proving that for positive semidefinite matrices A and B of order n,for any c∈[-1,1]and j=1,2,…,n,sj(A+B)≤sj((A⊕B)+φc(A,B))≤sj(A+|B1/2A1/2|)⊕(B+|A1/2B1/2|),where sj(X)denotes the j-th largest singular value of X andφc(A,B):=1/2((1+c)|B1/2A1/2|(1-c)A1/2B1/2(1-c)B1/2A1/2(1+c)|A1/2B1/2|).This result sharpens some known result.Meanwhile,some related results are established.
基金This work was supported by the National Natural Science Foundation of China (Grant Nos. 11301521, 11771467, 11071041), the Natural Science Foundation of Fujian Province (Nos. 2016J01005, 2015J01578), and the National Post- doctoral Program for Innovative Talents (No. BX201700234).
文摘Based on the special positive semidefinite splittings of the saddle point matrix, we propose a new Mternating positive semidefinite splitting (APSS) iteration method for the saddle point problem arising from the finite element discretization of the hybrid formulation of the time-harmonic eddy current problem. We prove that the new APSS iteration method is unconditionally convergent for both cases of the simple topology and the general topology. The new APSS matrix can be used as a preconditioner to accelerate the convergence rate of Krylov subspace methods. Numerical results show that the new APSS preconditioner is superior to the existing preconditioners.
基金Supported by the Scientific Research Project of Chongqing Three Gorges University(11QN-21)
文摘This paper aims to discuss some inequalities involving unitarily invariant norms and positive semidefinite matrices. By using properties of unitarily invariant norms, we obtain two inequities involving unitarily invariant norms and positive semidefinite matrices, which generalize the result obtained by Bhatia and Kittaneh.
文摘On the basis of the paoers[3—7],this paper study the monotonicity problems for the positive semidefinite generalized inverses of the positive semidefinite self-conjugate matrices of quaternions in the Lowner partial order,give the explicit formulations of the monotonicity solution sets A{1;≥,T_1;≤B^(1)}and B{1;≥,T_2≥A^(1)}for the(1)-inverse,and two results of the monotonicity charac teriaztion for the(1,2)-inverse.
文摘The symmetric,positive semidefinite,and positive definite real solutions of the matrix equation XA=YAD from an inverse problem of vibration theory are considered.When D=T the necessary and sufficient conditions for the existence of such solutions and their general forms are derived.
文摘A Riemannian gradient descent algorithm and a truncated variant are presented to solve systems of phaseless equations|Ax|^(2)=y.The algorithms are developed by exploiting the inherent low rank structure of the problem based on the embedded manifold of rank-1 positive semidefinite matrices.Theoretical recovery guarantee has been established for the truncated variant,showing that the algorithm is able to achieve successful recovery when the number of equations is proportional to the number of unknowns.Two key ingredients in the analysis are the restricted well conditioned property and the restricted weak correlation property of the associated truncated linear operator.Empirical evaluations show that our algorithms are competitive with other state-of-the-art first order nonconvex approaches with provable guarantees.
基金Subsidized by the Special Funds for Major State Basic Research Projects G1999032803
文摘We study the symmetric positive semidefinite solution of the matrix equation AX_1A^T + BX_2B^T=C. where A is a given real m×n matrix. B is a given real m×p matrix, and C is a given real m×m matrix, with m, n, p positive integers: and the bisymmetric positive semidefinite solution of the matrix equation D^T XD=C, where D is a given real n×m matrix. C is a given real m×m matrix, with m. n positive integers. By making use of the generalized singular value decomposition, we derive general analytic formulae, and present necessary and sufficient conditions for guaranteeing the existence of these solutions.
文摘Least squares solution of F=PG with respect to positive semidefinite symmetric P is considered,a new necessary and sufficient condition for solvablity is given,and the expression of solution is derived in the some special cases. Based on the expression, the least spuares solution of an inverse eigenvalue problem for positive semidefinite symmetric matrices is also given.
基金supported by Equipment Pre-Research Field Fund under Grant Nos.JZX7Y20190258055501,JZX7Y20190243016801the National Natural Science Foundation of China under Grant No.11901544+2 种基金the National Key Research Project of China under Grant No.2018YFA0306702the National Natural Science Foundation of China under Grant No.11571350supported by National Institute for Mathematical Sciences 2014 Thematic Program on Applied Algebraic Geometry in Daejeon,South Korea。
文摘This paper generalizes the factorization theorem of Gouveia,Parrilo and Thomas to a broader class of convex sets.Given a general convex set,the authors define a slack operator associated to the set and its polar according to whether the convex set is full dimensional,whether it is a translated cone and whether it contains lines.The authors strengthen the condition of a cone lift by requiring not only the convex set is the image of an affine slice of a given closed convex cone,but also its recession cone is the image of the linear slice of the closed convex cone.The authors show that the generalized lift of a convex set can also be characterized by the cone factorization of a properly defined slack operator.
基金the National Key R&D Program of China(2018YFB1004300)the National Natural Science Foundation of China(Grant No.61573104)partially supported by the Collaborative Innovation Center of Novel Software Technology and Industrialization.
文摘Multi-label classification aims to assign a set of proper labels for each instance,where distance metric learning can help improve the generalization ability of instance-based multi-label classification models.Existing multi-label metric learning techniques work by utilizing pairwise constraints to enforce that examples with similar label assignments should have close distance in the embedded feature space.In this paper,a novel distance metric learning approach for multi-label classification is proposed by modeling structural interactions between instance space and label space.On one hand,compositional distance metric is employed which adopts the representation of a weighted sum of rank-1 PSD matrices based on com-ponent bases.On the other hand,compositional weights are optimized by exploiting triplet similarity constraints derived from both instance and label spaces.Due to the compositional nature of employed distance metric,the resulting problem admits quadratic programming formulation with linear optimization complexity w.r.t.the number of training examples.We also derive the generalization bound for the proposed approach based on algorithmic robustness analysis of the compositional metric.Extensive experiments on sixteen benchmark data sets clearly validate the usefulness of compositional metric in yielding effective distance metric for multi-label classification.