Single-parameter Mechanism design: Sponsored Search Auctions G. Amanatidis Based on slides by A. Voudouris
Single-item auctions β’ A seller with one item for sale β’ π agents β’ Each agent π has a private value π€ π for the item β This value represents the willingness-to-pay of the agent; that is, π€ π is the maximum amount of money that agent π is willing to pay in order to buy the item β’ The utility of each agent is quasilinear in money : β If agent π loses the item, then her utility is 0 β If agent π wins the item at price π , then her utility is π€ π β π
Single-item auctions β’ General structure of an auction: β Input: every agent π submits a bid π π ( agents = bidders ) β Allocation rule: decide the winner β Payment rule: decide a selling price β’ Deciding the winner is easy: the highest bidder β’ Deciding the selling price is more complicated β A selling price of 0 , creates a competition among the bidders as to who can think of the highest number β’ We are interested in payment rules that incentivize the bidders to bid their true values β Truthful auctions that maximize the social welfare
First-price auction β’ Allocation rule: the winner is the highest bidder β’ Payment rule: the winner pays her bid β’ Is this a truthful auction? π€ 1 = 100 π€ 2 = 50
First-price auction β’ Allocation rule: the winner is the highest bidder β’ Payment rule: the winner pays her bid β’ Is this a truthful auction? π€ 1 = 100 π 1 = 50.1 π€ 2 = 50 π 2 = 50
Second-price auction β’ Allocation rule: the winner is the highest bidder β’ Payment rule: the winner pays the second highest bid Theorem [Vickrey, 1961 ] In a second-price auction (a) it is a dominant strategy for every bidder π to bid π π = π€ π , and (b) every truthtelling bidder gets non-negative utility β’ (b) is obvious: β the selling price is at most the winnerβs bid, and the bid of a truthtelling bidder is equal to her true value
Second-price auction β’ For (a), our goal is to show that the utility of bidder π is maximized by bidding π€ π , no matter what π€ π and the bids of the other bidders are β’ Second highest bid: πΆ = max πβ π π π β’ The utility of bidder π is either 0 if π π < πΆ , or π€ π β πΆ otherwise Case I: π π < πͺ β’ Maximum possible utility = 0 β’ Achieved by setting π π = π€ π Case II: π π β₯ πͺ β’ Maximum possible utility = π€ π β πΆ β’ Bidder π wins the item by setting π π = π€ π β’
Sponsored search auctions
Sponsored search auctions β’ In 2011 Googleβs revenue was almost 40.000.000.000 usd β’ 96% of this was generated by sponsored search auctions
Sponsored search auctions β’ π advertising slots β’ π bidders (advertisers) who aim to occupy a slot β’ Slot π has a click-through-rate (CTR) π π β The CTR of a slot represents the probability that the ad placed at this slot will be clicked on β Assumption: the CTRs are independent of the ads that occupy the slots β’ The slots are ranked so that π 1 β₯ β― β₯ π π β’ Each bidder π has a private value π€ π per click β Bidder π derives utility π π β π€ π from slot π
Sponsored search auctions: goals β’ Truthfulness: It is a dominant strategy for each bidder to bid her true value β’ Social welfare maximization: Ο π π€ π β π¦ π β π¦ π is the CTR of the slot that bidder π is assigned to, or 0 otherwise β’ Poly-time execution: running the auction should be quick
Sponsored search auctions: goals β’ Truthfulness: It is a dominant strategy for each bidder to bid her true value β’ Social welfare maximization: Ο π π€ π β π¦ π β π¦ π is the CTR of the slot that bidder π is assigned to, or 0 otherwise β’ Poly-time execution: running the auction should be quick β’ If the bidders are truthful, then maximizing the social welfare is easy: sort the bidders in decreasing order of their bids β’ So, the problem is to incentivize them to be truthful, again β’ Can we extend the ideas we exploited for single-item auctions?
Generalized second-price auction β’ Allocation rule: sort the bidders in decreasing order of their bids and rename them so that π 1 β₯ β― β₯ π π β’ Payment rule: every bidder π β€ π (who is assigned at slot π ) pays the next highest bid π π+1 per click, and every bidder π > π pays 0 π€ 1 = 100 π 1 = 1 π€ 2 = 50 π 2 = 3 5
Generalized second-price auction β’ Allocation rule: sort the bidders in decreasing order of their bids and rename them so that π 1 β₯ β― β₯ π π β’ Payment rule: every bidder π β€ π (who is assigned at slot π ) pays the next highest bid π π+1 per click, and every bidder π > π pays 0 π€ 1 = 100 π 1 = 100 π£ 1 = 1 β 100 β 50 π 1 = 1 = 50 π€ 2 = 50 π 2 = 50 π 2 = 3 π£ 2 = 3 5 β 50 = 30 5
Generalized second-price auction β’ Allocation rule: sort the bidders in decreasing order of their bids and rename them so that π 1 β₯ β― β₯ π π β’ Payment rule: every bidder π β€ π (who is assigned at slot π ) pays the next highest bid π π+1 per click, and every bidder π > π pays 0 π€ 1 = 100 π 1 = 49 π£ 2 = 1 β 50 β 49 π 1 = 1 = 1 π€ 2 = 50 π 2 = 50 π 2 = 3 π£ 1 = 3 5 β 100 = 60 5
Myersonβs Lemma β’ That didnβt work for sponsored search auctions, so what now? β’ Letβs try to see how the optimal truthful auction should look like, for any single parameter environment β’ Input by bidders: π = (π 1 , β¦ , π π ) β’ Allocation rule: π(π) = (π¦ 1 (π), β¦ , π¦ π (π)) β’ Payment rule: π(π) = (π 1 (π), β¦ , π π (π)) β’ The utility of bidder π is π£ π π = π€ π β π¦ π (π) β π π (π) β’ Focus on payment rules such that π π π β 0, π π β π¦ π π β π π π β₯ 0 ensures that the seller does not pay the bidders β π π π β€ π π β π¦ π π ensures non-negative utility for truthful bidders
Myersonβs Lemma β’ An allocation rule π is implementable if there exists a payment rule π such that (π, π) is a truthful auction β’ An allocation rule π is monotone if for every bidder π and bid vector π βπ , the allocation π¦ π (π¨, π βπ ) is non-decreasing in the bid π¨ of bidder π Lemma [Myerson, 1981 ] (a) An allocation rule π is implementable if and only if it is monotone (b) For every allocation rule π , there exists a unique payment rule π such that (π, π) is a truthful auction
Proof of Myersonβs Lemma β’ Fix a bidder π , and the bids π βπ of the other bidders β’ Given that these quantities are now fixed, we simplify our notation: β π¦(π¨) = π¦ π (π¨, π βπ ) β π π¨ = π π π¨, π βπ β π£ π¨ = π£ π π¨, π βπ β’ The idea: β assuming (π, π) is a truthful auction, the bidder has no incentive to unilaterally deviate to any other bid β This will give us a relation between π and π , which we can use to derive an explicit formula for π as a function of π
Proof of Myersonβs Lemma β’ Consider two bids 0 β€ π¨ < π§ and assume π is implementable by π β’ True value = π¨ , deviating bid = π§ : π£ π¨ β₯ π£ π§ βΊ π¨ β π¦ π¨ β π π¨ β₯ π¨ β π¦ π§ β π π§ βΊ π π§ β π π¨ β₯ π¨ β π¦ π§ β π¦ π¨ β’ True value = π§ , deviating bid = π¨ : π£ π§ β₯ π£ π¨ βΊ π§ β π¦ π§ β π π§ β₯ π§ β π¦ π¨ β π π¨ βΊ π π§ β π π¨ β€ π§ β π¦ π§ β π¦ π¨
Proof of Myersonβs Lemma β’ Combining these two, we get: π¨ β π¦ π§ β π¦ π¨ β€ π π§ β π π¨ β€ π§ β π¦ π§ β π¦ π¨ β’ This also implies that π§ β π¨ β π¦ π§ β π¦ π¨ β₯ 0 β’ Since 0 β€ π¨ < π§ , this is possible if and only if π is monotone so that π§ β π¨ > 0 and π¦ π§ β π¦ π¨ > 0 β¨ (a) is now proved
Proof of Myersonβs Lemma β’ We can now assume that π is monotone β’ Assume π is piecewise constant, like in sponsored search auctions π¦(π¨) 0 π¨ β’ The break points are defined by the highest bids of the other bidders
Proof of Myersonβs Lemma π¦(π¨) 0 π¨
Proof of Myersonβs Lemma π¨ β π¦ π§ β π¦ π¨ β€ π π§ β π π¨ β€ π§ β π¦ π§ β π¦ π¨ β’ By fixing π¨ and taking the limit as π§ tends to π¨ , we have that jump of π at π¨ = π¨ β ( jump of π¦ at π¨)
Proof of Myersonβs Lemma π¨ β π¦ π§ β π¦ π¨ β€ π π§ β π π¨ β€ π§ β π¦ π§ β π¦ π¨ β’ By fixing π¨ and taking the limit as π§ tends to π¨ , we have that jump of π at π¨ = π¨ β ( jump of π¦ at π¨) β’ Therefore, we can define the payment of the bidder as π π = Ο π§β[0,π] π§ β ( jump of π¦ at π§) where π§ enumerates all break points of π¦ in [0, π]
Recommend
More recommend