[论文解读] RAIRE: Risk-Limiting Audits for IRV Elections

Michelle Blom, Peter J. Stuckey+1 more|arXiv (Cornell University)|Mar 20, 2019

Simulation Techniques and Applications参考文献 12被引用 9

一句话总结

该论文提出了RAIRE，这是首个适用于即时排序复选制（IRV）选举的风险限额审计（RLA）实用框架。它将原本用于得票最多者当选制的选票抽样与选票层级对比审计技术，适配于IRV的偏好计票结构，并采用一种新颖算法以最小化预期审计工作量。RAIRE使得仅检查少量选票（在某些情况下低至10%）即可确认正确的IRV计票结果，同时以高统计置信度保证检测出错误结果。

ABSTRACT

Risk-limiting post election audits guarantee a high probability of correcting incorrect election results, independent of why the result was incorrect. Ballot-polling audits select ballots at random and interpret those ballots as evidence for and against the reported result, continuing this process until either they support the recorded result, or they fall back to a full manual recount. For elections with digitised scanning and counting of ballots, a comparison audit compares randomly selected digital ballots with their paper versions. Discrepancies are referred to as errors, and are used to build evidence against or in support of the recorded result. Risk-limiting audits for first-past-the-post elections are well understood, and used in some US elections. We define a number of approaches to ballot-polling and comparison risk-limiting audits for Instant Runoff Voting (IRV) elections. We show that for almost all real elections we found, we can perform a risk-limiting audit by looking at only a small fraction of the total ballots (assuming no errors were made in the tallying and distribution of votes).

研究动机与目标

• 开发首个适用于即时排序复选制（IRV）选举的风险限额审计（RLA）实用框架。
• 将原本为得票最多者当选制设计的现有选票抽样与选票层级对比RLA方法，适配于IRV的偏好计票结构。
• 设计一种算法，以最小化在给定风险限额下，确认报告的IRV计票结果正确的预期选票检查数量。
• 在真实IRV选举数据上评估RAIRE相对于其他审计策略的效率，证明其在计票接近的选举中可避免全量重新计票。

提出的方法

• RAIRE将审计建模为对每一阶段IRV淘汰轮次结果正确性的统计检验，将每一轮视为多席位多数制选举。
• 采用定制化优化算法，选择最小的断言集合，若这些断言被证实，则可保证以至少1−α的概率确认报告的IRV胜者正确。
• 在选票抽样审计中，RAIRE通过测试假设来调整BRAVO方法，即某位报告的落选者在任一阶段实际得票数超过报告的胜者。
• 在选票层级对比审计中，RAIRE通过将扫描的电子选票与纸质副本进行比对，扩展了MACRO方法，以检测可能改变结果的差异。
• 该算法计算每种审计配置的预期选票检查数（ASN），并选择在报告结果正确假设下ASN最小的配置。
• RAIRE在真实IRV选举数据上进行了评估，审计设计针对1%和5%的风险限额，并在无错误与引入错误的条件下进行了测试。

实验结果

研究问题

• RQ1 风险限额审计能否有效适配于涉及顺序淘汰与偏好计票的即时排序复选制（IRV）选举？
• RQ2 在给定风险限额下，确认IRV选举结果正确的最小预期选票检查数是多少？
• RQ3 RAIRE在选票抽样需求方面，与EO、SE和WO等其他审计策略相比，效率如何？
• RQ4 电子选票与纸质选票之间的差异在多大程度上影响审计效率？RAIRE在这些条件下是否仍能生成高效审计？
• RQ5 RAIRE能否通过仅抽样少量选票，避免在计票接近的IRV选举中进行全量重新计票？

主要发现

• RAIRE生成的审计配置所需选票检查数显著少于其他方法：在2009年阿斯彭市议会选举中，对比审计的平均检查选票数从2,112张（占83%）减少至254张（占10%）。
• 在26次真实IRV选举中的22次，RAIRE的选票抽样审计所需样本数与最佳替代方法（EO、SE或WO）相近；在四次案例中——包括2012年奥克兰和2008年皮尔斯县——RAIRE通过平均仅检查17%以内的选票，成功避免了全量重新计票。
• 在2014年奥克兰市长选举中，RAIRE计算最优审计配置最多耗时139秒，但仍生成了高度高效的审计方案。
• 即使在电子与纸质选票之间引入差异，RAIRE生成的对比审计仍比选票抽样审计更高效，且仅需检查极小比例的选票。
• 除最复杂的情形外，RAIRE在所有情况下均于一分钟内完成高效审计配置的计算，计算时间范围为0.002秒至139秒，具体取决于选举和审计类型。
• 本研究证实，RAIRE是首个可在IRV选举中实际执行风险限额审计的方法，能够以极少的人工工作量确保结果的高置信度。