Category Archives: Uncategorized

What it is that we do

This post is a follow-up on some somewhat off-hand comments that I made earlier regarding the notion of truth in a “proof-based” discipline such as pure mathematics or theoretical computer science. Since the former is easier to circumscribe and also … Continue reading

Posted in meta, Science, Uncategorized | Tagged | 6 Comments

Lecture notes on the Mahadev verification protocol

As announced earlier I am currently teaching a course on “interactive proofs with quantum devices” in Paris. The course is proceeding apace, even though the recent lockdown order in France means that we had to abandon our beautiful auditorium at … Continue reading

Posted in Quantum, Science, teaching, Uncategorized | Tagged , | 3 Comments

It happens to everyone…but it’s not fun

A recent post on this blog concerned the posting of our paper MIP*=RE on the arXiv and gave a personal history of the the sequence of works that led to the result. Quite unfortunately (dramatically?) a few weeks after initial … Continue reading

Posted in meta, Quantum, Science, Uncategorized | 8 Comments

Announcing a short course in Paris

This coming academic year I am on sabbatical, in Paris. It’s certainly a funny year to be on sabbatical. (It’s a funny year to be doing anything, isn’t it? Or is “funny” not the appropriate word…Yet I can’t find any … Continue reading

Posted in Uncategorized | 2 Comments

Randomness and interaction? Entanglement ups the game!

[05/25/19 Update: Kevin Hartnett has a nice article at Quanta explaining Natarajan & Wright’s result in slightly more layman terms than I’d be able to…see here: Computer Scientists Expand the Frontier of Verifiable Knowledge] The study of entanglement through the … Continue reading

Posted in CHSH, QPCP, Quantum, Uncategorized | Tagged | 8 Comments

Pauli braiding

[7/9/17 Update: Following a suggestion by Oded Regev I upgraded Section 1 from “probabilistic functions” to “matrix-valued functions”. This hopefully makes it a more useful, and interesting, mid-point between the classical analysis of BLR and the non-abelian extension discussed afterwards. … Continue reading

Posted in CHSH, device independence, QPCP, Quantum, Uncategorized | Tagged , , | Leave a comment

Unitary Correlation Matrices

Today I’d like to sketch a question that’s been pushing me in a lot of different directions over the past few years — some sane, others less so; few fruitful, but all instructive. The question is motivated by the problem … Continue reading

Posted in Conferences, Quantum, Science, Uncategorized | Tagged , | 2 Comments

Quid qPCP?

This blog has already seen three posts on the quantum PCP conjecture: in February 2013 to highlight several talks at the Simons Institute in Berkeley, in October 2013 to promote a survey on the topic I wrote with Dorit Aharonov … Continue reading

Posted in QPCP, Quantum, Science, Uncategorized | Tagged , , , | 2 Comments

One week later…

…and 736 words of expectation for the class: Note the top contender: let’s see if we live up to their expectations! It’s been a fun first week. We released “Week 0” of the material a month ahead of the official … Continue reading

Posted in QCrypto, teaching, Uncategorized | Tagged , , , | Leave a comment

TCS+: Season 2

Last semester saw a fairly successful run of TCS+, the online seminar series that Anindya De, Oded Regev and myself co-organized over Google+ hangouts. We’re very pleased that all nine seminars were very well attended. The seven “inside spots” almost … Continue reading

Posted in TCS+, Uncategorized | Leave a comment