[论文解读] ClipAudit: A Simple Risk-Limiting Post-Election Audit

Ronald L. Rivest|arXiv (Cornell University)|Jan 28, 2017

Game Theory and Voting Systems参考文献 10被引用 9

一句话总结

ClipAudit 提出了一种针对多数制选举的简单、风险限制型计票后审计方法，通过无放回随机抽样验证选举结果。当样本中报告胜者与对手得票数之差满足基于预先计算常数 β 的统计阈值时，审计停止，从而在最小依赖非官方得票差距的前提下，确保对报告结果的高置信度。

ABSTRACT

We propose a simple risk-limiting audit for elections, ClipAudit. To determine whether candidate A (the reported winner) actually beat candidate B in a plurality election, ClipAudit draws ballots at random, without replacement, until either all cast ballots have been drawn, or until \[ a - b \ge β\sqrt{a+b} \] where $a$ is the number of ballots in the sample for the reported winner A, and $b$ is the number of ballots in the sample for opponent B, and where $β$ is a constant determined a priori as a function of the number $n$ of ballots cast and the risk-limit $α$. ClipAudit doesn't depend on the unofficial margin (as does Bravo). We show how to extend ClipAudit to contests with multiple winners or losers, or to multiple contests.

研究动机与目标

• 设计一种简单、透明且不依赖非官方得票差距的风险限制型审计（RLA）。
• 提供一种统计上严谨的计票后审计方法，保证以高概率检测出错误结果。
• 将该审计方法扩展至多候选人和多选区的情形，同时保持风险限制特性。
• 为现有 RLAs（如 Bravo）提供一种实用替代方案，尤其适用于报告得票差距不可靠的情形。

提出的方法

• ClipAudit 通过无放回随机抽样纸面选票进行计票点算审计。
• 当条件 |a - b| ≥ β√(a + b) 满足时，审计停止，其中 a 和 b 分别为报告胜者和对手的得票数。
• 常数 β 基于总选票数 n 和期望风险限值 α 预先计算得出。
• 对于多候选人情形，ClipAudit 同时将每个报告胜者与每个报告败者进行审计，使用相同的样本序列。
• 对于多选区情形，选票在所有相关选区中均匀抽样，每个选区使用相同的风验限值 α 并行审计。
• 只有当所有单独的子审计（胜者对败者）均接受其对应结果时，整体审计才接受报告结果。

实验结果

研究问题

• RQ1 如何设计一种简单且独立于非官方得票差距的风险限制型审计？
• RQ2 确保审计具有风险限值 α 的同时，最小化期望样本量的最优统计阈值 β 是什么？
• RQ3 如何将 ClipAudit 扩展至处理多胜者、多败者或多选区情形，而不损害其风险限制保证？
• RQ4 在期望样本量和对不准确报告得票差距的鲁棒性方面，ClipAudit 与现有 RLA（如 Bravo）相比的性能权衡如何？
• RQ5 能否使一种计票点算审计在统计上严谨且在实践中可部署，而无需依赖复杂统计模型或选票转换记录（CVR）数据？

主要发现

• 如果报告结果错误，ClipAudit 以至少 1 - α 的概率检测出错误，因此是一种真正的风险限制型审计。
• 对于 50,000 张选票的选举且 α = 0.05 时，ClipAudit 的估计平均样本量为 143，而 Bravo 为 119，表明样本量方面约有 20% 的性能损失。
• 与 Bravo 不同，ClipAudit 的期望样本量对报告得票比例不敏感，因此可避免因可疑或不准确的报告得票差距而触发全面重新计票。
• 只要对每个子审计应用相同的风验限值 α，ClipAudit 即使在审计多候选人或多选区时仍保持其风险限制特性。
• 该方法具有鲁棒性且易于解释，适用于寻求计票后审计透明度与简洁性的司法管辖区。
• 即使没有闭式公式，β(n, α) 的值也可充分估算以用于实际部署，从而支持现实世界应用。