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

TL;DR

This paper proves principal non-singularity of certain Fourier matrices on product groups, extending Chebotar"ev's theorem to new cases involving Kronecker products and groups like
72_2^k imes
72_q, with implications for Riesz bases.

Contribution

It establishes principal non-singularity of Fourier matrices on specific product groups, generalizing Chebotar"ev's theorem to new algebraic structures.

Findings

All principal minors in $F_p \u2297 F_q$ are non-zero for large enough $q$ generating
72_p^*$.

Fourier matrices on
72_2^k imes
72_q are principally non-singular after permutation.

The results have implications for constructing Riesz bases of exponentials.

Abstract

Let $F_n$ be the $n\times n$ Fourier matrix on the cyclic group $\mathbb Z_n$, a renowned theorem of Chebotar\"ev 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.