5D Library › Mechanism Design, Incentive Compatibility and the Game Theory of Negotiation · 中文
Chapter 5 Lemons and Costly Signals
When only the seller knows the quality
In the previous two chapters the private information was “how much I am willing to pay” or “what my cost is”, which affects only the division of gains. Another kind of private information bears directly on the value of what is being traded: the condition of a used car, a job applicant’s ability, whether a supplier can deliver on time. Here asymmetric information does not merely complicate the division; it can make the whole market disappear.
Evidence
The market for lemons. Akerlof used the used-car market in 1970 to show that if only sellers know a car’s condition, buyers can offer only a price based on the average quality on the market. That price is too low for owners of good cars, so good cars leave the market, average quality falls, the price buyers are willing to pay falls with it, another tranche of better cars leaves… In the extreme, the market collapses entirely, even though every trade would have benefited both sides (Akerlof 1970). He also discussed how “counteracting institutions” such as guarantees, brand names, chains and licensing mitigate the problem.
Calculation
Car quality is uniform on [0, 1] and known only to the seller. A seller wants at least ; a buyer values a car of quality at (, so every trade creates value). Buyers see only the price: at price , only owners with are willing to sell, average quality is , and buyers will pay . So the next round’s price is . The second half adds certification: a seller can pay to have a third party verify the car’s quality, and certified cars sell at .
# Lemons: quality q ~ U[0, 1], known only to the seller, who wants at least q; a buyer
# values q at k*q. At price p only q <= p is offered (mean p/2), so buyers then pay k*p/2.
for k in (1.5, 1.9, 2.5):
path = [1.0]
for _ in range(200):
path.append(min(1.0, k * path[-1] / 2))
n = next((i for i, x in enumerate(path) if x < 0.01), None)
end = f"under 1 % left after {n} rounds" if n else "no unravelling"
print(f"k = {k}: " + " -> ".join(f"{x:.2f}" for x in path[:6]) + f" ...; {end}")
# Certification at cost kappa reveals q; certified cars sell at k*q. Uncertified cars
# still spiral (k < 2) and do not trade, so a seller certifies iff k*q - kappa >= q.
k = 1.5
print(f"k = {k}: full-information gains {(k - 1) / 2:.3f} per car; hidden quality: 0")
print(" kappa | certify if q >= | traded | net gains | spent on certificates")
for kappa in (0.02, 0.05, 0.10, 0.20):
qs = kappa / (k - 1)
spent = kappa * (1 - qs)
net = (k - 1) * (1 - qs ** 2) / 2 - spent
print(f" {kappa:.2f} | {qs:.2f} | {1 - qs:4.0%} | {net:.3f} |"
f" {spent:.3f}")
# k = 1.5: 1.00 -> 0.75 -> 0.56 -> 0.42 -> 0.32 -> 0.24 ...; under 1 % left after 17 rounds
# k = 1.9: 1.00 -> 0.95 -> 0.90 -> 0.86 -> 0.81 -> 0.77 ...; under 1 % left after 90 rounds
# k = 2.5: 1.00 -> 1.00 -> 1.00 -> 1.00 -> 1.00 -> 1.00 ...; no unravelling
# k = 1.5: full-information gains 0.250 per car; hidden quality: 0
# kappa | certify if q >= | traded | net gains | spent on certificates
# 0.02 | 0.04 | 96% | 0.230 | 0.019
# 0.05 | 0.10 | 90% | 0.202 | 0.045
# 0.10 | 0.20 | 80% | 0.160 | 0.080
# 0.20 | 0.40 | 60% | 0.090 | 0.120With the price is multiplied by 0.75 each round: from 1.00 to 0.75, 0.56, 0.42…; after 17 rounds fewer than 1 % of cars remain on the market. With the shrinking is much slower, but it still takes about 90 rounds to fall below 1 %: as long as , the spiral ends at zero. With the buyers’ premium for quality is high enough: at a price of 1 the average quality on offer is 0.5, and 0.5 times 2.5 is 1.25, still above the top quality, so the market does not shrink at all.
The certification part shows the economics of “costly signals”. With , full information would create an average gain of 0.25 per car; with hidden information, 0. Once certification at cost is available, owners of cars with choose to certify. At a certification cost of 0.02, 96 % of cars trade and the net gain is 0.230, of which 0.019 is spent on certification. The dearer certification is, the fewer cars are certified, yet the more is spent on certificates: at a cost of 0.20 only 60 % of cars trade, the net gain is 0.090, and the 0.120 spent on certificates already exceeds the net gain.
Evidence
Direct tests do not always find “lemons”. Bond tested the used pickup-truck market in 1982 using a nationwide US truck survey: after controlling for age and mileage, trucks that had been traded did not differ in their maintenance needs from trucks that had not, contrary to the lemons model’s prediction (Bond 1982). This suggests that in this market buyers’ own inspections, sellers’ reputations, dealers’ warranties and similar mechanisms already offset much of the information asymmetry. The lemons model is a mechanism, not a description of every market.
Spence’s signals: affordable for the good, unaffordable for the bad
Certification means a third party verifies quality. Another remedy is for the informed side itself to send a signal: an action that may be useless in itself but costs different types different amounts.
Evidence
Job-market signalling. In Spence’s 1973 model, employers do not know job applicants’ productivity, and applicants can choose how many years of education to acquire. Even if education does not raise productivity at all, provided that high-productivity people find the same education cheaper, there can be an equilibrium in which the highly productive choose more education, the less productive do not, employers pay different wages accordingly, and the expectations are self-fulfilling (Spence 1973). The key condition came to be called the single-crossing condition: the marginal cost of the signal differs across types, so that the two types’ indifference curves cross only once.
Calculation
Two types: high productivity , low productivity ; a signal of level costs for the high type and for the low type; the signal contributes nothing to productivity. In a separating equilibrium, employers pay 2 to anyone with and 1 otherwise. Two conditions are needed: the low type does not want to imitate, ; the high type wants to signal, . The program finds the feasible range of on a grid and compares it with “pooling” (nobody signals and everyone is paid average productivity).
# Spence signalling: productivity H = 2 or L = 1; a signal e costs 0.5e (high type) or
# 1.0e (low type) and adds nothing to output. Separation at e*: low type does not mimic,
# L >= H - cL e*; high type signals, H - cH e* >= L. Pooling pays the average.
H, L = 2.0, 1.0
def separating(e, cH, cL):
return L >= H - cL * e and H - cH * e >= L
grid = [k / 100 for k in range(301)]
ok = [e for e in grid if separating(e, 0.5, 1.0)]
print(f"separating e* in [{min(ok):.2f}, {max(ok):.2f}] = [(H-L)/cL, (H-L)/cH]")
e = min(ok)
print(f"least-cost e* = {e:.2f}: high type nets {H - 0.5 * e:.2f}, low type {L:.2f}")
print(" share high | pooling wage | high type separate vs pool | waste per worker")
for lam in (0.2, 0.5, 0.8):
pool = lam * H + (1 - lam) * L
sep = H - 0.5 * e
print(f" {lam:.1f} | {pool:.2f} | {sep:.2f} vs {pool:.2f}"
" |"
f" {lam * 0.5 * e:.2f}")
n_eq = sum(separating(x, 1.0, 1.0) for x in grid)
print(f"equal costs for both types: separating levels = {n_eq} (knife-edge e = 1 only)")
# separating e* in [1.00, 2.00] = [(H-L)/cL, (H-L)/cH]
# least-cost e* = 1.00: high type nets 1.50, low type 1.00
# share high | pooling wage | high type separate vs pool | waste per worker
# 0.2 | 1.20 | 1.50 vs 1.20 | 0.10
# 0.5 | 1.50 | 1.50 vs 1.50 | 0.25
# 0.8 | 1.80 | 1.50 vs 1.80 | 0.40
# equal costs for both types: separating levels = 1 (knife-edge e = 1 only)Separating equilibria exist for every in the interval [1, 2]. At the lower end, , the low type is just indifferent between imitating and not; at the upper end, , the high type is just indifferent between signalling and not. So there is more than one separating equilibrium; under a commonly used equilibrium refinement only the cheapest one () survives (Cho and Kreps 1987).
The cost of signalling is real. At the high type nets 1.50, 0.5 less than the 2 she would earn under full information, and those 0.5 are pure waste: the signal produces nothing. With 80 % high types, each worker spends 0.40 on signalling on average, and the high type would herself be better off under pooling (1.80 against 1.50); yet in the separating equilibrium nobody can stop signalling unilaterally. The last line shows that if the signal costs both types the same, only a knife-edge point remains at which both types are exactly indifferent, and the signal cannot stably separate them.
Note
Writing “a costly verifiable commitment that a cheat cannot afford” as conditions. The author’s phrase captures the essence of signalling, but it is complete only as three conditions: (1) single crossing: the same commitment is more expensive for the side that would imitate (a penalty for late delivery, say, is a small expected cost for a reliable supplier but a large one for an unreliable supplier); (2) range: the commitment’s cost must be high enough that imitation does not pay, yet low enough that the genuine side still wants to make it; (3) verifiability: when the commitment is broken, the breach can be observed and the penalty enforced. When these conditions hold, the signal separates the types; but as long as the signal creates no value in itself it is a social cost, so signals that create value along the way (samples, trial periods, payment in instalments) should be preferred.
Hypothesis · not established
“Value-creating signals” are preferred by both sides to “pure money-burning” ones (not established). In an experiment, give suppliers two ways to commit: a pure security deposit (forfeited on default, otherwise returned in full but with a cost of tied-up capital), or a free trial period of the same cost that also gives the buyer some use value. Prediction: in a design where both commitments separate types equally well, both sides prefer the trial period and trade rates are higher. If there is no difference, or if buyers trust the pure deposit more, the hypothesis is weakened.
Chapter summary
When only the seller knows quality, buyers can offer only a price based on average quality, good sellers withdraw and the price falls round after round; in the model with uniform quality and a buyer premium below 100 %, the market eventually collapses entirely. But a direct test in the used pickup-truck market found no lemons effect, suggesting that inspection, reputation and warranties often offset asymmetric information. Third-party certification and self-chosen signals can both separate the good from the bad. A signal works only under the single-crossing condition, with a cost in the range where imitation does not pay but the genuine side still wants to pay; separating equilibria are usually multiple, and pure signals are a social waste. The next chapter turns inside organisations: what happens when a metric is used to reward and punish.
References
Fan, Y. (2026). Mechanism Design, Incentive Compatibility and the Game Theory of Negotiation: From Vickrey Auctions and the Myerson-Satterthwaite Theorem to Nash Bargaining, Read Beside Classical Chinese Legalist and Confucian Institutional Thought [机制设计、激励相容与谈判博弈的数学模型] (Version 1.0.0). 5D Library. https://doi.org/10.5281/zenodo.23765012 · Licensed under Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0).