A Hadamard matrix of order is an matrix with entries such that
In other words, the rows are orthogonal and hence so are the columns. These are named so as they arose in the following question of Hadamard : Let be an matrix whose entries have absolute value at most . How large can be ? Each row is a vector of length at most and so the volume of parallelogram (also the determinant) spanned by the row vectors is at most . When is the equality achieved ? For all row vectors to have length , the entries have to be . For the volume of parallelogram to be equal to product of the length of row vectors, the vectors have to be orthogonal i.e., the matrix is Hadamard !
Permutation by rows or columns preserves Hadamard property. Also multiplying a row or column by preserves Hadamard property. Hadamard matrices obtained this way are called equivalent. Trivially, by multiplying each row and column suitably for any Hadamard matrix, one can find an equivalent Hadamard matrix with first row and column being all ’s. Such Hadamard matrices are called normalized. Since the remaining rows of a normalized matrix are orthogonal to the first row, the number of ’s and ’s must be equal. Thus of , it must be even ! In fact, we can say more.
If is a Hadamard matrix of order then .
∎
Every Hadamard matrix gives rise to a symmetric design.
The proof of Proposition 9.21 gives that the second and third rows have ’s in common. Now since any two rows can be permuted to be second and third row, any two rows have ’s in common.
Delete the first row and first column of and replace ’s by ’s. Consider the resulting matrix . Let this be an incidence matrix of a block structure. The rows are points, columns are blocks and ’s indicate that the point is in the corresponding block. Since the first row is deleted and each column of has ’s, each column of has exaclty points. Since any two rows of contain exactly common ’s, any two rows of contain exactly common ’s. Thus any two points are in blocks exactly. ∎
Consider a normalized Hadamard matrix of order . For point set , define blocks . Show that these form a design.