Mixing of 3-term progressions in Quasirandom Groups
summary
Proves Gowers’ conjecture: for every finite d‑quasi‑random group the 3‑term progression counting form equals the product of expectations up to error (2/√d)^{1/4}; earlier partial results covered SL2 and finite simple groups. Proof reduces the multilinear average by repeated Cauchy‑Schwarz to a single f3 term, then uses non‑abelian Fourier and the conjugacy‑class Fourier identity (average Hilbert‑Schmidt norm² = 1/d_rho) to extract a final 1/D‑type decay.
AI-written summary · about
chapters (14)
- 0:00Intro
- 0:16Expander Mixing Lemma
- 1:59Mixing in hyper-graphs!
- 3:45Motivations
- 5:46Mixing in groups
- 7:11Mixing of progressions
- 8:38Our Result
- 9:28Group representations
- 10:54Irreducible representations
- 13:08Quasirandom Groups
- 14:30Comparison with known Results
- 19:31Proof Comparison
- 22:04Non-abelian Fourier
- 27:06Conclusions and Future work
