马尔可夫环境下带退出选项的动态机制设计中的激励相容性

本文研究拟线性马尔可夫环境下的动态机制设计，并分析一个委托人-代理人框架的直接机制模型，其中代理人被允许在任意时期退出。我们考虑代理人的私人信息（称为状态）随时间演化。代理人在每一期做出停止或继续以及报告什么的决定。另一方面，委托人选择由配置规则和一组支付规则组成的决策规则，以最大化其事前期望收益。为了影响代理人的停止决策，其中一个终止支付规则为挂牌价格（posted-price），即它仅依赖于代理人实现的停止时间。我们根据贝尔曼方程定义该动态环境中的激励相容性，并通过建立单期偏离原理对其化简。在停止规则最优的条件下，通过构造依赖于配置规则参数化的一组函数形式的状态依赖支付规则，得到激励相容的一个充分条件。由包络定理导出一个必要条件，其显式地用配置规则表示状态依赖支付规则。考虑一类单调环境，用阈值规则刻画最优停止。进而将挂牌价格支付规则用配置规则和阈值函数确定至一个常数。激励相容约束通过正则条件限制挂牌价格支付规则的设计。