SOCIAL CHOICE THEORY A mathematical theory that deals with - - PowerPoint PPT Presentation

β–Ά
social choice theory
SMART_READER_LITE
LIVE PREVIEW

SOCIAL CHOICE THEORY A mathematical theory that deals with - - PowerPoint PPT Presentation

T RUTH J USTICE A LGOS Social Choice I: Basic Concepts Teachers: Ariel Procaccia (this time) and Alex Psomas SOCIAL CHOICE THEORY A mathematical theory that deals with aggregation of individual preferences Origins in ancient Greece


slide-1
SLIDE 1

ALGOS TRUTH JUSTICE

Social Choice I: Basic Concepts

Teachers: Ariel Procaccia (this time) and Alex Psomas

slide-2
SLIDE 2

SOCIAL CHOICE THEORY

  • A mathematical theory that

deals with aggregation of individual preferences

  • Origins in ancient Greece
  • Formal foundations: 18th

Century (Condorcet and Borda)

  • 19th Century: Charles

Dodgson

  • 20th Century: Nobel prizes to

Arrow and Sen

slide-3
SLIDE 3

THE VOTING MODEL

  • Set of voters 𝑂 = {1, … , π‘œ}
  • Set of alternatives 𝐡; denote |𝐡| = 𝑛
  • Each voter has a ranking πœπ‘— ∈ L over

the alternatives; 𝑦 ≻𝑗 𝑧 means that voter 𝑗 prefers 𝑦 to 𝑧

  • A preference profile 𝝉 ∈ Lπ‘œ is a

collection of all voters’ rankings

  • A voting rule is a function 𝑔: Lπ‘œ β†’ 𝐡
slide-4
SLIDE 4

VOTE OVER CUISINES

slide-5
SLIDE 5

VOTING RULES

  • A positional scoring rule is defined by a

score vector (𝑑1, … , 𝑑𝑛)

  • Each voter gives 𝑑𝑙 points to the

alternative ranked in position 𝑙

  • Alternative with most points wins
  • Examples:
  • Plurality: (1,0, … , 0)
  • Borda: (𝑛 βˆ’ 1, 𝑛 βˆ’ 2, … , 0)
slide-6
SLIDE 6

Lordi Eurovision 2006 winners

slide-7
SLIDE 7

MORE VOTING RULES

  • 𝑦 beats 𝑧 in a pairwise election if

the majority of voters prefer 𝑦 to 𝑧, i.e., 𝑗 ∈ 𝑂: 𝑦 ≻𝑗 𝑧 > π‘œ/2

  • Plurality with runoff
  • First round: two alternatives with

highest plurality scores survive

  • Second round: pairwise election

between these two alternatives

slide-8
SLIDE 8

MORE VOTING RULES

  • Single Transferable vote (STV)
  • 𝑛 βˆ’ 1 rounds
  • In each round, alternative with least

plurality votes is eliminated

  • Alternative left standing is the winner
  • Used in:
  • Ireland, Malta, Australia, and New Zealand
  • US: Maine (governor, US congress), cities

like San Francisco and Cambridge

slide-9
SLIDE 9

STV: EXAMPLE

2 voters 2 voters 1 voter 𝑏 𝑐 𝑑 𝑐 𝑏 𝑒 𝑑 𝑒 𝑐 𝑒 𝑑 𝑏 2 voters 2 voters 1 voter 𝑏 𝑐 𝑑 𝑐 𝑏 𝑐 𝑑 𝑑 𝑏 2 voters 2 voters 1 voter 𝑏 𝑐 𝑐 𝑐 𝑏 𝑏 2 voters 2 voters 1 voter 𝑐 𝑐 𝑐

slide-10
SLIDE 10

MARQUIS DE CONDORCET

  • 18th Century French

Mathematician, philosopher, political scientist

  • One of the leaders of the

French revolution

  • After the revolution

became a fugitive

  • His cover was blown and he

died mysteriously in prison

slide-11
SLIDE 11

CONDORCET WINNER

  • Recall: 𝑦 beats 𝑧 in a pairwise election if a

majority of voters rank 𝑦 above 𝑧

  • Condorcet winner beats every other

alternative in pairwise election

  • The Condorcet Paradox: There may be a

cycle in the majority preference relation

1 2 3 𝑏 𝑑 𝑐 𝑐 𝑏 𝑑 𝑑 𝑐 𝑏

𝑏 𝑐 𝑑

slide-12
SLIDE 12

CONDORCET CONSISTENCY

  • A voting rule is Condorcet consistent if it

selects a Condorcet winner whenever one exists

Which rule is Condorcet consistent?

  • Plurality
  • Both rules
  • Borda count
  • Neither one

Poll 1

?

slide-13
SLIDE 13

CONDORCET CONSISTENCY

  • Theorem: No positional scoring rule is

Condorcet consistent

  • Proof:
  • Assume for ease of

exposition that 𝑑𝑗 > 𝑑𝑗+1 for all 𝑗

  • Consider the profile on

the right

  • 𝑏 is a Condorcet winner
  • Scores are 3𝑑1 + 2𝑑2 + 2𝑑3 for 𝑏, 3𝑑1 + 3𝑑2 + 𝑑3

for 𝑐, so 𝑐 is selected ∎

3 voters 2 voters 1 voter 1 voter 𝑏 𝑐 𝑐 𝑑 𝑐 𝑑 𝑏 𝑏 𝑑 𝑏 𝑑 𝑐

slide-14
SLIDE 14

CONDORCET CONSISTENCY

  • Copeland
  • Alternative’s score is #alternatives it

beats in pairwise elections

  • Why does Copeland satisfy the Condorcet

criterion?

  • Maximin
  • Score of 𝑦 is min𝑧 |{𝑗 ∈ 𝑂: 𝑦 ≻𝑗 𝑧}|
  • Why does Maximin satisfy the Condorcet

criterion?

slide-15
SLIDE 15

DODGSON’S RULE

  • Distance function between profiles: #swaps

between adjacent alternatives

  • Dodgson score of 𝑦 is the min distance from

a profile where 𝑦 is a Condorcet winner

  • Dodgson’s rule: select alternative that

minimizes Dodgson score

  • The problem of computing the Dodgson

score is NP-complete!

slide-16
SLIDE 16

DODGSON UNLEASHED

Voter 1

𝑏 𝑐 𝑑 𝑒 𝑓

Voter 2

𝑐 𝑏 𝑑 𝑒 𝑓

Voter 3

𝑓 𝑐 𝑑 𝑏 𝑒

Voter 4

𝑓 𝑑 𝑒 𝑐

Voter 5

𝑐 𝑓 𝑒 𝑑 𝑏 𝑏

slide-17
SLIDE 17

MONOTONICITY

  • We say that 𝝉′ is obtained from 𝝉 by pushing 𝑦 ∈ 𝐡

upwards if for all 𝑗 ∈ 𝑂 and 𝑧 ∈ 𝐡, 𝑦 ≻𝑗 𝑧 β‡’ 𝑦 ≻𝑗

β€² 𝑧, and for all 𝑧, 𝑨 β‰  𝑦, 𝑧 ≻𝑗 𝑨 ⇔ 𝑧 ≻𝑗 β€² 𝑨

  • A voting rule is monotonic if whenever 𝑔(𝝉) = 𝑦,

and 𝝉′ is obtained from 𝝉 by pushing 𝑦 upwards, then 𝑔(𝝉′) = 𝑦

Which rule is not monotonic?

  • Plurality
  • STV
  • Borda count
  • Copeland

Poll 2

?

slide-18
SLIDE 18

STV IS NOT MONOTONIC

  • 𝑑 is the winner in the following profile:
  • But 𝑐 becomes the winner if the rightmost voters

push 𝑑 upwards:

6 voters 2 voters 3 voter 4 voter 2 voters 𝑑 𝑐 𝑐 𝑏 𝑏 𝑏 𝑏 𝑑 𝑐 𝑑 𝑐 𝑑 𝑏 𝑑 𝑐 6 voters 2 voters 3 voter 4 voter 2 voters 𝑑 𝑐 𝑐 𝑏 𝑑 𝑏 𝑏 𝑑 𝑐 𝑏 𝑐 𝑑 𝑏 𝑑 𝑐

slide-19
SLIDE 19

AWESOME EXAMPLE

33 voters 16 voters 3 voters 8 voters 18 voters 22 voters 𝑏 𝑐 𝑑 𝑑 𝑒 𝑓 𝑐 𝑒 𝑒 𝑓 𝑓 𝑑 𝑑 𝑑 𝑐 𝑐 𝑑 𝑐 𝑒 𝑓 𝑏 𝑒 𝑐 𝑒 𝑓 𝑏 𝑓 𝑏 𝑏 𝑏

Different rules select different winners: Plurality (𝑏), Borda count (𝑐), Copeland and Maximin (𝑑 is a Condorcet winner), STV (𝑒), and Plurality with runoff (𝑓)

slide-20
SLIDE 20

IS SOCIAL CHOICE PRACTICAL?

  • UK referendum (2011):

Choose between plurality and STV as a method for electing MPs

  • Academics agreed STV is

better...

  • ... but STV seen as beneficial

to the hated Nick Clegg

  • Hard to change political

elections!

slide-21
SLIDE 21

COMPUTATIONAL SOCIAL CHOICE

However, in emerging paradigms of democracy and tools for group decision making, the designer is free to choose any voting rule!

slide-22
SLIDE 22

LIQUID DEMOCRACY

Monarchy or dictatorship Direct democracy Representative democracy Liquid democracy

6 2

slide-23
SLIDE 23

VIRTUAL DEMOCRACY

slide-24
SLIDE 24