GTLGNov 6, 2024

On the Decomposition of Differential Game

arXiv:2411.03802v1h-index: 4
Originality Incremental advance
AI Analysis

This work addresses a theoretical gap in game theory by decomposing differential games, which is incremental as it builds on prior methods like Helmholtz's theorem but adapts them to non-compact spaces.

The paper tackles the decomposition of differential games to understand learning dynamics, providing two decompositions into potential and non-strategic parts, and shows that scalar potential games align with existing potential games where gradient descent finds Nash equilibria, while vector potential games have divergence-free gradient fields leading to divergent or recurrent dynamics.

To understand the complexity of the dynamic of learning in differential games, we decompose the game into components where the dynamic is well understood. One of the possible tools is Helmholtz's theorem, which can decompose a vector field into a potential and a harmonic component. This has been shown to be effective in finite and normal-form games. However, applying Helmholtz's theorem by connecting it with the Hodge theorem on $\mathbb{R}^n$ (which is the strategy space of differential game) is non-trivial due to the non-compactness of $\mathbb{R}^n$. Bridging the dynamic-strategic disconnect through Hodge/Helmoltz's theorem in differential games is then left as an open problem \cite{letcher2019differentiable}. In this work, we provide two decompositions of differential games to answer this question: the first as an exact scalar potential part, a near vector potential part, and a non-strategic part; the second as a near scalar potential part, an exact vector potential part, and a non-strategic part. We show that scalar potential games coincide with potential games proposed by \cite{monderer1996potential}, where the gradient descent dynamic can successfully find the Nash equilibrium. For the vector potential game, we show that the individual gradient field is divergence-free, in which case the gradient descent dynamic may either be divergent or recurrent.

Foundations

The foundational work for this paper's niche, ranked by how specifically the neighbourhood builds on it — not by global fame.

Your Notes