[論文レビュー] Auditing a collection of races simultaneously

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

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

ひとこと要約

この論文は、複数の選挙を同時に監査するためのリスク制限監査手法を提案している。その手法は、全選挙のペアワイズマージンにおける相対的過大評価の最大値（MARROP）を用い、複数の選挙における乖離を1つの要約統計量に統合する。バッチを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).

研究の動機と目的

• 多数の選挙を個別に監査する非効率性に対処するため、統合監査手法を開発すること。
• 複数の選挙を1回の監査で、どの不正な選挙結果も是正されない確率（家族誤差率）を制御すること。
• 同じリスク水準を維持しながら、独立した監査と比較して、監査対象のバッチ数、投票数、および投票数の期待値を低減すること。
• 多数の選挙を含む大規模な自治体において、費用対効果が高く、スケーラブルな選挙後監査を可能にすること。

提案手法

• 論文は、サンプリングされた投票バッチに含まれる全選挙のペアワイズマージンにおける相対的過大評価の最大値を計算する要約統計量であるMARROPを導入する。
• 期待誤差に比例する確率（PPEB）サンプリングを用い、各バッチはそのMARROP値の上限に比例する確率で選択される。
• 監査は、観察されたMARROP値に基づいて停止ルールを決定するためのKaplan-Markov境界を適用し、どの結果が不正であっても、完全な手作業確認が発動する最小確率が保証される。
• 監査は逐次的に行われ、観察されたMARROP値が十分に低くなるまで継続され、その結果、高い信頼性で結果が正しいと結論づけられる。
• 誤差をマージンで正規化することで、複数の選挙における乖離を比較可能にし、単一選挙向けの既存のリスク制限監査技術を複数選挙に拡張する。
• このアプローチにより、家族誤差率がα以下に抑えられ、複数の選挙を同時に監査しても保証される。

実験結果

リサーチクエスチョン

• RQ1 1回の監査で、家族誤差率を制御しつつ、複数の選挙の結果を効率的に検証できるか？
• RQ2 家族誤差率を同じ水準に制御する独立監査と比較して、同時監査の期待される監査作業量はどの程度異なるか？
• RQ3 複数の選挙に対して統計的保証を維持しつつ、監査作業量を最小化するサンプリング方式は何か？
• RQ4 MARROPを用いることで、選挙間の誤差を統合する方法は、統計的妥当性と効率性を保つことができるか？
• RQ5 MARROPとPPEBサンプリングを組み合わせることで、独立監査と比較して、期待されるバッチ数および投票数を削減できるか？

主な発見

• MARROPに基づく同時監査は、同じ家族誤差率を制御する独立監査と比較して、監査対象バッチの期待数を最大50％まで削減する。
• MARROPを用いた監査では、家族誤差率を制御する独立監査と比較して、監査対象の投票数の期待値が著しく低く抑えられ、一方で、個別比較誤差率を制御する独立監査と比較してはわずかに高いにとどまる。
• 3つの選挙を含む例では、家族誤差率を制御する独立監査よりも、同時監査がより少ない期待される投票数と投票数を要した。これは、より厳格な誤差基準を制御しているにもかかわらず成り立つ。
• PPEBサンプリングとMARROPの組み合わせにより、過大評価の可能性が高いバッチに注目することで、監査作業全体の負荷が軽減され、より効率的な監査が実現される。
• どの選挙結果が不正であっても、完全な手作業確認が発動する最小確率が保証されるため、強力なリスク管理が実現される。
• 1つの投票バッチで複数の選挙を同時に監査できるため、大規模な自治体においても、物流コストを削減できる点でスケーラブルで実用的である。