Math RefereeAn uncertainty principle for cyclic groups of prime order
Terence Tao · Human-authored comparison
The proposed argument
A cyclotomic-integer lemma controls polynomial values at roots of unity modulo p. Dividing a Fourier minor by its Vandermonde factors and evaluating derivatives proves that every square minor is nonzero. Invertibility then gives the support-sum bound and its converse, followed by sparse-polynomial and sumset consequences.
Human-authored control; withheld identifying front matter. Model conclusions and curator source checks remain separate from human mathematical grades.
Reading order
Follow the dependencies
Open the full map ↗Select a claim to see its prerequisites and consumers. Edge labels distinguish proof inputs, source references, background and exclusions.
Your independent assessment
Trace the cyclotomic lemma, Fourier-minor argument, exact-support converse, and the applications. Distinguish proof defects from exposition and imported prerequisites.