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

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend