Several Proofs of Three Matrix Rank Inequalities

Qu Longjiang,Li Chao,Dai Qingping

2010-01-01

Abstract:The proofs of three matrix rank inequalities in the course of linear algebra are studied.There different proofs are given for each inequality.

What problem does this paper attempt to address?

Necessary and Sufficient Conditions for the Equality Signs in Three Matrix Rank Inequalities

QU Long-jiang,LI Chao,DAI Qing-ping

DOI: https://doi.org/10.3969/j.issn.1672-1454.2012.03.029

2012-01-01

Abstract:Three inequalities of matrix rank in linear algebra course are investigated.Sufficient and necessary conditions for the equalities to be held are got.
Three New Proofs of the Theorem rank f(M) + rank g(M) = rank (f,g)(M) + rank [f,g](M)

Vasile Pop,Alexandru Negrescu

DOI: https://doi.org/10.3390/math12030360

IF: 2.4

2024-01-23

Mathematics

Abstract:It is well known that in C[X], the product of two polynomials is equal to the product of their greatest common divisor and their least common multiple. In a recent paper, we proved a similar relation between the ranks of matrix polynomials. More precisely, the sum of the ranks of two matrix polynomials is equal to the sum of the rank of the greatest common divisor of the polynomials applied to the respective matrix and the rank of the least common multiple of the polynomials applied to the respective matrix. In this paper, we present three new proofs for this result. In addition to these, we present two more applications.

mathematics
A Rank Equality Of Matrices And Its Application

Haiming Wang,Zhongpeng Yang,Minli Zeng

2009-01-01

Abstract:We discuss a rank equality of matrices and it's application in this paper,and popularize the result of Y.Tian and G.P.H.styan,then we get a more general result.
A Proof for a Conjecture and its Application

W.Q. Liu,Wenjin Yan,Kok Lay Teo

DOI: https://doi.org/10.1016/S1474-6670(17)58555-9

1996-01-01

IFAC Proceedings Volumes

Abstract:In this paper, the equivalence between two matrix rank conditions for a family of matrices is established and then used to show that the conjecture proposed by Gong and Aldeen in a recent paper (Gong and Aldeen, 1994) is true. As an application, the equivalence of two characterizations for fixed modes in general case is proved.
Analysis of the properties of matrix rank and the relationship between matrix rank and matrix operations

Jiying Ma

DOI: https://doi.org/10.2478/amns.2021.2.00139

2021-12-30

Applied Mathematics and Nonlinear Sciences

Abstract:Abstract This paper discusses the invariance of the rank of a matrix, the conditions and applications of matrix inequalities, the relationship between matrix rank and matrix operations, the relationship with matrix reversibility, the linear correlation with vector groups and the zero relationship of eigenvalue algebra multiples and other properties. The application of the rank of the matrix in linear algebra, analytic geometry, probability theory, etc. is obtained.
The lower bounds for the rank of matrices and some sufficient conditions for nonsingular matrices

Dafei Wang,Xumei Zhang

DOI: https://doi.org/10.1186/s13660-017-1446-4

2017-07-20

Journal of Inequalities and Applications

Abstract:The paper mainly discusses the lower bounds for the rank of matrices and sufficient conditions for nonsingular matrices. We first present a new estimation for ∑i=1n|λi|2documentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$sum_{i=1}^{n} vert lambda_{i} vert ^{2}$end{document} (λidocumentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$lambda_{i}$end{document} is an eigenvalue of a matrix) by using the partitioned matrices. By using this estimation and inequality theory, the new and more accurate estimations for the lower bounds for the rank are deduced. Furthermore, based on the estimation for the rank, some sufficient conditions for nonsingular matrices are obtained.

mathematics, applied
On Rank Equalities of Partitioned Matrices over a Division Ring

Yong-hui LIU,Wen-bin GUO

DOI: https://doi.org/10.3770/j.issn.2095-2651.2005.02.024

2005-01-01

Abstract:By applying the decomposition of the pairwise matrices over a division ring, we give a new proof of Marsaglia-Styan rank formula. We also obtain some equivalent characterizations of some new rank equalities of the partitioned matrices.
On the Open Problem Related to Rank Equalities for the Sum of Finitely Many Idempotent Matrices and Its Applications

Mei-xiang Chen,Qing-hua Chen,Qiao-xin Li,Zhong-peng Yang

DOI: https://doi.org/10.1155/2014/702413

2014-01-01

The Scientific World JOURNAL

Abstract:Tian and Styan have shown many rank equalities for the sum of two and three idempotent matrices and pointed out that rank equalities for the sum P 1 + ⋯ + P k with P 1 , ... , P k be idempotent ( k > 3 ) are still open. In this paper, by using block Gaussian elimination, we obtained rank equalities for the sum of finitely many idempotent matrices and then solved the open problem mentioned above. Extensions to scalar-potent matrices and some related matrices are also included.
Inequalities regarding partial trace and partial determinant

Yongtao Li,Lihua Feng,Zheng Huang,Weijun Liu

DOI: https://doi.org/10.7153/mia-2020-23-39

2020-01-08

Abstract:In this paper, we first present simple proofs of Choi's results [4], then we give a short alternative proof for Fiedler and Markham's inequality [6]. We also obtain additional matrix inequalities related to partial determinants.

Functional Analysis,Operator Algebras
Rank of Matrix of Finite Dimensional Local Algebras and Its Application

白秋雪,李文静,宋伟林,张跃辉

DOI: https://doi.org/10.3969/j.issn.1674-1331.2011.06.004

2011-01-01

Abstract:It is proved that the usual equivalence of full rank and invertibility of matrices can be generalized over matrix algebra over a Finite dimensional commutative local algebra.As an application,a very simple proof is given for classical McCoy′s theorem.
A Matrix Inequality

XJ Yang

DOI: https://doi.org/10.1016/s0024-3795(01)00587-0

IF: 1.307

2002-01-01

Linear Algebra and its Applications

Abstract:In this note, we prove: if (xij) is an m×n matrix with non-negative real entries, which are not all equal to 0, then for p⩾1, the following inequality holds:mp−1+np−1(mn)p−1+min(mp−1,np−1)⩽mp−1∑i=1m(∑j=1nxij)p+np−1∑j=1n(∑i=1mxij)p(∑i=1m∑j=1nxij)p+(mn)p−1∑i=1m∑j=1nxijp.The case p=2 of our result reduces to the inequality obtained recently by H. Alzer [Linear Algebra Appl. 323 (2001) 195].
A proof of some conjectures of Mao on partition rank inequalities

Ethan Alwaise,Elena Iannuzzi,Holly Swisher

DOI: https://doi.org/10.1007/s11139-016-9789-x

2016-07-25

The Ramanujan Journal

Abstract:Based on work of Atkin and Swinnerton-Dyer on partition rank difference functions, and more recent work of Lovejoy and Osburn, Mao has proved several inequalities between partition ranks modulo 10, and additional results modulo 6 and 10 for the M2$$M_2$$ rank of partitions without repeated odd parts. Mao conjectured some additional inequalities. We prove some of Mao’s rank inequality conjectures for both the rank and the M2$$M_2$$ rank modulo 10 using elementary methods.

mathematics
On Some Matrix Inequalities

XZ Zhan

DOI: https://doi.org/10.1016/j.laa.2003.08.008

IF: 1.307

2003-01-01

Linear Algebra and its Applications

Abstract:The arithmetic-geometric mean inequality for singular values due to Bhatia and Kittaneh says that2s(j)(AB*) less than or equal to s(j)(A*A + B*B), j = 1, 2,...for any matrices A, B. We first give new proofs of this inequality and its equivalent form. Then we use it to prove the following trace inequality: let A(0) be a positive definite matrix and A(1),...,A(k) be positive semidefinite matrices. Thentr Sigma(j=1)(k) (Sigma(i=0)(j)A(i))(-2)A(j) < tr A(0)(-1). (C) 2003 Elsevier Inc. All rights reserved.
On Linear spaces of of matrices bounded rank

Hang Huang,J.M. Landsberg

2023-06-26

Abstract:Motivated by questions in theoretical computer science and quantum information theory, we study the classical problem of determining linear spaces of matrices of bounded rank. Spaces of bounded rank three were classified in 1983, and it has been a longstanding problem to classify spaces of bounded rank four. Before our study, no non-classical example of such a space was known. We exhibit two non-classical examples of such spaces and give the full classification of basic spaces of bounded rank four. There are exactly four such up to isomorphism. We also take steps to bring together the methods of the linear algebra community and the algebraic geometry community used to study spaces of bounded rank.

Algebraic Geometry,Computational Complexity
A Note on the Rank of Inclusion Matrices.

Tao Feng,Shenwei Huang

DOI: https://doi.org/10.1007/s00373-023-02629-9

2023-01-01

Graphs and Combinatorics

Abstract:Let 𝐌_𝐧,𝐤,𝐭 be the inclusion matrix of k -subsets and t -subsets of a set of n elements. In this note, we give a new proof for the property that 𝐌_𝐧,𝐤,𝐭 is either of full row rank or of full column rank. Our proof is based on a nontrivial use of system of linear equations.
Invariance of Rank for Linear Combinations of Scalar-involutory Matrices

Zhang Jinhui,Wang Haiming,Yang Zhongpeng,Hu Qingxiao

DOI: https://doi.org/10.3969/j.issn.1006-6837.2010.01.013

2010-01-01

Journal of Mathematical Study

Abstract:The square matrices A and B over the complex field C are said to be scalar-involutory matrices if A~2=λ~2I and B~2=μ~2I,whereλμ≠0.When all nonzero scalars a,b,u,v∈C satisfying aλ+bμ≠0 and uλ+vμ≠0,we proved the rank for the linear combination of a pair of scalar-involutory matrices A,B and a identity matrix I is constant and independent on the choice of a,b,u and v.Then the corresponding results of involutory matrices in previous literatures are generalized by the invariance of rank for linear combinations of scalar-involutory matrices.
Extreme Ranks of Real Matrices in Solution of the Quaternion Matrix Equation AXB = C with Applications

Qingwen Wang,Shaowen Yu,Wei Xie

DOI: https://doi.org/10.1142/s1005386710000349

2010-01-01

Algebra Colloquium

Abstract:In this paper, for a consistent quaternion matrix equation AXB = C, the formulas are established for maximal and minimal ranks of real matrices X1, X2, X3, X4 in solution X = X1 + X2i + X3j + X4k. A necessary and sufficient condition is given for the existence of a real solution of the quaternion matrix equation. The expression is also presented for the general solution to this equation when the solvability conditions are satisfied. Moreover, necessary and sufficient conditions are given for this matrix equation to have a complex solution or a pure imaginary solution. As applications, the maximal and minimal ranks of real matrices E, F, G, H in a generalized inverse (A +Bi + Cj + Dk)- = E + Fi + Gj + Hk of a quaternion matrix A + Bi + Cj + Dk are also considered. In addition, a necessary and sufficient condition is derived for the quaternion matrix equations A1XB1 = C1 and A2XB2 = C2 to have a common real solution.
Probability Proof of Algebraic Inequalities

LIU Jie,HU Taizhong,ZHUANG Weiwei

DOI: https://doi.org/10.3969/j.issn.1008-1399.2023.01.008

2023-01-01

Abstract:This paper studies the use of three probability properties in the proof of algebraic inequalities, including strong additivity of probability, nonnegativity of variance and linear property of expectation. We expound on how to construct random events and random variables according to the characteristics of the inequalities. Several examples with the detailed proofs are provided to show our approaches.
Proof of a Conjectured 0-Rényi Entropy Inequality with Applications to Multipartite Entanglement

Zhiwei Song,Lin Chen,Yize Sun,Mengyao Hu

DOI: https://doi.org/10.1109/tit.2022.3227914

IF: 2.5

2023-01-01

IEEE Transactions on Information Theory

Abstract:Characterizing the relations among the three bipartite reduced density operators $ \rho _{AB}$ , $ \rho _{AC}$ and $ \rho _{BC}$ of a tripartite mixed state $ \rho _{ABC}$ has been an open problem in quantum information. One of such relations has been reduced by [Cadney et al, LAA. 452, 153, 2014] to a conjectured inequality in terms of matrix rank, namely $r(\rho _{AB}) \cdot r( \rho _{AC})\ge r( \rho _{BC})$ for any $ \rho _{ABC}$ . It is denoted as open problem 41 in the website “Open quantum problems-IQOQI Vienna”. We prove the inequality, and thus establish a complete picture of the four-party linear inequalities in terms of the 0-entropy. Our proof is based on the construction of a novel canonical form of bipartite matrices under local equivalence. We extend our result to inequalities in multipartite systems, as well as the condition when the inequality is saturated.
The Numerical Rank of A Matrix and Its Applications

Xinlong Feng,Yinnian He,Zhinan Zhang

DOI: https://doi.org/10.1016/j.amc.2007.06.005

IF: 4.397

2008-01-01

Applied Mathematics and Computation

Abstract:In this paper, it is proved that the probabilities of a real random matrix and a rational random matrix being non-singular are 1 in the matrix computations, respectively. Finally, the applications for the least squares problem are given.

Several Proofs of Three Matrix Rank Inequalities

Necessary and Sufficient Conditions for the Equality Signs in Three Matrix Rank Inequalities

Three New Proofs of the Theorem rank f(M) + rank g(M) = rank (f,g)(M) + rank [f,g](M)

A Rank Equality Of Matrices And Its Application

A Proof for a Conjecture and its Application

Analysis of the properties of matrix rank and the relationship between matrix rank and matrix operations

The lower bounds for the rank of matrices and some sufficient conditions for nonsingular matrices

On Rank Equalities of Partitioned Matrices over a Division Ring

On the Open Problem Related to Rank Equalities for the Sum of Finitely Many Idempotent Matrices and Its Applications

Inequalities regarding partial trace and partial determinant

Rank of Matrix of Finite Dimensional Local Algebras and Its Application

A Matrix Inequality

A proof of some conjectures of Mao on partition rank inequalities

On Some Matrix Inequalities

On Linear spaces of of matrices bounded rank

A Note on the Rank of Inclusion Matrices.

Invariance of Rank for Linear Combinations of Scalar-involutory Matrices

Extreme Ranks of Real Matrices in Solution of the Quaternion Matrix Equation AXB = C with Applications

Probability Proof of Algebraic Inequalities

Proof of a Conjectured 0-Rényi Entropy Inequality with Applications to Multipartite Entanglement

The Numerical Rank of A Matrix and Its Applications