Motivating Example: Bidding for backstage passes¶
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.
Theory¶
Definition: Auction Game¶
An auction game with players (or bidders) is defined by:
- A set of random variables , for , from which each player’s
private valuation for the good is drawn. - A set of possible bids , where is typically the output of a
bidding strategy that maps valuations to bids. - An allocation rule
,
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
,
which determines how much each player pays as a function of all bids.
The utility of player is then given by:
where is the allocation to player , and is their payment.
Example: The Auction Game for backstage passes¶
In Motivating Example: Bidding for backstage passes,
the auction game is defined with players:
The sampled valuations are: , , .
The chosen bids are: , , .
The allocation rule:
The payment rule:
The resulting utilities for each player are:
- Alex:
- Casey:
- Jordan:
Definition: Bayesian Nash Equilibrium¶
A Bayesian Nash equilibrium is a strategy profile in a game with incomplete
information such that, given their own type, each player’s strategy maximizes
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:
Proof
Let us consider the strategy — that is, player bids truthfully.
We show that this is a best response to all other players also bidding truthfully.
Fix a valuation for player . Let denote the bid player chooses
(possibly different from ). Let and denote
the highest and second-highest bids among the other players.
We compute the expected utility of deviating from to :
Let us distinguish two cases:
Case 1: (the deviation is to a lower bid than the value) This deviation will cause to either:
- remain the same in which case also remains the same. There is no change in utility.
- become 0, the utility does not increase.
This causes a loss in expected utility compared to bidding .
Case 2: (the deviation is to a higher bid than the value)
This deviation cases no change in and no change in the overall utility.
Thus, bidding anything other than weakly decreases expected utility,
Hence, bidding truthfully maximizes expected utility for all , given
that others bid truthfully.
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 players, where each valuation is drawn
independently from , the Bayesian Nash equilibrium is for
each player to shade their bid according to:
Proof
Suppose all players follow the bidding strategy:
Now consider a deviation by player who bids .
Let us compute the expected utility for player from this deviation.
Player wins if their bid is higher than the bids of all
other players, and receives utility equal to . If they lose,
they get zero utility. Thus:
Since all other players are bidding truthfully according to
, and , we find:
Hence, expected utility becomes:
To find the optimal deviation, we take the derivative of expected utility
with respect to :
Setting this derivative equal to zero gives a necessary condition for optimality:
Thus, any deviation does not improve utility.
Exercises¶
Exercise: Dominant strategies in second-price auctions¶
In a second-price auction with two players whose private valuations are:
- Player 1:
- Player 2:
Each player submits a sealed bid. Show that bidding truthfully is a
dominant strategy for each player, and compute the resulting allocation,
payment, and utility.
Exercise: Overbidding and underbidding¶
Consider a second-price auction with , , and .
Suppose Player 1 deviates and bids , Player 2 bids truthfully,
and Player 3 bids .
- Who wins the auction?
- What is the price paid?
- What is Player 1’s utility?
- Would Player 1 have been better off bidding truthfully?
Exercise: Expected utility in a first-price auction¶
Let players, each with valuation ,
use the symmetric strategy .
Compute the expected utility of Player 1 as a function of their value .
Hint: integrate over the opponent’s valuation or bid.
Exercise: Best response derivation¶
Using the first-price auction model with
and the assumption that all other players bid ,
show that the best response of Player is to bid
when .
Exercise: Generalising beyond uniform¶
Suppose players’ values are drawn from an exponential distribution
with CDF , and each player bids
in a first-price auction.
- Derive the probability of winning for a given bid .
- Derive the expected utility and determine the value of
that maximises expected utility for .
Challenge: compare the optimal to the uniform case.
Exercise: Revenue equivalence between first- and second-price auctions¶
Suppose there are symmetric bidders with valuations ,
drawn independently. In both the first-price and second-price sealed-bid auctions,
assume all players follow the Bayesian Nash equilibrium bidding strategies:
- First-price:
- Second-price:
Let denote the expected revenue of the seller.
Task: Show that both mechanisms yield the same expected revenue:
Hint:
In , the expected value of the -th order statistic (i.e., the -th highest value) is:
Programming¶
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
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:
repetitions = 100
utilities = []
for seed in range(repetitions):
allocation, payments, valuations = sold.auction(
valuation_distributions=valuation_distributions,
bidding_functions=bidding_functions,
allocation_rule=sold.allocate.first_price,
payment_rule=sold.pay.first_price,
seed=seed,
)
utilities.append(valuations - allocation * payments)
mean_utilities = np.mean(utilities, axis=0)
mean_utilities
Notable Research¶
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: Revenue equivalence between first- and second-price auctions: 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.
Conclusion¶
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.
Importantly, these theoretical tools are not merely abstract: they underpin some of the most economically significant allocation mechanisms in the modern world, 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.
Auction Format | Bidding Strategy | Truthful? | Allocates to Highest Bidder? | Typical Use Case |
---|---|---|---|---|
Second-price sealed | Bid your true value | ✅ | ✅ | eBay-style auctions |
First-price sealed | Shade your bid | ❌ | ✅ | Procurement, real estate |
English (ascending) | Stay in until your value | ✅* | ✅ | Art, livestock auctions |
Dutch (descending) | Accept before price drops | ❌ | ✅ | Cut flowers, perishable goods |
Position auction | Rank-based bidding | ❌ | ✅ (under assumptions) | Online advertising (e.g., Google Ads) |
All-pay auction | Bid your value (often) | ❌ | ✅ | Tournaments, lobbying, rent-seeking |
- Vickrey, W. (1961). Counterspeculation, auctions, and competitive sealed tenders. The Journal of Finance, 16(1), 8–37.
- Myerson, R. B. (1981). Optimal auction design. Mathematics of Operations Research, 6(1), 58–73.
- Varian, H. R. (2007). Position auctions. International Journal of Industrial Organization, 25(6), 1163–1178.
- Wilson, R. B. (1967). Competitive bidding with asymmetric information. Management Science, 13(11), 816–820.
- Milgrom, P. R., & Weber, R. J. (1982). A theory of auctions and competitive bidding. Econometrica: Journal of the Econometric Society, 1089–1122.