{"id":"arxiv/2606.29595","url":"https://arxiv.org/abs/2606.29595","tags":["math.PR","cs.DM","cs.FL"],"score":0,"title":"Note on Finite-Automata Bernoulli Factories for Rational Functions","domain":"math.PR","source":"arxiv","authors":["Renato Paes Leme","Jon Schneider"],"reviews":0,"subject":"math.PR","summary":"Mossel and Peres (2005) established a comprehensive framework for designing Bernoulli factories. Notably, they demonstrated that a single-variable function admits a finite-automata Bernoulli factory if and only if it is a rational function. Their Theorem 2.9 claims an extension of this result to multivariable functions, but it contains a subtle technical oversight in the application of Pólya's Theorem. We provide a direct counterexample: a rational function in three variables that admits a general Bernoulli factory but cannot be implemented by a finite-automata Bernoulli factory.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-28","reactions":{}}