A One-shot Proof of Arrow’s Impossibility Theorem Ning Neil Yu Stanford University Economics Department. 579 Serra Mall, Stanford, CA 94305-6072

Abstract We offer a new proof of the well-known Arrow’s impossibility theorem. The proof is simple, very short and it follows from the assumptions in a transparent way. JEL Classification Numbers: D7, D70, D71 Keywords: Arrow’s Impossibility Theorem, Social Welfare Function, Dictatorship, (i, j)-Pivotal Voter 1. Introduction Arrow’s Impossibility Theorem, perhaps one of the most important theorems in economics, has inspired numerous impossibility results, pioneered the field of social choice theory, and attracted scores of different proofs. To demonstrate dictatorship, most proofs follow one of two methods. In the first method, one can prove the theorem by shrinking the decisive voter set to one voter through reverse induction, sequentially excluding voters that have no say in the social preferences. This is the original method in Arrow (1951). The second method first identifies a candidate dictator, the so-called pivotal voter, who can alter the social preferences in some way, and then establishes the pivotal voter’s role as a dictator over social preferences. This is the method of Barber´a (1980), which was improved upon in Geanakoplos Email address: [email protected] (Ning Neil Yu) I would like to thank Professor Matthew O. Jackson for some of the notations, and Professor Kenneth J. Arrow, Michael Leung, Paul Wong, three anonymous reviewers, and the editor Professor Nicholas C. Yannelis for very helpful comments. I am also grateful for generous support from the Koret Foundation Stanford Graduate Fellowship Fund. 1

January 20, 2012

(2005) by the use of the extreme pivotal voter and the trick of ordering voters and flipping alternatives. Our proof attempts to improve on Barber´a (1980) and Geanakoplos (2005). We first define the (i, j)-pivotal voter, and then show that if she ranks j above any other k, the social welfare function has to do the same, i.e. she dictates over (j, k). This immediately implies the uniqueness of the pivotal voter, so this voter dictates every ordered pair. The third proof in Geanakoplos (2005) also adopts this method of finding the dictator, but our three-step proof manages to reduce the number of three-alternative manipulations to one. This improvement is no coincidence, for the theorem suggests no special role of the extreme positions, while the assumption of independence of irrelevant alternatives leads naturally to the consideration of pairs of alternatives. Another merit of this proof lies in not requiring strict preferences in individual or social rankings. 2. The Theorem and the Proof Theorem: Individuals numbered 1, 2, · · · , N each have complete, reflexive, and transitive preferences over M ≥ 3 alternatives A = {a1 , · · · , aM }. The set of preference profiles P is unrestricted with a typical element denoted ~ = (1 , · · · , N ). A social welfare function R assigns as an ordered list  ~ to each  complete, reflexive, and transitive social preferences D over A, i.e. R : P → P, where P denotes the set of all possible social preferences. Arrow’s theorem asserts that it is impossible to construct an R with the following three properties. (Unanimity) For arbitrary alternatives ai and aj , if ai n aj (meaning ~ then ai B aj (meaning ai n aj and not aj n ai ) for each individual n in , ai D aj and not aj D ai ). (AIIA: Arrow’s Independence of Irrelevant Alternatives) If each individ~ and  ~ 0 , then R() ~ and ual’s preferences over ai and aj are the same in  0 ~ ) rank the two alternatives the same. R( ~ ∈P (Non-dictatorship) There exists no individual n such that for each  ~ ai n aj always implies ai B aj . and its corresponding D= R(), ~ in Proof: Suppose R satisfies Unanimity and AIIA. Consider an arbitrary  which ai n aj for all n, and then swap the position of the two alternatives sequentially from 1 to N . According to Unanimity, we start with ai B aj and end with aj B ai . We call the first voter whose swap invalidates ai B aj the 2

(i, j)-pivotal voter and denote her number nij . AIIA makes sure that this ~ definition is independent of .

~0 

~ 00 

1 aj ak ai

··· ··· ··· ···

 aj  ai

··· ··· ··· ···

nij − 1 nij aj ai ak ai aj ak  aj aj  ai ai ak

nij + 1 ai

··· ···

N ai

aj ak

··· ···

aj ak

ai  aj 

··· ··· ··· ···

ai  aj 

~ 0 with the depicted rankings of the three alternatives. We Consider any  must have ai B aj B ak , where the first relation is by the definition of nij ~ 00 , squares denotes possible positions of and the second by Unanimity. For  ak , with indifference drawn by putting alternatives at the same level. We have aj D ai B ak , where the first is by the definition of nij and the second ~ 0 and  ~ 00 ). by AIIA (individual preferences over ai and ak are the same in  Focusing on aj and ak , we conclude by AIIA that nij dictates aj B ak , i.e. aj nij ak implies aj B ak for all i 6= j 6= k.

(∗)

In the swapping process that defines njk , (∗) says that aj B ak should not change as long as nij ranks j above k, so njk ≥ 2 nij . For nkj , the ranking of the two alternatives should become aj B ak no later than nij makes the change, so nkj ≤ nij . We have njk ≥ nij ≥ nkj . As j and k are distinct and arbitrary, nkj ≥ njk also holds, implying njk = nkj = nij , which can be easily extended to all the other nts ’s. But (∗) requires that this unique pivotal voter holds dictatorship over all ordered pair of alternatives, violating Non-dictatorship. References 2

If there are at least 4 alternatives, this inequality alone can lead to the conclusion. Hint: consider the greatest nij .

3

Kenneth J. Arrow. Social choice and individual values. NewYork: Wiley, 1951. Salvador Barber´a. Pivotal voters: A new proof of Arrow’s theorem. Economics Letters, 6(1):13–16, 1980. John Geanakoplos. Three brief proofs of Arrow’s Impossibility Theorem. Economic Theory, 26(1):211–215, 2005.

4

A One-shot Proof of Arrow's Impossibility Theorem

Jan 20, 2012 - JEL Classification Numbers: D7, D70, D71. Keywords: Arrow's ... end with aj ⊳ ai. We call the first voter whose swap invalidates ai ⊳ aj the. 2 ...

202KB Sizes 5 Downloads 256 Views

Recommend Documents

proof of bayes theorem pdf
Loading… Page 1. Whoops! There was a problem loading more pages. proof of bayes theorem pdf. proof of bayes theorem pdf. Open. Extract. Open with.

A new proof of Belyi's Theorem
A new proof of Belyi's Theorem is given. While Belyi's two proofs use different methods to first reduce the branch locus from Q to Q and then from Q to {0, 1, ∞} ...

The Gärdenfors impossibility theorem in non ... - Springer Link
the postulate (K*5) of "success" for q- is understood as not applying to the limiting case .... C(A)~_ CnoC(A)~_ CC(A)= C(A) by conditions (C1) and (C2), so C(A).

Proof of the Julia–Zee Theorem - Springer Link
1 Apr 2009 - the temporal index, µ = i, j, k denote the spatial indices, and J ... is the current density in which ρ = J0 expresses the electric charge density. As spatial vector fields, the electric field E = (Ei ) and magnetic field B = (Bi ) are

Another Proof of the Erd˝os-Mordell Theorem
Jan 29, 2001 - This was conjectured by Paul Erd˝os in 1935, and first proved by Louis Mordell in the same year. Several proofs of this inequality have been given, using Ptolemy's theorem by André Avez [5], angular computations with similar triangle

Proof of the Julia–Zee Theorem - Springer Link
Apr 1, 2009 - Digital Object Identifier (DOI) 10.1007/s00220-009-0791-7. Commun. ... defined over a Minkowski spacetime of signature (+ −···−), where ..... As an application, consider the classical Abelian Chern–Simons–Higgs theory [13].

The Impossibility of Abandoning Desire
Feb 8, 2015 - fusion and problems to th emsclves and to everybody around them. When you choose to involve yourself selectively with life, naturally, you get ...

The Impossibility of Abandoning Desire
Feb 8, 2015 - has been a lot of interest and confusion among people. ... Just desire the highest in life. All your passions, direct them to the highest.

Proof Without Words: A Trigonometric Proof of the Arithmetic Mean ...
We prove wordlessly the arithmetic mean-geometric mean inequality for two positive numbers by an equivalent trigonometric inequality. Reference. 1. L. Tan, Proof without words: Eisenstein's duplication formula, Math. Mag. 71 (1998) 207, http:// · dx.

the impossibility of tomorrow pdf
There was a problem previewing this document. Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item. the impossibility ...

The impossibility of a Paretian egalitarian - Springer Link
K. Suzumura and participants at a workshop in Osnabru¨ck, a LivinTax conference .... Following Sen (1970a), we call quasi-ordering a reflexive and transitive .... (1983) is a fundamental tool for drawing conclusions about welfare from.

Nietzsche and the Impossibility of Nihilism
Jul 11, 2009 - It may not even pay to try to locate the source or mechanism ... subordinated to a single means, “namely as a means of creating greater units of ...... for its aversion—hence, the will to truth is simultaneously a concealed will to

Blue Arrows Inschrijfformulier.pdf
Blue Arrows Inschrijfformulier.pdf. Blue Arrows Inschrijfformulier.pdf. Open. Extract. Open with. Sign In. Main menu. Displaying Blue Arrows Inschrijfformulier.pdf.

arrows-valentine-red.pdf
There was a problem previewing this document. Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item.

Theorem of math.pdf
ሻ − ૚ࡼሺ. Page 3 of 11. Theorem of math.pdf. Theorem of math.pdf. Open. Extract. Open with. Sign In. Main menu. Displaying Theorem of math.pdf. Page 1 of 11.

Cupids-Arrows-journaling-elements_VGS.pdf
There was a problem loading more pages. Retrying... Cupids-Arrows-journaling-elements_VGS.pdf. Cupids-Arrows-journaling-elements_VGS.pdf. Open. Extract.

The Genesis of the Arrows of Love: Diachronic ...
will not hesitate when asked to interpret the meaning of Eros with his bow and ... with the available data and with what we are coming to know about the human mind. ..... belonging to two big families of generic integration networks: Abstract.

On the Impossibility of Core-Selecting Auctions
Nov 17, 2009 - For example, using bidder-specific bidding credits or reserve prices ..... are treated as “exogenous data”) without addressing how changes in ...

a dichotomy theorem for graphs induced by commuting families of ...
Then gk ◦gs' ◦π(0nγ) = gt' ◦π(0nγ), and since 〈g0,g1,...〉 is prismatic, it follows that supp(t ) = supp(s )∐ {k}, thus k = ki, for some i ≤ n, and supp(t) = supp(s)∐ {ki}, ...

A trichotomy theorem in natural models of AD
The argument can be seen in a natural way as proving two dichotomy theorems, ..... holding not in the universe V of all sets but rather in particular inner models, such as L(R). ..... any tree T on R with no end nodes has an infinite branch.

2.4. Average Value of a Function (Mean Value Theorem) 2.4.1 ...
f(x)dx . 2.4.2. The Mean Value Theorem for Integrals. If f is con- tinuous on [a, b], then there exists a number c in [a, b] such that f(c) = fave = 1 b − a. ∫ b a f(x)dx ,.