The Price Of Anarchy And Scalable Resource Allocation Mechanisms
Allocating a divisible resource (link capacity C) among R users with concave utilities; the SYSTEM problem; Kelly's proportional allocation mechanism as market clearing; price-taking users and efficient competitive equilibrium (Theorem 21.1); price-anticipating users, unique Nash equilibrium as the solution of GAME with modified utilities U-hat (Theorem 21.2) and its variational inequality (Corollary 21.3); tight 3/4 price of anarchy via the constant beta (Theorem 21.4); smooth market-clearing mechanisms, the class D, every mechanism in D allocates proportionally to bids and differs only in price, proportional allocation uniquely minimizes worst-case loss (Theorem 21.10, G(Psi) and price elasticity); VCG and scalar-strategy VCG (SSVCG) with one price per user, Nash characterization (Lemma 21.11), efficient equilibrium with local truthfulness (Corollary 21.12), bluff equilibria, and full efficiency when marginal utility at zero is infinite (Proposition 21.14)
Motivation: sharing a link without asking for utility functions
A communication link of capacity is shared by users. Each user values bandwidth according to a private utility function. If the manager knew every utility function, it would just solve an optimization problem. Two things stand in the way:
- utilities are private, and strategic users may game any rule;
- communication is scarce. VCG (mechanism-design) needs each user to report an entire utility function, which is infeasible at network scale.
The scalability constraint is modelled as: each user sends one scalar.
IntuitionThe central question
Among mechanisms where every user sends a single number, which one keeps the worst-case efficiency loss at Nash equilibrium smallest — and how much loss is unavoidable?
ImportantPrice of anarchy as the design objective
This chapter bridges Part II (design mechanisms for selfish agents) and Part III (quantify inefficiency). The price of anarchy is the objective function the mechanism is optimized for. This is the programme sketched in inefficiency-of-equilibria.
NoteNot “single-parameter domains”
In Chapter 9, true valuations are one-dimensional. Here valuations are arbitrary functions. Only the messages are one-dimensional, which limits how much users can tell the mechanism.
The model and the benchmark
DefinitionAssumption 1 — the utility class
For each user , on is concave, strictly increasing, continuous, continuously differentiable on , with a finite right derivative . Utilities are in monetary units.
NoteDifferentiability is for convenience
The differentiability conditions ease the presentation. They can be relaxed (see the chapter notes).
FormulaSYSTEM — the efficient benchmark
An optimum exists (continuous objective, compact feasible set). It is unique if all are strictly concave. The objective is utilitarian, which makes sense because utilities share a monetary unit.
The proportional allocation mechanism
DefinitionProportional allocation (Kelly 1997)
Each user pays a bid . The manager charges one price to everyone (no price discrimination) and allocates the whole capacity:
IntuitionIt is a market-clearing process
Submitting is like submitting a demand function : “at price I want units.” The manager picks the price where total demand equals supply, . User receives and pays . Section 21.3 generalizes exactly this reading.
graph LR B["Each user sends one bid w_r"] --> P["Price mu = total bids / C"] P --> A["Allocation d_r = w_r / mu"] A --> PAY["User r pays w_r"]
Price-taking users: full efficiency
A price taker treats as fixed and ignores that its own bid moves it. Its payoff is
DefinitionCompetitive equilibrium
A pair with , such that every user maximizes (21.5) at price , and the market clears, . (21.6–21.7)
TheoremTheorem 21.1 — competitive equilibria are efficient
A competitive equilibrium exists, and solves SYSTEM.
ProofThe equilibrium conditions are the KKT conditions of SYSTEM
Step 1: First-order conditions for each user. is concave in , so with , is a competitive equilibrium iff
Step 2: These are SYSTEM’s KKT conditions. The Lagrangian of SYSTEM yields exactly (21.8)–(21.10), with as the multiplier on capacity.
Step 3: Existence. SYSTEM has a solution, whose multiplier supplies . Set .
∎
RemarkFirst welfare theorem
This is a version of the first fundamental theorem of welfare economics: price-taking behaviour plus market clearing gives efficiency.
Price-anticipating users: a game
Now each user knows that depends on its bid. With fixed, user maximizes
A Nash equilibrium is a at which every user’s bid maximizes . (21.12)
WarningA lone user breaks existence
can be discontinuous at when all others bid zero. With a single user, any positive bid wins everything, so the user always wants to bid less, and no equilibrium exists. With this problem disappears.
TheoremTheorem 21.2 — unique Nash equilibrium solves GAME
For there is a unique Nash equilibrium, with . Its allocation is the unique solution of
FormulaThe modified marginal utility
DerivationWhy has this form
Differentiate (21.17): and . The terms cancel.
IntuitionThe shading factor
A user holding share knows that raising its bid also raises the price it pays on everything it already has. So it acts as if its marginal utility were discounted by . Big users shade the most, which is the market-power effect of inefficiency-of-equilibria.
ProofFirst-order conditions become GAME’s KKT conditions
Step 1: At least two bids are positive at any equilibrium, from (21.11) (Exercise 17.5). So each is strictly concave and continuous in , and first-order conditions characterize equilibrium:
where . (21.18–21.19)
Step 2: Change variables. Let and . Then , so the conditions read
Step 3: Recognize GAME. These are (21.8)–(21.10) with in place of . Each is strictly concave on , so the conditions are sufficient for optimality in GAME, with multiplier .
Step 4: Uniqueness. GAME has a unique optimum (strictly concave objective, compact set), and the equilibrium bids are recovered as .
∎
WarningGAME is not a potential function
The Nash equilibrium is the unique solution of an optimization problem, but GAME is stated in allocations, while players choose bids. It is not an exact or ordinal potential, so unlike routing-games or network-formation-games, we can’t conclude that best responses converge. It is still exactly what the PoA analysis needs.
CorollaryCorollary 21.3 — variational inequality
For , with the Nash allocation, every feasible (, ) satisfies This follows from (21.20)–(21.22). The Nash allocation is optimal for the linearized modified welfare.
The price of anarchy is exactly 3/4
TheoremTheorem 21.4 — tight 3/4 bound
Let and for all . If solves SYSTEM and solves GAME (the Nash allocation), then The bound is tight: for every there are linear utilities with ratio .
DefinitionThe per-user worst-case constant
(If , take the infimum over only.)
| Component | Detail |
|---|---|
| Signature | , a single constant |
| Numerator | what the Nash allocation “promises” towards under the linearized modified utility |
| Denominator | the true utility of the benchmark amount |
| Role | the analogue of the Pigou bound in routing-games |
ProofStep A:
Step 1: Only matters. If , then by concavity and , so the quotient is .
Step 2: Chain for .
- (a) gives , and concavity gives .
- (b) Rewrite the left side as . By concavity and , .
- (c) , with the minimum at .
∎
ProofStep B: the infimum is achieved by many small linear users
Step 1: Construct the instance. Fix and , and set . User 1 has . Users are linear with slope .
Step 2: Optimum. Giving everything to user 1 is feasible, so .
Step 3: Equilibrium as . The equilibrium is unique and symmetric among users , so each small user’s share . Their equilibrium condition forces the price . User 1’s condition then gives . The small users share , each worth per unit.
Step 4: Limiting ratio. Nash welfare , so the ratio is at most the quotient in (21.24). Hence the price of anarchy gets arbitrarily close to .
Step 5: Evaluate. , , gives . Together with Step A, .
∎
ProofStep C: the bound holds in every game
- (a) Definition of , applied user by user with and .
- (b) Corollary 21.3 with : the sum of linear terms is .
The key step: exactly as in routing, the variational inequality lets per-user inequalities, each blind to the rest of the system, sum to a system-wide bound.
∎
ExampleThe worst case, concretely
. User 1 has , and many small users have .
- Nash: user 1 gets , and the rest share . Welfare .
- Optimum: all capacity to user 1, welfare 1.
This is Example 17.6 rescaled (slopes 2 and 1 there, 1 and 1/2 here).
NoteProof history
Johari–Tsitsiklis (2004) first reduced to linear utilities and then solved a mathematical program. The GAME-plus- proof above is Roughgarden’s (2006), who applied the same method to other games.
A characterization theorem: proportional allocation is optimal
The axiomatic question. Among “reasonable” scalable mechanisms, is proportional allocation the best? “Best” means minimizing worst-case efficiency loss under price anticipation, uniformly over all utility profiles.
DefinitionDefinition 21.5 — smooth market-clearing mechanism
A differentiable such that for every , every and every nonzero , the equation has a unique solution . Users submit scalars that index demand functions .
Proportional allocation is , with .
DefinitionDefinitions 21.6–21.7 — equilibria for general
Competitive equilibrium: nonzero with and . (21.25)
Nash equilibrium: nonzero with each maximizing
The reflects that no clearing price exists at .
DefinitionDefinition 21.8 — the class
iff:
- is a smooth market-clearing mechanism;
- price-anticipating payoffs are concave: for all , , and , the map is concave (on if );
- expressiveness: for all and there is a with ;
- nonnegativity: .
| Condition | Why it’s imposed |
|---|---|
| (2) concavity | lets first-order conditions characterize Nash equilibria; some quasiconcavity is standard for existence of pure equilibria |
| (3) expressiveness | at any price, a user can request exactly the quantity it wants |
| (4) nonnegativity | no bid ever obliges a user to supply the resource |
ExampleExample 21.9 — a family in
with . Market clearing gives , and the allocation is for every . The mechanisms differ only in the price they charge. is proportional allocation.
DefinitionWorst-case efficiency
It ranges over all Nash equilibria (price of anarchy, not stability), and if some system has no equilibrium.
TheoremTheorem 21.10 — characterization of
For every :
- A competitive equilibrium exists, and every competitive equilibrium is efficient.
- There is a concave, strictly increasing, differentiable, invertible with
- , with equality iff is linear, i.e. for some : proportional allocation up to rescaling of bids.
ImportantEvery mechanism in allocates proportionally
From (ii), market clearing gives and hence
The proportional allocation rule is derived, not assumed. Related work (Maheswaran–Basar, Yang–Hajek) assumed it from the start. What varies across is only the price, and charging exactly the bid is what minimizes the loss.
ProofSteps 1–5: structure of
Step 1: Price-taking payoffs are concave. Uniqueness of the clearing price for every forces to be strictly monotone in , with a consistent direction across . Fix and let capacity grow, , with users bidding . The clearing price whatever user 1 bids. So user 1’s price-anticipating payoff, concave by condition (2), converges to its price-taking payoff, which must therefore be concave. Large markets turn anticipators into price takers.
Step 2: is linear in . Apply Step 1 with linear utilities of very large slope, which forces concave in , and very small slope, which forces it convex. So is affine. Conditions (3) and (4) kill the intercept and make the slope positive: with .
Step 3: Competitive equilibria exist and are efficient. By expressiveness, a price taker picks its optimal quantity and then a to express it. So the conditions are (21.8)–(21.10), sufficient by Step 1. For existence, take SYSTEM’s solution with multiplier and set .
Step 4: Allocation and payment are separately concave/convex. The same large/small linear-slope trick applied to condition (2) shows is concave and the payment is convex in .
Step 5: is concave, increasing and invertible. is onto , because takes all positive values, and one-to-one, by uniqueness of the clearing price. Let . The payment
is convex in . Taking shows is convex, and a limit shows it is strictly increasing. So is concave and strictly increasing.
∎
ProofStep 6: Nash conditions for general
is a Nash equilibrium iff at least two components are positive, and there are with and with and
Then , , and the equilibrium is unique.
Derivation. With and , the first-order condition uses and . Multiply by .
Check. For proportional allocation, , and the right side collapses to , recovering (21.20).
The chapter omits the rest of the proof and refers to Johari (2004).
∎
ProofSteps 7–8: worst case depends on the elasticity of
Step 7: Build the bad instance. Take and fix . User 1 is linear with slope . From (21.31),
Users are linear with common slope
which is valid (and ) once is large (21.35). As , , and OPT gives all capacity to user 1 (value ). The limiting ratio is . (21.36)
Set and let the elasticity be (by convexity of with ). The ratio becomes is strictly convex in . Its minimum is
attained at . is continuous and strictly decreasing from , so the worst case uses the maximizing , and always.
Step 8: Only linear reaches 3/4. For proportional allocation, , so and (Theorem 21.4). If is nonlinear, then , so on some instance.
∎
DerivationMinimizing in closed form
Let and , so and . Then
This is minimized at , giving . Dividing by gives the simplified form.
IntuitionWhy a nonlinear price hurts
With , the price rises faster than proportionally with total bids. A large user anticipating this shades its bid even more than under proportional allocation, which worsens the market-power loss. Proportional allocation, where each user pays exactly its bid, has the least elastic admissible pricing.
RemarkThe bound is tight and depends only on elasticity
The Step 7–8 bound is in fact the exact price of anarchy of each mechanism. It can be written in terms of the elasticity of , , since is the elasticity of .
NoteThe convention can be removed
Requiring , setting , and paying for a zero bid is a normalization that leaves Theorem 21.10 unchanged.
Beyond one price: the VCG approach
Section 21.3’s mechanisms had two restrictions:
- simple (scalar) strategies;
- one market-clearing price.
VCG drops both: users report whole utility functions and pay personalized prices. Can we keep (1) and drop only (2)?
VCG, in this notation
With declared utilities and feasible set :
User ‘s payoff has the same form as SYSTEM’s objective, so truth-telling is dominant and the outcome is efficient. The per-unit price generally differs across users (Exercise 21.3).
Scalar-strategy VCG (SSVCG)
DefinitionAssumption 2 — the declared-utility family
Users choose indexing such that:
- each and is strictly concave;
- marginal expressiveness: for every and there is a with (derivative in ).
DefinitionSSVCG mechanism
is unique by strict concavity. The Clarke-pivot choice is . User ‘s payoff is .
NoteUtility vs demand parameterization
A price taker with utility demands , so indexing utilities and indexing demand functions are equivalent up to additive constants. Utilities are used to match the VCG presentation.
LemmaLemma 21.11 — Nash characterization
is a Nash equilibrium iff for every user ,
ProofUser effectively chooses the whole allocation
Step 1: Effective payoff. doesn’t depend on , so user maximizes (21.45). The optimum of (21.44) is an upper bound on this.
Step 2: Sufficiency. If (21.44) holds, already attains the upper bound, so no deviation helps.
Step 3: Necessity. Suppose (21.44) fails for , and let solve it. satisfies first-order conditions involving only the marginals and . By Assumption 2(ii), can pick with . Then satisfies the optimality conditions of (21.41) under , and uniqueness gives . User ‘s payoff rises strictly, so is not an equilibrium.
The key step: matching one marginal value is enough to steer the mechanism to any allocation you like. That is why a scalar suffices.
∎
CorollaryCorollary 21.12 — an efficient equilibrium with local truth-telling
Let solve SYSTEM. If each user picks with , then and is a Nash equilibrium.
Proof. Assumption 2(ii) makes this possible. The optimality conditions of (21.41) and (21.44) involve only these marginals, so solves both.
Intuition“Locally truthful”
Each user reports a utility function whose slope at the efficient point equals its true slope. That single number is all the mechanism needs.
ExampleExample 21.13 — a “bluff” equilibrium
identical users with strictly concave . User 1 declares . Everyone else declares .
- For user 1’s problem (21.44): others’ declared marginals are below , so giving user 1 everything is optimal.
- For user : user 1’s declared marginal at exceeds any true marginal of , so again everything goes to user 1.
This is a Nash equilibrium giving all of to user 1, while the optimum is each. User 1 bluffs a huge marginal value and everyone else concedes.
PropositionProposition 21.14 — infinite marginal utility at zero forces efficiency
If for all , every Nash equilibrium of any SSVCG mechanism is efficient.
ProofEveryone participates, so marginals equalize
Step 1: Every allocation is positive. In user ‘s problem (21.44), the true marginal at 0 is infinite, so .
Step 2: Marginals line up. With every user interior, optimality of in user ‘s problem gives for all . Optimality in the mechanism’s own problem (21.41) equalizes the declared marginals. Hence all true marginals are equal.
Step 3: Conclude. Equal marginals and full allocation are sufficient for SYSTEM.
∎
WarningNash only, not dominant strategies
The gain over Theorem 21.10 holds only at Nash equilibrium. SSVCG mechanisms generally have no dominant-strategy equilibria (the bluff example shows why). Classical VCG remains unique in guaranteeing efficiency in dominant strategies.
Summary and open problems
| Mechanism | Messages | Prices | User model | Efficiency |
|---|---|---|---|---|
| proportional allocation | 1 scalar | 1 | price taking | 1 (Thm 21.1) |
| proportional allocation | 1 scalar | 1 | price anticipating | , tight (Thm 21.4) |
| any | 1 scalar | 1 | price anticipating | ; iff proportional (Thm 21.10) |
| SSVCG | 1 scalar | 1 per user | Nash | an efficient NE exists; all NE efficient if |
| VCG | whole function | 1 per user | dominant strategy | 1 |
NoteOpen problems
- A general theory. Proportional allocation (3/4) and nonatomic routing (4/3) both characterize equilibria as solutions of an optimization problem resembling the efficient one. Is there a general PoA theorem for such games?
- Drop condition (2) (concavity of price-anticipating payoffs) from . Since some quasiconcavity is needed for existence anyway, the characterization is expected to survive.
- Prices versus efficiency. One price gives 3/4 and one per user gives
- What is the exact trade-off, and how does strategy dimension enter? Reiter–Reichelstein give a minimal strategy dimension of per user for efficient Nash implementation in general exchange economies.
Quick reference
| Object | Statement | Note |
|---|---|---|
| Assumption 1 | concave, strictly increasing, continuous, on , finite | monetary units |
| SYSTEM (21.1) | , | utilitarian benchmark |
| Proportional allocation (21.4) | , , pay | demand , market clearing |
| Price-taker payoff (21.5) | ||
| Thm 21.1 | competitive equilibrium exists and solves SYSTEM | KKT match; first welfare theorem |
| Price-anticipator payoff (21.11) | needs | |
| Thm 21.2 | unique NE; allocation solves GAME | |
| (21.17) | not a potential (bids vs allocations) | |
| Cor 21.3 | variational inequality | |
| (21.24) | Pigou-bound analogue | |
| Thm 21.4 | Nash welfare OPT, tight | needs |
| Worst case | , many users with , | Nash , OPT 1 |
| Smooth market clearing (Def 21.5) | unique with | scalar demand parameter |
| Class (Def 21.8) | smooth, concave anticipating payoffs, expressive, nonnegative | |
| Ex. 21.9 | : proportional allocation for all | only the price differs |
| Thm 21.10(ii) | , concave, increasing | allocation always bids |
| Thm 21.10(iii) | , equality iff linear | |
| Nash for general (21.31) | ||
| VCG (21.39–21.40) | maximize declared welfare; | dominant-strategy truthful |
| SSVCG (21.41–21.42) | same with , scalar | Assumption 2: marginal expressiveness |
| Lemma 21.11 | NE ⟺ maximizes for each | |
| Cor 21.12 | match marginals at ⇒ efficient NE | local truth-telling |
| Ex. 21.13 | bluff: all to user 1 | inefficient NE |
| Prop 21.14 | ⇒ all NE efficient | no dominant strategies |
Facts to keep to hand
- Same recipe as routing. Characterize the equilibrium as the optimum of a modified problem (GAME ↔ Beckmann potential), take its variational inequality, then apply a per-user worst-case constant ( ↔ ). The answer is again governed by the two-player-type example: 3/4 here, 4/3 there.
- Price taking gives efficiency; price anticipation gives market-power loss. The whole 1/4 loss comes from the shading factor , which bites hardest on the user who deserves the most.
- Large markets turn anticipators into price takers. This limit drives Step 1 of Theorem 21.10, and it is why the worst cases use one big user against many infinitesimal ones.
- Proportional allocation is forced, not chosen. Smoothness, concavity, expressiveness and nonnegativity already imply allocations bids. Among these mechanisms, only the pricing varies, and pricing with elasticity above 1 strictly worsens the worst case.
- Scalars suffice for full efficiency once prices are personalized. A user steers SSVCG anywhere by matching one marginal value, so the efficient allocation is supported by a locally truthful equilibrium.
- What personalized prices don’t buy. SSVCG loses dominant strategies and admits bluff equilibria. Guaranteed participation () is what rules the bluffs out.
- Communication and efficiency trade off along two axes: prices and message dimension. One price with scalar messages gives 3/4. Personalized prices with scalar messages give efficient Nash equilibria. Personalized prices with full messages give efficiency in dominant strategies.
References
- Nisan, Roughgarden, Tardos, Vazirani, Algorithmic Game Theory — chapter 21 (Johari)