arXiv++ Combinatorics

What is the dimension of a smooth family of complex Hadamard matrices including the Fourier matrix? We address this problem with a power series expansion. Studying all dimensions up to 100 we find that the first order result is misleading unless the dimension is 6, or a power of a prime. In general the answer depends critically on the prime number decomposition of the dimension. Our results suggest that a general theory is possible. We discuss the case of dimension 12 in detail, and argue that the solution consists of two 13-dimensional families intersecting in a previously known 9-dimensional family. A precise conjecture for all dimensions equal to a prime times another prime squared is formulated.

The set of bistochastic or doubly stochastic N by N matrices form a convex set called Birkhoff's polytope, that we describe in some detail. Our problem is to characterize the set of unistochastic matrices as a subset of Birkhoff's polytope. For N=3 we present fairly complete results. For N=4 partial results are obtained. An interesting difference between the two cases is that there is a ball of unistochastic matrices around the van der Waerden matrix for N=3, while this is not the case for N=4.