論文の概要: 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は、議会の議席が特定の機能(最高平均)に応じてその人口に比例して地理的地域に割り当てられる国に適用される。
これは国勢調査と、現在多くの国で実施されている追加の手続きの両方のデータに依存しており、後列挙調査と呼ばれる。
関連論文リスト
- Less is More: Fewer Interpretable Region via Submodular Subset Selection [58.01691615408149]
本稿では,上述の画像帰属問題を部分モジュラ部分選択問題として再モデル化する。
我々は、より正確な小さな解釈領域を発見するために、新しい部分モジュラー関数を構築する。
正しく予測されたサンプルに対しては,HSIC-Attributionに対する平均4.9%と2.5%の利得で,Deletion and Insertionスコアを改善した。
論文 参考訳(メタデータ) (2024-02-14T13:30:02Z) - 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) - FastCorrect 2: Fast Error Correction on Multiple Candidates for
Automatic Speech Recognition [92.12910821300034]
本稿では,複数のASR候補を入力として取り込んだ誤り訂正モデルFastCorrect 2を提案する。
FastCorrect 2は、カスケードされた再描画と修正パイプラインよりも優れたパフォーマンスを実現している。
論文 参考訳(メタデータ) (2021-09-29T13:48:03Z) - Assertion-Based Approaches to Auditing Complex Elections, with
Application to Party-List Proportional Elections [21.883045335485317]
投票の変換に線形依存したアサーションは、SHANGRLAの標準形式に容易に変換できることを示す。
D'Hondt 法を用いて党員選挙のアサーションを構築する手法について述べる。
論文 参考訳(メタデータ) (2021-07-25T22:52:49Z) - Bribery as a Measure of Candidate Success: Complexity Results for
Approval-Based Multiwinner Rules [58.8640284079665]
有権者が承認投票(すなわち、承認した候補者の集合)を投じた場合のマルチウィナー選挙における贈収賄の問題を研究する。
我々は、いくつかの承認ベースのマルチウィナールール(AV、SAV、GAV、RAV、承認ベースのチェンバリン--Courant、およびPAV)を検討します。
一般に、我々の問題は、勝利した委員会の候補者の承認数を増やすための贈収賄行為を制限した場合、より容易になる傾向がある。
論文 参考訳(メタデータ) (2021-04-19T08:26:40Z) - Predictive Bandits [68.8204255655161]
我々は,予測的盗賊と呼ばれる,新たな盗賊問題を紹介し,研究する。
各ラウンドで、意思決定者はまず、特定の武器の報酬に関する情報を集めるかどうかを決定する。
意思決定者は、ラウンドで実際にプレイされる腕を選択する。
論文 参考訳(メタデータ) (2020-04-02T17:12:33Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。