(2020). MIP* = RE Part 2: PCPs and Introspection. The Simons Institute for the Theory of Computing. https://simons.berkeley.edu/talks/tbd-139
MLA
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
BibTex
@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}}
}
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
