Voting Methods and Colluding Voters

Similar documents
Possibilities of Voting

The Plurality-with-Elimination Method

Voting. Xiaoyue Zhang

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

MATH 1340 Mathematics & Politics

MATH 1340 Mathematics & Politics

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

The Pairwise-Comparison Method

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

Iterative Voting Rules

Practical voting rules with partial information

CSE 20 DISCRETE MATH WINTER

Neural Voting Machines. Whitman Richards & Sebastian Seung Artificial Intelligence Lab MIT NE43-767, Cambridge, MA

Algorithms, Games, and Networks February 21, Lecture 12

Information Retrieval Rank aggregation. Luca Bondi

On the Axiomatic Characterization of Runoff Voting Rules

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

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

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

arxiv: v1 [cs.ma] 8 May 2018

Data Reduction and Problem Kernels for Voting Problems

Section 1.4 Proving Conjectures: Deductive Reasoning

Math 130 Final Exam Study Guide. 1. Voting

1 Elementary number theory

Preference Elicitation for Single Crossing Domain

A New Game Chromatic Number

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

Blocking Combinatorial Games

KEY MILESTONES TIMELINE

Extremal Graph Theory: Turán s Theorem

ELEMENTARY NUMBER THEORY AND METHODS OF PROOF

Recall from deadlock lecture. Tuesday, October 18, 2011

Induction and Recursion. CMPS/MATH 2170: Discrete Mathematics

Computational Social Choice in the Cloud

CSE101: Design and Analysis of Algorithms. Ragesh Jaiswal, CSE, UCSD

SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION

DOWNS MODEL OF ELECTIONS

How to reach legitimate decisions when the procedure is controversial

Neural voting machines

Twentieth Annual University of Oregon Eugene Luks Programming Competition

Geometric and Combinatorial Weighted Voting: Some Open Problems

Problems for Op 2013

SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION

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

Sen s Theorem: Geometric Proof and New Interpretations

CSE 124: REPLICATED STATE MACHINES. George Porter November 8 and 10, 2017

Math Introduction to Advanced Mathematics

Winning Positions in Simplicial Nim

A Feasible Region Contraction Algorithm (Frca) for Solving Linear Programming Problems

Parameterized Computational Complexity of Dodgson and Young Elections

k-abortable Objects: Progress under High Contention

CPSC 532L Project Development and Axiomatization of a Ranking System

A class C of objects is universal for some set E of classes if and only if any object in E can be implemented with objects of C (and registers)

The geometry of Black s single peakedness and related conditions

MATHEMATICS 191, FALL 2004 MATHEMATICAL PROBABILITY Outline #1 (Countability and Uncountability)

Chapter 4 Answers. Lesson 4.1. Chapter 4 Answers 1

LECTURE NOTES OF ALGORITHMS: DESIGN TECHNIQUES AND ANALYSIS

Web GENESYS ver 1.1 Application Software (Forms & Reports) Users Guide

Lecture 7: Support Vector Machine

Distributed Algorithms 6.046J, Spring, Nancy Lynch

Lecture 6: Faces, Facets

QuteSat. A Robust Circuit-Based SAT Solver for Complex Circuit Structure. Chung-Yang (Ric) Huang National Taiwan University

Crossing Families. Abstract

Lecture 15. Error-free variable length schemes: Shannon-Fano code

College of Computer & Information Science Fall 2007 Northeastern University 14 September 2007

4&5 Binary Operations and Relations. The Integers. (part I)

Lecture Notes 15 Number systems and logic CSS Data Structures and Object-Oriented Programming Professor Clark F. Olson

5. THE ISOPERIMETRIC PROBLEM

Vertex cuts and group splittings. Bernhard Krön

Agreement in Distributed Systems CS 188 Distributed Systems February 19, 2015

Concurrency Control - Two-Phase Locking

Greedy Algorithms and Matroids. Andreas Klappenecker

11 Sets II Operations

Integers and the Coordinate Plane

The Relative Power of Synchronization Methods

Binary Search and Worst-Case Analysis

Recursion Chapter 3.5

Binary Search and Worst-Case Analysis

Shannon Switching Game

Election Night Reporting Quick Start Guide

G 6i try. On the Number of Minimal 1-Steiner Trees* Discrete Comput Geom 12:29-34 (1994)

Condorcet Consistent Bundling with Social Choice

DESIGNING AN ALL-INCLUSIVE DEMOCRACY DECISION-MAKER

M130 Sample Final Exam

Chapter Seven: Regular Expressions

Math 101 Final Exam Study Notes:

3 A Model for Stream Based Interactive Storytelling

Formal Methods of Software Design, Eric Hehner, segment 24 page 1 out of 5

Announcements. CS 188: Artificial Intelligence Spring Generative vs. Discriminative. Classification: Feature Vectors. Project 4: due Friday.

Use the following preference schedule to answer questions #1 - #4. Number of Voters st choice 2 nd Choice 3 rd choice 4 th choice

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.

It All Depends on How You Slice It: An Introduction to Hyperplane Arrangements

3 and 4-Bandwidth Critical Graphs

Recursion and Structural Induction

Information Fusion Dr. B. K. Panigrahi

Section 17. Closed Sets and Limit Points

Introduction to Embedded Systems

Solutions to Assignment 5

Understanding how searchers work is essential to creating compelling content and ads We will discuss

arxiv: v1 [math.co] 7 Dec 2018

Transcription:

. Voting Methods and Colluding Voters Christopher Hanusa Binghamton University December 3, 2007

Outline Voting Methods Plurality/Majority and refinements Ranked Pairs Borda Count Let s vote! Mathematics of the Borda Count Disorderings of Candidates Proofs involving Disorderings 1

Plurality/Majority Goal: Ensure that the elected candidate has the support of a majority. Method: Each person gets one vote. The candidate with the most votes wins. Two-candidate Runoff. Keep the top two candidates Hold a runoff election Instant Runoff Voting. Rank as many candidates as desired. Redistribute non-winning votes. 2

Ranked Pairs Goal: Elect the candidate who would win each head-to-head election. (A Condorcet winner) A B C B C A C A B Careful! A > B > C > A Method: Each person ranks all the candidates. Determine who wins between c i and c j. Choose the strongest preference and lock it in. Ensure no ambiguity is created. Example: A A C B C A C B B 3

Borda Count Goal: Choose a consensus candidate. Method: Each person ranks all n candidates. Allot n points to the top-ranked candidate. Allot n 1 points to the next-top-ranked candidate. and so on... The candidate with the most number of points wins. 4

Let s vote! Plurality/Majority: Tally the first preferences. Winner: Instant Runoff: When a candidate is eliminated, redistribute the votes to the next preferences. Winner: Ranked Pairs: Determine and lock in strongest head-to-head preferences. Winner: Borda Count: Allot [n, n 1, n 2,...,1] points based on preferences; determine point winner. Winner: 5

Pros, Cons, and Facts Plurality Refinements: Pro: Candidate elected by a majority Pro: Second preferences expressible Con: Secondary support may be strong Fact: Favors candidates with strong ideology Ranked Pairs and Borda Count: Pro: (RP) Condorcet winner always elected Pro: (BC) Tries to maximize voter satisfaction Pro: All preferences influence election Con: Requires full ranking by voters Con: Same weight given to each rank Con: Subject to strategic voting Fact: Favors consensus building candidates Fact: Disincentive for candidates to share ideology Fact: (BC) May not elect candidate favored by majority 6

Mathematics of the Borda Count With three candidates, use the scoring rule: [3,2,1] Voter 1 Voter 2 Voter 3 1 st A A B 3 2 nd B C C 2 3 rd C B A 1 Candidate A: 3 + 3 + 1 = 7 points Candidate B: 2 + 1 + 3 = 6 points Candidate C: 1 + 2 + 2 = 5 points 7

Generalization of the Borda Count In the Borda Count, the scoring rule [ n, n 1, n 2,..., 3, 2, 1] becomes the normalized scoring rule [1, n 2 n 1, n 3 n 1,..., 2 n 1, 1 n 1,0] 8

Modifying the scoring rule 1999 AL baseball MVP voting: [14,9,8,7,6,5,4,3,2,1] which yields [1,0.62,0.54,0.46,0.38,0.31,0.23,0.15,0.08,0] instead of [1,0.89,0.78,0.67,0.56,0.44,0.33,0.22,0.11,0] Called positional voting. A normalized scoring rule is always of the form: [1, x n 2, x n 3,..., x 1,0], with 1 x n 2 x 1 0 Question: If we vary these x s, can different candidates win with the same votes? 9

YES! Consider these candidate preferences of 9 voters: 4 voters 3 voters 2 voters 1 st B A A 1 2 nd C C B x 3 rd A B C 0 Under the scoring rule [1, x,0], A receives 5 points. B receives 4 + 2x points. C receives 7x points. As x varies, the candidate with the highest point total changes. 10

Everyone wins! 7 6 5 4 3 2 1 0 0 0.2 0.4 0.6 0.8 1.0 x[2] A set of voters preferences generates a hyperplane arrangement. 11

Disordering Candidates We say that m voters can disorder n candidates if there exists a set of preferences such that each of the n candidates can win under some scoring rule. Such a set of preferences is called a disordering. 12

Disordering Candidates We saw that 9 voters can disorder 3 candidates. Question: For which values of m and n can m voters disorder n candidates? Partial answer: the minimum m for 3 candidates is m = 9. Some number of voters can disorder 4 candidates. 13

Disordering Candidates 9 voters can disorder 3 candidates 6 voters can disorder 4 candidates only 4 voters are necessary to disorder 5 candidates and 9 candidates can be disordered by 3 voters! m\ n 3 4 5 6 7 8 9 3 4 5 6 7 8 9 for larger m and n, m voters can always disorder n candidates 14

Why? Analyze the 4-candidate situation: A scoring rule is now of the form [1, x, y,0], with 1 x y 0 More degrees of freedom! A set of voter preferences is now represented by a 3-D hyperplane arrangement over the triangular region 1.0 0.75 y 0.5 0.25 0.0 0.0 0.25 0.5 x 0.75 1.0 15

4-candidate example c 3 c 1 c 1 c 2 c 2 c 1 c 2 c 2 c 3 c 3 c 3 c 4 c 4 c 4 c 4 c 4 c 4 c 3 c 1 c 3 c 2 c 1 c 1 c 2 6 5 4 3 2 0.25 1 0.0 0. 0 0.25 y 0.5 0.75 1.0 x 0.5 0.75 1.0 16

5-candidate example c 1 c 1 c 5 c 4 c 2 c 3 c 2 c 2 c 3 c 5 c 3 c 5 c 4 c 4 c 4 c 3 c 5 c 2 c 1 c 1 [1, x, y,0,0] [1, x, y,0.8,0] 3.75 0.25 3.0 2.5 2.0 1.5 1.0 0.50.0 0.0 0.25 y 0.5 0.75 1.0 3.5 3.25 3.0 2.75 2.5 2.25 0.8 2.0 0.8 0.85 y 0.95 0.9 1.0 x 0.5 0.85 0.75 x 0.9 1.0 0.95 1.0 17

Theorem Claim: A collection of m voters can disorder n candidates whenever m 3 and n 3, except when m = 3 and n 8, when n = 3 and m 8, and when n = 4 and m = 4,5. m\ n 3 4 5 6 7 8 9 10 11 12 3 4 5 6 7 8 9 10 11 12 18

Proof of Theorem m 2 n 2 Prove s Create infinite families of disorderings. Lemma: From special (m, n): more voters Lemma: From special (m, n): more candidates Generate the special disorderings. 19

m, n 2 s -fam special Simple Cases Two voters can disorder no number of candidates No number of voters can disorder two candidates 20

m, n 2 s -fam special A Necessary Condition for Disorderings What must be true in a disordering? c 1 c 1 c 5 c 4 1 c 2 c 3 c 2 c 2 x 3 c 3 c 5 c 3 c 5 x 2 c 4 c 4 c 4 c 3 x 1 c 5 c 2 c 1 c 1 0 For candidate c 1 to be able to win over c 2 : For candidate c 2 to be able to win over c 1 : Necessary condition: If two candidates c 1 and c 2 are disordered, then there must exist integers j and k such that R j (c 1 ) > R j (c 2 ) and R k (c 1 ) < R k (c 2 ). 21

m, n 2 s -fam special Computer Assistance Choose m and n Generate all sets of voter preferences. Check the necessary condition for each. If n.c. satisfied, verify whether disordering. This condition is not sufficient! 4.0 3.6 3.2 2.8 2.4 2.0 1.6 c 1 c 1 c 2 c 3 c 2 c 4 c 4 c 4 c 3 c 3 c 3 c 2 0.3 0.2 0.1 1.2 0.8 0.4 0.0 0.0 0.1 0.2 0.3 0.4 y 0.5 0.6 0.7 0.8 0.9 1.0 c 4 c 2 c 1 c 1 x 0.5 0.4 0.6 0.7 0.8 1.0 0.9 22

m, n 2 s -fam special A New Disordering from an Old Whenever m voters disorder n candidates, m + n voters can disorder n candidates as well. (m, n) (m + n, n) 23

m, n 2 s -fam special Splittable Disorderings Sometimes it is possible to add a candidate to an existing disordering in a simple fashion. If so, we call the disordering splittable. Not only can we add one candidate, we can add n candidates. 24

m, n 2 s -fam special Generated Disorderings m\ n 3 4 5 6 7 8 9 10 11 12 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 25

Thanks! I am: Christopher Hanusa http://qc.edu/ chanusa/ Additional reading: Electoral Process: ACE Encyclopaedia (UN) http://aceproject.org/ace-en Geometry of the Borda Count: Millions of election outcomes from a single profile, by Donald Saari Preprint of this research: Ensuring every candidate wins under positional voting, available on the above website. 26