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

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.