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

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend