@inproceedings{HRSTV20, Author = { Huang, Zhuoqun and Rivest, Ronald L. and Stark, Philip B. and Teague, Vanessa J. and Vukcevic, Damjan }, title = { A Unified Evaluation of Two-Candidate Ballot-Polling Election Auditing Methods }, journal = { Lecture Notes in Computer Science }, volume = { 12455 }, publisher = { Springer }, editor = { Robert Krimmer and Melanie Volkamer and Bernhard Beckert and Ralf Küsters and Oksana Kulyk and David Duenas-Cid and Mihkel Solvak }, date = { 2020-10-06 }, OPTyear = { 2020 }, OPTmonth = { October 6--8 }, pages = { 112--128 }, ISBN = { 9783030603472 }, ISSN = { 1611-3349 }, url = { http://dx.doi.org/10.1007/978-3-030-60347-2_8 }, urla = { conference proceedings }, urlb = { arXiv }, DOI = { 10.1007/978-3-030-60347-2_8 }, booktitle = { Proceedings E-Vote ID 2020 (Bregenz, Austria) }, abstract = { Counting votes is complex and error-prone. Several statistical methods have been developed to assess election accuracy by manually inspecting randomly selected physical ballots. Two ‘principled’ methods are risk-limiting audits (RLAs) and Bayesian audits (BAs). RLAs use frequentist statistical inference while BAs are based on Bayesian inference. Until recently, the two have been thought of as fundamentally different. \par We present results that unify and shed light upon ‘ballot-polling’ RLAs and BAs (which only require the ability to sample uniformly at random from all cast ballot cards) for two-candidate plurality contests, that are building blocks for auditing more complex social choice functions, including some preferential voting systems. We highlight the connections between the methods and explore their performance. \par First, building on a previous demonstration of the mathematical equivalence of classical and Bayesian approaches, we show that BAs, suitably calibrated, are risk-limiting. Second, we compare the efficiency of the methods across a wide range of contest sizes and margins, focusing on the distribution of sample sizes required to attain a given risk limit. Third, we outline several ways to improve performance and show how the mathematical equivalence explains the improvements. } }