[論文レビュー] Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections

Michelle Blom, Jurlind Budurushi+5 more|arXiv (Cornell University)|Jul 25, 2021

Electoral Systems and Political Participation参考文献 6被引用数 9

ひとこと要約

本稿では、D'Hondt法やハミルトニアン・フリー・リスト法を含む、複雑な政党比例選挙（例えば、D’Hondtやハミルトニアン・フリー・リスト方式）におけるリスク制限付き監査（RLA）を可能にする、SHANGRLAに適合する標準形のアサーションに投票集計に関する線形的主張を体系的に変換する手法を提示する。主な貢献は、票の変換を含む線形不等式を、SHANGRLAと互換性のあるアサーションに変換する一般化されたフレームワークを提供することであり、全数確認を伴わずに、効率的かつ統計的に厳密な監査を実現する。

ABSTRACT

Risk-limiting audits (RLAs), an ingredient in evidence-based elections, are increasingly common. They are a rigorous statistical means of ensuring that electoral results are correct, usually without having to perform an expensive full recount -- at the cost of some controlled probability of error. A recently developed approach for conducting RLAs, SHANGRLA, provides a flexible framework that can encompass a wide variety of social choice functions and audit strategies. Its flexibility comes from reducing sufficient conditions for outcomes to be correct to canonical `assertions' that have a simple mathematical form. Assertions have been developed for auditing various social choice functions including plurality, multi-winner plurality, super-majority, Hamiltonian methods, and instant runoff voting. However, there is no systematic approach to building assertions. Here, we show that assertions with linear dependence on transformations of the votes can easily be transformed to canonical form for SHANGRLA. We illustrate the approach by constructing assertions for party-list elections such as Hamiltonian free list elections and elections using the D'Hondt method, expanding the set of social choice functions to which SHANGRLA applies directly.

研究の動機と目的

• D’Hondt法やハミルトニアン・フリー・リスト方式のような、複雑な社会選択関数を有する比例代表選挙における、リスク制限付き監査（RLA）のアサーション生成に体系的な手法が不足しているという問題に対処すること。
• D’Hondt法やハミルトニアン・フリー・リスト選挙のような比例代表制度について、効率的かつ統計的に妥当な監査を可能にすること。これらはしばしば監査が複雑または高コストであると見なされるため。
• 票の合計を含む線形不等式から、SHANGRLAフレームワークと互換性のある標準形のアサーターへの一般化された変換を構築すること。
• 比例代表制度のためのアサーションが、正しさの観点で必要かつ十分であることが保証されることを示し、監査の信頼性を確保すること。
• Hesse州（ドイツ）など実際の自治体で使用されている複雑な実世界の選挙制度をカバーするように、SHANGRLAの適用範囲を拡張すること。

提案手法

• 正しく報告された選挙結果を保証する十分条件を、票の合計と議席配分を含む線形不等式の集合として定式化する。
• 不等式を、値が有界なアサーターに写像する一般化された数学的手順を用いて、これらの線形アサーションを標準形に変換する。
• 各政党の票の合計を議席インデックスで除算するなど、票の貢献に基づくプロトアサーターを定義し、帰無仮説下で平均が 1/2 になるように正規化を施す。
• 境界値を調整し、SHANGRLAの正規化式 h(b) = (g(b) - a) / (b - a) を適用することで、最終的なアサーターを導出する。ここで a と b はそれぞれ下限と上限を表す。
• 各アサーターに対して並列に統計的検定を実施し、平均が 1/2 を超えるかどうかを判定する。証拠が十分に強い場合には帰無仮説を棄却する。
• すべてのアサーションが真であれば、報告された結果が正しいことが保証され、逐次検定により最小限の手作業による票の検査で監査を早期に終了できるようにする。

実験結果

リサーチクエスチョン

• RQ1 比例代表選挙における票集計に関する線形的主張を、SHANGRLA用の標準形のアサーターに体系的に変換する方法は何か？
• RQ2 D'Hondt法やハミルトニアン・フリー・リスト選挙に対して、主張ベースの手法を用いてリスク制限付き監査を効果的に適用できるか？
• RQ3 複雑な比例代表制度の監査において、アサーションの集合が十分かつ効率的であることを保証する条件は何か？
• RQ4 複数候補者および複数票のボールットが、比例代表選挙における有効かつ効率的なアサーターの構築に与える影響は何か？
• RQ5 SHANGRLAフレームワークは、スコアリングや単調性のない、あるいは複雑な議席配分ルールを有するシステムの監査に、どの程度まで拡張可能か？

主な発見

• 本稿では、ハミルトニアン・フリー・リスト選挙に対する、最初の主張ベースのリスク制限付き監査手法を導出しており、比例代表の結果の統計的検証を可能にしている。
• D’Hondt方式の最高平均法に適用可能な、票対議席比に関する線形不等式に基づく、SHANGRLA互換アサーターを体系的に構築する最初のアプローチを提供している。
• すべてのアサーションが真であれば、報告された選挙結果が正しいことが保証され、最小限の手作業による票の検査で、高い信頼性で監査を早期に終了できる。
• 複数候補者選挙では、アサーター構築の枠組みを、1票あたり複数の選挙に投票する状況に一般化しており、プロトアサーターは gA,B(b) = bA/d(WA) - bB/d(LB) で表される。ここで bA と bB はそれぞれ政党 A および B の総票数を表す。
• 正規化されたアサーター hA,B(b) は hA,B(b) = (bA*d(LB)/d(WA) - bB + m)/(2m) として導出され、m=1 のときには単一票の場合の式に簡略化される。
• 検証された比例代表制度において、本手法が正しさの観点で必要かつ十分であることが示されており、マージンが小さい場合でも効率的な監査を可能にしている。