CSC304 Lecture 12 Ending Mechanism Design w/ Money: Recap revenue - - PowerPoint PPT Presentation

β–Ά
csc304 lecture 12
SMART_READER_LITE
LIVE PREVIEW

CSC304 Lecture 12 Ending Mechanism Design w/ Money: Recap revenue - - PowerPoint PPT Presentation

CSC304 Lecture 12 Ending Mechanism Design w/ Money: Recap revenue maximization & Myersons auction Begin Mechanism Design w/o Money: Facility Location CSC304 - Nisarg Shah 1 Recap Single-item auction with 1 seller, buyers


slide-1
SLIDE 1

CSC304 Lecture 12

Ending Mechanism Design w/ Money: Recap revenue maximization & Myerson’s auction Begin Mechanism Design w/o Money: Facility Location

CSC304 - Nisarg Shah 1

slide-2
SLIDE 2

Recap

CSC304 - Nisarg Shah 2

  • Single-item auction with 1 seller, π‘œ buyers
  • Buyer 𝑗 has value 𝑀𝑗 drawn from cdf 𝐺𝑗 (pdf 𝑔

𝑗)

  • Virtual value function: πœ’π‘— 𝑀𝑗 = 𝑀𝑗 βˆ’

1βˆ’πΊπ‘—(𝑀𝑗) 𝑔𝑗(𝑀𝑗)

  • Myerson’s theorem: E[Revenue] = E σ𝑗 πœ’π‘— 𝑀𝑗 βˆ— 𝑦𝑗

➒ Maximize revenue = maximize virtual welfare subject to

monotonic allocation rule

slide-3
SLIDE 3

Recap

CSC304 - Nisarg Shah 3

  • When all 𝐺𝑗’s are regular

➒ Monotonicity is automatic

  • Allocation: Give to agent 𝑗 with maximum πœ’π‘—(𝑀𝑗) if

πœ’π‘— 𝑀𝑗 β‰₯ 0

➒ When the maximum πœ’π‘— 𝑀𝑗 is negative, not selling the item

is better (zero virtual welfare > negative virtual welfare)

  • Payment: Charge

𝑀𝑗

βˆ— = min 𝑀𝑗 β€² ∢ πœ’π‘— 𝑀𝑗 β€² β‰₯ max 0, πœ’π‘˜ π‘€π‘˜

βˆ€π‘˜ β‰  𝑗

➒ Least possible value for which the agent still gets the item ➒ If virtual value drops below any other virtual value or below

0, the agent loses the item

slide-4
SLIDE 4

Recap

CSC304 - Nisarg Shah 4

  • Special case: All 𝐺𝑗 = 𝐺 = Regular

➒ VCG with reserve price πœ’βˆ’1(0)

  • Allocation: Give the item to agent 𝑗 with the

maximum value 𝑀𝑗 but only if 𝑀𝑗 β‰₯ πœ’βˆ’1(0)

➒ Equivalent to πœ’ 𝑀𝑗 β‰₯ 0

  • Payment: max πœ’βˆ’1 0 , max

π‘˜β‰ π‘— π‘€π‘˜

➒ Least possible value for which the agent still gets the item ➒ The agent loses the item as soon as his value goes below

either the 2nd highest bid or the reserve price

slide-5
SLIDE 5
  • Approx. Optimal Auctions

CSC304 - Nisarg Shah 5

  • When 𝐺𝑗’s are complex, the virtual valuation

function is complex too

➒ The optimal auction is unintuitive ➒ Two simple auctions that achieve good revenue

  • Theorem [Hartline & Roughgarden, 2009]:

For independent regular distributions, VCG with bidder-specific reserve prices can guarantee 50% of the optimal revenue.

slide-6
SLIDE 6
  • Approx. Optimal Auctions

CSC304 - Nisarg Shah 6

  • Still relies on knowing bidders’ distributions

➒ Can break down if the true distribution is different than

the assumed distribution

  • Theorem [Bulow and Klemperer, 1996]:

For i.i.d. bidder valuations, 𝐹[Revenue of VCG with π‘œ + 1 bidders] β‰₯ 𝐹[Optimal revenue with π‘œ bidders]

  • β€œSpend effort in getting one more bidder than in

figuring out the optimal auction”

slide-7
SLIDE 7

Simple Proof

CSC304 - Nisarg Shah 7

  • (n+1)-bidder VCG has the maximum expected

revenue among all (n+1)-bidder DSIC auctions that always allocate the item

➒ Revenue Equivalence Theorem

  • Consider the following (n+1)-bidder DSIC auction

➒ Run π‘œ-bidder Myerson on first π‘œ bidders. If the item is

unallocated, give it to agent π‘œ + 1 for free.

➒ As much expected revenue as π‘œ-bidder Myerson auction ➒ No more expected revenue than (n+1)-bidder VCG

  • QED!
slide-8
SLIDE 8

Optimizing Revenue is Hard

CSC304 - Nisarg Shah 8

  • Beyond single-parameter settings, the optimal

auctions become even trickier

  • Example: Two items, a single bidder with i.i.d.

values for both items

➒ Q: Shouldn’t the optimal auction just sell each item

individually using Myerson’s auction?

➒ A: No! Putting a take-it-or-leave-it offer on the two items

bundled together can increase revenue!

  • Slow progress on optimal auctions, but fast

progress on simple and approximately optimal auctions

slide-9
SLIDE 9

Mechanism Design Without Money

CSC304 - Nisarg Shah 9

slide-10
SLIDE 10

Lack of Money

CSC304 - Nisarg Shah 10

  • Mechanism design with money:

➒ VCG can implement the welfare maximizing outcome

because it can charge payments

  • Mechanism design without money:

➒ Suppose you want to give away a single item, but cannot

charge any payments

➒ Impossible to get meaningful information about

valuations from strategic agents

➒ How would you maximize welfare as much as possible?

slide-11
SLIDE 11

Lack of Money

CSC304 - Nisarg Shah 11

  • One possibility: Give the item to each of π‘œ bidders

with probability 1/π‘œ.

  • Does not maximize welfare

➒ It’s impossible to maximize welfare without money

  • Achieves an π‘œ-approximation of maximum welfare

➒ max

𝑀 max𝑗 𝑀𝑗 (1/π‘œ) σ𝑗 𝑀𝑗 ≀ π‘œ

(What is this?)

  • Can’t do better than π‘œ-approximation
slide-12
SLIDE 12

MD w/o Money Theme

CSC304 - Nisarg Shah 12

  • 1. Define the problem: agents, outcomes, valuations
  • 2. Define the goal (e.g., maximizing social welfare)
  • 3. Check if the goal can be achieved using a

strategyproof mechanism

➒ β€œstrategyproof” = DSIC

  • 4. If not, find the strategyproof mechanism that

provides the best approximation ratio

➒ Approximation ratio is similar to price of anarchy (PoA)

slide-13
SLIDE 13

Facility Location

CSC304 - Nisarg Shah 13

  • Set of agents 𝑂
  • Each agent 𝑗 has a true location 𝑦𝑗 ∈ ℝ
  • Mechanism 𝑔

➒ Takes as input reports ව

𝑦 = (ΰ·€ 𝑦1, ΰ·€ 𝑦2, … , ΰ·€ π‘¦π‘œ)

➒ Returns a location 𝑧 ∈ ℝ for the new facility

  • Cost to agent 𝑗 : 𝑑𝑗 𝑧 = 𝑧 βˆ’ 𝑦𝑗
  • Social cost 𝐷 𝑧 = σ𝑗 𝑑𝑗 𝑧 = σ𝑗 𝑧 βˆ’ 𝑦𝑗
slide-14
SLIDE 14

Facility Location

CSC304 - Nisarg Shah 14

  • Social cost 𝐷 𝑧 = σ𝑗 𝑑𝑗 𝑧 = σ𝑗 𝑧 βˆ’ 𝑦𝑗
  • Q: Ignoring incentives, what choice of 𝑧 would

minimize the social cost?

  • A: The median location med(𝑦1, … , π‘¦π‘œ)

➒ π‘œ is odd β†’ the unique β€œ(n+1)/2”th smallest value ➒ π‘œ is even β†’ β€œn/2”th or β€œ(n/2)+1”st smallest value ➒ Why?

slide-15
SLIDE 15

Facility Location

CSC304 - Nisarg Shah 15

  • Social cost 𝐷 𝑧 = σ𝑗 𝑑𝑗 𝑧 = σ𝑗 𝑧 βˆ’ 𝑦𝑗
  • Median is optimal (i.e., 1-approximation)
  • What about incentives?

➒ Median is also strategyproof (SP)! ➒ Irrespective of the reports of other agents, agent 𝑗 is best

  • ff reporting 𝑦𝑗
slide-16
SLIDE 16

Median is SP

CSC304 - Nisarg Shah 16

No manipulation can help

slide-17
SLIDE 17

Max Cost

CSC304 - Nisarg Shah 17

  • A different objective function 𝐷 𝑧 = max𝑗 𝑧 βˆ’ 𝑦𝑗
  • Q: Again ignoring incentives, what value of 𝑧

minimizes the maximum cost?

  • A: The midpoint of the leftmost (min

𝑗

𝑦𝑗) and the rightmost (max

𝑗

𝑦𝑗) locations (WHY?)

  • Q: Is this optimal rule strategyproof?
  • A: No! (WHY?)
slide-18
SLIDE 18

Max Cost

CSC304 - Nisarg Shah 18

  • 𝐷 𝑧 = max𝑗 𝑧 βˆ’ 𝑦𝑗
  • We want to use a strategyproof mechanism.
  • Question: What is the approximation ratio of

median for maximum cost?

  • 1. ∈ 1,2
  • 2. ∈ 2,3
  • 3. ∈ 3,4
  • 4. ∈ 4, ∞
slide-19
SLIDE 19

Max Cost

CSC304 - Nisarg Shah 19

  • Answer: 2-approximation
  • Other SP mechanisms that are 2-approximation

➒ Leftmost: Choose the leftmost reported location ➒ Rightmost: Choose the rightmost reported location ➒ Dictatorship: Choose the location reported by agent 1 ➒ …

slide-20
SLIDE 20

Max Cost

CSC304 - Nisarg Shah 20

  • Theorem [Procaccia & Tennenholtz, β€˜09]

No deterministic SP mechanism has approximation ratio < 2 for maximum cost.

  • Proof:
slide-21
SLIDE 21

Max Cost + Randomized

CSC304 - Nisarg Shah 21

  • The Left-Right-Middle (LRM) Mechanism

➒ Choose min

𝑗

𝑦𝑗 with probability ΒΌ

➒ Choose max

𝑗

𝑦𝑗 with probability ΒΌ

➒ Choose (min

𝑗

𝑦𝑗 + max

𝑗

𝑦𝑗)/2 with probability Β½

  • Question: What is the approximation ratio of LRM

for maximum cost?

  • At most

(1/4)βˆ—2𝐷+(1/4)βˆ—2𝐷+(1/2)βˆ—π· 𝐷

=

3 2

slide-22
SLIDE 22

Max Cost + Randomized

CSC304 - Nisarg Shah 22

  • Theorem [Procaccia & Tennenholtz, β€˜09]:

The LRM mechanism is strategyproof.

  • Proof:

1/4 1/4 1/2 1/4 1/4 1/2 2πœ€ πœ€

slide-23
SLIDE 23

Max Cost + Randomized

CSC304 - Nisarg Shah 23

  • Exercise for you!

Try showing that no randomized SP mechanism can achieve approximation ratio < 3/2

  • Suggested outline

➒ Consider two agents with 𝑦1 = 0 and 𝑦2 = 1 ➒ Show that one of them has expected cost at least Β½ ➒ What happens if that agent moves 1 unit farther from the

  • ther agent?