arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2602.04527cs.GTstat.AP
收藏

基于图的梅克单转移投票选举审计

Graph-Based Audits for Meek Single Transferable Vote Elections

University of Colorado, Boulder(科罗拉多大学博尔德分校)

Edouard Heitzmann

AI总结:

本文提出基于图的方法,用于审计单转移投票选举,通过固定子图验证选举序列,实现时间无关的灵活审计。

摘要:

在选举安全的背景下,风险限制审计(RLA)是一种统计框架,通过最小的部分重新计票来保证选举结果的正确性。对于算法选举规则如单转移投票(STV)规则来说,通用的RLA框架一直难以实现,因为这些规则依赖于消除和选举的时序导致选举结果。本文提出了一种新的基于图的方法来审计这些算法选举规则,通过考虑所有可能的选举和消除序列空间。如果我们事先固定这个通用空间的一个子图,一种足够的策略是统计地验证真实的选举序列不离开固定的子图。这为以时间无关的方式审计这些选举提供了一种灵活的框架。

英文摘要:

In the context of election security, a Risk-Limiting Audit (RLA) is a statistical framework that uses a minimal partial recount of the ballots to guarantee that the results of the election were correctly reported. A generalized RLA framework has remained elusive for algorithmic election rules such as the Single Transferable Vote (STV) rule, because of the dependence of these rules on the chronology of eliminations and elections leading to the outcome of the election. This paper proposes a new graph-based approach to audit these algorithmic election rules, by considering the space of all possible sequences of elections and eliminations. If we fix a subgraph of this universal space ahead of the audit, a sufficient strategy is to verify statistically that the true election sequence does not leave the fixed subgraph. This makes for a flexible framework to audit these elections in a chronology-agnostic way.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑