The Binary Rank of Circulant Block Matrices

04/19/2022
by   Ishay Haviv, et al.
0

The binary rank of a 0,1 matrix is the smallest size of a partition of its ones into monochromatic combinatorial rectangles. A matrix M is called (k_1, …, k_m ; n_1, …, n_m) circulant block diagonal if it is a block matrix with m diagonal blocks, such that for each i ∈ [m], the ith diagonal block of M is the circulant matrix whose first row has k_i ones followed by n_i-k_i zeros, and all of whose other entries are zeros. In this work, we study the binary rank of these matrices and of their complement. In particular, we compare the binary rank of these matrices to their rank over the reals, which forms a lower bound on the former. We present a general method for proving upper bounds on the binary rank of block matrices that have diagonal blocks of some specified structure and ones elsewhere. Using this method, we prove that the binary rank of the complement of a (k_1, …, k_m ; n_1, …, n_m) circulant block diagonal matrix for integers satisfying n_i>k_i>0 for each i ∈ [m] exceeds its real rank by no more than the maximum of (n_i,k_i)-1 over all i ∈ [m]. We further present several sufficient conditions for the binary rank of these matrices to strictly exceed their real rank. By combining the upper and lower bounds, we determine the exact binary rank of various families of matrices and, in addition, significantly generalize a result of Gregory. Motivated by a question of Pullman, we study the binary rank of k-regular 0,1 matrices and of their complement. As an application of our results on circulant block diagonal matrices, we show that for every k ≥ 2, there exist k-regular 0,1 matrices whose binary rank is strictly larger than that of their complement. Furthermore, we exactly determine for every integer r, the smallest possible binary rank of the complement of a 2-regular 0,1 matrix with binary rank r.

READ FULL TEXT
research
03/24/2022

On the Binary and Boolean Rank of Regular Matrices

A 0,1 matrix is said to be regular if all of its rows and columns have t...
research
11/02/2020

Identification of Matrix Joint Block Diagonalization

Given a set 𝒞={C_i}_i=1^m of square matrices, the matrix blind joint blo...
research
06/21/2021

Minimal Rank Completions for Overlapping Blocks

We consider the multi-objective optimization problem of choosing the bot...
research
02/03/2020

A power Schur complement Low-Rank correction preconditioner for general sparse linear systems

An effective power based parallel preconditioner is proposed for general...
research
01/17/2019

A Relation Between Weight Enumerating Function and Number of Full Rank Sub-matrices

In most of the network coding problems with k messages, the existence of...
research
02/26/2018

Symmetric indefinite triangular factorization revealing the rank profile matrix

We present a novel recursive algorithm for reducing a symmetric matrix t...
research
08/21/2022

Sparsification of Large Ultrametric Matrices: Insights into the Microbial Tree of Life

Ultrametric matrices have a rich structure that is not apparent from the...

Please sign up or login with your details

Forgot password? Click here to reset