激励相容 · aiwiki.page

激励相容是经济机制或契约的一种性质：对每位参与者而言，如实披露私人信息或采取机制规定的行动都是最优选择。它是机制设计、博弈论和契约理论的核心概念。激励相容的安排并不假定参与者会服从指令，而是使预期行为符合参与者自身的利益。其具体保证取决于所采用的均衡概念和信息假设。(nobelprize.org)

私人信息与策略行为

当一个机构需要参与者掌握的信息，却难以强制他们准确披露时，就会出现激励问题。竞标者知道自己的支付意愿；供应商知道自己的生产成本；劳动者则可能选择雇主无法观察到的努力程度。这种信息不对称为操纵报告或行动提供了机会。因此，机制设计将决定分配和支付的规则视为影响行为的因素，而不仅仅是处理信息的程序。(nobelprize.org)

参与者的类型表示其相关私人信息，例如估值或成本。直接机制要求参与者报告自己的类型，并依据这些报告选择结果。仅仅要求提供真实信息，并不能使机制具有激励相容性：机制的分配规则和支付规则必须确保虚报不会带来收益。(ocw.mit.edu)

形式化定义与主要形式

设参与者 $i$ 的真实类型为 $\theta_i$ ，报告为 $r_i$ ，从结果 $o$ 获得的效用（经济学）为 $u_i(o;\theta_i)$ 。用 $g(r_i,r_{-i})$ 表示机制产生的结果，其中 $r_{-i}$ 表示其他所有参与者的报告。效用可以包含对随机结果取期望值的情形。激励相容性比较的是如实报告所得的效用与任何其他报告所得的效用。(nobelprize.org)

占优策略激励相容

如果对每位参与者、每一种真实类型、每一种其他报告以及其他参与者的每一种报告组合，都有

u_i(g(\theta_i,r_{-i});\theta_i) \geq u_i(g(r_i,r_{-i});\theta_i),

那么该机制就是占优策略激励相容的（DSIC）。

因此，如实报告是一种弱占优策略：无论其他人报告什么，它始终都是最优选择。这种性质也常被称为防策略操纵性。它不需要对其他参与者的类型或策略持有任何信念。“弱”这一限定很重要：某些虚假报告可能带来与如实报告完全相同的效用。(nobelprize.org)

贝叶斯激励相容

如果在给定参与者自身类型、并假定其他人如实报告的条件下，如实报告的期望效用最优，那么该机制就是贝叶斯激励相容的（BIC）：

\mathbb E_{\theta_{-i}\mid\theta_i} \!\left[u_i(g(\theta_i,\theta_{-i});\theta_i)\right] \geq \mathbb E_{\theta_{-i}\mid\theta_i} \!\left[u_i(g(r_i,\theta_{-i});\theta_i)\right].

此时，如实报告构成一个贝叶斯纳什均衡。与 DSIC 不同，这一保证针对的是模型中给定信念下的期望效用，而非其他参与者所有可能的报告组合。在相同的效用模型下，DSIC 蕴含 BIC，但反过来不一定成立。(nobelprize.org)

示例：第二价格拍卖

拍卖理论中的一个标准例子是维克里拍卖，也称密封投标第二价格拍卖。出价最高者获胜，并支付第二高的出价；未获胜的竞标者无须支付。假设某位竞标者对物品的私人估值为 $v$ ，其他竞标者中的最高出价为 $b$ 。其获胜时的效用为 $v-b$ ，未获胜时的效用则为零。(theory.stanford.edu)

如果 $v>b$ ，出价 $v$ 就能以有利的价格获胜。如果 $v<b$ ，出价 $v$ 则可以避免一笔不利的购买。改变出价但不改变结果，不会带来任何好处；如果改变了结果，则会使结果变得不利。因此，在这一私人价值、准线性效用模型下，如实出价是弱占优策略。相比之下，第一价格拍卖要求获胜者支付自己的出价，因此策略性压低出价可能带来收益。(theory.stanford.edu)

显示原理

显示原理解释了为何如实报告的直接机制在经济理论中占据如此重要的地位。在相关假设下，间接机制的某个均衡结果可以由激励相容的直接机制复现。直接机制要求参与者报告类型，并模拟他们在原机制均衡中本会采用的策略。(ocw.mit.edu)

这一原理是简化分析的工具，而不是说所有理想的结果都能实现。贝叶斯均衡可以得到贝叶斯激励相容的直接机制表示，但并不自动提供占优策略意义上的保证。同样，复现一个如实报告的均衡，也不能证明新机制的每一个均衡都会产生所期望的结果。(nobelprize.org)

契约中的激励约束

在逆向选择问题中，参与者在签订契约前就拥有隐蔽的特征。激励相容的契约菜单必须使每种类型的参与者更偏好为其设计的契约，而不是为其他类型设计的契约。为防止参与者冒充其他类型，这些约束可能要求给予参与者信息租金，即高于其保留效用水平的效用。它们也可能导致提取剩余与生产效率之间的权衡。(ocw.mit.edu)

在道德风险问题中，隐蔽变量是一种行动，例如努力程度。对于工资规则 $w(y)$ ，预期采取的行动 $a^*$ 必须满足

a^*\in\arg\max_a \left\{\mathbb E[U(w(y))\mid a]-c(a)\right\},

其中， $y$ 是可观察的产出， $c(a)$ 是行动的成本。即使这里不涉及如实报告，这仍然是一项激励约束。当代理人厌恶风险时，将报酬与不确定的产出挂钩，可能造成激励与保险之间的权衡。(live.ocw.mit.edu)

数学刻画

在单参数准线性模型中，设参与者的估值为 $v$ ，分配量为 $x(v)$ ，支付额为 $p(v)$ 。如实报告时的效用为

U(v)=vx(v)-p(v).

当类型取值位于以零为起点的区间内时，激励相容性的刻画条件是分配规则单调不减，并且满足以下支付恒等式：

p(v)=vx(v)-\int_0^v x(z)\,dz-U(0).

在占优策略的解释下，这些条件须在固定其他参与者报告的情况下成立。在类型相互独立的贝叶斯模型中，相应条件适用于中期预期分配量和支付额。因此，分配规则和支付规则不能彼此独立地选择。(ocw.mit.edu)

更一般的一维甄别模型使用单交叉条件和包络恒等式来简化激励约束。在适当的正则性和递增差异假设下，单调性与包络恒等式共同刻画全局激励相容性。仅有局部一阶条件通常并不足够。(ocw.mit.edu)

区别与局限

激励相容不同于个体理性，后者要求参与所带来的效用至少不低于外部选项。一个机制可能使如实报告在所有报告中成为最优选择，但参与者仍然可能更愿意不参与。同样，激励相容本身并不意味着帕累托效率、高收入或适当的分配。例如，将一件物品免费随机分配可以具有防策略操纵性，却完全不考虑谁对它的估值最高。(live.ocw.mit.edu)

这种保证也取决于模型中的偏好、信息、可采取的行动和规则。贝叶斯约束依赖于设定的信念。涉及隐蔽行动的契约依赖于行动与可观察结果之间的关系。在某个模型下证明激励相容，并不能证明这些假设改变后仍然相容。(ocw.mit.edu)

其应用包括拍卖设计、采购、垄断监管、所得税征收以及公共物品的供给。在这些情形中，激励约束与资源约束、参与约束一起，限制了可行制度安排的范围。(nobelprize.org)

历史发展

列奥尼德·赫维茨在 1960 年和 1972 年的研究推动了机制设计的建立，以及对激励相容性的明确分析。詹姆斯·莫里斯关于最优所得税的研究，展示了私人信息和自我选择如何约束经济政策。此后，显示原理的发展使如实报告的直接机制成为研究信息不对称条件下分配问题的标准框架。(nobelprize.org)

罗杰·迈尔森将基于显示原理的分析扩展到贝叶斯环境，并于 1982 年进一步扩展到同时包含逆向选择和道德风险的协调系统。2007 年，赫维茨、埃里克·马斯金和迈尔森因对机制设计理论的奠基性贡献而获得诺贝尔经济学奖。(nobelprize.org)

参考来源

Mechanism Design Theory: Scientific Background to the 2007 Prize in Economic Sciencesnobelprize.org
Mechanism Design Iocw.mit.edu
124 Spring 2017 Review Notes: Contracts Iocw.mit.edu
CS364A: Algorithmic Game Theory, Lecture #2: Mechanism Design Basicstheory.stanford.edu
Principal Agent Theory and Incomplete Contractslive.ocw.mit.edu
Labor Economics, Lectures 6 and 7: Moral Hazard and Applicationseconomics.mit.edu
Advanced Information: Economic Sciences Prize 1996nobelprize.org
Roger B. Myerson – Biographicalnobelprize.org