[논문 리뷰] Displacement convexity for first-order mean-field games

Diogo A. Gomes, Tommaso Seneci|arXiv (Cornell University)|2018. 07. 18.

Point processes and geometric inequalities인용 수 4

한 줄 요약

이 논문은 최적 운반 기법을 확장하여 일阶 평균장 게임(MFGs)에 대한 이동 볼록성을 확립하며, 특정 조건 하에서 밀도의 $L^q$ 노름이 시간에 대해 볼록 임을 증명한다. 새로운 사전 추정치를 유도하여, 혼잡이 존재하는 상황에서도 $L^q$ 노름의 로그-볼록성과 해에 대한 균일한 $L^\infty$ 유계를 확보한 새로운 볼록성 프레임워크를 MFG 계획 문제에 적용하였다.

ABSTRACT

Here, we consider the planning problem for first-order mean-field games (MFG). When there is no coupling between players, MFG degenerate into optimal transport problems. Displacement convexity is a fundamental tool in optimal transport that often reveals hidden convexity of functionals and, thus, has numerous applications in the calculus of variations. We explore the similarities between the Benamou-Brenier formulation of optimal transport and MFG to extend displacement convexity methods from to MFG. In particular, we identify a class of functions, that depend on solutions of MFG, that are convex in time and, thus, obtain new a priori bounds for solutions of MFG. A remarkable consequence is the log-convexity of $L^q$ norms. This convexity gives bounds for the density of solutions of the planning problem and extends displacement convexity of $L^q$ norms from optimal transport. Additionally, we prove the convexity of $L^q$ norms for MFG with congestion.

연구 동기 및 목표

• 최적 운반에서의 이동 볼록성 방법을 일阶 평균장 게임(MFGs)으로 확장하고, 특히 계획 문제에 적용한다.
• MFG 해에 의존하는 함수류 중 시간에 대해 볼록인 것을 식별하여 새로운 사전 추정치를 가능하게 한다.
• 일阶 MFG에서 $L^q$ 노름의 로그-볼凸성을 확립하여 최적 운반에서의 핵심 성질을 일반화한다.
• 혼잡 상황에서 $L^q$ 노름이 볼록일 조건을 식별함으로써, MFG 해에 대한 균일한 $L^\infty$ 유계를 증명한다.

제안 방법

• 시간에 따라 매개변수화된 밀도 경로 $\rho^t$ 를 사용하여 최적 운반의 Benamou-Brenier 공식을 MFG 설정에 적응시킨다.
• MFG 궤적을 따라 $\int U(m(x,t))\,dx$ 의 이阶 시간 도함수를 유도하여 볼록성 분석을 수행한다.
• 해밀토니안-자코비 및 연속성 방정식의 비선형성을 제어하기 위해 매개변수 $\alpha$ 와 $\beta$ 를 사용한 가중치 볼록성 프레임워크를 적용한다.
• 행렬 추적 부등식과 곡률 유사 추정치를 사용하여 이阶 도함수의 음이 아닌 성질을 확보함으로써 볼록성을 보장한다.
• 큰 $q$ 에 대해 이阶 도함수가 음이 아닐 수 있도록 $\alpha$ 와 $\beta$ 에 조건을 도입하여 $L^q$ 노름의 볼록성을 이끌어낸다.
• 유도된 볼록성을 활용하여 밀도 $m(x,t)$ 에 대한 균일한 $L^\infty$ 유계를 확보한다. 이는 시간에 독립적이다.

실험 결과

연구 질문

• RQ1 최적 운반에서의 이동 볼록성은 일阶 평균장 게임으로 확장될 수 있는가?
• RQ2 언제 $L^q$ 노름이 MFG 밀도의 시간에 대해 볼록해지는가?
• RQ3 비영인 상호작용 항이 존재하는 MFG 설정에서 최적 운반에서의 $L^q$ 노름의 로그-볼凸성은 유지되는가?
• RQ4 혼잡 상황에서 볼록성 기반 추정치를 사용하여 밀도에 대한 균일한 $L^\infty$ 유계를 도출할 수 있는가?
• RQ5 큰 $q$ 에서 혼잡 MFG의 경우 $L^q$ 노름의 볼록성을 보장하기 위한 $\alpha$ 와 $\beta$ 의 매개변수 제약 조건은 무엇인가?

주요 결과

• 적절한 $\alpha$ 와 $\beta$ 의 조건 하에서, 큰 $q$ 에 대해 MFG 밀도 $m(x,t)$ 의 $L^q$ 노름은 시간에 대해 볼록이다.
• 일阶 MFG에서 $L^q$ 노름의 로그-볼凸성이 확립되어 최적 운반에서의 핵심 성질이 일반화되었다.
• 혼잡 MFG의 경우, $\beta \geq 2$ 이고 $\alpha < \frac{2}{\beta-1}$ 이거나, $1 < \beta < 2$ 이고 $\alpha < 2$ 라면 큰 $q$ 에 대해 $L^q$ 노름은 시간에 대해 여전히 볼록하다.
• 밀도에 대한 균일한 $L^\infty$ 유계를 확보하였다: $\|m(\cdot,t)\|_{L^\infty} \leq \max\{\|m^0\|_{L^\infty}, \|m^T\|_{L^\infty}\}$, 이는 모든 $t \in [0,T]$ 에 대해 유효하다.
• 차원 $d=1$ 에서는 $\alpha = \frac{2}{\beta-1}$ 이나 $\alpha = 2$ 인 경우에도 이 유계가 성립한다. 이는 $1/d$ 보정 항이 존재하지 않기 때문이다.
• 이중 도함수의 음이 아닌 성질을 보장하기 위해 새로운 행렬 추적 부등식을 사용하여 곡률 항을 제어함으로써 증명이 이루어졌다.