[论文解读] On the Existence of General Equilibrium in Finite Games and General Game Dynamics

Dashiell Fryer|arXiv (Cornell University)|Jan 11, 2012

Game Theory and Applications参考文献 17被引用 9

一句话总结

本文引入了有限博弈中激励驱动均衡与动态的广义概念，将现有博弈论模型统一于单一框架之下。在最小条件下证明了均衡的存在性，并推导出一个广义的博弈动态族，该族包含了复制者动态、BNN动态和对数几率动态等经典模型，表明所有有效的动态均可通过适当的激励函数生成。

ABSTRACT

A notion of incentive for agents is introduced which leads to a very general notion of an equilibrium for a finite game. Sufficient conditions for the existence of these equilibria are given. Known existence theorems are shown to be corollaries to the main theorem of this paper. Furthermore, conditions for the existence of equilibria in certain symmetric regions for games are also given. From the notion of general equilibrium, a general family of game dynamics are derived. This family incorporates all canonical examples of game dynamics. A proof is given for the full generality of this system.

研究动机与目标

• 通过引入基于激励的广义均衡类，将有限博弈中的均衡概念推广至纳什均衡之外。
• 建立此类均衡存在的最小充分条件，使已知结果如纳什均衡与演化稳定策略均衡成为特例。
• 推导出一个涵盖所有经典动态模型的通用博弈动态族，包括复制者动态、BNN动态、最优回应动态与对数几率动态。
• 通过展示任何有效博弈动态均可通过适当的激励函数恢复，证明该框架的普适性。
• 形式化激励函数需满足的条件，以保证单纯形不变性，并确保在策略空间边界处动态定义良好。

提出的方法

• 引入广义激励函数 φ(x)，其满足边界条件：当 x_iα = 0 时，φ_iα(x) ≥ 0，以确保策略空间的不变性。
• 通过 dx_iα/dt = φ_iα(x) − x_iα ∑_β φ_iβ(x) 定义一般动态，该式保持单纯形结构，并推广了平均动态形式。
• 从连续更新协议推导出基于激励的动态系统，其中代理人根据激励信号向表现更优的策略转移。
• 通过指定适当的激励函数，表明已知动态（如复制者动态、BNN动态、对数几率动态、Smith动态）均为该框架的特例。
• 证明任何满足单纯形保持性与边界行为的合法博弈动态，均可由某个激励函数表示，从而确立系统的完全普适性。
• 通过将效用函数线性延拓至 ℝ^m，并应用最大值原理，以支持均衡定义的形式化。

实验结果

研究问题

• RQ1 在有限博弈中，激励驱动广义均衡存在的最小条件是什么？
• RQ2 现有均衡概念如纳什均衡与演化稳定策略（ESS）能否作为该广义均衡框架的特例被恢复？
• RQ3 如何通过单一动态系统统一复制者动态、BNN动态与对数几率动态等经典博弈动态？
• RQ4 在所提出的框架下，是否每一个合法博弈动态都可表示为基于激励的动态？
• RQ5 激励函数需满足何种必要且充分条件，才能确保在单纯形上（尤其是边界处）动态定义良好？

主要发现

• 建立了基于激励的均衡广义存在性定理，已知均衡如纳什均衡与 ESS 均为该定理的推论。
• 该框架将所有经典博弈动态——复制者动态、BNN动态、最优回应动态、对数几率动态与 Smith 动态——统一于由激励函数定义的单一动态系统之下。
• 任何满足单纯形保持性与边界行为的合法博弈动态，均可通过适当的激励函数生成，证明了该系统的完全普适性。
• 激励函数 φ_iα(x) = x_iα(u_i(e_iα, x_-i) + g_i(x)) 对任意函数 g_i(x) 均可生成复制者动态，表明在此类函数下具有等价性。
• 证明动态 dx_iα/dt = φ_iα(x) − x_iα ∑_β φ_iβ(x) 与平均动态形式等价，且激励函数完全决定了动态行为。
• 该框架允许多个不同的激励函数生成相同的动态，表明激励函数的非唯一性，但动态等价性得以保持。