[論文レビュー] 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選挙の状況に耐えうる。