Chebotaryov theorem on roots of unity

Not to be confused with Chebotarev's density theorem.

The theorem state that all submatrices of a DFT matrix of prime length are invertible.

The Chebotaryov theorem on roots of unity was originally a conjecture made by Ostrowski in the context of lacunary series. Chebotaryov was the first to prove it, in the 1930s. This proof involves tools from Galois theory and did not please Ostrowski, who made comments arguing that it "does not meet the requirements of mathematical esthetics" .^[1]

Several proofs have been proposed since,^[2] and it has even been discovered independently by Dieudonné.^[3]

Statement

Let $\Omega$ be a matrix with entries $a_{ij} =\omega^{ij},1\leq i,j\leq n$ , where $\omega =e^{2i\pi / n},n\in \mathbb{N}$ . If $n$ is prime then any minor of $\Omega$ is non-zero.

Applications

For signal processing purposes,^[4] as a consequence of the Chebotaryov theorem on roots of unity, T. Tao stated an extension of the uncertainty principle.^[5]

Notes

↑ Stevenhagen et Al., 1996
↑ P.E. Frenkel,2003
↑ J. Dieudonné, 1970
↑ Candès, Romberg, Tao, 2006
↑ T. Tao, 2003

References

Stevenhagen, Peter and Lenstra, Hendrik W (1996). "Chebotarev and his density theorem". The Mathematical Intelligencer (Springer) 18 (2): 26–37. doi:10.1007/BF03027290.
Frenkel, PE (2003). "Simple proof of Chebotarev's theorem on roots of unity". ArXiv preprint math/0312398: 12398. arXiv:math/0312398. Bibcode:2003math.....12398F.

Tao, Terence (2003). "An uncertainty principle for cyclic groups of prime order". ArXiv preprint math/0308286: 8286. arXiv:math/0308286. Bibcode:2003math......8286T.
Dieudonné,Jean (1970). "Une propriété des racines de l'unité". Collection of articles dedicated to Alberto González Domınguez on his sixty-fifth birthday.

Candes, Emmanuel J and Romberg, Justin K and Tao, Terence; Romberg; Tao (2006). "Stable signal recovery from incomplete and inaccurate measurements". Communications on pure and applied mathematics (Wiley Online Library) 59 (8): 1207–1223. arXiv:math/0503066. Bibcode:2005math......3066C. doi:10.1002/cpa.20124.