Searcharxiv⌕ Search

arXiv subjects

Alpár R. Mészáros

Publications and source records attributed to Alpár R. Mészáros.

At least 19 recordsLinked to original sources

Convergence analysis of controlled particle systems arising in deep learning: from finite to infinite sample size

This paper deals with a class of neural SDEs and studies the limiting behavior of the associated sampled optimal control problems as the sample size grows to infinity. The neural SDEs with $N$ samples can be linked to the $N$-particle systems with centralized control. We analyze the Hamilton--Jacobi--Bellman equation corresponding to the $N$-particle system and establish regularity results which are uniform in $N$. The uniform regularity estimates are obtained by the stochastic maximum principle and the analysis of a backward stochastic Riccati equation. Using these uniform regularity results, we show the convergence of the minima of the objective functionals and optimal parameters of the neural SDEs as the sample size $N$ tends to infinity. The limiting objects can be identified with suitable functions defined on the Wasserstein space of Borel probability measures. Furthermore, quantitative convergence rates are also obtained.

math.OC↗

On the equivalence between static and dynamic optimal transport governed by linear control systems

In this paper we revisit a class of optimal transport problems associated to non-autonomous linear control systems. Building on properties of the cost functions on $\mathbb{R}^{d}\times\mathbb{R}^{d}$ derived from suitable variational problems, we show the equivalence between the static and dynamic versions of the corresponding transport problems. Our analysis is constructive in nature and relies on functional analytic properties of the end-point map and the fine properties of the optimal control functions. These lead to some new quantitative estimates which play a crucial role in our investigation.

math.OC↗

Numerical analysis of first-order mean field games under displacement monotonicity

We introduce a particle method for the numerical approximation of time-dependent first-order Mean Field Games (MFGs) systems with non-separable, displacement monotone Hamiltonians and terminal costs, for arbitrary time-horizons and (possibly) singular initial player distributions in $\mathcal{P}_2(\mathbb{R}^d)$. The numerical scheme is based on an implicit Euler discretization in time and sampling in space of the characteristic Hamiltonian/Pontryagin system associated with the continuous MFGs system. We prove convergence of the approximations of the player distribution in the $L^{\infty}(\mathcal{W}_2)$-metric and the approximations for the gradient of the value function along optimal trajectories in the $L^{\infty}{(L^2)}$-norm as the number of spatial samples tends to infinity jointly with the temporal time-step vanishing. The error bound that we establish for this convergence further implies rates of convergence of the scheme for a range of spatial sampling techniques. Provided that the Lagrangian and terminal costs are additionally locally Lipschitz continuous, we also establish an asymptotic error bound in the $L^{\infty}(L^1)$-norm for the approximations of the value function along optimal trajectories. This is the first work in the literature on rigorous numerical approximation and analysis of first-order MFG systems that handles non-separable Hamiltonians and potentially singular initial agent distributions for arbitrary long time horizons. We illustrate the performance of the scheme in numerical experiments for a range of initial agent distributions, time horizons and space dimensions.

math.NA↗

Hölder continuity for non-coercive Hamilton-Jacobi equations associated to linear control systems

In this paper we establish Hölder continuity estimates for viscosity solutions to first order Hamilton-Jacobi equations linked to linear control systems satisfying the Kalman rank condition. Our model Hamiltonians are non-convex in the generalised momentum variable and - more importantly - they lack coercivity in certain directions. Therefore, all previously available results from the literature cannot be applied to these degenerate settings. In order to overcome these obstructions, we design a geometric argument, dictated by the linear control system. As a result of this, the obtained Hölder estimates are quantified in an anisotropic way within this geometric framework. The estimates hold true for unbounded source terms, for which one part of our analysis is inspired by a recent result on De Giorgi type methods for hypoelliptic operators.

math.AP↗

Distributed Equilibria for $N$-Player Differential Games with Interaction through Controls: Existence, Uniqueness and Large $N$ Limit

We establish the existence and uniqueness of distributed equilibria to possibly nonsymmetric $N$ player differential games with interactions through controls under displacement semimonotonicity assumptions. Surprisingly, the nonseparable framework of the running cost combined with the character of distributed equilibria leads to a set of consistency relations different in nature from the ones for open and closed loop equilibria investigated in a recent work of Jackson and the second author. In the symmetric setting, we establish quantitative convergence results for the $N$ player games toward the corresponding Mean Field Games of Controls (MFGC), when $N\to+\infty$. Our approach applies to both idiosyncratic noise driven models and fully deterministic frameworks. In particular, for deterministic models distributed equilibria correspond to open loop equilibria, and our work seems to be the first in the literature to provide existence and uniqueness of these equilibria and prove the large $N$ convergence in the MFGC setting. The sharpness of the imposed assumptions is discussed via a set of explicitly computable examples in the linear quadratic setting.

math.AP↗

Existence Theory for a Cross-Diffusion System with Independent Drifts: Mixing Dynamics

We consider a cross-diffusion system for which the diffusion of each species is governed solely by the aggregate density through a pressure law of logarithmic or fast diffusion type. The model is set over a one dimensional bounded interval, equipped with no-flux boundary conditions, and accommodates for the presence of potential drifts which are allowed to differ across each species. We establish the global existence of solutions without having to assume the total mixing of solutions. As a consequence, we give a full resolution of the PDE systems recently studied by the authors and by Elbar--Santambrogio, by allowing a general class of initial data with finite bounded variation, with no further structural assumptions on their supports.

math.AP↗

Unconditional well-posedness of the master equation for monotone mean field games of controls

We establish the first unconditional well-posedness result for the master equation associated with a general class of mean field games of controls. Our analysis covers games with displacement monotone or Lasry--Lions monotone data, as well as those with a small time horizon. By unconditional, we mean that all assumptions are imposed solely at the level of the Lagrangian and the terminal cost. In particular, we do not require any a priori regularity or structural assumptions on the additional fixed-point mappings arising from the control interactions; instead we show that these fixed-point mappings are well-behaved as a consequence of the regularity and the monotonicity of the data. Our approach is bottom-up in nature, unlike most previous results which rely on a generalized method of characteristics. In particular, we build a classical solution of the master equation by showing that the solutions of the corresponding $N$-player Nash systems are compact, in an appropriate sense, and that their subsequential limit points must be solutions to the master equation. Compactness is obtained via uniform-in-$N$ decay estimates for derivatives of the $N$-player value functions. The underlying games are driven by non-degenerate idiosyncratic Brownian noise, and our results allow for the presence of common noise with constant intensity.

math.AP↗

Long Time Behavior and Stabilization for Displacement Monotone Mean Field Games

This paper is devoted to the study of the long time behavior of Nash equilibria in Mean Field Games within the framework of displacement monotonicity. We first show that any two equilibria defined on the time horizon $[0,T]$ must be close as $T \to \infty$, in a suitable sense, independently of initial/terminal conditions. The way this stability property is made quantitative involves the $L^2$ distance between solutions of the associated Pontryagin system of FBSDEs that characterizes the equilibria. Therefore, this implies in particular the stability in the 2-Wasserstein distance for the two flows of probability measures describing the agent population density and the $L^2$ distance between the co-states of agents, that are related to the optimal feedback controls. We then prove that the value function of a typical agent converges as $T \to \infty$, and we describe this limit via an infinite horizon MFG system, involving an ergodic constant. All of our convergence results hold true in a unified way for deterministic and idiosyncratic noise driven Mean Field Games, in the case of strongly displacement monotone non-separable Hamiltonians. All these are quantitative at exponential rates.

math.OC↗

Improved convergence rates for the Hele-Shaw limit in the presence of confining potentials

Nowadays a vast literature is available on the Hele-Shaw or incompressible limit for nonlinear degenerate diffusion equations. This problem has attracted a lot of attention due to its applications to tissue growth and crowd motion modelling as it constitutes a way to link soft congestion (or compressible) models to hard congestion (or incompressible) descriptions. In this paper, we address the question of estimating the rate of this asymptotics in the presence of external drifts. In particular, we provide improved results in the 2-Wasserstein distance which are global in time thanks to the contractivity property that holds for strictly convex potentials.

math.AP↗

Hidden monotonicity and canonical transformations for mean field games and master equations

In this paper we unveil novel monotonicity conditions applicable for Mean Field Games through the exploration of finite dimensional $canonical\ transformations$. Our findings contribute to establishing new global well-posedness results for the associated master equations, also in the case of potentially degenerate idiosyncratic noise. Additionally, we show that recent advancements in global well-posedness results, specifically those related to displacement semi-monotone and anti-monotone data, can be easily obtained as a consequence of our main results.

math.AP↗

Quantitative convergence for displacement monotone Mean Field Games of control

In this paper we establish quantitative convergence results for both open and closed-loop Nash equilibria of N-player stochastic differential games in the setting of Mean Field Games of Controls (MFGC), a class of models where interactions among agents occur through both states and controls. Our analysis covers a general class of non-separable Hamiltonians satisfying a displacement monotonicity condition, along with mild regularity and growth conditions at infinity. A major novelty of our work is the rigorous treatment of a nontrivial fixed-point problem on a space of measures, which arises naturally in the MFGC formulation. Unlike prior works that either restrict to separable Hamiltonians - rendering the fixed-point map trivial - or assume convergence or regularity properties of the fixed point map, we develop a detailed structural analysis of this equation and its N-player analogue. This leads to new regularity results for the fixed-point maps and, in turn, to quantitative convergence of open-loop equilibria. We further derive sharp a priori estimates for the N-player Nash system, enabling us to control the discrepancy between open and closed-loop strategies, and thus to conclude the convergence of closed-loop equilibria. Our framework also accommodates common noise in a natural way.

math.PR↗

On a Cross-Diffusion System with Independent Drifts and no Self-Diffusion: The Existence of Totally Mixed Solutions

We establish the global existence of weak solutions for a two-species cross-diffusion system, set on the 1-dimensional flat torus, in which the evolution of each species is governed by two mechanisms. The first of these is a diffusion which acts only on the sum of the species with a logarithmic pressure law, and the second of these is a drift term, which can differ between the two species. Our main results hold under a total mixing assumption on the initial data. This assumption, which allows the presence of vacuum, requires specific regularity properties for the ratio of the initial densities of the two species. Moreover, these regularity properties are shown to be propagated over time. In proving the main existence result, we also establish the spatial BV regularity of solutions. In addition, our main results naturally extend to similar systems involving reaction terms.

math.AP↗

Global Well-Posedness of Displacement Monotone Degenerate Mean Field Games Master Equations

In this paper we construct global in time classical solutions to mean field games master equations in the lack of idiosyncratic noise in the individual agents' dynamics. These include both deterministic models and dynamics driven solely by a Brownian common noise. We consider a general class of non-separable Hamiltonians and final data functions that are supposed to be displacement monotone. Our main results unify and generalize in particular some of the well-posedness results on displacement monotone master equations obtained recently by Gangbo--Mészáros and Gangbo--Mészáros--Mou--Zhang.

math.AP↗

On Some Mean Field Games and Master Equations through the lens of conservation laws

In this manuscript we derive a new nonlinear transport equation written on the space of probability measures that allows to study a class of deterministic mean field games and master equations, where the interaction of the agents happens only at the terminal time. The point of view via this transport equation has two important consequences. First, this equation reveals a new monotonicity condition that is sufficient both for the uniqueness of MFG Nash equilibria and for the global in time well-posedness of master equations. Interestingly, this condition is in general in dichotomy with both the Lasry--Lions and displacement monotonicity conditions, studied so far in the literature. Second, in the absence of monotonicity, the conservative form of the transport equation can be used to define weak entropy solutions to the master equation. We construct several concrete examples to demonstrate that MFG Nash equilibria, whether or not they actually exist, may not be selected by the entropy solutions of the master equation.

math.AP↗

Kinetic-type Mean Field Games with Non-separable Local Hamiltonians

We prove well-posedness of a class of kinetic-type Mean Field Games, which typically arise when agents control their acceleration. Such systems include independent variables representing the spatial position as well as velocity. We consider non-separable Hamiltonians without any structural conditions, which depend locally on the density variable. Our analysis is based on two main ingredients: an energy method for the forward-backward system in Sobolev spaces, on the one hand and on a suitable vector field method to control derivatives with respect to the velocity variable, on the other hand. The careful combination of these two techniques reveals interesting phenomena applicable for Mean Field Games involving general classes of drift-diffusion operators and nonlinearities. While many prior existence theories for general Mean Field Games systems take the final datum function to be smoothing, we can allow this function to be non-smoothing, i.e. also depending locally on the final measure. Our well-posedness results hold under an appropriate smallness condition, assumed jointly on the data.

math.AP↗

Mean Field Games systems under displacement monotonicity

In this note we prove the uniqueness of solutions to a class of Mean Field Games systems subject to possibly degenerate individual noise. Our results hold true for arbitrary long time horizons and for general non-separable Hamiltonians that satisfy a so-called $displacement\ monotonicity$ condition. This monotonicity condition that we propose for non-separable Hamiltonians is sharper and more general than the one proposed in our earlier work written jointly with Gangbo and Zhang. The displacement monotonicity assumptions imposed on the data provide actually not only uniqueness, but also the existence and regularity of the solutions. Our analysis uses elementary arguments and does not rely on the well-posedness of the corresponding master equations.

math.AP↗

On monotonicity conditions for Mean Field Games

In this paper we propose two new monotonicity conditions that could serve as sufficient conditions for uniqueness of Nash equilibria in mean field games. In this study we aim for $unconditional\ uniqueness$ that is independent of the length of the time horizon, the regularity of the starting distribution of the agents, or the regularization effect of a non-degenerate idiosyncratic noise. Through a rich class of simple examples we show that these new conditions are not only in dichotomy with each other, but also with the two widely studied monotonicity conditions in the literature, the Lasry-Lions monotonicity and displacement monotonicity conditions.

math.AP↗