In superposition
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
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
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
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
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
[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
This post is meant as a companion to an introductory post I wrote on the blog of Caltech s IQIM (Institute for Quantum Information and Matter), of which I am a member. The post describes a summer cluster on quantum computation Continue reading
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
I recently had the privilege to serve as program committee (PC) chair for the yearly conference on quantum cryptography, QCRYPT 17 (note: for obvious public-relations reasons all names of conferences, PC members and authors in this post have been replaced by entirely fictional aliases). Although Continue reading
[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