Principal Non-singularity of Fourier Matrices on $\mathbb Z_p \times \mathbb Z_q$ and $\mathbb Z_2^k \times \mathbb Z_q$

Abstract

Let $F_n$ be the $n\times n$ Fourier matrix on the cyclic group $\mathbb Z_n$, a renowned theorem of Chebotarëv asserts that all minors in $F_n$ for prime $n$ are non-zero. In this short note it is shown that (i) all principal minors in the Kronecker product $F_p\otimes F_q$ are non-vanishing (principal non-singularity) for distinct odd primes $p,q$ if $q$ is large enough and generates the multiplicative group $\mathbb Z_p^*$; (ii) the Fourier matrix on $\mathbb Z_2^k \times \mathbb Z_q$ is principally non-singular upon permutation (in particular, for $k=1$ the identity permutation suffices) for odd prime $q$ and $k=1,2,3$. The proof is just an exposition of existing techniques reorganized in a unified way. The result will have implications in combining Riesz bases of exponentials.