Completed
Multi-prover interactive proofs
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
MIP* = RE
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Two-party correlations
- 3 Nonlocal correlations
- 4 Tsirelson's problem
- 5 The connection with operator algebras
- 6 Separating convex sets
- 7 The complexity of verification
- 8 Multi-prover interactive proofs
- 9 Games as linear functions
- 10 The power of quantum interactive proofs
- 11 (Quantum) linearity testing
- 12 Compression of interactive proofs
- 13 The punchline
- 14 Summary
