csc2556
play

CSC2556 Lecture 8 Mechanism Design with Money: VCG CSC2556 - - PowerPoint PPT Presentation

CSC2556 Lecture 8 Mechanism Design with Money: VCG CSC2556 - Nisarg Shah 1 Announcements Mid-project Check-in: Sent out a sign-up sheet. If you think it would help, sign up for a 30-minute slot and we can chat about your project.


  1. CSC2556 Lecture 8 Mechanism Design with Money: VCG CSC2556 - Nisarg Shah 1

  2. Announcements • Mid-project Check-in: ➢ Sent out a sign-up sheet. ➢ If you think it would help, sign up for a 30-minute slot and we can chat about your project. • Presentations: ➢ We’ll have presentations in the last 1.5 lectures with about 20 minutes per group (17 minutes of presentation followed by 3 minutes of class discussion). • Reports: due April 15 ➢ 4-5 pages ➢ Introduction, related work, model, results, future work CSC2556 - Nisarg Shah 2

  3. Framework • Set 𝑂 of 𝑜 agents • Set 𝐵 of 𝑛 alternatives • Valuations 𝑤 = 𝑤 𝑗 𝑗∈𝑂 ➢ Agent 𝑗 ’s valuation: 𝑤 𝑗 : 𝐵 → ℝ • Mechanism 𝑁 = (𝑔, 𝑞) ➢ Social Choice Function: 𝑔 𝑤 ∈ 𝐵 is implemented ➢ Payment Vector: Agent 𝑗 pays 𝑞 𝑗 (𝑤) CSC2556 - Nisarg Shah 3

  4. Framework • Quasi-linear utilities: 𝑤 𝑗 𝑔 𝑤 − 𝑞 𝑗 𝑤 • Goal 1: Social Welfare Maximization ➢ Maximize σ 𝑗 𝑤 𝑗 𝑔 𝑤 ➢ Can think of welfare with auctioneer. Also important to generate high-quality ads in ad auctions. • Goal 2: Revenue Maximization (we’ll skip this) ➢ Maximize σ 𝑗 𝑞 𝑗 𝑤 • Individual Rationality (IR) ➢ Non-negative utilities: 𝑤 𝑗 𝑔 𝑤 − 𝑞 𝑗 𝑤 ≥ 0, ∀𝑗 ∈ 𝑂 ➢ Bounds the revenue in goal 2. CSC2556 - Nisarg Shah 4

  5. Framework • Difficulty: ➢ Agents may report incorrect valuations ෤ 𝑤 = 𝑤 𝑗 𝑗∈𝑂 ෥ ➢ Agent 𝑗 , given the reports of other agents ෤ 𝑤 −𝑗 , wants to maximize her own utility 𝑤 𝑗 𝑔 ෤ 𝑤 𝑗 , ෤ 𝑤 −𝑗 − 𝑞 𝑗 ෤ 𝑤 𝑗 , ෤ 𝑤 −𝑗 • Strategyproofness (SP) ➢ Each agent 𝑗 maximizes her utility by reporting her true valuation 𝑤 𝑗 , regardless of what other agents report. 𝑤 𝑗 ∈ argmax ෤ 𝑤 𝑗 𝑤 𝑗 𝑔 ෤ 𝑤 𝑗 , ෤ 𝑤 −𝑗 − 𝑞 𝑗 ෤ 𝑤 𝑗 , ෤ 𝑤 −𝑗 , ∀𝑗, ෤ 𝑤 −𝑗 ➢ Achieving SP is why we’ll need to charge payments in Goal 1. CSC2556 - Nisarg Shah 5

  6. Auctions • Sell a set of goods to a set of agents ➢ Similar to fair division, but now with payments ➢ Alternative 𝑏 → allocation 𝐵 ➢ Standard assumption: o Agent 𝑗 ’s value only depends on 𝐵 𝑗 o Instead of 𝑤 𝑗 (𝑏) , we use 𝑤 𝑗 𝐵 𝑗 • Single-item Auction ➢ Alternative 𝑏 𝑗 : “agent 𝑗 gets the item” ➢ 𝑤 𝑗 𝑏 𝑗 → 𝑤 𝑗 (shorthand), 𝑤 𝑗 𝑏 𝑘 = 0, ∀𝑗 ≠ 𝑘 CSC2556 - Nisarg Shah 6

  7. Single-Item Auction Objective: The one who really needs it more should have it. ? Rule 1: Each would tell me his/her value. I’ll give it to the one with the higher value. Image Courtesy: Freepik CSC304 - Nisarg Shah 7

  8. Single-Item Auction Objective: The one who really needs it more should have it. ? 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. Image Courtesy: Freepik CSC304 - Nisarg Shah 8

  9. Single-Item Auction Objective: The one who really needs it more should have it. ? Implements the desired outcome. But not in a strategyproof way. Image Courtesy: Freepik CSC304 - Nisarg Shah 9

  10. Single-Item Auction Objective: The one who really needs it more should have it. ? 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. Image Courtesy: Freepik CSC304 - Nisarg Shah 10

  11. VCG: Single-Item • 𝑔 : Give the item to agent 𝑗 ∗ ∈ argmax 𝑗 𝑤 𝑗 • 𝑞 : 𝑞 𝑗 ∗ = max 𝑘≠𝑗 ∗ 𝑤 𝑘 , other agents pay nothing Theorem: VCG for a single item is strategyproof. Case 1: Case 2 Case 3 𝑤 𝑗 < 𝑐 𝑤 𝑗 = 𝑐 𝑤 𝑗 > 𝑐 True value of agent 𝑗 Increasing Value Highest reported value among other agents 𝑐 CSC304 - Nisarg Shah 11

  12. VCG: Identical Items • Two identical Xboxes ➢ Each agent 𝑗 only wants one, has value 𝑤 𝑗 ➢ Goal: Give to the agents with the two highest values • Attempt 1: ➢ Highest value → pay 2 nd highest value ➢ 2 nd highest value → pay 3 rd highest value • Attempt 2: ➢ {Highest value, 2 nd highest value} → pay 3 rd highest value • Question: Which would be strategyproof? CSC304 - Nisarg Shah 12

  13. Vickrey Auction: General Case • For the general case with arbitrary alternatives Maximize social welfare • Vickrey Auction ➢ 𝑔 𝑤 = argmax 𝑏∈𝐵 σ 𝑗 𝑤 𝑗 (𝑏) ➢ 𝑞 𝑗 𝑤 = − σ 𝑘≠𝑗 𝑤 𝑘 𝑔 𝑤 Pay (not charge!) to each agent the total value to others • Why is this SP? ➢ Suppose agent 𝑘 ≠ 𝑗 reports ෤ 𝑤 𝑘 ➢ Utility to agent 𝑗 when reporting ෤ 𝑤 𝑗 o 𝑤 𝑗 𝑏 − − σ 𝑘≠𝑗 ෤ = 𝑤 𝑗 𝑏 + σ 𝑘≠𝑗 ෤ 𝑤 𝑘 𝑏 𝑤 𝑘 𝑏 o Mechanism chooses 𝑏 to maximize ෤ 𝑤 𝑗 𝑏 + σ 𝑘≠𝑗 ෤ 𝑤 𝑘 𝑏 o Utility maximized when reporting ෤ 𝑤 𝑗 = 𝑤 𝑗 CSC304 - Nisarg Shah 13

  14. Vickrey Auction • This achieves social welfare maximization and individual rationality (IR) • But: To give away my single xbox, I need to pay each friend who doesn’t get it the value of the friend who gets it (I’m not that rich!) • Additional property: ➢ Agents pay the principal: 𝑞 𝑗 𝑤 ≥ 0 CSC304 - Nisarg Shah 14

  15. Idea • Vickrey auction ➢ 𝑔 𝑤 = argmax 𝑏∈𝐵 σ 𝑗 𝑤 𝑗 (𝑏) ➢ 𝑞 𝑗 𝑤 = − σ 𝑘≠𝑗 𝑤 𝑘 𝑔 𝑤 • A slight modification ➢ 𝑔 𝑤 = argmax 𝑏∈𝐵 σ 𝑗 𝑤 𝑗 (𝑏) ➢ 𝑞 𝑗 𝑤 = ℎ 𝑗 𝑤 −𝑗 − σ 𝑘≠𝑗 𝑤 𝑘 𝑔 𝑤 • Still truthful. Agent 𝑗 has no control over his additional payment ℎ 𝑗 𝑤 −𝑗 CSC304 - Nisarg Shah 15

  16. VCG • Clarke’s pivot rule ➢ ℎ 𝑗 𝑤 −𝑗 = max 𝑏 σ 𝑘≠𝑗 𝑤 𝑘 𝑏 ➢ Maximum welfare to others if agent 𝑗 wasn’t there • VCG (Vickrey-Clarke-Groves Auction) ➢ 𝑔 𝑤 = 𝑏 ∗ = argmax 𝑏∈𝐵 σ 𝑗 𝑤 𝑗 (𝑏) − σ 𝑘≠𝑗 𝑤 𝑘 𝑏 ∗ σ 𝑘≠𝑗 𝑤 𝑘 𝑏 ➢ 𝑞 𝑗 𝑤 = max 𝑏 • Payment charged to agent 𝑗 = harm imposed on the welfare of others by 𝑗 ’s presence CSC304 - Nisarg Shah 16

  17. VCG • 𝑔 𝑤 = 𝑏 ∗ = argmax 𝑏∈𝐵 σ 𝑗 𝑤 𝑗 (𝑏) − σ 𝑘≠𝑗 𝑤 𝑘 𝑏 ∗ • 𝑞 𝑗 𝑤 = max σ 𝑘≠𝑗 𝑤 𝑘 𝑏 𝑏 • We already saw that this is strategyproof. • We also have 𝑞 𝑗 𝑤 ≥ 0 . (Why?) • We maintain IR: 𝑞 𝑗 𝑤 ≤ 𝑤 𝑗 𝑏 ∗ . (Why?) CSC304 - Nisarg Shah 17

  18. VCG: Simple Example • Let’s go back to giving away an xbox and a ps4. 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? CSC304 - Nisarg Shah 18

  19. VCG: Simple Example 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 CSC304 - Nisarg Shah 19

  20. VCG: Simple Example A1 A2 A3 A4 XBox 3 4 8 7 PS4 4 2 6 1 Payments: • Zero payments charged to A1 and A2 • “Deleting” either of them does not change the outcome or payments for others • Can also be seen by individual rationality CSC304 - Nisarg Shah 20

  21. VCG: Simple Example 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 ➢ Give XBox to A4 and PS4 to A1 • Welfare to others if A3 present: 7 CSC304 - Nisarg Shah 21

  22. VCG: Simple Example 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 ➢ Give XBox to A3 and PS4 to A1 • Welfare to others if A4 present: 6 CSC304 - Nisarg Shah 22

  23. VCG: Simple Example 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 CSC304 - Nisarg Shah 23

  24. Problems with VCG • Difficult to understand ➢ Must reason about what would maximize others’ welfare • Possibly low revenue ➢ [Bulow-Klemperer 96]: With i.i.d. valuations, 𝔽 [VCG revenue, 𝑜 +1 agents] ≥ 𝔽 [OPT revenue, 𝑜 agents] • Often NP-hard to implement ➢ Even computing the welfare maximizing allocation may be computationally difficult • … CSC304 - Nisarg Shah 24

  25. Single-Minded Bidders • Allocate a set 𝑇 of 𝑛 items • Each agent 𝑗 is described by (𝑤 𝑗 , 𝑇 𝑗 ) ➢ Gets value 𝑤 𝑗 if she receives all items in 𝑇 𝑗 ⊆ 𝑇 (and possibly some other items) ➢ Gets value 0 if she doesn’t receive even one item in 𝑇 𝑗 ➢ “ Single-minded ” • Welfare-maximizing allocation: ➢ Find a subset of players with the highest total value such that their desired sets are disjoint CSC304 - Nisarg Shah 25

  26. Single-Minded Bidders • Reduction to the Weighted Independent Set (WIS) problem in graphs ➢ NP-hard 1 2 −𝜗 ) approximation (unless 𝑂𝑄 ⊆ 𝑎𝑄𝑄 ) ➢ No O(𝑛 • 𝑛 -approximation through a simple greedy algorithm in a strategyproof way CSC304 - Nisarg Shah 26

Recommend


More recommend