[论文解读] Auditing a collection of races simultaneously

Philip B. Stark|ArXiv.org|May 9, 2009

Internet Traffic Analysis and Secure E-voting参考文献 7被引用 15

一句话总结

本文提出了一种针对多个选举的并行风险限制审计方法，采用跨选区相对高估差额的最大值（MARROP）统计量，将各选区的差异整合为单一汇总统计量。通过按MARROP的上限值进行概率成比例的批次抽样，并应用Kaplan-Markov界，该方法比独立审计更高效地控制家族错误率，在测试场景中将预期审计工作量减少高达50%。

ABSTRACT

A collection of races in a single election can be audited as a group by auditing a random sample of batches of ballots and combining observed discrepancies in the races represented in those batches in a particular way: the maximum across-race relative overstatement of pairwise margins (MARROP). A risk-limiting audit for the entire collection of races can be built on this ballot-based auditing using a variety of probability sampling schemes. The audit controls the familywise error rate (the chance that one or more incorrect outcomes fails to be corrected by a full hand count) at a cost that can be lower than that of controlling the per-comparison error rate with independent audits. The approach is particularly efficient if batches are drawn with probability proportional to a bound on the MARROP (PPEB sampling).

研究动机与目标

• 为解决单独审计大量选区效率低下的问题，提出一种联合审计方法。
• 在一次审计中控制家族错误率——即任何错误选举结果未被纠正的概率——在多个选区中的总体水平。
• 在保持相同风险水平的前提下，相比独立审计，减少预期审计批次数、选票数和投票数。
• 使大规模选区中成本效益高且可扩展的选举后审计成为可能，尤其适用于存在大量选区的地区。

提出的方法

• 本文引入MARROP，一种汇总统计量，用于计算在抽样选票批次中所有选区的两两差距相对高估的最大值。
• 采用概率成比例于预期误差（PPEB）抽样，即按批次MARROP值的上限值成比例地选择批次。
• 审计应用Kaplan-Markov界，基于观测到的MARROP值确定停止规则，确保在任一结果错误时，触发完整人工清点的最低已知概率。
• 该方法支持顺序审计，即审计持续进行，直到观测到的MARROP足够低，从而以高置信度确认结果正确。
• 通过将误差归一化为差距，将现有单选区风险限制审计技术扩展至多选区，使各选区间的差异具有可比性。
• 该方法确保即使同时审计大量选区，家族错误率也被控制在α以内。

实验结果

研究问题

• RQ1 能否通过一次审计高效验证多个选区的结果，同时控制家族错误率？
• RQ2 并行审计的预期审计工作量与控制相同风险水平的独立审计相比如何？
• RQ3 何种抽样方案可在保持多选区统计保证的前提下最小化审计工作量？
• RQ4 MARROP能否以保持统计有效性与效率的方式整合各选区的误差？
• RQ5 使用PPEB抽样结合MARROP是否能相比独立审计，减少预期审计批次数与选票数？

主要发现

• 基于MARROP的并行审计相比控制相同家族错误率的独立审计，将预期审计批次数减少了高达50%。
• 使用MARROP的预期选票审计数显著低于控制家族错误率的独立审计，仅略高于控制每比较错误率的独立审计。
• 在三选区示例中，尽管控制更严格的错误标准，该并行审计所需的预期选票和投票数仍少于控制家族错误率的独立审计。
• 结合PPEB抽样与MARROP可提高审计效率，通过聚焦于潜在高估风险较高的批次，降低整体工作量。
• 该方法在任一选区结果错误时，均保持已知的最低触发完整人工清点的概率，确保强大的风险控制。
• 该审计方法在大规模选区中具有可扩展性和实用性，通过在单一批次中同时审计所有选区，显著降低后勤成本。