[論文レビュー] 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）を設計すること。
• 誤った結果を検出する確率が非常に高い統計的に妥当な選挙後監査手法を提供すること。
• 複数名の候補者や複数の選挙戦を含む状況においても、リスク制限の性質を維持したまま監査手法を拡張すること。
• 報告された票差が信頼できない状況においても、Bravoなどの既存のRLAの実用的代替案を提供すること。

提案手法

• ClipAuditは、紙の投票用紙を非復元で無作為に抽出するボールット・ポーリング監査を実施する。
• 監査は、|a - b| ≥ β√(a + b) という条件を満たした場合に停止する。ここでaとbは、それぞれ報告された勝者と対戦相手の得票数である。
• 定数βは、全投票数nと所望のリスク限界αに基づき事前に計算される。
• 複数名の候補者がいる場合、ClipAuditは同じサンプル列を用いて、報告された勝者と各報告された敗者を同時に監査する。
• 複数の選挙戦がある場合、全関連選挙戦にわたって投票用紙が均等に抽出され、各選挙戦は同じリスク限界αを用いて並列に監査される。
• 全個別のサブ監査（勝者対敗者）がそれぞれの結果を受理した場合に限り、全体の監査は報告結果を受容する。

実験結果

リサーチクエスチョン

• RQ1 リスク制限型監査を、シンプルかつ非公式な票差に依存しない形で設計するにはどうすればよいか？
• RQ2 リスク限界αを満たしつつ期待されるサンプルサイズを最小限に抑える最適な統計的閾値βは何か？
• RQ3 複数の勝者、複数の敗者、または複数の選挙戦を扱う場合に、ClipAuditをリスク制限の保証を損なわずに拡張するにはどうすればよいか？
• RQ4 報告された票差が不正確な場合の耐性を含め、期待されるサンプルサイズと性能のトレードオフの観点から、ClipAuditと既存のRLA（例：Bravo）の比較は？
• RQ5 複雑な統計モデルやCVRデータに依存せずに、統計的に厳密かつ実用的に展開可能なボールット・ポーリング監査を実現できるか？

主な発見

• 報告された結果が誤っている場合、ClipAuditはその誤りを確率1 - α以上で検出するため、真のリスク制限型監査である。
• n = 50,000の選挙でα = 0.05の場合、ClipAuditの推定平均サンプルサイズは143であり、Bravoの119に比べ約20%のサンプルサイズのペナルティがあるが、性能に影響を与える。
• Bravoとは異なり、ClipAuditの期待されるサンプルサイズは報告された票の割合に影響されないため、疑わしいまたは不正確な報告票差によって完全な再集計が発動するのを回避できる。
• 同じリスク限界αを各サブ監査に適用する限り、複数名の候補者や複数の選挙戦を監査しても、ClipAuditはリスク制限の性質を維持する。
• この手法は頑健で説明が簡単であるため、透明性とシンプルさを求める自治体にとって適している。
• 閉形式の式がなくても、β(n, α)の値は実用的用途に十分に推定可能であり、実世界への展開を可能にする。