Defect of a unitary matrix Original Research Article

We analyze properties of a map f sending a unitary matrix U of size N into a doubly stochastic matrix B = f(U) defined by Bi,j = midUi,jmid2. For any U we define its defect, determined by the dimension of the image image of the space image tangent to the manifold of unitary matrices image at U under the tangent map Df corresponding to f. The defect of U equal to zero for a generic unitary matrix, gives an upper bound for the dimension of a smooth orbit (a manifold) stemming from U of inequivalent unitary matrices mapped into the same doubly stochastic matrix B = f(U). We demonstrate several properties of the defect and prove an explicit formula for the defect of the Fourier matrix FN of size N. In this way we obtain an upper bound for the dimension of a smooth orbit of inequivalent unitary complex Hadamard matrices stemming from FN. It is equal to zero iff N is prime and coincides with the dimension of the known orbits if N is a power of a prime. Two constructions of these orbits are presented at the end of this work.