Auction Theory
Study of resource allocation via bidding mechanisms.
Definition
Standard auction formats include first-price sealed-bid, second-price (Vickrey), English (ascending), and Dutch (descending).
With private values i.i.d.\ from , a symmetric equilibrium bid in the first-price auction is .
Intuition
Different formats trade off revenue, efficiency, and strategic complexity.
Under symmetric risk-neutral private values all four standard auctions yield the same expected revenue — the Revenue Equivalence Theorem.
Worked example
In a Vickrey auction, bidding is weakly dominant and the highest value wins paying the second-highest bid.
In eBay-style ascending auctions, proxy bidding implements the Vickrey outcome under IPV.
The math
Revenue Equivalence (Myerson-Riley-Samuelson): any symmetric IPV auction allocating to the highest-valuation bidder with the losers paying zero has the same expected revenue.
Myerson's optimal auction uses virtual valuations and allocates to the bidder with highest if .
Where it is used
Used in spectrum auctions, online ad exchanges (GSP, VCG), treasury bonds, and art sales.
Basis for algorithmic mechanism design.
More in Game theory
Assembled from the ReLU.chat curated knowledge base. These explanations are concise on purpose; check the sources for anything important.