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

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

Internet Traffic Analysis and Secure E-voting参考文献 12被引用 4

一句话总结

本文提出使用投票抽样与对比方法对即时排序复选制（IRV）选举实施风险限制审计，通过统计验证结果以最小化人工计票，确保选举结果的高置信度。在几乎所有实际的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选举事后审计方法，确保错误结果能够被纠正。
• 将先前用于得票最多者胜出制系统的风险限制审计技术，拓展至更复杂的IRV计票流程。
• 通过最小化需人工审查的选票数量，确保审计效率，假设初始计票无错误。
• 制定可使用数字化选票图像与纸质选票对比实现的实用审计程序。
• 证明大多数实际IRV选举可通过仅审查少量选票样本，以高置信度完成审计。

提出的方法

• 通过随机抽样选票并评估其在所有偏好计票轮次中是否支持报告的胜者，提出针对IRV的投票抽样风险限制审计。
• 引入对比审计，将随机选取的数字化选票图像与原始纸质副本进行交叉核对，以检测差异。
• 利用抽样选票的统计证据，确认报告结果或在发现差异表明结果错误时触发全面人工复核。
• 通过设定最大可接受风险水平，将风险限制原则应用于IRV，确保审计不会遗漏错误结果。
• 运用统计推断评估各淘汰轮次中观察到的选票偏好是否与报告胜者一致。
• 基于初始计票与选票分发过程中无错误的假设，以确保审计效率。

实验结果

研究问题

• RQ1 风险限制审计能否有效适配即时排序复选制（IRV）选举，该类选举涉及顺序淘汰与偏好计票？
• RQ2 何种审计方法——投票抽样或对比——可在最小化人工审查的同时，确保对IRV结果的高置信度？
• RQ3 在初始计票无错误的前提下，实际IRV选举的审计样本量可小至何种程度？
• RQ4 何种统计标准可仅通过部分选票可靠检测IRV结果中的错误？
• RQ5 在何种条件下，IRV的风险限制审计可无需全面复核即完成？

主要发现

• 在所研究的几乎所有实际IRV选举中，若初始计票无错误，仅需审查总选票的极小比例，即可完成风险限制审计。
• IRV的投票抽样与对比审计具有可行性，可使用适配偏好计票的标准化风险限制审计框架实施。
• 该审计过程提供了强有力的统计证据，证明报告胜者正确，且用户可自定义最大风险水平，即未能检测到错误结果的可能性。
• 该方法确保审计高效且可扩展，在绝大多数结果正确的情况下避免全面复核。
• 数字化与纸质选票之间的差异被视为对报告结果的反证，并用于触发进一步审查。
• 无论错误结果的成因如何，该方法均能保持审计的完整性，确保在各种IRV选举场景下具备鲁棒性。