csc304 lecture 8nisarg/teaching/304f19/...Β Β· mathematical setup csc304 - nisarg shah 9 β€’our goal...

Post on 15-Jul-2020

2 Views

Category:

Documents

0 Downloads

Preview:

Click to see full reader

TRANSCRIPT

CSC304 Lecture 8

Mechanism Design with Money:

VCG mechanism

CSC304 - Nisarg Shah 1

RECAP: Game Theory

CSC304 - Nisarg Shah 2

β€’ Simultaneous-move Games

β€’ Nash equilibria

β€’ Prices of anarchy and stability

β€’ Cost-sharing games, congestion games, Braess’ paradox

β€’ Zero-sum games and the minimax theorem

β€’ Stackelberg games

Mechanism Design with Money

CSC304 - Nisarg Shah 3

β€’ Design the game structure in order to induce the desired behavior from the agents

β€’ Desired behavior?➒ We will mostly focus on incentivizing agents to truthfully

reveal their private information

β€’ With money➒ Can pay agents or ask agents for money depending on

what the agents report

Mathematical Setup

CSC304 - Nisarg Shah 4

β€’ A set of outcomes 𝐴➒ 𝐴 might depend on which agents are participating.

β€’ Each agent 𝑖 has a private valuation 𝑣𝑖 ∢ 𝐴 β†’ ℝ

β€’ Auctions:➒ 𝐴 has a nice structure.o Selling one item to 𝑛 buyers = 𝑛 outcomes (β€œgive to 𝑖”)

o Selling π‘š items to 𝑛 buyers = π‘›π‘š outcomes

➒ Agents only care about which items they receiveo 𝐴𝑖 = bundle of items allocated to agent 𝑖

o Use 𝑣𝑖 𝐴𝑖 instead of 𝑣𝑖(𝐴) for notational simplicity

➒ But for now, we’ll look at the general setup.

Mathematical Setup

CSC304 - Nisarg Shah 5

β€’ Agent 𝑖 might misreport: report 𝑣𝑖 instead of 𝑣𝑖

β€’ Mechanism: (𝑓, 𝑝)➒ Input: reported valuations 𝑣 = ( 𝑣1, … , 𝑣𝑛)

➒ 𝑓 𝑣 ∈ 𝐴 decides what outcome is implemented

➒ 𝑝 𝑣 = (𝑝1, … , 𝑝𝑛) decides how much each agent payso Note that each 𝑝𝑖 is a function of all reported valuations

β€’ Utility to agent 𝑖 : 𝑒𝑖 𝑣 = 𝑣𝑖 𝑓 𝑣 βˆ’ 𝑝𝑖 π‘£βž’ β€œQuasi-linear utilities”

Mathematical Setup

CSC304 - Nisarg Shah 6

β€’ Our goal is to design the mechanism (𝑓, 𝑝)➒ 𝑓 is called the social choice function

➒ 𝑝 is called the payment scheme

➒ We want to several things from our mechanism

β€’ Truthfulness/strategyproofness➒ For all agents 𝑖, all 𝑣𝑖, and all 𝑣,

𝑒𝑖 𝑣𝑖 , π‘£βˆ’π‘– β‰₯ 𝑒𝑖( 𝑣𝑖 , π‘£βˆ’π‘–)

➒ An agent is at least as happy reporting the truth as telling any lie, irrespective of what other agents report

Mathematical Setup

CSC304 - Nisarg Shah 7

β€’ Our goal is to design the mechanism (𝑓, 𝑝)➒ 𝑓 is called the social choice function

➒ 𝑝 is called the payment scheme

➒ We want to several things from our mechanism

β€’ Individual rationality➒ For all agents 𝑖 and for all π‘£βˆ’π‘–,

𝑒𝑖 𝑣𝑖 , π‘£βˆ’π‘– β‰₯ 0

➒ An agent doesn’t regret participating if she tells the truth.

Mathematical Setup

CSC304 - Nisarg Shah 8

β€’ Our goal is to design the mechanism (𝑓, 𝑝)➒ 𝑓 is called the social choice function

➒ 𝑝 is called the payment scheme

➒ We want to several things from our mechanism

β€’ No payments to agents➒ For all agents 𝑖 and for all 𝑣,

𝑝𝑖 𝑣 β‰₯ 0

➒ Agents pay the center. Not the other way around.

Mathematical Setup

CSC304 - Nisarg Shah 9

β€’ Our goal is to design the mechanism (𝑓, 𝑝)➒ 𝑓 is called the social choice function

➒ 𝑝 is called the payment scheme

➒ We want to several things from our mechanism

β€’ Welfare maximization➒ Maximize σ𝑖 𝑣𝑖 𝑓 𝑣

o In many contexts, payments are less important (e.g. ad auctions)

o Or think of the auctioneer as another agent with utility σ𝑖 𝑝𝑖 𝑣

β€’ Then, the total utility of all agents (including the auctioneer) is precisely the objective written above

Single-Item Auction

CSC304 - Nisarg Shah 10

Image Courtesy: Freepik

Rule 1: Each would tell me his/her value. I’ll give it to the one with the higher value.

Objective: The one who really needs it more should have it.

?

Single-Item Auction

CSC304 - Nisarg Shah 11

Image Courtesy: Freepik

Rule 2: Each would tell me his/her value. I’ll give it to the one with the higher value, but they have to pay me that value.

Objective: The one who really needs it more should have it.

?

Single-Item Auction

CSC304 - Nisarg Shah 12

Image Courtesy: Freepik

Implements the desired outcome. But not truthfully.

Objective: The one who really needs it more should have it.

?

Single-Item Auction

CSC304 - Nisarg Shah 13

Image Courtesy: Freepik

Rule 3: Each would tell me his/her value. I’ll give it to the one with the highest value, and charge them the second highest value.

Objective: The one who really needs it more should have it.

?

Single-item Vickrey Auction

CSC304 - Nisarg Shah 14

β€’ Simplifying notation: 𝑣𝑖 = value of agent 𝑖 for the item

β€’ 𝑓 𝑣 : give the item to agent π‘–βˆ— ∈ argmax𝑖 𝑣𝑖

β€’ 𝑝 𝑣 : π‘π‘–βˆ— = maxπ‘—β‰ π‘–βˆ—

𝑣𝑗, other agents pay nothing

Theorem:Single-item Vickrey auction is strategyproof.

Proof sketch:

Highest reported value among other agents

Case 1:𝑣𝑖 < 𝑏

True value of agent 𝑖

Case 2𝑣𝑖 = 𝑏

Case 3𝑣𝑖 > 𝑏

Increasingvalue

𝑏

Vickrey Auction: Identical Items

CSC304 - Nisarg Shah 15

β€’ Two identical xboxes

➒ Each agent 𝑖 only wants one, has value 𝑣𝑖

➒ Goal: give to the agents with the two highest values

β€’ Attempt 1

➒ To agent with highest value, charge 2nd highest value.

➒ To agent with 2nd highest value, charge 3rd highest value.

β€’ Attempt 2

➒ To agents with highest and 2nd highest values, charge the 3rd

highest value.

β€’ Question: Which attempt(s) would be strategyproof?

➒ Both, 1, 2, None?

VCG Auction

CSC304 - Nisarg Shah 16

β€’ Recall the general setup:➒ 𝐴 = set of outcomes, 𝑣𝑖 = valuation of agent 𝑖, 𝑣𝑖 = what

agent 𝑖 reports, 𝑓 chooses the outcome, 𝑝 decides payments

β€’ VCG (Vickrey-Clarke-Groves Auction)➒ 𝑓 𝑣 = π‘Žβˆ— ∈ argmaxπ‘Žβˆˆπ΄ σ𝑖 𝑣𝑖 π‘Ž

➒ 𝑝𝑖 𝑣 = maxπ‘Ž

σ𝑗≠𝑖 𝑣𝑗 π‘Ž βˆ’ σ𝑗≠𝑖 𝑣𝑗 π‘Žβˆ—

Maximize welfare

𝑖’s payment = welfare that others lost due to presence of 𝑖

A Note About Payments

CSC304 - Nisarg Shah 17

β€’ 𝑝𝑖 𝑣 = maxπ‘Ž

σ𝑗≠𝑖 𝑣𝑗 π‘Ž βˆ’ σ𝑗≠𝑖 𝑣𝑗 π‘Žβˆ—

β€’ In the first termβ€¦βž’ Maximum is taken over alternatives that are feasible

when 𝑖 does not participate.

➒ Agent 𝑖 cannot affect this term, so can ignore in calculating incentives.

➒ Could be replaced with any function β„Žπ‘– π‘£βˆ’π‘–

o This specific function has advantages (we’ll see)

Properties of VCG Auction

CSC304 - Nisarg Shah 18

β€’ Strategyproofness:➒ Suppose agents other than 𝑖 report π‘£βˆ’π‘–.

➒ Agent 𝑖 reports 𝑣𝑖 β‡’ outcome chosen is 𝑓 𝑣 = π‘Ž

➒ Utility to agent 𝑖 = 𝑣𝑖 π‘Ž βˆ’ ∎ βˆ’ σ𝑗≠𝑖 𝑣𝑗 π‘Ž

➒ Agent 𝑖 wants π‘Ž to maximize 𝑣𝑖 π‘Ž + σ𝑗≠𝑖 𝑣𝑗 π‘Ž

➒ 𝑓 chooses π‘Ž to maximize 𝑣𝑖 π‘Ž + σ𝑗≠𝑖 𝑣𝑗 π‘Ž

➒ Hence, agent 𝑖 is best off reporting 𝑣𝑖 = 𝑣𝑖

o 𝑓 chooses π‘Ž that maximizes the utility to agent 𝑖

Term that agent 𝑖 cannot affect

Properties of VCG Auction

CSC304 - Nisarg Shah 19

β€’ Individual rationality:➒ π‘Žβˆ— ∈ argmaxπ‘Žβˆˆπ΄ 𝑣𝑖 π‘Ž + σ𝑗≠𝑖 𝑣𝑗 π‘Ž

➒ π‘Ž ∈ argmaxπ‘Žβˆˆπ΄ σ𝑗≠𝑖 𝑣𝑗 π‘Ž

𝑒𝑖 𝑣𝑖 , π‘£βˆ’π‘–

= 𝑣𝑖 π‘Žβˆ— βˆ’ 𝑗≠𝑖

𝑣𝑗 π‘Ž βˆ’ 𝑗≠𝑖

𝑣𝑗 π‘Žβˆ—

= 𝑣𝑖 π‘Žβˆ— + 𝑗≠𝑖

𝑣𝑗 π‘Žβˆ— βˆ’ 𝑗≠𝑖

𝑣𝑗 π‘Ž

= Max welfare to all agentsβˆ’ max welfare to others when 𝑖 is absent

β‰₯ 0

Properties of VCG Auction

CSC304 - Nisarg Shah 20

β€’ No payments to agents:➒ Suppose the agents report 𝑣

➒ π‘Žβˆ— ∈ argmaxπ‘Žβˆˆπ΄ σ𝑗 𝑣𝑗 π‘Ž

➒ π‘Ž ∈ argmaxπ‘Žβˆˆπ΄ σ𝑗≠𝑖 𝑣𝑗 π‘Ž

𝑝𝑖 𝑣

= 𝑗≠𝑖

𝑣𝑗 π‘Ž βˆ’ 𝑗≠𝑖

𝑣𝑗 π‘Žβˆ—

= Max welfare to others when 𝑖 is absentβˆ’ welfare to others when 𝑖 is present

β‰₯ 0

Properties of VCG Auction

CSC304 - Nisarg Shah 21

β€’ Welfare maximization:➒ By definition, since 𝑓 chooses the outcome maximizing

the sum of reported values

β€’ Informal result:➒ Under minimal assumptions, VCG is the unique auction

satisfying these properties.

VCG: Simple Example

CSC304 - Nisarg Shah 22

β€’ Suppose each agent has a value XBox and a value for PS4.

β€’ Their value for {π‘‹π΅π‘œπ‘₯, 𝑃𝑆4} is the max of their two values.

A1 A2 A3 A4

XBox 3 4 8 7

PS4 4 2 6 1

Q: Who gets the xbox and who gets the PS4?

Q: How much do they pay?

VCG: Simple Example

CSC304 - Nisarg Shah 23

A1 A2 A3 A4

XBox 3 4 8 7

PS4 4 2 6 1

Allocation:

β€’ A4 gets XBox, A3 gets PS4

β€’ Achieves maximum welfare of 7 + 6 = 13

VCG: Simple Example

CSC304 - Nisarg Shah 24

A1 A2 A3 A4

XBox 3 4 8 7

PS4 4 2 6 1

Payments:

β€’ Zero payments charged to A1 and A2➒ β€œDeleting” either does not change the outcome/payments for others

β€’ Can also be seen by individual rationality

VCG: Simple Example

CSC304 - Nisarg Shah 25

A1 A2 A3 A4

XBox 3 4 8 7

PS4 4 2 6 1

Payments:

β€’ Payment charged to A3 = 11 βˆ’ 7 = 4➒ Max welfare to others if A3 absent: 7 + 4 = 11

o Give XBox to A4 and PS4 to A1

➒ Welfare to others if A3 present: 7

VCG: Simple Example

CSC304 - Nisarg Shah 26

A1 A2 A3 A4

XBox 3 4 8 7

PS4 4 2 6 1

Payments:

β€’ Payment charged to A4 = 12 βˆ’ 6 = 6➒ Max welfare to others if A4 absent: 8 + 4 = 12

o Give XBox to A3 and PS4 to A1

➒ Welfare to others if A4 present: 6

VCG: Simple Example

CSC304 - Nisarg Shah 27

A1 A2 A3 A4

XBox 3 4 8 7

PS4 4 2 6 1

Final Outcome:

β€’ Allocation: A3 gets PS4, A4 gets XBox

β€’ Payments: A3 pays 4, A4 pays 6

β€’ Net utilities: A3 gets 6 βˆ’ 4 = 2, A4 gets 7 βˆ’ 6 = 1

top related