Quadratic Speedups in Parallel Sampling from Determinantal Distributions

TL;DR

This paper demonstrates nearly quadratic parallel speedups for sampling from various determinantal distributions, improving efficiency and characterizing batching limits for exact and approximate sampling methods.

Contribution

It introduces a framework for achieving near-quadratic parallel sampling speedups and characterizes batching limits for sampling-to-counting reductions in determinantal distributions.

Findings

Achieves $ ilde{O}( oot{2}+ ext{c})$ time sampling for subsets of size $k$.

Improves to $ ilde{O}( oot{2})$ for symmetric determinantal point processes.

Characterizes batching limits for exact and approximate sampling.

Abstract

We study the problem of parallelizing sampling from distributions related to determinants: symmetric, nonsymmetric, and partition-constrained determinantal point processes, as well as planar perfect matchings. For these distributions, the partition function, a.k.a. the count, can be obtained via matrix determinants, a highly parallelizable computation; Csanky proved it is in NC. However, parallel counting does not automatically translate to parallel sampling, as classic reductions between the two are inherently sequential. We show that a nearly quadratic parallel speedup over sequential sampling can be achieved for all the aforementioned distributions. If the distribution is supported on subsets of size $k$ of a ground set, we show how to approximately produce a sample in $\widetilde{O}(k^{\frac{1}{2} + c})$ time with polynomially many processors for any constant $c>0$. In the two special cases of symmetric determinantal point processes and planar perfect matchings, our bound improves to $\widetilde{O}(\sqrt k)$ and we show how to sample exactly in these cases. As our main technical contribution, we fully characterize the limits of batching for the steps of sampling-to-counting reductions. We observe that only $O(1)$ steps can be batched together if we strive for exact sampling, even in the case of nonsymmetric determinantal point processes. However, we show that for approximate sampling, $\widetilde{\Omega}(k^{\frac{1}{2}-c})$ steps can be batched together, for any entropically independent distribution, which includes all mentioned classes of determinantal point processes. Entropic independence and related notions have been the source of breakthroughs in Markov chain analysis in recent years, so we expect our framework to prove useful for distributions beyond those studied in this work.