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
Introduction à la théorie de GaloisÉcole normale supérieure via Coursera Combinatorial Mathematics | 组合数学
Tsinghua University via edX Groupes finis : les mathématiques du Rubik's cube
Université de Strasbourg via France Université Numerique Chemical Applications Of Symmetry And Group Theory
Indian Institute of Technology Kanpur via Swayam Introduction to Abstract Group Theory
Chennai Mathematical Institute via Swayam