Nominate TCS papers for research highlights

[Guest post by Aleksander Mądry] To me, one of the best things about working in theoretical computer science has always the exciting rate of progress we make as a community. On (what appears to be) a regular basis, we produce breakthroughs on problems that are absolutely fundamental to our field. Problems that often look impossible to tackle, right … Continue reading Nominate TCS papers for research highlights

Black Holes, a Complexity Theory perspective

Guest post by Chi-Ning Chou and Parth Mehta from the physics and computation seminar. Abstract The firewall paradox (introduced here) is a bewitching thought experiment that mandates a deeper understanding of our reality. As luck would have it, QFT predictions seem sound, GR calculations appear valid, and semi-classical approximations look reasonable: no one is willing … Continue reading Black Holes, a Complexity Theory perspective

Black hole paradoxes: A conservative yet radical journey

Guest post by Abhishek Anand and Noah Miller from the physics and computation seminar. In 2013, Harlow and Hayden drew an unexpected connection between theoretical computer science and theoretical physics as they proposed a potential resolution to the famous black hole Firewall paradox using computational complexity arguments. This blog post attempts to lay out the … Continue reading Black hole paradoxes: A conservative yet radical journey

Introduction to AMP and the Replica Trick

(This post from the lecture by Yueqi Sheng) In this post, we will talk about detecting phase transitions using Approximate-Message-Passing (AMP), which is an extension of Belief-Propagation to “dense” models. We will also discuss the Replica Symmetric trick, which is a heuristic method of analyzing phase transitions. We focus on the Rademacher spiked Wigner model (defined below), … Continue reading Introduction to AMP and the Replica Trick

Quantum circuits and their role in demonstrating quantum supremacy

There's a lot of discussion and (possibly well-deserved) hype nowadays about quantum computation and its potential for computation at speeds we simply can't reach with the classical computers we're used to today. The excitement about this has been building for years, even decades, but it's only very recently that we've really been approaching a solid … Continue reading Quantum circuits and their role in demonstrating quantum supremacy

Why physicists care about the Firewall Paradox

[Guest post by Noah Miller - a Harvard Physics Ph.D student that took our seminar. Noah's webpage contains wonderful and extensive notes that can be of interest to computer scientists. --Boaz] (The following blog post serves as an introduction to the following notes:) Black Holes, Hawking Radiation, and the Firewall There are many different types of "theoretical physicists." There are theoretical … Continue reading Why physicists care about the Firewall Paradox