@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.
}
}