CSE 533: Communication Complexity

Updated automatically every 5 minutes

Communication Complexity

Course Instructor: Anup Rao (anuprao@cs.washington.edu)

TA: Cyrus Rashtchian (cyrash@cs.washington.edu)

Communication complexity measures the number of bits that must be exchanged by two or more parties to compute some joint function of all of their inputs. In the past few decades, many lower bounds on computational models have been proved by reducing the computation to a communication problem, and then proving a lower bound on the communication required. In this course, we shall study the techniques used to prove lower bounds on communication in various contexts.

Course Resources:

Live draft of text: here.

Grading will be based on 3 take-home homework assignments:

Homework 1 (due October 23). Solutions.

Homework 2 (due December 4).

Collaboration is encouraged, but you must write up solutions by yourself.

Final Lecture (Friday, 12/11): We discuss lower bounds on dynamic data structures, and talk briefly about proving lower bounds on linear programs.

Schedule (updated as we go):

Week 1 [Sep 30, Oct 2]

- Basics, Chapter 1 in text.

- The 2 party Model.
- Protocol trees, # rounds.
- Partition complexity
- Yannakakis’s Protocol
- Protocol for cliques and independent sets
- Krapchenko’s method
- The fooling set method. Equality, disjointness

Week 2 [Oct 7, Oct 9]

- Rank, Chapter 2 in text.

- Lower bounds for Disjointness, inner product
- The log rank conjecture

Week 3 [Oct 14, 16]

- Communication is bounded by root of Rank
- Non-negative Rank
- Rectangle Covers, direct sums for deterministic communication

Week 4 [Oct 21, 23]

- Randomized Communication, Chapter 3 in text.

- Equality.
- Feige’s protocol for greater than.
- Protocol for k-disjointness
- The min-max theorem
- Newman’s result about public vs private coins.

- Number-On-Forehead model

- Grolmusz’s protocol and variants.

Week 5 [Oct 28, 30]

- Exactly-n protocol and lowerbound from Ramsey Theory

- Discrepancy

- Bounding discrepancy using Cauchy Schwartz
- Discrepancy tensorizes

Week 6,7 [Nov 4, 11, 13]

- Information complexity

- Basics of information with examples.
- Information vs discrepancy
- Lower bounds for computing Disjointness
- Small set disjointness
- Rounds vs communication

Week 8 [Nov 25] Current Week

- Protocol Compression
- Direct Sums and Products
- Separating Information and Communication
- Lower bound for greater than.

Week 9 [Dec 2, 4]

- Circuits, Branching programs

- Karchmer Wigderson, composition conjecture, monotone ckt lowerbounds.
- Chandra-Furst-Lipton and connections to Ramsey Theory (coloring lower bound for the corner’s problem).
- ACC, computing polynomials
- Size-depth tradeoff for boolean circuits (Valiant)
- Size-depth tradeoffs for branching programs

- Data Structures

- The cell-probe model
- Patrascu’s problem
- Lopsided disjointness and lowerbounds
- Richness
- Lower bounds for dynamic data structures for graph connectivity (Saks et. al)
- Larsen’s lower bound for static data structures

Week 10 [Dec 9, 11]

- Streaming lower bounds

- Gap hamming lower bound
- indexing

- Extension Complexity

- Non-negative rank.
- LP lower bounds via communication
- SDP lower bounds