Category Archives: Quantum

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

A Masters project

In a previous post I reported on the beautiful recent result by Natarajan and Wright showing the astounding power of multi-prover interactive proofs with quantum provers sharing entanglement: in letters, . In this post I want to report on follow-up … Continue reading

Posted in meta, QPCP, Quantum, Science | Tagged , , , | 28 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

UCSD Spring school on Quantum Computation

A couple months from now Dorit Aharonov, David Gosset and myself will be giving a short 3.5-day “Spring School” that is meant to be an introduction to recent topics in quantum computing, directed at young researchers in theoretical computer science at large. The school is … Continue reading

Posted in Quantum, teaching | Tagged , , | Leave a comment

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

Coming to a theater near you

This Fall together with long-time friend and collaborator Stephanie Wehner I will be teaching a Caltech/TUDelft/EdX course on Quantum Cryptography. As I am writing this I almost feel like saying I have taught an EdX course…indeed, I just finished recording … Continue reading

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

Foundations of randomness, Day 3

Last day! Wednesday started with a bang. Yevgeniy Dodis spent the whole Tuesday evening (our workshop dinner at Lanzerac!) complaining that we weren’t leaving him enough time to prepare for his talk…only to spend an equal amount of time during his talk … Continue reading

Posted in Conferences, device independence, Quantum, Talks | Tagged , , , , , | Leave a comment