Combinatorial Bernoulli Factories: Matchings, Flows and Other Polytopes

11/07/2020
by   Rad Niazadeh, et al.
0

A Bernoulli factory is an algorithmic procedure for exact sampling of certain random variables having only Bernoulli access to their parameters. Bernoulli access to a parameter p ∈ [0,1] means the algorithm does not know p, but has sample access to independent draws of a Bernoulli random variable with mean equal to p. In this paper, we study the problem of Bernoulli factories for polytopes: given Bernoulli access to a vector x∈𝒫 for a given polytope 𝒫⊂ [0,1]^n, output a randomized vertex such that the expected value of the i-th coordinate is exactly equal to x_i. For example, for the special case of the perfect matching polytope, one is given Bernoulli access to the entries of a doubly stochastic matrix [x_ij] and asked to sample a matching such that the probability of each edge (i,j) be present in the matching is exactly equal to x_ij. We show that a polytope 𝒫 admits a Bernoulli factory if and and only if 𝒫 is the intersection of [0,1]^n with an affine subspace. Our construction is based on an algebraic formulation of the problem, involving identifying a family of Bernstein polynomials (one per vertex) that satisfy a certain algebraic identity on 𝒫. The main technical tool behind our construction is a connection between these polynomials and the geometry of zonotope tilings. We apply these results to construct an explicit factory for the perfect matching polytope. The resulting factory is deeply connected to the combinatorial enumeration of arborescences and may be of independent interest. For the k-uniform matroid polytope, we recover a sampling procedure known in statistics as Sampford sampling.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/18/2022

Bernoulli Factories for Flow-Based Polytopes

We construct explicit combinatorial Bernoulli factories for the class of...
research
07/17/2020

The Combinatorial Santa Claus Problem or: How to Find Good Matchings in Non-Uniform Hypergraphs

We consider hypergraphs on vertices P∪ R where each hyperedge contains e...
research
07/08/2021

Sampling and Counting Edges via Vertex Accesses

We consider the problems of sampling and counting edges from a graph on ...
research
10/23/2022

Finding matchings in dense hypergraphs

We consider the algorithmic decision problem that takes as input an n-ve...
research
11/10/2021

Rooted quasi-Stirling permutations of general multisets

Given a general multiset ℳ={1^m_1,2^m_2,…,n^m_n}, where i appears m_i ti...
research
08/10/2020

An Improved Exact Sampling Algorithm for the Standard Normal Distribution

In 2016, Karney proposed an exact sampling algorithm for the standard no...
research
03/15/2021

Combinatorial Resultants in the Algebraic Rigidity Matroid

Motivated by a rigidity-theoretic perspective on the Localization Proble...

Please sign up or login with your details

Forgot password? Click here to reset