Pith. sign in

REVIEW 2 major objections 2 minor 16 references

Mean field games with nonlinear reserve pricing model liquidity provision in constant-product AMMs.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

T0 review · grok-4.3

2026-05-23 07:28 UTC

load-bearing objection This applies weak MFG to constant-product AMMs by replacing linear impact with nonlinear reserve pricing, claims existence plus numerics, but the regularity conditions for the hyperbolic map are the part that needs explicit verification. the 2 major comments →

arxiv 2412.09180 v4 submitted 2024-12-12 math.OC math.DS

A New Framework for Modelling Liquidity Pools as Mean Field Games

classification math.OC math.DS
keywords mean field gamesliquidity poolsautomated market makersconstant productNash equilibriadecentralized financeprobabilistic formulation
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper applies the probabilistic weak formulation of mean field games to liquidity pools in constant-product automated market makers. It replaces the linear price-impact function of classical models with the AMM's nonlinear pricing determined by the pool reserves. This change yields existence of solutions to the mean field game and existence of approximate Nash equilibria for the finite-player game. The approach supplies a game-theoretic description of strategic choices by liquidity providers. Numerical experiments confirm stability, the epsilon-Nash property, and convergence at propagation-of-chaos rates.

Core claim

By modeling liquidity provision in a constant-product AMM as a mean field game where the price is set by the nonlinear reserve mechanism, the probabilistic weak formulation establishes existence of mean field game solutions and approximate Nash equilibria for the corresponding finite-player game.

What carries the argument

Probabilistic weak formulation of mean field games adapted to the constant-product AMM's nonlinear reserve-based pricing in place of linear price impact.

Load-bearing premise

The probabilistic weak formulation of mean field games remains applicable when the linear price-impact function is replaced by the nonlinear pricing determined by the constant-product reserves.

What would settle it

A demonstration that the mean field game admits no solution under the constant-product reserve pricing, or a numerical counterexample where finite-player games fail to produce approximate Nash equilibria that converge to the mean field limit.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Existence of mean field game solutions follows for the continuum limit of many liquidity providers.
  • Approximate Nash equilibria exist for the finite-player game with any number of participants.
  • The equilibrium structure is stable under perturbations of the cost parameters.
  • Finite-player games converge to the mean field limit at propagation-of-chaos rates.
  • Equilibrium sensitivity to incentive targets can be quantified through the same numerical procedure.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The framework could be tested against observed liquidity flows on existing AMM deployments to check predicted deviation rates.
  • The same replacement of linear impact by nonlinear pricing might apply to other automated market maker curves beyond the constant-product case.
  • Equilibrium conditions derived here could guide the choice of fee structures or reward schedules that steer pool composition.
  • Comparison with order-book models would highlight how the reserve-based mechanism alters strategic incentives relative to classical price impact.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 2 minor

Summary. The paper develops a mean field game framework for strategic liquidity provision in constant-product AMMs by adapting the probabilistic weak formulation of MFGs. It replaces the linear price-impact function of classical order-book models with a nonlinear reserve-based pricing mechanism (p = reserve_y / reserve_x subject to constant product), proves existence of MFG equilibria, and establishes approximate Nash equilibria for the corresponding finite-player game. The theoretical results are complemented by numerical experiments demonstrating stability under perturbations, the ε-Nash property under unilateral deviations, propagation-of-chaos convergence rates, and sensitivity to cost parameters and incentive targets.

Significance. If the existence results are rigorously established despite the nonlinearity, the work supplies a new game-theoretic lens on equilibrium behavior in DeFi liquidity pools and extends the scope of MFG price-impact models. The numerical validation of stability, ε-Nash, and convergence provides concrete evidence of practical applicability and opens avenues for further research in decentralized finance.

major comments (2)
  1. [Existence proof section (likely §3) and MFG formulation] The central existence claims rest on the probabilistic weak formulation, yet the manuscript provides no explicit verification that the nonlinear AMM pricing function satisfies the uniform continuity or Lasry-Lions monotonicity conditions in the measure variable that are required for the standard fixed-point arguments (see the assumptions invoked from the referenced weak-MFG theorems and the definition of the running cost induced by the hyperbolic price map). This verification is load-bearing for both the MFG solution existence and the ε-Nash result for finite players.
  2. [Numerical experiments section] Table or figure reporting numerical convergence rates: the claimed propagation-of-chaos rates are stated but the precise Wasserstein distance or empirical measure used to quantify convergence is not tied back to the theoretical assumptions on the nonlinear cost, leaving open whether the observed rates are consistent with the regularity actually attained by the AMM pricing.
minor comments (2)
  1. [Abstract] The abstract uses inconsistent LaTeX rendering for the epsilon-Nash property; standardize notation throughout.
  2. [Model formulation] Clarify the distinction between individual trader controls and the aggregate measure in the reserve-update equations to avoid ambiguity when the price map is nonlinear.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. The comments identify key areas for strengthening the rigor of the existence proof and the clarity of the numerical analysis. We address each major comment below and will revise the manuscript accordingly.

read point-by-point responses
  1. Referee: [Existence proof section (likely §3) and MFG formulation] The central existence claims rest on the probabilistic weak formulation, yet the manuscript provides no explicit verification that the nonlinear AMM pricing function satisfies the uniform continuity or Lasry-Lions monotonicity conditions in the measure variable that are required for the standard fixed-point arguments (see the assumptions invoked from the referenced weak-MFG theorems and the definition of the running cost induced by the hyperbolic price map). This verification is load-bearing for both the MFG solution existence and the ε-Nash result for finite players.

    Authors: We acknowledge that the manuscript invokes the weak-MFG existence theorems but does not include an explicit verification that the nonlinear hyperbolic pricing map (induced by the constant-product rule) satisfies uniform continuity and Lasry-Lions monotonicity in the measure variable. In the revised version we will insert a dedicated verification subsection in §3. Under the model's bounded-reserve and Lipschitz-cost assumptions, we will show that the running cost induced by p = reserve_y / reserve_x meets the required conditions, thereby justifying the fixed-point argument for MFG existence and the subsequent ε-Nash result for finite-player games. revision: yes

  2. Referee: [Numerical experiments section] Table or figure reporting numerical convergence rates: the claimed propagation-of-chaos rates are stated but the precise Wasserstein distance or empirical measure used to quantify convergence is not tied back to the theoretical assumptions on the nonlinear cost, leaving open whether the observed rates are consistent with the regularity actually attained by the AMM pricing.

    Authors: We agree that the numerical section would benefit from greater precision. The current text states propagation-of-chaos rates without naming the exact Wasserstein distance (e.g., W_2) or empirical measure and without explicitly relating the observed rates to the regularity of the nonlinear AMM cost. In the revision we will add a table (or expanded figure caption) that specifies the metric, reports the empirical rates, and includes a short discussion confirming consistency with the regularity properties established for the hyperbolic pricing function. revision: yes

Circularity Check

0 steps flagged

No significant circularity; application of established MFG theory to AMM domain

full rationale

The paper applies the probabilistic weak formulation of mean field games (an established framework) to liquidity pools in constant-product AMMs, replacing linear price impact with nonlinear reserve-based pricing. It claims existence of MFG solutions and approximate Nash equilibria for the finite-player game as consequences of this extension. No self-definitional steps, fitted inputs renamed as predictions, load-bearing self-citations, or ansatzes smuggled via citation are present in the abstract or description. The derivation relies on external MFG theory applied to the new setting rather than reducing to its own inputs by construction. This is a standard non-circular extension; the central claims have independent content from the referenced weak formulation.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides insufficient detail to identify free parameters, axioms, or invented entities; full text would be required to populate the ledger.

pith-pipeline@v0.9.0 · 5741 in / 1040 out tokens · 29870 ms · 2026-05-23T07:28:05.820631+00:00 · methodology

0 comments
read the original abstract

In this work, we present an application of the probabilistic weak formulation of mean field games (MFG) for modeling liquidity pools in a constant product automated market maker (AMM) protocol in the context of decentralized finance. Our work extends one of the most conventional applications of MFG, which is the price impact model in an order book, by incorporating an AMM instead of a traditional order book. The key structural difference is that in the AMM setting, the price is determined by the pool's reserves through a nonlinear mechanism, replacing the linear price-impact function used in classical models. Through our approach, we establish the existence of solutions to the Mean Field Game and, additionally, the existence of approximate Nash equilibria for the finite-player game. We complement the theoretical results with a comprehensive numerical study that validates the equilibrium structure: stability under perturbations, the $\varepsilon$-Nash property via unilateral deviations, finite-player convergence at propagation-of-chaos rates, and sensitivity to cost parameters and incentive targets. These results offer a new game-theoretic perspective for representing strategic behavior in AMM-based liquidity pools and open promising opportunities for future research in this emerging field.

Figures

Figures reproduced from arXiv: 2412.09180 by Agust\'in Mu\~noz Gonz\'alez, Juan I. Sequeira, Rafael Orive Illera.

Figure 1
Figure 1. Figure 1: Monthly trading volume on DEXs. A DEX is a cryptocurrency exchange platform with decentralized information manage￾ment, based on blockchain technology. In these markets, price formation is carried out through algorithms known as AMMs. AMMs match trading orders and determine asset prices through a mathematical function called the "exchange function." Unlike traditional market-making protocols, such as order… view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

  1. [1]

    On a mean field game approach modeling congestion and aversion in pedestrian crowds

    Lachapelle A. and Wolfram M.T. “On a mean field game approach modeling congestion and aversion in pedestrian crowds”. In:Transp. Res., Part B: Methodol.45 (2011), 1572–1589

  2. [2]

    AnanalysisofUniswapmarkets

    GuillermoAngerisetal.“AnanalysisofUniswapmarkets”.In: Cryptoeconomic Systems Journal (2019)

  3. [3]

    A probabilistic weak formulation of mean field games and applications

    R. Carmona and D. Lacker. “A probabilistic weak formulation of mean field games and applications”. In:The Annals of Applied Probability25.3 (2015), 1189–1231

  4. [4]

    DEX Specs: A Mean Field Approach to DeFi Currency Exchanges

    E. Bayraktar A. Cohen and A. Nellis. “DEX Specs: A Mean Field Approach to DeFi Currency Exchanges”. In:arXiv preprint arXiv:2404.09090v1(2024)

  5. [5]

    SoK: Decentralized Exchanges (DEX) with Automated Market Maker (AMM) Protocols

    J. Xu K. Paruch S. Cousaert and Y. Feng. “SoK: Decentralized Exchanges (DEX) with Automated Market Maker (AMM) Protocols”. In:ACM Computing Surveys 55.238 (2023), 1–50

  6. [6]

    A Mean-Field Game Approach to Price Formation

    D.A. Gomes and J. Saúde. “A Mean-Field Game Approach to Price Formation”. In: Dynamic Games and Applications11 (2021), 29–53

  7. [7]

    Extended deterministic mean-field games

    D.A. Gomes and V. Voskanyan. “Extended deterministic mean-field games”. In:SIAM Journal on Control and Optimization54.2 (2016), 1030–1055

  8. [8]

    Variational mean field games for market competition

    P.J. Graber and C. Mouzouni. “Variational mean field games for market competition”. In: ESAIM: Control, Optimisation and Calculus of Variations26 (2020), 11

  9. [9]

    Mean-Field Liquidation Games with Market Drop- out

    G. Fu P.P. Hager and U. Horst. “Mean-Field Liquidation Games with Market Drop- out”. In:Mathematical Finance(2023), 1–44. 26

  10. [10]

    Large population stochastic dynamic games: Closed-loop McKean–Vlasov systems and the Nash certainty equivalence prin- ciple

    Malhamé R. P. Huang M. and Caines P. E. “Large population stochastic dynamic games: Closed-loop McKean–Vlasov systems and the Nash certainty equivalence prin- ciple”. In:Commun. Inf. Syst.6 (2006), 221–251

  11. [11]

    Mean field games

    Lasry J.M. and Lions P.L. “Mean field games”. In:Jpn. J. Math2 (2007), 229–260

  12. [12]

    Efficiency of the price for- mation process in presence of high frequency participants: a mean field game analysis

    A. Lachapelle J.-M. Lasry C.-A. Lehalle and P.-L. Lions. “Efficiency of the price for- mation process in presence of high frequency participants: a mean field game analysis”. In: Mathematics and Financial Economics10.3 (2016), 223–262

  13. [13]

    Meanfieldgamesandapplications

    LasryJ.M.LionsP.L.andGuéantO.“Meanfieldgamesandapplications”.In: Paris–Princeton Lectures on Mathematical Finance 2010. Lecture Notes in Math2003 (2011), 205–266

  14. [14]

    Automated market maker and decentralized exchanges: a DeFi primer

    V. Mohan. “Automated market maker and decentralized exchanges: a DeFi primer”. In: Financ Innov 8.20 (2022)

  15. [15]

    On the existence of classical solutions for stationary extended mean field games

    D.A. Gomes S. Patrizi and V. Voskanyan. “On the existence of classical solutions for stationary extended mean field games”. In:Nonlinear Analysis: Theory, Methods & Applications 99 (2014), 49–79

  16. [16]

    Liquidity Pool Design on Automated Market Makers

    X.D. He C. Yang and Y. Zhou. “Liquidity Pool Design on Automated Market Makers”. In: SSRN Electronic Journal(2024). 27