Subgroup Tests and the Aldous-Lyons Conjecture
Offered By: Institute for Advanced Study via YouTube
Course Description
Overview
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 ApplicationsSimons 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