Regularity, sometimes called Myerson's regularity, is a property of probability distributions used in auction theory and revenue management. Examples of distributions that satisfy this condition include Gaussian, uniform, and exponential; some power law distributions also satisfy regularity.[1] Distributions that satisfy the regularity condition are often referred to as "regular distributions".
Two equivalent definitions of regularity appear in the literature.Both are defined for continuous distributions, although analogs for discrete distributions have also been considered.[2]
Consider a seller auctioning a single item to a buyer with random value
v
p
v\geqp
p ⋅ \Pr[v\geqp]
R:[0,1] → R
R(q)
p
\Pr[v\geqp]=q
R(q)
q
R
F(v)
f(v):=F'(v)
w(v):=v-
1-F(v) | |
f(v) |
The valuation distribution is said to be regular if
w
An important special case[4] considered by is the problem of a seller auctioning a single item to one or more buyers whose valuations for the item are drawn from independent distributions. Myerson showed that the problem of the seller truthfully maximizing her profit is equivalent to maximizing the "virtual social welfare", i.e. the expected virtual valuation of the bidder who receives the item.
When the bidders valuations distributions are regular, the virtual valuations are monotone in the real valuations, which implies that the transformation to virtual valuations is incentive compatible.Thus a Vickrey auction can be used to maximize the virtual social welfare (with additional reserve prices to guarantee non-negative virtual valuations).When the distributions are irregular, a more complicated ironing procedure is used to transform them into regular distributions.[5]
See main article: Prior-independent mechanism design. Myerson's auction mentioned above is optimal if the seller has an accurate prior, i.e. a good estimate of the distribution of valuations that bidders can have for the item.Obtaining such a good prior may be highly non-trivial, or even impossible.Prior-independent mechanism design seeks to design mechanisms for sellers (and agents in general) who do not have access to such a prior.
Regular distributions are a common assumption in prior-independent mechanism design.For example, the seminal proved that if bidders valuations for a single item are regular and i.i.d. (or identical and affiliated), the revenue obtained from selling with an English auction to
n+1
n