Auctions allocate goods to the bidders who value them most, without the seller
needing to know those values. This chapter analyses first- and second-price
sealed-bid auctions, deriving equilibrium bidding strategies and the
surprising revenue equivalence between the two formats.
This is the one chapter in which players hold private information, here each
bidder’s own valuation, so the games are games of incomplete information. The
appropriate solution concept is then the Bayesian Nash equilibrium, in which each
bidder best responds in expectation over the others’ unknown valuations. The rest
of the book works with complete information, where payoffs are common knowledge.
A fuller treatment of Bayesian games and mechanism design is beyond our scope; we
use auctions as a first, self-contained encounter with strategic reasoning under
private information.
A popular band, The Algorithms, is playing a one-night-only concert in Cardiff. To raise money for charity, the band is auctioning off a single backstage pass.
Three fans (Alex, Casey, and Jordan) are each secretly asked to submit a sealed bid for how much they are willing to pay for the pass. The highest bidder will win the auction, but they will only pay the second-highest bid.
This is a second-price sealed-bid auction, often called a Vickrey auction.
Each fan has a private valuation for the backstage pass:
Alex values it at £150 (they once wrote a fan algorithm about them).
Casey values it at £100 (they’re mainly here for the snacks).
Jordan values it at £75 (they like the early albums).
Suppose the bids submitted are:
Alex bids £150
Casey bids £100
Jordan bids £60
Then Alex wins, but only pays £100, the second-highest bid.
This setup has an interesting strategic property:
bidding your true value is a dominant strategy.
Even if Alex knew the other bids, they could not do better
by bidding higher or lower than £150.
We’ll explore why this is the case formally in what follows.
An auction game with N players (or bidders) is defined by:
A set of random variables Vi, for 1≤i≤N, from which each player’s private valuation vi for the good is drawn.
A set of possible bids bi∈Bi, where bi is typically the output of a bidding strategy si:Vi→Bi that maps valuations to bids.
An allocation rule q:B1×B2×⋯×BN→[0,1]N, which determines the probability with which each player receives the good. Often, this output is a deterministic vector with a single 1 (winner) and the remaining entries 0.
A payment rule p:B1×B2×⋯×BN→RN, which determines how much each player pays as a function of all bids.
A Bayesian Nash equilibrium is a strategy profile in a game with incomplete information such that, given their own type, each player’s strategy maximises their expected utility assuming the strategies of the other players are fixed and that beliefs about types are correct.
Theorem: Bayesian Nash Equilibrium for Second Pay Auction¶
In a second price auction the Bayesian Nash equilibrium is for all players to bid
their value:
Let us consider the strategy bi(vi)=vi, that is, player i bids truthfully.
We show that this is a best response to all other players also bidding truthfully.
Fix a valuation vi for player i. Let bi denote the bid player i chooses (possibly different from vi). Let h=b(1)(−i) denote the highest bid among the other players. Since the game is a second-price auction, if player i wins they pay the highest of the remaining bids, which is exactly h. Player i’s utility is therefore:
ui={vi−h0if bi>h (player i wins and pays h)if bi<h (player i loses)
Ties (bi=h) occur with probability zero and are broken arbitrarily. Bidding bi=vi gives utility vi−h>0 when vi>h and 0 when vi<h. We compare this with the two possible deviations.
Case 1:bi<vi (the deviation is to a lower bid than the value)
If h<bi, then bi>h still holds: player i still wins and still pays
h, so the utility vi−h is unchanged.
If bi<h<vi, then player i now loses an auction that truthful bidding
would have won at a positive surplus vi−h>0, so the utility falls to 0.
If h>vi, then player i loses either way and the utility stays at 0.
Underbidding therefore never increases the utility.
Case 2:bi>vi (the deviation is to a higher bid than the value)
If vi>h, then bi>h still holds: player i still wins and still pays
h, so the utility vi−h is unchanged.
If bi<h, then player i loses either way and the utility stays at 0.
If vi<h<bi, then player i now wins an auction that truthful bidding
would have lost, paying h>vi for a negative surplus vi−h<0, so the
utility falls below the 0 obtained by bidding truthfully.
Overbidding therefore never increases the utility.
In both cases, deviating from bi=vi leaves the utility unchanged or decreases it, whatever the value of h. Hence bidding truthfully maximises utility for every vi, and truthful bidding is a (weakly) dominant strategy.
Therefore, truthful bidding is a Bayesian Nash equilibrium.
Theorem: Bayesian Nash equilibrium in a first-price auction with uniform values¶
In a first-price auction with N players, where each valuation vi is drawn independently from Unif[0,1], the Bayesian Nash equilibrium is for each player to shade their bid according to:
Now consider a deviation by player i who bids bˉ=NN−1vi.
Let us compute the expected utility for player i from this deviation.
Player i wins if their bid bˉ is higher than the bids of all other players, and receives utility equal to vi−bˉ. If they lose, they get zero utility. Thus:
It remains to confirm that this stationary point is the global maximum. Player
i never bids above vi, since winning at a price bˉ>vi gives a
negative surplus vi−bˉ<0, and never below 0, so we may restrict to
bˉ∈[0,vi]. On this interval bˉ<NN−1<1, so the
argument N−1Nbˉ of the uniform CDF stays in [0,1] and the
expression for E[ui] above is valid throughout. The expected utility
(N−1N)N−1bˉN−1(vi−bˉ) is zero at both
endpoints bˉ=0 and bˉ=vi and strictly positive in between, so
its unique interior stationary point bˉ=NN−1vi is the global
maximum on [0,vi].
Thus, any deviation bˉ=NN−1vi does not improve utility,
and the symmetric profile in which every player bids NN−1vi is a
Bayesian Nash equilibrium.
There is a python library called sold which allows for the numeric simulation
of auctions. The code below builds the valuation distributions and bidding rules
for an auction with N=3
players where the first two players bid the true value and the third player uses
the strategy of Theorem: Bayesian Nash equilibrium in a first-price auction with uniform values.
import scipy.stats
import numpy as np
import sold
import sold.allocate
import sold.bid
import sold.pay
N = 3
valuation_distributions = [scipy.stats.uniform() for _ in range(N)]
bidding_functions = [sold.bid.true_value for _ in range(N - 1)] + [
sold.bid.create_shaded_bid_map((N - 1) / N)
]
Now let us simulate this 100 times to confirm that the shaded big strategy gets
a higher utility:
One of the early important publications in this field is Vickrey, 1961,
which not only introduced the second-price auction, often called the Vickrey auction, proving that
truth-telling is optimal, but also discusses the first-price auction. Vickrey was awarded the Nobel
Prize in Economics in 1996 for this foundational work.
Another foundational contribution is Myerson, 1981, which formulates the design of optimal
auctions, introduces the concept of virtual valuations, and proves a generalisation of the result
in Exercise 6: the revenue equivalence theorem. This theorem shows
that all standard auctions yield the same expected revenue when bidders are risk-neutral and have
independent private values.
Auction theory is often described as one of game theory’s most successfully applied branches. A
striking example is the role of auctions in modern online advertising. This is exemplified in the
work of Google’s chief economist Varian, 2007, which provides a theoretical model of
position auctions, the type of auctions used to allocate advertising slots in search engines.
Further Nobel-recognised contributions to auction theory come from Paul Milgrom and Robert Wilson,
who were awarded the Nobel Prize in Economics in 2020. Their work extends auction theory to
settings where bidders’ values are interdependent and shaped by shared information. Wilson’s early
work Wilson, 1967 developed models of bidding under common values, where bidders must
reason about both their own and others’ information. Milgrom built on this by analysing how
different auction formats perform in such settings Milgrom & Weber, 1982, helping to guide the
design of real-world mechanisms. Together, they co-designed the simultaneous multiple-round auction
(SMRA) used to allocate radio spectrum, which has had significant practical impact.
Auction theory provides a rigorous framework for understanding how goods and
resources can be allocated efficiently under conditions of incomplete
information. We’ve seen that second-price auctions promote truthful bidding as a
dominant strategy, while first-price auctions require bidders to strategically
shade their bids. The concept of Bayesian Nash equilibrium allows us to analyse
these strategies under uncertainty, and the revenue equivalence theorem links
together many of the most commonly used auction formats.
These results underpin some of the most economically significant allocation mechanisms in use today, from government spectrum sales to online advertising platforms.
Table 1 gives a summary of the concepts seen in this chapter as
well as a list of other auction types.
Table 1:Different types of auctions and their properties
*Truthful under private values and risk neutrality.