Social Welfare, Arrow + Gibbard- Satterthwaite, VCG+CPP 1 TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAA A A A A.

Slides:



Advertisements
Similar presentations
6.896: Topics in Algorithmic Game Theory Lecture 21 Yang Cai.
Advertisements

Computational Game Theory Amos Fiat Spring 2012
(Single-item) auctions Vincent Conitzer v() = $5 v() = $3.
6.896: Topics in Algorithmic Game Theory Lecture 18 Constantinos Daskalakis.
6.896: Topics in Algorithmic Game Theory Lecture 20 Yang Cai.
Algorithmic Game Theory Uri Feige Robi Krauthgamer Moni Naor Lecture 10: Mechanism Design Lecturer: Moni Naor.
CPS Bayesian games and their use in auctions Vincent Conitzer
Presented by: Katherine Goulde
Voting and social choice Vincent Conitzer
Algorithmic Game Theory Uri Feige Robi Krauthgamer Moni Naor Lecture 9: Social Choice Lecturer: Moni Naor.
Math 1010 ‘Mathematical Thought and Practice’ An active learning approach to a liberal arts mathematics course.
Voting and social choice Looking at a problem from the designers point of view.
The Voting Problem: A Lesson in Multiagent System Based on Jose Vidal’s book Fundamentals of Multiagent Systems Henry Hexmoor SIUC.
How “impossible” is it to design a Voting rule? Angelina Vidali University of Athens.
IMPOSSIBILITY AND MANIPULABILITY Section 9.3 and Chapter 10.
CS 886: Electronic Market Design Social Choice (Preference Aggregation) September 20.
Multi-item auctions with identical items limited supply: M items (M smaller than number of bidders, n). Three possible bidder types: –Unit-demand bidders.
Making Group Decisions Mechanism design: study solution concepts
Arrow’s impossibility theorem EC-CS reading group Kenneth Arrow Journal of Political Economy, 1950.
Social Choice: The Impossible Dream Michelle Blessing February 23, 2010 Michelle Blessing February 23, 2010.
Excursions in Modern Mathematics Sixth Edition
Social Choice Topics to be covered:
Algorithmic Applications of Game Theory Lecture 8 1.
Mechanism Design and the VCG mechanism The concept of a “mechanism”. A general (abstract) solution for welfare maximization: the VCG mechanism. –This is.
Alex Tabarrok Arrow’s Theorem.
CPS Voting and social choice
Social choice theory = preference aggregation = voting assuming agents tell the truth about their preferences Tuomas Sandholm Professor Computer Science.
Agent Technology for e-Commerce Chapter 10: Mechanism Design Maria Fasli
Social Choice Theory By Shiyan Li. History The theory of social choice and voting has had a long history in the social sciences, dating back to early.
SECOND PART: Algorithmic Mechanism Design. Mechanism Design MD is a subfield of economic theory It has a engineering perspective Designs economic mechanisms.
SECOND PART: Algorithmic Mechanism Design. Mechanism Design MD is a subfield of economic theory It has a engineering perspective Designs economic mechanisms.
Social choice theory = preference aggregation = truthful voting Tuomas Sandholm Professor Computer Science Department Carnegie Mellon University.
Social choice (voting) Vincent Conitzer > > > >
CPS Social Choice & Mechanism Design Vincent Conitzer
SECOND PART: Algorithmic Mechanism Design. Mechanism Design Find correct rules/incentives.
CPS 173 Mechanism design Vincent Conitzer
Multi-Unit Auctions with Budget Limits Shahar Dobzinski, Ron Lavi, and Noam Nisan.
VCG Computational game theory Fall 2010 by Inna Kalp and Yosef Heskia.
CPS Voting and social choice Vincent Conitzer
More on Social choice and implementations 1 TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAA A Using slides by Uri.
6.853: Topics in Algorithmic Game Theory Fall 2011 Constantinos Daskalakis Lecture 21.
Mechanism Design CS 886 Electronic Market Design University of Waterloo.
Auction Theory תכנון מכרזים ומכירות פומביות Topic 7 – VCG mechanisms 1.
Elections and Strategic Voting: Condorcet and Borda E. Maskin Harvard University.
Mechanism design. Goal of mechanism design Implementing a social choice function f(u 1, …, u |A| ) using a game Center = “auctioneer” does not know the.
1 Elections and Manipulations: Ehud Friedgut, Gil Kalai, and Noam Nisan Hebrew University of Jerusalem and EF: U. of Toronto, GK: Yale University, NN:
Mechanism Design II CS 886:Electronic Market Design Sept 27, 2004.
Great Theoretical Ideas in Computer Science.
6.853: Topics in Algorithmic Game Theory Fall 2011 Constantinos Daskalakis Lecture 22.
Social choice theory = preference aggregation = voting assuming agents tell the truth about their preferences Tuomas Sandholm Professor Computer Science.
Chapter 9: Social Choice: The Impossible Dream Lesson Plan Voting and Social Choice Majority Rule and Condorcet’s Method Other Voting Systems for Three.
Social Choice Lectures 14 and 15 John Hey. Lectures 14 and 15: Arrow’s Impossibility Theorem and other matters Plan of lecture: Aggregation of individual.
Arrow’s Impossibility Theorem
1 TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A AAA A AA A.
CPS Mechanism design Michael Albert and Vincent Conitzer
Chapter 10: The Manipulability of Voting Systems Lesson Plan
Introduction to Social Choice
Social choice theory = preference aggregation = voting assuming agents tell the truth about their preferences Tuomas Sandholm Professor Computer Science.
Applied Mechanism Design For Social Good
Alex Tabarrok Arrow’s Theorem.
Voting systems Chi-Kwong Li.
Voting and social choice
Vincent Conitzer Mechanism design Vincent Conitzer
Vincent Conitzer CPS 173 Mechanism design Vincent Conitzer
Introduction to Social Choice
CPS 173 Voting and social choice
CPS Voting and social choice
Bayes Nash Implementation
Auction Theory תכנון מכרזים ומכירות פומביות
Vincent Conitzer CPS Mechanism design Vincent Conitzer
Presentation transcript:

Social Welfare, Arrow + Gibbard- Satterthwaite, VCG+CPP 1 TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAA A A A A A

 Collectively choose among outcomes ◦ Elections, ◦ Choice of Restaurant ◦ Rating of movies ◦ Who is assigned what job ◦ Goods allocation ◦ Should we build a bridge?  Participants have preferences over outcomes  A social choice function aggregates those preferences and picks an outcome

If there are two options and an odd number of voters  Each having a clear preference between the options Natural choice: majority voting  Sincere/Truthful  Monotone  Merging two sets where the majorities are the same preserves majority  Order of queries has no significance

If we start pairing the alternatives:  Order may matter Assumption: n voters give their complete ranking on set A of alternatives  L – the set of linear orders on A (permutations).  Each voter i provides Á i 2 L ◦ Input to the aggregator/voting rule is ( Á 1, Á 2,…, Á n ) Goals A function f: L n  A is called a social choice function ◦ Aggregates voters preferences and selects a winner A function W: L n  L is called a social welfare function ◦ Aggergates voters preference into a common order a1a1 a2a2 amam A a 10, a 1, …, a 8

Scoring rules : defined by a vector (a 1, a 2, …, a m ) Being ranked i th in a vote gives the candidate a i points Plurality : defined by (1, 0, 0, …, 0) –Winner is candidate that is ranked first most often Veto: is defined by (1, 1, …, 1, 0) –Winner is candidate that is ranked last the least often Borda: defined by (m-1, m-2, …, 0) Plurality with (2-candidate) runoff : top two candidates in terms of plurality score proceed to runoff. Single Transferable Vote (STV, aka. Instant Runoff): candidate with lowest plurality score drops out; for voters who voted for that candidate: the vote is transferred to the next (live) candidate Repeat until only one candidate remains Jean-Charles de Borda 1770

 There is something wrong with Borda! [1785] Marie Jean Antoine Nicolas de Caritat, marquis de Condorcet

A candidate is the Condorcet winner if it wins all of its pairwise elections Does not always exist… Condorcet paradox : there can be cycles –Three voters and candidates: a > b > c, b > c > a, c > a > b – a defeats b, b defeats c, c defeats a Many rules do not satisfy the criterion For instance: plurality : –b > a > c > d –c > a > b > d –d > a > b > c a is the Condorcet winner, but not the plurality winner Candidates a and b: Comparing how often a is ranked above b, to how often b is ranked above a Also Borda: a > b > c > d > e c > b > d > e > a

Kemeny : –Consider all pairwise comparisons. –Graph representation: edge from winner to loser –Create an overall ranking of the candidates that has as few disagreements as possible with the pairwise comparisons. Delete as few edges as possible so as to make the directed comparison graph acyclic Approval [not a ranking-based rule]: every voter labels each candidate as approved or disapproved. Candidate with the most approvals wins How do we choose one rule from all of these rules? What is the “perfect” rule? We list some natural criteria Honor societies General Secretary of the UN

Skip to the 20 th Centrury Kenneth Arrow, an economist. In his PhD thesis, 1950, he: ◦ Listed desirable properties of voting scheme ◦ Showed that no rule can satisfy all of them. Properties  Unanimity  Independence of irrelevant alternatives  Not Dictatorial Kenneth Arrow 1921-

Independence of irrelevant alternatives: if –the rule ranks a above b for the current votes, –we then change the votes but do not change which is ahead between a and b in each vote then a should still be ranked ahead of b. None of our rules satisfy this property –Should they? a b a b a ba b a b a b ¼

Every Social Welfare Function W over a set A of at least 3 candidates: If it satisfies –Independence of irrelevant alternatives –Pareto efficiency: If for all i a Á i b then a Á b where W( Á 1, Á 2,…, Á n ) = Á Then it is dictatorial : for all such W there exists an index i such that for all Á 1, Á 2,…, Á n 2 L, W( Á 1, Á 2,…, Á n ) = Á i

Claim: Let W be as above, and let  Á 1, Á 2,…, Á n and Á ’ 1, Á ’ 2,…, Á ’ n be two profiles s.t. ◦ Á =W( Á 1, Á 2,…, Á n ) and Á ’=W( Á ’ 1, Á ’ 2,…, Á ’ n ) ◦ and where for all i a Á i b  c Á ’ i d Then a Á b  c Á ’ d Proof: suppose a Á b and c  b Create a single preference  i from Á i and Á ’ i : where c is just below a and d just above b. Let Á  =W( Á 1, Á 2,…, Á n ) We must have: (i) a Á  b (ii) c Á  a and (iii) b Á  d And therefore c Á  d and c Á ’ d

Change must happen at some profile i* Where voter i* changed his opinion Claim: For arbitrary a,b 2 A consider profiles a Á ba Á bb Á ab Á a Claim: this i* is the dictator! Hybrid argumentVoters 1 2 n Profiles 012 … n

Claim: for any Á 1, Á 2,…, Á n and Á =W( Á 1, Á 2,…, Á n ) and c,d 2 A. If c Á i* d then c Á d. Proof: take e  c, d and  for i<i* move e to the bottom of Á i  for i>i* move e to the top of Á i  for i* put e between c and d For resulting preferences: ◦ Preferences of e and c like a and b in profile i*. ◦ Preferences of e and d like a and b in profile i*-1. c Á e e Á d Therefore c Á d

A function f: L n  A is called a social choice function ◦ Aggregates voters preferences and selects a winner A function W: L n  L is called a social welfare function ◦ Aggergates voters preference into a common order  We’ve seen: ◦ Arrows Theorem: Limitations on Social Welfare functions  Next: ◦ Gibbard-Satterthwaite Theorem: Limitations on Incentive Compatible Social Choice functions 15

 A social choice function f can be manipulated by voter i if for some Á 1, Á 2,…, Á n and Á ’ i and we have a=f( Á 1,… Á i,…, Á n ) and a’=f( Á 1,…, Á ’ i,…, Á n ) but a Á i a’ voter i prefers a’ over a and can get it by changing her vote from her true preference Á i to Á ’ i f is called incentive compatible if it cannot be manipulated

Suppose there are at least 3 alternatives There exists no social choice function f that is simultaneously: –Onto for every candidate, there are some preferences so that the candidate alternative is chosen –Nondictatorial –Incentive compatible

Given non-manipulable, onto, non dictator social choice function f, Construct a Social Welfare function W f (total order) based on f. W f ( Á 1,…, Á n ) = Á where a Á b iff f( Á 1 {a,b},…, Á n {a,b} ) =b Keep everything in order but move a and b to top

 That is “well formed” ◦ Antisymmetry ◦ Transitivity ◦ Unanimity ◦ IIA ◦ Non-dictatorship  Contradiction to Arrow 19

Claim : for all Á 1,…, Á n and any S ½ A we have f( Á 1 S,…, Á n S, ) 2 S Take a 2 S. There is some Á ’ 1, Á ’ 2,…, Á ’ n where f( Á ’ 1, Á ’ 2,…, Á ’ n )=a. Sequentially change Á ’ i to Á S i At no point does f output b 2 S. Due to the non-manipulation Keep everything in order but move elements of S to top

 Antisymmetry: implied by claim for S={a,b}  Transitivity: Suppose we obtained contradicting cycle a Á b Á c Á a take S={a,b,c} and suppose a = f( Á 1 S,…, Á n S ) Sequentially change Á S i to Á i {a,b} Non manipulability implies that f( Á 1 {a,b},…, Á n {a,b} ) =a and b Á a.  Unanimity: if for all i b Á i a then ( Á i {a,b} ) {a} = Á i {a,b} and f( Á 1 {a,b},…, Á n {a,b} ) =a

 Independence of irrelevant alternatives: ◦ Again, non-manulpulation, ◦ if there are two profiles Á 1, Á 2,…, Á n and Á ’ 1, Á ’ 2,…, Á ’ n where for all i b Á i a iff b Á ’ i a, then f( Á 1 {a,b},…, Á n {a,b} ) = f( Á ’ 1 {a,b},…, Á ’ n {a,b} ) by sequentially flipping from Á i {a,b} to Á ’ i {a,b}  Non dictator: preserved

23

 Set of alternatives A ◦ Who wins the auction ◦ Which path is chosen ◦ Who is matched to whom  Each participant: a type function t i :A  R ◦ Note: real value, not only order  Participant = agent/bidder/player/etc.

 We want to implement a social choice function ◦ (a function of the agent types) ◦ Need to know agents’ types ◦ Why should they reveal them?  Idea: Compute alternative (a in A) and payment vector p  Utility to agent i of alternative a with payment p i is t i (a)-p i Quasi linear preferences

 A social planner wants to choose an alternative according to players’ types: f : T 1 ×... × T n → A  Problem: the planner does not know the types.

 Single item for sale  Each player has scalar value z i – value of getting item  If he wins item and has to pay p: utility z i -p  If someone else wins item: utility 0 Second price auction: Winner is the one with the highest declared value z i. Pays the second highest bid p*=max j  i z j Theorem (Vickrey): for any every z 1, z 2,…,z n and every z i ’. Let u i be i’s utility if he bids z i and u’ i if he bids z i ’. Then u i ¸ u’ i..

A direct revelation mechanism is a social choice function f: T 1  T 2  …  T n  A and payment functions p i : T 1  T 2  …  T n  R  Participant i pays p i (t 1, t 2, … t n ) A mechanism (f,p 1, p 2,… p n ) is incentive compatible in dominant strategies if for every t=(t 1, t 2, …,t n ), i and t i ’ 2 T i : if a = f(t i,t -i ) and a’ = f(t’ i,t -i ) then t i (a)-p i (t i,t -i ) ¸ t i (a’) -p i (t’ i,t -i ) t=(t 1, t 2,… t n ) t -i =(t 1, t 2,… t i-1,t i+1,… t n )

A mechanism (f,p 1, p 2,… p n ) is called Vickrey- Clarke-Grove (VCG) if  f(t 1, t 2, … t n ) maximizes  i t i (a) over A ◦ Maximizes welfare  There are functions h 1, h 2,… h n where h i : T 1  T 2  … T i-1  T i+1  … T n  R we have that: p i (t 1, t 2, … t n ) = h i (t -i ) -  j  i t j (f(t 1, t 2,… t n )) t=(t 1, t 2,… t n ) t -i =(t 1, t 2,… t i-1,t i+1,… t n ) Does not depend on t i

Recall: f assigns the item to one participant and t i (j) = 0 if j  i and t i (i)=z i  f(t 1, t 2, … t n ) = i s.t. z i =max j (z 1, z 2,… z n )  h i (t -i ) = max j (z 1, z 2, … z i-1, z i+1,…, z n )  p i (t) = h i (v -i ) -  j  i t j (f(t 1, t 2,… t n )) If i is the winner p i (t) = h i (t -i ) = max j  i z j and for j  i p j (t)= z i – z i = 0 A={i wins|I 2 I}

Theorem: Every VCG Mechanism (f,p 1, p 2,… p n ) is incentive compatible Proof: Fix i, t -i, t i and t’ i. Let a=f(t i,t -i ) and a’=f(t’ i,t -i ). Have to show t i (a)-p i (t i,t -i ) ¸ t i (a’) -p i (t’ i,t -i ) Utility of i when declaring t i : t i (a) +  j  i t j (a) - h i (t -i ) Utility of i when declaring t’ i : t i (a’)+  j  i t j (a’)- h i (t -i ) Since a maximizes social welfare t i (a) +  j  i t j (a) ¸ t i (a’) +  j  i t j (a’)

What is the “right”: h? Individually rational: participants always get non negative utility t i (f(t 1, t 2,… t n )) - p i (t 1, t 2,… t n ) ¸ 0 No positive transfers: no participant is ever paid money p i (t 1, t 2,… t n ) ¸ 0 Clark Pivot rule: Choosing h i (t -i ) = max b 2 A  j  i t j (b) Payment of i when a=f(t 1, t 2,…, t n ): p i (t 1, t 2,… t n ) = max b 2 A  j  i t j (b) -  j  i t j (a) i pays an amount corresponding to the total “damage” he causes other players: difference in social welfare caused by his participation

maximizes  i t i (a) over A Theorem: Every VCG Mechanism with Clarke pivot payments makes no positive Payments. If t i (a) ¸ 0 then it is Individually rational Proof: Let a=f(t 1, t 2,… t n ) maximize social welfare Let b 2 A maximize  j  i t j (b) Utility of i: t i (a) +  j  i t j (a) -  j  i t j (b) ¸  j t j (a) -  j t j (b) ¸ 0 Payment of i:  j  i t j (b) -  j  i t j (a) ¸ 0 from choice of b

Second Price auction: h i (t -i ) = max j (w 1, w 2,…, w i-1, w i+1,…, w n ) = max b 2 A  j  i t j (b) Multiunit auction: if k identical items are to be sold to k individuals. A={S wins |S ½ I, |S|=k} and v i (S) = 0 if i 2 S and v i (i)=w i if i 2 S Allocate units to top k bidders. They pay the k+1 st price Claim: this is max S’ ½ I\{i} |S’| =k  j  i v j (S’)-  j  i v j (S)

Want to build a bridge: ◦ Cost is C (if built) (One more player – the “state”) ◦ Value to each individual v i ◦ Want to built iff  i v j ¸ C Player with v j ¸ 0 pays only if pivotal  j  i v j < C but  j v j ¸ C in which case pays p j = C-  j  i v j In general:  i p j < C Payments do not cover project cost’s  Subsidy necessary! A={build, not build} Equality only when  i v j = C

Set A of alternatives: all s-t paths A Directed graph G=(V,E) where each edge e is “owned” by a different player and has cost c e. Want to construct a path from source s to destination t.  How do we solicit the real cost c e ? ◦ Set of alternatives: all paths from s to t ◦ Player e has cost: 0 if e not on chosen path and –c e if on ◦ Maximizing social welfare: finding shortest s-t path: min paths  e 2 path c e A VCG mechanism pays 0 to those not on path p: pay each e 0 2 p:  e 2 p’ c e -  e 2 p\{e 0 } c e where p’ is shortest path without e o If e 0 would not have woken up in the morning, what would other edges earn? If he does wake up, what would other edges earn?

Requires payments & quasilinear utility functions In general money needs to flow away from the system –Strong budget balance = payments sum to 0 –Impossible in general [Green & Laffont 77] Vulnerable to collusions Maximizes sum of players’ valuations (social welfare) –(not counting payments, but does include “COST” of alternative) But: sometimes [usually, often??] the mechanism is not interested in maximizing social welfare: –E.g. the center may want to maximize revenue – Minimize time – Maximize fairness – Etc., Etc.

39

 There is a distribution D i on the types T i of Player i  It is known to everyone  The actual type of agent i, t i 2 D i T i is the private information i knows  A profile of strategis s i is a Bayes Nash Equilibrium if for i all t i and all t’ i E d -i [u i (t i, s i (t i ), s -i (t -i ) )] ¸ E d -i [u i (t’ i, s -i (t -i )) ]

 First price auction for a single item with two players.  Private values (types) t 1 and t 2 in T 1 =T 2 =[0,1]  Does not make sense to bid true value – utility 0.  There are distributions D 1 and D 2  Looking for s 1 (t 1 ) and s 2 (t 2 ) that are best replies to each other  Suppose both D 1 and D 2 are uniform. Claim: The strategies s 1 (t 1 ) = t i /2 are in Bayes Nash Equilibrium t1t1 Cannot winWin half the time

42

43

Expected Revenue: ◦ For first price auction: max(T 1 /2, T 2 /2) where T 1 and T 2 uniform in [0,1] ◦ For second price auction min(T 1, T 2 ) ◦ Which is better? ◦ Both are 1/3. ◦ Coincidence? Theorem [Revenue Equivalence]: under very general conditions, every two Bayesian Nash implementations of the same social choice function if for some player and some type they have the same expected payment then ◦ All types have the same expected payment to the player ◦ If all player have the same expected payment: the expected revenues are the same