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
The Next Generation of InfrastructureDelft University of Technology via edX The Beauty and Joy of Computing - AP® CS Principles Part 2
University of California, Berkeley via edX Advanced Data Structures in Java
University of California, San Diego via Coursera Theory of Computation
Indian Institute of Technology Kanpur via Swayam 离散数学
Shanghai Jiao Tong University via Coursera