REVIEW 3 major objections 4 minor 42 references
A "trembling hand perfect" equilibrium for a certain class of mean field games
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read A tiny stochastic perturbation added to each player's trajectory selects a unique Nash equilibrium in a class of mean field games with many equilibria, with explicit error estimates.
desk verdict Genuinely interesting non-uniqueness examples and a plausible selection idea, but the main theorem as written rests on a wrong entropy inequality and a tautological equation; the proof needs real repair before the result can be trusted. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the scalar master equation $\partial_t \sigma + \int D_m \sigma(t,m,x) \cdot b(t,\sigma(t,m,x),x)\, dm(x) = 0$ on the Wasserstein space, which the paper obtains from the mean field game and discretizes by restricting to empirical measures. On $(\mathbb{R}^d)^N$ the discretized equation becomes the balance law $\partial_t \sigma_N + \mathrm{div}_x\, \mathbf{B}(t,x,\sigma_N) = \mathrm{div}_x\, B(t,x,\sigma_N)$, where $B$ is the primitive of the optimal velocity field $b$; the 'trembling hand' adds a viscosity term $(\varepsilon_N^2/2) \Delta_x \sigma_N$. Entropy solutions à la Kružkov—the standard weak solutions of conservation laws that respect an entropy inequality—supply the unique vanishing-viscosity selection, and the paper's proof tracks the dependence of the $L^1$ error on the dimension $Nd$ by computing norms of the divergence and Hessian of $B$ in terms of $N$ and $d$. The key estimates are the bound $\|\partial_\sigma \mathrm{div}_x\, B\|_\infty \le L_b N d$ and the BV estimate for the viscous solution, which together drive the Kuznetsov-type doubling-of-variables argument to the stated rate.
What would settle it
Compute the $N=1$ and $N=2$ entropy solutions for the Burgers-type example with $f(\xi)=1$ for $\xi<0$ and $0$ for $\xi\ge 0$, starting from the initial empirical measure $\frac12\delta_a+\frac12\delta_b$ with barycenter in $(0,t)$. If $\sigma_1(t,(a+b)/2)$ differs from $\sigma_2(t,(a,b))$ for any such choice, then no single function on $P_2(\mathbb{R})$ can reproduce all $N$-dimensional entropy solutions, and the uniform vanishing-noise limit of Corollary 3.4 is undefined.
Extended reading notes
Core claim
The paper's central claim is that for a special class of mean field games whose equilibria reduce to a scalar $\sigma$ solving a transport equation on the space of measures, the 'trembling hand' perturbation—where each player follows the optimal feedback plus a small Brownian motion—selects an equilibrium in the vanishing-noise limit. Concretely, Theorem 3.3 states that the $L^1$ distance between the entropy solution $\sigma_N$ of the discretized master equation and the viscous solution $\sigma_{N,\varepsilon}$ satisfies a bound of order $\varepsilon_N (N d)^{7/2} e^{L_b d (2N+1)t}$, times an integral of the initial gradient. Corollary 3.4 upgrades this to a bound that is uniform in $N$, in a seminorm measuring distance over empirical measures, so that the limit as $\varepsilon \to 0$ is well defined as a function on the Wasserstein space. The paper also constructs explicit non-uniqueness examples in which N-player equilibria fail to converge to any mean field equilibrium, justifying the need for a selection principle. The upshot is that the vanishing-noise selection is identified with the unique entropy solution of a finite-dimensional balance law for each N.
Load-bearing premise
For the uniform-in-$N$ limit to define a single function on the space of probability measures, the entropy solutions for different $N$ must agree on overlapping empirical measures; the paper assumes such a consistent global function exists without proving cross-consistency across $N$.
Editorial extensions
If this is right
- For every fixed $N$, the vanishing-noise limit of the trembling-hand solution exists and equals the unique entropy solution of the discretized master equation, with an explicit $L^1$ error bound.
- The same estimate is uniform in $N$ in the empirical-measure seminorm, so the selected equilibrium is defined on all empirical measures simultaneously, conditional on the consistency assumption.
- The paper's examples show that when $\sigma_0$ is discontinuous, N-player games can have equilibria that do not converge to any mean field equilibrium, so the selection principle fills a genuine gap.
- Under the monotonicity assumptions that guarantee a unique classical solution of the master equation, the entropy solution coincides with it, so the selection principle reduces to the classical selection.
Reading between the lines
- If the cross-consistency assumption fails, the uniform-in-$N$ limit may still exist along subsequences or in a weaker topology; testing this could separate the selection principle from its current technical statement.
- The same discretize-to-a-balance-law and vanish-viscosity mechanism could be applied to other mean field games whose master equation is a scalar conservation law, yielding selection principles with explicit rates.
- The exponential-in-$N$ factor in the error bound suggests that numerical resolution of the selected equilibrium becomes exponentially harder as the population grows, an observation that could guide practical algorithms.
- Proposition 2.12's 'factional' equilibria predict that discontinuous $\sigma_0$ allows populations split into subgroups that each anticipate the wrong strategy; a natural test is whether convolving $\sigma_0$ with a small noise destroys these equilibria, consistent with the vanishing-noise selection.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies a class of mean field games introduced in [GM24] in which the equilibrium parameter sigma solves a scalar transport equation on the Wasserstein space of probability measures. It constructs explicit non-uniqueness examples for both the mean field game and the N-player game, including N-player equilibria whose empirical-measure limits are not mean field equilibria. The paper then proposes a 'trembling hand perfect' selection principle obtained by adding a small Brownian perturbation to the discretized empirical-measure dynamics and letting the noise vanish. The main analytic result, Theorem 3.3, is an explicit L1 error estimate between the entropy solution of the discretized transport equation and the viscous (noisy) solution, with the rate depending explicitly on N and d. Corollary 3.4 converts this into an N-uniform estimate on the Wasserstein space, under an assumed compatibility of the N-dimensional entropy solutions with a single function on P2(R^d).
Significance. If the central estimate and the N-uniform limit are correct, the paper makes a substantive contribution: it gives explicit examples where N-player equilibria fail to converge to mean field equilibria, and it proposes a concrete vanishing-noise selection rule with an explicit error rate in terms of the number of players and the spatial dimension. The proof strategy follows the classical Kruzhkov-Kuznetsov doubling-of-variables method, and the careful bookkeeping of the N dependence in Lemmas 4.1 and 4.2 is valuable. However, the entropy formulation as printed is not the Kruzhkov inequality for the equation under consideration, and the compatibility assumption underlying Corollary 3.4 is not verified; both issues are load-bearing for the stated results.
major comments (3)
- [§3.1, Eqs. (3.11)–(3.12)] As printed, (3.11) reads ∂_t σ_N + div_x B(t,x,σ_N) = div_x B(t,x,σ_N), so the two divergence terms cancel and the equation reduces to ∂_t σ_N = 0; it is therefore not equivalent to (3.8). The same cancellation occurs in (3.12). The intended right-hand side must be the explicit-x divergence Σ_j D_{x_j}^{explicit} B(t,x_j,σ_N) (or an equivalent nontrivial expression); without this correction the subsequent entropy formulation is not a formulation of the discretized master equation.
- [§3.1, Eqs. (3.13)–(3.14)] The source term H is not the Kruzhkov source for (3.8). For the balance law ∂_t u + div_x B(t,x,u) = g with g = Σ_j D_{x_j}^{explicit} B(t,x_j,u), the entropy inequality contains sgn(u−k)(g − div_x B(t,x,k)), not sgn(u−k) div_x B(t,x,u). The printed H omits the k-dependent subtraction and, through the full divergence, also includes an extra b·D_x u contribution. This is not cosmetic: for d=N=1, b(t,x,u)=u sin x, σ_N≡0, k=1, and a nonnegative test φ=η(t)χ(x) with η≥0 compactly supported in (0,T) and χ≥0 compactly supported in {cos x>0}, the printed inequality (3.13) reduces to −(1/2)∫η∫cos x χ dx dt ≥ 0, which is false. Since (3.13) and (3.15) are the starting points of the doubling argument leading to (4.22), the proof of Theorem 3.3 as written does not establish the stated L1 estimate; replacing H with the correct term requires revisiting the symmetrization estimates (4.25)–(4.43).
- [Corollary 3.4 and §4.3] Corollary 3.4 assumes the existence of a single measurable function σ on P2(R^d) whose discretizations equal the entropy solutions σ_N for every N, but this compatibility is never proved. Nothing in the N-dimensional construction rules out that two different empirical representations of the same measure (different N or duplicate particles) give different values of σ_N. Without a compatibility statement, the seminorm ∥σ(t,·)−σ_ε(t,·)∥ and the interpretation of a well-defined vanishing-noise selection for empirical measures are undefined. The proof in §4.3 only shows that, conditional on such functions existing, the estimate of Theorem 3.3 becomes N-uniform; the existence and compatibility issue should be addressed directly or stated explicitly as a standing assumption.
minor comments (4)
- [§3, Eq. (3.3)] The displayed definition says σ_{0,N}(x) := (1/N)Σ_{j=1}^N δ_{x_j}, but σ_{0,N} is subsequently used as a scalar in (3.3) and (3.5); the intended definition is σ_{0,N}(x) = σ_0((1/N)Σ_{j=1}^N δ_{x_j}).
- [§3, Eq. (3.5)] The parameter ε_N is introduced but never defined. If the intended scaling is ε_N = ε^N, so that the noise strength decays exponentially in N, this should be stated explicitly.
- [Proposition 2.12, Eq. (2.36)] In the second displayed Wasserstein distance, δ_{x_j} should be δ_{y_j}: the estimate should compare the discrete approximation of μ̃ with the points y_j, not with the already transported points x_j.
- [§4.2, after Eq. (4.31)] The sentence 'for x∈[δ,δ]^{Nd}' should read 'for x∈[−δ,δ]^{Nd}'.
Circularity Check
No circular derivation: the central L1 estimate compares two independently defined PDE solutions; the self-citations are contextual and not load-bearing for Theorem 3.3.
full rationale
The main result, Theorem 3.3, is an L1 error estimate between the entropy solution sigma_N of (3.8) and the classical solution sigma_{N,epsilon} of (3.9). Both objects are defined by independent equations: the entropy solution by Kruzhkov entropy inequalities and the viscous solution by a parabolic initial-value problem. The proof uses the standard Kruzhkov doubling-of-variables argument, Gronwall's inequality, and BV estimates; no parameter is fitted to the target quantity and the estimate is not an identity by construction. The 'vanishing noise selection' identifies the entropy solution as the limit of the viscous solutions, which is a standard external theorem (Kruzhkov) rather than a definition of the entropy solution in terms of the viscous limit. The paper does rely on the author's prior joint work [GM24] for the mean-field-game/master-equation connection and for Lemma 3.2, but Theorem 3.3 does not use Lemma 3.2 and the prior results are not needed to derive the main estimate. Corollary 3.4 assumes, rather than proves, the existence of a single function sigma on P_2(R^d) whose discretizations coincide with the N-dimensional entropy solutions; this is an unproved assumption and a limitation, but it is not a circular definition or a fitted input. The possible gap in the entropy inequality (3.13) flagged by the skeptic is a mathematical correctness concern about the form of the Kruzhkov entropy condition, not a circularity: even if that inequality is wrong, the error estimate would be unproved rather than equivalent to its inputs. Overall, the derivation chain is self-contained against external benchmarks, and the self-citations are minor and not load-bearing.
Assumptions & free parameters
assumptions (7)
- standard math Kružkov entropy solution well-posedness for scalar balance laws in several space dimensions (with source term depending on x,u).
- standard math Classical parabolic existence, uniqueness, and regularity for (3.9)/(3.12).
- standard math Wasserstein calculus facts: differentiability of functions on P_2, push-forward properties, and optimal discretization convergence.
- domain assumption Assumption 2.3: b is bounded, Lipschitz in x, Hölder in t, with D^2_xx B bounded.
- domain assumption Assumption 3.1: σ0 is supported on measures with bounded second moment R.
- domain assumption The optimal control problem (1.1) is uniquely solvable with classical value function v.
- ad hoc to paper Existence of a single measurable function σ on P_2(R^d) whose discretizations equal the entropy solutions for every N.
Cite this review
Pith. "Pith review of A "trembling hand perfect" equilibrium for a certain class of mean field games." pith.science (2026). https://pith.science/paper/S34XSRJV
@misc{pith2026250611868,
author = {Pith},
title = {Pith review of: A "trembling hand perfect" equilibrium for a certain class of mean field games},
year = {2026},
howpublished = {\url{https://pith.science/paper/S34XSRJV}},
note = {Machine review of arXiv:2506.11868}
}
read the original abstract
We study a particular class of mean field games whose solutions can be formally connected to a scalar transport equation on the Wasserstein space of measures. For this class, we construct some interesting explicit examples of non-uniqueness of Nash equilibria. We then address the selection problem of finding rational criteria by which to choose one equilibrium over others. We show that when the theory of entropy solutions is used, we can obtain explicit error estimates for the ``vanishing noise limit,'' where the error is measured in a certain norm that measures the distance between two functions over the set of empirical measures.
Reference graph
Works this paper leans on
-
[1]
Mean Field Games: Cetraro, Italy 2019 , volume 2281
Yves Achdou, Pierre Cardaliaguet, Fran c ois Delarue, Alessio Porretta, and Filippo Santambrogio. Mean Field Games: Cetraro, Italy 2019 , volume 2281. Springer Nature, 2021
2019
-
[2]
On non-uniqueness and uniqueness of solutions in finite-horizon mean field games
Martino Bardi and Markus Fischer. On non-uniqueness and uniqueness of solutions in finite-horizon mean field games. ESAIM: Control, Optimisation and Calculus of Variations , 25:44, 2019
work page 2019
-
[3]
Mean field games and mean field type control theory
Alain Bensoussan, Jens Frehse, and Phillip Yam. Mean field games and mean field type control theory . Springer, 2013
2013
-
[4]
Kruzkov’s estimates for scalar conservation laws revisited
Fran c ois Bouchut and Beno t Perthame. Kruzkov’s estimates for scalar conservation laws revisited. Transactions of the American Mathematical Society , 350(7):2847--2870, 1998
work page 1998
-
[5]
On non-uniqueness in mean field games
Erhan Bayraktar and Xin Zhang. On non-uniqueness in mean field games. Proceedings of the American Mathematical Society , 148(9):4091--4106, 2020
work page 2020
-
[6]
Notes on mean field games
Pierre Cardaliaguet. Notes on mean field games. from P.-L. Lions' lectures at College de France , 2010
2010
-
[7]
Probabilistic Theory of Mean Field Games: vol
R Carmona and F Delarue. Probabilistic Theory of Mean Field Games: vol. I, Mean Field FBSDEs, Control, and Games . Stochastic Analysis and Applications, Springer Verlag , 2017
2017
-
[8]
Probabilistic Theory of Mean Field Games: vol
R Carmona and F Delarue. Probabilistic Theory of Mean Field Games: vol. II, Mean Field Games with Common Noise and Master Equations . Stochastic Analysis and Applications. Springer Verlag , 2017
2017
Show all 42 references
-
[9]
Selection by vanishing common noise for potential finite state mean field games
Alekos Cecchin and Fran c ois Delarue. Selection by vanishing common noise for potential finite state mean field games. Communications in Partial Differential Equations , 47(1):89--168, 2022
2022
-
[10]
Weak solutions to the master equation of potential mean field games
Alekos Cecchin and Fran c ois Delarue. Weak solutions to the master equation of potential mean field games. arXiv preprint arXiv:2204.04315 , 2022
2022 arXiv
-
[11]
Cardaliaguet, F
P. Cardaliaguet, F. Delarue, J.M. Lasry, and P.L. Lions. The Master Equation and the Convergence Problem in Mean Field Games: (AMS-201) . Annals of Mathematics Studies. Princeton University Press, 2019
2019
-
[12]
N-player games and mean-field games with absorption
Luciano Campi and Markus Fischer. N-player games and mean-field games with absorption. The Annals of Applied Probability , 28(4):2188--2242, August 2018
2018
-
[13]
Continuous dependence on the nonlinearities of solutions of degenerate parabolic equations
B Cockburn and G Gripenberg. Continuous dependence on the nonlinearities of solutions of degenerate parabolic equations. Journal of differential equations , 151(2):231--251, 1999
1999
-
[14]
Stationary focusing mean-field games
Marco Cirant. Stationary focusing mean-field games. Communications in Partial Differential Equations , 41(8):1324--1346, 2016
2016
-
[15]
Viscosity solutions of Hamilton-Jacobi equations
Michael G Crandall and Pierre-Louis Lions. Viscosity solutions of Hamilton-Jacobi equations. Transactions of the American Mathematical Society , 277(1):1--42, 1983
1983
-
[16]
Convergence, fluctuations and large deviations for finite state mean field games via the master equation
Alekos Cecchin and Guglielmo Pelino. Convergence, fluctuations and large deviations for finite state mean field games via the master equation. Stochastic Processes and their Applications , 129(11):4510--4555, 2019
2019
-
[17]
An example of multiple mean field limits in ergodic differential games
Pierre Cardaliaguet and Catherine Rainer. An example of multiple mean field limits in ergodic differential games. Nonlinear Differential Equations and Applications NoDEA , 27:25, 2020
2020
-
[18]
Time-dependent focusing mean-field games: the sub-critical case
Marco Cirant and Daniela Tonon. Time-dependent focusing mean-field games: the sub-critical case. Journal of Dynamics and Differential Equations , 31:49--79, 2019
2019
-
[19]
Dafermos
C.M. Dafermos. Hyperbolic conservation laws in continuum physics , volume 325 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, fourth edition, 2016
2016
-
[20]
Restoring uniqueness to mean-field games by randomizing the equilibria
Francois Delarue. Restoring uniqueness to mean-field games by randomizing the equilibria. Stochastics and Partial Differential Equations: Analysis and Computations , 7(4):598--678, 2019
2019
-
[21]
Selection of equilibria in a linear quadratic mean-field game
Fran c ois Delarue and Rinel Foguen Tchuendom. Selection of equilibria in a linear quadratic mean-field game. Stochastic Processes and their Applications , 130(2):1000--1040, 2020
2020
-
[22]
An error estimate for viscous approximate solutions of degenerate parabolic equations
Steinar Evje and Kenneth H Karlsen. An error estimate for viscous approximate solutions of degenerate parabolic equations. Journal of Nonlinear Mathematical Physics , 9(3):262--281, 2002
2002
-
[23]
Mean field games models--a brief survey
Diogo A Gomes et al. Mean field games models--a brief survey. Dynamic Games and Applications , 4(2):110--154, 2014
2014
-
[24]
Jameson Graber and Alp\'ar R
P. Jameson Graber and Alp\'ar R. M\'esz\'aros. On monotonicity conditions for mean field games. Journal of Functional Analysis , 285(9):110095, 2023
2023
-
[25]
Jameson Graber and Alp \'a r R
P. Jameson Graber and Alp \'a r R. M \'e sz \'a ros. On some mean field games and master equations through the lens of conservation laws. Mathematische Annalen , Apr 2024
2024
-
[26]
Jameson Graber
P. Jameson Graber. Remarks on potential mean field games. Research in the Mathematical Sciences , 12(1):13, February 2025
2025
-
[27]
On differentiability in the Wasserstein space and well-posedness for Hamilton–Jacobi equations
Wilfrid Gangbo and Adrian Tudorascu. On differentiability in the Wasserstein space and well-posedness for Hamilton–Jacobi equations . Journal de Math\'ematiques Pures et Appliqu\'ees , 125:119--174, 2019
2019
-
[28]
Large-population cost-coupled LQG problems with nonuniform agents: Individual-mass behavior and decentralized -nash equilibria
Minyi Huang, Peter E Caines, and Roland P Malham \'e . Large-population cost-coupled LQG problems with nonuniform agents: Individual-mass behavior and decentralized -nash equilibria. Automatic Control, IEEE Transactions on , 52(9):1560--1571, 2007
2007
-
[29]
Large population stochastic dynamic games: closed-loop McKean-Vlasov systems and the nash certainty equivalence principle
Minyi Huang, Roland P Malham \'e , and Peter E Caines. Large population stochastic dynamic games: closed-loop McKean-Vlasov systems and the nash certainty equivalence principle. Communications in Information & Systems , 6(3):221--252, 2006
2006
-
[30]
A general theory of equilibrium selection in games
John C Harsanyi and Reinhard Selten. A general theory of equilibrium selection in games. MIT Press Books , 1, 1988
1988
-
[31]
Generalized solutions of nonlinear first order equations with several independent variables
SN Kru z kov. Generalized solutions of nonlinear first order equations with several independent variables. ii. Mathematics of the USSR-Sbornik , 1(1):93, 1967
1967
-
[32]
First order quasilinear equations in several independent variables
Stanislav N Kru z kov. First order quasilinear equations in several independent variables. Mathematics of the USSR-Sbornik , 10(2):217, 1970
1970
-
[33]
Accuracy of some approximate methods for computing the weak solutions of a first-order quasi-linear equation
NN Kuznetsov. Accuracy of some approximate methods for computing the weak solutions of a first-order quasi-linear equation. USSR Computational Mathematics and Mathematical Physics , 16(6):105--119, 1976
1976
-
[34]
A general characterization of the mean field limit for stochastic differential games
Daniel Lacker. A general characterization of the mean field limit for stochastic differential games. Probability Theory and Related Fields , 165(3):581--648, 2016
2016
-
[35]
On the convergence of closed-loop nash equilibria to the mean field game limit
Daniel Lacker. On the convergence of closed-loop nash equilibria to the mean field game limit. The Annals of Applied Probability , 30(4):1693--1761, 2020
2020
-
[36]
Mean field games
Jean-Michel Lasry and Pierre-Louis Lions. Mean field games. Japanese Journal of Mathematics , 2(1):229--260, 2007
2007
-
[37]
Linear and nonlinear transport equations with coordinate-wise increasing velocity fields
Pierre-Louis Lions and Benjamin Seeger. Linear and nonlinear transport equations with coordinate-wise increasing velocity fields. arXiv preprint arXiv:2307.05819 , 2023
2023 arXiv
-
[38]
Ural'ceva
Ol'ga Aleksandrovna Lady z henskaja, Vsevolod Alekseevich Solonnikov, and Nina N. Ural'ceva. Linear and Quasi-linear Equations of Parabolic Type , volume 23 of Translations of mathematical monographs . American Mathematical Society, 1968
1968
-
[39]
Convergence to the mean field game limit: A case study
Marcel Nutz, Jaime San Martin, and Xiaowei Tan. Convergence to the mean field game limit: A case study . The Annals of Applied Probability , 30(1):259 -- 286, 2020
2020
-
[40]
Forward-backward stochastic differential equations and quasilinear parabolic pdes
Etienne Pardoux and Shanjian Tang. Forward-backward stochastic differential equations and quasilinear parabolic pdes. Probability Theory and Related Fields , 114:123--150, 1999
1999
-
[41]
R. Selten. Reexamination of the perfectness concept for equilibrium points in extensive games. International Journal of Game Theory , 4(1):25--55, Mar 1975
1975
-
[42]
Optimal transport: old and new , volume 338
C \'e dric Villani. Optimal transport: old and new , volume 338. Springer Science & Business Media, 2008
2008
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.