Mechanism Design: Revelation Principle, VCG & Auction Theory
Game theory asks what rational players do in a given game. Mechanism design asks the inverse question: given a desired outcome, what game should we design so that self-interested players produce it? This "reverse game theory" underlies spectrum auctions, ad auctions, and kidney exchange programs — anywhere a designer controls the rules and must account for players who will strategically exploit them.
Concepts
Imagine designing the rules for a spectrum auction: you decide who bids what, how allocations are determined, and what payments are required — but the bidders know their private values and will game whatever rules you set. Mechanism design asks: given that players are self-interested and strategic, what rule system produces the outcome you want? The Revelation Principle makes this tractable by collapsing the infinite space of possible rule systems down to a single question: can you design a "just tell me your type" game where truth-telling is the dominant strategy?
Direct Mechanisms: Types, Allocations, Payments
A mechanism design setting has:
- agents with private types (e.g., values for goods).
- A social choice function mapping type profiles to outcomes.
- A direct revelation mechanism consisting of an allocation rule and a payment rule .
Agent 's utility is quasi-linear: , where is the agent's value for outcome given type .
Incentive Compatibility and Individual Rationality
A mechanism is dominant-strategy incentive compatible (DSIC) (also: strategyproof) if truthful reporting is a dominant strategy for every agent regardless of others' reports:
Bayesian incentive compatibility (BIC) weakens this: truthful reporting is optimal only in expectation over opponents' types. DSIC implies BIC.
A mechanism satisfies individual rationality (IR) if each agent weakly prefers participating: for all (ex-post IR), or in expectation (ex-ante IR).
The Revelation Principle
The Revelation Principle states: for any mechanism and any Bayesian Nash equilibrium of , there exists a DSIC direct mechanism that implements the same social choice function.
Proof by construction. Build a new mechanism where agents report types , and the mechanism internally simulates the equilibrium strategies before running on the simulated actions. Truthful reporting in the new mechanism implements , and since was an equilibrium of , the new mechanism is DSIC.
The revelation principle collapses the design space: to find the best mechanism over all possible games and equilibria, it suffices to search over DSIC direct mechanisms — a constrained optimization problem rather than an infinite design space.
The proof-by-simulation argument is the key: any mechanism where players use a non-truthful equilibrium can be replaced by one that simulates those strategies internally, making truthful reporting reproduce the same outcome. This reduction is non-constructive — it says the DSIC mechanism exists without specifying how to find it. What it does is justify restricting the search space, turning an intractably large design problem into a feasibility-constrained optimization.
VCG Mechanism
The Vickrey-Clarke-Groves (VCG) mechanism implements the socially efficient allocation in dominant strategies.
Allocation: .
Clarke pivot payment for agent :
where is the efficient allocation without agent .
Interpretation. Agent pays the externality they impose: the change in others' welfare caused by their participation. If agent shifts the allocation from to , others' welfare changes by exactly .
DSIC proof. Agent 's payoff is:
Maximizing this over reports is equivalent to maximizing total welfare , which is exactly what truthful reporting achieves.
Second-price auction as VCG. For a single item with bidders and values , VCG allocates to bidder 1 and sets . The winner pays the second-highest bid — the Vickrey auction. The DSIC property follows directly: if value highest competing bid , bidding wins at price (surplus ); underbidding below loses unnecessarily. If , overbidding wins at price (negative surplus). Truth is dominant in both cases.
Myerson's Optimal Auction
For a single item with bidders having independent private values with density , Myerson (1981) characterized the revenue-maximizing DSIC, IR mechanism via the virtual valuation:
The term is the inverse hazard rate — the information rent the designer must concede to prevent type from mimicking lower types. Virtual valuation trades off the direct value against the rent cost.
Optimal mechanism: allocate the item to the bidder with the highest non-negative virtual valuation ; charge the critical type (the value at which the winning bidder is just indifferent). For symmetric bidders with regular distributions ( non-decreasing), this is a second-price auction with a reserve price satisfying .
Revenue equivalence theorem. All DSIC, IR mechanisms that allocate identically in expectation and give zero utility to the lowest type generate the same expected revenue. The mechanism form shifts how revenue is extracted, not how much is extracted (holding fixed the allocation rule).
Impossibility: Myerson-Satterthwaite
For bilateral trade (one buyer, one seller, independent private values), no mechanism is simultaneously DSIC, ex-post IR, efficient, and budget-balanced. The four properties are jointly incompatible: efficient trade between privately informed parties requires either a subsidy or occasional failure to trade even when mutually beneficial.
Worked Example
Optimal Auction for Uniform Valuations
Single item, bidder (monopoly pricing), value , so and .
Virtual valuation:
Reserve price: set .
Optimal mechanism: post a take-it-or-leave-it price of . The item is sold iff .
Expected revenue:
Compare to second-price auction (no reserve). With one bidder and no reserve, the seller must post price 0 to always sell. Expected revenue (the bidder pays nothing since there is no competing bid). With a reserve of , revenue is . The optimal mechanism strictly dominates the second-price auction without a reserve.
Extension to symmetric bidders. With bidders all with , the virtual valuation is still . The optimal mechanism is a second-price auction with reserve : allocate to the highest bidder if their value exceeds , charge the maximum of the second-highest bid and .
Revenue with :
where the payment is conditional on selling. Working through: for (standard calculation), compared to the second-price auction without reserve giving for — the reserve only matters when both bids fall below , which has probability , adding of revenue but losing the sale probability. The optimal reserve still yields strictly higher revenue than no reserve whenever the seller has market power.
Connections
Where Your Intuition Breaks
VCG achieves efficiency in dominant strategies — the mechanism theorem that seems too good to be true. The catch: efficiency and revenue are fundamentally in tension. The Myerson-Satterthwaite theorem proves that no mechanism can simultaneously achieve DSIC, ex-post IR, full efficiency, and budget-balance in bilateral trade. VCG gives up revenue-optimality (using a reserve price is not DSIC in general) and budget-balance (VCG payments go to a third party or are burned). The optimal Myerson auction gives up efficiency (excluding low types via the reserve). You cannot have all four properties at once, and every real mechanism is a tradeoff between them. Ad auction designers who want both strategyproofness and revenue must accept that some efficient allocations will not happen.
The Revelation Principle is perhaps the most powerful result in mechanism design. It collapses an enormous design space — all possible games, communication protocols, and equilibrium concepts — into a single tractable class: DSIC direct mechanisms. The proof is elegant: a mechanism that simulates players' equilibrium behavior inherits all the incentive properties of that equilibrium. The designer never loses generality by restricting to "just tell me your type" mechanisms.
| Mechanism | Efficient | DSIC | Budget balanced | Revenue-optimal |
|---|---|---|---|---|
| VCG | Yes | Yes | No (generally) | No |
| Second-price (no reserve) | Yes (single item) | Yes | No (surplus discarded) | No |
| Myerson optimal auction | No (reserve excludes low types) | Yes | Yes (no transfers out) | Yes |
| Bilateral trade (ideal) | Yes | No | Yes | N/A |
VCG fails in multi-item settings. In combinatorial auctions, VCG can exhibit: (1) non-monotone revenues — adding a bidder can decrease revenue; (2) vulnerability to collusion — losing bidders can profitably coordinate to reduce the winner's payment; (3) budget imbalance that grows with the number of agents. These failures motivate approximately-optimal mechanisms such as sequential posted pricing, which achieves a constant fraction of optimal revenue without VCG's pathologies and is computationally tractable.
Virtual valuations as information rents. The term in the virtual valuation is the rent the designer must concede to type to prevent them from mimicking lower types. Optimal mechanism design is exactly the problem of choosing an allocation rule that maximizes virtual surplus — trading off the direct value of allocating to a high type against the rent cost of doing so. This same information-rent logic appears in regulation (optimal price caps for regulated monopolies) and in contract theory (optimal contracts under moral hazard).
Enjoying these notes?
Get new lessons delivered to your inbox. No spam.