论文标题
普罗维登斯：灵活的循环限制风险审核
PROVIDENCE: a Flexible Round-by-Round Risk-Limiting Audit
论文作者
论文摘要
风险限制审核（RLA）是具有严格错误保证的统计选举表审核。我们提出投票调查RLA Providence，这是一项具有密涅瓦效率和Bravo灵活性的审计。我们证明，在对手的存在下，普罗维登斯是限制风险的，他们可以选择以前的样本知识，因此可以选择随后的圆形大小。我们描述了审计工作负载的量度，这是巡回演出的巡回赛数量和选票的函数。当回合太小时，我们量化了获得误导性审计样本的问题，这表明了审计计划的限制的重要性。我们提出了模拟结果，证明了使用这些措施的普罗维登斯优越性，并描述了计划审核循环时间表的方法。 我们描述了罗德岛选举委员会在2021年选举的列表审核中使用普罗维登斯的使用。我们在开源R2B2库中实施普罗维登斯和审计规划工具应该对佐治亚州和宾夕法尼亚州有用，佐治亚州和宾夕法尼亚州计划为2022年大选计划预认证投票投票RLA。
A Risk-Limiting Audit (RLA) is a statistical election tabulation audit with a rigorous error guarantee. We present ballot polling RLA PROVIDENCE, an audit with the efficiency of MINERVA and flexibility of BRAVO. We prove that PROVIDENCE is risk-limiting in the presence of an adversary who can choose subsequent round sizes given knowledge of previous samples. We describe a measure of audit workload as a function of the number of rounds, precincts touched, and ballots drawn.We quantify the problem of obtaining a misleading audit sample when rounds are too small, demonstrating the importance of the resulting constraint on audit planning. We present simulation results demonstrating the superiority of PROVIDENCE using these measures and describing an approach to planning audit round schedules. We describe the use of PROVIDENCE by the Rhode Island Board of Elections in a tabulation audit of the 2021 election. Our implementation of PROVIDENCE and audit planning tools in the open source R2B2 library should be useful to the states of Georgia and Pennsylvania, which are planning pre-certification ballot polling RLAs for the 2022 general election.
