論文の概要: Sublinear Risk-Limiting Audits from Direct Ballot Selection and Statistical Ballot Manifests

• arxiv url: http://arxiv.org/abs/2605.18670v1
• Date: Mon, 18 May 2026 17:12:11 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-19 17:57:50.124032
• Title: Sublinear Risk-Limiting Audits from Direct Ballot Selection and Statistical Ballot Manifests
• Title（参考訳）: 直接投票選択と統計的投票マニフェストからの準線形リスク制限監査
• Authors: Benjamin Fuller, Abigail Harrison, Alexander Russell,
• Abstract要約: リスクリミット監査(リスクリミット監査、RLA)は、不正な選挙結果が検出されない特定の最大確率を厳格に保証する、選挙後の監査手続きである。 典型的な選挙手続きはバッチサイズに対して自動的に大まかな見積もりを提供するが、わずかに不正確な場合でさえ従来のRLAを無効にする。 信頼できない集計によって報告されるバッチサイズが、事実、正確なマニフェストであり、直接投票選択と呼ばれる新しいRAAのクラスであることを保証する統計的メカニズムを提案する。
• 参考スコア（独自算出の注目度）: 47.94589114324381
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Risk-limiting audits (RLAs) are post-election auditing procedures that rigorously guarantee a specified maximum probability that an incorrect electoral outcome will not be detected. Aside from ready access to physical ballots, known RLAs require a software-independent accounting of the sizes of each ballot batch, called a ballot manifest. While typical electoral procedures automatically provide rough estimates for batch sizes, even slight inaccuracies (commensurate with the margin of the contest under audit) completely invalidate conventional RLAs (Lindeman et al., EVT 2012). Thus, establishing a sufficiently accurate manifest often requires handling every ballot and can be the dominant cost of conducting the RLA. We propose two new risk-limiting techniques: 1) A statistical mechanism for ensuring that the batch sizes reported by an untrusted tabulation are, in fact, an accurate manifest; this effectively bootstraps from a rough manifest to an accurate one with sublinear effort. 2) We propose a new class of RLAs called direct ballot selection. This method reverses the traditional comparison procedure and compares uniformly selected ballots against their cast vote records, requiring a new statistical test for identifier duplication but efficiently supporting elections without in order identifiers. These techniques reduce the complexity of RLAs across many elections. Our two main findings are as follows: 1) The time to create a manifest can be drastically reduced with a modest increase in the number of ballots sampled in the audit. At a 3% margin and a large population, there is a reduction in the overall audit time of at least an order of magnitude across methods. 2) Direct ballot selection improves over state-of-the-art polling for small margins. For Connecticut (29th in population) at a 1% margin, it beats Minerva (Security 2022) by 55% in ballot sample complexity.
• Abstract（参考訳）: リスクリミット監査(リスクリミット監査、RLA)は、不正な選挙結果が検出されない特定の最大確率を厳格に保証する、選挙後の監査手続きである。 物理的な投票への準備が整ったこと以外は、RLAは、投票マニフェストと呼ばれる、各投票バッチのサイズをソフトウェアに依存しない会計処理を必要とする。 典型的な選挙手続きは、バッチサイズについて、自動的に大まかな見積もりを提供するが、少し不正確な(監査中のコンテストのマージンと同等)でさえ、従来のRSAを完全に無効にする(Lindeman et al , EVT 2012)。 したがって、十分な正確なマニフェストを確立するには、しばしば全ての投票を扱う必要がある。 リスクリミット手法を2つ提案する。 1)信頼できない集計によって報告されるバッチサイズが、実際、正確なマニフェストであることを保証する統計的メカニズム。 2) 直接投票選択(direct ballot selection)と呼ばれる新しいRLAのクラスを提案する。 本手法は従来の比較手法を逆転させ,一意に選択した投票を鋳型投票記録と比較する。 これらの手法は、多くの選挙でRLAの複雑さを減少させる。 主な発見は以下の2つである。 1) マニフェスト作成の時間は, 監査で採取した投票数の増加に伴い, 大幅に削減できる。 3%のマージンと人口が大きければ、監査時間全体の少なくとも1桁は、メソッド全体で減少する。 2) 投票の直接選択は, 最先端のポーリングよりも小さなマージンで改善される。 コネチカット州(人口で29位)が1%の差で、ミネルバ州(Security 2022)を55%上回っている。

関連論文リスト

• 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)
• New Algorithms and Applications for Risk-Limiting Audits [4.375873233252245]
  リスク制限監査(RLA)は、選挙の正確性に対する信頼性を高める重要なツールである。 この研究は、古典的な(バレエレベルの)RLAをバッチで動作するものに変換するための、Batchcompと呼ばれる新しいジェネリックメソッドを提案する。 本稿では,既存のRLA手法であるALPHAを国勢調査に適用する手法に適用する。
  論文  参考訳（メタデータ） (2023-05-06T13:34:39Z)
• 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)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。