14
$\begingroup$

I recently noticed (while playing around) that the product of a Laver matrix with a Hadamard matrix gives a very sparse matrix. In particular, all but logarithmically few rows are all zero. The nonzero rows all seem to occur near powers of 2, or multiples of large powers of 2. For instance, multiplying the 256x256 Laver table by the 256x256 Hadamard matrix, the only nonzero rows are

{1, 2, 4, 8, 9, 16, 32, 33, 64, 65, 96, 97, 128, 129, 160, 161, 192, 193, 224, 225, 256}

Is this a known phenomenon? Is there an explanation for it, other than the high periodicity of the Laver table?

In particular since all current proofs of the unbounded growth of the period of the first row of a Laver table rely on strong cardinal axioms, I wonder if understanding this phenomenon could help us understand it.

$\endgroup$
8
  • 3
    $\begingroup$ Can you provide a definition (or a link) of what you mean by Laver table and Hadamard matrix? $\endgroup$ Sep 11, 2016 at 15:21
  • 1
    $\begingroup$ Edited, please check if the links point where they should. $\endgroup$ Sep 11, 2016 at 19:42
  • 2
    $\begingroup$ Laver tables are broken by row and column permutations whereas Hadamard matrices are not. Are you asserting this for an arbitrary Hadamard matrix, or just those in a standard format? Gerhard "Permutations Affect Sparsity Of Products" Paseman, 2016.09.11. $\endgroup$ Sep 11, 2016 at 20:07
  • $\begingroup$ Just to add to what Gerhard said: You may also multiply columns (and rows, but this does not affect anything) by $\pm 1$; also, I'm not sure whether a Hadamard matrix of order $2^n$ is unique even up to these transformations. $\endgroup$ Sep 11, 2016 at 21:32
  • $\begingroup$ For small orders the equivalence classes are not many. Once you get past order 24, there are a lot of such classes of inequivalent Hadamard matrices. Gerhard "Check Out Hadamard Matrix Websites" Paseman, 2016.09.11. $\endgroup$ Sep 11, 2016 at 22:12

1 Answer 1

2
$\begingroup$

The sparsity of the product of a Laver table and a Hadamard matrix only follows from the periodicity of the Laver tables since the non-distributive but still periodic fake Laver tables (see this question for a more general construction) still exhibit this phenomenon. I have used computer calculations to test this phenomenon with the fake Laver tables. My computer calculations indicate that the product with a fake Laver table matrix and a Hadamard matrix is just as sparse as the product of a real classical Laver table and a Hadamard matrix.

$\endgroup$
2
  • 1
    $\begingroup$ I'm guessing you are using Sylvester's construction S for a Hadamard matrix . What happens if you use PS instead of S for P a random or clever choice of signed permutation matrix? Gerhard "Irregularity May Lead To Density" Paseman, 2016.09.11. $\endgroup$ Sep 11, 2016 at 23:51
  • 1
    $\begingroup$ Yes. I have used the Sylvester construction. When I use PS instead of S, the phenomenon does not hold for either the real or fake Laver tables. $\endgroup$ Sep 12, 2016 at 20:04

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.