Skip to main content
added 107 characters in body
Source Link
Gerhard Paseman
  • 13k
  • 3
  • 32
  • 63

Unfortunately, the nice property that every distinct pair of rows yields another row by mod 2 vector addition has been withdrawn. However, it may be possible to regard M as having maximal subsets of rows where this property holds, and still say something useful about M.

The comment above regarding Hadamard matrices goes as follows: since every row has the same number N of ones, and since the sum of two rows A and B is also a row, the number N of ones is even, and the number of columns which have ones in both A and B is N/2, half the number of columns which have ones in either row A or row B.

Suppose we have a small collection F of rows of M that generates by mod 2 addition a slightly larger collection of rows G, such that G is a subset of rows of M, and such that the sum of any two rows of G also has N ones (even though the result may be not a row of M and thus outside of G). Suppose further we can adjust the length of the rows of G so that each row has as many zeros as it has ones, without giving up any of the ones already present in G.

Now, copy each row in G into a new set H, but for every zero replace it by -1, and let each row in H have N ones and the same number of occurrences of -1, by resizing if needed. Now every two distinct rows have dot product 0, and are part of a Hadamard matrix. If the closure property had held for M, the rows of H would be one coordinate longer, and with the addition of a row of all ones, would have formed a Hadamard matrix.

This suggests that the actual M is composed of fragments of a Hadamard matrix, somehow shortened and glued together. Since we do not know how large F or G is, it becomes challenging to say much more. However, if the matrix (Edit M when considered over the real numbers and not over the two element field, thank you Gerry Myerson) is of full rank (contrary to claims in the post), it may be possible to say something about the size of the determinant of M.

Gerhard "Imagines A Spectrum Of Possibilities" Paseman, 2017.01.24.

Unfortunately, the nice property that every distinct pair of rows yields another row by mod 2 vector addition has been withdrawn. However, it may be possible to regard M as having maximal subsets of rows where this property holds, and still say something useful about M.

The comment above regarding Hadamard matrices goes as follows: since every row has the same number N of ones, and since the sum of two rows A and B is also a row, the number N of ones is even, and the number of columns which have ones in both A and B is N/2, half the number of columns which have ones in either row A or row B.

Suppose we have a small collection F of rows of M that generates by mod 2 addition a slightly larger collection of rows G, such that G is a subset of rows of M, and such that the sum of any two rows of G also has N ones (even though the result may be not a row of M and thus outside of G). Suppose further we can adjust the length of the rows of G so that each row has as many zeros as it has ones, without giving up any of the ones already present in G.

Now, copy each row in G into a new set H, but for every zero replace it by -1, and let each row in H have N ones and the same number of occurrences of -1, by resizing if needed. Now every two distinct rows have dot product 0, and are part of a Hadamard matrix. If the closure property had held for M, the rows of H would be one coordinate longer, and with the addition of a row of all ones, would have formed a Hadamard matrix.

This suggests that the actual M is composed of fragments of a Hadamard matrix, somehow shortened and glued together. Since we do not know how large F or G is, it becomes challenging to say much more. However, if the matrix is of full rank (contrary to claims in the post), it may be possible to say something about the size of the determinant of M.

Gerhard "Imagines A Spectrum Of Possibilities" Paseman, 2017.01.24.

Unfortunately, the nice property that every distinct pair of rows yields another row by mod 2 vector addition has been withdrawn. However, it may be possible to regard M as having maximal subsets of rows where this property holds, and still say something useful about M.

The comment above regarding Hadamard matrices goes as follows: since every row has the same number N of ones, and since the sum of two rows A and B is also a row, the number N of ones is even, and the number of columns which have ones in both A and B is N/2, half the number of columns which have ones in either row A or row B.

Suppose we have a small collection F of rows of M that generates by mod 2 addition a slightly larger collection of rows G, such that G is a subset of rows of M, and such that the sum of any two rows of G also has N ones (even though the result may be not a row of M and thus outside of G). Suppose further we can adjust the length of the rows of G so that each row has as many zeros as it has ones, without giving up any of the ones already present in G.

Now, copy each row in G into a new set H, but for every zero replace it by -1, and let each row in H have N ones and the same number of occurrences of -1, by resizing if needed. Now every two distinct rows have dot product 0, and are part of a Hadamard matrix. If the closure property had held for M, the rows of H would be one coordinate longer, and with the addition of a row of all ones, would have formed a Hadamard matrix.

This suggests that the actual M is composed of fragments of a Hadamard matrix, somehow shortened and glued together. Since we do not know how large F or G is, it becomes challenging to say much more. However, if the matrix (Edit M when considered over the real numbers and not over the two element field, thank you Gerry Myerson) is of full rank (contrary to claims in the post), it may be possible to say something about the size of the determinant of M.

Gerhard "Imagines A Spectrum Of Possibilities" Paseman, 2017.01.24.

Source Link
Gerhard Paseman
  • 13k
  • 3
  • 32
  • 63

Unfortunately, the nice property that every distinct pair of rows yields another row by mod 2 vector addition has been withdrawn. However, it may be possible to regard M as having maximal subsets of rows where this property holds, and still say something useful about M.

The comment above regarding Hadamard matrices goes as follows: since every row has the same number N of ones, and since the sum of two rows A and B is also a row, the number N of ones is even, and the number of columns which have ones in both A and B is N/2, half the number of columns which have ones in either row A or row B.

Suppose we have a small collection F of rows of M that generates by mod 2 addition a slightly larger collection of rows G, such that G is a subset of rows of M, and such that the sum of any two rows of G also has N ones (even though the result may be not a row of M and thus outside of G). Suppose further we can adjust the length of the rows of G so that each row has as many zeros as it has ones, without giving up any of the ones already present in G.

Now, copy each row in G into a new set H, but for every zero replace it by -1, and let each row in H have N ones and the same number of occurrences of -1, by resizing if needed. Now every two distinct rows have dot product 0, and are part of a Hadamard matrix. If the closure property had held for M, the rows of H would be one coordinate longer, and with the addition of a row of all ones, would have formed a Hadamard matrix.

This suggests that the actual M is composed of fragments of a Hadamard matrix, somehow shortened and glued together. Since we do not know how large F or G is, it becomes challenging to say much more. However, if the matrix is of full rank (contrary to claims in the post), it may be possible to say something about the size of the determinant of M.

Gerhard "Imagines A Spectrum Of Possibilities" Paseman, 2017.01.24.