3
$\begingroup$

Suppose given $M\in\{0,1\}^{n\times n}$ of rank $r$.

Assume that changing even a single $1$ to $0$ in $M$ raises rank. Does it follow that $M$ is permutationally equivalent to a block diagonal matrix with each block of rank $1$?

Assume that changing even a single $1$ to $0$ in $M$ lowers rank. Does it follow that $M$ is permutationally equivalent to a diagonal matrix?

posted: https://math.stackexchange.com/questions/1171495/probe-permutationally-matrix-extreme-properties

$\endgroup$
6
  • $\begingroup$ What if $n=K^2$ and for any pair $i,j$ of numbers from 1 to $2k$ such that $i+j$ is odd there is a column $e_i+e_j$ in our matrix? It looks like rank equals $2K-1$, but becomes $2K$ after you replace 1 by 0. $\endgroup$ Mar 2, 2015 at 17:17
  • $\begingroup$ Can you write this down for $K=3$ or $4$? I do not understand what your matrix is visually. $\endgroup$
    – Turbo
    Mar 2, 2015 at 17:28
  • $\begingroup$ There seem to be $2K^2$ such pairs however $K^2$ columns. By pigeonhole, every pair cannot be given a column. $\endgroup$
    – Turbo
    Mar 2, 2015 at 17:48
  • $\begingroup$ We need unordered pairs. Even index $i$ may be chosen by $K$ ways, odd $j$ also by $K$ ways, so totally $K^2$ (unordered) pairs. $\endgroup$ Mar 2, 2015 at 20:55
  • $\begingroup$ The construction works for first question, any counter example to second question? Also did you 'guess' by standard techniques? $\endgroup$
    – Turbo
    Mar 2, 2015 at 23:15

1 Answer 1

3
$\begingroup$

1) No. Idea is to take all columns satisfying certain linear relation (i.e. lying in a certain subspace.) Then changing 1 to 0 violates this relation, and there are no immediate reasons that new relation appears. Namely, we may take, say, $n=k^2$, $k\geq 2$, and columns $e_i+e_j$ where $1\leq i\leq k$, $k+1\leq j \leq 2k$. They all satisfy a relation $x_1+\dots+x_k=x_{k+1}+\dots+x_{2k}$, and any $k^2-1$ of them generate the space generated by this relation. Thus rank equals $2k-1$, and when we change 1 to 0 columns form a space of dimension $2k$.

2) Yes for matrices over the field of characterstic 0. Consider non-zero $r\times r$ minor. Clearly there are no 1's outside it. Thus all non-zero columns are linearly independent and we have to prove that each of them is a basic vector. Assume that there are $m$ 1's in some column (say, column $c$) and $m>1$. Let $c=\sum_{i\in I} e_i, |I|=m$. Replacing each of those 1's to 0 lowers rank, hence column $c-e_i$ is a linear combination of other columns of our matrix for any $i\in I$. Then $c=\frac1{m-1}\sum_{i\in I} (c-e_i)$ is also a linear combination of other columns. A contradiction.

On the other hand, if characteristic of the field equals $p>0$, we may consider invertible $(p+2)\times (p+2)$ matrix with 0-s on diagonal and 1-s outside diagonal. If you replace any 1 to 0 it becomes singular.

$\endgroup$
14
  • $\begingroup$ Beautiful. Think this is only counter example to $1$? $\endgroup$
    – Turbo
    Mar 3, 2015 at 8:33
  • $\begingroup$ sorry is $x_i=\text{column }i$? $\endgroup$
    – Turbo
    Mar 3, 2015 at 8:44
  • $\begingroup$ $x_i$ is $i$-th coordinate of a column $\endgroup$ Mar 3, 2015 at 9:18
  • $\begingroup$ $i$th row essentially then? $\endgroup$
    – Turbo
    Mar 3, 2015 at 9:20
  • $\begingroup$ Is this only form of counter examples? $\endgroup$
    – Turbo
    Mar 3, 2015 at 9:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.