Professional Documents
Culture Documents
6.2 Gibbard73
6.2 Gibbard73
,P’ = (Pi....y Pods
and so forth. A social welfare function is a function whose arguments, for some
fixed n and X,are all preference n-tuples P over X,and whose values are preference
orderings of X. Arrow [1] showed that every social welfare function violates at
least one of the following Arrow conditions.
Scope: X has at least three members.
Unanimity: If P = f(P) and (Vi) x P,y, then x P y.
Pairwise Determination:? If
(WI [x Pye x Pry),
(Ly Pixs y Pixl,
P=fiP),
P=fiP),
then
xPyeoxPry
Non-dictatorship: There is no dictator for f, where a dictator for f is a k such
that for every P, x, and y, if xP, y and P = f(P), then x P y.
‘The proof ofthe theorem on straightforwardness takes up the remainder of the
paper. Let g be a straightforward game form, fixed for the entire proof, with at
least three outcomes. We must prove g dictatorial
Since g is straightforward, for every i and P, there is a stratexy s which is
Pedominant for i, For each i, let 9; be a function such that for every P, strategy
ai(P) is P-dominant for i, For each preference n-tuple P, let
AAP) = (Py). O4(P,)>
‘The functions ¢ and ,,...,¢, will be fixed throughout the proof; v will be the
composition of g and a, so that for all P, xP) = g(o(P)).
We now use v to generate from each preference r-tuple P a two-place relation
{(P) which turns out to be an ordering. The function f so defined is thus an Arrow
Social welfare function. We shall show that f satisfies all the Arrow conditions
except non-dictatorship, and is therefore dictatorial, From this it will follow that
‘gis dictatorial. Hence any straightforward game form with at least three outcomes
is dictatorial
A chain ordering is an ordering in which no distinct items are indifferent: P is a
chain ordering iff
(ay) Ex Ly > x = y]
Let Q bea chain ordering of X, fixed for the entire proof. We let preference n-tuple
P determine a two-place relation between members of X in the following way.
> Arrow gives an equivalent condition, the independence of irlevant alternatives, but in fet uses
the condition given herein the proof of hs theorehVOTING SCHEMES 597
Let Z © X, For each i, we derive a chain ordering P+ Z of X from the ordering.
P, by moving the members of Z to the top, preserving their ordering with respect,
to cach other except in case of ties, and otherwise ordering everything according to
4. In other words, for cach pair of alternatives x and y,
(Ga) Ifxe Zand ye Z, then x(P,¢ Z) yiffeither x P, yor both x,y and x y.
(3b) xe Zand y¢Z, then x(P,*Z)y.
Go Ifx# Zand y¢Z, then x(P,+Z)yiff xQy.
For cach i we have defined a two-place relation P,*Z between members of X.
Let
PZ =(P,#Z,...,P,4Z>
The following features of the + operator follow easily from (3a)-(3c). (i) For
each i, P+ Z is a chain ordering. (i) If ¥ Z, then (P «Z)* ¥ = P+ Y. (ii) Sup-
pose P and P’ agree on Z; that is, suppose
(IV) (V)) Ove Z & ye Z) + (xP, yoo x Pi).
‘Then P+ Z = P+ Z, Features (i)
Now let xPy be the relation
i) will be cited at later points in the proof
x# y&x = AP (x,y)
We have defined a two-place relation P as a function of P, and we shall call that
function f, so that P = f(P). We shall show in the following three assertions that
J is an Arrow social welfare function which satisfies the Arrow conditions other
than non-dictatorship.
In what follows, P means f(P), P’ means /(P), and so forth. Also, xRy means
~y Px, and so
xRyolx=yV ye os (xy)))
Hence, (iv) if x P y, then x R y.
‘As a first step in showing that f satisfies the Arrow conditions, note that f
satisfies the Arrow condition of pairwise determination,
(¥) Suppose
(Ix Pye x Pry,
(IL Bixee y Pix)
‘Then x P yo x P’y.
For then from (ii), P « {x,y} = P’* {x,y}, and hence
xe OP {x,y} xe UP’ (x, ¥}),
which is to say x P yoo x P’y.
Assertion 1, which follows, is used in a number of ways throughout the rest of
the proof of the theorem, It says, in effect, that if y R x, and nobody is indifferent598 ALLAN GIBBARD
between x and y, then given the strategies of those who prefer y to x, those who
prefer x to y could not, whatever their strategies, get x chosen.
AsseRTION 1: Let $= o(P). Suppose for strategy n-tuple sand alternatives x
and y, x # yyand
(4a) (WORX 5) = 5),
(4) W)~ xh.
(4) Re.
Then x # so)
Pro: Suppose on the contrary that x = g(¢). We shall show that for some
, o4(P,) is not Pr-dominant for k, contrary to what has been stipulated for oy
Let Pt = P+ {x,y}, and let strategy ntuple ¢ = o(P*). Then y R x means
xayV x 4PM),
and since x#y and u(P*) = g(o(P%)) = g(t), we have x g(t} Now let
5°, be the sequence obtained by starting with sand at each step k replacing
swith (Thus.
Peas
Kade tht,
and in reverse order,
at a sis,
In other words, for each k, + is the strategy n-tuple such that for
each i,
(a) iskos
(ob) i> kast=
so that
8 SSDs
la SpeShe eee
8 Cesta Shere Ds
and so forth. Since x = g(s) but x # g(t), we have x = gis®) but x # els"). Let k be
the least such that g(s4) % x. We shall show that either ¢ is not Pf-dominant for
‘kor 5, is not P,-dominant for k, Since ¢, = o,(Pf), and s, = o(P), in either case
the original characterization of o is violated. The supposition that x = a(s) is
therefore false. Consider two cases, jointly exhaustiveVOTING SCHEMES 599
Case 1: glo) = yand y Bx
Then since gist~!) = x, we have g(s4) , g(-*), and since #-* = sts, it is not
the case that (s/s) R,g(s), and thus s, is not P,-dominant for k. But since
1» P, x, by (4a), = 5, and 5, is not P,-dominant for k. But since s, = 04(P.), 5,18
Pddominant for k, and we have a contradiction.
Case 2: gist) # yor x By.
‘Then we always have x Pf g(s!) For if gs) = y, then x P, y, and by (3a) and the
definition of P*, x PZ y. If, instead, g(s4) # y, then since g(e) # x, we have
at) ¢ {x.y}- and by (3b), again x Pf g(s!, Now x= a(s'~ 1), and st = sky
Hence g(s*~') Pf gis” 'k/t,), and t, is not Pz-dominant for k, But since t = o((P?),
4, is Pf-dominant for k, and we have a contradiction. In both Cases I and 2, then,
the supposition that x = g(v) leads to a contradiction. Since by (4b), ~x hy, the
two cases exhaust the possibilities. Therefore x 3 g(¥), and the assertion is proved.
From Assertion 1, a number of properties of v follow easily
Conor tany 1: If (VI) xP, y, then x Py:
rook: Since xis an outcome, for some strategy n-tuple sx = g(s). Its = oP),
then all the hypotheses of Assertion 1 are satisfied except for (4c), and the
conclusion of Assertion | is violated, Therefore (4e) is false, and x Py.
Conoutany 2: If (i) ~ x I,y and y Rx, then oP) # x:
PRoor: (4b) and (4e) in Assertion 1 are satisfied. Let s! = = o{P). Then in
addition, (4a) is satisfied, and by Assertion 1, g(s’) # x. Thus since g(s) = g(o(P))
= W(P), we have (P) # x.
Coroutary 3: If (Vi) ~ x,y and WP)
then x Py,
This is the contrapositive of Corollary 2.
ASSERTION 2: P is a preference ordering.
P clearly satisfies the condition
(Way) ~ (Py &y Px),
for x P y means
x# y&x= WP *{(x,y}),
and y Px means
ye x&y=oPe {xy}).600 ALLAN GIBBARD
It remains to show that P satisfies the condition that for all x, y, and 2,
x P23 (yx Py V yP2)
9.2}, Then from (i), P+ {x,
P{x,2}, so that since
Pets,
xPro [ee 2&x= UP *(x,2})),
XP ro [ed 2hx = UP ex zh)
we have
xP 2eexPz,
Similarly,
xPysoxPy,
yPeeryPs
We need only to show, then, that for all x, y,and 2,
+ (Py V yP'2)
xP’
‘Suppose x P’z. Then x and 2 are distinct, since x P’
xf 2&x = WP "* {x,2})
fy = x, we have y P’ 2, and if y = z, we have x P’ y, There remains the case where
yy # xand y # 2. Then by (i) and the definition of P’, each P; is a chain ordering,
and
(9[~xKhy& ~xI,2& ~y fz]
Case ts x = HP),
Then by Corollary 3to Assertion 1x Py
Case 2: 4 API)
Since x P’z, by Corollary 2 to Assertion 1, 2 + (P’).Ifw¢ x,y, 2} then by (3b)
and the definition of P',(¥i)x P; w. Hence by Corollary 1 to Assertion 1, x P’,
and by Corollary 2, w# oP), We have, then, xP), 24 4(P%), and if
we {x,y,z} then w # o(P?. Thus by elimination, y =P), and by Corollary 3
to Assertion 1, y Pz. From x P’ z, we have shown that in Case 1, x P” yyand in Case
2, y P’z This, a8 we sai, sulices to show that P is an ordering, and the assertion
is proved.
Assenmion 3: Ifg has atleast three possible outcomes, then f violates the Arrow
condition of non-dietatorship,
‘That is, there is an individual k, called the dictator for f, such that for every
preference n-tuple P and every x and y, x uy > x Py.VOTING SCHEMES ot
Proor: Since by Assertion 2, the values of f are preference orderings, fis an
Arrow social welfare function. We have shown that f satisfies all of the Arrow
conditions but non-dictatorship. In the first place, since every outcome of g is an
‘outcome of v, scope holds. By (v), f satisfies pairwise determination, and by Corollary
I to Assertion 1, f satisfies unaminity. Therefore, since the Arrow theorem says
that no social welfare function satisfies all four Arrow conditions, f violates non-
dictatorship.
It remains to show that since f violates the Arrow condition of non-dictatorship,
g is dictatorial
Assertion 4: The dictator for f is dictator for g.
Proor: Let k be dictator for f. Then k is dictator for g if for every outcome y,
there is a strategy s(y) for k such that
(6) (SIS, = ty) > £689) = Y1
Let P’ be any ordering such that (¥x)[x + y+ y P? x] and let sly) = o4(P?). We
appeal to Assertion 1 to show that this s()) satisfies (6),
Lets’ be such that s; = sy), and suppose x # y. Then by the way P? was
characterized, y P? x. We shall show that g(s’) + x. Let P be any preference
nnetuple such that
(Ta) =P
(7) WILE PY),
and let s = o(P). Then s = 04(P,) = o4(P") = sy) = si. Thus since by (7b), only
kk prefers y to x, (4a) is Satisfied, and since in addition, y Px and hence by (Ja)
1 P, x, (4b) is satisfied also. Since y P, x and k is dictator for f, we have y P x, and
(4o) is satisfied, Therefore by Assertion 1, x + g(s’) We have shown that if x + y,
then x # g(s') Hence y = g(s).
We have shown, then, that if s(y) = o,(P%, then (6) is satisfied. Thus k is dictator
for g, and g is dictatorial This completes the proof that any straightforward
voting scheme with at least three outcomes is dictatorial
University of Chicago
Manuscript received October, 1971
REFERENCES
[i] Annow. Kens .: Social Choice and Indisiduel Values, New York: Wiley, 1963
a) ues and Collective Decision Making,” in P. Laslett and W. G. Runciman, ed,
Philsophy, Polite, and Society, Third Series Oxford: Blackwell 1967.
[3] Dunwerr, M. ao R, FaRQUIAKSON: “Stability in Voting,” Beonomeric, 29 (1961), 33-43,
Ia) Munaxata, Vasusoxt: Lopic and Social Choice. New York: Dover, 1968
(5) Vicxnty, Wattiaw "uti, Strategy, and Social Decision Rules,” Quarterly Journal of Economics,
74 (1960), 507-535,