Final doctoral examination and defense of dissertation of Prateek Bhakta

Tuesday, July 26, 2016 - 12:00pm
TBA
Title: Markov Chains for Weighted Lattice Structures
Advisor: Dr. Dana Randall, School of Computer Science
Committee: Dr. Dana Randall, School of Computer Science
  Dr. Milena Mihail, School of Computer Science
  Dr. Prasad Tetali, School of Mathematics
  Dr. Eric Vigoda, School of Computer Science
  Dr. David Goldberg, School of Industrial Systems and Engineering
Reader: Dr. Milena Mihail, School of Computer Science

Markov chains are an essential tool for sampling from large sets, and are ubiquitous across many scientific fields, including statistical physics, industrial engineering, and computer science. To be a useful tool for sampling, the number of steps needed for a Markov chain to converge approximately to the target probability distribution, also known as the mixing time, should be a small polynomial in n, the size of a state. We study problems that arise from the design and analysis of Markov chains that sample from configurations of lattice structures. Specifically, we will be interested in settings where each state is sampled with a non-uniform weight that depends on the structure of the configuration. These weighted lattice models arise naturally in many contexts, and are typically more difficult to analyze than their unweighted counterparts. Our focus will be on exploiting these weightings both to develop new efficient algorithms for sampling and to prove new mixing time bounds for existing Markov chains.

First, we will present an efficient algorithm for sampling fixed rank elements from a graded poset, which includes sampling integer partitions of n as a special case. Then, we study the problem of sampling weighted perfect matchings on lattices using a natural Markov chain based on "rotations", and provide evidence towards understanding why this Markov chain has empirically been observed to converge slowly. Finally, we present and analyze a generalized version of the Schelling Segregation model, first proposed in 1971 by economist Thomas Schelling to explain possible causes of racial segregation in cities. We identify conditions under which segregation, or clustering, is likely or unlikely to occur. Our analysis techniques for all three problems are drawn from the interface of theoretical computer science with discrete mathematics and statistical physics.