Search papers, labs, and topics across Lattice.
This paper enhances an existing algorithm for calculating lower bounds on the margin of single transferable vote (STV) elections, which is crucial for understanding the robustness of election outcomes against ballot manipulation. By improving the efficiency and accuracy of margin computation, the authors enable more effective risk-limiting audits, which can verify election integrity in the face of potential errors or fraud. The key result is that these advancements yield higher lower bounds for real STV elections, thereby facilitating practical applications in electoral auditing.
Improved margin computation for STV elections could make risk-limiting audits both more effective and feasible, enhancing electoral integrity.
Single transferable vote (STV) is a multi-winner preferential proportional electoral system. The margin is the smallest number of ballots that need to be manipulated to alter the set of winners. If we can compute the margin of an STV election, or a reasonable lower bound on the margin, we can use recent advances in auditing research to conduct a risk-limiting audit of the election's winners. Knowledge of the margin also provides insight into whether uncovered mistakes, or a known error rate in ballot interpretation, could have influenced the outcome. This paper presents substantial improvements on an existing algorithm for computing lower bounds on the margin of an STV election. These improvements allow us to compute higher lower bounds for real STV elections, making mismatch-based risk-limiting audits more practical.
