🤖 AI Summary
Solving Nash equilibria in high-dimensional mean-field games (MFGs) remains challenging due to the curse of dimensionality and the difficulty of accurate density estimation. To address this, we propose a simulation-free deep flow matching method that directly aligns Lagrangian particle trajectories with Eulerian velocity fields, bypassing explicit density modeling. This work introduces flow matching to MFGs for the first time, rigorously establishing equivalence between Lagrangian and Eulerian formulations and ensuring iterative convergence. Our framework integrates optimal control principles, proximal fixed-point iteration, and first-order neural network optimization. Experiments demonstrate substantial improvements in both efficiency and accuracy on non-potential MFGs and high-dimensional optimal transport tasks. The approach combines theoretical soundness—guaranteeing well-posedness and convergence—with computational scalability, enabling tractable equilibrium computation in previously infeasible high-dimensional regimes.
📝 Abstract
Mean-field games (MFGs) study the Nash equilibrium of systems with a continuum of interacting agents, which can be formulated as the fixed-point of optimal control problems. They provide a unified framework for a variety of applications, including optimal transport (OT) and generative models. Despite their broad applicability, solving high-dimensional MFGs remains a significant challenge due to fundamental computational and analytical obstacles. In this work, we propose a particle-based deep Flow Matching (FM) method to tackle high-dimensional MFG computation. In each iteration of our proximal fixed-point scheme, particles are updated using first-order information, and a flow neural network is trained to match the velocity of the sample trajectories in a simulation-free manner. Theoretically, in the optimal control setting, we prove that our scheme converges to a stationary point sublinearly, and upgrade to linear (exponential) convergence under additional convexity assumptions. Our proof uses FM to induce an Eulerian coordinate (density-based) from a Lagrangian one (particle-based), and this also leads to certain equivalence results between the two formulations for MFGs when the Eulerian solution is sufficiently regular. Our method demonstrates promising performance on non-potential MFGs and high-dimensional OT problems cast as MFGs through a relaxed terminal-cost formulation.