Pith. sign in

REVIEW 3 minor 1 cited by

The value function of a mean field control problem in the Wasserstein space converges uniformly to a limiting Hamilton-Jacobi equation at rate O(√ε).

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 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-06-26 11:48 UTC pith:SPKZRSLN

load-bearing objection This paper gives the first quantitative rates for homogenization of convex HJ equations on Wasserstein space, with O(√ε) in general and sharp O(ε) when the Hamiltonian ignores slow variables.

arxiv 2606.22103 v1 pith:SPKZRSLN submitted 2026-06-20 math.AP

Quantitative homogenization of convex Hamilton-Jacobi equations in the Wasserstein space

Zhiyan Ding , Ibrahim Ekren , Yuxi Han , Antonios Zitridis This is my paper
classification math.AP
keywords homogenizationHamilton-Jacobi equationWasserstein spacemean-field controlquantitative ratescell problemeffective Hamiltonianoptimal transport
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 examines homogenization for first-order Hamilton-Jacobi equations with convex Hamiltonians that depend on both slow and fast scales in the Wasserstein space. It establishes that the solution U^ε converges uniformly as ε approaches zero to the solution of an effective equation whose Hamiltonian is recovered from a cell problem. Under general multiscale assumptions the rate is O(√ε), while a sharper O(ε) rate holds when the Hamiltonian depends only on the fast variable and momentum. A sympathetic reader cares because the result supplies the first explicit error bounds for such problems in an infinite-dimensional setting that arises in mean-field control and optimal transport.

Core claim

The solution U^ε, defined as the value function of a mean field control problem, converges uniformly as ε → 0 to the solution of a limiting Hamilton-Jacobi equation whose Hamiltonian is obtained through a suitable cell problem. Under general assumptions on the multiscale dependence the convergence rate is O(√ε). When the Hamiltonian depends only on the fast variable and the momentum the sharp rate O(ε) is obtained. The analysis further extends to dynamic optimal transport problems in which the terminal condition constrains the final distribution.

What carries the argument

the cell problem that produces the effective Hamiltonian from the multiscale convex dependence

Load-bearing premise

The Hamiltonian is convex and the multiscale dependence permits a cell problem that yields a well-defined effective Hamiltonian.

What would settle it

A numerical example of a convex multiscale Hamiltonian in which the observed difference between U^ε and the limiting solution fails to decay at rate O(√ε).

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

If this is right

  • The limiting equation supplies a macroscopic description of the mean-field control problem that no longer resolves the fast scale ε.
  • The explicit rates give concrete error bounds when the homogenized model is used in place of the original multiscale problem.
  • The same cell-problem construction applies when terminal conditions impose constraints on the final probability distribution.
  • The O(ε) rate in the special case shows that the precise variable dependence controls the scaling of the approximation error.

Where Pith is reading between the lines

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

  • The same quantitative approach may apply to homogenization problems posed on other spaces of measures equipped with different metrics.
  • The distinction between O(√ε) and O(ε) rates suggests that the dependence structure on fast and slow variables can be probed first in finite-dimensional model problems before moving to the Wasserstein setting.
  • Relaxing convexity would likely prevent the cell problem from producing a unique effective Hamiltonian and could change the form of the limit.

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

0 major / 3 minor

Summary. The manuscript establishes quantitative homogenization for convex first-order Hamilton-Jacobi equations in the Wasserstein space. The solution U^ε, interpreted as the value function of a mean-field control problem, converges uniformly as ε→0 to the solution of an effective Hamilton-Jacobi equation whose Hamiltonian is obtained from a cell problem. Under general multiscale assumptions the rate is O(√ε); when the Hamiltonian depends only on the fast variable and momentum the sharp rate O(ε) is obtained. The analysis extends to dynamic optimal transport problems with a terminal distribution constraint. The result is presented as the first quantitative convergence statement that recovers the optimal finite-dimensional rates in the Wasserstein setting.

Significance. If the proofs hold, the work supplies the first quantitative rates for homogenization of convex HJ equations on the Wasserstein space, directly extending the known sharp rates from finite dimensions. The convexity assumption together with the mean-field control formulation permits a standard cell-problem approach that is parameter-free and yields explicit rates; the extension to dynamic optimal transport with terminal constraints is a natural and useful addition. These features make the contribution technically solid and relevant to mean-field games and control.

minor comments (3)
  1. [Introduction and §3] The precise statement of the multiscale dependence assumptions (e.g., periodicity or ergodicity conditions on the fast variable) should be collected in a single numbered assumption block early in the paper rather than scattered across the introduction and the cell-problem section.
  2. [§2] Notation for the Wasserstein distance and the associated tangent space is introduced without a dedicated preliminary subsection; adding a short §2.1 with the standard definitions would improve readability for readers outside optimal transport.
  3. [§4] The proof of the O(ε) rate in the special case (Theorem 4.3 or equivalent) relies on a comparison argument that is only sketched; a self-contained paragraph spelling out the key estimate would help verify the sharpness claim.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments are listed in the report, so we have no individual points requiring point-by-point rebuttal or revision at this stage.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation relies on a standard cell problem to obtain the effective Hamiltonian from the original convex Hamiltonian under multiscale assumptions, followed by a separate proof of uniform convergence of the value function U^ε to the homogenized solution with explicit rates O(√ε) or O(ε). This structure is self-contained: the cell problem is solved independently to define the limit equation, and the convergence analysis uses the mean-field control interpretation plus convexity without any parameter fitting, renaming of known results, or load-bearing self-citations that reduce the central claim to its inputs. The extension from finite dimensions is achieved through the Wasserstein-space formulation rather than by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard convexity assumptions in HJ theory and the well-posedness of the cell problem, which are not further detailed in the abstract.

axioms (2)
  • domain assumption The Hamiltonian is convex.
    Required for the homogenization to hold as stated in the abstract.
  • domain assumption The problem has multiscale dependence allowing the cell problem to be solved.
    Mentioned for the general O(sqrt(epsilon)) rate.

pith-pipeline@v0.9.1-grok · 5700 in / 1237 out tokens · 23505 ms · 2026-06-26T11:48:33.379882+00:00 · methodology

0 comments
read the original abstract

We study a homogenization problem for first-order Hamilton-Jacobi equations in the Wasserstein space with a convex Hamiltonian. We show that the solution $U^\varepsilon$, which is the value function of a mean field control problem, converges uniformly as $\varepsilon \to 0$ to the solution of a limiting Hamilton-Jacobi equation whose Hamiltonian is obtained through a suitable cell problem. Furthermore, we establish quantitative rates of convergence. Under general assumptions with multiscale dependence, we prove that the rate of convergence is $O(\sqrt{\varepsilon})$. When the Hamiltonian depends only on the fast variable and the momentum, we establish the sharp convergence rate $O(\varepsilon)$. To the best of our knowledge, this is the first quantitative convergence result extending the optimal rate for first-order Hamilton-Jacobi equations in finite dimensions to the Wasserstein space. Finally, we show that our analysis extends to dynamic optimal transport problems, where the terminal condition imposes a constraint on the final distribution.

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Convergence Rate of Birkhoff Average for Toral Quasi-Periodic Rotations and Applications

    math.AP 2026-08 conditional novelty 7.0

    For Diophantine rotations on T^n, Hölder observables have Birkhoff-average errors T^-1, T^-1 log T, or T^-(k+α)/σ, with matching or near-matching counterexamples.

Reference graph

Works this paper leans on

56 extracted references · 9 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Infinite dimensional analysis: a hitchhiker’s guide

    Charalambos D Aliprantis and Kim C Border. Infinite dimensional analysis: a hitchhiker’s guide . Springer, 2006

    2006

  2. [2]

    Mean field games

    Yves Achdou, Pierre Cardaliaguet, Fran c ois Delarue, Alessio Porretta, and Filippo Santambrogio. Mean field games. Lecture Notes in Math , 2281, 2019

    2019

  3. [3]

    Gradient flows: in metric spaces and in the space of probability measures

    Luigi Ambrosio, Nicola Gigli, and Giuseppe Savar \'e . Gradient flows: in metric spaces and in the space of probability measures . Springer, 2005

    2005

  4. [4]

    Viscosity solutions of fully second-order HJB equations in the W asserstein space

    Erhan Bayraktar, Hang Cheung, Ibrahim Ekren, Jinniao Qiu, Ho Man Tai, and Xin Zhang. Viscosity solutions of fully second-order HJB equations in the W asserstein space. arXiv preprint arXiv:2501.01612 , 2025

    work page arXiv 2025

  5. [5]

    Homogenization of multiple integrals

    Andrea Braides and Anneliese Defranceschi. Homogenization of multiple integrals . Number 12. Oxford University Press, 1998

    1998

  6. [6]

    Comparison for semi-continuous viscosity solutions for second order PDE s on the W asserstein space

    Erhan Bayraktar, Ibrahim Ekren, Xihao He, and Xin Zhang. Comparison for semi-continuous viscosity solutions for second order PDE s on the W asserstein space. arXiv preprint arXiv:2504.18697 , 2025

    work page arXiv 2025

  7. [7]

    Stochastic optimal transport and H amilton-- J acobi-- B ellman equations on the set of probability measures

    Charles Bertucci. Stochastic optimal transport and H amilton-- J acobi-- B ellman equations on the set of probability measures. Annales de l'Institut Henri Poincar \'e C , 2024

    2024

  8. [8]

    Comparison of viscosity solutions for a class of second-order PDE s on the W asserstein space

    Erhan Bayraktar, Ibrahim Ekren, and Xin Zhang. Comparison of viscosity solutions for a class of second-order PDE s on the W asserstein space. Communications in Partial Differential Equations , 50(4):570--613, 2025

    2025

  9. [9]

    Denseness of adapted processes among causal couplings

    Mathias Beiglb \"o ck and Daniel Lacker. Denseness of adapted processes among causal couplings. arXiv preprint arXiv:1805.03185 , 2018

    work page arXiv 2018

  10. [10]

    Probabilistic theory of mean field games with applications I-II , volume 3

    Ren \'e Carmona, Fran c ois Delarue, et al. Probabilistic theory of mean field games with applications I-II , volume 3. Springer, 2018

    2018

  11. [11]

    On the rate of convergence in homogenization of H amilton-- J acobi equations

    Italo Capuzzo-Dolcetta and Hitoshi Ishii. On the rate of convergence in homogenization of H amilton-- J acobi equations. Indiana University Mathematics Journal , pages 1113--1129, 2001

    2001

  12. [12]

    Quantitative convergence for mean field control with common noise and degenerate idiosyncratic noise

    Alekos Cecchin, Samuel Daudin, Joe Jackson, and Mattia Martini. Quantitative convergence for mean field control with common noise and degenerate idiosyncratic noise. Electronic Journal of Probability , 30, 2025

    2025

  13. [13]

    The master equation and the convergence problem in mean field games

    Pierre Cardaliaguet, Fran c ois Delarue, Jean-Michel Lasry, and Pierre-Louis Lions. The master equation and the convergence problem in mean field games . Princeton University Press, 2019

    2019

  14. [14]

    User’s guide to viscosity solutions of second order partial differential equations

    Michael G Crandall, Hitoshi Ishii, and Pierre-Louis Lions. User’s guide to viscosity solutions of second order partial differential equations. Bulletin of the American mathematical society , 27(1):1--67, 1992

    1992

  15. [15]

    Hamilton-- J acobi equations for controlled gradient flows: the comparison principle

    Giovanni Conforti, Richard Klemmens Kraaij, and Daniela Tonon. Hamilton-- J acobi equations for controlled gradient flows: the comparison principle. Journal of Functional Analysis , 284(9):109853, 2023

    2023

  16. [16]

    On smooth approximations in the W asserstein space

    Andrea Cosso and Mattia Martini. On smooth approximations in the W asserstein space. Electronic Communications in Probability , 28:1--11, 2023

    2023

  17. [17]

    A near-optimal rate of periodic homogenization for convex H amilton-- J acobi equations

    William Cooperman. A near-optimal rate of periodic homogenization for convex H amilton-- J acobi equations. Archive for Rational Mechanics and Analysis , 245(2):809--817, 2022

    2022

  18. [18]

    Cannarsa and C

    P. Cannarsa and C. Sinestrari. Semiconcave Functions, H amilton-- J acobi Equations, and Optimal Control . Progress in Nonlinear Differen. Birkh \"a user Boston, 2004

    2004

  19. [19]

    Viscosity solutions of a class of second order H amilton-- J acobi-- B ellman equations in the W asserstein space

    Hang Cheung, Ho Man Tai, and Jinniao Qiu. Viscosity solutions of a class of second order H amilton-- J acobi-- B ellman equations in the W asserstein space. Applied Mathematics & Optimization , 91(1):23, 2025

    2025

  20. [20]

    On the optimal rate for the convergence problem in mean field control

    Samuel Daudin, Fran c ois Delarue, and Joe Jackson. On the optimal rate for the convergence problem in mean field control. Journal of Functional Analysis , 287(12):110660, 2024

    2024

  21. [21]

    Error estimates for finite-dimensional approximations of H amilton-- J acobi-- B ellman equations on the W asserstein space

    Samuel Daudin, Joe Jackson, and Benjamin Seeger. Error estimates for finite-dimensional approximations of H amilton-- J acobi-- B ellman equations on the W asserstein space. arXiv preprint arXiv:2510.02652 , 2025

    work page arXiv 2025

  22. [22]

    Well-posedness of H amilton- J acobi equations in the W asserstein space: non-convex H amiltonians and common noise

    Samuel Daudin, Joe Jackson, and Benjamin Seeger. Well-posedness of H amilton- J acobi equations in the W asserstein space: non-convex H amiltonians and common noise. Communications in Partial Differential Equations , 50(1-2):1--52, 2025

    2025

  23. [23]

    Mckean-- V lasov optimal control: limit theory and equivalence between different formulations

    Mao Fabrice Djete, Dylan Possama \" , and Xiaolu Tan. Mckean-- V lasov optimal control: limit theory and equivalence between different formulations. Mathematics of Operations Research , 47(4):2891--2930, 2022

    2022

  24. [24]

    Mckean-- V lasov optimal control: the dynamic programming principle

    Mao Fabrice Djete, Dylan Possama \" , and Xiaolu Tan. Mckean-- V lasov optimal control: the dynamic programming principle. The Annals of Probability , 50(2):791--833, 2022

    2022

  25. [25]

    A comparison principle for semilinear H amilton-- J acobi-- B ellman equations in the W asserstein space

    Samuel Daudin and Benjamin Seeger. A comparison principle for semilinear H amilton-- J acobi-- B ellman equations in the W asserstein space. Calculus of Variations and Partial Differential Equations , 63(4):106, 2024

    2024

  26. [26]

    Stochastic optimal control in infinite dimension

    Giorgio Fabbri, Fausto Gozzi, and Andrzej Swiech. Stochastic optimal control in infinite dimension. Probability and Stochastic Modelling. Springer , 2017

    2017

  27. [27]

    Finite dimensional approximations of H amilton-- J acobi-- B ellman equations in spaces of probability measures

    Wilfrid Gangbo, Sergio Mayorga, and Andrzej Swiech. Finite dimensional approximations of H amilton-- J acobi-- B ellman equations in spaces of probability measures. SIAM Journal on Mathematical Analysis , 53(2):1320--1356, 2021

    2021

  28. [28]

    Homogenization for a class of integral functionals in spaces of probability measures

    Wilfrid Gangbo and Adrian Tudorascu. Homogenization for a class of integral functionals in spaces of probability measures. Advances in Mathematics , 230(3):1124--1173, 2012

    2012

  29. [29]

    On differentiability in the W asserstein space and well-posedness for H amilton-- J acobi equations

    Wilfrid Gangbo and Adrian Tudorascu. On differentiability in the W asserstein space and well-posedness for H amilton-- J acobi equations. Journal de Math \'e matiques Pures et Appliqu \'e es , 125:119--174, 2019

    2019

  30. [30]

    Homogenisation of W asserstein gradient flows

    Yuan Gao and Nung Kwan Yip. Homogenisation of W asserstein gradient flows. European Journal of Applied Mathematics , page 1–28, 2025

    2025

  31. [31]

    Rate of convergence in periodic homogenization for convex H amilton– J acobi equations with multiscales

    Yuxi Han and Jiwoong Jang. Rate of convergence in periodic homogenization for convex H amilton– J acobi equations with multiscales. Nonlinearity , 36(10):5279, Aug 2023

    2023

  32. [32]

    Yuxi Han, Wenjia Jing, Hiroyoshi Mitake, and Hung V. Tran. Quantitative homogenization of state-constraint H amilton-- J acobi equations on perforated domains and applications. Archive for Rational Mechanics and Analysis , 249(2):18, 2025

    2025

  33. [33]

    Quantitative homogenization of H amilton-- J acobi equations on perforated domains with dirichlet boundary conditions

    Yuxi Han and Son Tu. Quantitative homogenization of H amilton-- J acobi equations on perforated domains with dirichlet boundary conditions. arXiv preprint arXiv:2510.27099 , 2025

    work page arXiv 2025

  34. [34]

    Bingyang Hu, Son N. T. Tu, and Jianlu Zhang. Polynomial convergence rate for quasi-periodic homogenization of H amilton-- J acobi equations and application to ergodic estimates. Communications in Partial Differential Equations , 50(1--2):211--244, 2025

    2025

  35. [35]

    Homogenization of differential operators and integral functionals

    Vasili Vasilievitch Jikov, Sergei M Kozlov, and Olga Arsenievna Oleinik. Homogenization of differential operators and integral functionals . Springer Science & Business Media, 2012

    2012

  36. [36]

    Homogenization of H amilton-- J acobi equations

    Pierre-Louis Lions, George Papanicolaou, and Srinivasa Varadhan. Homogenization of H amilton-- J acobi equations. Unpublished , 01 1987

    1987

  37. [37]

    Superposition and mimicking theorems for conditional M ckean-- V lasov equations

    Daniel Lacker, Mykhaylo Shkolnikov, and Jiacheng Zhang. Superposition and mimicking theorems for conditional M ckean-- V lasov equations. Journal of the European Mathematical Society , 25(8):3229--3288, 2022

    2022

  38. [38]

    Kolmogorov equations on spaces of measures associated to nonlinear filtering processes

    Mattia Martini. Kolmogorov equations on spaces of measures associated to nonlinear filtering processes. Stochastic Processes and their Applications , 161:385--423, 2023

    2023

  39. [39]

    Moshe Marcus and Victor J. Mizel. Measurability of partial derivatives. Proceedings of the American Mathematical Society , 63(2):236--238, 1977

    1977

  40. [40]

    Rate of convergence for homogenization of nonlinear weakly coupled H amilton-- J acobi systems

    Hiroyoshi Mitake and Panrui Ni. Rate of convergence for homogenization of nonlinear weakly coupled H amilton-- J acobi systems. Journal of Differential Equations , 440:113442, 2025

    2025

  41. [41]

    Quantitative homogenization of convex H amilton-- J acobi equations with neumann type boundary conditions

    Hiroyoshi Mitake and Panrui Ni. Quantitative homogenization of convex H amilton-- J acobi equations with neumann type boundary conditions. Calculus of Variations and Partial Differential Equations , 65(5):154, 2026

    2026

  42. [42]

    Hiroyoshi Mitake, Panrui Ni, and Hung V. Tran. Quantitative homogenization of convex H amilton-- J acobi equations with u/ -periodic hamiltonians, 2025

    2025

  43. [43]

    On the rate of convergence in homogenization of time-fractional H amilton-- J acobi equations

    Hiroyoshi Mitake and Shoichi Sato. On the rate of convergence in homogenization of time-fractional H amilton-- J acobi equations. Nonlinear Differential Equations and Applications NoDEA , 30(5):68, 2023

    2023

  44. [44]

    Viscosity solutions of the eikonal equation on the W asserstein space

    H Mete Soner and Qinxin Yan. Viscosity solutions of the eikonal equation on the W asserstein space. arXiv e-prints , pages arXiv--2308, 2023

    2023

  45. [45]

    Tran , and Yifeng Yu

    Hiroyoshi Mitake , Hung V. Tran , and Yifeng Yu . Rate of convergence in periodic homogenization of H amilton-- J acobi equations: T he convex setting . Archive for Rational Mechanics and Analysis , 233(2):901--934, August 2019

    2019

  46. [46]

    Periodic Homogenization of Hamilton-Jacobi Equations for Infinite Systems of Indistinguishable Particles

    Seho Park. Periodic homogenization of hamilton-jacobi equations for infinite systems of indistinguishable particles. arXiv preprint arXiv:2605.22198 , 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  47. [47]

    On the equality between M onge's infimum and K antorovich's minimum in optimal mass transportation

    Aldo Pratelli. On the equality between M onge's infimum and K antorovich's minimum in optimal mass transportation. In Annales de l'Institut Henri Poincare (B) Probability and Statistics , volume 43, pages 1--13. Elsevier, 2007

    2007

  48. [48]

    Viscosity solutions for M ckean-- V lasov control on a torus

    H Mete Soner and Qinxin Yan. Viscosity solutions for M ckean-- V lasov control on a torus. SIAM Journal on Control and Optimization , 62(2):903--923, 2024

    2024

  49. [49]

    Hung V. Tran. Hamilton- Jacobi Equations : Theory and Applications . American Mathematical Society, 2021

    2021

  50. [50]

    Rate of convergence for periodic homogenization of convex H amilton-- J acobi equations in one dimension

    Son Tu. Rate of convergence for periodic homogenization of convex H amilton-- J acobi equations in one dimension. Asymptotic Analysis , 121:1--24, 02 2020

    2020

  51. [51]

    Tran and Yifeng Yu

    Hung V. Tran and Yifeng Yu. Optimal convergence rate for periodic homogenization of convex H amilton-- J acobi equations. arXiv preprint arXiv:2112.06896 , 2021. To appear in Indiana Univ. Math. J

    work page arXiv 2021

  52. [52]

    Optimal transport: old and new , volume 338

    C \'e dric Villani et al. Optimal transport: old and new , volume 338. Springer, 2009

    2009

  53. [53]

    E. Weinan. A class of homogenization problems in the calculus of variations. Communications on Pure and Applied Mathematics , 44(7):733--759, 1991

    1991

  54. [54]

    Homogenization of conditional slow-fast M ckean- V lasov SDE s

    Antonios Zitridis. Homogenization of conditional slow-fast M ckean- V lasov SDE s. arXiv preprint arXiv:2308.05874 , 2023

    work page arXiv 2023

  55. [55]

    Singular perturbations of H amilton- J acobi equations in the W asserstein space

    Antonios Zitridis. Singular perturbations of H amilton- J acobi equations in the W asserstein space. arXiv preprint arXiv:2508.14333 , 2025

    work page arXiv 2025

  56. [56]

    Viscosity solutions for HJB equations on the process space: Application to mean field control with common noise

    Jianjun Zhou, Nizar Touzi, and Jianfeng Zhang. Viscosity solutions for HJB equations on the process space: Application to mean field control with common noise. arXiv e-prints , pages arXiv--2401, 2024

    2024