무한대 플레이어를 위한 선형 이차 결정론적 나시 게임의 한계 해석

초록

본 논문은 대칭성을 갖는 다수의 플레이어가 참여하는 연속시간 선형‑이차(LQ) 결정론적 무한 horizon 나시 게임을 다룬다. 플레이어 수 M을 무한대로 확대했을 때, 각 플레이어가 사용하는 선형 피드백 전략이 수렴함을 보이고, 그 한계는 모든 다른 플레이어의 평균 행동을 하나의 가상 플레이어로 대체한 2인 게임과 동등함을 증명한다. 핵심은 일반화된 리카티 방정식의 존재와 안정성 조건, 그리고 연산자 역전성을 이용한 암시적 함수 정리 적용에 있다.

상세 분석

이 연구는 대칭 구조를 갖는 LQ 연속시간 게임에서 플레이어 수 M이 커짐에 따라 발생하는 수학적 복잡성을 리카티 방정식과 해밀턴 시스템을 통해 체계적으로 정리한다. 먼저 각 플레이어 i의 상태 x_i와 제어 u_i는 동일 차원 n, m을 가지며, 전체 시스템은 ẋ = A x + B u 형태로 표현된다. 비용 함수는 J_i = ∫₀^∞ (x_iᵀQx_i + u_iᵀRu_i)dt 로 정의되며, Q와 R은 양정(positive‑definite)이다. 대칭성 때문에 모든 플레이어는 동일한 피드백 행렬 L을 사용한다는 가정 하에, M개의 리카티 방정식이 상호 연결된 형태로 도출된다.

핵심 단계는 (5)~(9)에서 각 플레이어가 다른 모든 플레이어의 평균 상태 z = (1/(M‑1))∑{j≠i}x_j 를 도입함으로써, 원래의 다중 상호작용을 단일 평균 변수와의 2인 게임으로 축소하는 것이다. 이 과정에서 전체 시스템의 동적 행렬을 Ā(M)라 두고, 리카티 방정식 K(M)는
Ā(M)ᵀK + K Ā(M) – K B R⁻¹ BᵀK + Q = 0
의 형태를 가진다. 여기서 Ā(M)은 M에 따라 선형적으로 변하므로, K(M)도 연속적인 함수로 전개될 수 있다. 저자는 K(M)을 w = 1/M 로 두고 테일러 급수 K(w)=K₀+K₁w+K₂w²+… 로 전개한 뒤, 각 계수 K_n을 구하기 위해 암시적 함수 정리를 적용한다. 이때 연산자 𝓛₀(K) = ∂R/∂K|{w=0} 가 가역이면, 모든 n에 대해 선형 방정식 𝓛₀(Kₙ)=F_n(K₀,…,K_{n‑1}) 를 풀어 고유한 K_n을 얻을 수 있다.

안정성 조건은 폐루프 행렬 A_cl = Ā – B R⁻¹ BᵀK가 좌반평면에 고유값을 갖는지 여부로 판단한다. 저자는 K₀가 존재하고 𝓛₀ 가 가역이면, 충분히 큰 M에 대해 A_cl이 안정적임을 보이며, 따라서 각 플레이어의 비용이 유한하고 나시 균형이 존재한다는 것을 증명한다.

무한 플레이어 한계에서는 w→0 이므로 K(w)→K₀이며, 이 K₀는 평균 행동을 대표하는 가상 플레이어와의 2인 LQ 게임에서 얻어지는 리카티 해와 동일하다. 따라서 각 실제 플레이어는 “시장 평균”이라는 하나의 가상 상대와 경쟁하게 된다. 이는 기존 평균장(mean‑field) 게임과 구조적으로 유사하지만, 확률적 요소가 없고, 연속적인 행렬 Riccati 방정식의 해석적 전개에 초점을 맞춘 점이 차별점이다.

결과적으로, 논문은 (i) 다중 대칭 LQ 게임의 리카티 방정식이 M에 대해 연속적으로 전개될 수 있음을, (ii) 연산자 가역성 및 암시적 함수 정리를 통해 각 전개 계수를 명시적으로 구할 수 있음을, (iii) 무한 플레이어 한계에서 각 플레이어가 평균 행동을 대표하는 단일 가상 플레이어와의 2인 게임으로 환원된다는 직관적 해석을 제공한다. 이러한 이론적 토대는 대규모 네트워크 제어, 전력 시스템, 교통 흐름 등에서 실용적인 근사 해법을 설계하는 데 활용될 수 있다.