CSE 291E, Additive Combinatorics and its Applications, Fall 2024

Additive combinatorics is an active area of research that bridges combinatorics, number theory, harmonic analysis and ergodic theory. It studies the structure of "approximate algebraic" objects, such as sets of integers, or subsets of finite groups, and their behavior under algebraic operations such as addition and multiplication. While originally, the development of this field was motivated by problems in number theory, in recent years deep connections between additive combinatorics and fundamental problems in theoretical computer science have been discovered. In this course, we will cover basic topics in additive combinatorics, some recent developments in the field, and their applications in theoretical computer science. There are no specific prerequisites beyond a certain level of mathematical maturity.

Instructors:

Class Times

Grading

Grades will be based on homework and a final project.

Homework

Online tools

Discussion board on Piazza: https://piazza.com/ucsd/fall2024/cse291e
Homework submission and grades on gradescope: https://www.gradescope.com/courses/858527; enrollment code YRJP62

Topics (tentative)

  1. Basics of set addition: Ruzsa distance, Plünneke-Ruzsa theorem, Ruzsa theorem, Frieman theorem, polynomial Frieman-Ruzsa (PFR) theorem (statement).
  2. Property testing: basic definitions, linearity testing, testing of linear maps and its connection to PFR.
  3. Statistical set addition: Balog-Szemerédi-Gowers (BSG) theorem; application to fast algorithm for 3-SUM with pre-processing.
  4. Arithmetic progressions: statement of important results (Van der Warden, Szemerédi, Green-Tao, Kelley-Meka); sets without arithmetic progressions (Behrend construction); Ruzsa-Szemerédi graphs; Application: impossibility of witness compression for NP languages.
  5. Communication complexity: connection between Ramsey problems in additive combinatorics and the Number-On-Forehead (NOF) model in communication complexity.
  6. Polynomial method: cap-set problem, connection to matrix multiplication algorithms.
If time permits, we will cover the following recent breakthroughs:
  1. Proof of PFR theorem over vector spaces (Gowers-Green-Manners-Tao)
  2. Strong bounds for sets without 3-term arithmetic progressions (Kelley-Meka)
A tentative class schedule with references is available here. It will most likely change as we go through the course, depending on our pace and topics of interest by students.

Extra reading

Related books and surveys which may be of interest: