Spring 2020

MIP* = RE: Putting Everything Together

Wednesday, April 1st, 2020 3:30 pm4:30 pm

Add to Calendar


Zhengfeng Ji (University of Technology Sydney)

In this talk, we will discuss the overall framework for combining many of the techniques established in previous talks of this workshop, including the quantum low-degree test, question reduction by introspection, and answer reduction by the PCP technique. Building upon these techniques, we will construct a recursive gap-preserving compression procedure for quantum two-prover interactive proofs in the normal form and use it to give a proof of MIP* = RE.

PDF icon Talk Slides7.4 MB