Determine this!

Algebra Level 4

Among the 4 x 4 matrices whose entries are all 1's and 0's, are there more invertible or more singular matrices (over the reals)?

More singular matrices More invertible matrices An equal number of singular and invertible matrices

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Otto Bretscher
Oct 13, 2015

Let A A be the set of all 4 x 4 matrices whose entries are all 1's and 0's; let B B be the matrices in A A with pairwise distinct nonzero rows; and let C C be the invertible matrices in A A .

Now C = 2 16 = 65536 |C|=2^{16}=65536 and B = 15 14 13 12 = 32760 |B|=15*14*13*12=32760 . We know that C C is a subset of B B , so that C B < A / 2 |C|\leq |B|<|A|/2 . Thus there are more singular matrices than invertible matrices in A A .

Moderator note:

As an upper bound on C |C| , we can use the interpretation of vector space over F 2 \mathbb{F}_2 . An invertible matrix has determinant 0 in F 2 \mathbb{F}_2 , which means that it's determinant in R \mathbb{R} is even (hence we only have an upper bound). Each 0-1 matrix then corresponds to a multi-set of 4 vectors, and an invertible matrix corresponds to a set of basis vectors. Hence, the number of ways is:

( 2 4 1 ) ( 2 4 2 ) ( 2 4 4 ) ( 2 4 8 ) ( 2^4 - 1) ( 2^4 - 2 ) ( 2 ^4 - 4 ) ( 2 ^ 4 - 8 )

@Challenge Master: This formula works over F 2 F_2 but not over the real numbers, which is what I'm asking for. As far as I know, there is no formula in that case.

Otto Bretscher - 5 years, 8 months ago

Log in to reply

Oh yes, that is true. I calculated the number of matrices whose determinant is even (0 in F 2 \mathbb{F}_2 ), instead of those who are exactly 0.

I've updated the note.

Calvin Lin Staff - 5 years, 6 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...