YoVDO

Subgroup Tests and Tailored Non-local Games - Lecture on Interactive Proof Systems

Offered By: Institute for Advanced Study via YouTube

Tags

Theoretical Computer Science Courses Group Theory Courses Computational Complexity Courses Interactive Proof Systems Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore an in-depth computer science and discrete mathematics seminar focusing on Subgroup Tests and Tailored Non-local Games. Delve into the interactive proof system induced by Subgroup Tests and its implications for decidable languages. Discover how the Halting Problem can be decided within this system, leading to a refutation of the Aldous--Lyons conjecture. Examine the two-step process connecting Subgroup Tests to a new subclass of non-local games called Tailored Games. Investigate the refinement of MIP*=RE techniques to show that all games within it are tailored. Learn from speaker Michael Chapman of New York University as he presents joint work with Lewis Bowen, Alex Lubotzky, and Thomas Vidick in this comprehensive 2-hour seminar from the Institute for Advanced Study.

Syllabus

Subgroup Tests and Tailored Non-local Games - Michael Chapman


Taught by

Institute for Advanced Study

Related Courses

Approximation Algorithms Part I
École normale supérieure via Coursera
Approximation Algorithms Part II
École normale supérieure via Coursera
Automata Theory
Stanford University via edX
Computation in Complex Systems
Santa Fe Institute via Complexity Explorer
Computing: Art, Magic, Science
ETH Zurich via edX