Abstract:Single Transferable Vote (STV) is used to elect candidates to the 76 seat Australian Senate across six states and two territories. These eight STV contests are counted using a combination of ballot scanners, manual data entry and tabulation software. On election night, some properties of the set of cast ballots are determined by hand. This includes the first preference tallies of each party. This technical report considers whether there are some properties, such as individual candidates' first preference tallies, that, if assumed to be accurate, imply a portion of the election outcome. The paper also presents an interesting example showing that the rules of STV tabulation used for the Australian Senate can allow bizarre behaviour, such as votes increasing in value over time.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: In the Australian Senate elections, are there some ballot attributes (such as the number of first - preference votes for candidates)? If these attributes are assumed to be accurate, can some election results be inferred? Specifically, the author explores the following issues:
1. **Verification of election results**: How to confirm the correctness of some election results by manually verifying certain ballot attributes (such as the number of first - preference votes for each candidate, and the proportion of above - the - line (ATL) and below - the - line (BTL) votes in these votes).
2. **Complexity of STV counting rules**: When the Single Transferable Vote (STV) system is used in the Australian Senate elections, the counting process is very complex, especially when dealing with a large number of ballots. The author analyzes the abnormal behaviors that may occur during the STV counting process, such as the phenomenon that the value of ballots increases over time.
3. **Application of Risk - Limiting Audits (RLA)**: The paper also discusses how to apply the verification of these ballot attributes to Risk - Limiting Audits (RLAs) to increase confidence in election results. RLA is a statistical method used to ensure the correctness of election results, especially in cases where machines and computers process ballots.
### Specific problem description
- **Background**: The Australian Senate elections use the STV system, involving six states and two territories, with a total of 76 seats. Ballots are processed by scanners, manual data entry, and counting software. On election night, some ballot attributes, such as the number of first - preference votes for each political party, are determined manually.
- **Research objective**: The author attempts to answer whether some election results can be inferred by manually verifying certain ballot attributes (such as the number of first - preference votes and the ATL/BTL ratio). If these attributes are assumed to be accurate, which candidates will be elected in the first few rounds of counting can be inferred.
### Main contributions
1. **Equation derivation**: The author proposes a series of equations for calculating the upper and lower bounds of the number of votes for candidates in each round of the STV counting process. These equations are based on the following assumptions:
- The number of first - preference votes for each candidate is accurate.
- The proportion of ATL and BTL in the first - preference votes for each candidate is accurate.
2. **Practical application**: Through the analysis of the Australian Senate election results from 2016 to 2022, the author shows how to use these equations to infer some election results. For example, in some elections, the top - elected candidates can be guaranteed, provided that the number of first - preference votes and the ATL/BTL ratio are assumed to be accurate.
3. **Application prospects of RLA**: The author points out that these inferences can help conduct Risk - Limiting Audits (RLA) in large - scale STV elections. By assuming the correctness of the initial elected candidates, the audit can focus on verifying the subsequent elected candidates, thereby improving audit efficiency.
### Conclusion
Through mathematical modeling and data analysis, this paper shows how to use manually - verified ballot attributes to infer some election results and proposes the possibility of applying it to Risk - Limiting Audits. This provides new ideas and methods for future election audits.