Arrow s Impossibility Theorem and Experimental Tests of Preference Aggregation

Similar documents
Partial lecture notes THE PROBABILITY OF VIOLATING ARROW S CONDITIONS

The Axiomatic Method in Social Choice Theory:

Follow links for Class Use and other Permissions. For more information send to:

3.1 Arrow s Theorem. We study now the general case in which the society has to choose among a number of alternatives

Social choice theory, Arrow s impossibility theorem and majority judgment

13 Social choice B = 2 X X. is the collection of all binary relations on X. R = { X X : is complete and transitive}

6.207/14.15: Networks Lecture 24: Decisions in Groups

arxiv: v2 [math.co] 14 Apr 2011

GROUP DECISION MAKING

Survey of Voting Procedures and Paradoxes

Nontransitive Dice and Arrow s Theorem

Social Choice Theory. Felix Munoz-Garcia School of Economic Sciences Washington State University. EconS Advanced Microeconomics II

Fair Divsion in Theory and Practice

Recap Social Choice Functions Fun Game Mechanism Design. Mechanism Design. Lecture 13. Mechanism Design Lecture 13, Slide 1

Social Choice. Jan-Michael van Linthoudt

Voting. José M Vidal. September 29, Abstract. The problems with voting.

Dependence and Independence in Social Choice Theory

SYSU Lectures on the Theory of Aggregation Lecture 2: Binary Aggregation with Integrity Constraints

Social Welfare Functions that Satisfy Pareto, Anonymity, and Neutrality: Countable Many Alternatives. Donald E. Campbell College of William and Mary

Points-based rules respecting a pairwise-change-symmetric ordering

Arrow s Paradox. Prerna Nadathur. January 1, 2010

MATH 19-02: HW 5 TUFTS UNIVERSITY DEPARTMENT OF MATHEMATICS SPRING 2018

APPLIED MECHANISM DESIGN FOR SOCIAL GOOD

Chapter 1. The Mathematics of Voting

14.770: Introduction to Political Economy Lectures 1 and 2: Collective Choice and Voting

Political Economy of Institutions and Development. Lectures 2 and 3: Static Voting Models

Econ 2148, spring 2019 Statistical decision theory

Using a hierarchical properties ranking with AHP for the ranking of electoral systems

Individual decision-making under certainty

"Arrow s Theorem and the Gibbard-Satterthwaite Theorem: A Unified Approach", by Phillip Reny. Economic Letters (70) (2001),

Rationality and solutions to nonconvex bargaining problems: rationalizability and Nash solutions 1

Antonio Quesada Universidad de Murcia. Abstract

Axiomatic Decision Theory

Rationalization of Collective Choice Functions by Games with Perfect Information. Yongsheng Xu

Lecture Notes, Lectures 22, 23, 24. Voter preferences: Majority votes A > B, B > C. Transitivity requires A > C but majority votes C > A.

Non-Manipulable Domains for the Borda Count

Social Choice and Mechanism Design - Part I.2. Part I.2: Social Choice Theory Summer Term 2011

Static Decision Theory Under Certainty

Do Shareholders Vote Strategically? Voting Behavior, Proposal Screening, and Majority Rules. Supplement

Voting Systems. High School Circle II. June 4, 2017

Finite Dictatorships and Infinite Democracies

INTEGER PROGRAMMING AND ARROVIAN SOCIAL WELFARE FUNCTIONS

Arrow s General (Im)Possibility Theorem

Positively responsive collective choice rules and majority rule: a generalization of May s theorem to many alternatives

Coalitional Structure of the Muller-Satterthwaite Theorem

Economic Core, Fair Allocations, and Social Choice Theory

Comparing impossibility theorems

Algorithmic Game Theory and Applications

The Best Way to Choose a Winner

Logic and Social Choice Theory. A Survey. ILLC, University of Amsterdam. November 16, staff.science.uva.

Formalizing Arrow s Theorem in Logics of Dependence and Independence

Chabot College Fall Course Outline for Mathematics 47 MATHEMATICS FOR LIBERAL ARTS

Coalitionally strategyproof functions depend only on the most-preferred alternatives.

Lecture notes on statistical decision theory Econ 2110, fall 2013

Algorithmic Game Theory Introduction to Mechanism Design

Who wins the election? Polarizing outranking relations with large performance differences. Condorcet s Approach. Condorcet s method

Ph.D. Preliminary Examination MICROECONOMIC THEORY Applied Economics Graduate Program June 2016

On the Strategy-proof Social Choice of Fixed-sized Subsets

Comment on The Veil of Public Ignorance

An equity-efficiency trade-off in a geometric approach to committee selection Daniel Eckert and Christian Klamler

On multiple discount rates

Intro to Economic analysis

THREE BRIEF PROOFS OF ARROW S IMPOSSIBILITY THEOREM JOHN GEANAKOPLOS COWLES FOUNDATION PAPER NO. 1116

Social Dichotomy Functions (extended abstract)

arxiv: v1 [cs.si] 20 Oct 2014

Crowdsourcing Pareto-Optimal Object Finding by Pairwise Comparisons

Judgement Aggregation

Constitutional Rights and Pareto Efficiency

Arrow s Theorem as a Corollary

CMU Social choice 2: Manipulation. Teacher: Ariel Procaccia

Recap Social Choice Fun Game Voting Paradoxes Properties. Social Choice. Lecture 11. Social Choice Lecture 11, Slide 1

Extrapolated Social Preferences

Expected Utility Framework

A Role of Common Morality in Social Choice

Chapter 12: Social Choice Theory

A Systematic Approach to the Construction of Non-empty Choice Sets

Dynamics of Stable Sets of Constitutions

Probabilistic Aspects of Voting

Antipodality in committee selection. Abstract

On Social Choice Theory

From Sentiment Analysis to Preference Aggregation

Expertise and Complexity in the Social and Engineering Sciences: An Extended Sen s Theorem

THE PROFILE STRUCTURE FOR LUCE S CHOICE AXIOM

Lose Big, Win Big, Sum Big: An Exploration of Ranked Voting Systems

This corresponds to a within-subject experiment: see same subject make choices from different menus.

Voting Handout. Election from the text, p. 47 (for use during class)

A Borda Count for Collective Sentiment Analysis

Theories of justice. Harsanyi s approach, Rawls approach, Unification

Approval Voting for Committees: Threshold Approaches

THE UNIVERSITY OF KANSAS WORKING PAPERS SERIES IN THEORETICAL AND APPLIED ECONOMICS

Graph Aggregation. Ulle Endriss and Umberto Grandi

Judgment Aggregation: June 2018 Project

The Arrow Impossibility Theorem Of Social Choice Theory In An Infinite Society And Limited Principle Of Omniscience

The Tale of the Tournament Equilibrium Set. Felix Brandt Dagstuhl, March 2012

Volume 31, Issue 1. Manipulation of the Borda rule by introduction of a similar candidate. Jérôme Serais CREM UMR 6211 University of Caen

Non-deteriorating Choice Without Full Transitivity

Strategic Manipulation and Regular Decomposition of Fuzzy Preference Relations

Voting and Mechanism Design

Set-Rationalizable Choice and Self-Stability

Spring 2016 Indiana Collegiate Mathematics Competition (ICMC) Exam

Transcription:

Arrow s Impossibility Theorem and Experimental Tests of Preference Aggregation Todd Davies Symbolic Systems Program Stanford University joint work with Raja Shah, Renee Trochet, and Katarina Ling Decision Behavior: Theory and Evidence (Symsys 170/270) May 26, 2010

Questions 1. Does intuitive preference aggregation robustly violate Arrow s criteria of IIA and collective rationality? 2. Can we characterize intuitive preference aggregation judgments in a descriptive framework? 3. What is the relationship between intuitive preference aggregation and normative approaches to social choice?

DEFINITION: Preference relations R, P, and I respectively exist between two outcomes whenever the outcomes can be matched with labels x and y such that: x R y, meaning x is preferred or indifferent to y (weak preference). x P y, meaning x is preferred to y, and holds iff not y R x. (strict preference). x I y, meaning x is indifferent to y, and holds iff x R y and y R x (indifference). DEFINITION: A preference relation R is weakly ordered iff for all outcomes x, y, and z: in a set of outcomes X: x R y or y R x (completeness). x R y and y R z imply x R z (transitivity).

DEFINITION: A social welfare function is a function f such that if X is the set of all conceivable social outcomes or states ( X 3), N is a set of individuals (2 N = n), and D is a domain of preference profiles R N = <R 1,R 2, R n >, such that for all i in N, R i is a weakly ordered preference relation for individual i over X (individual rationality), then f maps D into a range R of possible social preference relations R N on X for group N. DEFINITION: A social welfare function f is an Arrow social welfare function if the domain D of f contains all possible preference profiles R N (universal domain), and the range R of f is the set of weakly ordered social preference relations R N (collective rationality).

THEOREM: Arrow's Impossibility Theorem (Arrow, 1951/1963). There can be no Arrow social welfare function f satisfying all of the following: for all social outcomes x and y in X, if a preference profile R N obeys x P i y for each individual i in N, then f(r N ) yields x R N y (weak Pareto efficiency); for all preference profiles R N and R N ' in D, and all social outcomes x and y in X, if R N and R N ' obey x R i y iff x R i ' y for all individuals i in N, then f(r N ) and f(r N ') yield x R N y iff x R N ' y (independence of irrelevant alternatives); and there is no individual d in N such that for all preference profiles R N in D, and all social outcomes x and y in X, if x P d y then f(r N ) yields x P N y (non-dictatorship). Proof. See Arrow (1963) and Mas-Colell, Whinston and Green (1995).

Arrow on IIA The essential argument in favor of this principle is its direct appeal to intuition. (1952) Stricter than desirable but has practical benefits, necessary to keep the lid on the need to gather limitless information on unavailable options (1967) Dead candidate example: If an election were held and one of the candidates then died: "Surely the social choice should be made by taking each of the individual's preference lists, blotting out the dead candidate's name, and considering only the orderings of the remaining names " (1951/1963).

DEFINITION: A social choice rule C maps the domain D of preference profiles, together with environments S X, into subsets of S. SIDE NOTE: The above definition does not assume that C obeys an ordering. Arrow did assume this, however: DEFINITION: A social choice rule C is an Arrow social choice function if it is determined by an Arrow social welfare function f and for all environments S X, C(S,f(R N )) = {x: x is in S and, for all y in S, f(r N ) yields x R N y}.

DEFINITION: Given a set X of social outcomes, a preference profile R N, and a social choice rule C, x R N y (meaning there is a revealed social preference for x in relation to y) iff there is some environment S X, such that x and y are in S and x is in C(S,R N ). DEFINITION: Weak axiom of revealed social preference. Given a set X of social outcomes, a preference profile R N, and a social choice rule C, a social preference relation R N satisfies inter-menu consistency 1 (IMC) iff it is a revealed social preference relation under C for all pairs of social outcomes in X, and the following condition holds: For all environments S X, if x and y are in S and x is in C(S,R N ), then for all environments S' X such that x and y are in S', if y is in C(S',R N ), then x is in C(S',R N ). THEOREM: If R N is a revealed social preference relation associated with a set X of social outcomes, a preference profile R N, and a social choice rule C, and R N violates inter-menu consistency, then it violates collective rationality. PROOF: Suppose not. Then there is a social welfare function f such that f(r N ) = R N and f is collectively rational. By hypothesis, R N violates inter-menu consistency, so there 1 This term is from Sen (1993).

exist x, y, S, and S' such that x is in C(S,R N ), y is in C(S',R N ), x is not in C(S',R N ). Thus, by the definition of a revealed social preference relation: x R N y, y R N x, and there is a z in S' such that not x R N z. So z P N x by the definition of strict preference. But since y is in C(S',R N ), y R N z. By the definition of collective rationality, R N is weakly ordered. Applying transitivity and the definition of strict preference: y R N z, z P N x, and x R N y imply y P N y, implying not y R N y, which violates the completeness condition for x = y. DEFINITION: A social choice rule C, defined on a set X of social outcomes and a domain D of preference profiles satisfies independence of unavailable alternatives (IUA) iff for all environments S X, and all preference profiles R N and R N ' in D, the following condition holds: If for all x, y in S, R N and R N ' obey x R i y iff x R i ' y for all individuals i in N, then C(S,R N ) = C(S,R N ').

Figure 1 Profile triplets (Rank-form presentation) In each triplet, picking X in top profile and Y in middle profile violates IMC. Picking Y in middle profile and X in bottom profile violates IIA. Triplets differ in extent of Borda reversal between profiles (number of X-Y rank shifts) 5-2 5-3 Voter 1 Voter 2 Voter 3 Voter 4 Voter 5 X X X Y Y Y Y Y X X Voter 1 Voter 2 Voter 3 Voter 4 Voter 5 Z X X Y Y X Y Y Z Z Y Z Z X X 5-3' 4-3 Voter 1 Voter 2 Voter 3 Voter 4 Voter 5 X X X Z Y Z Z Y Y X Y Y Z X Z Voter 1 Voter 2 Voter 3 Voter 4 X X Y Y Y Z X X Z Y Z Z 4-6 Voter 1 Voter 2 Voter 3 Voter 4 U X Y Y X Z W V Y Y V U Z U U W V V X X W W Z Z 4-6' Voter 1 Voter 2 Voter 3 Voter 4 U X Y Y X Z X X Z U W V V V V U W W U W Y Y Z Z

3-2 3-4 Voter 1 Voter 2 Voter 3 X X Y Y Y X Voter 1 Voter 2 Voter 3 X X Y Y Y Z Z W W W Z X 3-4' Voter 1 Voter 2 Voter 3 X X Z Z W Y W Y X Y Z W 7-2 7-3 Voter 1 Voter 2 Voter 3 Voter 4 Voter 5 Voter 6 Voter 7 X X X X Y Y Y Y Y Y Y X X X Voter 1 Voter 2 Voter 3 Voter 4 Voter 5 Voter 6 Voter 7 Z Z X X Y Y Y X X Y Y Z Z Z Y Y Z Z X X X 7-3' Voter 1 Voter 2 Voter 3 Voter 4 Voter 5 Voter 6 Voter 7 X X X X Y Y Y Z Z Z Z X X X Y Y Y Y Z Z Z

Experimental Variations Between Subjects Each survey taker aggregates only one profile in a given triplet, is asked Which alternative should be chosen for the group? Within Subjects Each survey taker s aggregations are tested for adherence to IIA and/or collective rationality Ordering Task Each survey taker asked to rank order the alternatives for the group instead of choosing just one Pairwise Format Profile is presented to survey taker as a matrix of individuals pairwise preferences instead of in the rank format shown above

Restricted Availability Independence of unavailable alternatives (IUA). Survey taker is shown profile but told that only options S and T are available. Indifference Option Survey taker is told they s/he can circle more than one option for a group of voters if both options are equally desirable given the profile. Presentation Order Variations Example: Some survey takers see one profile in a triplet before another, with other survey takers seeing them in the reverse order. Profile Relationship Variations Different profiles are presented to a survey taker as representing different voters and/or different alternatives, or changes in the menu of options.

Graphs 1.1-1.3: IMC and IIA Between subjects (strict choice only) results for 5-voter profile pair IMC Between subjects Results: 5-2, 5-3 40 35 30 25 20 15 10 5 0 34 1 X Y 38 1 Reduced (N=35) Expanded (N=39) Alternative selected IIA Between subjects: 5-3 50 40 41 38 30 5-3 (N=39) 20 5-3' (N=46) 10 0 1 X Y 3 Alternative selected

Graphs 2.1-2.3: IMC and IIA Between subjects (strict choice only) results for 3-voter profile pair IMC Between subjects Results: 3-2, 3-4 40 35 30 25 20 15 10 5 0 37 9 X Y 26 2 Reduced (N=39) Expanded (N=35) Alternative selected IIA Between subjects: 3-4 50 40 42 30 20 26 3-4 (N=35) 3-4' (N=46) 10 0 X 9 Alternative selected Y 2

Graphs 3.1-3.3: IMC and IIA Between subjects (strict choice only) results for 4-voter profile pair IMC Between subjects Results: 4-3, 4-6 40 35 30 25 20 15 10 5 0 36 0 X Y 32 4 Reduced (N=41) Expanded (N=33) Alternative selected IIA Between subjects: 4-6 50 40 40 30 32 4-6 (N=33) 20 4-6' (N=46) 10 0 0 X Y 3 Alternative selected

Ordering Task: 51% 49% L P O L M O P N N Q Q M Out of 59 subjects, 55 ranked P ahead of M, while only 4 ranked M ahead of P. Assuming that they would have ranked M ahead of P if only shown the voting blocs preferences over these two alternatives, we can say that the subject group, as a whole, is violating the IMC criterion. Within-subjects: Tests for 5 voters x 3 alternatives pairings, rank format presentation Test Violators Nonviolators IMC 84% 16% IIA 92% 8%

Question 1: Does intuitive preference aggregation robustly violate Arrow s criteria of IIA and collective rationality? Answer: Yes. Rank Format results summary: For each of the four profile triplets, when presented in rank format, a majority of survey takers aggregations violate both collective rationality (CR) and IIA, both between and within subjects. Examples: In the 5-voter triplet Between subjects, 34/35 pick S in 5-2, 38/39 pick T in 5-3, and 41/44 pick S in 5-3 Within-subjects test finds 84% violate CR and 92% violate IIA.

Pairwise presentation: 5-3 (Pairwise) Voter A Voter B Voter C Voter D Voter E X vs. Y Y vs. Z Z vs. X X Z Z X Y X X Y X Y Y Z Y Y Z 5-3' (Pairwise) Voter F Voter G Voter H Voter I Voter J X vs. Y Y vs. Z Z vs. X X Z X X Z X X Y X Y Z Z Y Y X

Presentation format results summary: For the 4-voter and 7-voter triplets, survey takers robustly violate both CR and IIA when profiles are presented in pairwise format as well, but pairwise format can induce adherence to CR and IIA when the Borda reversal is weak (e.g. the 3- and 5-voter triplets). Examples: Between subjects 90/90 pick T in 4-6, and 70/90 pick S in 4-6 100/100 pick S in 5-3, and 55/100 pick S in 5-3

Other findings: Availability of indifference option does not significantly increase adherence to IIA or CR. Order of profile presentation does not affect results when Borda swings are large enough, but can mater when they are small. Attendees of the Public Choice Society annual meeting show the same pattern of results as naïve survey-takers.

Question 2: Can we characterize intuitive preference aggregation judgments in a descriptive framework? Answer: Survey-takers appear to apply a variety of principles to preference aggregation, none of which is fully determinative when they conflict: PRINCIPLE 1: Independence of irrelevant voters (IIV). Social choices should be based only on the preferences of individuals affected by the choice. PRINCIPLE 2: Interpersonal comparisons of utility (ICU). Social choices should take into account, as much as possible, information about the relative strengths of preference that individuals in the choice group have for one alternative over another. PRINCIPLE 3: Inter-menu independence (IMI). Social choices should take into account only the alternatives that are available, and not utilize information about how individuals rank these available alternatives among other sets which include unavailable outcomes. PRINCIPLE 4: Independence of unavailable alternatives (IUA). Social choices should be the same whenever the set of available outcomes does not change, even if individuals change their preferences involving unavailable outcomes. (weakly supported)

Adherence to IUA is somewhat stronger than adherence to either IIA or CR, and for weak Borda reversals shows majority adherence when IIA and CR are violated There probably exist other empirically supportable principles as well.

Question 3: What is the relationship between intuitive preference aggregation and normative approaches to social choice? Two suggested answers: A. No principle of social choice should be regarded as indispensable if there are situations in which the fully-informed opinions of a large majority of intelligent people think that the best social decision is one that entails violating the principle. B. Surveys that systematically assess neutral subjects aggregation across a large number of abstract preference profiles could be the basis for inducing a weighted, multi-criterion hybrid social choice procedure that would optimally characterize people s intuitions about fair social choice.