Talks
Spring 2020

MIP* = RE: Putting Everything Together
Wednesday, Apr. 1, 2020 3:30 pm – 4:30 pm PDT
Speaker:
Zhengfeng Ji (University of Technology Sydney)
Location:
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.
Attachment | Size |
---|---|
![]() | 7.4 MB |