5D Library › 机制设计、激励相容与谈判博弈的数学模型 · English
第三章 迈尔森—萨特思韦特不可能性定理
一买一卖
拍卖中通常只有一方有私人信息:卖方知道自己的保留价,或者根本不在乎。很多谈判却是双边的:一位买方、一位卖方,买方心里有一个最高愿付价 ,卖方心里有一个最低接受价(成本),彼此都不知道对方的数字。只要 ,成交就能创造 的价值;问题是,双方都有夸大的动机:买方说自己没那么想要,卖方说自己成本很高。
有没有一种规则——不管它多巧妙——能保证只要 就一定成交?
证据
迈尔森—萨特思韦特定理。 迈尔森与萨特思韦特 1983 年在《经济理论杂志》上证明:设买方估值与卖方成本相互独立,分别在区间上有正的连续密度,且两个区间有重叠(即既可能 ,也可能 )。那么不存在任何同时满足以下四个条件的交易机制 (Myerson and Satterthwaite 1983):
- 贝叶斯激励相容:在对方如实报告时,自己如实报告的期望收益最大;
- 中期个人理性:在知道自己的类型、不知道对方类型时,每一类型参加交易的期望收益都不低于不参加;
- 事后有效:只要 就成交( 时不成交);
- 预算平衡:买方付出的钱等于卖方收到的钱,不需要外部第三方补贴(定理实际上证明了更强的结论:即使只要求期望上不补贴,也做不到)。
他们还证明,在买卖双方类型都服从 [0, 1] 均匀分布时,满足条件 1、2、4 的机制中,期望交易收益最大的那个机制只在 时成交。
这个定理常被误读为「谈判注定失败」。它说的不是这个。它说的是:只要双方都有私人信息,又没有外人补贴,任何规则都必然会在某些本该成交的时候放弃成交。 这种效率损失不是谈判技巧不足造成的,而是信息结构本身决定的;技巧和规则能做的,只是让损失尽量小。还要注意重叠条件:如果已知买方的估值一定高于卖方的成本,一个固定价格就能解决问题。
推导:虚拟剩余
定理的证明有一个可以计算的核心。用激励相容与个人理性的约束,可以把任何满足条件 1 与 2 的机制中「买方付的钱减去卖方收的钱」的期望写成一个只依赖成交规则的式子。对均匀分布,这个式子是
其中 是买方的「虚拟估值」, 是卖方的「虚拟成本」。它们比真实的估值与成本更「悲观」,因为机制必须给拥有私人信息的人留下一笔信息租金,才能让他们说真话。预算平衡要求这个期望不小于零。
推导
程序做三件事。(a)计算「只要 就成交」时的期望交易收益(理论值 )和期望虚拟剩余。(b)在形如「当 时成交」的规则中,找出使虚拟剩余不小于零的最小门槛 ,并计算这时的期望收益。由于 在 [0, 1] 上的密度为 ,两个期望都可以写成一维积分:收益为 ,虚拟剩余为 。(c)检验查特吉—萨缪尔森双边拍卖的线性均衡:双方同时报价,买方报价不低于卖方要价时成交,成交价取两个报价的平均;卖方要价 ,买方报价 。
# 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) 有效成交的期望收益是 0.16667,即 ;但期望虚拟剩余是 ,为负,说明没有任何满足其余三个条件的机制能做到「只要 就成交」。
(b) 能使虚拟剩余恰好为零的最小门槛是 。手算可以验证:。这时的期望收益是
是最优收益的 。损失的部分是 ,全部来自 的那些「本该成交」的情形。
(c) 在对方采用线性策略时,数值求得的最佳报价与公式完全一致,说明它们构成均衡。成交条件 化简后正是 :一个简单的「各报一个价、取中间」的规则,竟然恰好达到了所有可能规则中的最好结果 (Chatterjee and Samuelson 1983; Myerson and Satterthwaite 1983)。
证据
双边拍卖的多重均衡。 查特吉与萨缪尔森 1983 年分析了这一类「取中间价」的双边拍卖 (Chatterjee and Samuelson 1983)。莱宁格、林哈特与拉德纳后来证明,同一个双边拍卖还有连续统那么多的其他均衡,包括只在一个固定价格上成交的「一价均衡」,以及效率很低的均衡 (Leininger, Linhart, and Radner 1989)。所以,84.4% 是这个规则能够达到的效率,不是它必然达到的效率;参与者实际上协调到哪个均衡,是一个经验问题。
这对谈判意味着什么
把定理翻译回谈判桌,有几点含义。
第一,双方都隐瞒底线时,僵局与错失的交易是正常现象,不一定是谁的错。 在上面的例子中,约有 宽的一条带子上的交易会被放弃:买方的估值比卖方成本高出不到 0.25 时,双方的夸大互相抵消了全部的潜在收益。
第二,信息结构比口才更重要。 让一方的底线变得可核查(例如公开的成本审计、第三方评估),或者把双边问题变成多方竞争(引入更多买方或卖方),可以缩小这条带子。后者与第二章的拍卖相连:竞争越充分,私人信息带来的租金越小。
第三,外部补贴能买回效率。 定理中的「预算平衡」是关键:如果有一个第三方愿意承担赤字(例如在公共采购中由政府补贴、在平台上由平台补贴),有效交易就可以实现。第一章的克拉克机制与这里的问题是同一类:如实报告与有效决策可以同时得到,代价是预算。
假说 · 尚未验证
「成本可核查」条款缩小错失交易带(尚未确立)。在实验室的双边议价中,若一方的成本在谈判前以一定概率由第三方核实并告知双方,成交率在 的「危险带」中会显著上升,而在 较大的情形中几乎不变。如果核查并不改变危险带中的成交率,或者主要改变的是价格而不是成交率,这一假说就被削弱。
注
模型的限度。 这里的模型是一次性的、只有价格一个议题、双方类型独立且服从已知的分布。现实谈判常常是重复的、多议题的,双方对彼此的分布也不清楚。多议题时,双方可以通过交换不同议题上的让步创造价值(第八章的试验就以此为基础),这在一维模型中无法体现。
本章小结
迈尔森—萨特思韦特定理说明,当买卖双方都有私人信息、估值区间重叠时,没有任何机制能同时做到贝叶斯激励相容、中期个人理性、事后有效与预算平衡。在均匀分布的例子中,最好的机制只在 时成交,实现最优交易收益的 ;查特吉—萨缪尔森双边拍卖的线性均衡恰好达到这个上限,但该拍卖还有许多更差的均衡。效率损失来自信息结构,而不是来自技巧不足;缩小损失的办法是让信息可核查、引入竞争或由外部承担赤字。下一章离开机制,讨论两个人面对面讨价还价时的分配。
参考文献
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).