[논문 리뷰] Convergence of Bayesian Nash Equilibrium in Infinite Bayesian Games under Discretization

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

Game Theory and Applications참고 문헌 18인용 수 4

한 줄 요약

이 논문은 연속형 유형과 유한한 행동을 가진 일반합계 무한 베이지안 게임에서, 보 utility 함수와 사전 분포에 대한 연속성 조건 하에 베이지안 내시 균형(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.

연구 동기 및 목표

• 연속형 유형과 유한한 행동을 가진 일반합계 무한 베이지안 게임에서, 보 utility 함수와 사전 분포의 연속성 조건 하에 베이지안 내시 균형(BNE)의 존재성을 확립하는 것.
• 무한 게임의 BNE 전략이 유한한 이산화된 게임들의 BNE 전략을 통해 근사될 수 있음을 보여주는 것.
• 이산화 및 유한한 게임 해법을 이용하여 무한 베이지안 게임의 $\varepsilon$-BNE를 계산할 수 있는 구축 가능한 알고리즘을 제공하는 것.
• 기수의 등가성에 기반해 $N$-플레이어 게임과 고차원의 컴act 유형 공간으로 이론적 수렴 결과를 확장하는 것.

제안 방법

• 약한 수렴 분석을 가능하게 하기 위해 BNE 조건을 분포 형태로 재구성하는 것.
• 모든 기수의 기수를 가진 불가측한 컴 pact 메트릭 공간이 $[0,1]$과 위상동형임을 이용하여, 결과를 $[0,1]$을 초월해 일반화하는 것.
• 균일하거나 적응형 분할을 사용하여 연속형 유형 공간의 유한한 이산화를 구성하는 것.
• utility 함수와 사전 분포의 연속성 조건 하에, 이산화된 게임의 BNE 전략이 원래의 무한 게임의 BNE 전략으로 약한 수렴함을 증명하는 것.
• 알고리즘 1을 개발하여 게임을 반복적으로 이산화하고, 유한한 근사치를 풀며, 성능 검증 조건을 사용해 $\varepsilon$-BNE 여부를 점검하는 것.
• 유한한 게임의 해법을 이차형 프로그램 $C^K$로 재구성하고, 적절한 가중치 $\alpha_i(\theta_i)$의 선택을 통해 특정 조건 하에 이를 선형 프로그램으로 축소하는 것.

실험 결과

연구 질문

• RQ1 보 utility 함수와 사전 분포의 연속성 조건 하에, 연속형 유형과 유한한 행동을 가진 일반합계 무한 베이지안 게임에서 베이지안 내시 균형이 존재하는가?
• RQ2 무한 베이지안 게임의 BNE는 유한한 이산화된 게임들의 BNE 전략을 통해 근사될 수 있는가?
• RQ3 유한한 근사치의 BNE 전략 수열이 원래의 무한 게임의 BNE로 약한 수렴하는가?
• RQ4 이산화 및 유한한 게임 해법을 통해 무한 베이지안 게임의 $\varepsilon$-BNE를 계산할 수 있는 알고리즘을 구축할 수 있는가?
• RQ5 유한한 게임 해법을 위한 이차형 프로그램이 어떤 조건에서 선형 프로그램으로 축소될 수 있는가?

주요 결과

• utility 함수와 사전 분포의 연속성 조건 하에, 연속형 유형과 유한한 행동을 가진 일반합계 무한 베이지안 게임에서 BNE의 존재성이 증명된다.
• BNE 전략이 원래의 무한 게임의 BNE 전략으로 수렴하는 유한한 이산화된 유한한 베이지안 게임의 수열이 존재한다.
• 기수의 등가성에 기반해, 수렴 결과는 $N$-플레이어 일반합계 게임과 고차원 컴 pact 유형 공간으로 확장된다.
• 유형 공간을 반복적으로 이산화하고 유한한 근사치를 풀어 무한 게임의 $\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에 대한 유한단계 검증을 제공하며, 각 이산화 수준에서 균형 조건을 점검함으로써 유한한 근사치에서 오는 오해를 피할 수 있다.