English

Nearly optimal Bernoulli factories for linear functions

Probability 2016-06-08 v2

Abstract

Suppose that X1,X2,X_1,X_2,\ldots are independent identically distributed Bernoulli random variables with mean pp. A Bernoulli factory for a function ff takes as input X1,X2,X_1,X_2,\ldots and outputs a random variable that is Bernoulli with mean f(p).f(p). A fast algorithm is a function that only depends on the values of X1,,XTX_1,\ldots,X_T, where TT is a stopping time with small mean. When f(p)f(p) is a real analytic function the problem reduces to being able to draw from linear functions CpCp for a constant C>1C > 1. Also it is necessary that Cp1ϵCp \leq 1 - \epsilon for known ϵ>0\epsilon > 0. Previous methods for this problem required extensive modification of the algorithm for every value of CC and ϵ\epsilon. These methods did not have explicit bounds on E[T]\text{E}[T] as a function of CC and ϵ\epsilon. This paper presents the first Bernoulli factory for f(p)=Cpf(p) = Cp with bounds on E[T]\text{E}[T] as a function of the input parameters. In fact, supp[0,(1ϵ)/C]E[T]9.5Cϵ1.\sup_{p \in [0,(1-\epsilon)/C]} \text{E}[T] \leq 9.5C\epsilon^{-1}. In addition, this method is very simple to implement. Furthermore, a lower bound on the average running time of any CpCp Bernoulli factory is shown. For ϵ1/2\epsilon \leq 1/2, supp[0,(1ϵ)/C]E[T]0.004Cϵ1\sup_{p \in [0,(1 - \epsilon)/C]} \text{E}[T] \geq 0.004 C \epsilon^{-1}, so the new method is optimal up to a constant in the running time.

Keywords

Cite

@article{arxiv.1308.1562,
  title  = {Nearly optimal Bernoulli factories for linear functions},
  author = {Mark Huber},
  journal= {arXiv preprint arXiv:1308.1562},
  year   = {2016}
}

Comments

15 pages; Corrected typo in Theorem 3: changed (1 - \gamma)^{2} to (1 - \gamma^{-2}) in the definition of r

R2 v1 2026-06-22T01:05:24.379Z