Regular sets of matrices and applications

SupposeA ₁,...,A _s are (1, - 1) matrices of order m satisfying 1 $$A_i A_j = J, i,j \in \left\{ {1,...s} \right\}$$ 2 $$A_i^T A_j = A_j^T A_i = J, i \ne j, i,j \in \left\{ {1,...,s} \right\}$$ 3 $$\sum\limits_{i = 1}^s {(A_i A_i^T = A_i^T A_i ) = 2smI_m } $$ 4 $$JA_i = A_i J = aJ, i \in \left\{ {1,...,s} \right\}, a constant$$ Call A₁,…,A _s ,a regular s- set of matrices of order m if Eq. 1-3 are satisfied and a regular s-set of regular matrices if Eq. 4 is also satisfied, these matrices were first discovered by J. Seberry and A.L. Whiteman in “New Hadamard matrices and conference matrices obtained via Mathon’s construction”, Graphs and Combinatorics, 4(1988), 355-377. In this paper, we prove that

1. if there exist a regular s-set of order m and a regulart-set of order n there exists a regulars-set of ordermn whent =sm
2. if there exist a regular s-set of order m and a regulart-set of order n there exists a regulars-set of ordermn when 2t = sm (m is odd)
3. if there exist a regulars-set of order m and a regulart-set of ordern there exists a regular 2s-set of ordermn whent = 2sm As applications, we prove that if there exist a regulars-set of order m there exists
4. an Hadamard matrices of order4hm whenever there exists an Hadamard matrix of order4h ands =2h
5. Williamson type matrices of ordernm whenever there exists Williamson type matrices of ordern and s = 2n
6. anOD(4mp;ms₁,…,ms_u whenever anOD (4p;s₁,…,s_u)exists and s = 2p
7. a complex Hadamard matrix of order 2cm whenever there exists a complex Hadamard matrix of order 2c ands = 2c

This paper extends and improves results of Seberry and Whiteman giving new classes of Hadamard matrices, Williamson type matrices, orthogonal designs and complex Hadamard matrices.