Abstract
We outline various ways in which the single transferable vote-counting (STV) algorithm used by the Australian Capital Territory (ACT) differs from the basic STV algorithm as well-known from social choice theory. Most of these differences were instituted to make it easier and faster to determine the result of counting around 300,000 ballots by hand. We give small examples to show how such “simplifications” can lead to counter-intuitive results. We also argue that these “simplifications” significantly complicate computer implementation and general understanding of the counting procedure, especially in a mathematical sense. We then demonstrate the strange effects of these “simplifications” in real-world computer counted election results which were published by ACT Elections. It is imperative that electoral commissions begin the legislative processes required to replace their existing “simplified” STV with “unsimplified” STV.
E. Lebedeva—Supported by Australian Research Council Grant DP140101540.
Author order is alphabetical by surname.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
ACT Elections. ACT Legislative Assembly Election 2012 - Interim Distribution of Preferences: Brindabella Table 2 - Votes. http://www.elections.act.gov.au/__data/assets/pdf_file/0008/836063/table2.Brindabella.pdf
ACT Elections. ACT Legislative Assembly Election 2012 - Interim Distribution of Preferences: Molonglo Table 2 - Votes. http://www.elections.act.gov.au/__data/assets/pdf_file/0004/836068/table2.Molonglo.pdf
ACT Elections. Australian Capital Territory Electoral Act 1992. Republication No 51. Effective, 27 April 2016. Authorised by the ACT Parliamentary Counsel, March 2016. http://www.legislation.act.gov.au/a/1992-71/20160302-62977/pdf/1992-71.pdf
Software Improvements Pty Ltd. Documentation of the eVACS\(^{\textregistered }\) source code: 2012. File: /evacs/counting/hare_clark.txt. http://www.elections.act.gov.au/__data/assets/file/0003/835509/evacs2012.zip
Software Improvements Pty Ltd. Source code 2012 of eVACS\(^{\textregistered }\). File: /evacs/counting/report.c. http://www.elections.act.gov.au/__data/assets/file/0003/835509/evacs2012.zip
Wikipedia. Single transferable vote. https://en.wikipedia.org/wiki/Single_transferable_vote. Accessed 26 Aug 2016
Acknowledgements
We are grateful to the ACT Electoral Commissioner, Phillip Green, for his numerous comments on a previous draft. Any errors that remain are ours.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Goré, R., Lebedeva, E. (2017). Simulating STV Hand-Counting by Computers Considered Harmful: A.C.T.. In: Krimmer, R., et al. Electronic Voting. E-Vote-ID 2016. Lecture Notes in Computer Science(), vol 10141. Springer, Cham. https://doi.org/10.1007/978-3-319-52240-1_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-52240-1_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-52239-5
Online ISBN: 978-3-319-52240-1
eBook Packages: Computer ScienceComputer Science (R0)