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. 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, which 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. 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.
翻译:计票是复杂和容易出错的。 已经开发了几种统计方法来评估选举准确性, 通过手动随机检查选定的实际选票来评估选举准确性。 两种“ 原则性” 方法是风险限制审计和巴伊西亚审计。 RLAs使用常客统计推断法, 而BA则以巴伊西亚推论为基础。 直到最近, 这两种方法都被认为根本不同。 我们展示了统一和显示“ 球投票” RLA和BAs( 只需要能够从所有选票中统一随机抽样), 来进行两分制多元性竞争, 这是审计更复杂的社会选择功能, 包括一些优惠投票制度的基础。 我们强调方法之间的联系, 并探索它们的业绩。 首先, 在以前对古典和巴伊西亚方法的数学等同性进行示范的基础上, 我们显示, 模范( 适当校准的) 正在限制风险。 其次, 我们比较方法在广泛范围的大小和边际范围的效率, 重点是抽样规模的分布, 重点是为达到特定风险等值所需的比例的分布。