纯交换经济环境中的双人贝叶斯机制研究.pdfVIP

第39卷第17期 数学的实践与认识 Vo1．39Nc．17 2009年9 M ATHEM ATICS 1N PRACT1CEAND THE()RY Sep．，2009 纯交换经济环境 中的双人贝叶斯机制研究 路 璐 ， 张国胜。 (1．首都师范大学 数学科学学院 ，北 京 100048) (2．北京第二外国语学院 国际经济贸易学院 ，北京 100024 摘要： 将r)utta和sc··(1994)关 ： 完全信息环境中二人JI!叶斯执行问题扩展到纯交换经济环境中．建立 了纯交换经济的双人 贝叶斯机制模型 ，给出当偏好关系和初始某赋都是 完全信息环境下．一个社会选择规 则 贝叶斯可执行的充分条件 和必要条件． 关键词 ： 叭叶斯执行；贝叶斯均衡；社会选择规则；机制没汁 l 引 言 机制设汁理论所 讨论的问题是，对于任意给定的一个环境 ，包括行为人集合、可实施决 策集合及行为人关于可实施决策的偏好集，当一个社会选择规则选择 了一个想要达到的结 果时，能否设汁以及怎样设汁出一个激励机制 ，使得行为人的个人利益和设计者既定的目标 相一致．在某些环境中，比如签合同双方，当事人明确知道对方的信息，这种完全信息环境中 的执行理论就是Maskin(1977)所研究的纳什执行．但我们所面临的是一个信息不完全的社 会 ，任何人都可能会隐藏 自己的真实信息，并利用私人信息来最大化个人利益．由于这个原 因，人们希望用激励机制来激发人们做机制设计者想做的事 ，在这种不完全信息环境中所研 究的执行理论就是贝叶斯执行理论．贝叶斯执行理论在经济社会中有着广阔的应用背景，文 献 [1—5]均有理论研究． Dutta和Sen(1994)提出了一般社会环境中当偏好是不完全信息时双人贝叶斯执行的 充分条件与必要条件，奠定了双人贝叶斯执行的理论基础．本文引用它的两个经典条件 ，讨 论了纯交换经济环境中，当偏好关系和初始禀赋都是不完全信息时。一个社会选择规则贝叶 斯可执行的充分条件和必要条件． 2 基本模型的建立 考虑一个纯交换经济环境 ，包括两个行为人的有限集合N 一 {1，2}和一个备选策略方 案集 ，每个行为人消费 维的商品．以Q表示行为人 的禀赋向量的有限集合，Q—Q × Q。表示所有行为人的禀赋组合集． 表示行为人 的可能的类型的有限集合 ，’一 ×7 表示所有行为人的类型组合集．令 一Q × ，5 的元素 一 (训 ，t)∈Q × 称为行为 人 i的状态．经济状态用 一 (，)∈S—S ×S。表示，它概括了行为人的偏好、禀赋和私 人信息．假定Q (== +且 V叫 ∈Q，叫 +叫 0． 收稿 日期：2009—04-o1 17期 路 璐 ，等 ：纯交换经济环境 中的双人贝叶斯机制研究 189 定义A(叫)= { ∈ ：2一 ( ，。)， 三三一 训 ，z+ 一 0，一 1，2}，ZUEQ，A(叫) 表示纯交易可行分配集，这里 ≈∈A(叫)表示一个可行的分配．定义A — UA(训)．由于行 t 为人的偏好依赖于状态5一 (，)，因此，行为人可能希望集体决策由S决定．为了使这种 依赖性数学化，我们引入社会选择规则的概念． 定义1 一个社会选择规则是从状态到备选策略方案集的映射 ：S ×S。一 ，它是指 对行为人的任意状态 = (叫，t)∈S，指定一项集体决策 ()∈A()． X 一 {I：S— A)称为社会选择集．这里 ，5只能被行为人 i自己观测到，即我们处于 不完全信息构架 中．我们想要的社会选择规则是 的子集 ，用 F表示．假定行为人的状态是 从一个为人共知的先验分布中抽取出来的，每个行为人 i在可能的状态上有一个先验概率 分布 q．通常认为对某个 和 S∈S，有q()0．所有的这种状态组成 的集合L，称为5的 支撑 ．这里，J一 {∈S () 0，一 1，2}． 行为人 i在社会选择集 X上的偏