[論文レビュー] Risk-Limiting Bayesian Polling Audits for Two Candidate Elections

Poorvi L. Vora|arXiv (Cornell University)|Feb 4, 2019

Game Theory and Voting Systems参考文献 6被引用数 5

ひとこと要約

本稿は、二択選挙におけるリスク制限付きベイジアン投票監査の統一枠組みを導入し、ベイジアン監査が事前に計算されたしきい値を用いて単純な比較テストに還元可能であることを示している。主な貢献は、厳密なリスク制限を維持しながら、照合表を用いた効率的かつリアルタイムの計算を可能にする、新しいクラスのベイジアンリスク制限付き監査（RLAs）を提案することである。特定の設定では、従来のRLAsに比べて標本効率が優れている。

ABSTRACT

We propose a simple common framework for Risk-Limiting and Bayesian (polling) audits for two-candidate plurality elections. Using it, we derive an expression for the general Bayesian audit; in particular, we do not restrict the prior to a beta distribution. We observe that the decision rule for the Bayesian audit is a simple comparison test, which enables the use of pre-computation---without simulations---and greatly increases the computational efficiency of the audit. Our main contribution is a general form for an audit that is both Bayesian and risk-limiting: the {\em Bayesian Risk-Limiting Audit}, which enables the use of a Bayesian approach to explore more efficient Risk-Limiting Audits.

研究の動機と目的

• 二択多数決選挙におけるリスク制限付き監査（RLAs）とベイジアン投票監査を、共通の枠組みで統合すること。
• ベイジアン監査が、シミュレーションを用いずにリアルタイムで実行可能な、事前に計算された値を用いた単純な比較テストに還元可能であることを示すこと。
• ベイジアンリスク制限付き監査（RLAs）を定義し、その妥当性を証明すること。ここで、逆転確率は最大リスクに等しく、形式的なリスク制限を保証する。
• 従来のRLAsに比べて、より小さな標本サイズを達成しつつも、厳密なリスク境界を維持できるかどうかを検討すること。
• 特にリアルタイム利用を想定した、シミュレーションに依存するベイジアン監査の代替として、計算効率の高い手法を提供すること。

提案手法

• ベータ分布に制限されない一般化されたベイジアン監査枠組みを提案し、選挙結果に関する事前信念の柔軟なモデリングを可能にする。
• サンプルにおける当選者の得票数を、事前に計算された二つのしきい値 $k^{+}$（受容の最小値）および $k^{-}$（継続して手作業カウントを続ける最大値）と比較する意思決定ルールを導出する。
• 従来のRLAsが、正しい結果に対して一様分布を事前分布とし、誤った結果に対しては1票の差の一点質量を割り当てる特定の事前分布を持つベイジアン監査の特殊ケースであることを示す。
• 誤った結果として考慮されるのは1票の差のみであるという、新しいクラスのベイジアンRLAsを導入し、このクラスがリスク制限性を満たすことを証明する。
• さまざまな標本サイズにおける $k^{+}$ および $k^{-}$ 値の照合表を用いることで、シミュレーションや実行時計算を一切行わず、リアルタイムでの監査意思決定を可能にする。
• $N=100,000$ および $N=100$ の数値実験を用いて、異なる事前分布とリスク制限下での標準的ベイジアン監査および従来のRLAsと比較して、手法の有効性を検証する。

実験結果

リサーチクエスチョン

• RQ1 ベイジアン監査は、事前に計算されたしきい値とサンプル得票数の単純な比較テストに還元可能であり、シミュレーションを伴わずリアルタイム実行が可能か？
• RQ2 ベイジアン監査における逆転確率と、従来のRLAsにおける最大リスクとの関係は何か？
• RQ3 シミュレーションに依存せず、リスク制限性と計算効率の両方を満たすように設計されたベイジアン監査は可能か？
• RQ4 リスク制限性を満たし、かつ従来のRLAsに比べてより小さな標本サイズを達成できるベイジアン監査のクラスは存在するか？
• RQ5 同等のリスク制限と事前分布下で、ベイジアンRLAsは従来のRLAsに比べてどの程度の標本サイズ要件を満たすか？

主な発見

• ベイジアン監査は、事前に計算されたしきい値 $k^{+}$ および $k^{-}$ を用いた単純な比較テストに還元可能であり、シミュレーションを伴わないリアルタイムでの監査が可能である。
• 従来のRLAsが、正しい結果に対して一様分布を、誤った結果に対して1票の差の一点質量を割り当てる特定の事前分布を持つベイジアン監査の特殊ケースであることが示された。
• 逆転確率が最大リスクに等しくなるように、リスク制限性を満たす新しいクラスのベイジアンリスク制限付き監査が形式的に定義され、その妥当性が証明された。
• N=100,000 の場合、特に大きな標本サイズにおいて、従来のRLAs（無作為抽出なし）に比べて、当選者の得票数が少なくてもよいことが示され、効率性の向上が裏付けられた。
• 数値的結果から、照合表によるリスク制限推定値が、シミュレーションベースの推定値と非常に近いことが確認され、事前に計算されたしきい値の正確性が検証された。
• 正しい結果に対して一様分布を、誤った結果に対して同点（タイ）の一点質量を割り当てるベイジアンRLAは、従来のRLAs（無作為抽出なし）に比べて、当選者の得票数が少なくてもよく、標本サイズの削減が期待できる。