[논문 리뷰] Linear quadratic mean field games: Asymptotic solvability and relation to the fixed point approach

Minyi Huang, Mengjie Zhou|arXiv (Cornell University)|2019. 03. 20.

Mathematical and Theoretical Epidemiology and Ecology Models참고 문헌 50인용 수 3

한 줄 요약

이 논문은 선형-제곱 평균장 게임에서 점근적 가용성에 대한 필요 및 충분 조건을 제시하며, 고차원의 결합된 리카티 미분방정식계를 저차원 비대칭 리카티 상미분방정식으로 줄이는 데에 새로운 재스케일링 기법을 사용한다. 점근적 가용성이 고정점 접근법의 가용성을 암시하지만 그 역은 성립하지 않음을 증명하고, 고정점 프레임워크 내에서 장기적 행동과 비유일성을 분석한다.

ABSTRACT

Mean field game theory has been developed largely following two routes. One of them, called the direct approach, starts by solving a large-scale game and next derives a set of limiting equations as the population size tends to infinity. The second route is to apply mean field approximations and formalize a fixed point problem by analyzing the best response of a representative player. This paper addresses the connection and difference of the two approaches in a linear quadratic (LQ) setting. We first introduce an asymptotic solvability notion for the direct approach, which means for all sufficiently large population sizes, the corresponding game has a set of feedback Nash strategies in addition to a mild regularity requirement. We provide a necessary and sufficient condition for asymptotic solvability and show that in this case the solution converges to a mean field limit. This is accomplished by developing a re-scaling method to derive a low dimensional ordinary differential equation (ODE) system, where a non-symmetric Riccati ODE has a central role. We next compare with the fixed point approach which determines a two point boundary value (TPBV) problem, and show that asymptotic solvability implies feasibility of the fixed point approach, but the converse is not true. We further address non-uniqueness in the fixed point approach and examine the long time behavior of the non-symmetric Riccati ODE in the asymptotic solvability problem.

연구 동기 및 목표

• 선형-제곱 평균장 게임에 대한 직접적(하향식) 접근법에서의 점근적 가용성의 체계적 형식화 및 분석.
• 고차원의 결합된 리카티 미분방정식계를 저차원 비대칭 리카티 상미분방정식으로 줄이는 재스케일링 기법을 사용하여 점근적 가용성에 대한 필요 및 충분 조건을 수립.
• 직접적 접근법과 고정점(상향식) 접근법을 비교하여 그 관계와 상대적 가용성에 대한 명확한 이해를 제공.
• 고정점 공식화 내에서 해의 장기적 행동과 비유일성에 대한 연구.
• LQ 설정 내에서 평균장 게임 이론의 두 주요 접근법 간 비교를 위한 엄밀한 기초 제공.

제안 방법

• 대규모 인구를 가진 LQ 게임에 대한 점근적 가용성의 개념을 도입하며, 모든 충분히 큰 N에 대해 피드백 내쉬 전략의 존재를 요구한다.
• 고차원의 결합된 리카티 미분방정식계의 본질적 역학을 반영하는 저차원 비대칭 리카티 상미분방정식을 도출하기 위해 새로운 재스케일링 기법을 적용한다.
• 동적 프rogramming을 사용하여 N-플레이어 게임의 결합된 리카티 상미분방정식을 유도하고, 재스케일링을 적용하여 점근적 행동을 추출한다.
• 평균장 근사로부터 유도된 두점경계값문제(TPBV)를 정형화하여 고정점 접근법을 분석한다.
• 두 접근법을 비교하기 위해 점근적 가용성이 고정점 접근법의 가용성을 암시하지만 그 역은 성립하지 않음을 보여준다.
• 비대칭 리카티 상미분방정식의 안정성 및 존재성 분석을 통해 장기적 행동과 해의 유일성에 대해 연구한다.

실험 결과

연구 질문

• RQ1 선형-제곱 평균장 게임에 대한 직접적 접근법에서 점근적 가용성을 보장하는 조건은 무엇인가?
• RQ2 재스케일링 기법은 N-플레이어의 결합된 리카티 시스템의 복잡성을 어떻게 저차원 비대칭 리카티 상미분방정식으로 줄이는가?
• RQ3 직접적 접근법이 점근적으로 가용할 때 고정점 접근법이 가용해지는 조건은 무엇인가?
• RQ4 직접적 접근법이 실패할 경우 고정점 접근법이 해를 제공할 수 있으며, 이 경우 비유일성의 원인은 무엇인가?
• RQ5 점근적 가용성 조건에서 유도된 비대칭 리카티 상미분방정식의 장기적 행동은 어떠한가?

주요 결과

• 재스케일링을 통해 도출된 저차원 비대칭 리카티 상미분방정식의 해가 존재하는지 여부에 따라 점근적 가용성에 대한 필요 및 충분 조건이 도출된다.
• 점근적으로 가용한 시스템의 해는 인구 수 N이 무한대에 가까워질수록 평균장 극한으로 수렴한다.
• 점근적 가용성이 고정점 접근법의 가용성을 암시하지만 그 역은 성립하지 않으며, 이는 두 방법 간의 엄격한 계층관계를 나타낸다.
• 직접적 접근법이 점근적으로 가용할지라도 고정점 접근법에서 비유일성이 발생할 수 있으며, 이는 해의 구조에서의 핵심적 차이를 강조한다.
• 비대칭 리카티 상미분방정식의 장기적 행동은 관련 특성방정식의 고유값을 바탕으로 존재성 및 안정성 조건이 유도된다.
• 재스케일링 기법은 고차원 시스템의 본질적 역학을 성공적으로 포착하였으며, 통계역학 및 평균장 진동자 모델의 차원 감소와 유사하다.