A Note on a Conjecture of the Maximal Rank of Matrix Expressions

Ying Song,Wen-Bin Guo

2008-01-01

Abstract:A conjecture of the maximal rank of matrix expressions, which was proposed on SIAM[1], was discussed in this paper. We verified that the conjecture was correct by applying matrix decompositions and gave some related results.

What problem does this paper attempt to address?

The Minimal Rank of Matrix Expressions with Respect to Hermitian Matrix-Revised

Hongxing Wang,Wenbin Guo

DOI: https://doi.org/10.1016/j.jfranklin.2015.05.002

IF: 4.246

2015-01-01

Journal of the Franklin Institute

Abstract:This paper presents representations for the minimal rank of A−BXC with respect to Hermitian matrix X and the minimal rank of A−BX−YD with respect to Hermitian matrix X and Y. These results prove, in a distinctive way, the solvability conditions of the matrix equations BXC=A and BX+YD=A, where X and Y are arbitrary matrices with X=X⁎.
Extremal Ranks of Matrix Expression of A - BXC with Respect to Hermitian Matrix.

Wenbin Guo,Tingzhu Huang

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

IF: 4.397

2010-01-01

Applied Mathematics and Computation

Abstract:The extremal ranks of matrix expression of A−BXC with respect to XH=X have been discussed by applying the quotient singular value decomposition Q-SVD and some rank equalities of matrices in this paper.
Upper and lower bounds for the rank of the matrix-valued function when X has a fixed rank

Yongge Tian

DOI: https://doi.org/10.1080/03081087.2017.1322034

2017-05-04

Linear and Multilinear Algebra

Abstract:Given a matrix-valued function , where , , and are known matrices, we first review two known fundamental formulas for calculating the maximum and minimum ranks of the matrix-valued function when X runs over . We then establish some new formulas for calculating the maximum and minimum ranks of when X runs over with a restriction by using a simultaneous decomposition of A, B and C, and some tricky matrix operations. Some applications of the rank formulas in completing partially-specified matrices are also given.

mathematics
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 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.
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.
Uniform Column Sign-Coherence and the Existence of Maximal Green Sequences

Peigen Cao,Fang Li

DOI: https://doi.org/10.1007/s10801-018-0861-z

2019-01-01

Journal of Algebraic Combinatorics

Abstract:In this paper, we prove that each matrix in $M_{m\times n}({\mathbb {Z}}_{\ge 0})$ is uniformly column sign-coherent (Definition 2.2 (ii)) with respect to any $n\times n$ skew-symmetrizable integer matrix (Corollary 3.3 (ii)). Using such matrices, we introduce the definition of irreducible skew-symmetrizable matrix (Definition 4.1). Based on this, the existence of maximal green sequences for skew-symmetrizable matrices is reduced to the existence of maximal green sequences for irreducible skew-symmetrizable matrices.
Comments on "upper Matrix Bounds for the Discrete Algebraic Riccati Matrix Equation" [with Author's Reply]

Lixin Gao,Anke Xue,Youxian Sun,Han Ho Choi

DOI: https://doi.org/10.1109/tac.2002.800675

IF: 6.549

2002-01-01

IEEE Transactions on Automatic Control

Abstract:In the above paper (H. H. Choi, IEEE Trans. Automat. Contr., vol. 46, pp. 504-8, 2001), new methods to obtain upper matrix bounds for a discrete algebraic Riccati equation (DARE) have been established, but the author assumes that the system matrix A is nonsingular and DARE has a positive-definite solution. In this note, some similar results can be obtained when a solution is positive-semidefinite and there are no extra assumption that A is nonsingular. In reply the original author explains some of the underlying assumptions and comments on the computational burdens in the inequality in the commenters' note.
Conic programming to understand sums of squares of eigenvalues of graphs

Gabriel Coutinho,Thomás Jung Spier,Shengtong Zhang

2024-11-13

Abstract:In this paper we prove a conjecture by Wocjan, Elphick and Anekstein (2018) which upper bounds the sum of the squares of the positive (or negative) eigenvalues of the adjacency matrix of a graph by an expression that behaves monotonically in terms of the vector chromatic number. One of our lemmas is a strengthening of the Cauchy-Schwarz inequality for Hermitian matrices when one of the matrices is positive semidefinite. A related conjecture due to Bollobás and Nikiforov (2007) replaces the vector chromatic number by the clique number and sums over the first two eigenvalues only. We prove a version of this conjecture with weaker constants. An important consequence of our work is a proof that for any fixed $r$, computing a rank $r$ optimum solution to the vector chromatic number semidefinite programming is NP-hard. We also present a vertex weighted version of some of our results, and we show how it leads quite naturally to the known vertex-weighted version of the Motzkin-Straus quadratic optimization formulation for the clique number.

Combinatorics,Optimization and Control,Spectral Theory
Notes on the Sum-Rank Weight of a Matrix with Restricted Rank

Hugo Sauerbier Couvée,Hedongliang Liu

2023-11-17

Abstract:These notes cover a few calculations regarding the sum-rank weight of a matrix in relation to its rank. In particular, a formula and lower bounds are given on the probability that a matrix of rank $t$ consisting of $\ell$ blocks has sum-rank weight $\ell t$.

Information Theory,Discrete Mathematics
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.
A matrix realization of spectral bounds

Yen-Jen Cheng,Chih-wen Weng

2023-07-08

Abstract:We give a unified and systematic way to find bounds for the largest real eigenvalue of a nonnegative matrix by considering its modified quotient matrix. We leverage this insight to identify the unique class of matrices whose largest real eigenvalue is maximum among all $(0,1)$-matrices with a specified number of ones. This result resolves a problem that was posed independently by R. Brualdi and A. Hoffman, as well as F. Friedland, back in 1985.

Combinatorics
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
Partial Proof of a Conjecture with Implications for Spectral Majorization

Jeffrey Uhlmann

DOI: https://doi.org/10.48550/arXiv.2309.01302

2023-09-04

Abstract:In this paper we report on new results relating to a conjecture regarding properties of $n\times n$, $n\leq 6$, positive definite matrices. The conjecture has been proven for $n\leq 4$ using computer-assisted sum of squares (SoS) methods for proving polynomial nonnegativity. Based on these proven cases, we report on the recent identification of a new family of matrices with the property that their diagonals majorize their spectrum. We then present new results showing that this family can extended via Kronecker composition to $n>6$ while retaining the special majorization property. We conclude with general considerations on the future of computer-assisted and AI-based proofs.

Symbolic Computation,Artificial Intelligence
Affine subspaces of matrices with rank in a range

Elena Rubei

DOI: https://doi.org/10.13001/ela.2024.8817

2024-10-05

Electronic Journal of Linear Algebra

Abstract:The problem of finding the maximal dimension of linear or affine subspaces of matrices whose rank is constant, or bounded below, or bounded above, has attracted many mathematicians from the sixties to the present day. The problem has caught also the attention of algebraic geometers, since vector spaces of matrices of constant rank give rise to vector bundle maps whose images are vector bundles of rank . Moreover, there is a link with the so-called "rank metric codes," since a constant rank subspace of can be viewed as a constant weight rank metric code; it can be interesting to study also the maximal dimension of the subspaces of whose elements have rank in a range , since such subspaces obviously give rank metric codes with weights in . In this paper, with the main purpose to get an organic result including the ones on spaces of matrices with constant rank, the ones on spaces of matrices with rank bounded below and the ones on spaces of matrices with rank bounded above and to generalize a previous result on real matrices with constant rank to matrices on a more general field, we study the maximal dimension of affine subspaces of matrices whose rank is between two numbers under mild assumptions on the field. We get also a result on antisymmetric matrices and on matrices in row echelon form.

mathematics
A rank 18 Waring decomposition of $sM_{\langle 3\rangle}$ with 432 symmetries

Austin Conner

DOI: https://doi.org/10.48550/arXiv.1711.05796

2017-11-16

Abstract:The recent discovery that the exponent of matrix multiplication is determined by the rank of the symmetrized matrix multiplication tensor has invigorated interest in better understanding symmetrized matrix multiplication. I present an explicit rank 18 Waring decomposition of $sM_{\langle 3\rangle}$ and describe its symmetry group.

Representation Theory,Computational Complexity
Effective Lower Bounds on the Matrix Rank and Their Applications

O. A. Zverkov,A. V. Seliverstov

DOI: https://doi.org/10.1134/s0361768823020160

2023-10-10

Programming and Computer Software

Abstract:We propose an efficiently verifiable lower bound on the rank of a sparse fully indecomposable square matrix that contains two non-zero entries in each row and each column. The rank of this matrix is equal to its order or differs from it by one. Bases of a special type are constructed in the spaces of quadratic forms in a fixed number of variables. The existence of these bases allows us to substantiate a heuristic algorithm for recognizing whether a given affine subspace passes through a vertex of a multidimensional unit cube. In the worst case, the algorithm may output a computation denial warning; however, for the general subspace of sufficiently small dimension, it correctly rejects the input. The algorithm is implemented in Python. The running time of its implementation is estimated in the process of testing.

computer science, software engineering
An approximation theory of matrix rank minimization and its application to quadratic equations

Yun-Bin Zhao

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

IF: 1.307

2012-07-01

Linear Algebra and its Applications

Abstract:Matrix rank minimization problems are gaining plenty of recent attention in both mathematical and engineering fields. This class of problems, arising in various and across-discipline applications, is known to be NP-hard in general. In this paper, we aim at providing an approximation theory for the rank minimization problem, and prove that a rank minimization problem can be approximated to any level of accuracy via continuous optimization (especially, linear and nonlinear semidefinite programming) problems. One of the main results in this paper shows that if the feasible set of the problem has a minimum rank element with the least Frobenius norm, then any accumulation point of solutions to the approximation problem, as the approximation parameter tends to zero, is a minimum rank solution of the original problem. The tractability under certain conditions and convex relaxation of the approximation problem are also discussed. An immediate application of this theory to the system of quadratic equations is presented in this paper. It turns out that the condition for such a system without a nonzero solution can be characterized by a rank minimization problem, and thus the proposed approximation theory can be used to establish some sufficient conditions for the system to possess only zero solution.

mathematics, applied

A Note on a Conjecture of the Maximal Rank of Matrix Expressions

The Minimal Rank of Matrix Expressions with Respect to Hermitian Matrix-Revised

Extremal Ranks of Matrix Expression of A - BXC with Respect to Hermitian Matrix.

Upper and lower bounds for the rank of the matrix-valued function when X has a fixed rank

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

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

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

Uniform Column Sign-Coherence and the Existence of Maximal Green Sequences

Comments on "upper Matrix Bounds for the Discrete Algebraic Riccati Matrix Equation" [with Author's Reply]

Conic programming to understand sums of squares of eigenvalues of graphs

Notes on the Sum-Rank Weight of a Matrix with Restricted Rank

On Rank Equalities of Partitioned Matrices over a Division Ring

A matrix realization of spectral bounds

A proof of some conjectures of Mao on partition rank inequalities

Partial Proof of a Conjecture with Implications for Spectral Majorization

Affine subspaces of matrices with rank in a range

A rank 18 Waring decomposition of $sM_{\langle 3\rangle}$ with 432 symmetries

Effective Lower Bounds on the Matrix Rank and Their Applications

An approximation theory of matrix rank minimization and its application to quadratic equations