Power Hadamard matrices

We introduce power Hadamard matrices, in order to study the structure of (group) generalized Hadamard matrices, Butson (generalized) Hadamard matrices and other related orthogonal matrices, with which they share certain common characteristics. The new objects turn out to be as interesting, and perhaps as useful, as the objects that motivated them.We develop a basic theory of power Hadamard matrices, explore these relationships, and offer some new insights into old results. For example, we show that all 4×4 Butson Hadamard matrices are equivalent to circulant ones, and how to move between equivalence classes.We provide, among other new things, an infinite family of circulant Butson Hadamard matrices that extends a known class to include one of each positive integer order.Dedication: In 1974 Jennifer Seberry (Wallis) introduced what was then a totally new structure, orthogonal designs, in order to study the existence and construction of Hadamard matrices. They have proved their worth for this purpose, and have also become an object of interest for their own sake and in applications (e.g., [H.J.V. Tarok, A.R. Calderbank, Space-time block codes from orthogonal designs, IEEE Trans. Inf. Theory 45 (1999) 1456-1467. [26]]). Since then many other generalizations of Hadamard matrices have been introduced, including some discussed herein. In the same spirit we introduce a new object showing this kind of promise.Seberry's contributions to this field are not limited to her own work, of which orthogonal designs are but one example—she has mentored many young mathematicians who have expanded her legacy by making their own marks in this field. It is fitting, therefore, that our contribution to this volume is a collaboration between one who has worked in this field for over a decade and an undergraduate student who had just completed his third year of study at the time of the work.     

Hadamard matrices with few distinct types

The notion of type of quadruples of rows is proven to be useful in the classification of Hadamard matrices. In this paper, we investigate Hadamard matrices with few distinct types. Among other results, the Sylvester Hadamard matrices are shown to be characterized by their spectrum of types.     

Equivalence of Butson-type Hadamard matrices

Journal of Algebraic Combinatorics - Two matrices $$H_1$$ and $$H_2$$ with entries from a multiplicative group G are said to be monomially equivalent, denoted by $$H_1cong H_2$$ , if one of the...     

Ryser's embedding problem for Hadamard matrices

What is the minimum order of a Hadamard matrix that contains an a by b submatrix of all 1's? Newman showed that where c^? denotes the smallest order greater than or equal to c for which a Hadamard matrix exists. It follows that if 4 divides both a and b, and if the Hadamard conjecture is true, then . We establish the improved bounds for min {a,b} ≥ 2. The Hadamard conjecture therefore implies that if 4 divides both 2ab and ?a/2? ?b/2?, then (a, b) = 2 · max {?a/2?b, ?b/2?a}. Our lower bound comes from a counting argument, while our upper bound follows from a sub‐multiplicative property of : Improvements in our upper bound occur when suitable conference matrices or Bush‐type Hadamard matrices exist. We conjecture that any (1,?1)‐matrix of size a by b occurs as a submatrix of some Hadamard matrix of order at most . © 2005 Wiley Periodicals, Inc. J Combin Designs     

Multilevel and multidimensional Hadamard matrices

Multilevel Hadamard matrices (MHMs), whose entries are integers as opposed to the traditional restriction to {±1}, were introduced by Trinh, Fan, and Gabidulin in 2006 as a way to construct multilevel zero-correlation zone sequences, which have been studied for use in approximately synchronized code division multiple access systems. We answer the open question concerning the maximum number of distinct elements permissible in an order n MHM by proving the existence of an order n MHM with n elements of distinct absolute value for all n. We also define multidimensional MHMs and prove an analogous existence result.      

A sensitive algorithm for detecting the inequivalence of Hadamard matrices

A Hadamard matrix of side is an matrix with every entry either or , which satisfies . Two Hadamard matrices are called equivalent if one can be obtained from the other by some sequence of row and column permutations and negations. To identify the equivalence of two Hadamard matrices by a complete search is known to be an NP hard problem when increases. In this paper, a new algorithm for detecting inequivalence of two Hadamard matrices is proposed, which is more sensitive than those known in the literature and which has a close relation with several measures of uniformity. As an application, we apply the new algorithm to verify the inequivalence of the known inequivalent Hadamard matrices of order ; furthermore, we show that there are at least pairwise inequivalent Hadamard matrices of order . The latter is a new discovery.

     

Orbit matrices of Hadamard matrices and related codes

In this paper we introduce the notion of orbit matrices of Hadamard matrices with respect to their permutation automorphism groups and show that under certain conditions these orbit matrices yield self-orthogonal codes. As a case study, we construct codes from orbit matrices of some Paley type I and Paley type II Hadamard matrices. In addition, we construct four new symmetric (100,45,20) designs which correspond to regular Hadamard matrices, and construct codes from their orbit matrices. The codes constructed include optimal, near-optimal self-orthogonal and self-dual codes, over finite fields and over ${\mathbb{Z}}_4$.     

Regular Hadamard matrices constructed from Hadamard 2-designs and conference graphs

Suppose there exists a Hadamard 2-$(m,\frac{m?1}{2},\frac{m?3}{4})$ design having skew incidence matrix. If there exists a conference graph on $2m?1$ vertices, then there exists a regular Hadamard matrix of order $4m^2$. A conference graph on $2m+3$ vertices yields a regular Hadamard matrix of order $4{(m+1)}^2$.     

Balancedly splittable Hadamard matrices

Balancedly splittable Hadamard matrices are introduced and studied. A connection is made to the Hadamard diagonalizable strongly regular graphs, maximal equiangular lines set, and unbiased Hadamard matrices. Several construction methods are presented. As an application, commutative association schemes of 4, 5, and 6 classes are constructed.     

A system of equations for describing cocyclic Hadamard matrices

Given a basis for 2‐cocycles over a group G of order , we describe a nonlinear system of 4t‐1 equations and k indeterminates over , whose solutions determine the whole set of cocyclic Hadamard matrices over G, in the sense that ( ) is a solution of the system if and only if the 2‐cocycle gives rise to a cocyclic Hadamard matrix . Furthermore, the study of any isolated equation of the system provides upper and lower bounds on the number of coboundary generators in which have to be combined to form a cocyclic Hadamard matrix coming from a special class of cocycles. We include some results on the families of groups and . A deeper study of the system provides some more nice properties. For instance, in the case of dihedral groups , we have found that it suffices to check t instead of the 4t rows of , to decide the Hadamard character of the matrix (for a special class of cocycles f). © 2008 Wiley Periodicals, Inc. J Combin Designs 16: 276–290, 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 Products of Convex Harmonic Mappings

Functions f in the class $ K_H $ are convex, univalent, harmonic, and sense preserving in the unit disk. Such functions can be expressed as $ f = h + \overline {g} $ where h and g are analytic functions. If $ f \in K_H $ has $ h(0) = 0, g(0) = 0, h'(0) = 1$ , and $ g'(0) = 0 $ , then $ f \in K_H^0 $ . For $ f \in K_H^0 $ and } analytic in the unit disk, an integral representation for $ f\tilde {*}\varphi = h*\varphi + \overline {g*\varphi } $ is found. With } a strip mapping, $ f\tilde {*}\varphi $ is shown to be in $ K_H^0 $ . In a 1958 paper, Pólya and Schoenberg conjectured that if f and g are conformal mappings of the unit disk onto convex domains, then the Hadamard product f 2 g of f and g has the same property. It is known that the analogue of that result for harmonic mappings is false. In this paper, some examples are given in which the property of convexity is preserved for Hadamard products of certain convex harmonic mappings. In addition, an integral formula is used to determine the geometry of the Hadamard product from the geometry of the factors. This is true in particular for the convolution of strip mappings with certain functions $ f_n \in K_H^0 $ which take the unit disk to regular n -gons.     

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.     

On ‐Cocyclic Hadamard Matrices

In this paper, we describe some necessary and sufficient conditions for a set of coboundaries to yield a cocyclic Hadamard matrix over the dihedral group . Using this characterization, new classification results for certain cohomology classes of cocycles over are obtained, extending existing exhaustive calculations for cocyclic Hadamard matrices over from order 36 to order 44. We also define some transformations over coboundaries, which preserve orthogonality of ‐cocycles. These transformations are shown to correspond to Horadam's bundle equivalence operations enriched with duals of cocycles.     

Constructing cocyclic Hadamard matrices of order 4p

Cocyclic Hadamard matrices (CHMs) were introduced by de Launey and Horadam as a class of Hadamard matrices (HMs) with interesting algebraic properties. Ó Catháin and Röder described a classification algorithm for CHMs of order $4n$ based on relative difference sets in groups of order $8n$; this led to the classification of all CHMs of order at most 36. On the basis of work of de Launey and Flannery, we describe a classification algorithm for CHMs of order $4p$ with $p$ a prime; we prove refined structure results and provide a classification for $p\le 13$. Our analysis shows that every CHM of order $4p$ with $p\equiv 1mod4$ is equivalent to a HM with one of five distinct block structures, including Williamson‐type and (transposed) Ito matrices. If $p\equiv 3mod4$, then every CHM of order $4p$ is equivalent to a Williamson‐type or (transposed) Ito matrix.