Reference Request: Theoretical Mixing Times Research in Machine Learning / Artificial Intelligence (AI) I'm doing a PhD in probability theory, focusing mostly on mixing times. It's a pure maths PhD, considering precise models and showing rigorous mixing results. I'm also interested in stuff like machine learning. A brief overview of some google results suggests that MCMC is used quite a lot in these fields, however any references that I could find are of the following (approximate) form:

we want to simulate a complicated distribution; write a piece of code to sample this and run it 1,000,000 times.

The questions aren't about using rigorous probabilistic methods to find the mixing time. Maybe this is because in general people doing MC/AI aren't so interested in this? I don't know, so I thought I'd ask here..
Specifically, I'm asking for references to work in AI/ML that uses rigorous probabilistic methods to shows bounds on mixing times (runtimes for MCMC algorithms).
As mentioned above, it's possible that such a reference doesn't exist. If this is the case, any suggestions of ways that mixing times could be applied to AI/ML would be equally desirable. (Just because there isn't work in an area yet doesn't mean it can't be started!)
 A: Mark Jerrum has rigorous results (bounds) on mixing times for Markov Chain Monte Carlo algorithms, as summarized in this presentation. In the context of deep learning, such bounds have been used in Layerwise Systematic Scan: Deep Boltzmann Machines and Beyond.
A: The question as asked is rather broad, because there are several works in ML/AI dedicated to mixing time analysis, as well as to detecting if mixing has happened. I would not draw too sharp a boundary about whether the work is in the ML domain or in a closely related domain. Though, I agree, in ML, often MCMC is used with Bayesian methods, and given the complexity of the distributions involved, often  rigorous mixing time bounds are not derived / not possible to derive there. 
However, there are some recent works in ML/AI, where the distributions involve enough structure, so as to permit a rigorous mixing time analysis. A (biased) list of some references to begin with:


*

*N. Anari, S. O. Gharan, and A. Rezaei. Monte Carlo Markov chain algorithms for sampling strongly Rayleigh distributions and determinantal point processes. Conference on Learning Theory, 2016.

*C. Li, S. Sra., and S. Jegelka. Fast mixing markov chains for strongly Rayleigh measures, DPPs, and constrained sampling. Advances in Neural Information Processing Systems (NIPS) 2016.

*C. Li, S. Jegelka, and S. Sra. Polynomial time algorithms for dual volume sampling. Advances in Neural Information Processing Systems (NIPS) 2017.

*Y. T. Lee and S. Vempala. Convergence Rate of Riemannian Hamiltonian Monte Carlo and Faster Polytope Volume Computation. 2017. (this is more a math paper though).

*J. Gorham and L. Mackey. Measuring sample quality with Stein's method. Advances in Neural Information Processing Systems (NIPS) 2017.

