Video URL

https://simons.berkeley.edu/talks/tbd-139

MIP* = RE Part 2: PCPs and Introspection

(2020). MIP* = RE Part 2: PCPs and Introspection. The Simons Institute for the Theory of Computing. https://simons.berkeley.edu/talks/tbd-139

MIP* = RE Part 2: PCPs and Introspection. The Simons Institute for the Theory of Computing, Apr. 01, 2020, https://simons.berkeley.edu/talks/tbd-139 

          @misc{ scivideos_15559,
            doi = {},
            url = {https://simons.berkeley.edu/talks/tbd-139},
            author = {},
            keywords = {},
            language = {en},
            title = {MIP* = RE Part 2: PCPs and Introspection},
            publisher = {The Simons Institute for the Theory of Computing},
            year = {2020},
            month = {apr},
            note = {15559 see, \url{https://scivideos.org/Simons-Institute/15559}}
          }
John Wright (Caltech)
Source Repository Simons Institute
Subject

Abstract

Continuing in the line of MIP* = RE talks, I will discuss two of the tools involved in the result, introspection and PCP composition, which are used to compress large MIP* protocols into small MIP* protocols. I will introduce these tools in the context of prior work with Anand Natarajan showing that MIP* contains NEEXP. Joint work with Zhengfeng Ji, Anand Natarajan, Thomas Vidick, and Henry Yuen