The integer cp-rank of $2 \times 2$ matrices

Thomas Laffey,Helena Šmigoc

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

2019-09-27

Abstract:We show the cp-rank of an integer doubly nonnegative $2 \times 2$ matrix does not exceed $11$.

Spectral Theory

What problem does this paper attempt to address?

New Lower Bounds and Asymptotics for the cp-Rank

Immanuel M. Bomze,Werner Schachinger,Reinhard Ullrich

DOI: https://doi.org/10.1137/140973207

IF: 1.908

2015-01-01

SIAM Journal on Matrix Analysis and Applications

Abstract:Let $p_n$ denote the largest possible cp-rank of an $n\times n$ completely positive matrix. This matrix parameter has its significance both in theory and applications, as it sheds light on the geometry and structure of the solution set of hard optimization problems in their completely positive formulation. Known bounds for $p_n$ are $s_n=\binom{n+1}2-4$, the current best upper bound, and the Drew--Johnson--Loewy (DJL) lower bound $d_n=\lfloor\frac{n^2}4\rfloor$. The famous DJL conjecture (1994) states that $p_n=d_n$. Here we show $p_n=\frac {n^2}2 +{\mathcal O}(n^{3/2}) = 2d_n+{\mathcal O}(n^{3/2}){{p_n=\frac {n^2}2 +{\mathcal O}(n^{3/2}) = 2d_n+{\mathcal O}(n^{3/2})}}$, and construct counterexamples to the DJL conjecture for all $n\ge {12}$ (for orders seven through eleven counterexamples were already given in [I. M. Bomze, W. Schachinger, and R. Ullrich, Linear Algebra Appl., 459 (2014), pp. 208--221].

mathematics, applied
When does cp-rank equal rank?

Wasin So,Changqing Xu

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

2013-09-10

Abstract:The problem of finding completely positive matrices with equal cp-rank and rank is considered. We give some easy-to-check sufficient conditions on the entries of a doubly nonnegative matrix for it to be completely positive with equal cp-rank and rank. An algorithm is also presented to show its efficiency.

Combinatorics
$2$-Modular Matrices

James Oxley,Zach Walsh

DOI: https://doi.org/10.1137/21M1419131

2024-05-02

Abstract:A rank-$r$ integer matrix $A$ is $\Delta$-modular if the determinant of each $r \times r$ submatrix has absolute value at most $\Delta$. The class of $1$-modular, or unimodular, matrices is of fundamental significance in both integer programming theory and matroid theory. A 1957 result of Heller shows that the maximum number of nonzero, pairwise non-parallel rows of a rank-$r$ unimodular matrix is ${r + 1 \choose 2}$. We prove that, for each sufficiently large integer $r$, the maximum number of nonzero, pairwise non-parallel rows of a rank-$r$ $2$-modular matrix is ${r + 2 \choose 2} - 2$.

Combinatorics
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
The rank of sparse random matrices

Amin Coja-Oghlan,Alperen A. Ergür,Pu Gao,Samuel Hetterich,Maurice Rolvien

2024-06-19

Abstract:We determine the rank of a random matrix over an arbitrary field with prescribed numbers of non-zero entries in each row and column. As an application we obtain a formula for the rate of low-density parity check codes. This formula vindicates a conjecture of Lelarge (2013). The proofs are based on coupling arguments and a novel random perturbation, applicable to any matrix, that diminishes the number of short linear relations.

Combinatorics,Discrete Mathematics,Probability
A Note on the Ranks of 2 X 2 X 2 and 2 X 2 X 2 X 2 Tensors

Xu Kong,Yao-Lin Jiang

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

2013-01-01

Abstract:Using rank-1 reduction formula and the vector space spanned by the real rank-1 matrices, we present a different way to show that the maximum possible rank of the 2x2x2 tensors over the real field is 3. Following, we obtain that the maximum rank of the 2x2x2x2 tensors over the real field is less than or equal to 5 and propose another way to show that the maximum rank of the 2x2x2x2 tensors over the complex field is 4, except one special case.
ON RICCI RANK OF CARTAN–HADAMARD MANIFOLDS

Dincer Guler,Fangyang Zheng

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

2002-01-01

International Journal of Mathematics

Abstract:In this article, we prove that the maximum rank r of the Ricci tensor of a Cartan–Hadamard manifold Mn satisfies the inequality 2r - 1 ≥ n - s, where n is the dimension and s is the core number, which measures the flatness of Mn. Examples show that this lower bound is sharp.
Nonnegative Rank vs. Binary Rank

Thomas Watson

DOI: https://doi.org/10.4086/cjtcs.2016.002

2016-03-25

Abstract:Motivated by (and using tools from) communication complexity, we investigate the relationship between the following two ranks of a $0$-$1$ matrix: its nonnegative rank and its binary rank (the $\log$ of the latter being the unambiguous nondeterministic communication complexity). We prove that for partial $0$-$1$ matrices, there can be an exponential separation. For total $0$-$1$ matrices, we show that if the nonnegative rank is at most $3$ then the two ranks are equal, and we show a separation by exhibiting a matrix with nonnegative rank $4$ and binary rank $5$, as well as a family of matrices for which the binary rank is $4/3$ times the nonnegative rank.

Computational Complexity,Discrete Mathematics
Computing symmetric rank for symmetric tensors

A. Bernardi,A. Gimigliano,M. Idà

DOI: https://doi.org/10.1016/j.jsc.2010.08.001

2010-08-09

Abstract:We consider the problem of determining the symmetric tensor rank for symmetric tensors with an algebraic geometry approach. We give algorithms for computing the symmetric rank for $2\times ... \times 2$ tensors and for tensors of small border rank. From a geometric point of view, we describe the symmetric rank strata for some secant varieties of Veronese varieties.

Algebraic Geometry,Commutative Algebra
A $2n^2-log(n)-1$ lower bound for the border rank of matrix multiplication

J.M. Landsberg,Mateusz Michałek

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

2016-08-26

Abstract:Let M_n denote the matrix multiplication tensor for nxn matrices. We use the border substitution method combined with Koszul flattenings to prove the border rank lower bound of 2n^2-log(n)-1 for M_n.

Computational Complexity,Algebraic Geometry
On the uncommonness of minimal rank-2 systems of linear equations

Daniel Altman,Anita Liebenau

2024-04-30

Abstract:We prove that suitably generic pairs of linear equations on an even number of variables are uncommon. This verifies a conjecture of Kamčev, Morrison and the second author. Moreover, we prove that any large system containing such a $(2\times k)$-system as a minimal subsystem is uncommon.

Combinatorics,Number Theory,Probability
Self-scaled bounds for atomic cone ranks: applications to nonnegative rank and cp-rank

Hamza Fawzi,Pablo A. Parrilo

DOI: https://doi.org/10.1007/s10107-015-0937-7

IF: 2.7

2015-08-19

Mathematical Programming

Abstract:The nonnegative rank of a matrix A is the smallest integer r such that A can be written as the sum of r rank-one nonnegative matrices. The nonnegative rank has received a lot of attention recently due to its application in optimization, probability and communication complexity. In this paper we study a class of atomic rank functions defined on a convex cone which generalize several notions of “positive” ranks such as nonnegative rank or cp-rank (for completely positive matrices). The main contribution of the paper is a new method to obtain lower bounds for such ranks. Additionally the bounds we propose can be computed by semidefinite programming using sum-of-squares relaxations. The idea of the lower bound relies on an atomic norm approach where the atoms are self-scaled according to the vector (or matrix, in the case of nonnegative rank) of interest. This results in a lower bound that is invariant under scaling and that enjoys other interesting structural properties. For the case of the nonnegative rank we show that our bound has an appealing connection with existing combinatorial bounds and other norm-based bounds. For example we show that our lower bound is a non-combinatorial version of the fractional rectangle cover number, while the sum-of-squares relaxation is closely related to the Lovász ϑ¯$$\bar{\vartheta }$$ number of the rectangle graph of the matrix. We also prove that the lower bound is always greater than or equal to the hyperplane separation bound (and other similar “norm-based” bounds). We also discuss the case of the tensor nonnegative rank as well as the cp-rank, and compare our bound with existing results.

mathematics, applied,computer science, software engineering,operations research & management science
Geometric rank of tensors and subrank of matrix multiplication

Swastik Kopparty,Guy Moshkovitz,Jeroen Zuiddam

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

2020-02-21

Computational Complexity

Abstract:Motivated by problems in algebraic complexity theory (e.g., matrix multiplication) and extremal combinatorics (e.g., the cap set problem and the sunflower problem), we introduce the geometric rank as a new tool in the study of tensors and hypergraphs. We prove that the geometric rank is an upper bound on the subrank of tensors and the independence number of hypergraphs. We prove that the geometric rank is smaller than the slice rank of Tao, and relate geometric rank to the analytic rank of Gowers and Wolf in an asymptotic fashion. As a first application, we use geometric rank to prove a tight upper bound on the (border) subrank of the matrix multiplication tensors, matching Strassen's well-known lower bound from 1987.
Matrices with high completely positive semidefinite rank

Sander Gribling,David de Laat,Monique Laurent

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

2016-10-26

Abstract:A real symmetric matrix $M$ is completely positive semidefinite if it admits a Gram representation by (Hermitian) positive semidefinite matrices of any size $d$. The smallest such $d$ is called the (complex) completely positive semidefinite rank of $M$, and it is an open question whether there exists an upper bound on this number as a function of the matrix size. We construct completely positive semidefinite matrices of size $4k^2+2k+2$ with complex completely positive semidefinite rank $2^k$ for any positive integer $k$. This shows that if such an upper bound exists, it has to be at least exponential in the matrix size. For this we exploit connections to quantum information theory and we construct extremal bipartite correlation matrices of large rank. We also exhibit a class of completely positive matrices with quadratic (in terms of the matrix size) completely positive rank, but with linear completely positive semidefinite rank, and we make a connection to the existence of Hadamard matrices.

Optimization and Control
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
Lower Bounds for the Rank of a Matrix with Zeros and Ones outside the Leading Diagonal

A. V. Seliverstov,O. A. Zverkov

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

2024-05-23

Programming and Computer Software

Abstract:We found a lower bound on the rank of a square matrix where every entry in the leading diagonal is neither zero nor one and every entry outside the leading diagonal is either zero or one. The rank of this matrix is at least half its order. Under an additional condition, the lower bound is higher by one. This condition means that some auxiliary system of linear equations has no binary solution. Some examples are provided that show that the lower bound can be achieved. This lower bound on the matrix rank allows the problem of finding a binary solution to a system of linear equations with a sufficiently large number of linearly independent equations to be reduced to a similar problem in a smaller number of variables. Restrictions on the existence of a large set of solutions are found, each differing from the binary one by the value of one variable. In addition, we discuss the possibility of certifying the absence of a binary solution to a large system of linear algebraic equations. Estimates of the time required for calculating the matrix rank in the SymPy computer algebra system are also provided. It is shown that the rank of a matrix over the field of residues modulo prime number is calculated faster than it generally takes to calculate the rank of a matrix of the same order over the field of rational numbers.

computer science, software engineering
Random restrictions of high-rank tensors and polynomial maps

Jop Briët,Davi Castro-Silva

DOI: https://doi.org/10.19086/da.124610

2024-11-05

Abstract:Motivated by a problem in computational complexity, we consider the behavior of rank functions for tensors and polynomial maps under random coordinate restrictions. We show that, for a broad class of rank functions called natural rank functions, random coordinate restriction to a dense set will typically reduce the rank by at most a constant factor.

Combinatorics,Number Theory
On affine spaces of rectangular matrices with constant rank

Clément de Seguins Pazzis

2024-05-04

Abstract:Let $\mathbb{F}$ be a field, and $n \geq p \geq r>0$ be integers. In a recent article, Rubei has determined, when $\mathbb{F}$ is the field of real numbers, the greatest possible dimension for an affine subspace of $n$--by--$p$ matrices with entries in $\mathbb{F}$ in which all the elements have rank $r$. In this note, we generalize her result to an arbitrary field with more than $r+1$ elements, and we classify the spaces that reach the maximal dimension as a function of the classification of the affine subspaces of invertible matrices of $\mathrm{M}_s(\mathbb{F})$ with dimension $\dbinom{s}{2}$. The latter is known to be connected to the classification of nonisotropic quadratic forms over $\mathbb{F}$ up to congruence.

Rings and Algebras

The integer cp-rank of $2 \times 2$ matrices

New Lower Bounds and Asymptotics for the cp-Rank

When does cp-rank equal rank?

$2$-Modular Matrices

Effective Lower Bounds on the Matrix Rank and Their Applications

The rank of sparse random matrices

A Note on the Ranks of 2 X 2 X 2 and 2 X 2 X 2 X 2 Tensors

ON RICCI RANK OF CARTAN–HADAMARD MANIFOLDS

Nonnegative Rank vs. Binary Rank

Computing symmetric rank for symmetric tensors

A $2n^2-log(n)-1$ lower bound for the border rank of matrix multiplication

On the uncommonness of minimal rank-2 systems of linear equations

Self-scaled bounds for atomic cone ranks: applications to nonnegative rank and cp-rank

Geometric rank of tensors and subrank of matrix multiplication

Matrices with high completely positive semidefinite rank

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

Lower Bounds for the Rank of a Matrix with Zeros and Ones outside the Leading Diagonal

Random restrictions of high-rank tensors and polynomial maps

On affine spaces of rectangular matrices with constant rank