Nearly Optimal Bernoulli Factories for Linear Functions

作者：Huber Mark^*

来源：Combinatorics Probability & Computing, 2016, 25(4): 577-591.

DOI：10.1017/S0963548315000371

Suppose that X-1, X-2, ... are independent identically distributed Bernoulli random variables with mean p. A Bernoulli factory for a function f takes as input X-1, X 2, ... and outputs a random variable that is Bernoulli with mean f(p). A fast algorithm is a function that only depends on the values of X-1, ..., X-T, where T is a stopping time with small mean. When f(p) is a real analytic function the problem reduces to being able to draw from linear functions Cp for a constant C > 1. Also it is necessary that Cp <= 1 - epsilon for known epsilon > 0. Previous methods for this problem required extensive modification of the algorithm for every value of C and epsilon. These methods did not have explicit bounds on E[T] as a function of C and epsilon. This paper presents the first Bernoulli factory for f(p) = Cp with bounds on E[T] as a function of the input parameters. In fact, sup(p is an element of[0,(1-epsilon)/C]) E[T] <= 9.5 epsilon(-1) C. In addition, this method is very simple to implement. Furthermore, a lower bound on the average running time of any Cp Bernoulli factory is shown. For epsilon <= 1/2, sup(p is an element of[0,(1-epsilon)/C]) E[T] >= 0.004C(epsilon)(-1), so the new method is optimal up to a constant in the running time.

• 出版日期2016-7