Time hierarchies for sampling distributions
Abstract
We show that "a little more time gives a lot more power to sampling algorithms." We prove that for every constant k ≥ 2, every polynomial time bound t, and every polynomially small ∈, there exists a family of distributions on k elements that can be sampled exactly in polynomial time but cannot be sampled within statistical distance 1-1/k-∈ in time t. This implies the following general time hierarchy for sampling distributions on arbitrary-size domains such as {0,1}n: For every polynomial time bound t and every constant ∈ > 0, there exists a family of distributions that can be sampled exactly in polynomial time but cannot be sampled within statistical distance 1 - ∈ in time t. Our proof involves reducing the problem to a communication problem over a certain type of noisy channel. To solve the latter problem we use a type of list-decodable code for a setting where there is no bound on the number of errors but each error gives more information than an erasure. This type of code can be constructed using certain known traditional list-decodable codes, but we give a new construction that is elementary, self-contained, and tailored to this setting. © 2013 ACM.
Publication Title
ITCS 2013 - Proceedings of the 2013 ACM Conference on Innovations in Theoretical Computer Science
Recommended Citation
Watson, T. (2013). Time hierarchies for sampling distributions. ITCS 2013 - Proceedings of the 2013 ACM Conference on Innovations in Theoretical Computer Science, 429-439. https://doi.org/10.1145/2422436.2422484
