A Bayesian-optimal mechanism (BOM) is a mechanism in which the designer does not know the valuations of the agents for whom the mechanism is designed, but the designer knows that they are random variables and knows the probability distribution of these variables.
A typical application is a seller who wants to sell some items to potential buyers. The seller wants to price the items in a way that will maximize their profit. The optimal prices depend on the amount that each buyer is willing to pay for each item. The seller does not know these amounts, but assumes that they are drawn from a certain known probability distribution. The phrase "Bayesian optimal mechanism design" has the following meaning:
There is one item for sale. There are two potential buyers. The valuation of each buyer is drawn i.i.d. from the uniform distribution on [0,1].
The Vickrey auction is a truthful mechanism and its expected profit, in this case, is 1/3 (the first-price sealed-bid auction is a non-truthful mechanism and its expected profit is the same).
This auction is not optimal. It is possible to get a better profit by setting a reservation price. The Vickrey auction with a reservation price of 1/2 achieves an expected profit of 5/12, which in this case is optimal.[1]
We assume that the agents have single-parameter utility functions, such as a single-item auction. Each agent
i
vi
vi
Fi
Fi(z)=\Pr[vi<z]
fi
fi(z)=Fi'(z)
An allocation is a vector
x
i
xi
i
c(x)
The surplus of an allocation is defined as:
S(x)=\sumixi ⋅ vi-c(x)
The surplus is the largest possible profit. If each winning agent
i
vi
S(x)
This maximal profit cannot be attained because if the auctioneer will try to charge each winning agent their value
vi
Roger Myerson designed a Bayesian-optimal mechanism for single-parameter utility agents. The key trick in Myerson's mechanism is to use virtual valuations. For every agent
i
wi(vi)=vi-
1-Fi(vi) | |
fi(vi) |
Define the virtual surplus of an allocation
x
S*(x)=\sumixi ⋅ wi(vi)-c(x)
A key theorem of Myerson says that:[2]
The expected profit of any truthful mechanism is equal to its expected virtual surplus.(the expectation is taken over the randomness in the agents' valuations).
This theorem suggests the following mechanism:
i
vi
Fi,fi
wi
S*(x)
To complete the description of the mechanism, we should specify the price that each winning agent has to pay. One way to calculate the price is to use the VCG mechanism on the virtual valuations
wi
i
pi=
-1 | |
w | |
i |
(p'i)
p'i
The Myerson mechanism is truthful whenever the allocation rule satisfies the weak monotonicity property, i.e, the allocation function is weakly increasing in the agents' valuations. The VCG allocation rule is indeed weakly-increasing in the valuations, but we use it with the virtual-valuations rather than the real valuations. Hence, the Myerson mechanism is truthful if the virtual-valuations are weakly-increasing in the real valuations. I.e, if for all
i
wi
vi
If
wi
vi
Myerson's mechanism can be applied in various settings. Two examples are presented below.
Suppose we want to sell a single item, and we know that the valuations of all agents come from the same probability distribution, with functions
F,f
w
w-1(0)
F,f
w
In a digital goods auction, we have an unlimited supply of identical items. Each agent wants at most one item. The valuations of the agents to the item come from the same probability distribution, with functions
F,f
w
w-1(0)
\argmaxz{z ⋅ (1-F(z))}
Bayesian-optimal mechanism design requires knowing the distributions from which agents' valuations are drawn. This requirement is not always feasible. There are some other alternatives: