We classify all the cocyclic Butson Hadamard matrices BH(n, p) of order n over the pth roots of unity for an odd prime p and np ≤ 100 . That is, we compile a list of matrices such that any cocyclic 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.
We introduce the concept of a morphism from the set of Butson Hadamard matrices over k th roots of unity to the set of Butson matrices over ℓ 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 4 th roots and the work of Compton, Craigen and de Launey on 'unreal' Butson matrices over the 6 th roots. As a case study, we classify all morphisms from the set of n × n Butson matrices over k th roots of unity to the set of 2n × 2n Butson matrices over ℓ th roots of unity where ℓ <
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.