[論文レビュー] Convergence of Bayesian Nash Equilibrium in Infinite Bayesian Games under Discretization

Linan Huang, Quanyan Zhu|arXiv (Cornell University)|Feb 24, 2021

Game Theory and Applications参考文献 18被引用数 4

ひとこと要約

本稿は、連続的なタイプと有限の行動を伴う一般和の無限ベイジアンゲームにおいて、報酬関数および事前分布の連続性の仮定の下でベイジアンナッシュ均衡（BNE）の存在を確立する。また、BNE戦略が離散化された有限ゲームのBNE戦略の弱収束によって近似可能であることを証明し、離散化と有限近似の解法を用いて$\varepsilon$-BNEを構成的に計算するアルゴリズムを可能にする。

ABSTRACT

We prove the existence of Bayesian Nash Equilibrium (BNE) of general-sum Bayesian games with continuous types and finite actions under the conditions that the utility functions and the prior type distributions are continuous concerning the players' types. Moreover, there exists a sequence of discretized Bayesian games whose BNE strategies converge weakly to a BNE strategy of the infinite Bayesian game. Our proof establishes a connection between the equilibria of the infinite Bayesian game and those of finite approximations, which leads to an algorithm to construct $\varepsilon$-BNE of infinite Bayesian games by discretizing players' type spaces.

研究の動機と目的

• 連続的なタイプと有限の行動を伴う一般和のベイジアンゲームにおけるベイジアンナッシュ均衡（BNE）の存在を確立すること。
• 無限ゲームのBNE戦略が、離散化された有限ゲームのBNE戦略の系列によって近似可能であることを示すこと。
• 離散化と有限ゲームの解法を用いて、無限ベイジアンゲームの$\varepsilon$-BNEを構成的に計算するアルゴリズムを提供すること。
• $N$人プレイヤーのゲームおよびより高次元のコンパクトなタイプ空間への理論的収束結果の拡張を、$[0,1]$と等濃度の同相性を用いて行うこと。

提案手法

• 弱収束解析を可能にするために、BNE条件を分布的形に再定式化する。
• 任意の非可算なコンパクトな距離空間で連続体の濃度を持つものは$[0,1]$に同相であるという事実を用い、$[0,1]$を超える一般化を達成する。
• 均等または適応的分割を用いて、連続的なタイプ空間の有限離散化の系列を構築する。
• 報酬関数および事前分布の連続性の下で、離散化ゲームのBNE戦略が元の無限ゲームのBNE戦略に弱収束することを証明する。
• アルゴリズム1を提案し、ゲームを反復的に離散化し、有限近似を解き、性能検証条件を用いて$\varepsilon$-BNEのチェックを行う。
• 有限ゲームの解法を双線形計画問題$C^K$として再定式化し、適切な重み$\alpha_i(\theta_i)$の選択により、特定の条件下で線形計画問題に簡略化する。

実験結果

リサーチクエスチョン

• RQ1 連続的なタイプと有限の行動を伴う一般和の無限ベイジアンゲームにおいて、報酬関数および事前分布の連続性の下でベイジアンナッシュ均衡が存在するか？
• RQ2 無限ベイジアンゲームのBNEは、有限に離散化されたゲームのBNE戦略の系列によって近似可能か？
• RQ3 有限近似からのBNE戦略の系列は、元の無限ゲームのBNE戦略に弱収束するか？
• RQ4 離散化と有限ゲームの解法を用いて、無限ベイジアンゲームの$\varepsilon$-BNEを計算するアルゴリズムを構築可能か？
• RQ5 有限ゲーム解法の双線形計画問題$C^K$が線形計画問題に簡略化できる条件は何か？

主な発見

• 報酬関数および事前分布の連続性の仮定の下で、連続的なタイプと有限の行動を伴う一般和の無限ベイジアンゲームにおけるベイジアンナッシュ均衡の存在が証明された。
• 元の無限ゲームのBNE戦略に弱収束する離散化された有限ベイジアンゲームの系列が存在する。
• 同相性を用いて、$N$人プレイヤーの一般和ゲームおよびより高次元のコンパクトなタイプ空間への収束結果の拡張が可能である。
• タイプ空間を反復的に離散化し、有限近似を解くことで、無限ゲームの$\varepsilon$-BNEを計算するアルゴリズムが提案された。
• 特定の条件下、$m_2(\theta_2)\bar{u}^{x,y}(\theta_1,\theta_2) = -m_1(\theta_1)\bar{v}^{x,y}(\theta_1,\theta_2)$が成り立つ場合、$\alpha_i(\theta_i) = \bar{b}_i(\theta_i)/m_i(\theta_i)$を選び直すことで、双線形計画問題$C^K$を線形計画問題に再定式化できる。
• アルゴリズムにより、$\varepsilon$-BNEの有限ステップ検証が可能となり、各離散化レベルで均衡条件をチェックすることにより、有限近似による誤った結果を回避できる。