csc2556 lecture 2 manipulation in voting
play

CSC2556 Lecture 2 Manipulation in Voting Credit for many visuals: - PowerPoint PPT Presentation

CSC2556 Lecture 2 Manipulation in Voting Credit for many visuals: Ariel D. Procaccia CSC2556 - Nisarg Shah 1 Recap Voting voters, alternatives Each voter expresses a ranked preference Voting rule o


  1. CSC2556 Lecture 2 Manipulation in Voting Credit for many visuals: Ariel D. Procaccia CSC2556 - Nisarg Shah 1

  2. Recap β€’ Voting ➒ π‘œ voters, 𝑛 alternatives ➒ Each voter 𝑗 expresses a ranked preference ≻ 𝑗 ➒ Voting rule 𝑔 o Takes as input the collection of preferences ≻ o Returns a single alternative β€’ A plethora of voting rule ➒ Plurality, Borda count, STV, Kemeny, Copeland, maximin, … CSC2556 - Nisarg Shah 2

  3. Incentives β€’ Can a voting rule incentivize voters to truthfully report their preferences? β€’ Strategyproofness ➒ A voting rule is strategyproof if a voter cannot submit a false preference and get a more preferred alternative (under her true preference) elected, irrespective of the preferences of other voters. ➒ Formally, a voting rule 𝑔 is strategyproof if there is no β€² s.t. preference profile ≻ , voter 𝑗 , and false preference ≻ 𝑗 β€² 𝑔 ≻ βˆ’π‘— , ≻ 𝑗 ≻ 𝑗 𝑔 ≻ CSC2556 - Nisarg Shah 3

  4. Strategyproofness β€’ None of the rules we saw are strategyproof! β€’ Example: Borda Count ➒ In the true profile, 𝑐 wins ➒ Voter 3 can make 𝑏 win by pushing 𝑐 to the end 1 2 3 1 2 3 b b a b b a a a b a a c Winner Winner c c c c c d b a d d d d d b CSC2556 - Nisarg Shah 4

  5. Borda’s Response to Critics My scheme is intended only for honest men! Random 18 th century French dude CSC2556 - Nisarg Shah 5

  6. Strategyproofness β€’ Are there any strategyproof rules? ➒ Sure β€’ Dictatorial voting rule ➒ The winner is always the most Dictatorship preferred alternative of voter 𝑗 β€’ Constant voting rule ➒ The winner is always the same β€’ Not satisfactory (for most cases) Constant function CSC2556 - Nisarg Shah 6

  7. Three Properties β€’ Strategyproof: Already defined. No voter has an incentive to misreport. β€’ Onto: Every alternative can win under some preference profile. β€’ Nondictatorial: There is no voter 𝑗 such that 𝑔 ≻ is always the alternative most preferred by voter 𝑗 . CSC2556 - Nisarg Shah 7

  8. Gibbard-Satterthwaite β€’ Theorem: For 𝑛 β‰₯ 3 , no deterministic social choice function can be strategyproof, onto, and nondictatorial simultaneously  β€’ Proof: We will prove this for π‘œ = 2 voters. ➒ Step 1: Show that SP implies β€œstrong monotonicity” [Assignment] ➒ Strong Monotonicity (SM): If 𝑔 ≻ = 𝑏 , and ≻ β€² is such that β€² 𝑦 , then 𝑔 ≻ β€² = 𝑏 . βˆ€π‘— ∈ 𝑂, 𝑦 ∈ 𝐡: 𝑏 ≻ 𝑗 𝑦 β‡’ 𝑏 ≻ 𝑗 o If 𝑏 still defeats every alternative it defeated in every vote in ≻ , it should still win. CSC2556 - Nisarg Shah 8

  9. Gibbard-Satterthwaite β€’ Theorem: For 𝑛 β‰₯ 3 , no deterministic social choice function can be strategyproof, onto, and nondictatorial simultaneously  β€’ Proof: We will prove this for π‘œ = 2 voters. ➒ Step 2: Show that SP+onto implies β€œPareto optimality” [Assignment] ➒ Pareto Optimality (PO): If 𝑏 ≻ 𝑗 𝑐 for all 𝑗 ∈ 𝑂 , then 𝑔 ≻ β‰  𝑐 . o If there is a different alternative that everyone prefers, your choice is not Pareto optimal (PO). CSC2556 - Nisarg Shah 9

  10. Gibbard-Satterthwaite β€’ Proof for n=2: Consider problem instance 𝐽(𝑏, 𝑐) β€² ≻ 𝟐 ≻ πŸ‘ ≻ 𝟐 ≻ πŸ‘ β€²β€² β€²β€² ≻ 𝟐 ≻ πŸ‘ a b a b a b a A b A N 𝐽(𝑏, 𝑐) N Y Y a 𝑔 ≻ 1 , ≻ 2 ∈ {𝑏, 𝑐} 𝑔 ≻ β€²β€² = 𝑏 β€² 𝑔 ≻ 1 , ≻ 2 = 𝑏 ➒ PO β€² β€’ PO: 𝑔 ≻ 1 , ≻ 2 β€’ Due to strong ∈ {a, b} β€² β€’ SP: 𝑔 ≻ 1 , ≻ 2 Say 𝑔 ≻ 1 , ≻ 2 = 𝑏 β‰  𝑐 monotonicity CSC2556 - Nisarg Shah 10

  11. Gibbard-Satterthwaite β€’ Proof for n=2: ➒ If 𝑔 outputs 𝑏 on instance 𝐽(𝑏, 𝑐) , voter 1 can get 𝑏 elected whenever she puts 𝑏 first. o In other words, voter 1 becomes dictatorial for 𝑏 . o Denote this by 𝐸(1, 𝑏) . ➒ If 𝑔 outputs 𝑐 on 𝐽(𝑏, 𝑐) o Voter 2 becomes dictatorial for 𝑐 , i.e., we have 𝐸(2, 𝑐) . β€’ For every (𝑏, 𝑐) , we have either 𝐸 1, 𝑏 or 𝐸 2, 𝑐 . CSC2556 - Nisarg Shah 11

  12. Gibbard-Satterthwaite β€’ Proof for n=2: ➒ Fix 𝑏 βˆ— and 𝑐 βˆ— . Suppose 𝐸 1, 𝑏 βˆ— holds. ➒ Then, we show that voter 1 is a dictator. o That is, 𝐸(1, 𝑑) holds for every 𝑑 β‰  𝑏 βˆ— as well. ➒ Take 𝑑 β‰  𝑏 βˆ— . Because 𝐡 β‰₯ 3 , there exists 𝑒 ∈ 𝐡\{𝑏 βˆ— , 𝑑} . ➒ Consider 𝐽(𝑑, 𝑒) . We either have 𝐸(1, 𝑑) or 𝐸 2, 𝑒 . ➒ But 𝐸(2, 𝑒) is incompatible with 𝐸(1, 𝑏 βˆ— ) o Who would win if voter 1 puts 𝑏 βˆ— first and voter 2 puts 𝑒 first? ➒ Thus, we have 𝐸(1, 𝑑) , as required. ➒ QED! CSC2556 - Nisarg Shah 12

  13. Circumventing G-S β€’ Restricted preferences (later in the course) ➒ Not allowing all possible preference profiles ➒ Example: single-peaked preferences o Alternatives are on a line (say 1D political spectrum) o Voters are also on the same line o Voters prefer alternatives that are closer to them β€’ Use of money (later in the course) ➒ Require payments from voters that depend on the preferences they submit ➒ Prevalent in auctions CSC2556 - Nisarg Shah 13

  14. Circumventing G-S β€’ Randomization (later in this lecture) β€’ Equilibrium analysis ➒ How will strategic voters act under a voting rule that is not strategyproof? ➒ Will they reach an β€œequilibrium” where each voter is happy with the (possibly false) preference she is submitting? β€’ Restricting information ➒ Can voters successfully manipulate if they don’t know the votes of the other voters? CSC2556 - Nisarg Shah 14

  15. Circumventing G-S β€’ Computational complexity ➒ So we need to use a rule that is the rule is manipulable. ➒ Can we make it NP-hard for voters to manipulate? [Bartholdi et al., SC&W 1989] ➒ NP-hardness can be a good thing! β€’ 𝑔 -M ANIPULATION problem (for a given voting rule 𝑔 ): ➒ Input: Manipulator 𝑗 , alternative π‘ž , votes of other voters (non-manipulators) ➒ Output: Can the manipulator cast a vote that makes π‘ž uniquely win under 𝑔 ? CSC2556 - Nisarg Shah 15

  16. Example: Borda β€’ Can voter 3 make 𝑏 win? 1 2 3 1 2 3 b b b b a a a a a c c c c c d d d d d b CSC2556 - Nisarg Shah 16

  17. A Greedy Algorithm β€’ Goal: The manipulator wants to make alternative π‘ž win uniquely β€’ Algorithm: ➒ Rank π‘ž in the first place ➒ While there are unranked alternatives: o If there is an alternative that can be placed in the next spot without preventing π‘ž from winning, place this alternative. o Otherwise, return false. CSC2556 - Nisarg Shah 17

  18. Example: Borda 1 2 3 1 2 3 1 2 3 b b a b b a b b a a a a a b a a c c c c c c c d d d d d d 1 2 3 1 2 3 1 2 3 b b a b b a b b a a a c a a c a a c c c b c c d c c d d d d d d d b CSC2556 - Nisarg Shah 18

  19. Example: Copeland 1 2 3 4 5 a b c d e a a b e e a - 2 3 5 3 b b a c c 3 - 2 4 2 c c d b b 2 2 - 3 1 d d e a a 0 0 1 - 2 e e c d d 2 2 3 2 - Preference profile Pairwise elections CSC2556 - Nisarg Shah 19

  20. Example: Copeland 1 2 3 4 5 a b c d e a a b e e a - 2 3 5 3 b b a c c c 3 - 2 4 2 c c d b b 2 3 - 4 2 d d e a a 0 0 1 - 2 e e c d d 2 2 3 2 - Preference profile Pairwise elections CSC2556 - Nisarg Shah 20

  21. Example: Copeland 1 2 3 4 5 a b c d e a a b e e a - 2 3 5 3 b b a c c c 3 - 2 4 2 c c d b b d 2 3 - 4 2 d d e a a 0 1 1 - 3 e e c d d 2 2 3 2 - Preference profile Pairwise elections CSC2556 - Nisarg Shah 21

  22. Example: Copeland 1 2 3 4 5 a b c d e a a b e e a - 2 3 5 3 b b a c c c 3 - 2 4 2 c c d b b d 2 3 - 4 2 d d e a a e 0 1 1 - 3 e e c d d 2 3 3 2 - Preference profile Pairwise elections CSC2556 - Nisarg Shah 22

  23. Example: Copeland 1 2 3 4 5 a b c d e a a b e e a - 2 3 5 3 b b a c c c 3 - 2 4 2 c c d b b d 2 3 - 4 2 d d e a a e 0 1 1 - 3 e e c d d b 2 3 3 2 - Preference profile Pairwise elections CSC2556 - Nisarg Shah 23

  24. When does this work? β€’ Theorem [Bartholdi et al., SCW 89]: Fix voter 𝑗 and votes of other voters. Let 𝑔 be a rule for which βˆƒ function 𝑑(≻ 𝑗 , 𝑦) such that: 1. For every ≻ 𝑗 , 𝑔 chooses a candidate 𝑦 that uniquely maximizes 𝑑(≻ 𝑗 , 𝑦) . β€² 𝑧 β‡’ 𝑑 ≻ 𝑗 , 𝑦 ≀ 𝑑 ≻ 𝑗 β€² , 𝑦 2. 𝑧 ∢ 𝑦 ≻ 𝑗 𝑧 βŠ† 𝑧 ∢ 𝑦 ≻ 𝑗 Then the greedy algorithm solves 𝑔 -M ANIPULATION correctly. β€’ Question: What is the function 𝑑 for plurality? CSC2556 - Nisarg Shah 24

  25. Proof of the Theorem ≻ 𝑗 β€’ Say the algorithm creates a partial π‘ž ranking ≻ 𝑗 and then fails, i.e., every Output of 𝑐 algo next choice prevents π‘ž from winning 𝑒 β€² β€’ Suppose for contradiction that ≻ 𝑗 𝑣 𝑏 could make π‘ž uniquely win β€² ≻ 𝑗 𝑑 β€’ 𝑉 ← alternatives not ranked in ≻ 𝑗 𝑐 β€’ 𝑣 ← highest ranked alternative in 𝑉 π‘ž β€² according to ≻ 𝑗 𝑏 𝑒 𝑉 = {𝑏, 𝑑} β€’ Complete ≻ 𝑗 by adding 𝑣 next, and 𝑑 then other alternatives arbitrarily CSC2556 - Nisarg Shah 25

Recommend


More recommend