quasilinear mechanisms; groves mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · a...

39
Recap Quasilinear Mechanisms Properties The Groves Mechanism Quasilinear Mechanisms; Groves Mechanism Lecture 15 Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 1

Upload: others

Post on 27-Apr-2021

7 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Quasilinear Mechanisms; Groves Mechanism

Lecture 15

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 1

Page 2: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Lecture Overview

1 Recap

2 Quasilinear Mechanisms

3 Properties

4 The Groves Mechanism

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 2

Page 3: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Revelation Principle

Original

MechanismM outcome

strategy s1(θ

1)

type θ1

strategy sn(θ

n)

type θn

Original

MechanismM outcome

strategy s1(θ

1)

type θ1

strategy sn(θ

n)

type θn

Original

MechanismM outcome

strategy s1(θ

1)

type θ1

strategy s1(θ

1)

type θ1

strategy sn(θ

n)

type θn

strategy sn(θ

n)

type θn

It turns out that truthfulness can always be achieved!

Consider an arbitrary, non-truthful mechanism (e.g., may beindirect)

Recall that a mechanism defines a game, and consider anequilibrium s = (s1, . . . , sn)

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 3

Page 4: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Revelation Principle

(

New Mechanism

Original

MechanismM outcome

strategy s′

1(θ

1)

type θ1

strategy s′

n(θ

n)

type θn

s1 (s′

1(θ

1))

M

sn(s′

n(θ

n))

(

New Mechanism

Original

MechanismM outcome

strategy s′

1(θ

1)

type θ1

strategy s′

n(θ

n)

type θn

strategy s′

n(θ

n)

type θn

s1 (s′

1(θ

1))

M

sn(s′

n(θ

n))

We can construct a new direct mechanism, as shown above

This mechanism is truthful by exactly the same argument thats was an equilibrium in the original mechanism

“The agents don’t have to lie, because the mechanism alreadylies for them.”

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 4

Page 5: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Impossibility Result

Theorem (Gibbard-Satterthwaite)

Consider any social choice function C of N and O. If:

1 |O| ≥ 3 (there are at least three outcomes);

2 C is onto; that is, for every o ∈ O there is a preference profile[�] such that C([�]) = o (this property is sometimes alsocalled citizen sovereignty); and

3 C is dominant-strategy truthful,

then C is dictatorial.

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 5

Page 6: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Quasilinear Utility

Definition (Quasilinear preferences)

Agents have quasilinear preferences in an n-player Bayesian gamewhen the set of outcomes is

O = X ×Rn

for a finite set X, and the utility of an agent i given joint type θ isgiven by

ui(o, θ) = ui(x, θ)− fi(pi),where o = (x, p) is an element of O, ui : X ×Θ 7→ R is anarbitrary function and fi : R 7→ R is a strictly monotonicallyincreasing function.

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 6

Page 7: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Risk Neutrality

204 8 Protocols for Strategic Agents: Mechanism Design

u

$(a) Risk neutrality

/ /01/2134/534/01534/215u

$(b) Risk neutrality: fair lottery

u

$(c) Risk aversion

6 678698:;6<:;678<:;698<u

$(d) Risk aversion: fair lottery

u

$(e) Risk seeking

= =>?=@?AB=CAB=>?CAB=@?Cu

$(f) Risk seeking: fair lottery

Figure 8.3 Risk attitudes: Risk aversion, risk neutrality, risk seeking, and in each case, utilityfor the outcomes of a fair lottery.

c©Shoham and Leyton-Brown, 2006

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 7

Page 8: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Risk Aversion

204 8 Protocols for Strategic Agents: Mechanism Design

u

$(a) Risk neutrality

/ /01/2134/534/01534/215u

$(b) Risk neutrality: fair lottery

u

$(c) Risk aversion

6 678698:;6<:;678<:;698<u

$(d) Risk aversion: fair lottery

u

$(e) Risk seeking

= =>?=@?AB=CAB=>?CAB=@?Cu

$(f) Risk seeking: fair lottery

Figure 8.3 Risk attitudes: Risk aversion, risk neutrality, risk seeking, and in each case, utilityfor the outcomes of a fair lottery.

c©Shoham and Leyton-Brown, 2006

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 8

Page 9: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Risk Seeking

204 8 Protocols for Strategic Agents: Mechanism Design

u

$(a) Risk neutrality

/ /01/2134/534/01534/215u

$(b) Risk neutrality: fair lottery

u

$(c) Risk aversion

6 678698:;6<:;678<:;698<u

$(d) Risk aversion: fair lottery

u

$(e) Risk seeking

= =>?=@?AB=CAB=>?CAB=@?Cu

$(f) Risk seeking: fair lottery

Figure 8.3 Risk attitudes: Risk aversion, risk neutrality, risk seeking, and in each case, utilityfor the outcomes of a fair lottery.

c©Shoham and Leyton-Brown, 2006

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 9

Page 10: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Lecture Overview

1 Recap

2 Quasilinear Mechanisms

3 Properties

4 The Groves Mechanism

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 10

Page 11: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Quasilinear Mechanism

Definition (Quasilinear mechanism)

A mechanism in the quasilinear setting (for a Bayesian gamesetting (N,O = X ×Rn,Θ, p, u)) is a triple (A, x , p), where

A = A1 × · · · ×An, where Ai is the set of actions available toagent i ∈ N ,

x : A 7→ Π(X) maps each action profile to a distribution overchoices, and

p : A 7→ Rn maps each action profile to a payment for eachagent.

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 11

Page 12: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Direct Quasilinear Mechanism

Definition (Direct quasilinear mechanism)

A direct quasilinear mechanism (for a Bayesian game setting(N,O = X ×Rn,Θ, p, u)) is a pair (x , p). It defines a standardmechanism in the quasilinear setting, where for each i, Ai = Θi.

Definition (Conditional utility independence)

A Bayesian game exhibits conditional utility independence if for allagents i ∈ N , for all outcomes o ∈ O and for all pairs of joint typesθ and θ′ ∈ Θ for which θi = θ′i, it holds that ui(o, θ) = ui(o, θ′).

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 12

Page 13: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Quasilinear Mechanisms with Conditional UtilityIndependence

Given conditional utility independence, we can write i’s utilityfunction as ui(o, θi)

it does not depend on the other agents’ types

An agent’s valuation for choice x ∈ X: vi(x) = ui(x, θi)the maximum amount i would be willing to pay to get xin fact, i would be indifferent between keeping the money andgetting x

Alternate definition of direct mechanism:

ask agents i to declare vi(x) for each x ∈ XDefine v̂i as the valuation that agent i declares to such adirect mechanism

may be different from his true valuation vi

Also define the tuples v̂, v̂−i

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 13

Page 14: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Lecture Overview

1 Recap

2 Quasilinear Mechanisms

3 Properties

4 The Groves Mechanism

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 14

Page 15: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Truthfulness

Definition (Truthfulness)

A quasilinear mechanism is truthful if it is direct and ∀i∀vi, agenti’s equilibrium strategy is to adopt the strategy v̂i = vi.

Our definition before, adapted for the quasilinear setting

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 15

Page 16: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Efficiency

Definition (Efficiency)

A quasilinear mechanism is strictly Pareto efficient, or justefficient, if in equilibrium it selects a choice x such that

∀v∀x′,∑i

vi(x) ≥∑i

vi(x′).

An efficient mechanism selects the choice that maximizes thesum of agents’ utilities, disregarding monetary payments.

How is this related to Pareto efficiency from GT?

if we include the mechanism as an agent, all Pareto-efficientoutcomes involve the same choice (and different payments)any outcome involving another choice is Pareto-dominated:some agents could make a side-payment to others such that allwould prefer the swap

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 16

Page 17: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Efficiency

Definition (Efficiency)

A quasilinear mechanism is strictly Pareto efficient, or justefficient, if in equilibrium it selects a choice x such that

∀v∀x′,∑i

vi(x) ≥∑i

vi(x′).

An efficient mechanism selects the choice that maximizes thesum of agents’ utilities, disregarding monetary payments.

How is this related to Pareto efficiency from GT?

if we include the mechanism as an agent, all Pareto-efficientoutcomes involve the same choice (and different payments)any outcome involving another choice is Pareto-dominated:some agents could make a side-payment to others such that allwould prefer the swap

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 16

Page 18: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Efficiency

Definition (Efficiency)

A quasilinear mechanism is strictly Pareto efficient, or justefficient, if in equilibrium it selects a choice x such that

∀v∀x′,∑i

vi(x) ≥∑i

vi(x′).

Called economic efficiency to distinguish from other (e.g.,computational) notions

Also called social-welfare maximization

Note: defined in terms of true (not declared) valuations.

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 16

Page 19: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Budget Balance

Definition (Budget balance)

A quasilinear mechanism is budget balanced when

∀v,∑i

pi(s(v)) = 0,

where s is the equilibrium strategy profile.

regardless of the agents’ types, the mechanism collects anddisburses the same amount of money from and to the agents

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 17

Page 20: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Budget Balance

Definition (Budget balance)

A quasilinear mechanism is budget balanced when

∀v,∑i

pi(s(v)) = 0,

where s is the equilibrium strategy profile.

regardless of the agents’ types, the mechanism collects anddisburses the same amount of money from and to the agents

relaxed version: weak budget balance:

∀v,∑i

pi(s(v)) ≥ 0

the mechanism never takes a loss, but it may make a profit

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 17

Page 21: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Budget Balance

Definition (Budget balance)

A quasilinear mechanism is budget balanced when

∀v,∑i

pi(s(v)) = 0,

where s is the equilibrium strategy profile.

regardless of the agents’ types, the mechanism collects anddisburses the same amount of money from and to the agents

Budget balance can be required to hold ex ante:

Ev∑i

pi(s(v)) = 0

the mechanism must break even or make a profit only onexpectation

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 17

Page 22: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Individual-Rationality

Definition (Ex interim individual rationality)

A mechanism is ex interim individual rational when∀i∀vi, Ev−i|vi

vi(x (si(vi), s−i(v−i)))− pi(si(vi), s−i(v−i)) ≥ 0,where s is the equilibrium strategy profile.

no agent loses by participating in the mechanism.

ex interim because it holds for every possible valuation foragent i, but averages over the possible valuations of the otheragents.

Definition (Ex post individual rationality)

A mechanism is ex post individual rational when∀i∀v, vi(x (s(v)))− pi(s(v)) ≥ 0, where s is the equilibriumstrategy profile.

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 18

Page 23: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Individual-Rationality

Definition (Ex interim individual rationality)

A mechanism is ex interim individual rational when∀i∀vi, Ev−i|vi

vi(x (si(vi), s−i(v−i)))− pi(si(vi), s−i(v−i)) ≥ 0,where s is the equilibrium strategy profile.

no agent loses by participating in the mechanism.

ex interim because it holds for every possible valuation foragent i, but averages over the possible valuations of the otheragents.

Definition (Ex post individual rationality)

A mechanism is ex post individual rational when∀i∀v, vi(x (s(v)))− pi(s(v)) ≥ 0, where s is the equilibriumstrategy profile.

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 18

Page 24: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Tractability

Definition (Tractability)

A mechanism is tractable when ∀v̂, x (v̂) and p(v̂) can becomputed in polynomial time.

The mechanism is computationally feasible.

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 19

Page 25: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Revenue Maximization

We can also add an objective function to our mechanism. Oneexample: revenue maximization.

Definition (Revenue maximization)

A mechanism is revenue maximizing when, among the set offunctions x and p that satisfy the other constraints, themechanism selects the x and p that maximize Eθ

∑i pi(s(θ)),

where s(θ) denotes the agents’ equilibrium strategy profile.

The mechanism designer can choose among mechanisms thatsatisfy the desired constraints by adding an objective functionsuch as revenue maximization.

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 20

Page 26: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Revenue Minimization

The mechanism may not be intended to make money.

Budget balance may be impossible to satisfy.

Set weak budget balance as a constraint and add thefollowing objective.

Definition (Revenue minimization)

A quasilinear mechanism is revenue minimizing when, among theset of functions x and p that satisfy the other constraints, themechanism selects the x and p that minimize maxv

∑i pi(s(v)) in

equilibrium, where s(v) denotes the agents’ equilibrium strategyprofile.

Note: this considers the worst case over valuations; we couldconsider average case instead.

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 21

Page 27: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Fairness

Fairness is hard to define. What is fairer:an outcome that fines all agents $100 and makes a choice thatall agents hate equally?an outcome that charges all agents $0 and makes a choice thatsome agents hate and some agents like?

Maxmin fairness: make the least-happy agent the happiest.

Definition (Maxmin fairness)

A quasilinear mechanism is maxmin fair when, among the set offunctions x and p that satisfy the other constraints, themechanism selects the x and p that maximize

Ev[mini∈N

vi(x (s(v)))− pi(s(v))],

where s(v) denotes the agents’ equilibrium strategy profile.

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 22

Page 28: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Fairness

Fairness is hard to define. What is fairer:an outcome that fines all agents $100 and makes a choice thatall agents hate equally?an outcome that charges all agents $0 and makes a choice thatsome agents hate and some agents like?

Maxmin fairness: make the least-happy agent the happiest.

Definition (Maxmin fairness)

A quasilinear mechanism is maxmin fair when, among the set offunctions x and p that satisfy the other constraints, themechanism selects the x and p that maximize

Ev[mini∈N

vi(x (s(v)))− pi(s(v))],

where s(v) denotes the agents’ equilibrium strategy profile.

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 22

Page 29: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Price of Anarchy Minimization

When an efficient mechanism is impossible, we may want to get asclose as possible

Minimize the worst-case ratio between optimal social welfare andthe social welfare achieved by the given mechanism.

Definition (Price-of-anarchy minimization)

A quasilinear mechanism minimizes the price of anarchy when, amongthe set of functions x and p that satisfy the other constraints, themechanism selects the x and p that minimize

maxv∈V

maxx∈X

∑i∈N vi(x)∑

i∈N vi (x (s(v))),

where s(v) denotes the agents’ equilibrium strategy profile in the worstequilibrium of the mechanism—i.e., the one in which

∑i∈N vi(x (s(v)))

is the smallest.

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 23

Page 30: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Lecture Overview

1 Recap

2 Quasilinear Mechanisms

3 Properties

4 The Groves Mechanism

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 24

Page 31: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

A positive result

Recall that in the quasilinear utility setting, a mechanism canbe defined as a choice rule and a payment rule.

The Groves mechanism is a mechanism that satisfies:

dominant strategy (truthfulness)efficiency

In general it’s not:

budget balancedindividual-rational

...though we’ll see later that there’s some hope for recoveringthese properties.

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 25

Page 32: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

The Groves Mechanism

Definition (Groves mechanism)

The Groves mechanism is a direct quasilinear mechanism (x , p),where

x (v̂) = arg maxx

∑i

v̂i(x)

pi(v̂) = hi(v̂−i)−∑j 6=i

v̂j(x (v̂))

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 26

Page 33: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

The Groves Mechanism

x (v̂) = arg maxx

∑i

v̂i(x)

pi(v̂) = hi(v̂−i)−∑j 6=i

v̂j(x (v̂))

The choice rule should not come as a surprise (why not?)

because the mechanism is both truthful and efficient: theseproperties entail the given choice rule.

So what’s going on with the payment rule?

the agent i must pay some amount hi(v̂−i) that doesn’tdepend on his own declared valuationthe agent i is paid

∑j 6=i v̂j(x (v̂)), the sum of the others’

valuations for the chosen outcome

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 27

Page 34: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

The Groves Mechanism

x (v̂) = arg maxx

∑i

v̂i(x)

pi(v̂) = hi(v̂−i)−∑j 6=i

v̂j(x (v̂))

The choice rule should not come as a surprise (why not?)because the mechanism is both truthful and efficient: theseproperties entail the given choice rule.

So what’s going on with the payment rule?

the agent i must pay some amount hi(v̂−i) that doesn’tdepend on his own declared valuationthe agent i is paid

∑j 6=i v̂j(x (v̂)), the sum of the others’

valuations for the chosen outcome

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 27

Page 35: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

The Groves Mechanism

x (v̂) = arg maxx

∑i

v̂i(x)

pi(v̂) = hi(v̂−i)−∑j 6=i

v̂j(x (v̂))

The choice rule should not come as a surprise (why not?)because the mechanism is both truthful and efficient: theseproperties entail the given choice rule.

So what’s going on with the payment rule?

the agent i must pay some amount hi(v̂−i) that doesn’tdepend on his own declared valuationthe agent i is paid

∑j 6=i v̂j(x (v̂)), the sum of the others’

valuations for the chosen outcome

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 27

Page 36: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Groves Truthfulness

TheoremTruth telling is a dominant strategy under the Groves mechanism.

Consider a situation where every agent j other than i follows some arbitrarystrategy v̂j . Consider agent i’s problem of choosing the best strategy v̂i. As ashorthand, we will write v̂ = (v̂−i, v̂i). The best strategy for i is one that solves

maxv̂i

(vi(x (v̂))− p(v̂)

)Substituting in the payment function from the Groves mechanism, we have

maxv̂i

vi(x (v̂))− hi(v̂−i) +∑j 6=i

v̂j(x (v̂))

Since hi(v̂−i) does not depend on v̂i, it is sufficient to solve

maxv̂i

vi(x (v̂)) +∑j 6=i

v̂j(x (v̂))

.

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 28

Page 37: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Groves Truthfulness

maxv̂i

vi(x (v̂)) +∑j 6=i

v̂j(x (v̂))

.

The only way the declaration v̂i influences this maximization is through thechoice of x. If possible, i would like to pick a declaration v̂i that will lead themechanism to pick an x ∈ X which solves

maxx

vi(x) +∑j 6=i

v̂j(x)

. (1)

Under the Groves mechanism,

x (v̂) = arg maxx

(∑i

v̂i(x)

)= arg max

x

v̂i(x) +∑j 6=i

v̂j(x)

.

The Groves mechanism will choose x in a way that solves the maximization

problem in Equation (1) when i declares v̂i = vi. Because this argument does

not depend in any way on the declarations of the other agents, truth-telling is a

dominant strategy for agent i.

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 29

Page 38: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Proof intuition

externalities are internalized

agents may be able to change the outcome to another onethat they prefer, by changing their declarationhowever, their utility doesn’t just depend on the outcome—italso depends on their paymentsince they get paid the (reported) utility of all the other agentsunder the chosen allocation, they now have an interest inmaximizing everyone’s utility rather than just their own

in general, DS truthful mechanisms have the property that anagent’s payment doesn’t depend on the amount of hisdeclaration, but only on the other agents’ declarations

the agent’s declaration is used only to choose the outcome,and to set other agents’ payments

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 30

Page 39: Quasilinear Mechanisms; Groves Mechanismkevinlb/teaching/cs532l - 2008-9... · 2021. 1. 9. · A mechanism isex interim individual rationalwhen 8i8v i;E v ij i v i(x(s i(v i);s i(v

Recap Quasilinear Mechanisms Properties The Groves Mechanism

Groves Uniqueness

Theorem (Green–Laffont)

An efficient social choice function C : RXn → X ×Rn can beimplemented in dominant strategies for agents with unrestrictedquasilinear utilities only if pi(v) = h(v−i)−

∑j 6=i vj(x (v)).

it turns out that the same result also holds for the broaderclass of Bayes–Nash incentive-compatible efficientmechanisms.

Quasilinear Mechanisms; Groves Mechanism Lecture 15, Slide 31