Additive Combinatorics: Szemerédi's Theorem, Sumset Inequalities, and Applications in Property TestingA rigorous exploration of additive combinatorics—Szemerédi's theorem on arithmetic progressions, Plünnecke-Ruzsa inequalities, the Balog-Szemerédi-Gowers theorem, and their applications in property testing and pseudorandomness.