Computer Science
|
Analytical Methods in Computer Science0368.4157.01 |
Fall 2007 |
Lectures
|
Thursday 16:00-19:00, Orenstein 111 |
Instructor |
Oded Regev | Schreiber 103 | 6407996 |
Lecture notes on the web | Ryan O'Donnell's course Irit Dinur and Ehud Friedgut's course |
Textbooks |
There's no textbook for this course |
Preliminary syllabus |
Boolean functions, Fourier Transform, Property Testing, Learning Theory, Hardness of Approximation, Noise Stability, and more.... |
Requirements |
Attendance, homework assignments (will require relatively lots of effort), and a final project |
Prerequisites |
Mathematical maturity is a must for this class. In addition, familiarity with the basics of probability, probabilistic method, algebra (especially finite fields), analysis of algorithms, and computational complexity would be helpful. |
Useful links |
The Friedgut-Kalai conjecture |
Date | Class Topic |
Jan 31 | Linearity and approximate linearity; the BLR test; Fourier expansion; two different ways to analyze the BLR test |
Feb 7 | Testing dictatorships using the Håstad test; the noise operator; testing averages; testing dictatorships using the NAE test and the NAE+BLR test; testing for a subset of the dictatorships |
Feb 14 | A basic construction of PCPP; influence, total influence, and attenuated influence; quasirandomness; hardness of approximation; the label cover problem; the unique games conjecture |
Feb 21 | UG-hardness from any dictatorship vs. quasirandom tester, NP-hardness of MAX3LIN2 |
Feb 28 | Learning (see Yishay's survey); the Goldreich-Levin algorithm and an application to hard-core predicates from one-way permutations |
Mar 6 | The PAC learning model; learning using spectral concentration: the Linial-Mansour-Nisan and Kushilevitz-Mansour algorithms; Learning decision trees; learning DNFs (based on Håstad's switching lemma; see Chapter 13 here for a proof) |
Mar 13 | Learning juntas [MOS] |
Mar 20 | lp norms; the hypercontractive inequality; Friedgut's theorem and the KKL theorem |
Mar 27 | the [FKN] theorem on functions whose Fourier weight is concentrated on the first two levels; an application in communication complexity; |
Apr 2 | Proof of the hypercontractive inequality; Gaussian random variables |
Apr 7 | Noise stability and the stability of majority; majority is stablest, applications and proof |