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^{\ast }$; (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.

typos fixed, wording adjustments, code running environment/lib package versions added