Chapter 9 Social Choice: the Impossible Dream
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
A Canadian Model of Proportional Representation by Robert S. Ring A
Proportional-first-past-the-post: A Canadian model of Proportional Representation by Robert S. Ring A thesis submitted to the School of Graduate Studies in partial fulfilment of the requirements for the degree of Master of Arts Department of Political Science Memorial University St. John’s, Newfoundland and Labrador May 2014 ii Abstract For more than a decade a majority of Canadians have consistently supported the idea of proportional representation when asked, yet all attempts at electoral reform thus far have failed. Even though a majority of Canadians support proportional representation, a majority also report they are satisfied with the current electoral system (even indicating support for both in the same survey). The author seeks to reconcile these potentially conflicting desires by designing a uniquely Canadian electoral system that keeps the positive and familiar features of first-past-the- post while creating a proportional election result. The author touches on the theory of representative democracy and its relationship with proportional representation before delving into the mechanics of electoral systems. He surveys some of the major electoral system proposals and options for Canada before finally presenting his made-in-Canada solution that he believes stands a better chance at gaining approval from Canadians than past proposals. iii Acknowledgements First of foremost, I would like to express my sincerest gratitude to my brilliant supervisor, Dr. Amanda Bittner, whose continuous guidance, support, and advice over the past few years has been invaluable. I am especially grateful to you for encouraging me to pursue my Master’s and write about my electoral system idea. -
Automated Verification for Functional and Relational Properties of Voting
Automated Verification for Functional and Relational Properties of Voting Rules Bernhard Beckert, Thorsten Bormer, Michael Kirsten, Till Neuber, and Mattias Ulbrich Abstract In this paper, we formalise classes of axiomatic properties for voting rules, discuss their characteristics, and show how symmetry properties can be exploited in the verification of other properties. Following that, we describe how automated verification methods such as software bounded model checking and deductive verification can be used to verify implementations of voting rules. We present a case study, where we use and compare different approaches to verify that plurality voting satisfies the majority and the anonymity property. 1 Introduction Axiomatic definitions of characteristic properties for voting rules are important both for understanding existing voting rules and for designing new ones. For the trustworthiness of elections, it is also important to analyse the algorithmic descriptions of voting rules and to prove that they have the desired properties, i.e., they satisfy the declarative description. There are two classes of voting rule properties, namely (a) functional (absolute) properties, such as the majority criterion, which refer to single voting results, and (b) relational properties, such as anonymity, which are defined by comparing two (or more) results. In this paper, we first formally define these two classes of properties and discuss their characteristics (Section 2). We then show how symmetry properties { which are a particular kind of relational properties { can be exploited to more efficiently verify voting rules w.r.t. other (functional) properties (Section 3). Proving properties of voting rules by hand is tedious and error-prone { in particular, if the rules and properties evolve during design and various versions have to be verified. -
Crowdsourcing Applications of Voting Theory Daniel Hughart
Crowdsourcing Applications of Voting Theory Daniel Hughart 5/17/2013 Most large scale marketing campaigns which involve consumer participation through voting makes use of plurality voting. In this work, it is questioned whether firms may have incentive to utilize alternative voting systems. Through an analysis of voting criteria, as well as a series of voting systems themselves, it is suggested that though there are no necessarily superior voting systems there are likely enough benefits to alternative systems to encourage their use over plurality voting. Contents Introduction .................................................................................................................................... 3 Assumptions ............................................................................................................................... 6 Voting Criteria .............................................................................................................................. 10 Condorcet ................................................................................................................................. 11 Smith ......................................................................................................................................... 14 Condorcet Loser ........................................................................................................................ 15 Majority ................................................................................................................................... -
The Expanding Approvals Rule: Improving Proportional Representation and Monotonicity 3
Working Paper The Expanding Approvals Rule: Improving Proportional Representation and Monotonicity Haris Aziz · Barton E. Lee Abstract Proportional representation (PR) is often discussed in voting settings as a major desideratum. For the past century or so, it is common both in practice and in the academic literature to jump to single transferable vote (STV) as the solution for achieving PR. Some of the most prominent electoral reform movements around the globe are pushing for the adoption of STV. It has been termed a major open prob- lem to design a voting rule that satisfies the same PR properties as STV and better monotonicity properties. In this paper, we first present a taxonomy of proportional representation axioms for general weak order preferences, some of which generalise and strengthen previously introduced concepts. We then present a rule called Expand- ing Approvals Rule (EAR) that satisfies properties stronger than the central PR axiom satisfied by STV, can handle indifferences in a convenient and computationally effi- cient manner, and also satisfies better candidate monotonicity properties. In view of this, our proposed rule seems to be a compelling solution for achieving proportional representation in voting settings. Keywords committee selection · multiwinner voting · proportional representation · single transferable vote. JEL Classification: C70 · D61 · D71 1 Introduction Of all modes in which a national representation can possibly be constituted, this one [STV] affords the best security for the intellectual qualifications de- sirable in the representatives—John Stuart Mill (Considerations on Represen- tative Government, 1861). arXiv:1708.07580v2 [cs.GT] 4 Jun 2018 H. Aziz · B. E. Lee Data61, CSIRO and UNSW, Sydney 2052 , Australia Tel.: +61-2-8306 0490 Fax: +61-2-8306 0405 E-mail: [email protected], [email protected] 2 Haris Aziz, Barton E. -
Selecting the Runoff Pair
Selecting the runoff pair James Green-Armytage New Jersey State Treasury Trenton, NJ 08625 [email protected] T. Nicolaus Tideman Department of Economics, Virginia Polytechnic Institute and State University Blacksburg, VA 24061 [email protected] This version: May 9, 2019 Accepted for publication in Public Choice on May 27, 2019 Abstract: Although two-round voting procedures are common, the theoretical voting literature rarely discusses any such rules beyond the traditional plurality runoff rule. Therefore, using four criteria in conjunction with two data-generating processes, we define and evaluate nine “runoff pair selection rules” that comprise two rounds of voting, two candidates in the second round, and a single final winner. The four criteria are: social utility from the expected runoff winner (UEW), social utility from the expected runoff loser (UEL), representativeness of the runoff pair (Rep), and resistance to strategy (RS). We examine three rules from each of three categories: plurality rules, utilitarian rules and Condorcet rules. We find that the utilitarian rules provide relatively high UEW and UEL, but low Rep and RS. Conversely, the plurality rules provide high Rep and RS, but low UEW and UEL. Finally, the Condorcet rules provide high UEW, high RS, and a combination of UEL and Rep that depends which Condorcet rule is used. JEL Classification Codes: D71, D72 Keywords: Runoff election, two-round system, Condorcet, Hare, Borda, approval voting, single transferable vote, CPO-STV. We are grateful to those who commented on an earlier draft of this paper at the 2018 Public Choice Society conference. 2 1. Introduction Voting theory is concerned primarily with evaluating rules for choosing a single winner, based on a single round of voting. -
Minimax Is the Best Electoral System After All
1 Minimax Is the Best Electoral System After All Richard B. Darlington Department of Psychology, Cornell University Abstract When each voter rates or ranks several candidates for a single office, a strong Condorcet winner (SCW) is one who beats all others in two-way races. Among 21 electoral systems examined, 18 will sometimes make candidate X the winner even if thousands of voters would need to change their votes to make X a SCW while another candidate Y could become a SCW with only one such change. Analysis supports the intuitive conclusion that these 18 systems are unacceptable. The well-known minimax system survives this test. It fails 10 others, but there are good reasons to ignore all 10. Minimax-T adds a new tie-breaker. It surpasses competing systems on a combination of simplicity, transparency, voter privacy, input flexibility, resistance to strategic voting, and rarity of ties. It allows write-ins, machine counting except for write-ins, voters who don’t rate or rank every candidate, and tied ratings or ranks. Eleven computer simulation studies used 6 different definitions (one at a time) of the “best” candidate, and found that minimax-T always soundly beat all other tested systems at picking that candidate. A new maximum-likelihood electoral system named CMO is the theoretically optimum system under reasonable conditions, but is too complex for use in real-world elections. In computer simulations, minimax and minimax-T nearly always pick the same winners as CMO. Comments invited [email protected] Copyright Richard B. Darlington May be distributed free for non-commercial purposes 2 1. -
Which Voting System Is Best for Canada?
Electoral Reform: Which Voting System is Best For Canada? By David Piepgrass While watching the election coverage last Monday night, I was disconcerted by claims from party leaders and even journalists, suggesting that Canadians had “asked” for various things by their voting: “Canadians have asked our party to take the lead” “Canadians have selected a new government.” “Although Canadians have voted for change, they have not given any one party a majority in the House of Commons. They have asked us to cooperate, to work together, and to get on with tackling the real issues that matter to ordinary working people and their families.” - Stephen Harper “Canadians have asked the Conservatives to form a government – in a minority Parliament” “while the people of Canada asked Mr. Harper to form a minority government, the people of Canada also asked New Democrats to balance that government...” - Jack Layton But I voted in the election, and guess what I didn't see on the ballot? I wonder what they based their statements on. Votes vs. Seats (Federal Election 2006) Probably, it was either the popular vote or the Conservatives makeup of the government, but isn't it odd that the Liberals two are different? You can see the dichotomy NDP Percent of vote between the popular vote and the seat allocation Bloc Percent of on the right. It looks like the NDP and Bloc have Other seats somehow confused each other's seats, but actually, 0 5 10 15 20 25 30 35 40 45 as Canadian elections go, this one isn't too bad. -
Comparative Survey of Multiwinner Election Methods
Smith typeset 18:38 18 Jun 2006 multiwinner survey Comparative survey of multiwinner election methods Warren D. Smith∗ [email protected] June 18, 2006 Abstract — After ≈ 100 years of relative sterility, recent to explain that. progress has both invented several new multiwinner vot- ing systems, and allowed us to begin to judge which of them is the best. We define and compare them here and 2 Statement of the problem come to the tentative conclusion that W.D.Smith’s uncon- ventional “asset voting” system is the best multiwinner There are V > 1 voters and C > 1 candidates. The voters election system known, and can be argued, for fundamen- cast some sort of “votes” that somehow provide information tal reasons, to be unmatchable by any conventional voting about their preferences among the candidates. Those votes system. are somehow processed by the election system, with the result being the selection of W “winning candidates,” 1 W < C. ≤ The question is what the votes and election system ought to 1 Multiwinner versus single-winner be. voting systems In my opinion, the situation with single-winner elections is 3 Properties for multiwinner elec- comparatively simple because there is a clear yardstick, called “Bayesian regret,” (which is a rigorously mathematically and tion systems statistically defined quantity) for deciding whether election As either an election system design tool, or as a method of system A is “better” than election system B. My computer discriminating better from worse election systems, one can try measured Bayesian regrets in a vast number of simulated elec- demanding the election system have certain properties. -
Table of Contents
TABLE OF CONTENTS Chapter 1. Introduction ......................................................................................................................3 1.1 This Report ...............................................................................................................................3 1.2 Our Goal ..................................................................................................................................4 Chapter 2. Single-Winner Systems ......................................................................................................5 2.1 Plurality – The American Status Quo .........................................................................................6 2.2 Delayed Runoff ........................................................................................................................8 2.3 Rating Election Methods ......................................................................................................... 10 2.3.1 Range Voting ............................................................................................................................. 10 2.3.2 Majority Judgment Voting ......................................................................................................... 11 2.3.3 Approval Voting ......................................................................................................................... 12 2.3.4 Benefits and Criticisms of Rating Systems ............................................................................... -
Trials of Characterizations of Anti-Manipulation Method⋆
Trials of Characterizations of Anti-manipulation Method? Michał Ramsza1[0000−0002−0728−5315] and Honorata Sosnowska2[0000−0001−8249−2368] 1 Warsaw School of Economics, Warsaw, Poland [email protected] 2 Warsaw School of Economics, Warsaw, Poland [email protected] Abstract. This paper studies the anti-manipulation voting method in- troduced in [8]. We show that the method does not satisfy the con- sistency condition. The consistency condition characterizes scoring func- tions. Thus, the method is not a scoring function. Also, the method is not any from a family of not scoring functions comprising Copeland method, instant-runoff voting, majority judgment, minimax, ranked pairs, Schulze method. The paper also shows that the choice of a metric, used by the anti-manipulation method, may imply the winner of the voting. Keywords: anti-manipulation method · voting. 1 Introduction Voting is a method of communication. It allows solutions for some social dilem- mas. In this paper, we present some properties of the anti-manipulation voting method, [8], which may be used to aggregate opinions of experts, for example, jurors of classical music competitions. In 2016, the XV International Violin Henryk Wieniawski Competition took place. There were 11 jurors and 7 contestants in the final of the competition. In the final, the Borda Count was used in the inverse version, that is with 1 for the best. In what follows, we shall use the version with 7 for the best and 1 for the worst. Both versions yield the same results. The Borda Count is a particular scoring method. In this scoring method, jurors assign a score, which is a real number, to each contestant. -
An Introduction to Voting Rule Verification
CHAPTER 14 An Introduction to Voting Rule Verification Bernhard Beckert, Thorsten Bormer, Rajeev Goré, Michael Kirsten, and Carsten Schürmann 14.1 Introduction Social choice functions (or more specifically voting rules) form the backbone of modern democracies. They are often expressed as algorithms palatable for ma- chine implementation and execution, and simultaneously they control the trans- fer of power from the people to a government. Social choice functions vary in complexity and exhibit different behaviors and properties. For scientists, they are perfect objects of study, in particular, to predict the way they behave, to un- derstand corner cases, or to check that they comply with the law. Conversely, for agents (or voters) the functions’ behavior and which properties they satisfy or violate is often hard to discern and difficult to understand. Program verification technology, which is based on formal logic and deduction, provides a powerful toolset for the analysis of algorithms and their properties. The reach and power of software verification methods and tools has increased tremendously over the last decade. Following their earlier successes, for exam- ple for hardware design, formal verification methods today are routinely applied to catch design errors at early stages of software and protocol development pro- cesses. There has been considerable progress in the verification of real-world software written in languages such as C and Java, as the core technologies of deductive program analysis have matured (Ahrendt et al., 2014; Clarke et al., 2004; Falke et al., 2013). But as of yet, to our knowledge, little work has been done to combine for- mal program verification with social choice theory, even though the two go well together: Voting rules are mathematical constructs and formal program verifica- tion techniques are optimised to analyse those. -
Study on Alternative Voting Systems League of Women Voters Dane County
Study on Alternative Voting Systems League of Women Voters Dane County 2020/2021 Table of Contents Table of Contents .......................................................................................................................................... 2 Section 0. Statement of Purpose .................................................................................................................. 3 Section 1.1. Current Electoral Systems in Wisconsin .................................................................................... 4 Section 1.2. What Laws Govern WI Electoral Systems? ................................................................................ 6 Section 1.3 - Analysis – Recent Elections in Dane County ............................................................................ 9 Section 2.1. Alternative Electoral Systems Defined .................................................................................... 12 Section 3.1 Criteria to Evaluate Electoral Systems ..................................................................................... 16 Section 3.2. Evaluating Wisconsin’s Current Electoral Systems ................................................................. 19 Section 3.3. Evaluating Approval Voting ..................................................................................................... 23 Section 3.4. Evaluating Ranked choice Voting ............................................................................................ 26 Section 3.5. Evaluating Top Four with RCV ................................................................................................