English
Related papers

Related papers: Auditing Ranked Voting Elections with Dirichlet-Tr…

200 papers

Considering a network with $n$ nodes, where each node initially votes for one (or more) choices out of $K$ possible choices, we present a Distributed Multi-choice Voting/Ranking (DMVR) algorithm to determine either the choice with maximum…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-03-28 Saber Salehkaleybar , Arsalan Sharif-Nassab , S. Jamaloddin Golestani

Single Transferable Vote (STV) counting, used in several jurisdictions in Australia, is a system for choosing multiple election winners given voters' preferences over candidates. There are a variety of different versions of STV legislated…

Computers and Society · Computer Science 2024-09-19 Andrew Conway , Michelle Blom , Alexander Ek , Peter J. Stuckey , Vanessa J. Teague , Damjan Vukcevic

In the face of global economic uncertainty, financial auditing has become essential for regulatory compliance and risk mitigation. Traditional manual auditing methods are increasingly limited by large data volumes, complex business…

Risk Management · Quantitative Finance 2026-01-09 Tingyu Yuan , Xi Zhang , Xuanjing Chen

High-performance autonomy often must operate at the boundaries of safety. When external agents are present in a system, the process of ensuring safety without sacrificing performance becomes extremely difficult. In this paper, we present an…

Robotics · Computer Science 2021-10-05 Stanley Bak , Johannes Betz , Abhinav Chawla , Hongrui Zheng , Rahul Mangharam

A Risk-Limiting Audit (RLA) is a statistical election tabulation audit with a rigorous error guarantee. We present ballot polling RLA PROVIDENCE, an audit with the efficiency of MINERVA and flexibility of BRAVO. We prove that PROVIDENCE is…

Cryptography and Security · Computer Science 2022-10-18 Oliver Broadrick , Poorvi L. Vora , Filip Zagórski

Indian Electronic Voting Machines (EVMs) will be fitted with printers that produce Voter-Verifiable Paper Audit Trails (VVPATs) in time for the 2019 general election. VVPATs provide evidence that each vote was recorded as the voter…

Cryptography and Security · Computer Science 2019-01-28 Vishal Mohanty , Nicholas Akinyokun , Andrew Conway , Chris Culnane , Philip B. Stark , Vanessa Teague

The Stratified Bootstrap Test (SBT) provides a nonparametric, resampling-based framework for assessing the stability of group-specific ranking patterns in multivariate survey or rating data. By repeatedly resampling observations and…

Methodology · Statistics 2025-12-18 Ehsan Mohammadi , Fanghua Chen , Yizhou Cai , Yun Yang , Ting Fung Ma , Lu Zhou

In the popular debate over the use of ranked-choice voting, it is often claimed that the method of single transferable vote (STV) is immune or mostly immune to the so-called ``spoiler effect,'' where the removal of a losing candidate…

Methodology · Statistics 2024-03-07 David McCune , Jennifer Wilson

A well-studied randomized election algorithm proceeds as follows: In each round the remaining candidates each toss a coin and leave the competition if they obtain heads. Of interest is the number of rounds required and the number of…

Probability · Mathematics 2016-04-12 Rudolf Grübel , Klaas Hagemann

Previous studies have shown that Instant-Runoff Voting (IRV) is highly resistant to coalitional manipulation (CM), though the theoretical reasons for this remain unclear. To address this gap, we analyze the susceptibility to CM of three…

Computer Science and Game Theory · Computer Science 2025-10-17 François Durand

Colorado conducted risk-limiting tabulation audits (RLAs) across the state in 2017, including both ballot-level comparison audits and ballot-polling audits. Those audits only covered contests restricted to a single county; methods to…

Applications · Statistics 2018-03-05 Mark Lindeman , Neal McBurnett , Kellie Ottoboni , Philip B. Stark

Tree-based methods are powerful nonparametric techniques in statistics and machine learning. However, their effectiveness, particularly in finite-sample settings, is not fully understood. Recent applications have revealed their surprising…

Statistics Theory · Mathematics 2024-10-04 Hengrui Luo , Meng Li

In district-based multi-party elections, electors cast votes in their respective districts. In each district, the party with maximum votes wins the corresponding seat in the governing body. Election Surveys try to predict the election…

Methodology · Statistics 2023-12-27 Adway Mitra , Palash Dey

The first step in classifying the complexity of an NP problem is typically showing the problem in P or NP-complete. This has been a successful first step for many problems, including voting problems. However, in this paper we show that this…

Computer Science and Game Theory · Computer Science 2022-07-08 Zack Fitzsimmons , Edith Hemaspaandra

Recent research on instant runoff voting (IRV) shows that it exhibits a striking combinatorial property in one-dimensional preference spaces: there is an "exclusion zone" around the median voter such that if a candidate from the exclusion…

Multiagent Systems · Computer Science 2025-03-11 Kiran Tomlinson , Johan Ugander , Jon Kleinberg

The r largest order statistics approach is widely used in extreme value analysis because it may use more information from the data than just the block maxima. In practice, the choice of r is critical. If r is too large, bias can occur; if…

Methodology · Statistics 2018-06-13 Brian Bader , Jun Yan , Xuebin Zhang

Voting is a simple mechanism to combine together the preferences of multiple agents. Agents may try to manipulate the result of voting by mis-reporting their preferences. One barrier that might exist to such manipulation is computational…

Artificial Intelligence · Computer Science 2012-04-18 Toby Walsh

Risk-limiting audits (RLAs) are expected to strengthen the public confidence in the correctness of an election outcome. We hypothesize that this is not always the case, in part because for large margins between the winner and the runner-up,…

Computers and Society · Computer Science 2021-09-17 Asmita Dalela , Oksana Kulyk , Carsten Schürmann

The widescale deployment of Autonomous Vehicles (AV) seems to be imminent despite many safety challenges that are yet to be resolved. It is well known that there are no universally agreed Verification and Validation (VV) methodologies to…

Robotics · Computer Science 2020-03-05 Dhanoop Karunakaran , Stewart Worrall , Eduardo Nebot

The adoption of crowdsourced election monitoring as a complementary alternative to traditional election monitoring is on the rise. Yet, its reliance on digital response volunteers to manually process incoming election reports poses a…

Computation and Language · Computer Science 2025-03-06 Jabez Magomere , Scott Hale