Paper Info
Title
Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections
Abstract
Risk-limiting audits (RLAs), an ingredient in evidence-based elections, are increasingly common. They are a rigorous statistical means of ensuring that electoral results are correct, usually without having to perform an expensive full recount-at the cost of some controlled probability of error. A recently developed approach for conducting RLAs, SHANGRLA, provides a flexible framework that can encompass a wide variety of social choice functions and audit strategies. Its flexibility comes from reducing sufficient conditions for outcomes to be correct to canonical 'assertions' that have a simple mathematical form. Assertions have been developed for auditing various social choice functions including plurality, multi-winner plurality, super-majority, Hamiltonian methods, and instant runoff voting. However, there is no systematic approach to building assertions. Here, we show that assertions with linear dependence on transformations of the votes can easily be transformed to canonical form for SHANGRLA. We illustrate the approach by constructing assertions for party-list elections such as Hamiltonian free list elections and elections using the D'Hondt method, expanding the set of social choice functions to which SHANGRLA applies directly.
Year
DOI
Venue
2021
10.1007/978-3-030-86942-7_4
ELECTRONIC VOTING, E-VOTE-ID 2021
Keywords
DocType
Volume
Risk-limiting audits, Party-list proportional elections, Hamiltonian methods, D'Hondt method
Conference
12900
ISSN
Citations 
PageRank 
0302-9743
0
0.34
References 
Authors
0
7
Name
Order
Citations
PageRank
Michelle Blom100.34
Jurlind Budurushi200.34
Ronald L. Rivest3119923759.47
Philip B. Stark49016.42
Peter J. Stuckey500.34
vanessa teague644941.54
Damjan Vukcevic701.01