Pith. sign in

REVIEW 5 major objections 5 minor 1 cited by

This paper proves that oscillatory Hamilton–Jacobi equations on an infinite-dimensional Hilbert space, under periodicity and particle-relabeling symmetry, converge uniformly to a finite-dimensional effective equation at rate O(ε^(1/3)).

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 · deepseek-v4-flash

2026-08-02 13:39 UTC pith:DPRGMLET

load-bearing objection First quantitative homogenization in the relabeling-invariant infinite-dimensional setting, with a plausible proof whose main load-bearing gap is the unproved discounted cell problem. the 5 major comments →

arxiv 2605.22198 v2 pith:DPRGMLET submitted 2026-05-21 math.AP

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

Seho Park This is my paper
classification math.AP MSC 35B4037J5049L2535B2735F2135R15
keywords periodic homogenizationinfinite-dimensional Hamilton–Jacobi equationsnonconvex Hamiltonianseffective Hamiltoniancell problemindistinguishable particlesrearrangement invarianceconvergence rate
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.

This paper proves that an oscillatory first-order Hamilton–Jacobi equation on the infinite-dimensional Hilbert space V = L^2(I; R^d), with a Hamiltonian that is periodic under lattice translations and invariant under relabeling of indistinguishable particles, homogenizes to a simple finite-dimensional effective equation. The limit solution depends on the configuration only through its mean, and the effective Hamiltonian is identified as the unique ergodic constant of a cell problem on a compact quotient space. The main quantitative result gives uniform convergence at rate C_T ε^(1/3), matching the rate known in the finite-dimensional nonconvex periodic setting. The argument covers Hamiltonians that need not be convex, so no variational or Lagrangian structure is assumed. A deliberately restrictive assumption is that the initial data depend only on the mean configuration; this is the step that makes the infinite-dimensional problem collapse to finite dimensions.

Core claim

The central claim is Theorem 1.2: for u^ε solving u^ε_t + H(x/ε, Du^ε) = 0 on V × [0, T] under periodicity, rearrangement invariance, local Lipschitz regularity, and coercivity, the viscosity solutions converge uniformly to the unique solution of u_t + H̄(Du) = 0, with sup|u^ε − u| ≤ C_T ε^(1/3). Moreover, the limit factors through the mean projection: u(x, t) = u(Mx, t), where Mx = (∫_I x dλ₀)χ_I is the mean configuration. On the finite-dimensional subspace Y^⊥ ≅ R^d, the effective equation is an ordinary finite-dimensional Hamilton–Jacobi equation. In other words, an infinite-dimensional oscillatory system is asymptotically governed by the mean configuration alone.

What carries the argument

The argument rests on three objects. First, the orthogonal decomposition V = Y ⊕ Y^⊥ splits configurations into mean-zero fluctuations Y and constant configurations Y^⊥ ≅ R^d; a lattice-lemma shows every x is within O(ε) of an ε-grid point in Y plus its mean, so the solution u^ε is uniformly O(ε)-close to its restriction to Y^⊥. Second, the cell problem H(y, pχ_I + Dv) = c is posed on the compact quotient of V by lattice translations and measure-preserving rearrangements; its unique ergodic constant defines H̄(pχ_I). Third, a variational perturbation property of the Hilbert space is used in place of compactness to produce approximate maximizers in the perturbed test-function argument, while

Load-bearing premise

The load-bearing premise is (I1), that the initial data depend only on the mean configuration; if the data also vary with mean-zero fluctuations, the mechanism that forces the solution to see only the mean breaks down.

What would settle it

Test the ε^(1/3) rate numerically on a one-dimensional example, say H(x,p) = ½|p|² + V(x) with V a nonconvex periodic potential and initial data u₀(Mx) = sin(Mx), comparing u^ε with the solution of the effective equation; a measured error decaying slower than ε^(1/3) would refute Theorem 1.2. Alternatively, choose initial data u₀(Mx) + δ φ(x − Mx) with φ depending on mean-zero fluctuations; if for any δ > 0 the limit depends on φ, the model-reduction claim is false.

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

If this is right

  • The limiting dynamics of the infinite particle system are determined by the mean configuration; the effective equation is an ordinary Hamilton–Jacobi equation on R^d.
  • The O(ε^(1/3)) convergence rate holds in infinite dimensions for nonconvex Hamiltonians, matching the established rate in the finite-dimensional periodic nonconvex setting.
  • The cell problem has a unique effective Hamiltonian even without convexity, because compactness is recovered on the quotient space of configurations modulo relabeling and lattice translations.
  • The results give both a qualitative homogenization theorem (Theorem 1.1) and a quantitative one (Theorem 1.2) for a class of possibly nonconvex Hamiltonians.
  • Microscopic oscillations in infinitely many directions wash out in the limit, leaving only the macroscopic mean variable.

Where Pith is reading between the lines

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

  • A natural stress-test is to relax the initial-data assumption: if u₀ also depends on mean-zero fluctuations, the finite-dimensional reduction is likely to fail or require additional compactness; the paper itself flags this assumption as restrictive.
  • The quotient space used for the cell problem is isometric to the Wasserstein space of probability measures on the torus, so the effective Hamiltonian may admit a macroscopic transport interpretation even for nonconvex Hamiltonians; exploring that link is an open direction.
  • The ε^(1/3) rate arises from matching several small scales (lattice spacing, penalization, and discount); sharper rates may be possible under additional convexity or with higher-order correctors, as in the finite-dimensional theory.

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

5 major / 5 minor

Summary. The paper studies periodic homogenization for first-order Hamilton–Jacobi equations on the infinite-dimensional Hilbert space V = L^2(I; R^d), with a Hamiltonian satisfying lattice periodicity (H1), invariance under measure-preserving rearrangements (H2), local Lipschitz regularity (H3), and coercivity (H4). The initial data is assumed to depend only on the mean configuration Mx. The main results are Theorem 1.1 (qualitative convergence of u^ε to a unique viscosity solution of an effective equation, which depends only on the mean) and Theorem 1.2 (uniform O(ε^{1/3}) rate on V×[0,T]). The effective Hamiltonian is defined via a discounted cell problem on the compact quotient space SS^d, and the proofs use Perron's method, a decomposition into mean and mean-zero directions, and the Radon–Nikodym property. The paper explicitly acknowledges that the mean-only dependence of the initial data is restrictive.

Significance. If correct, the result would be a substantial contribution: it extends periodic homogenization to a genuinely infinite-dimensional setting with possibly nonconvex Hamiltonians, and it shows a model-reduction phenomenon whereby the infinite-dimensional oscillatory problem converges to a finite-dimensional effective equation. The quantitative O(ε^{1/3}) rate matches the finite-dimensional nonconvex setting and is obtained without fitted parameters. The use of the compact quotient SS^d (isometric to the Wasserstein space) to compensate for the lack of local compactness is conceptually appealing. However, the paper's central construction — the discounted cell problem (3.2) and the ergodic constant H̄ — is asserted rather than proved, and several load-bearing comparison and regularity facts are left to references or implicit. The qualitative and quantitative results are therefore conditional on filling these gaps.

major comments (5)
  1. [§3.1, Proposition 3.2] The existence and uniqueness of the discounted cell problem (3.2) is asserted without proof: “Note that this equation has a unique viscosity solution v_λ.” This is load-bearing because H̄ is defined from {v_λ}, and the corrector estimates (4.1)–(4.2) and both main theorems depend on this solution. The cited references [8,9,11] concern Cauchy or Dirichlet problems and do not automatically give comparison/existence for the stationary equation λv + H(y, p+Dv)=0 on the infinite-dimensional space V, especially for nonconvex H. The paper must either prove comparison for (3.2) under (H1)–(H4) or cite a theorem that covers this exact stationary problem.
  2. [§2.1, Proposition 2.2 and §2.2, Proposition 2.3] The continuity of the Perron envelope is assumed in the statement of Proposition 2.2, and the proof that it follows from Ishii [11] is only a sentence. Moreover, uniqueness of viscosity solutions for (CP)_ε is used multiple times (e.g., Proposition 2.6, proof of Theorem 1.1) but no comparison theorem for the Cauchy problem on V with nonconvex H is stated or proved. These are not cosmetic: without comparison, the Y_ε-invariance and the whole convergence argument collapse. Please state precisely which known theorem applies, or add the missing proof.
  3. [§3.1, Proposition 3.2, Step 4] The uniqueness of the ergodic constant relies on a comparison principle for the discounted equation δv + H(y, p+Dv)=0 on SS^d, but such a comparison principle has not been established earlier and is not a standard consequence of the Crandall–Lions theory on V. The argument “by the comparison principle for the discounted equation” is exactly the missing ingredient. Since H is possibly nonconvex and V is not locally compact, this step needs a self-contained verification or a precise reference.
  4. [§4, Step 5 and (4.1)–(4.2)] The rate proof relies on the discounted-corrector estimates (4.1)–(4.2), whose “short proof” uses comparison for the discounted cell problem and the existence of correctors from Proposition 3.2 — both of which are in question. In addition, Step 5 asserts a finite-dimensional supersolution test for u with a Lipschitz perturbation w_n and invokes an object r_n ∈ D^− w_n(ŷ_n) without defining this subdifferential or justifying its existence and the resulting viscosity test. In finite dimensions one can handle Lipschitz perturbations by standard viscosity arguments, but this must be written out because w_n is only Lipschitz on Y^⊥ and depends on the full infinite-dimensional corrector.
  5. [§3.2, proof of Theorem 1.1, Steps 1–2] The perturbed test function argument contains several implicit compactness steps: the maximizing sequence (x_n,y_n,t_n) is asserted to be bounded and to stay away from the boundary of Q_r, but the details are only sketched. More importantly, the passage from (3.9)–(3.10) to (3.12) requires uniform bounds on the penalized momenta; the paper says this follows from coercivity but does not show the bound explicitly. These gaps are likely fixable, but they occur at a delicate point of the proof and should be made rigorous.
minor comments (5)
  1. [§2, Lemma 2.5] The construction of η with prescribed integral m and ∥η∥_{L^2} ≤ √d is asserted but not proved. Since the lemma is used to bound the decomposition error, an explicit construction or a reference would help.
  2. [§3.1, convention after Lemma 3.1] The convention identifying a function on SS^d with its lift and writing Dv for the derivative of a smooth test function touching the lift is functional, but it deserves a formal definition of the viscosity notion on SS^d. As written, it is not clear what test functions are allowed on the quotient.
  3. [§4, Step 1] The sentence “errors tending to zero as n → ∞ are omitted for readability” makes the proof hard to verify. It would be better to write them as o_n(1) terms and to state explicitly whether they are uniform in ε.
  4. [§4, Step 5] The notation D^− w_n is not defined. If it denotes the (finite-dimensional) Fréchet subdifferential, this should be stated, and the argument that a Lipschitz perturbation admits such a subdifferential at the relevant minimum should be included.
  5. [§1.3, Remark 2] The remark distinguishing the effective equation from that of the induced finite-dimensional problem is useful, but it could be shortened or moved to the conclusion so as not to interrupt the flow of the main proof.

Circularity Check

0 steps flagged

No circularity: the effective Hamiltonian is defined from an independent cell problem and the limit identification is proved by perturbed test functions, with no fitted parameters or author-overlapping load-bearing citations.

full rationale

The derivation is self-contained with respect to circularity. The effective Hamiltonian \bar H is not fitted to the target convergence; it is defined in Proposition 3.2 as the unique ergodic constant of the cell problem, after which Theorem 1.1 identifies the limit equation u_t + \bar H(Du)=0 via the perturbed test function method. The quantitative rate in Theorem 1.2 is proved from independent corrector estimates (4.1)-(4.2) and a doubling-variables argument, not from a pre-assumed rate. The cited prior work, especially Gomes-Nurbekyan [1], is used for the geometric identification of SS^d with the Wasserstein space and for standard finite-dimensional homogenization techniques [14,15,18]; its authors do not overlap with the present paper, and no load-bearing assertion is reduced to an unverified self-citation. The paper does assert without proof the unique solvability of the discounted cell problem (3.2), but that is a rigor/completeness gap concerning existence of the auxiliary problem, not a circular equivalence between the paper's inputs and its conclusions. Hence no circular steps are identified and the circularity score is 0.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

The paper introduces no free parameters, new physical entities, or fitted constants. Its central claim rests on standard infinite-dimensional viscosity theory, the Radon–Nikodym property, and the compact Wasserstein quotient structure from [1]. The single most restrictive extra assumption is (I1), mean-only initial data.

axioms (5)
  • standard math Radon–Nikodym property / Stegall variational principle holds on V and finite-dimensional factors
    Used in Lemmas 2.1 and in both perturbed test function arguments to obtain approximate maximizers/minimizers without local compactness. Cited to Stegall [10].
  • domain assumption Existence, uniqueness and comparison of viscosity solutions for coercive Hamilton–Jacobi equations on Hilbert spaces with RNP
    Invoked for the Cauchy problem (CP)_ε and for the discounted cell problem λvλ+H=0. Cited to Crandall–Lions [8,9] and Ishii [11].
  • domain assumption The quotient (V/Λ)/G with the weak distance is isomorphic to the Wasserstein space (P(T^d), W_2) and is compact
    This compactness replaces the missing local compactness of V. Used throughout Section 3. Cited to Gomes–Nurbekyan [1].
  • domain assumption The discounted cell problem admits a unique solution with uniform bounds on λvλ and Dvλ
    Asserted at the start of the proof of Proposition 3.2 without detailed proof; depends on the infinite-dimensional viscosity framework plus coercivity.
  • standard math Finite-dimensional non-convex homogenization rate estimates and comparison principles for the effective equation
    Used in Section 4, especially Step 5, as the finite-dimensional analogue. Cited to Capuzzo-Dolcetta–Ishii [18].

pith-pipeline@v1.3.0-alltime-deepseek · 32 in / 44355 out tokens · 1092017 ms · 2026-08-02T13:39:50.537449+00:00 · methodology

0 comments
read the original abstract

We study the homogenization of first-order Hamilton-Jacobi equations on an infinite-dimensional Hilbert space, motivated by systems of infinitely many indistinguishable particles on the torus. A central difficulty is that the analysis takes place in an infinite-dimensional setting, where the compactness arguments available in finite dimensions break down. The problem is further complicated by the possible nonconvexity of the Hamiltonian, which prevents the direct use of variational methods. Under suitable assumptions on the Hamiltonian and the initial data, we characterize the effective Hamiltonian through an associated cell problem and prove that the solutions converge to those of the limiting equation at rate $O(\varepsilon^{1/3})$. This yields a qualitative and quantitative homogenization result for a class of possibly nonconvex Hamilton-Jacobi equations in infinite dimensions.

Review history (2 revisions) →

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. Quantitative homogenization of convex Hamilton-Jacobi equations in the Wasserstein space

    math.AP 2026-06 unverdicted novelty 7.0

    Proves quantitative homogenization rates for convex first-order Hamilton-Jacobi equations in the Wasserstein space, with O(sqrt(epsilon)) in general and sharp O(epsilon) in special cases.

Reference graph

Works this paper leans on

25 extracted references · cited by 1 Pith paper

  1. [1]

    & Nurbekyan, L

    Gomes, D. & Nurbekyan, L. An infinite-dimensional weak kam theory via random variables. Discrete and Continuous Dynamical Systems36, 6167–6185 (2016)

    2016

  2. [2]

    & Tudorascu, A

    Gangbo, W. & Tudorascu, A. A weak kam theorem; from finite to infinite dimension.Optimal transportation, geometry and functional inequalities11, 45–72 (2010)

    2010

  3. [3]

    On a hamilton-jacobi pde theory for hydrodynamic limit of action minimizing col- lective dynamics.arXiv preprint arXiv:2512.20809(2025)

    Feng, J. On a hamilton-jacobi pde theory for hydrodynamic limit of action minimizing col- lective dynamics.arXiv preprint arXiv:2512.20809(2025)

    arXiv 2025

  4. [4]

    & Morrison, P

    Padhye, N. & Morrison, P. J. Fluid element relabeling symmetry.Physics letters A219, 287–292 (1996)

    1996

  5. [5]

    Crandall, M. G. & Lions, P.-L. Viscosity solutions of hamilton-jacobi equations.Transactions of the American mathematical society277, 1–42 (1983)

    1983

  6. [6]

    G., Evans, L

    Crandall, M. G., Evans, L. C. & Lions, P.-L. Some properties of viscosity solutions of hamilton- jacobi equations.Transactions of the American Mathematical Society282, 487–502 (1984)

    1984

  7. [7]

    V.Hamilton–Jacobi equations: theory and applications, vol

    Tran, H. V.Hamilton–Jacobi equations: theory and applications, vol. 213 (American Mathe- matical Soc., 2021)

    2021

  8. [8]

    Crandall, M. G. & Lions, P.-L. Hamilton-jacobi equations in infinite dimensions i. uniqueness of viscosity solutions.Journal of functional analysis62, 379–396 (1985). HOMOGENIZATION OF INFINITE-DIMENSIONAL HAMILTON JACOBI EQUATIONS 29

    1985

  9. [9]

    Crandall, M. G. & Lions, P.-L. Hamilton-jacobi equations in infinite dimensions. ii. existence of viscosity solutions.Journal of Functional Analysis65, 368–405 (1986)

    1986

  10. [10]

    Optimization of functions on certain subsets of banach spaces.Mathematische Annalen236, 171–176 (1978)

    Stegall, C. Optimization of functions on certain subsets of banach spaces.Mathematische Annalen236, 171–176 (1978)

    1978

  11. [11]

    Perron’s method for hamilton-jacobi equations.Duke Mathematical Journal55, 369– 384 (1987)

    Ishii, H. Perron’s method for hamilton-jacobi equations.Duke Mathematical Journal55, 369– 384 (1987)

    1987

  12. [12]

    & Da Prato, G

    Barbu, V. & Da Prato, G. Hamilton-jacobi equations in hilbert spaces.Pitnam, London (1983)

    1983

  13. [13]

    & Da Prato, G

    Cannarsa, P. & Da Prato, G. Some results on non-linear optimal control problems and hamilton-jacobi equations in infinite dimensions.Journal of functional analysis90, 27–47 (1990)

    1990

  14. [14]

    & Varadhan, S

    Lions, P.-L., Papanicolaou, G. & Varadhan, S. R. Homogenization of hamilton-jacobi equa- tions.Unpublished preprint(1987)

    1987

  15. [15]

    Evans, L. C. Periodic homogenisation of certain fully nonlinear partial differential equations. Proceedings of the Royal Society of Edinburgh Section A: Mathematics120, 245–265 (1992)

    1992

  16. [16]

    Concordel, M. C. Periodic homogenization of hamilton-jacobi equations: additive eigenvalues and variational formula.Indiana University Mathematics Journal1095–1117 (1996)

    1996

  17. [17]

    Concordel, M. C. Periodic homogenisation of hamilton–jacobi equations: 2. eikonal equations. Proceedings of the Royal Society of Edinburgh Section A: Mathematics127, 665–689 (1997)

    1997

  18. [18]

    & Ishii, H

    Capuzzo-Dolcetta, I. & Ishii, H. On the rate of convergence in homogenization of hamilton- jacobi equations.Indiana University Mathematics Journal1113–1129 (2001)

    2001

  19. [19]

    Mitake, H., Tran, H. V. & Yu, Y. Rate of convergence in periodic homogenization of hamilton– jacobi equations: the convex setting.Archive for Rational Mechanics and Analysis233, 901– 934 (2019)

    2019

  20. [20]

    Tran, H. V. & Yu, Y. Optimal convergence rate for periodic homogenization of convex hamilton-jacobi equations.Indiana Univ. Math. J.74, 555–573 (2025)

    2025

  21. [21]

    & Jang, J

    Han, Y. & Jang, J. Rate of convergence in periodic homogenization for convex hamilton–jacobi equations with multiscales.Nonlinearity36, 5279–5297 (2023)

    2023

  22. [22]

    Weak kam theorem in lagrangian dynamics (2003)

    Fathi, A. Weak kam theorem in lagrangian dynamics (2003)

    2003

  23. [23]

    & Nurbekyan, L

    Gomes, D. & Nurbekyan, L. On the minimizers of calculus of variations problems in hilbert spaces.Calculus of Variations and Partial Differential Equations52, 65–93 (2015)

    2015

  24. [24]

    & Tudorascu, A

    Gangbo, W. & Tudorascu, A. Lagrangian dynamics on an infinite-dimensional torus; a weak kam theorem.Advances in Mathematics224, 260–292 (2010)

    2010

  25. [25]

    Qian, J., Tran, H. V. & Yu, Y. Min–max formulas and other properties of certain classes of nonconvex effective hamiltonians.Mathematische Annalen372, 91–123 (2018). (Seho Park)Department of Mathematics, University of Wisconsin Madison, 480 Lincoln Drive, Madison, WI 53706, USA Email address:park646@wisc.edu

    2018