GENERIC formulation and small-angle limit for Kinetic wave equations

Manh Hong Duong; Zihui He

REVIEW 2 major objections 6 minor 3 references

GENERIC formulation and small-angle limit for Kinetic wave equations

T0 review · 2 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read Kinetic wave equations fit GENERIC thermodynamics, and their small-angle limit is a Landau-type equation.

desk verdict The GENERIC formulations in Section 2 are the real contribution; the small-angle limit in Section 3 rests on a false lemma and the Landau-type limit (3.2) does not follow as stated. read the letter →

arxiv 2508.13871 v1 pith:CSPKVOTS submitted 2025-08-19 math.AP math-phmath.MP

Manh Hong Duong , Zihui He This is my paper · ORCID

classification math.APmath-phmath.MP MSC 35Q2082C0535B25

keywords wavekineticequationsGENERICsmall-anglelimitgrazingLandauequationturbulenceH-theoremfour-waveinteraction

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper shows that the three- and four-wave kinetic equations of weak wave turbulence can be written as GENERIC systems, the thermodynamic framework that separates reversible Hamiltonian dynamics from irreversible dissipative dynamics. It then formally derives the small-angle limit of the four-wave equation, in which wave interactions become nearly collinear, and identifies the limit as a Landau-type equation with a collision operator given by a velocity-space divergence of a projected gradient. The limiting equation is shown to inherit the same GENERIC structure, with energy $E=\int (|v|^2/2)f$, entropy $S=\int \log f$, and a dissipative operator built from the quadratic mobility $(ff_*)^2$. If the derivation is correct, wave kinetic equations acquire the same thermodynamic, variational, and structural toolbox that underpins the Boltzmann and Landau equations in classical kinetic theory.

What carries the argument

The argument is carried by the GENERIC building blocks — energy $E$, entropy $S$, Poisson operator $L$, and dissipative operator $M$ — together with a discrete gradient and divergence calculus adapted to resonant manifolds: for the four-wave equation, $\nabla\phi = \phi' + \phi'_* - \phi_* - \phi$ with a matching integration-by-parts identity, and for the three-wave equation, $\nabla_3\phi = \phi_1 + \phi_2 - \phi$. The small-angle limit rests on the angular ansatz $|V|^2 = B(|v-v_*|)^2 b(\theta)$, the rescaled angle distribution $\beta_\varepsilon(\theta)=\pi^3\varepsilon^{-3}\beta(\pi\theta/\varepsilon)$ with fixed second moment $\int_0^{\varepsilon/2}\theta^2\beta_\varepsilon(\theta)\,d\theta = 8(d-1)/|S^{d-2}|$, and Lemma 3.1, a Taylor expansion of $f'f'_*\nabla\phi$ over the sphere $S^{d-2}_{k^\perp}$ whose leading $\theta^2$ term produces the projection $\Pi_{(v-v_*)^\perp}$ and the prefactor $B_0^2$. This expansion is what converts the four-wave collision integral into a velocity-space divergence and makes the Landau-type limit visible.

What would settle it

Compute the collision integral for a four-wave kernel with the same total intensity but a flat angular dependence on $[0,\pi/2]$, rescale it according to Section 3.1, and check whether the result still converges to the Landau-type equation (3.2); any different limit would show the concentration assumption is indispensable. A complementary check is numerical: solve the four-wave kinetic equation with a narrow-angle kernel for decreasing $\varepsilon$ and compare the solution to the Landau-type equation, testing whether the $o(\varepsilon^2)$ remainder vanishes.

Watch

Extended reading notes

Core claim

The paper's central claim is that, under the angular concentration scaling of Section 3.1, the four-wave kinetic equation $\partial_t f + v\cdot\nabla_x f = Q(f)$ formally converges to the Landau-type equation $$\partial_t f + v\cdot\nabla_x f = -4\pi\,\nabla_v\cdot\int_{\mathbb{R}^d} $B_0^{2}$(ff_*)^2\,\Pi_{(v-v_*)^\perp}(\nabla_v $f^{{-1}}$ - (\nabla_v $f^{{-1}}$)_*)\,dv_*,$$ where $B_0^2 = B^2|v-v_*|^2$ and $\Pi_{(v-v_*)^\perp}$ is the projection orthogonal to $v-v_*$. The authors also claim that both the original three-wave and four-wave kinetic equations and the limiting equation fit the GENERIC format $\partial_t z = L\,dE + M\,dS$, with $E=\int (|v|^2/2)f$, $S=\int \log f$, $L(f)g=-\nabla\cdot(fJ\nabla g)$, and $M$ built from the appropriate discrete gradient and divergence operators; the degeneracy conditions $L\,dS=0$ and $M\,dE=0$ encode entropy invariance under reversible flow and energy conservation by collisions.

Load-bearing premise

The derivation assumes that the angular part of the physical wave interaction kernel concentrates at zero angle with a fixed second moment, and that the Taylor remainders and the interchange of limits can all be discarded; if a real kernel does not concentrate in this way, the limit equation (3.2) does not follow.

Editorial extensions

If this is right

The limiting equation inherits mass, momentum, and energy conservation and an H-theorem from its GENERIC representation, so the second law is encoded structurally rather than as an isolated property of the collision integral.
Stationary states of the wave kinetic equations, obtained by maximising entropy subject to fixed energy, are the Rayleigh-Jeans spectra $f(v)=1/(\mu+\beta\omega(v))$, now with a systematic maximum-entropy justification within the GENERIC setting.
Positive semidefiniteness of the dissipative operators and the degeneracy conditions give the three- and four-wave equations and their small-angle limit a common variational formulation of energy-dissipation type, opening a route to structure-preserving numerical schemes and well-posedness analysis.
The small-angle limit completes a formal analogy with classical kinetic theory: the four-wave equation stands to the new Landau-type equation as the Boltzmann equation stands to the Landau equation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the limit is made rigorous for a class of kernels, equation (3.2) becomes the natural candidate for the long-time, near-collinear regime of wave turbulence, with a quadratic mobility $(ff_*)^2$ that is markedly different from the linear mobility of the classical Landau equation.
The paper's Remark 2.4 shows that the three-wave resonant manifold lacks the involution needed for an integration-by-parts identity, so this route to a divergence-form small-angle limit is blocked there; a different asymptotic ansatz would be needed to obtain a comparable three-wave limit.
A numerical test is directly available: simulate the four-wave kinetic equation with a narrowly concentrated angular kernel and compare with solutions of (3.2) as $\varepsilon\to 0$; agreement would confirm that the formal $o(\varepsilon^2)$ remainders are harmless in practice.
The observed parallel with the heat equation's gradient-flow structure suggests the small-angle limit may admit a quadratic-mobility gradient-flow interpretation, which large-deviation rate functionals for wave turbulence could probe.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The GENERIC parts are the genuine contribution. Section 2 gives, as far as I know, the first GENERIC formulations of the three- and four-wave kinetic equations, and the verifications are direct and correct: the Poisson structure is the standard one, the dissipative operators are symmetric and nonnegative, and the degeneracy conditions check out. The comparison with the Boltzmann and Landau structures in Remarks 2.1–2.2 is useful and honest. I did not find circular reasoning or hidden fitting; the background inputs are external and properly cited.

Section 3 is the problem. The paper says the limit is formal, and formal is acceptable when the algebra is right — but here it is not. Lemma 3.1’s proof uses (cosθ−1) = −θ² + o(ε²), when the true expansion is −θ²/2 + o(ε²). That halves the first term in the p-average and propagates into (3.8). The stress-test note is essentially right: with the corrected factor, the p-average contains a leftover term that is not a v-divergence. For f ≡ 1 and φ = |v|⁴, the exact sum over the perpendicular directions is nonzero at order θ² while the claimed right-hand side vanishes. So this is not a harmless typo; a term of order one in ε survives, and the limiting equation would differ from (3.2). I also notice (3.1)/(3.3) write Qε as a vector-valued integral where the final form should carry an outer ∇v· divergence — another sign the section was not carefully checked. Section 3.3’s GENERIC verification is fine conditional on (3.2), but it inherits the flaw.

Minor issues: the variational-formulation remark in Section 4 is a promissory note, not a result, and should be cut or proved. The angular concentration ansatz with fixed second moment is a physical restriction; without it the limit is not expected anyway.

Who is this for? People interested in thermodynamic structure of wave kinetic equations will find Section 2 worth reading. The small-angle limit section should not be used as is. I would still send this to a referee, because Section 2 is a legitimate new result and the authors deserve the chance to correct or remove Section 3 — but the referee should be told to check Lemma 3.1 carefully. If the lemma cannot be fixed, the publishable core is the GENERIC construction alone.

Referee Report

2 major / 6 minor

Summary. The paper has two main claims. First, it casts the three-wave and four-wave kinetic equations into the GENERIC framework, providing explicit energy, entropy, Poisson operator, and dissipative operator for each equation, together with formal verifications of the GENERIC axioms. Second, it derives a small-angle (grazing) limit of the four-wave kinetic equation, under a concentrated angular scaling of the interaction kernel, and claims that the limit is the Landau-type equation (3.2). The paper further shows that this limiting equation also admits a GENERIC structure, and it compares the resulting structures with those of the Boltzmann and Landau equations.

Significance. If the small-angle limit were correct, the paper would establish a new formal analogy between wave kinetic equations and classical kinetic theory, with the four-wave equation playing the role of the Boltzmann equation and the limit equation playing the role of the Landau equation. The GENERIC formulation in Sections 2.3-2.4 is direct, formally correct, and genuinely useful: it encodes the conservation of energy and the H-theorem structurally, and it opens the door to variational formulations and structure-preserving numerical methods. The paper also has the merit of being explicit and computation-driven rather than circular: the main background inputs (the GENERIC framework and Villani's grazing-limit method) are external. However, the small-angle limit, which is one of the two advertised novelties and appears in the title, rests on a false lemma, so the central claim is not merely unproven but appears to be false.

major comments (2)

[Section 3.2, Lemma 3.1, Eqs. (3.6), (3.8), (3.11)] Lemma 3.1 is false, and the failure is load-bearing because the derivation of the limit (3.2) rests entirely on it. In the proof, Eq. (3.6) states (cosθ−1)=−θ²+o(ε²), but the correct expansion is −θ²/2+o(ε²); this factor error propagates into Eq. (3.8), which is too large by a factor of 2 in the I1 contribution. Independently, step (2) replaces T by (D²vϕ+(D²vϕ)∗)/2 as θ→0, but the correct limit of T is a chord average of the Hessian, ∫₀¹ D²vϕ((1−τ)v+τv∗) dτ, which differs from the endpoint average for non-quadratic ϕ. The lemma fails even after restoring the missing 1/2. A concrete check in d=2: take f≡1, ϕ=|v|⁴, v=0, v∗=r e₁. Then the exact sum over S⁰_{k⊥} of f′f′∗∇ϕ equals −r⁴θ²+O(θ⁴), while the printed RHS of Lemma 3.1 vanishes because (∇v−∇v∗)ff∗=0 and Π_{(v−v∗)⊥}(∇vϕ−(∇vϕ)∗)=0. For the actual integrand relevant to the limit, with B=1, d=2, f=e^{−|v|²}, ϕ=f^{−1}, v=0, v∗=r e₁, the exact S⁰-sum has θ²-coefficient −(r²/2)e^{−2r²}(e^{r²}−1), whereas the identity used in the paper predicts −(r/2)e^{−2r²}(e^{r²}−1), so a nonzero term of order one in ε survives. Thus the claimed convergence to (3.2) is not a harmless factor slip; the limit equation is different from (3.2).
[Section 3.1, Eq. (3.3)] There is a factor-of-two inconsistency in the scaling definition. The text defines |Vε|² = B² bε(θ)/2 and bε(θ) = (sinθ)^{−(d−2)} βε(θ), so after the change of variables dσ = sin^{d−2}θ dθ dp, the integrand in (3.3) should carry the prefactor −2π, not −4π. As printed, Eq. (3.3) has Qε(f) = −4π∫ B²βε ff∗f′f′∗∇f^{−1} dp dθ dv∗, which is inconsistent with the stated |Vε|² and with the subsequent limit (3.2), whose constant is −4π. This must be resolved independently of Lemma 3.1, since it changes the coefficient of the claimed limiting operator.

minor comments (6)

[Section 2.3] The notation δ0 is defined as δd(v+v2−v1), but the three-wave resonance in Eq. (2.2) is v−v1−v2=0; the printed definition appears to be a typo and should read δd(v−v1−v2). The surrounding derivation is otherwise consistent with the correct delta.
[Section 3.2, Lemma 3.1] The discrete difference ∇ϕ is a scalar, but the proof writes expressions such as |v2|(σ−k)(∇vϕ−(∇vϕ)∗) without an explicit dot product; adding dots would make the derivation much easier to check.
[Section 3.1] The assumption β(θ)≳θ^{−2} and the normalization ∫₀^{π/2} θ²β(θ)dθ = 8(d−1)/|S^{d−2}| are introduced without discussion; because the small-angle limit is formal, the uniform-in-v remainder estimates and the interchange of the ε→0 limit with the v∗-integral should be explicitly flagged as unproved assumptions.
[Remark 2.1] There is a typo: "Poison operator" should be "Poisson operator".
[Remark 2.2] The phrase "the operator M1 induces to Wasserstein metric" should be "M1 induces the Wasserstein metric" or similar.
[Various] The title has an unnecessary space in "FORMULA TION", and the affiliation line contains "F akult¨at"; these should be corrected in a revision.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the GENERIC checks and the small-angle limit are direct computations, and the self-citations are not load-bearing.

full rationale

The paper's central claims are obtained by explicit computation rather than by fitting or by invoking its own prior results. In Sections 2.3 and 2.4, the operators L and M are defined with the stated collision operator in view, and the paper then verifies antisymmetry, symmetry, positivity, the Jacobi identity and the degeneracy conditions; these checks are independent of the target equation. In Section 3.2, the small-angle limit is a formal asymptotic expansion: with the explicit kernel scaling |V_epsilon|^2 = B^2 b_epsilon(theta)/2 and the stated normalization integral of theta^2 beta_epsilon = 8(d-1)/|S^{d-2}|, Lemma 3.1 expands f'f'_* and grad f^{-1} in powers of theta, and the angular integrals are evaluated explicitly. The normalization is an assumption on the angular kernel, not a parameter fitted to the limiting equation, so the limit (3.2) follows from the expansion rather than being imposed. The self-citations to [DH25], [EH25] and [DPZ13] appear as background on Landau and Boltzmann GENERIC structures, for the Jacobi identity of the Poisson operator, and in the concluding outlook on variational formulations; none of these citations is used to justify the four-wave WKE GENERIC structure or the small-angle limit derived in the paper. Potential issues in Lemma 3.1's Taylor coefficients would be mathematical correctness concerns, not circularity under the definitions used here.

Assumptions & free parameters 2 free parameters · 4 assumptions · 0 invented entities

The paper introduces no new physical entities and fits no data. Its load-bearing inputs are: (i) the angular concentration ansatz and normalization for the four-wave kernel in Section 3.1; (ii) the invariance of |V|² under wave-vector exchanges in Section 2.4, needed for the divergence form; (iii) formal smoothness and decay assumptions on f and φ for delta-manipulations and Taylor expansions; (iv) the background GENERIC formalism. The 8(d-1)/|S^{d-2}| moment and the π³/ε³ prefactor are hand-chosen normalizations inherited from the Boltzmann grazing limit and do not affect the structural form of the limiting operator.

free parameters (2)

Angular normalization constant in beta = 8(d-1)/|S^{d-2}|
The constraint ∫_0^{π/2} θ²β(θ)dθ = 8(d-1)/|S^{d-2}| in Section 3.1 is chosen by hand, following the Boltzmann grazing-limit convention, so that the limiting collision operator has the stated coefficient 4π. The structural form of the limit does not depend on this value.
Scaling prefactor pi^3/epsilon^3 in beta_epsilon = pi^3/epsilon^3
The prefactor in β_ε(θ)=π³/ε³β(πθ/ε) is chosen so that ∫θ²β_ε dθ equals ∫θ²β dθ (Section 3.1). It is a normalization convention rather than a quantity fitted to data.

assumptions (4)

domain assumption The collision kernels are smooth enough and f, φ are Schwartz functions so that all delta-distribution manipulations, integrations by parts, and Taylor expansions with o(ε²) control are valid.
Invoked in Sections 2.3-2.4 for weak formulations and in the proof of Lemma 3.1 for Taylor expansions of f'f'_* and ∇φ.
domain assumption For the four-wave equation, |V|² is invariant under transformations between v, v*, v', v'_* so that Q can be written in divergence form as -π∇·(|V|²ff*f'f'_*∇f^{-1}).
Section 2.4 states 'We assume that |V|² is invariant under the transformations between v,v*,v' and v'_*'. This invariance is needed for the divergence-form representation used throughout.
domain assumption The angular kernel for the small-angle limit has the form |V|² = B(|v-v*|)²b(θ) with β(θ)=sin^{d-2}θ b(θ) supported in [0,π/2], β ≳ θ^{-2}, and fixed second moment ∫θ²β = 8(d-1)/|S^{d-2}|, with concentration scaling β_ε(θ)=π³/ε³β(πθ/ε).
Section 3.1 postulates this angular ansatz and the scaling; the limit equation (3.2) depends on this concentration assumption.
standard math The GENERIC formalism, with antisymmetric L satisfying the Jacobi identity, symmetric positive semidefinite M, and degeneracy conditions, is applicable to the kinetic phase-space equations considered; the Jacobi identity for the Vlasov-style operator L is cited from [DPZ13].
Background framework from [Ott05; PKG18] is used as the target structure; the Jacobi check for L is cited to [DPZ13].

how reviews work

0 comments

Cite this review

Pith. "Pith review of GENERIC formulation and small-angle limit for Kinetic wave equations." pith.science (2026). https://pith.science/paper/CSPKVOTS

@misc{pith2026250813871,
  author       = {Pith},
  title        = {Pith review of: GENERIC formulation and small-angle limit for Kinetic wave equations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CSPKVOTS}},
  note         = {Machine review of arXiv:2508.13871}
}

read the original abstract

In this paper, we formulate the three-wave and four-wave kinetic equations into the GENERIC framework and formally derive a small-angle limit for the four-wave equation. This limit is akin to the well-known grazing limit from the kinetic Boltzmann equation to the kinetic Landau equation. We also show the GENERIC structure of the limiting system.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

3 extracted references · 2 canonical work pages

[816]

On a new class of weak solutions to the spatially homo- geneous Boltzmann and Landau equations

issn: 1079-9389. [Vil98] C. Villani. “On a new class of weak solutions to the spatially homo- geneous Boltzmann and Landau equations”. In: Archive for rational mechanics and analysis 143.3 (1998), pp. 273–307. [ZLF12] V. E. Zakharov, V. S. L’vov, and G. Falkovich. Kolmogorov spectra of turbulence I: Wave turbulence . Springer Science & Business Media, 201...

work page 1998
[2023]

Full derivation of the wave kinetic equation

url: https://arxiv.org/abs/2301.07063. [DH23b] Y. Deng and Z. Hani. “Full derivation of the wave kinetic equation”. In: Invent. Math. 233.2 (2023), pp. 543–724. issn: 0020-9910. [DH25] M. H. Duong and Z. He. “On a fuzzy Landau Equation: Part I. A variational approach”. In: arXiv preprint arXiv:2504.07666 (2025). [DO23] M. H. Duong and M. Ottobre. “Non-rev...

arXiv 2023
[7715]

GENERIC formalism of a Vlasov-Fokker-Planck equation and connection to large-deviation principles

eprint: arXiv:1302.1024v1. [EH25] M. Erbar and Z. He. “A variational approach to a fuzzy Boltzmann equation”. In: Nonlinearity 38.5 (2025), p. 055019. doi: 10 . 1088 / 1361-6544/adcb7e. [Erb23] M. Erbar. “A gradient flow approach to the Boltzmann equation”. In: J. Eur. Math. Soc., online first (2023). [GBE22] J. Guioth, F. Bouchet, and G. L. Eyink. “Path ...

work page Pith review arXiv 2025

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.

[1] [816]

On a new class of weak solutions to the spatially homo- geneous Boltzmann and Landau equations

issn: 1079-9389. [Vil98] C. Villani. “On a new class of weak solutions to the spatially homo- geneous Boltzmann and Landau equations”. In: Archive for rational mechanics and analysis 143.3 (1998), pp. 273–307. [ZLF12] V. E. Zakharov, V. S. L’vov, and G. Falkovich. Kolmogorov spectra of turbulence I: Wave turbulence . Springer Science & Business Media, 201...

work page 1998

[2] [2023]

Full derivation of the wave kinetic equation

url: https://arxiv.org/abs/2301.07063. [DH23b] Y. Deng and Z. Hani. “Full derivation of the wave kinetic equation”. In: Invent. Math. 233.2 (2023), pp. 543–724. issn: 0020-9910. [DH25] M. H. Duong and Z. He. “On a fuzzy Landau Equation: Part I. A variational approach”. In: arXiv preprint arXiv:2504.07666 (2025). [DO23] M. H. Duong and M. Ottobre. “Non-rev...

arXiv 2023

[3] [7715]

GENERIC formalism of a Vlasov-Fokker-Planck equation and connection to large-deviation principles

eprint: arXiv:1302.1024v1. [EH25] M. Erbar and Z. He. “A variational approach to a fuzzy Boltzmann equation”. In: Nonlinearity 38.5 (2025), p. 055019. doi: 10 . 1088 / 1361-6544/adcb7e. [Erb23] M. Erbar. “A gradient flow approach to the Boltzmann equation”. In: J. Eur. Math. Soc., online first (2023). [GBE22] J. Guioth, F. Bouchet, and G. L. Eyink. “Path ...

work page Pith review arXiv 2025