論文の概要: Counting by the Book: Verifying Alaska's Ranked-Choice Elections

• arxiv url: http://arxiv.org/abs/2610.36494v1
• Date: Tue, 27 Oct 2026 01:52:21 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-28 21:04:31.461767
• Title: Counting by the Book: Verifying Alaska's Ranked-Choice Elections
• Title（参考訳）: アラスカの「ランク付きチョイス選挙」の検証
• Abstract要約: アラスカの選挙は、形式的に検証された民主主義のケーススタディとして提示する。 我々は,アラスカ州におけるタブレーション規則の解釈を形式化し,その実施を検証し,選挙固有の結果を証明した。 この解釈と異なる数の10のコンテストで75の投票記録を、受賞者を変更することなく、公開結果を再現するプログラムによって特定する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We present Alaska's ranked-choice elections as a case study in Formally Verified Democracy, a program to establish election results through formally checked proofs. We formalize an interpretation of Alaska's tabulation rules in Lean, verify its implementation, and prove election-specific results. Across 115 ranked-choice contests in Alaska since 2022, we identify 75 ballot records across 10 contests that were counted differently from this interpretation by a program reproducing the published results, without changing any winners. We trace these differences to overvotes and duplicate rankings and examine their legal justification, showing how formal verification can expose consequential choices in translating election law into software.
• Abstract（参考訳）: 我々は、アラスカ州の選挙を、正式に確認された証明を通じて選挙結果を確立するプログラムである形式的検証民主主義のケーススタディとして提示する。 我々は,アラスカ州におけるタブレーション規則の解釈を形式化し,その実施を検証し,選挙固有の結果を証明した。 2022年以降のアラスカにおける115件の選考会で、この解釈と異なる数の10の選考会で75件の投票記録を、受賞者を変更することなく、公開結果を再現するプログラムによって特定した。 これらの違いを、過剰投票と重複ランキングに辿り着き、その法的正当性を検証し、選挙法をソフトウェアに翻訳する際の連続的な選択を公式に検証する方法を示す。

関連論文リスト

• Simpler Than You Think: The Practical Dynamics of Ranked Choice Voting [4.3823377140757485]
  ランク付き選択投票(RCV)の採用はアメリカ合衆国大統領選挙全体で拡大しているが、複雑さ、戦略的な操作、および投票の疲れに対する批判が続いている。 ニューヨーク市の2021年の民主党予備選挙(54回)、アラスカ州の2024年の予備選挙(52回)、ポートランドの2024年のマルチウィンナー市議会選挙(4回)である。 以上の結果から,RCVは単純で透明なダイナミックスを連続的に示し,複数の選挙の解釈可能性に密接に反映していることが明らかとなった。
  論文  参考訳（メタデータ） (2026-02-15T22:51:59Z)
• 3+ Seat Risk-Limiting Audits for Single Transferable Vote Elections [56.12949230611067]
  本稿では,3人以上の議席を持つSTV選挙において,完全ないし部分的RLAを実施するためのアサーションベースのアプローチを提案する。 私たちはしばしば、報告された勝者のほとんど、時にはすべてを検証する部分的な監査を作成することができることを示しています。 我々は,2017年と2022年のスコットランド地方議会選挙から,500人以上の3席と4席のSTV選挙のデータセットを用いて評価を行った。
  論文  参考訳（メタデータ） (2025-03-19T00:29:53Z)
• Improving the Computational Efficiency of Adaptive Audits of IRV Elections [54.427049258408424]
  AWAIREは、任意の数の候補でIRVコンテストを監査できるが、当初の実装では、候補数とともに指数関数的に増加するメモリと計算コストが増大していた。 本稿では,従来の6候補と比較して,55候補のIRVコンテストを実際に実施する3つの方法で,AWAIREのアルゴリズム実装を改善した。
  論文  参考訳（メタデータ） (2024-07-23T13:28:00Z)
• 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)
• Partially Informed Elections -- Analyzing the Impact of Forced Ballot Truncation on Bucklin, Coombs, Plurality with Runoff, and Schulze [0.0]
  本研究は,Bucklin, Coombs, multiple with runoff, and Schulze voting system's ability to output their true win sets。 その結果, 脱落した複数個体は強制脱落に最も抵抗し, 続いてシュルツェ, バックリン, クームズが続いた。
  論文  参考訳（メタデータ） (2023-09-29T02:44:48Z)
• Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE [61.872917066847855]
  即時投票(IRV)選挙の監査方法は、リスク制限や、各投票における投票の電子的記録であるキャスト投票記録(CVR)を必要とするものではない。 我々は,CVRが利用できない場合に,適応的に重み付けされたテストスーパーマーチンガルを用いてITV選挙を効率よく監査するRLA手法を開発した。
  論文  参考訳（メタデータ） (2023-07-20T15:55:34Z)
• Risk-Limiting Audits for Condorcet Elections [27.102139020324678]
  コンドルチェットの選挙を、さまざまなバリエーションで効率的に監査する方法を示します。 また、IRVとCondorcet選挙の監査効率(どれだけの投票がサンプリングされるか)を比較します。
  論文  参考訳（メタデータ） (2023-03-18T22:08:17Z)
• Identifying Possible Winners in Ranked Choice Voting Elections with Outstanding Ballots [0.0]
  ランク選択投票(Crown-choice voting、RCV)は、投票者が自分の選択をランク付けでき、その結果はラウンドで計算される。 RCVの選挙結果は、必ずしも選挙の夜には明らかではなく、出版までに数週間かかる可能性がある。 本稿では,一部の投票者によるRCV選挙の勝者を効率よく計算するアルゴリズムを提案する。
  論文  参考訳（メタデータ） (2022-06-25T22:08:15Z)
• 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)

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

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