Skip to content

Revenue Equivalence Theorem

The auction-theory result that under symmetric independent-private-values conditions, every format allocating to the highest bidder yields the seller the same expected revenue — pinning revenue to the allocation rule and lowest-type rent, so format matters only where a condition fails and the failure direction names the preferred format.

Core Idea

The revenue equivalence theorem (Vickrey 1961; Myerson 1981; Riley and Samuelson 1981) is a central result in auction theory stating that under a specific set of conditions — bidders who are risk-neutral, whose private valuations are drawn independently from a common atomless distribution, where the auction allocates the object to the highest-valuation bidder (same allocation rule), and where the lowest-type bidder earns zero expected surplus — every auction format that satisfies these conditions produces the same expected revenue to the seller, regardless of how different the bid distributions, individual payments, or strategic problems for bidders may be across formats. The four canonical formats — first-price sealed-bid, second-price sealed-bid (Vickrey), English ascending, and Dutch descending — all satisfy the conditions under symmetric equilibrium, so all four yield identical expected revenue.

The theorem is an invariance result: revenue is determined by the allocation rule and the boundary condition on the lowest type, not by the bidding format. This makes format choice, within the theorem's scope, irrelevant to the seller's expected revenue; format differences manifest only in the ex-post distribution of individual payments (in a first-price auction each bidder pays their bid; in a second-price auction the winner pays the second-highest bid) but these average out identically across the distribution of valuations.

The theorem is most useful through its failure modes. Relaxing any of its conditions produces a setting in which formats are no longer revenue-equivalent, and the direction of the failure points toward which format is preferable. Risk-averse bidders shade less in second-price auctions and more in first-price, making first-price auctions generate higher expected revenue. Positively correlated values (common-value or affiliated-value settings) give an advantage to the English format via the linkage principle (Wilson 1977; Milgrom and Weber 1982): the ascending price reveals rivals' signals, allowing better inference about the object's true value, and the higher price-revelation of the ascending format raises revenue. Budget-constrained bidders can depress revenue in all formats but differentially. The theorem thus defines the baseline from which practical auction design departs, and every major empirical or policy-oriented auction-design decision begins by cataloguing which conditions fail in the specific setting and which format is favoured by those failures.

Structural Signature

Sig role-phrases:

  • the bidders — risk-neutral participants each holding a private valuation drawn independently from a common atomless distribution
  • the auction format — the mapping from bids to allocation and payments (first-price, second-price, English, Dutch), the transformation the revenue is invariant to
  • the symmetric equilibrium — each bidder's optimal bidding strategy as a function of type, solved per format
  • the shared allocation rule — the object goes to the highest-valuation bidder in every format satisfying the theorem
  • the lowest-type boundary condition — the expected rent of the lowest type, fixed (typically zero)
  • the expected-revenue invariance — the engineered guarantee: any two formats sharing allocation rule and boundary condition yield identical expected revenue, since format-specific structure lives in the ex-post payment distribution and averages out
  • the failure-direction diagnostic — the theorem's real engine: format matters precisely when a condition breaks, and the break's sign names the favored format (risk aversion → first-price; affiliated values → English via the linkage principle; budget constraints → all formats depressed differentially)
  • the allocation-rule lever — revenue is localized in the allocation rule, so distorting it via a reserve price (Myerson) beats all four standard formats, while changing format alone does nothing
  • the scope conditions — risk-neutral bidders, independent private values from a common atomless distribution, efficient allocation, fixed lowest-type rent, which must be verified before invoking the invariance

What It Is Not

  • Not a claim that the formats are equivalent in every respect. Only expected revenue is invariant. The four formats differ sharply in their ex-post payment profiles, bidder strategic problems, robustness to collusion and shading, transparency, and speed — which is exactly why format choice remains a live design question, just not a revenue one. Reading the theorem as "the formats are interchangeable" overstates it.
  • Not an unconditional result. It holds only within stated scope conditions — risk-neutral bidders, independent private values from a common atomless distribution, the object allocated to the highest type, and a fixed lowest-type rent. Relax any one and revenue equivalence breaks; the theorem is most useful precisely through those failures, whose direction names the favored format.
  • Not a claim that the seller cannot raise more revenue. Equivalence holds for a given allocation rule. Distorting the allocation rule itself — most cleanly by a reserve price that withholds the object from low types (Myerson) — beats all four standard formats. The theorem locates the revenue lever in the allocation rule, not in the format, rather than capping what is achievable.
  • Not about realized or ex-post revenue. It equates expected revenue, averaged over the valuation distribution; any single auction's actual revenue varies by format and draw. The visible format differences live entirely in the ex-post payment distribution and cancel only in expectation, not in any one realization.
  • Not the general invariance prime, nor the envelope theorem. The substrate-spanning content splits two ways: the technique is the envelope theorem (equilibrium payoff as an integral of the marginal effect of type), and the shape — "under conditions C, a transformation does not affect an outcome" — is invariance. Both travel; "revenue equivalence," tied to bidders, formats, and private valuations, does not. Off auctions, name invariance for the structural point or the envelope theorem for the method.

Scope of Application

The revenue equivalence theorem is a characterization theorem of auction theory; it applies wherever there are bidders with private valuations, a defined auction format, and a seller's expected revenue to compare, and it is discipline-bound by construction — outside auction theory it is never invoked, the structural transfer belonging to invariance (for the shape) and the envelope theorem (for the technique).

  • Auction design — the home turf and standard first move: any practical design problem begins by cataloging which of the theorem's conditions fail in the setting and reading the favored format off the failure direction.
  • Spectrum and procurement auctions — multi-billion-dollar government auctions cite the theorem to justify ascending-versus-sealed-bid choices by which conditions are likely to fail (correlated values for oil leases, risk aversion for art, budget constraints for spectrum).
  • Online ad auctions — the generalized-first-price → generalized-second-price → VCG evolution was guided by revenue-equivalence arguments and their failures under multi-slot and reserve-price complications.
  • Procurement and reverse auctions — the analogous cost-equivalence result for buyer's auctions governs choices among procurement formats.
  • Theoretical game theory / mechanism design — the theorem is the canonical worked illustration of the envelope theorem (equilibrium payoff as the integral of the marginal effect of type on payment) and the baseline from which Myerson's optimal-auction reserve-price result departs.

Clarity

The theorem settles, with a definitive negative result, a question auction practitioners argued about for decades before its formulation: which format should a seller use to maximize revenue? By establishing that in the canonical symmetric independent-private-values setting the first-price, second-price, English, and Dutch formats all yield the same expected revenue, it makes legible that the entire revenue-ranking debate was, within that scope, an empty one — and so redirects the design conversation onto the dimensions that actually distinguish formats: bidder risk preferences, value correlation, robustness to collusion and shading, computational burden, transparency, speed. The confusion it dissolves is the intuition that formats so visibly different — sealed bids versus an open outcry, paying your own bid versus paying the runner-up's — must differ in what they raise. The theorem shows the visible differences live entirely in the ex-post distribution of individual payments and average out, leaving expected revenue untouched.

In doing so it sharpens exactly what revenue does depend on: the allocation rule (the probability-of-winning assigned to each type) and the boundary condition on the lowest type's rent — not the bidding format. That isolation is what lets a designer pose the productive question. Rather than "which format raises more," the practitioner now asks "which of the theorem's conditions fails in my setting, and in which direction?" — because format ceases to be irrelevant precisely when an assumption breaks, and the direction of the break names the preferred format: risk-averse bidders favor first-price, affiliated values favor the English format through the linkage principle, budget constraints depress all formats differentially. The theorem thereby converts a sprawling menu of formats into a disciplined baseline-and-departure analysis, and grounds Myerson's deeper result that a seller can beat all four standard formats by distorting the allocation rule itself through reserve prices — a move the theorem makes visible by showing the allocation rule, not the format, is where revenue is decided.

Manages Complexity

The complexity the theorem dissolves is the cross-product of auction formats and the bidder-strategy problems each one induces. The four canonical formats — first-price, second-price, English, Dutch — generate visibly different objects: different bid distributions, different equilibrium bidding strategies, different ex-post payment profiles, different things each bidder must reason about. Comparing them for revenue case by case means solving each format's equilibrium and integrating its payments over the valuation distribution, then doing the same for the next format and the next, with no a priori reason the four answers should align. The theorem collapses that whole comparison to a single proposition: within the symmetric independent-private-values conditions, expected revenue is a function of just two things — the allocation rule (who gets the object as a function of type) and the boundary condition on the lowest type's rent. Every format sharing those two coincides in expected revenue, and all the format-specific machinery — bid shading, the sealed-versus-open distinction, who-pays-what — is revealed to live entirely in the ex-post payment distribution, which averages out. The analyst stops tracking formats and tracks two parameters.

What makes this more than a tidy fact is the branch structure it organizes on the other side. Because revenue is pinned by allocation rule and boundary condition, format matters again precisely and only when one of the theorem's conditions fails — and the direction of each failure names the favored format, so the analyst reasons from a small checklist rather than re-solving the auction. Risk-averse bidders break the tie toward first-price; affiliated or common values break it toward the English format via the linkage principle; budget constraints depress all formats differentially. The sprawling menu "which of these formats, under what bidder behavior, raises the most?" compresses to a disciplined two-step: confirm the baseline (under the canonical conditions, format is revenue-irrelevant), then catalog which conditions fail in this setting and read the preferred format off the failure direction. The same two-parameter view also makes legible Myerson's deeper move — that distorting the allocation rule itself, through reserve prices, beats all four standard formats — because the theorem has already located revenue in the allocation rule rather than the format.

Abstract Reasoning

The revenue equivalence theorem licenses a distinctive battery of moves in auction theory, organized around an invariance and, more powerfully, around the direction in which that invariance breaks.

Invariance reasoning (read seller revenue from allocation rule and boundary condition, not format). The foundational move is to infer expected revenue from just two things — the allocation rule (the probability of winning assigned to each type) and the boundary condition on the lowest type's rent — and to treat the bidding format as irrelevant to it. Given two formats that share those two features, the analyst concludes their expected revenues coincide without solving either auction's payment integral separately, because all the format-specific structure (bid shading, sealed-versus-open, who-pays-what) lives in the ex-post payment distribution and averages out. The reasoning runs from "same allocation rule and same lowest-type rent" to "same expected revenue," which lets the four canonical formats be collapsed to one revenue figure and certifies that the decades-old revenue-ranking debate was, within the canonical conditions, empty.

Diagnostic via failure direction (the theorem's real engine). The signature move is contrapositive: format matters for revenue precisely and only when one of the theorem's conditions fails, so observing that one format out-raises another diagnoses which assumption is broken, and reasoning forward from a known broken assumption predicts which format is favored. Risk-averse bidders shade less in second-price and more in first-price, so risk aversion is diagnosed by (and predicts) first-price raising more; affiliated or common values let the ascending price reveal rivals' signals, so value correlation is diagnosed by (and predicts) the English format raising more via the linkage principle; budget constraints depress all formats differentially. The analyst thus reads from a small checklist of named departures to a format recommendation, rather than re-solving each auction's equilibrium — the theorem turns format choice into a catalog of condition-failures, each with a signed direction.

Interventionist (move revenue by moving the allocation rule, not the format). Because the theorem localizes revenue in the allocation rule, the interventionist content is sharp: changing the format is predicted to do nothing to expected revenue within the canonical conditions, whereas distorting the allocation rule — most cleanly by setting a reserve price that withholds the object from low types — is predicted to raise revenue above all four standard formats. This is the move Myerson's optimal-auction result exploits, and the theorem makes it visible by having already shown that the lever on revenue is who-gets-the-object-as-a-function-of-type, not the bidding protocol. The analyst seeking more revenue is therefore directed away from format engineering and toward allocation-rule design.

Boundary-drawing (where revenue-equivalence holds, and what it deliberately ignores). The theorem applies only within its stated conditions — risk-neutral bidders, independent private values from a common atomless distribution, an efficient allocation to the highest type, and a fixed lowest-type rent — and the analyst must verify these before invoking the invariance. The boundary it draws is also a license to redirect the design conversation: within scope, format is revenue-irrelevant, so the legitimate criteria for choosing a format become the dimensions the theorem does not touch — robustness to collusion and shading, computational burden on bidders, transparency, speed. The concept thus tells the practitioner both when revenue cannot distinguish formats (so decide on other grounds) and when it can (a condition has failed, and the failure direction decides), keeping the achievable-revenue question separate from the practical-format question.

Knowledge Transfer

The revenue equivalence theorem is a characterization theorem in auction theory, and like its companion the revelation principle it transfers fully across the subfields of its home discipline and is discipline-bound by construction. Within auction theory, mechanism design, and market design the result transfers as method: it is the standard first move in any practical auction-design problem (catalog which of the theorem's conditions fail in the setting, then read the favored format off the failure direction), and it governs spectrum and procurement auctions (ascending versus sealed-bid choices justified by which conditions are likely to fail — correlated values for oil leases, risk aversion for art, budget constraints for spectrum), online ad auctions (the generalized-first-price to generalized-second-price to VCG evolution was guided by revenue-equivalence arguments and their failures under multi-slot and reserve-price complications), and reverse/procurement auctions via the analogous cost-equivalence result. The diagnostics carry with the vocabulary — the allocation-rule-and-boundary-condition invariance, the failure-direction checklist (risk aversion favors first-price, affiliated values favor English via the linkage principle, budget constraints depress all formats differentially), the redirection of format choice onto collusion-robustness/transparency/speed, and Myerson's reserve-price move on the allocation rule — wherever there are bidders with private valuations, a defined auction format, and a seller's expected revenue to compare. Outside auction theory the result is simply not invoked: there is no biological, physical, or informational "revenue equivalence theorem."

Beyond auction theory the honest reading is the shared-abstract-mechanism case (B), drawing on two distinct parents, with no genuine metaphor reach of its own. First, the proof technique generalizes: the theorem is one application of the envelope theorem in equilibrium analysis — the equilibrium payoff is the integral of the marginal effect of type on payment over the type space — and that envelope-theorem machinery recurs across optimization, principal-agent theory, mechanism design, signaling, and auction theory. The envelope theorem is the closer prime candidate, and the revenue equivalence theorem is its auction-theory specialization; so where the method travels, it travels as the envelope theorem, not as this named result. Second, and more structurally, the theorem's bare shape — "under conditions C, the bidding format does not matter for expected revenue" — is an instance of invariance under transformation holding an underlying structural condition fixed, which is the invariance prime (with equivariance and gauge_invariance as relations). That invariance shape genuinely recurs across substrates, and it is the level at which any structural transfer happens. The cross-domain lesson should therefore be carried by the envelope theorem (for the technique) and by invariance (for the structural shape), not by "revenue equivalence."

The home-bound cargo is the entire auction-theoretic scaffold: bidders with private valuations drawn independently from a common atomless distribution, the format-as-mapping from bids to allocation and payments, the symmetric-equilibrium bidding strategies, the efficient allocation to the highest type, and the lowest-type boundary condition. Strip auction-theory vocabulary and what remains — "for a class of allocation problems with private types and a specific equilibrium concept, expected payment is fixed by the allocation rule plus a boundary condition" — is unintelligible outside the discipline; push the strip one level further and only the generic invariance claim survives. So invoking "revenue equivalence" outside auctions is essentially never apt; the honest move is to name invariance for the structural point or the envelope theorem for the technique. One discipline travels usefully with the result wherever the invariance shape is recognized: an invariance is most powerful through its failure direction — the theorem's real engine is that format matters precisely when a condition breaks, and the sign of the break is informative — so the generalizable habit is to treat any "X does not matter under conditions C" result as a baseline whose departures are the diagnostic payload. Method within auction theory, two-parent recurrence (envelope theorem for the technique, invariance for the shape) and essentially no transfer of the named result beyond — the profile Structural Core vs. Domain Accent makes precise.

Examples

Canonical

Take two bidders with valuations drawn independently and uniformly on [0,1], and compare the two sealed-bid formats. In the second-price (Vickrey) auction, bidding one's true value is a dominant strategy, the winner pays the loser's value, and the seller's expected revenue equals the expected second-highest of two uniform draws, E[min(v₁,v₂)] = ⅓. In the first-price auction, the symmetric equilibrium is to bid half one's value, b(v)=v/2; the winner is the higher-value bidder and pays b = (max value)/2, so expected revenue is (½)·E[max(v₁,v₂)] = (½)·(⅔) = ⅓. The two formats deliver visibly different payment rules — pay-your-own-shaded-bid versus pay-the-runner-up — yet both hand the seller exactly ⅓ in expectation. Format has washed out; only the allocation rule and lowest-type rent remain.

Mapped back: The two uniform-valuation participants are the bidders; first-price and second-price are the auction format being varied; b(v)=v/2 and truthful bidding are the symmetric equilibria solved per format. Both award the item to the higher value (the shared allocation rule), both leave type 0 paying zero (the lowest-type boundary condition), and the common figure ⅓ is the expected-revenue invariance — the format-specific payment structure living entirely in the ex-post distribution and cancelling in expectation.

Applied / In Practice

When the U.S. FCC prepared to auction radio-spectrum licenses in 1994, valuations were plainly not independent private values: a license's worth turned on rivals' private signals about market size and technology — an affiliated, common-value setting. Revenue equivalence therefore did not hold, and the linkage principle (Milgrom and Weber, 1982) predicted that an ascending open format would raise more revenue and allocate more efficiently, because the rising price progressively reveals rivals' information and reduces the winner's-curse discount. Guided by this reasoning, economists Milgrom, Wilson, and McAfee designed the Simultaneous Multiple Round Ascending auction, which the FCC adopted; U.S. spectrum auctions on this lineage have since raised tens of billions of dollars.

Mapped back: The value-correlation across bidders is a break in the scope conditions (independence fails), so the auction leaves the theorem's baseline. The choice of an ascending open English-style format over sealed bids is the failure-direction diagnostic read exactly as specified — affiliated values favor the English format via the linkage principle. The Simultaneous Multiple Round Ascending design is the auction format selected once revenue-equivalence no longer holds and format again decides revenue.

Structural Tensions

T1: The invariance itself versus its failures as the actual payload (a negative result whose usefulness is entirely in when it breaks). Read literally, the theorem is a statement that a whole class of format differences does not matter for revenue — an emptiness result, closing a decades-old ranking debate by declaring it void within scope. Yet almost none of the theorem's practical value lives in the invariance. The engine is contrapositive: format matters precisely and only when a condition fails, and the direction of the break names the favored format (risk aversion → first-price, affiliated values → English, budget constraints → all depressed differentially). The tension is that the result is stated as an equivalence but used as a diagnostic checklist of departures — the baseline exists to be departed from. An analyst who stops at "formats are revenue-equivalent" has extracted the least useful reading; the payload is the signed catalog of what breaks it. Diagnostic: Is the theorem being invoked to conclude "format doesn't matter," or to identify which condition has failed and read the preferred format off its direction?

T2: Expected revenue versus realized revenue (an invariance that holds only in the average). The equivalence is over expected revenue, integrated across the valuation distribution; the format-specific structure — bid shading, sealed-versus-open, who-pays-what — lives entirely in the ex-post payment distribution and cancels only in expectation, never in any single realization. A seller running one auction of one object cannot bank the equivalence: the actual take will differ by format and by draw, sometimes substantially. The tension is that the theorem's reassurance ("choose on other grounds; revenue is the same") is an ensemble statement offered to a decision-maker who often faces a single, high-stakes draw. The invariance is real but distributional, and its comfort thins exactly when the number of auctions is small and the variance across formats — which the theorem is silent about — is what the seller actually feels. Diagnostic: Is the decision governed by long-run expected revenue across many auctions, or by the realized outcome and variance of one, where format differences do not cancel?

T3: Revenue-irrelevance versus format still mattering on every other axis (freeing the design conversation without trivializing it). By pinning revenue to allocation rule and boundary condition, the theorem liberates format choice from the revenue question and redirects it onto collusion-robustness, transparency, speed, computational burden, and bidder comprehension. That redirection is the theorem's constructive gift. But the same move invites the overreading that "the formats are interchangeable" — when they differ sharply in exactly the dimensions the theorem sets aside, which is why format remains a live and consequential design problem. The tension is that a result whose content is "these differences don't affect revenue" is one careless step from "these differences don't matter," and the step erases everything auction design actually turns on once revenue is neutralized. The invariance narrows what is at stake in format choice without making format choice unimportant. Diagnostic: Is "revenue-equivalent" being used to free the format decision for other criteria, or sliding into a false claim that the formats are operationally interchangeable?

T4: A floor for a given allocation rule versus the allocation rule as the real lever (why the theorem is not a revenue ceiling). Equivalence holds conditional on the object going to the highest type — a fixed allocation rule. The theorem thereby localizes revenue in the allocation rule and the lowest-type boundary, which is precisely what makes Myerson's move visible: distorting the allocation rule with a reserve price that withholds the object from low types beats all four standard formats. The tension is that the theorem simultaneously closes one door (format is revenue-irrelevant) and opens a larger one (the allocation rule is where revenue is decided), and a designer who reads only the closing can conclude revenue is fixed while leaving the actual lever untouched. The result is a floor established under a maintained assumption, not a cap on achievable revenue; its "nothing you can do" surface conceals a "here is the one thing that works." Diagnostic: Is the setting holding the allocation rule fixed (so format is the only free variable and revenue is pinned), or is the allocation rule itself — via reserve prices — available to move?

T5: A clean baseline versus scope conditions that real auctions rarely all satisfy (description or null hypothesis?). The invariance requires risk-neutral bidders, private values drawn independently from a common atomless distribution, efficient allocation to the highest type, and a fixed lowest-type rent — a conjunction that spectrum, art, oil-lease, and ad auctions routinely violate on one axis or another. This is not a flaw so much as the source of the theorem's diagnostic power, but it creates a genuine pull: the more one treats revenue equivalence as the expected state of the world, the more surprised one is by ubiquitous format effects, whereas treating it as a null hypothesis one expects to reject organizes the analysis correctly. The tension is between the theorem as a description of a canonical setting and the theorem as a foil whose value is measured by how its assumptions break in the case at hand. Diagnostic: In this setting, are the four scope conditions plausibly met — or is the theorem better used as the baseline whose specific violation is the object of study?

T6: Autonomy versus reduction (its own named theorem or an auction-shaped instance of invariance proved by the envelope theorem). Revenue equivalence is a canonically named, thrice-derived pillar of auction theory with its own worked machinery of bid functions and lowest-type rents. Yet its portable content splits cleanly into two established parents. The technique is the envelope theorem — equilibrium payoff as the integral of the marginal effect of type on payment — which recurs across principal-agent theory, signaling, and optimization; where the method travels, it travels as that, not as "revenue equivalence." The shape — "under conditions C a transformation leaves an outcome unchanged, and the informative content is the direction in which C's violation breaks it" — is the invariance prime, and that pattern genuinely recurs across substrates. Strip the auction vocabulary and only the generic invariance claim survives. The tension is between a result that earns its own name and study and the recognition that its cross-domain cargo already belongs to invariance and the envelope theorem. Diagnostic: Resolve toward invariance (for the shape) and the envelope theorem (for the technique) when reasoning outside auctions; toward the named theorem when comparing formats for a seller's expected revenue in situ.

Structural–Framed Character

The revenue equivalence theorem sits toward the framed side — best read as framed-leaning — with the same unusual profile as its companion the revelation principle: evaluatively neutral yet discipline-bound. On evaluative weight alone it points structural: a characterization theorem convicts nothing and ranks no format as better, and the entry is careful (T3) to block the normative overreadings the result invites ("the formats are interchangeable"). That is the one structural mark. The other four criteria point framed.

On human-practice-bound it points framed: the invariance is a property of the auction-theory formalism — bidders with private valuations, format-as-mapping, symmetric equilibrium, lowest-type rent — and strip that scaffold away and only a generic invariance claim survives; the theorem is not a regularity nature runs on its own but a statement about a modeled apparatus. On institutional origin it points framed: the result is furniture of a specific tradition (Vickrey, Myerson, Riley–Samuelson), and the auctions it governs are themselves human institutions, not facts of nature. On vocab-travels it fails: the operative vocabulary is irreducibly auction-theoretic and, as the entry says, is "unintelligible outside the discipline." On import-vs-recognize it points framed at the level of the named result: within auction theory, market design, spectrum and ad auctions, cross-use is recognition of the same mechanism, but the theorem is "never invoked" outside auctions, so any cross-substrate use is not the named result travelling — it is the parents doing the work.

Where this entry differs from the revelation principle is that its portable skeleton genuinely recurs, and the entry is explicit that it splits across two parents — a case where naming two skeletons is warranted rather than padded. The structural shape is invariance — "under conditions C a transformation leaves an outcome unchanged, and the informative payload is the direction in which C's violation breaks it" — which recurs across substrates and is the level at which any transfer actually happens; the technique is the envelope theorem (equilibrium payoff as the integral of the marginal effect of type), which recurs across principal-agent theory, signaling, and optimization. Both are exactly what "revenue equivalence" instantiates from its umbrellas, not what makes the named theorem itself travel: the cross-domain reach belongs to invariance and the envelope theorem, while the bidders, formats, and lowest-type-rent machinery stay home. The one habit that does travel with the shape — treat any "X does not matter under conditions C" result as a baseline whose departures are the diagnostic payload — is a property of the invariance parent, not of this name. Its character: an evaluatively neutral invariance theorem whose genuinely portable content is entirely inherited (the invariance shape and the envelope-theorem method), pinned by its auction-theoretic vocabulary and institutional origin to a formal discipline it is never invoked outside of, leaving it framed-leaning rather than a free-floating prime.

Structural Core vs. Domain Accent

This section decides why the revenue equivalence theorem is a domain-specific abstraction and not a prime — and here the portable core is genuinely doubled, splitting cleanly across two established parents, which is itself why the named theorem stays home.

What is skeletal (could lift toward a cross-domain prime). Strip the auction theory and two distinct portable structures survive, and both are worth naming. The shape is invariance: under a set of conditions C, a transformation leaves an outcome unchanged, and the informative payload is the direction in which a violation of C breaks it (with equivariance and gauge_invariance as relations). The technique is the envelope theorem: an equilibrium payoff equals the integral of the marginal effect of type over the type space, machinery that recurs across optimization, principal-agent theory, signaling, and mechanism design. Each is genuinely substrate-portable, and the revenue equivalence theorem is precisely the auction-theory instantiation of both — the invariance shape realized as format-irrelevance, proved by the envelope-theorem method. But those two are the core it shares, not what makes revenue equivalence distinctive.

What is domain-bound. Almost all of the theorem's content is auction-theoretic scaffold, and none of it operates on any outside substrate: bidders with private valuations drawn independently from a common atomless distribution; the auction format as a mapping from bids to allocation and payments (first-price, second-price, English, Dutch); the symmetric-equilibrium bidding strategies solved per format; the efficient allocation to the highest type; the lowest-type boundary condition; and the failure-direction catalog (risk aversion → first-price, affiliated values → English via the linkage principle, budget constraints → all depressed differentially). These are the worked machinery and the empirical cases (the uniform-[0,1] worked pair, the FCC spectrum auction) of the discipline. The decisive test: strip the auction vocabulary and what remains — "for a class of allocation problems with private types and a specific equilibrium concept, expected payment is fixed by the allocation rule plus a boundary condition" — is unintelligible outside the discipline; push one level further and only the bare invariance claim survives, with none of the bidders, formats, or rents that make it revenue equivalence.

Why this does not clear the prime bar. A prime's vocabulary travels and its transfer is recognition of the same mechanism, not analogy. The theorem's transfer is like the revelation principle's: full within its discipline, essentially nil beyond it. Within auction theory, mechanism design, and market design it travels as method — the allocation-rule-and-boundary invariance, the failure-direction checklist, the redirection of format choice onto collusion-robustness and transparency, and Myerson's reserve-price move — across spectrum auctions, ad auctions, and procurement, because all share bidders, formats, and a seller's expected revenue. Beyond auctions the named result is never invoked: there is no biological, physical, or informational "revenue equivalence theorem." And when the bare structural lesson is needed cross-domain — the invariance shape, the habit of treating any "X does not matter under conditions C" result as a baseline whose departures are the payload, or the envelope-theorem technique — it is already carried, in more general form, by invariance and the envelope theorem. The cross-domain reach belongs to those two parents; the named theorem's bidders-formats-and-rents machinery is domain accent that stays home in auction theory.

Relationships to Other Abstractions

Local relationship map for Revenue Equivalence TheoremParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.RevenueEquivalence TheoremDOMAINPrime abstraction: Allocation — is part ofAllocationPRIMEPrime abstraction: Invariance — is a kind ofInvariancePRIME

Current abstraction Revenue Equivalence Theorem Domain-specific

Parents (2) — more general patterns this builds on

  • Revenue Equivalence Theorem is a kind of Invariance Prime

    Revenue Equivalence is invariance specialized to expected seller revenue under auction-format transformations satisfying fixed scope conditions.

  • Revenue Equivalence Theorem is part of Allocation Prime

    Revenue Equivalence contains a fixed allocation rule as the invariant outcome mapping that pins expected payments across auction formats.

Hierarchy paths (2) — routes to 2 parentless roots

Not to Be Confused With

  • Revelation principle. The sibling auction/mechanism-design theorem, and a different, more general result: any mechanism's equilibrium outcome is reachable by a direct truthful mechanism, which confines the design search to the incentive-compatible family. Revenue equivalence is the narrower invariance that, within symmetric IPV conditions, all standard formats raise the same expected revenue. One collapses the search space; the other ranks (or refuses to rank) formats on revenue. Tell: is the claim about which mechanisms can implement an outcome at all (revelation principle), or about competing formats yielding equal expected revenue (revenue equivalence)?

  • The envelope theorem. The technique revenue equivalence is proved by — an equilibrium payoff equals the integral of the marginal effect of type over the type space — which recurs across optimization, principal-agent theory, and signaling. Revenue equivalence is its auction-theory specialization; where the method travels cross-domain, it travels as the envelope theorem, not as this named result. Tell: are you invoking the general payoff-as-integral machinery (envelope theorem), or its specific auction consequence that format doesn't move expected revenue (revenue equivalence)?

  • The invariance prime. The shape revenue equivalence instantiates — under conditions C a transformation leaves an outcome unchanged, and the informative payload is the direction in which a violation of C breaks it. That pattern recurs across substrates; revenue equivalence is its auction-format realization. Tell: is the point that some transformation is immaterial under stated conditions (the invariance shape, treated in a later section), or specifically that auction format is immaterial to the seller's expected revenue (revenue equivalence)?

  • Myerson's optimal auction (reserve-price result). The departure that beats all four standard formats — not by changing format but by distorting the allocation rule via a reserve price that withholds the object from low types. Revenue equivalence holds the allocation rule fixed and shows format is then revenue-irrelevant; Myerson moves the allocation rule and raises revenue above the equivalence baseline. Tell: is revenue being held constant across formats for a fixed allocation rule (revenue equivalence), or raised by optimizing the allocation rule itself (Myerson's optimal auction)?

  • The linkage principle (Milgrom–Weber). One of the failure-direction results revenue equivalence points to: under affiliated or common values, an ascending format's price-revelation raises revenue, favoring the English auction. It is a specific consequence read off a broken scope condition (independence fails), not the invariance itself. Tell: is the claim that formats tie under the canonical conditions (revenue equivalence), or that correlated values break the tie toward the ascending format (the linkage principle)?

Neighborhood in Abstraction Space

Revenue Equivalence Theorem sits in a crowded region of the domain-specific corpus (21st percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Mechanism Design & Strategic Bargaining (9 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-07-12