[論文レビュー] RAIRE: Risk-Limiting Audits for IRV Elections

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

Simulation Techniques and Applications参考文献 12被引用数 9

ひとこと要約

本論文は、インスタント・ランオフ・バイイング（IRV）選挙におけるリスク制限付き監査（RLA）のための最初の実用的フレームワーク、RAIREを紹介する。RAIREは、最初のフィル・ザ・ポスト制度向けに開発されたボールット・ポーリングおよびボールット・レベル比較監査技術を、IRVの順序付けられた選挙構造に適応させ、期待される監査作業量を最小化するための新規アルゴリズムを用いる。RAIREは、一部のケースではわずか10％のボールットのみを検査することで、正しい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）選挙における最初の実用的リスク制限付き監査（RLA）フレームワークの開発。
• 最初のフィル・ザ・ポスト制度向けに設計された既存のボールット・ポーリングおよびボールット・レベル比較RLA手法を、IRVの優先順位付けによる集計構造に適応すること。
• 与えられたリスク限度において、報告されたIRVの勝者があらゆる段階で正しいことを保証するために必要なボールット検査の期待値を最小化するアルゴリズムの設計。
• 実世界のIRV選挙データを用いて、RAIREの効率性を代替監査戦略と比較し、接近した選挙においても完全な再集計を回避できる能力を実証すること。

提案手法

• RAIREは、各IRVの除外ラウンドについて、その正しさに関する仮説を統計的検定として定式化し、各ラウンドを複数名の勝者を決める多数決選挙とみなす。
• 報告されたIRVの勝者が正しいと保証するための最小限の仮説集合を選択するために、独自の最適化アルゴリズムを用いる。
• ボールット・ポーリング監査では、BRAVO法を変更し、報告された敗者の方がどの段階でも報告された勝者より得票数が多いという仮説を検証する。
• ボールット・レベル比較監査では、MACRO法を拡張し、スキャンされた電子ボールットとその紙のコピーを比較し、結果を変更する可能性がある不一致を検出する。
• 各監査設定におけるボールット検査の期待数（ASN）を計算し、報告された結果が正しいと仮定した場合に、ASNが最小となる設定を選択する。
• RAIREは実際のIRV選挙データを用いて評価され、リスク限度1％および5％の監査が設計され、誤りなしおよび誤りを意図的に導入した状況でもテストされた。

実験結果

リサーチクエスチョン

• RQ1 インスタント・ランオフ・バイイング（IRV）選挙—逐次除外と優先順位による集計を伴うもの—に対して、リスク制限付き監査を効果的に適応可能か？
• RQ2 与えられたリスク限度において、IRV選挙の結果が正しいことを確認するために必要なボールット検査の最小期待値は何か？
• RQ3 ボールットのサンプリング要件という観点から、RAIREの効率性はEO、SE、WOなどの代替監査戦略と比べてどの程度優れているか？
• RQ4 電子ボールットと紙のボールットの間に不一致が生じた場合、監査の効率性にどのような影響が及ぶか。また、RAIREはこのような状況下でも効率的な監査を生成できるか？
• RQ5 RAIREは、わずかな数のボールットをサンプリングするだけで、接近したIRV選挙においても完全な再集計を回避できるか？

主な発見

• RAIREは、代替手法よりも著しく少ないボールット検査数で監査を実施する。2009年アスペン市議会選挙では、比較監査において平均で2,112枚（83％）から254枚（10％）にまで削減された。
• テストされた26の実際のIRV選挙のうち22件では、RAIREのボールット・ポーリング監査が、最良の代替手法（EO、SE、WO）と同等のサンプル数で実施され、4件（オークランド2012年およびピアース2008年を含む）では平均で17％未満のボールットをサンプリングするだけで完全な再集計を回避した。
• 2014年オークランド市長選挙では、最適な監査設定を計算するのに最大139秒を要したが、依然として極めて効率的な監査計画を生成した。
• 電子ボールットと紙のボールットの間に不一致を意図的に導入しても、RAIREが生成する比較監査はボールット・ポーリング監査よりも効率的であり、依然としてわずかな数のボールットをサンプリングした。
• 最も複雑なケースを除き、RAIREはすべての選挙で1分未満で効率的な監査設定を計算し、計算時間は選挙および監査タイプに応じて0.002秒から139秒の範囲であった。
• 本研究は、RAIREがIRV選挙におけるリスク制限付き監査を実行するための最初の実用的手段であることを確認した。結果の信頼性を高い水準で保証しつつ、最小限の人的作業で実現可能である。