Localization Schemes - A Framework for Proving Mixing Bounds for Markov Chains
Institute for Advanced Study via YouTube
Overview
The course introduces a framework that connects Spectral Independence and Stochastic Localization techniques for proving mixing bounds for Markov chains. The learning outcomes include understanding the concept of a "localization scheme," deriving mixing bounds for dynamics, and applying the framework to obtain mixing time bounds for specific models. The course teaches tools for analyzing localization processes, generalizations of Spectral Independence and Entropic Independence concepts, and applying martingale arguments for proofs. The teaching method involves presenting theoretical concepts and demonstrating their application through simple proofs. The intended audience includes individuals interested in computer science, discrete mathematics, and the analysis of Markov chains.
Syllabus
Introduction
Goals
Easing models
Markov chains
Global dynamics
Grabber dynamics
Nonuniqueness
Discrete hypercube
Sampling independent sets
Covariance matrix
Correlation matrix
Operator norms
Other techniques
Taught by
Institute for Advanced Study