5D Library › Mechanism Design, Incentive Compatibility and the Game Theory of Negotiation · 中文

Chapter 3 The Myerson–Satterthwaite Impossibility Theorem

One buyer, one seller

In an auction, usually only one side has private information: the seller knows her reserve price, or does not care. Many negotiations, though, are bilateral: one buyer and one seller. The buyer has a maximum willingness to pay vv in mind, the seller a minimum acceptable price (cost) cc, and neither knows the other’s number. Whenever v>cv > c, a trade would create v−cv – c in value; the trouble is that both have reasons to exaggerate. The buyer says she does not want it that much; the seller says his costs are high.

Is there any rule, however clever, that guarantees a trade whenever v>cv > c?

Evidence

The Myerson–Satterthwaite theorem. In 1983 Myerson and Satterthwaite proved in the Journal of Economic Theory the following. Suppose the buyer’s value and the seller’s cost are independent, each with a positive continuous density on an interval, and the two intervals overlap (so that both v>cv > c and v<cv < c are possible). Then no trading mechanism satisfies all four of the following conditions (Myerson and Satterthwaite 1983):

  1. Bayesian incentive compatibility: if the other side reports truthfully, reporting truthfully maximises one’s expected payoff;
  2. Interim individual rationality: knowing one’s own type but not the other’s, every type expects at least as much from taking part as from staying out;
  3. Ex post efficiency: trade happens whenever v>cv > c (and not when v<cv < c);
  4. Budget balance: what the buyer pays equals what the seller receives, with no subsidy from a third party (the theorem in fact proves something stronger: it cannot be done even if a subsidy is ruled out only in expectation).

They also showed that when both types are uniform on [0, 1], among mechanisms satisfying conditions 1, 2 and 4, the one with the largest expected gains from trade trades only when v≥c+1/4v \ge c + 1/4.

The theorem is often misread as “negotiation is doomed”. That is not what it says. It says that as long as both sides hold private information and no outsider subsidises the deal, every rule must give up trade in some cases where trade would have been worthwhile. This loss of efficiency is not caused by poor negotiating skill but by the information structure itself; skill and rules can only make the loss as small as possible. Note also the overlap condition: if the buyer’s value is known always to exceed the seller’s cost, a fixed price solves the problem.

The derivation: virtual surplus

The proof has a computable core. Using the incentive compatibility and individual rationality constraints, the expectation of “what the buyer pays minus what the seller receives” in any mechanism satisfying conditions 1 and 2 can be written as an expression that depends only on the trading rule. For uniform distributions it is

𝔼[((2v−1)−2c)⋅𝟏{trade}], \mathbb{E}\big[\,\big((2v – 1) – 2c\big)\cdot \mathbf{1}\{\text{trade}\}\big],

where 2v−12v – 1 is the buyer’s “virtual value” and 2c2c the seller’s “virtual cost”. They are more “pessimistic” than the true value and cost because the mechanism must leave each party holding private information an information rent to make them tell the truth. Budget balance requires this expectation to be at least zero.

Calculation

The program does three things. (a) It computes the expected gains from trade under “trade whenever v>cv > c” (theoretically 1/61/6) and the expected virtual surplus. (b) Among rules of the form “trade when v−c≥tv – c \ge t”, it finds the smallest threshold tt that keeps virtual surplus non-negative, and the expected gains at that threshold. Because d=v−cd = v – c has density 1−d1 – d on [0, 1], both expectations are one-dimensional integrals: gains ∫t1d(1−d)dd\int_t^1 d(1-d)\,\mathrm{d}d and virtual surplus ∫t1(2d−1)(1−d)dd\int_t^1 (2d-1)(1-d)\,\mathrm{d}d. (c) It checks the linear equilibrium of the Chatterjee–Samuelson double auction: both sides name a price at the same time, trade happens if the buyer’s bid is at least the seller’s ask, at the average of the two; the seller asks 2c/3+1/42c/3 + 1/4 and the buyer bids 2v/3+1/122v/3 + 1/12.

# Bilateral trade, v and c independent uniform on [0, 1]; d = v - c has density 1 - d on
# [0, 1]. For the rule "trade iff d >= t": gains = int_t^1 d(1-d), and expected virtual
# surplus = int_t^1 (2d - 1)(1 - d), which must be >= 0 for a BIC, interim IR, budget-
# balanced mechanism (Myerson-Satterthwaite). Then check the Chatterjee-Samuelson
# linear equilibrium: ask 2c/3 + 1/4, bid 2v/3 + 1/12, price = average when bid >= ask.
def integrals(t, steps=200000):
    h = (1 - t) / steps
    ds = [t + (k + 0.5) * h for k in range(steps)]
    return sum(d * (1 - d) for d in ds) * h, sum((2 * d - 1) * (1 - d) for d in ds) * h

s0, vs0 = integrals(0.0)
print(f"trade iff v > c: gains {s0:.5f} (1/6), virtual surplus {vs0:+.5f}: infeasible")
lo, hi = 0.0, 0.5
for _ in range(40):
    mid = (lo + hi) / 2
    lo, hi = (mid, hi) if integrals(mid, 20000)[1] < 0 else (lo, mid)
s1 = integrals(hi)[0]
print(f"smallest feasible t = {hi:.5f}; gains {s1:.6f} (9/64 = {9 / 64:.6f}),"
      f" {s1 / s0:.3%} of first-best")
pts = [(i + 0.5) / 1000 for i in range(1000)]
ask, bid = (lambda c: 2 * c / 3 + 0.25), (lambda v: 2 * v / 3 + 1 / 12)
offers = [k / 500 for k in range(501)]
def by(v):                      # buyer's best bid against the seller's linear ask
    return max(offers, key=lambda b: sum(v - (b + ask(c)) / 2
                                         for c in pts if b >= ask(c)))
def se(c):                      # seller's best ask against the buyer's linear bid
    return max(offers, key=lambda a: sum((a + bid(v)) / 2 - c
                                         for v in pts if bid(v) >= a))
print("best replies (formula): buyer " +
      " ".join(f"v={v}: {by(v):.3f} ({bid(v):.3f})" for v in (.4, .7, 1)))
print("                       seller " +
      " ".join(f"c={c}: {se(c):.3f} ({ask(c):.3f})" for c in (0, .3, .6)))
# trade iff v > c: gains 0.16667 (1/6), virtual surplus -0.16667: infeasible
# smallest feasible t = 0.25000; gains 0.140625 (9/64 = 0.140625), 84.375% of first-best
# best replies (formula): buyer v=0.4: 0.350 (0.350) v=0.7: 0.550 (0.550) v=1: 0.750 (0.750)
#                        seller c=0: 0.250 (0.250) c=0.3: 0.450 (0.450) c=0.6: 0.650 (0.650)

(a) The expected gains from efficient trade are 0.16667, that is 1/61/6; but the expected virtual surplus is −1/6-1/6, negative, so no mechanism satisfying the other three conditions can “trade whenever v>cv > c”.

(b) The smallest threshold that brings virtual surplus up to exactly zero is t=1/4t = 1/4. By hand: ∫1/41(2d−1)(1−d)dd=[32d2−d−23d3]1/41=−16−(332−14−196)=0\int_{1/4}^1 (2d-1)(1-d)\,\mathrm{d}d = \big[\tfrac{3}{2}d^2 – d – \tfrac{2}{3}d^3\big]_{1/4}^1 = -\tfrac16 – \big(\tfrac{3}{32} – \tfrac14 – \tfrac{1}{96}\big) = 0. The expected gains are then

∫1/41d(1−d)dd=[d22−d33]1/41=16−5192=27192=964, \int_{1/4}^{1} d(1-d)\,\mathrm{d}d = \Big[\tfrac{d^2}{2} – \tfrac{d^3}{3}\Big]_{1/4}^{1} = \tfrac16 – \tfrac{5}{192} = \tfrac{27}{192} = \tfrac{9}{64},

which is (9/64)/(1/6)=54/64=84.375%(9/64)/(1/6) = 54/64 = 84.375\,\% of the first-best. The loss, 5/192≈0.0265/192 \approx 0.026, comes entirely from cases with 0<v−c<1/40 < v – c < 1/4, trades that “should have happened”.

(c) When the other side uses the linear strategy, the numerically computed best price agrees exactly with the formula, so the strategies form an equilibrium. The trading condition 2v/3+1/12≥2c/3+1/42v/3 + 1/12 \ge 2c/3 + 1/4 simplifies to exactly v≥c+1/4v \ge c + 1/4: a simple rule, “each names a price and they meet in the middle”, happens to achieve the best result possible under any rule (Chatterjee and Samuelson 1983; Myerson and Satterthwaite 1983).

The unit square of buyer’s value v and seller’s cost c. Above the diagonal there are gains from trade (expected 1/6). The dark region is where trade actually happens in the linear equilibrium (v \ge c + 1/4, expected gains 9/64). The light band between them is the trade given up by the mechanism that maximises expected gains subject to the other three conditions (expected 5/192); every mechanism meeting those three conditions loses at least this much in expectation.

Evidence

Multiple equilibria of the double auction. Chatterjee and Samuelson analysed this kind of “split-the-difference” double auction in 1983 (Chatterjee and Samuelson 1983). Leininger, Linhart and Radner later showed that the same double auction has a continuum of other equilibria, including “one-price” equilibria in which trade happens only at a single fixed price, and equilibria of very low efficiency (Leininger, Linhart, and Radner 1989). So 84.4 % is the efficiency this rule can reach, not the efficiency it necessarily reaches; which equilibrium participants actually coordinate on is an empirical question.

What this means for negotiation

Translated back to the negotiating table, the theorem has several implications.

First, when both sides conceal their bottom lines, deadlock and missed deals are normal and not necessarily anyone’s fault. In the example above, trades along a band of width about 1/41/4 are given up: when the buyer’s value exceeds the seller’s cost by less than 0.25, the two sides’ exaggerations cancel out the entire potential gain.

Second, the information structure matters more than eloquence. Making one side’s bottom line verifiable (for example by a public cost audit or an independent valuation), or turning a bilateral problem into a competition among many (bringing in more buyers or sellers), can narrow the band. The latter links to the auctions of Chapter 2: the fuller the competition, the smaller the rents that private information earns.

Third, an outside subsidy can buy back efficiency. “Budget balance” is the key condition: if a third party is willing to cover a deficit (a government in public procurement, a platform on its marketplace), efficient trade can be achieved. The Clarke mechanism of Chapter 1 belongs to the same family of problems: truthful reporting and efficient decisions can be had together, at a cost to the budget.

Hypothesis · not established

A “verifiable cost” clause narrows the band of missed trades (not established). In laboratory bilateral bargaining, if one side’s cost is verified by a third party with some probability before the negotiation and disclosed to both, the trade rate in the “danger band” 0<v−c<0.250 < v – c < 0.25 will rise markedly, while hardly changing where v−cv – c is large. If verification does not change the trade rate in the danger band, or changes mainly the price rather than the trade rate, the hypothesis is weakened.

Note

Limits of the model. The model here is one-shot, with price as the only issue, and types that are independent and drawn from known distributions. Real negotiations are often repeated and involve many issues, and neither side knows the other’s distribution. With several issues, the parties can create value by trading concessions across issues they value differently (the Chapter 8 trial builds on this), which a one-dimensional model cannot capture.

Chapter summary

The Myerson–Satterthwaite theorem shows that when buyer and seller both hold private information and their value ranges overlap, no mechanism can be at once Bayesian incentive compatible, interim individually rational, ex post efficient and budget balanced. In the uniform example, the best mechanism trades only when v≥c+1/4v \ge c + 1/4, realising 9/64÷1/6=84.375%9/64 \div 1/6 = 84.375\,\% of the first-best gains; the linear equilibrium of the Chatterjee–Samuelson double auction attains this bound exactly, though the auction also has many worse equilibria. The loss of efficiency comes from the information structure, not from a lack of skill; the ways to reduce it are to make information verifiable, to bring in competition, or to have an outsider bear the deficit. The next chapter leaves mechanisms behind and turns to how two people facing each other divide a surplus.

References

Chatterjee, Kalyan, and William Samuelson. 1983. “Bargaining Under Incomplete Information.” Operations Research 31 (5): 835–51. https://doi.org/10.1287/opre.31.5.835.
Leininger, Wolfgang, P. B. Linhart, and Roy Radner. 1989. “Equilibria of the Sealed-Bid Mechanism for Bargaining with Incomplete Information.” Journal of Economic Theory 48 (1): 63–106.
Myerson, Roger B., and Mark A. Satterthwaite. 1983. “Efficient Mechanisms for Bilateral Trading.” Journal of Economic Theory 29 (2): 265–81. https://doi.org/10.1016/0022-0531(83)90048-0.

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).