YoVDO

Subgroup Tests and the Aldous-Lyons Conjecture

Offered By: Institute for Advanced Study via YouTube

Tags

Group Theory Courses Complexity Theory Courses Probability Theory Courses Interactive Proof Systems Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the intricate connections between finite object limits, approximability, and major mathematical conjectures in this Computer Science/Discrete Mathematics seminar. Delve into Michael Chapman's presentation on Subgroup Tests and the Aldous--Lyons Conjecture, examining how the resolution of Connes' embedding problem inspired a novel approach to tackle other significant mathematical challenges. Learn about the development of a new interactive proof system and its implications for the Aldous--Lyons conjecture. Gain insights into the concept of Subgroup Tests as an analogue to Non-local Games and understand how complexity theory and undecidability in interactive proof systems contribute to refuting long-standing mathematical conjectures. No specialized mathematical background is required for this high-level overview of the proof strategy and main concepts, making it accessible to a broad audience interested in the intersection of computer science, discrete mathematics, and probability theory.

Syllabus

Subgroup Tests and the Aldous--Lyons Conjecture - Michael Chapman


Taught by

Institute for Advanced Study

Related Courses

Fully Linear PCPs and Their Cryptographic Applications
Simons Institute via YouTube
How to Do Fiat-Shamir in the Standard Model
Simons Institute via YouTube
How to Delegate Computations Publicly
Simons Institute via YouTube
Transparent SNARKs from DARK Compilers
Simons Institute via YouTube
On Prover-Efficient Public-Coin Emulation of Interactive Proofs
Paul G. Allen School via YouTube