a difficulty in the concept of social welfare - bguorenrot/files/arrow-thm.pdf · 2016. 11. 27. ·...
TRANSCRIPT
Introduction Proof Conclusion
A Difficulty in the Concept of Social Welfare
KENNETH J. ARROW
Oren Roth - Ben-Gurion University, Beer-Sheva, Israel
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion
1 IntroductionThe problemFormalization
2 ProofTheorem Proof
3 Conclusion
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Definition of the problem
We paased couple of weeks in our seminar, let say we want totake all the lecturs we saw already...
and give some order on them (prefernces)
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Definition of the problem
We paased couple of weeks in our seminar, let say we want totake all the lecturs we saw already...and give some order on them (prefernces)
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Definition of the problem
So we will ask all the students in the seminar (and Paz aswell) to give us an order on all of the lectures.
We want some mechanism to take all those orders andcombine it to one aggregate order.
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Definition of the problem
So we will ask all the students in the seminar (and Paz aswell) to give us an order on all of the lectures.We want some mechanism to take all those orders andcombine it to one aggregate order.
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Definition of the problem
We will want to keep some basic rules:
UnanimityIndependence of irrelevant alternatives
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Definition of the problem
We will want to keep some basic rules:
Unanimity
Independence of irrelevant alternatives
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Definition of the problem
We will want to keep some basic rules:
UnanimityIndependence of irrelevant alternatives
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Definition of the problem
We will want to keep some basic rules:
UnanimityIndependence of irrelevant alternatives
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Definition of the problem
We will want to keep some basic rules:
UnanimityIndependence of irrelevant alternatives
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Definition of the problem
We will want to keep some basic rules:
UnanimityIndependence of irrelevant alternatives
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Definition of the problem
So what Arrow THM shows as that the only why to keep thissimple rules is by having...
Dictator!
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Definition of the problem
So what Arrow THM shows as that the only why to keep thissimple rules is by having...
Dictator!
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Definition of the problem
So what Arrow THM shows as that the only why to keep thissimple rules is by having...
Dictator!
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Formalization
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Formal definitions
Assumption: n voters give their complete ranking on set A ofalternatives
L the set of linear orders on A (permutation).
Each voter i provides <i in L
Input to the aggregator/voting rule is (<1, <2, . . . , <n)
Our Goal: find a function W : Ln → L, (called a social welfarefunction) that aggregates voters preference into a commonorder
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Formal definitions
Assumption: n voters give their complete ranking on set A ofalternatives
L the set of linear orders on A (permutation).
Each voter i provides <i in L
Input to the aggregator/voting rule is (<1, <2, . . . , <n)
Our Goal: find a function W : Ln → L, (called a social welfarefunction) that aggregates voters preference into a commonorder
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Formal definitions
Assumption: n voters give their complete ranking on set A ofalternatives
L the set of linear orders on A (permutation).
Each voter i provides <i in L
Input to the aggregator/voting rule is (<1, <2, . . . , <n)
Our Goal: find a function W : Ln → L, (called a social welfarefunction) that aggregates voters preference into a commonorder
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Formal definitions
Assumption: n voters give their complete ranking on set A ofalternatives
L the set of linear orders on A (permutation).
Each voter i provides <i in L
Input to the aggregator/voting rule is (<1, <2, . . . , <n)
Our Goal: find a function W : Ln → L, (called a social welfarefunction) that aggregates voters preference into a commonorder
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Formal definitions
Assumption: n voters give their complete ranking on set A ofalternatives
L the set of linear orders on A (permutation).
Each voter i provides <i in L
Input to the aggregator/voting rule is (<1, <2, . . . , <n)
Our Goal: find a function W : Ln → L, (called a social welfarefunction) that aggregates voters preference into a commonorder
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Arrows Impossibility Theorem
Every Social Welfare Function W over a set A of at least 3candidates, If it satisfies:
UnanimityW (<,<, . . . , <) =<for all < in L
Independence of irrelevant alternatives
Let (<1, <2, . . . , <n) and (<′1, <
′2, . . . , <
′n) s.t.
W (<1, <2, . . . , <n) =< and W (<′1, <
′2, . . . , <
′n) = W ′
if ∀i a <i b ⇐⇒ a <′i b therefore
a < b ⇐⇒ a′ < b
Then it is dictatorial:
there exists a voter i whereW (<1, <2, . . . , <n) =<i
for all <1, <2, . . . , <n in L
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Arrows Impossibility Theorem
Every Social Welfare Function W over a set A of at least 3candidates, If it satisfies:
UnanimityW (<,<, . . . , <) =<for all < in L
Independence of irrelevant alternatives
Let (<1, <2, . . . , <n) and (<′1, <
′2, . . . , <
′n) s.t.
W (<1, <2, . . . , <n) =< and W (<′1, <
′2, . . . , <
′n) = W ′
if ∀i a <i b ⇐⇒ a <′i b therefore
a < b ⇐⇒ a′ < b
Then it is dictatorial:
there exists a voter i whereW (<1, <2, . . . , <n) =<i
for all <1, <2, . . . , <n in L
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Arrows Impossibility Theorem
Every Social Welfare Function W over a set A of at least 3candidates, If it satisfies:
UnanimityW (<,<, . . . , <) =<for all < in L
Independence of irrelevant alternatives
Let (<1, <2, . . . , <n) and (<′1, <
′2, . . . , <
′n) s.t.
W (<1, <2, . . . , <n) =< and W (<′1, <
′2, . . . , <
′n) = W ′
if ∀i a <i b ⇐⇒ a <′i b therefore
a < b ⇐⇒ a′ < b
Then it is dictatorial:
there exists a voter i whereW (<1, <2, . . . , <n) =<i
for all <1, <2, . . . , <n in L
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Arrows Impossibility Theorem
Every Social Welfare Function W over a set A of at least 3candidates, If it satisfies:
UnanimityW (<,<, . . . , <) =<for all < in L
Independence of irrelevant alternativesLet (<1, <2, . . . , <n) and (<′
1, <′2, . . . , <
′n) s.t.
W (<1, <2, . . . , <n) =< and W (<′1, <
′2, . . . , <
′n) = W ′
if ∀i a <i b ⇐⇒ a <′i b therefore
a < b ⇐⇒ a′ < b
Then it is dictatorial:
there exists a voter i whereW (<1, <2, . . . , <n) =<i
for all <1, <2, . . . , <n in L
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Arrows Impossibility Theorem
Every Social Welfare Function W over a set A of at least 3candidates, If it satisfies:
UnanimityW (<,<, . . . , <) =<for all < in L
Independence of irrelevant alternativesLet (<1, <2, . . . , <n) and (<′
1, <′2, . . . , <
′n) s.t.
W (<1, <2, . . . , <n) =< and W (<′1, <
′2, . . . , <
′n) = W ′
if ∀i a <i b ⇐⇒ a <′i b therefore
a < b ⇐⇒ a′ < b
Then it is dictatorial:
there exists a voter i whereW (<1, <2, . . . , <n) =<i
for all <1, <2, . . . , <n in L
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Arrows Impossibility Theorem
Every Social Welfare Function W over a set A of at least 3candidates, If it satisfies:
UnanimityW (<,<, . . . , <) =<for all < in L
Independence of irrelevant alternativesLet (<1, <2, . . . , <n) and (<′
1, <′2, . . . , <
′n) s.t.
W (<1, <2, . . . , <n) =< and W (<′1, <
′2, . . . , <
′n) = W ′
if ∀i a <i b ⇐⇒ a <′i b therefore
a < b ⇐⇒ a′ < b
Then it is dictatorial:
there exists a voter i whereW (<1, <2, . . . , <n) =<i
for all <1, <2, . . . , <n in L
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Arrows Impossibility Theorem
Every Social Welfare Function W over a set A of at least 3candidates, If it satisfies:
UnanimityW (<,<, . . . , <) =<for all < in L
Independence of irrelevant alternativesLet (<1, <2, . . . , <n) and (<′
1, <′2, . . . , <
′n) s.t.
W (<1, <2, . . . , <n) =< and W (<′1, <
′2, . . . , <
′n) = W ′
if ∀i a <i b ⇐⇒ a <′i b therefore
a < b ⇐⇒ a′ < b
Then it is dictatorial:
there exists a voter i whereW (<1, <2, . . . , <n) =<i
for all <1, <2, . . . , <n in L
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Arrows Impossibility Theorem
Every Social Welfare Function W over a set A of at least 3candidates, If it satisfies:
UnanimityW (<,<, . . . , <) =<for all < in L
Independence of irrelevant alternativesLet (<1, <2, . . . , <n) and (<′
1, <′2, . . . , <
′n) s.t.
W (<1, <2, . . . , <n) =< and W (<′1, <
′2, . . . , <
′n) = W ′
if ∀i a <i b ⇐⇒ a <′i b therefore
a < b ⇐⇒ a′ < b
Then it is dictatorial:there exists a voter i whereW (<1, <2, . . . , <n) =<i
for all <1, <2, . . . , <n in L
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion The problem Formalization
Arrows Impossibility Theorem
Every Social Welfare Function W over a set A of at least 3candidates, If it satisfies:
UnanimityW (<,<, . . . , <) =<for all < in L
Independence of irrelevant alternativesLet (<1, <2, . . . , <n) and (<′
1, <′2, . . . , <
′n) s.t.
W (<1, <2, . . . , <n) =< and W (<′1, <
′2, . . . , <
′n) = W ′
if ∀i a <i b ⇐⇒ a <′i b therefore
a < b ⇐⇒ a′ < b
Then it is dictatorial:there exists a voter i whereW (<1, <2, . . . , <n) =<i
for all <1, <2, . . . , <n in L
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion Theorem Proof
Proof
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion
Conclusion and open problems
Questions?
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare
Introduction Proof Conclusion
Conclusion and open problems
Thanks
KENNETH J. ARROW A Difficulty in the Concept of Social Welfare