MATH 1340 Mathematics & Politics

Similar documents
MATH 1340 Mathematics & Politics

Possibilities of Voting

The Plurality-with-Elimination Method

Voting. Xiaoyue Zhang

a) Graph 2 and Graph 3 b) Graph 2 and Graph 4 c) Graph 1 and Graph 4 d) Graph 1 and Graph 3 e) Graph 3 and Graph 4 f) None of the above

Voting Methods and Colluding Voters

On the Axiomatic Characterization of Runoff Voting Rules

Iterative Voting Rules

Algorithms, Games, and Networks February 21, Lecture 12

arxiv: v1 [cs.ma] 8 May 2018

Math 130 Final Exam Study Guide. 1. Voting

Hoare Logic. COMP2600 Formal Methods for Software Engineering. Rajeev Goré

Practical voting rules with partial information

Chapter 7 Arrays. One-Dimensional Arrays. Fred Jack. Anna. Sue. Roy

Joint Entity Resolution

The Pairwise-Comparison Method

A REAL-LIFE DATA PROJECT FOR AN INTERDISCIPLINARY MATH AND POLITICS COURSE

A Complexity-of-Strategic-Behavior Comparison between Schulze s Rule and Ranked Pairs

Problem Set 2. General Instructions

MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question.

(iv) The square root of an integer is a rational number. (viii) There is an infinite number of natural numbers.

On the Agenda Control Problem for Knockout Tournaments

, etc. Let s work with the last one. We can graph a few points determined by this equation.

Search Engines. Provide a ranked list of documents. May provide relevance scores. May have performance information.

H 4. Is the graph connected? A. Yes B. No C. Cannot be determined. 5. How many edges are on the graph? A. 8 B. 9 C. 10 D. 11 E.

LECTURE 2 An Introduction to Boolean Algebra

Introduction to Programming in C Department of Computer Science and Engineering. Lecture No. #06 Loops: Operators

Chapter 3. Set Theory. 3.1 What is a Set?

Computational Social Choice in the Cloud

Lecture 3: Truth Tables and Logic Gates. Instructor: Joelle Pineau Class web page:

Shannon Switching Game

Finding Strongly Connected Components

Practical Algorithms for Computing STV and Other Multi-Round Voting Rules

Introduction to Denotational Semantics. Brutus Is An Honorable Man. Class Likes/Dislikes Survey. Dueling Semantics

Test Reminder. CSE21: Lecture 7 1

Section 6.3: Further Rules for Counting Sets

Math 101 Final Exam Study Notes:

Information Retrieval Rank aggregation. Luca Bondi

Algebraic Dynamic Programming

Lee Pike. June 3, 2005

Voting Methods For Multiple Autonomous Agents

Catalan Numbers. Table 1: Balanced Parentheses

Twentieth Annual University of Oregon Eugene Luks Programming Competition

CONVENTIONAL EXECUTABLE SEMANTICS. Grigore Rosu CS522 Programming Language Semantics

specified or may be difficult to handle, we often have a tabulated data

Section 1.1 Definitions and Properties

Two phase commit protocol. Two phase commit protocol. Recall: Linearizability (Strong Consistency) Consensus

Algebra of Sets. Aditya Ghosh. April 6, 2018 It is recommended that while reading it, sit with a pen and a paper.

Revolutionaries and Spies

How to reach legitimate decisions when the procedure is controversial

Introduction to Denotational Semantics. Class Likes/Dislikes Survey. Dueling Semantics. Denotational Semantics Learning Goals. You re On Jeopardy!

Election Night Reporting Quick Start Guide

Lecture 1 Contracts : Principles of Imperative Computation (Fall 2018) Frank Pfenning

1 Elementary number theory

A Reduction of Conway s Thrackle Conjecture

Dijkstra s algorithm for shortest paths when no edges have negative weight.

Subset sum problem and dynamic programming

9 abcd = dcba b + 90c = c + 10b b = 10c.

Math 2331 Linear Algebra

6. Lecture notes on matroid intersection

Constructing a G(N, p) Network

Precinct Organizing: Getting Started

Verifiability experiences in government online voting

Introduction to Secure Multi-Party Computation

Solutions. BAPC Preliminaries September 24, Delft University of Technology. Solutions BAPC Preliminaries 2016 September 24, / 18

Metric Madness. We can quickly see that the rings in the Manhattan metric are not round; they are diamond rings! David Clark

Lecture 1 Contracts. 1 A Mysterious Program : Principles of Imperative Computation (Spring 2018) Frank Pfenning

Pivot Tables. This is a handout for you to keep. Please feel free to use it for taking notes.

6. Finding Efficient Compressions; Huffman and Hu-Tucker Algorithms

CS2 Algorithms and Data Structures Note 1

Constructing a G(N, p) Network

/633 Introduction to Algorithms Lecturer: Michael Dinitz Topic: Approximation algorithms Date: 11/27/18

CS161 Handout 07 Summer 2013 July 17, 2013 Guide to Reductions. Thanks to Julie Tibshirani for helping with this handout!

CONVENTIONAL EXECUTABLE SEMANTICS. Grigore Rosu CS422 Programming Language Semantics

Winning Positions in Simplicial Nim

Exact Algorithms Lecture 7: FPT Hardness and the ETH

Linear Programming Duality and Algorithms

Microsoft Office Excel 2007

1 The Axiom of Extensionality

AXIOMS FOR THE INTEGERS

11.1 Facility Location

Problem Set 2. General Instructions

Recap Arc Consistency Example Local Search Hill Climbing. Local Search. CPSC 322 CSPs 4. Textbook 4.8. Local Search CPSC 322 CSPs 4, Slide 1

Introduction to Programming in C Department of Computer Science and Engineering\ Lecture No. #02 Introduction: GCD

On the Complexity of Schedule Control Problems for Knockout Tournaments

MA 1128: Lecture 02 1/22/2018

Greedy Algorithms II

Approximation Algorithms

Discrete Mathematics Lecture 4. Harper Langston New York University

Graph Theory Part Two

Applied Algorithm Design Lecture 3

ΕΠΛ660. Ανάκτηση µε το µοντέλο διανυσµατικού χώρου

MIDTERM EXAMINATION Networked Life (NETS 112) November 21, 2013 Prof. Michael Kearns

Graph Contraction. Graph Contraction CSE341T/CSE549T 10/20/2014. Lecture 14

Maximal Independent Set

Information Networks: PageRank

Weak Dynamic Coloring of Planar Graphs

Concurrency Control / Serializability Theory

Lecture Notes on Karger s Min-Cut Algorithm. Eric Vigoda Georgia Institute of Technology Last updated for Advanced Algorithms, Fall 2013.

Search: Advanced Topics and Conclusion

Transcription:

MATH 1340 Mathematics & Politics Lecture 5 June 26, 2015 Slides prepared by Iian Smythe for MATH 1340, Summer 2015, at Cornell University 1

An example (Exercise 2.1 in R&U) Consider the following profile involving 5 candidates and 11 voters: 4 3 2 1 1 A B C D E C E B B D D D D E B B C A C A E A E A C (a) Who wins the election if the plurality method is used? (b) Who wins the election if the Borda count method is used? (c) Who wins the election if the Coombs method is used? 2

An example (cont d) (a) A wins with a plurality of 4 first- place votes. (b) With Borda count: A gets 4x4+0+2x1+0+1x1 = 19 points B gets 4x1+3x4+2x3+1x3+1x2 = 27 points C gets 4x3+3x1+2x4+1x1+0 = 24 points D gets 4x2+3x2+2x2+1x4+1x3 = 25 points E gets 0+3x3+0+1x2+1x4 = 15 points, so B wins. (c) With Coombs method: There is no majority first-place winner, so we eliminate E (having the most last-place votes), and get a new profile. There is still no majority winner, so we eliminate A, and get a new profile C is now the majority winner, thus C wins. 4 3 2 1 1 A B C D E C E B B D D D D E B B C A C A E A E A C 4 3 2 1 1 A B C D D C D B B B D C D C A B A A A C 4 3 2 2 C B C D D D B B B C D C 3

Positional methods The following methods generalize the Borda count: For n candidates, the positional method associated to the sequence of numbers a1 a2 an is the social choice function described as follows: Assign, for each candidate, a1 points to every first-place vote, a2 points to every second-place vote, and so on, until we assign an points for every last-place vote. Tally the points, and the winners are the candidates who receive the most points. We denote this method by P(a1, a2,,an). 4

Positional methods (cont d) Observe that the Borda count, for n candidates, is exactly the positional method P(n-1,n-2,,1,0). The plurality method can be thought of as the positional method P(1,0,0,,0). The antiplurality method, which picks as winners those with the fewest last-place votes, can be thought of as the positional method P(1,1,,1,0). 5

Functional equivalence We say that two social choice functions are functionally equivalent if whenever they are given the same input profiles, they produce the same result. Again, this notion is not explicit in the text, but will be used repeatedly. 6

Criteria We again need to specify criteria (properties which may or may not hold of a given social choice function) in order to determine which methods are acceptable, and which are not. Some of these will be familiar from the two-candidate case, others will be quite new. 7

Anonymity A social choice function is anonymous if the following holds: Suppose we are given two profiles, before and after, the after the result of some voters in the before exchanging their preference ballots. Then, the outcome of the social choice function on these profiles must be the same. As in the two-candidate case, anonymity means that rearranging the ballots does not change the outcome, so all voters are treated equally. 8

Anonymity (cont d) As in the two-candidate case we have (with a similar proof): Proposition: A social choice function is anonymous if and only if it depends only on the tabulated profile. You can try to write out a detailed proof yourself. Corollary: Plurality, Borda count, Hare, Coombs, Copeland, and all positional methods are anonymous. The dictatorship method is, of course, not anonymous. 9

Neutrality A social choice function is neutral if the following holds: Suppose that we are given two profiles, before and after. In before, candidate X is a winner, and for some other candidate Y, all of the voters have interchanged X with Y in their preference orders in after. Then, the function must select Y as a winner in after. Again, this means that candidates are treated equally; if support for one candidate can allow that candidate to win, then the same support can allow any other candidate to win. 10

Neutrality (cont d) Proposition: Plurality, Borda count, Hare, Coombs, Copeland, and all positional methods all neutral. Why? (See next slides) Monarchy is, of course, not neutral. 11

Neutrality (cont d) Positional methods (thus plurality and Borda count, as well) are neutral: Suppose we are given profiles before and after in which X is a winner with the positional method P(a1, a2,,an), and in after, Y and X have been switched in all voters preference ballots. Since X was the winner in before, X got the most number of points (with the possibility that he is tied with others). In after, Y gets the same number of votes as X did in before, X gets the same number of votes as Y did in before, and all other candidates are unchanged. So, Y must now have the most votes (again, possibly tied with others) in after. Thus, Y is a winner in after, showing that the method is neutral. 12

Neutrality (cont d) Hare s and Coombs methods are neutral: Suppose we have profiles before and after, and X and Y, as in the definition of neutrality. If X was the majority winner in the first round of Hare s/coombs method in before, then since X and Y have switched in after (and all others have stayed fixed), Y must be the majority winner in the first round for after. If there was no majority winner in the first round for before, then a candidate was eliminated, and that candidate was not X. Thus, Y cannot be eliminated after the first round of after. And so on, until either X is the majority winner in a round in before, in which case Y is in after, or until all of the remaining candidates have an exact tie, which in before must include X, so in after it includes Y. Thus, Y will be a winner. 13

Neutrality (cont d) Copeland s method is neutral: Suppose we have profiles before and after, and X and Y, as in the definition of neutrality. Note that the results of head-to-head matchups featuring candidates other than X and Y are unchanged in going from before to after. In after, the scores in each of X s head-to-head matchups become the same as Y s from before, i.e., if Y beat A 3-2 before, X now beats A 3-2. Likewise, the scores in each of Y s head-to-head mathcups become the same as X s from before. Thus, Y s tally (1 point for a win, 1/2 point for a tie) in after is the same as X s was in before, and vice-versa. The other candidates tallies will not change. So, if X was a winner before, Y must be a winner after. 14

Monotonicity A social choice function is monotone if the following holds: Suppose we are given two profiles, before and after. In before, candidate X is a winner, but a certain voter v places a different candidate Y immediately above X on their preference ballot. The after profile is identical to before, except that v now places X immediately above Y. Then, X must remain a winner in after. Note: This differs from the two-candidate definition, because it does not require X to be a unique winner. The intuition remains the same, however; being preferred more by the electorate should not hurt a candidate s chances of winning. 15

Monotonicity (cont d) For example: If our social choice function is monotone, and selects A as a winner in the first profile, it must select A as a winner in the second profile. A B C A A B C A C C C A B B B A B C A A B A A C C C C B B B Likewise in the following two profiles: A B C A B C B C C A A B A B A A B C C C C A B B Voter 3 has moved A up two spots, but you can imagine an intermediate profile, and monotonicity says all 3 profiles must select A as a winner. 16

Monotonicity (cont d) Proposition: Plurality, Borda count, Copeland and all positional methods are monotone. Why? Proposition: Hare s and Coombs methods are not monotone. Counterexamples? 17

Monotonicity (cont d) Positional methods are monotone: Suppose we are using the positional method P(a1, a2,,an). Recall that a1 a2 an. Thus, if one voter increases a winner X s position by one spot in their preference ballot from before, X must receive at least as many (possibly more) points in after, the demoted candidate Y must receive no more points (possibly fewer), while all of the other candidates point totals are unchanged. Thus, X remains a winner in after. Copeland s method is monotone: By increasing X s position, this can only make X win at least as many (possibly more) head-to-head matchups, while not helping Y or any other candidates. Thus, this can increase (or leave unchanged) X s tally, but not help any other candidates, so X must remain a winner. 18

Monotonicity (cont d) To see that Hare s method is not monotone, consider the following counterexample: before after 6 5 4 2 6 5 4 2 A C B B B A C A C B A C A C B A B A C B C B A C In after, the last two voters have moved A above B. You can check (try it) that C is eliminated first in before, and then A wins, but in after, B is eliminated, and then C wins. 19

Majority A social choice function satisfies the majority criterion if whenever a candidate receives a majority of the first-place votes, that candidate must be the unique winner. Proposition: Plurality, Hare, Coombs* and Copeland satisfy the majority criterion. Why? (For Plurality, Hare and Coombs, this is easy. For Copeland, note that a candidate receiving a majority of first-place votes must win in every head-tohead matchup.) *Caution: The version of Coombs in R&U does not, but ours does. Proposition: Borda count (and thus positional methods, in general) does not satisfy the majority criterion. Counterexample? 20

Majority (cont d) To see that the Borda count method does not satisfy the majority criterion, consider the following counterexample: 3 2 A B B C C A A receives a majority of first-place votes, but loses to B (7-6) in the Borda count. 21

Decisiveness A social choice function is decisive if it always selects a unique winner. Proposition: Any social choice function that satisfies anonymity and neutrality must violate decisiveness. Why? (We ll revisit this, or see p. 54-5 in R&U) Corollary: Plurality, Borda count (in fact, all positional methods), Hare, Coombs and Copeland all fail to be decisive. 22

Recommended reading: Sections 3.1-3.2 in R&U Problem set #2 has been posted on the course website. 23