The Kronecker Product of Two Hadamard Matrices
Recall from The Kronecker Product of Two Matrices page that if $A$ is an $m \times n$ matrix and $B$ is an $s \times t$ matrix then the Kronecker product $A \otimes B$ of these two matrices is the $ms \times nt$ given by:
We will now state a remarkable theorem which tells us that if $H_1$ and $H_2$ are both Hadamard matrices then so is their Kronecker product.
|Theorem 1: If $H_1$ is an $m \times m$ Hadamard matrix and $H_2$ is an $n \times n$ Hadamard matrix then $H_1 \otimes H_2$ is an $mn \times mn$ Hadamard matrix.|
For example, consider the following Hadamard matrices:
The Kronecker product $H_1 \otimes H_2$ is:
We know that if $H$ is a Hadamard matrix of order $n$ then $n = 1$, $n = 2$, or $n \equiv 0 \pmod 4$ but in general, it is not known if these are sufficient conditions for the existence of a Hadamard matrix of order $n$, that is, there may exist a positive integer $n > 2$ with $n \equiv 0 \pmod 4$ for which no Hadamard matrix exists. The theorem above gives us a criterion for the existence of Hadamard matrices of certain orders. In particular, if $n\equiv 0 \pmod 4$ and $n = st$ where $s, t = 1, 2 $] or [[$ s \equiv 0 \pmod 4$ and $t \equiv 0 \pmod 4$; and it is known that Hadamard matrices of order $s$ and $t$ exist, then it is guaranteed that a Hadamard matrix of order $n$ exists.