Some New Orders of Hadamard and Skew‐Hadamard Matrices

We construct Hadamard matrices of orders and , and skew‐Hadamard matrices of orders and . As far as we know, such matrices have not been constructed previously. The constructions use the Goethals–Seidel array, suitable supplementary difference sets on a cyclic group and a new efficient matching algorithm based on hashing techniques.     

Williamson Matrices and a Conjecture of Ito's

We point out an interesting connection between Williamson matrices and relative difference sets in nonabelian groups. As a consequence, we are able to show that there are relative (4t, 2, 4t, 2t)-difference sets in the dicyclic groups Q _8t = a, b|a ^4t = b ⁴ = 1, a ^2t = b ², b ^-1ab = a^-1 for all t of the form t = 2^a · 10 ^b · 26 ^c · m with a, b, c 0, m 1\ (mod 2), whenever 2m-1 or 4m-1 is a prime power or there is a Williamson matrix over _m. This gives further support to an important conjecture of Ito IT5 which asserts that there are relative (4t, 2, 4t, 2t)-difference sets in Q _8t for every positive integer t. We also give simpler alternative constructions for relative (4t, 2, 4t, 2t)-difference sets in Q _8t for all t such that 2t - 1 or 4t - 1 is a prime power. Relative difference sets in Q _8t with these parameters had previously been obtained by Ito IT1. Finally, we verify Ito's conjecture for all t 46.     

Hadamard Matrices and Dihedral Groups

Let D _2p be a dihedral group of order 2p, where p is an odd integer. Let ZD _2p be the group ring of D _2p over the ring Z of integers. We identify elements of ZD _2p and their matrices of the regular representation of ZD _2p . Recently we characterized the Hadamard matrices of order 28 ([6] and [7]). There are exactly 487 Hadamard matrices of order 28, up to equivalence. In these matrices there exist matrices with some interesting properties. That is, these are constructed by elements of ZD ₆. We discuss relation of ZD _2p and Hadamard matrices of order n=8p+4, and give some examples of Hadamard matrices constructed by dihedral groups.     

On Circulant Complex Hadamard Matrices

We show that a circulant complex Hadamard matrix of order n is equivalent to a relative difference set in the group C ₄×C _n where the forbidden subgroup is the unique subgroup of order two which is contained in the C ₄ component. We obtain non-existence results for these relative difference sets. Our results are sufficient to prove there are no circulant complex Hadamard matrices for many orders.     

On ‐Cocyclic Hadamard Matrices

A characterization of ‐cocyclic Hadamard matrices is described, depending on the notions of distributions, ingredients, and recipes. In particular, these notions lead to the establishment of some bounds on the number and distribution of 2‐coboundaries over to use and the way in which they have to be combined in order to obtain a ‐cocyclic Hadamard matrix. Exhaustive searches have been performed, so that the table in p. 132 in A. Baliga, K. J. Horadam, Australas. J. Combin., 11 (1995), 123–134 is corrected and completed. Furthermore, we identify four different operations on the set of coboundaries defining ‐cocyclic matrices, which preserve orthogonality. We split the set of Hadamard matrices into disjoint orbits, define representatives for them, and take advantage of this fact to compute them in an easier way than the usual purely exhaustive way, in terms of diagrams. Let be the set of cocyclic Hadamard matrices over having a symmetric diagram. We also prove that the set of Williamson‐type matrices is a subset of of size .     

On the asymptotic existence of Hadamard matrices

It is conjectured that Hadamard matrices exist for all orders 4t (t>0). However, despite a sustained effort over more than five decades, the strongest overall existence results are asymptotic results of the form: for all odd natural numbers k, there is a Hadamard matrix of order k²[a+blog₂k], where a and b are fixed non-negative constants. To prove the Hadamard Conjecture, it is sufficient to show that we may take a=2 and b=0. Since Seberry's ground-breaking result, which showed that we may take a=0 and b=2, there have been several improvements where b has been by stages reduced to 3/8. In this paper, we show that for all ?>0, the set of odd numbers k for which there is a Hadamard matrix of order k²2+[?log₂k] has positive density in the set of natural numbers. The proof adapts a number-theoretic argument of Erdos and Odlyzko to show that there are enough Paley Hadamard matrices to give the result.     

Cocyclic Generalised Hadamard Matrices and Central Relative Difference Sets

Cocyclic matrices have the form where G is a finite group, C is a finite abelian group and : G × G C is a (two-dimensional) cocycle; that is,

Remarks on Hadamard Matrices and Lattices

Automorphism groups of Hadamard matrices are investigated from the point of view of integral representation theory. Interesting examples involving the Mathieu groups M ₁₂ and M ₂₄ and the Leech lattice are dicussed.     

Hadamard Matrices of Order 32

Two Hadamard matrices are considered equivalent if one is obtained from the other by a sequence of operations involving row or column permutations or negations. We complete the classification of Hadamard matrices of order 32. It turns out that there are exactly 13,710,027 such matrices up to equivalence.     

Skew‐Hadamard matrices of orders 436, 580, and 988 exist

We construct two difference families on each of the cyclic groups of order 109, 145, and 247, and use them to construct skew‐Hadamard matrices of orders 436, 580, and 988. Such difference families and matrices are constructed here for the first time. The matrices are constructed by using the Goethals‐Seidel array. © 2008 Wiley Periodicals, Inc. J Combin Designs 16: 493–498, 2008     

Generalized Hadamard matrices whose transposes are not generalized Hadamard matrices

In answer to “Research Problem 16” in Horadam's recent book Hadamard matrices and their applications, we provide a construction for generalized Hadamard matrices whose transposes are not generalized Hadamard matrices. © 2009 Wiley Periodicals, Inc. J Combin Designs 17: 456–458, 2009     

Hadamard Matrices Modulo p and Small Modular Hadamard Matrices

We use modular symmetric designs to study the existence of Hadamard matrices modulo certain primes. We solve the 7‐modular and 11‐modular versions of the Hadamard conjecture for all but a finite number of cases. In doing so, we state a conjectural sufficient condition for the existence of a p‐modular Hadamard matrix for all but finitely many cases. When 2 is a primitive root of a prime p, we conditionally solve this conjecture and therefore the p‐modular version of the Hadamard conjecture for all but finitely many cases when , and prove a weaker result for . Finally, we look at constraints on the existence of m‐modular Hadamard matrices when the size of the matrix is small compared to m.     

On the asymptotic existence of cocyclic Hadamard matrices

Let q be an odd natural number. We prove there is a cocyclic Hadamard matrix of order ²10+tq whenever . We also show that if the binary expansion of q contains N ones, then there is a cocyclic Hadamard matrix of order ²4N−2q.     

Tightening Turyn’s bound for Hadamard difference sets

This work examines the existence of (4q ²,2q ²−q,q ²−q) difference sets, for q=p ^f , where p is a prime and f is a positive integer. Suppose that G is a group of order 4q ² which has a normal subgroup K of order q such that G/K ≅ C _q ×C ₂×C ₂, where C _q ,C ₂ are the cyclic groups of order q and 2 respectively. Under the assumption that p is greater than or equal to 5, this work shows that G does not admit (4q ²,2q ²−q,q ²−q) difference sets.     

Symmetric Weighing Matrices Constructed using Group Matrices

A weighing matrix of order n and weight m² is a square matrix M of order n with entries from {-1,0,+1} such that MM^T=m²I where I is the identity matrix of order n. If M is a group matrix constructed using a group of order n, M is called a group weighing matrix. Recently, group weighing matrices were studied intensively, especially when the groups are cyclic and abelian. In this paper, we study the abelian group weighing matrices that are symmetric, i.e.M^T=M. Some new examples are found. Also we obtain a few exponent bounds on abelian groups that admit symmetric group weighing matrices. In particular, we prove that there is no symmetric abelian group weighing matrices of order 2p^r and weight p² where p is a prime and p≥ 5.Communicated by: K.T. Arasu     

Two constructions of (v, (v − 1)/2, (v − 3)/2) difference families

In this article, two constructions of (v, (v ? 1)/2, (v ? 3)/2) difference families are presented. The first construction produces both cyclic and noncyclic difference families, while the second one gives only cyclic difference families. The parameters of the second construction are new. The difference families presented in this article can be used to construct Hadamard matrices. © 2007 Wiley Periodicals, Inc. J Combin Designs 16: 164–171, 2008     

New Classes of Groups Containing Menon Difference Sets

A theorem due to Davis on the existence of Menon difference sets in 2-groups is generalised to non-2-groups. The existence of Menon difference sets in many new non-abelian groups is established.     

Special subsets of difference sets with particular emphasis on skew Hadamard difference sets

This article introduces a new approach to studying difference sets via their additive properties. We introduce the concept of special subsets, which are interesting combinatorial objects in their own right, but also provide a mechanism for measuring additive regularity. Skew Hadamard difference sets are given special attention, and the structure of their special subsets leads to several results on multipliers, including a categorisation of the full multiplier group of an abelian skew Hadamard difference set. We also count the number of ways to write elements as a product of any number of elements of a skew Hadamard difference set.      

Automorphisms of higher‐dimensional Hadamard matrices

This article derives from first principles a definition of equivalence for higher‐dimensional Hadamard matrices and thereby a definition of the automorphism group for higher‐dimensional Hadamard matrices. Our procedure is quite general and could be applied to other kinds of designs for which there are no established definitions for equivalence or automorphism. Given a two‐dimensional Hadamard matrix H of order ν, there is a Product Construction which gives an order ν proper n‐dimensional Hadamard matrix P⁽ⁿ⁾(H). We apply our ideas to the matrices P⁽ⁿ⁾(H). We prove that there is a constant c > 1 such that any Hadamard matrix H of order ν > 2 gives rise via the Product Construction to cν inequivalent proper three‐dimensional Hadamard matrices of order ν. This corrects an erroneous assertion made in the literature that ”P⁽ⁿ⁾(H) is equivalent to “P⁽ⁿ⁾(H′) whenever H is equivalent to H′.” We also show how the automorphism group of P⁽ⁿ⁾(H) depends on the structure of the automorphism group of H. As an application of the above ideas, we determine the automorphism group of P⁽ⁿ⁾(Hk) when Hk is a Sylvester Hadamard matrix of order 2^k. For ν = 4, we exhibit three distinct families of inequivalent Product Construction matrices P⁽ⁿ⁾(H) where H is equivalent to H₂. These matrices each have large but non‐isomorphic automorphism groups. © 2008 Wiley Periodicals, Inc. J Combin Designs 16: 507–544, 2008