論文の概要: New Algorithms and Applications for Risk-Limiting Audits
- arxiv url: http://arxiv.org/abs/2305.04050v1
- Date: Sat, 6 May 2023 13:34:39 GMT
- ステータス: 処理完了
- システム内更新日: 2023-05-09 17:58:13.819076
- Title: New Algorithms and Applications for Risk-Limiting Audits
- Title(参考訳): リスクリミット監査の新しいアルゴリズムと応用
- Authors: Bar Karov and Moni Naor
- Abstract要約: リスク制限監査(RLA)は、選挙の正確性に対する信頼性を高める重要なツールである。
この研究は、古典的な(バレエレベルの)RLAをバッチで動作するものに変換するための、Batchcompと呼ばれる新しいジェネリックメソッドを提案する。
本稿では,既存のRLA手法であるALPHAを国勢調査に適用する手法に適用する。
- 参考スコア(独自算出の注目度): 4.375873233252245
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Risk-limiting audits (RLAs) are a significant tool in increasing confidence
in the accuracy of elections. They consist of randomized algorithms which check
that an election's vote tally, as reported by a vote tabulation system,
corresponds to the correct candidates winning. If an initial vote count leads
to the wrong election winner, an RLA guarantees to identify the error with high
probability over its own randomness. These audits operate by sequentially
sampling and examining ballots until they can either confirm the reported
winner or identify the true winner.
The first part of this work suggests a new generic method, called
``Batchcomp", for converting classical (ballot-level) RLAs into ones that
operate on batches. As a concrete application of the suggested method, we
develop the first ballot-level RLA for the Israeli Knesset elections, and
convert it to one which operates on batches. We ran the suggested ``Batchcomp"
procedure on the results of 22nd, 23rd and 24th Knesset elections, both with
and without errors.
The second part of this work suggests a new use-case for RLAs: verifying that
a population census leads to the correct allocation of political power to a
nation's districts or federal-states. We present an adaptation of ALPHA, an
existing RLA method, to a method which applies to censuses. Our census-RLA is
applicable in nations where parliament seats are allocated to geographical
regions in proportion to their population according to a certain class of
functions (highest averages). It relies on data from both the census and from
an additional procedure which is already conducted in many countries today,
called a post-enumeration survey.
- Abstract(参考訳): リスク制限監査(RLA)は、選挙の正確性に対する信頼性を高める重要なツールである。
ランダム化されたアルゴリズムは、投票の集計システムによって報告されているように、選挙の投票が正しい候補者の当選に対応することをチェックする。
最初の投票数が間違った選挙の勝者につながる場合、RLAは自分のランダム性よりも高い確率でエラーを特定することを保証します。
これらの監査は、報告された勝者を確認するか、真の勝者を特定するまで、一連の投票のサンプリングと検査によって行われる。
本研究の第1部では,古典的(バロックレベル)rlasをバッチ操作のものに変換するための,‘batchcomp’と呼ばれる新しい汎用的手法が提案されている。提案手法の具体的適用として,イスラエル・クネセット選挙において,最初の投票レベルのrlaを開発し,バッチで動作するものに転換する。我々は,第22回,第23回,第24回クネセット選挙の結果に対して,‘batchcomp’手続きを実施した。
この研究の第2部は、RLAの新しいユースケースを示唆している: 人口統計が国家の地区や連邦政府への政治的権限の適切な配分につながることを検証する。
本稿では,既存のRLA手法であるALPHAを国勢調査に適用する手法に適用する。
我々の国勢調査RLAは、議会の議席が特定の機能(最高平均)に応じてその人口に比例して地理的地域に割り当てられる国に適用される。
これは国勢調査と、現在多くの国で実施されている追加の手続きの両方のデータに依存しており、後列挙調査と呼ばれる。
関連論文リスト
- Improving the Computational Efficiency of Adaptive Audits of IRV Elections [54.427049258408424]
AWAIREは、任意の数の候補でIRVコンテストを監査できるが、当初の実装では、候補数とともに指数関数的に増加するメモリと計算コストが増大していた。
本稿では,従来の6候補と比較して,55候補のIRVコンテストを実際に実施する3つの方法で,AWAIREのアルゴリズム実装を改善した。
論文 参考訳(メタデータ) (2024-07-23T13:28:00Z) - Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections [57.67176250198289]
AWAIREは、適応的に重み付けされたテスト統計量であり、本質的には、テストに有効な仮説のセットを「学習」する。
我々は、より広範囲にスキームと設定を検討し、実践のための効率的な選択を特定し、推奨する。
現在のAWAIRE実装の制限は、少数の候補者に限られている。
論文 参考訳(メタデータ) (2024-02-18T10:13:01Z) - Less is More: Fewer Interpretable Region via Submodular Subset Selection [54.07758302264416]
本稿では,上述の画像帰属問題を部分モジュラ部分選択問題として再モデル化する。
我々は、より正確な小さな解釈領域を発見するために、新しい部分モジュラー関数を構築する。
正しく予測されたサンプルに対しては,HSIC-Attributionに対する平均4.9%と2.5%の利得で,Deletion and Insertionスコアを改善した。
論文 参考訳(メタデータ) (2024-02-14T13:30:02Z) - The Decisive Power of Indecision: Low-Variance Risk-Limiting Audits and Election Contestation via Marginal Mark Recording [51.82772358241505]
リスクリミット監査(リスクリミット監査、RLA)は、大規模な選挙の結果を検証する技術である。
我々は、効率を改善し、統計力の進歩を提供する監査の新たなファミリーを定めている。
新しい監査は、複数の可能なマーク解釈を宣言できるように、キャストボイトレコードの標準概念を再考することで実現される。
論文 参考訳(メタデータ) (2024-02-09T16:23:54Z) - Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE [61.872917066847855]
即時投票(IRV)選挙の監査方法は、リスク制限や、各投票における投票の電子的記録であるキャスト投票記録(CVR)を必要とするものではない。
我々は,CVRが利用できない場合に,適応的に重み付けされたテストスーパーマーチンガルを用いてITV選挙を効率よく監査するRLA手法を開発した。
論文 参考訳(メタデータ) (2023-07-20T15:55:34Z) - Ballot-Polling Audits of Instant-Runoff Voting Elections with a
Dirichlet-Tree Model [23.14629947453497]
即時投票(Instant-runoff voting、IRV)は、世界中のいくつかの国で使用されている。
投票者は選好順に候補者をランク付けすることが必要であり、最初のペーストポストやスコアリングルールのようなシステムよりも複雑なカウントアルゴリズムを使用する。
さらに複雑なシステムであるSTV(Single Transferable vote)は、複数の候補者を選出する必要があるときに使用される。
現在、STVのリスク制限監査(RLA)法は、完全な手動による投票数以外には知られていない。
論文 参考訳(メタデータ) (2022-09-08T15:35:50Z) - Auditing Ranked Voting Elections with Dirichlet-Tree Models: First Steps [23.14629947453497]
ランク付けされた投票システムは世界中の多くの場所で使用されている。
フルハンドカウント以外に、STVのリスク制限監査(RLA)手法は知られていない。
本稿では,高次元パラメータを計算的に効率的に扱える統計モデルDirichlet-treeを用いたランキングシステムの監査手法を提案する。
論文 参考訳(メタデータ) (2022-06-29T13:06:42Z) - Expected Frequency Matrices of Elections: Computation, Geometry, and
Preference Learning [58.23459346724491]
我々は、Szufa et al.(AAMAS 2020)の「選挙マップ」アプローチを用いて、よく知られた投票分布を分析します。
分布の「スケルトン写像」を描き、その頑健さを評価し、その性質を分析する。
論文 参考訳(メタデータ) (2022-05-16T17:40:22Z) - A First Approach to Risk-Limiting Audits for Single Transferable Vote
Elections [27.102139020324678]
リスク制限監査(RLA)は、報告された選挙結果が実際正しいことを確認するための、ますます重要な方法である。
本稿では,STV選挙におけるリスク限度監査に対する最初のアプローチを提案する。
論文 参考訳(メタデータ) (2021-12-18T12:36:39Z) - Assertion-Based Approaches to Auditing Complex Elections, with
Application to Party-List Proportional Elections [21.883045335485317]
投票の変換に線形依存したアサーションは、SHANGRLAの標準形式に容易に変換できることを示す。
D'Hondt 法を用いて党員選挙のアサーションを構築する手法について述べる。
論文 参考訳(メタデータ) (2021-07-25T22:52:49Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。