Statistical physics dictionary

I've always been curious about the statistical physics approach to problems from computer science. The physics-inspired algorithm survey propagation is the current champion for random 3SAT instances, statistical-physics phase transitions have been suggested as explaining computational difficulty, and statistical physics has even been invoked to explain why deep learning algorithms seem to often converge to … Continue reading Statistical physics dictionary

On the recent proof of the 2-to-2 conjecture

Update (4/15): Scribe notes are now up thanks to Mitali Bafna, Chi-Ning Chou, and Zhao Song. As I posted before, recently Khot, Minzer and Safra posted a manuscript which is the culmination of a beautiful line of work, initiated by the same authors, and completes the proof of (the imperfect completeness variant of) Khot's 2 … Continue reading On the recent proof of the 2-to-2 conjecture

Looking for car keys under the streetlight

In NIPS 2017, Ali Rahimi and Ben Recht won the test of time award for their paper "Random Features for Large-scale Kernel Machines". Ali delivered the following acceptance speech (see also addendum) in which he said that Machine Learning has become "alchemy" in the sense that it involves more and more "tricks" or "hacks" that work … Continue reading Looking for car keys under the streetlight

On double blind reviews in theory conferences

Michael Mitzenmacher points to two  posts of Suresh Venkatasubramanian on the issue of so called "double blind reviews" (i.e., anonymous submissions) in theory conferences. In short, both Michael and Suresh think they are a good idea. I agree with much of their motivations, but, based on my experience in both non-blinded (e.g., STOC/FOCS) and blinded (e.g., CRYPTO) … Continue reading On double blind reviews in theory conferences

Unique Games Conjecture – halfway there?

(Edit: scribe notes on my lectures on this topic are now up.) Subhash Khot, Dor Minzer and Muli Safra just posted an exciting manuscript online. In it, they confirm the combinatorial hypothesis I've posted about before on the structure of non-expanding set in the degree two short-code graph (or, equivalently, in the Grassman graph).   Together with … Continue reading Unique Games Conjecture – halfway there?

Intro TCS course post-mortem

This fall I taught CS 121 - "Introduction to Theoretical Computer Science" - at Harvard. This is analogous to courses known at other universities as "Introduction to the Theory of Computation", "Automata and Computability", or "Great Ideas in Theoretical Computer Science", and are often taught using Sipser's excellent book. However, I decided to significantly revise it … Continue reading Intro TCS course post-mortem

Women In Theory – registration deadline getting closer

The deadline to register to the Women In Theory workshop is January 16, 2018.  As Omer Reingold posted, this is a wonderful workshop with a strong set of speakers (confirmed speakers include  Bonnie Berger, Yael Kalai, Julia Kempe,  Gillat Kol, Nancy Lynch, and Barna Saha). It is sure to have a great technical content, as well … Continue reading Women In Theory – registration deadline getting closer