Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections

Alexander Ek,Philip B. Stark,Peter J. Stuckey,Damjan Vukcevic
2024-05-06
Abstract:Various risk-limiting audit (RLA) methods have been developed for instant-runoff voting (IRV) elections. A recent method, AWAIRE, is the first efficient approach that can take advantage of but does not require cast vote records (CVRs). AWAIRE involves adaptively weighted averages of test statistics, essentially "learning" an effective set of hypotheses to test. However, the initial paper on AWAIRE only examined a few weighting schemes and parameter settings.
Computers and Society,Cryptography and Security,Computer Science and Game Theory,Applications
What problem does this paper attempt to address?
### What problem does this paper attempt to solve? This paper aims to solve how to develop more efficient weighting schemes for Instant - Runoff Voting (IRV) elections for use in Risk - Limiting Audits (RLA). Specifically: 1. **Limitations of existing methods**: - Some existing RLA methods (such as RAIRE) rely on Cast Vote Records (CVRs), but in many cases, especially in hand - counted IRV elections, these records do not exist. - AWAIRE is a method that does not require CVRs but can still effectively conduct audits, but its initial research only examined a few weighting schemes and parameter settings. 2. **Research objectives**: - **Expand the AWAIRE framework**: By exploring more types of weighting schemes and evaluating the best options under different victory margins, so as to provide efficient selection suggestions for practical applications. - **Optimize parameter settings**: Study the impact of hyper - parameters (such as \(\eta_0\) and \(d\)) in ALPHA tests on audit efficiency and find the optimal default parameter configuration. - **Improve applicability**: Explore how to use simulated real - election data to evaluate performance in the absence of CVRs to ensure the wide applicability of the method. 3. **Specific problems**: - **Weight distribution strategy**: Identify which weighting schemes perform best in different election situations, especially when the victory margin is small. - **Hyper - parameter tuning**: Quantify the impact of different hyper - parameter combinations on the audit sample size and find the best configuration to balance different election margins. - **Computational efficiency improvement**: Propose the use of techniques such as lazy evaluation to reduce the computational burden while maintaining statistical performance. ### Summary The main goal of the paper is to optimize the AWAIRE method through in - depth research on different weighting schemes and parameter settings, so that it can efficiently and accurately conduct risk - limiting audits of IRV elections without CVRs. This not only improves the efficiency of the audit but also enhances its applicability and reliability in actual elections.