pith. sign in

arxiv: 1308.1562 · v2 · pith:JO257MRLnew · submitted 2013-08-07 · 🧮 math.PR

Nearly optimal Bernoulli factories for linear functions

classification 🧮 math.PR
keywords epsilonbernoullifunctiontextfactoryldotsmeantime
0
0 comments X
read the original abstract

Suppose that $X_1,X_2,\ldots$ are independent identically distributed Bernoulli random variables with mean $p$. A Bernoulli factory for a function $f$ takes as input $X_1,X_2,\ldots$ 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,\ldots,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 \leq 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 $\text{E}[T]$ as a function of $C$ and $\epsilon$. This paper presents the first Bernoulli factory for $f(p) = Cp$ with bounds on $\text{E}[T]$ as a function of the input parameters. In fact, $\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 $Cp$ Bernoulli factory is shown. For $\epsilon \leq 1/2$, $\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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Designing Perfect Simulation Algorithms using Local Correctness

    cs.DS 2019-07 unverdicted novelty 7.0

    The Fundamental Theorem of Perfect Simulation provides necessary and sufficient conditions that unify Acceptance/Rejection, Coupling from the Past, and other methods while enabling a faster Bernoulli factory.