On number of cyclic $n$-roots and disjointness of Fourier supports

Abstract

A cyclic $n$-root is an $n$-dimensional complex vector that solves a particular set of multivariate homogeneous polynomial equations. There is a one-to-one correspondence between unimodular cyclic $n$-roots and bi-unimodular vectors (CAZAC sequences) with leading entry one. It was conjectured by Bj\"orck and Saffari that the set of cyclic $n$-roots is finite if and only if $n$ is square free. It is known that such a set is infinite if $n$ is not square free, and finite if $n$ is prime. A critical reduction in Haagerup's proof for prime $n$ is to show that infinity of cyclic $n$-roots (for any $n$) implies existence of two vectors with disjoint supports in both the time domain and the frequency domain. In this paper we show that such pair of vectors always exist if $n$ is composite, indicating that the original reduction is not adequate for composite square free cases. A discussion on the existence of a single vector whose support is disjoint with its Fourier transform is also included.