Nonvanishing conjecture for principal submatrices of the Fourier matrix

Let nn be a square-free positive integer, let ζn\zeta_n be an nn-th root of unity, and consider the matrix Fn=(ζnij)0i,jn1F_n=(\zeta_n^{ij})_{0\leq i,j\leq n-1}. A principal submatrix is a matrix (ζnij)i,jI(\zeta_n^{ij})_{i,j\in I} for some subset I{0,1,,n1}I\subseteq\{0,1,\ldots,n-1\}. Nonvanishing conjecture. Every principal submatrix of FnF_n has nonzero determinant.

This conjecture concerns the nonsingularity of principal submatrices of the discrete Fourier matrix in the square-free case. Singular non-principal submatrices are known when nn is not prime, but no counterexample to the principal-submatrix assertion is known; the conjecture was first stated by Cabrelli and presented in a more general form by Chebotarev and collaborators.

Sources & referencesView supporting material

Primary source

Maria Loukaki, “Chebotarev's theorem for groups of order pq and an uncertainty principle”, arXiv:2412.08600 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.