arXiv++ Combinatorics

An $n \times n$ matrix $W$ with exactly $w$ non-zero entries taken from the set of $k^{\rm th}$ complex roots of unity in each row and column satisfying $WW^{\ast} = wI_n$ is a complex generalised weighing matrix $CGW(n,w;k)$. We study such matrices through the centraliser algebras of monomial representations of finite groups. Using an exhaustive search over the linear characters of Schur covers, we classify, up to monomial equivalence, the complex generalised weighing matrices admitting a primitive group of rank at most five and degree at most $80$ acting by strong automorphisms, for coefficient orders $k \leq 6$, with partial results for larger degrees $100$. The census recovers known infinite families related to projective and affine finite geometries, describes infinite families related to Hamming schemes and settles the existence of some small open cases enumerated in the literature. We construct quantum error-correcting codes from the these matrices and determine their minimum distances exactly in all cases.

The concept of switching has arisen in several different areas within combinatorics. The act of switching usually transforms a combinatorial object into a non-isomorphic object of the same type, in a way that some key property is preserved. Godsil-McKay switching of graphs preserves the spectrum, switching of designs preserves their parameters, and switching of binary codes preserves the minimum distance. For Hadamard matrices, the switching techniques introduced by Orrick proved to be an incredibly powerful tool when enumerating the Hadamard matrices of order $32$. In this paper, we introduce a universal definition of switching that can be adapted to incorporate these known types of switching. Through this language, we extend Orrick's methods to Butson Hadamard and complex Hadamard matrices. We introduce switchings of these matrices that can be used to construct new, inequivalent matrices. We also consider the concept of trades in complex Hadamard matrices in this terminology, and address an open problem on the permissible size of a trade.

An $n\times n$ complex matrix $M$ with entries in the $k^{\textrm{th}}$ roots of unity which satisfies $MM^{\ast} = nI_{n}$ is called a Butson Hadamard matrix. While a matrix with entries in the $k^{\textrm{th}}$ roots typically does not have an eigenvector with entries in the same set, such vectors and their generalisations turn out to have multiple applications. A bent vector for $M$ satisfies $M{\bf x} = λ{\bf y}$ where ${\bf x}$ has entries in the $k^{\textrm{th}}$ roots of unity and all entries of $\textbf{y}$ are complex numbers of norm $1$. Such a bent vector ${\bf x}$ is self-dual if ${\bf y} = μ{\bf x}$ and conjugate self-dual if ${\bf y} = μ\overline{\bf x}$ for some $μ$ of norm $1$. Using techniques from algebraic number theory, we prove some order conditions and non-existence results for self-dual and conjugate self-dual bent vectors; using tensor constructions and Bush-type matrices we give explicit examples. We conclude with an application to the covering radius of certain non-linear codes generalising the Reed Muller codes.

Centraliser algebras of monomial representations of finite groups may be constructed and studied using methods similar to those employed in the study of permutation groups. Guided by results of D. G. Higman and others, we give an explicit construction for a basis of the centraliser algebra of a monomial representation. The character table of this algebra is then constructed via character sums over double cosets. We locate the theory of group-developed and cocyclic-developed Hadamard matrices within this framework. We apply Gröbner bases to produce a new classification of highly symmetric complex Hadamard matrices.

Some combinatorial designs, such as Hadamard matrices, have been extensively researched and are familiar to readers across the spectrum of Science and Engineering. They arise in diverse fields such as cryptography, communication theory, and quantum computing. Objects like this also lend themselves to compelling mathematics problems, such as the Hadamard conjecture. However, complex generalized weighing matrices, which generalize Hadamard matrices, have not received anything like the same level of scrutiny. Motivated by an application to the construction of quantum error-correcting codes, which we outline in the latter sections of this paper, we survey the existing literature on complex generalized weighing matrices. We discuss and extend upon the known existence conditions and constructions, and compile known existence results for small parameters. Some interesting quantum codes are constructed to demonstrate their value.

In a recent survey, Schmidt compiled equivalences between generalized bent functions, group invariant Butson Hadamard matrices, and abelian splitting relative difference sets. We establish a broader network of equivalences by considering Butson matrices that are cocyclic rather than strictly group invariant. This result has several applications; for example, to the construction of Boolean functions whose expansions are generalized partially bent functions, including cases where no bent function can exist.

In a celebrated paper of 1893, Hadamard established the maximal determinant theorem, which establishes an upper bound on the determinant of a matrix with complex entries of norm at most $1$. His paper concludes with the suggestion that mathematicians study the maximum value of the determinant of an $n \times n$ matrix with entries in $\{ \pm 1\}$. This is the Hadamard maximal determinant problem. This survey provides complete proofs of the major results obtained thus far. We focus equally on upper bounds for the determinant (achieved largely via the study of the Gram matrices), and constructive lower bounds (achieved largely via quadratic residues in finite fields and concepts from design theory). To provide an impression of the historical development of the subject, we have attempted to modernise many of the original proofs, while maintaining the underlying ideas. Thus some of the proofs have the flavour of determinant theory, and some appear in print in English for the first time. We survey constructions of matrices in order $n \equiv 3 \mod 4$, giving asymptotic analysis which has not previously appeared in the literature. We prove that there exists an infinite family of matrices achieving at least $0.48$ of the maximal determinant bound. Previously the best known constant for a result of this type was $0.34$.

In this paper we study Butson Hadamard matrices, and codes over finite rings coming from these matrices in logarithmic form, called BH-codes. We introduce a new morphism of Butson Hadamard matrices through a generalized Gray map on the matrices in logarithmic form, which is comparable to the morphism given in a recent note of Ó Catháin and Swartz. That is, we show how, if given a Butson Hadamard matrix over the $k^{\rm th}$ roots of unity, we can construct a larger Butson matrix over the $\ell^{\rm th}$ roots of unity for any $\ell$ dividing $k$, provided that any prime $p$ dividing $k$ also divides $\ell$. We prove that a $\mathbb{Z}_{p^s}$-additive code with $p$ a prime number is isomorphic as a group to a BH-code over $\mathbb{Z}_{p^s}$ and the image of this BH-code under the Gray map is a BH-code over $\mathbb{Z}_p$ (binary Hadamard code for $p=2$). Further, we investigate the inherent propelinear structure of these codes (and their images) when the Butson matrix is cocyclic. Some structural properties of these codes are studied and examples are provided.

Codes from generalized Hadamard matrices have already been introduced. Here we deal with these codes when the generalized Hadamard matrices are cocyclic. As a consequence, a new class of codes that we call generalized Hadamard full propelinear codes turns out. We prove that their existence is equivalent to the existence of central relative $(v,w,v,v/w)$-difference sets. Moreover, some structural properties of these codes are studied and examples are provided.

Linear codes with complementary duals are linear codes whose intersection with their duals are trivial, shortly named LCD codes. In this paper we outline a construction for LCD codes over finite fields of order $q$ using weighing matrices and their orbit matrices. The LCD codes constructed can be of any length dimension according to the choice of matrices used in their construction. As a special case, LCD codes of length $2n$ and dimension $n$ are constructed which also have the property of being formally self-dual. Alternatively, under a condition depending on $q$ that the codes are not LCD, this method constructs self-dual codes. To illustrate the method we construct LCD codes from weighing matrices, including the Paley conference matrices and Hadamard matrices. We also extend the construction to Hermitian LCD codes over the finite field of order 4. In addition, we propose a decoding algorithm that can be feasible for the LCD codes obtained from some of the given methods.

A Butson Hadamard matrix $H$ has entries in the kth roots of unity, and satisfies the matrix equation $HH^{\ast} = nI_{n}$. We write $\mathrm{BH}(n, k)$ for the set of such matrices. A complete morphism of Butson matrices is a map $\mathrm{BH}(n, k) \rightarrow \mathrm{BH}(m, \ell)$. In this paper, we develop a technique for controlling the spectra of certain Hadamard matrices. For each integer $t$, we construct a real Hadamard matrix $H_{t}$ of order $n_{t} = 2^{2^{t-1}-1}$ such that the minimal polynomial of $\frac{1}{\sqrt{n_{t}}}H_{t}$ is the cyclotomic polynomial $Φ_{2^{t+1}}(x)$. Such matrices yield new examples of complete morphisms \[ \mathrm{BH}(n, 2^{t}) \rightarrow \mathrm{BH}(2^{2^{t-1}-1}n, 2)\,, \] for each $t \geq 2$, generalising a well-known result of Turyn.

We introduce the concept of a morphism from the set of Butson Hadamard matrices over kth roots of unity to the set of Butson matrices over $\ell$th roots of unity. As concrete examples of such morphisms, we describe tensor-product-like maps which reduce the order of the roots of unity appearing in a Butson matrix at the cost of increasing the dimension. Such maps can be constructed from Butson matrices with eigenvalues satisfying certain natural conditions. Our work unifies and generalises Turyn's construction of real Hadamard matrices from Butson matrices over the 4th roots and the work of Compton, Craigen and de Launey on `unreal' Butson matrices over the 6th roots. As a case study, we classify all morphisms from the set of $n \times n$ Butson matrices over kth roots of unity to the set of $2n\times 2n$ Butson matrices over $\ell$th roots of unity where $\ell < k$.

We classify all the cocyclic Butson Hadamard matrices $\mathrm{BH}(n,p)$ of order $n$ over the $p$th roots of unity for an odd prime $p$ and $np\leq 100$. That is, we compile a list of matrices such that any cocyclic $\mathrm{BH}(n,p)$ for these $n$, $p$ is equivalent to exactly one element in the list. Our approach encompasses non-existence results and computational machinery for Butson and generalized Hadamard matrices that are of independent interest.