{"id":"6fe84981-24a0-4f22-9bf4-41b490ddd485","arxiv_id":"2508.13871","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"This paper writes the three-wave and four-wave kinetic equations as GENERIC thermodynamic systems and formally derives a Landau-type small-angle limit for the four-wave equation, with a GENERIC structure for the limiting system.","lead":"This paper casts the three-wave and four-wave kinetic equations of wave turbulence into the GENERIC thermodynamic framework and formally derives a small-angle, grazing-like limit of the four-wave equation that produces a Landau-type limiting equation.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.1's p-average is incorrect: with the proper cosθ expansion the small-angle limit does not reduce to the claimed Landau-type operator (3.2).","rationale":"The reader already flagged factor inconsistencies in Section 3.2, including the missing 1/2 in (3.8), and therefore read the paper as conditional. My analysis goes further: the inconsistency is not a typo that can be absorbed by redefining the normalization. The correct Taylor expansion of the discrete gradient ∇φ is incompatible with the total-divergence identity in Lemma 3.1. An explicit local computation shows the Lemma's RHS vanishes while the exact p-sum is nonzero at order θ², and the same mismatch appears for the actual four-wave integrand with a Gaussian f. Since the small-angle limit claim is the paper's headline novelty, the central claim is unsupported and contradicted by direct computation. The GENERIC formulations in Sections 2.3–2.4 and the verification of the GENERIC structure for the limiting operator are separate and appear to survive, but the claimed derivation of that limiting operator is the load-bearing step and it fails.","tokens_in":17599,"tokens_out":61047,"duration_ms":546854,"concrete_test":"Run the following analytic check in d=2. Fix v=0, v∗=r e₁, B=1. (a) With f≡1 (regularized by a smooth cutoff on a large ball), compute the exact S⁰-sum Σ_{p=±}[φ(v′_p)+φ(v′_{∗p})−φ(v∗)−φ(0)] for φ=|v|⁴ to order θ²; the exact coefficient is −r⁴, while the RHS of Lemma 3.1 is 0. (b) With f=e^{−|v|²} and φ=f^{−1}=e^{|v|²}, compute the exact S⁰-sum of ff∗f′f′∗∇φ to order θ² and compare with the paper's expression after Lemma 3.1 multiplied by ff∗; the coefficients differ by a factor r. If either check reproduces the mismatch, the small-angle limit (3.2) is not the formal limit of (3.1)–(3.3).","verdict_should_be":"REJECT","load_bearing_attack":"Section 3.2's limit rests entirely on Lemma 3.1. Its proof uses (3.6) with (cosθ−1)=−θ²+o(ε²); the true expansion is −θ²/2+o(ε²). The missing 1/2 flows into (3.8) and into the claimed total-divergence identity. Recomputing the p-average with the correct expansion gives an additional term that is not a v-divergence: for d=2, f≡1, φ=|v|⁴, v=0, v∗=r e₁, the exact sum over S⁰ of f′f′∗∇φ equals −r⁴θ²+O(θ⁴), while the RHS of Lemma 3.1 vanishes (P=0 and ΠN=0). The example is local and survives smooth cutoff regularization. The failure is not restricted to this test pair: for the actual integrand with B=1, d=2, f=e^{−|v|²}, φ=f^{−1}=e^{|v|²}, v=0, v∗=r e₁, the exact S⁰-sum of ff∗f′f′∗∇φ has θ²-coefficient −(r²/2)e^{−2r²}(e^{r²}−1), whereas the paper's identity (Lemma 3.1 followed by multiplication by ff∗) predicts −(r/2)e^{−2r²}(e^{r²}−1). So the claimed convergence to (3.2) is not a harmless factor slip; a nonzero term of order one in ε survives, and the limiting equation would differ from (3.2). The GENERIC checks of Section 2 are independent and are not the issue.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":17928,"tokens_out":42948,"duration_ms":377001,"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":[{"comment":"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":"Section 3.2, Lemma 3.1, Eqs. (3.6), (3.8), (3.11)"},{"comment":"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.","section":"Section 3.1, Eq. (3.3)"}],"minor_comments":[{"comment":"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":"Section 2.3"},{"comment":"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":"Section 3.2, Lemma 3.1"},{"comment":"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.","section":"Section 3.1"},{"comment":"There is a typo: \"Poison operator\" should be \"Poisson operator\".","section":"Remark 2.1"},{"comment":"The phrase \"the operator M1 induces to Wasserstein metric\" should be \"M1 induces the Wasserstein metric\" or similar.","section":"Remark 2.2"},{"comment":"The title has an unnecessary space in \"FORMULA TION\", and the affiliation line contains \"F akult¨at\"; these should be corrected in a revision.","section":"Various"}],"recommendation":"reject","confidential_remarks":"The GENERIC verification in Sections 2.3-2.4 appears correct and, on its own, could support a publishable paper on the GENERIC structure of wave kinetic equations. However, the small-angle limit is a second advertised contribution, and it is invalid: Lemma 3.1 is false, the factor errors and the unjustified chord-average limit are not cosmetic, and the counterexample indicates that the limit operator is not (3.2). Because the central claim of the paper as a whole is the combined GENERIC-plus-small-angle-limit story, I recommend rejection of the manuscript in its present form. The authors may wish to resubmit a version focusing exclusively on the GENERIC formulation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nSection 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.\n\nMinor 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.\n\nWho 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.","headline":"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.","tokens_in":18519,"tokens_out":8684,"would_cite":false,"duration_ms":91093,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q20","82C05","35B25"],"pacs":[],"model":"deepseek-v4-flash","headline":"Kinetic wave equations fit GENERIC thermodynamics, and their small-angle limit is a Landau-type equation.","keywords":["wave kinetic equations","GENERIC","small-angle limit","grazing limit","Landau equation","wave turbulence","H-theorem","four-wave interaction"],"falsifier":"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.","tokens_in":17324,"feed_emoji":"🌊","tokens_out":8216,"duration_ms":74417,"temperature":0.7,"pith_summary":"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.","feed_headline":"Four-wave kinetic equation converges to a Landau-type limit","feed_subtitle":"The same thermodynamic GENERIC structure covers the wave collisions and survives the small-angle limit.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Introduces the GENERIC formalism whose building blocks the paper adapts to wave kinetic equations.","marker":"[G¨O97a; G¨O97b]"},{"why":"Provides the GENERIC formulation of the Boltzmann equation that serves as the template for the wave kinetic construction.","marker":"[¨Ott97]"},{"why":"Supplies the asymptotic technique, including the sphere expansion, used in Lemma 3.1 for the small-angle limit.","marker":"[Vil96]"},{"why":"Gives the gradient-flow perspective on the Boltzmann-to-Landau grazing limit that the paper mirrors.","marker":"[CDW22]"},{"why":"Provides the parametrisation of the four-wave resonant manifold used to write the collision operator in divergence form.","marker":"[AMPT25; AL24]"},{"why":"Cited for the Poisson structure and integration-by-parts identities underlying the L and M operators and the variational formulation.","marker":"[DPZ13]"},{"why":"Recent GENERIC treatment of the Landau equation used as comparison for the limiting system.","marker":"[DH25]"}],"fun_headline_variants":["Kinetic wave equations fit GENERIC, yield Landau-type limit","Four-wave equation converges to Landau-type limit under grazing","GENERIC structure survives small-angle limit for kinetic waves","Angular concentration scaling yields Landau-type kinetic equation","Small-angle limit of four-wave equation: Landau-type dynamics"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Kinetic wave equations fit GENERIC, yield Landau-type limit","Four-wave equation converges to Landau-type limit under grazing","GENERIC structure survives small-angle limit for kinetic waves","Angular concentration scaling yields Landau-type kinetic equation","Small-angle limit of four-wave equation: Landau-type dynamics"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000523,"raw_usage":{"total_tokens":2482,"prompt_tokens":855,"completion_tokens":1627,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":471,"completion_tokens_details":{"reasoning_tokens":1544}},"tokens_in":471,"tokens_out":1627,"duration_ms":10160,"temperature":1.0,"reasoning_tokens":1544,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T17:14:17.456622+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}