English

Isotropy and Log-Concave Polynomials: Accelerated Sampling and High-Precision Counting of Matroid Bases

Data Structures and Algorithms 2020-04-21 v1 Discrete Mathematics

Abstract

We define a notion of isotropy for discrete set distributions. If μ\mu is a distribution over subsets SS of a ground set [n][n], we say that μ\mu is in isotropic position if P[eS]P[e \in S] is the same for all e[n]e\in [n]. We design a new approximate sampling algorithm that leverages isotropy for the class of distributions μ\mu that have a log-concave generating polynomial; this class includes determinantal point processes, strongly Rayleigh distributions, and uniform distributions over matroid bases. We show that when μ\mu is in approximately isotropic position, the running time of our algorithm depends polynomially on the size of the set SS, and only logarithmically on nn. When nn is much larger than the size of SS, this is significantly faster than prior algorithms, and can even be sublinear in nn. We then show how to transform a non-isotropic μ\mu into an equivalent approximately isotropic form with a polynomial-time preprocessing step, accelerating subsequent sampling times. The main new ingredient enabling our algorithms is a class of negative dependence inequalities that may be of independent interest. As an application of our results, we show how to approximately count bases of a matroid of rank kk over a ground set of nn elements to within a factor of 1+ϵ1+\epsilon in time O((n+1/ϵ2)poly(k,logn)) O((n+1/\epsilon^2)\cdot poly(k, \log n)). This is the first algorithm that runs in nearly linear time for fixed rank kk, and achieves an inverse polynomially low approximation error.

Keywords

Cite

@article{arxiv.2004.09079,
  title  = {Isotropy and Log-Concave Polynomials: Accelerated Sampling and High-Precision Counting of Matroid Bases},
  author = {Nima Anari and Michał Dereziński},
  journal= {arXiv preprint arXiv:2004.09079},
  year   = {2020}
}
R2 v1 2026-06-23T14:57:29.361Z