{"id":"dfb62cbe-8ad4-4b9d-8da6-d35ff8dab172","arxiv_id":"2505.00267","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"high","formal_verification":"none","parameter_count":3,"one_line_summary":"The paper constructs local classical solutions of the coupled wave-condensate kinetic system with singular Rayleigh-Jeans initial data and proves the condensate density strictly grows in time.","lead":"This mathematics paper proves that a kinetic equation for three-wave interactions in a Bose gas with a condensate admits local classical solutions whose wave density behaves like λ(τ)/X near zero frequency. Because of that singular behavior, the condensate density is shown to strictly increase in time, confirming a formal prediction from the physics literature.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 9.1 drops the λ(t)² factor in the wave flux, so Section 9.1's n(τ)=e^{π²τ/3} cannot satisfy the theorem's n(τ)=n(0)exp((π²/3)∫λ²); the advertised condensate-growth claim is not proved as stated.","rationale":"I read the paper in good faith. The construction is substantial: the linearization around X^{-1}, the semigroup estimates quoted from [9,10], and the fixed point argument in Section 8 are elaborate, and I did not find an obvious internal error in the contraction argument itself, assuming Propositions 2.1, 2.2 and Lemma 2.3 are correct. The problem is in the final, decisive step connecting the t-space solution to the original τ-space system. The missing λ² in Proposition 9.1 is not a harmless typo: Theorem 1.1 explicitly states n(τ)=n(0)exp((π²/3)∫λ²), while Section 9.1's n(τ)=e^{π²τ/3} gives a different ODE. Since the whole motivation of the paper is that the singular Rayleigh-Jeans tail makes n nonconstant through the λ²-dependent flux, this error directly invalidates the headline result. The proof may be repairable by correcting the flux to −(π²/3)λ² and then solving dτ/dt=1/n together with n′=(π²/3)λ²n, but as printed the theorem is not proved. I also note the parameter range gap: Theorem 1.1 claims r∈[0,1/2), q∈[0,3), while the proofs of Theorem 1.2 and Proposition 8.2 require 0<r<1/2 and q<3/2; this is a separate gap, but the λ² issue is more fundamental. The reader's REJECT verdict is therefore corroborated, and my stress-test does not change it.","tokens_in":63380,"tokens_out":8507,"duration_ms":83452,"concrete_test":"Independently recompute the flux for the leading singular term: take f_ε(X)=λ X^{-1} on (ε,∞), evaluate Aδ(f_ε,f_ε)=∫_δ^∞ ~Q(f_ε,f_ε)X^{1/2}dX and take δ→0, ε→0. If the limit is −(π²/3)λ² rather than −π²/3, Proposition 9.1 is wrong as printed. Then check Section 9.1: with the corrected flux, the relation n′/n=−∫~Q(F,F)X^{1/2} forces n′/n=(π²/3)λ(τ)², and the explicit n(τ)=e^{π²τ/3} used in the paper only satisfies this if λ≡1; solving the corrected ODE for n and comparing with (1.14) will settle whether the theorem's stated growth formula can be recovered.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The decisive flaw is in the proof of the advertised condensate growth. In Proposition 9.1, f_<(t,X)=λ(t)F_1(X)+h(t,X) is inserted into Aδ(f_<,f_<). The displayed decomposition contains λ(t)^2 Aδ(F1,F1)+λ(t)Aδ(F1,h)+..., but the conclusion reads ∫~Q(f,f)X^{1/2}=−π²/3, dropping the factor λ(t)^2. The subsequent argument shows the cross terms vanish, so the correct limit is −(π²/3)λ(t)^2. Section 9.1 uses the incorrect value to set n(τ)=e^{π²τ/3}, which gives n′/n=π²/3 independent of λ. Theorem 1.1 requires n′/n=(π²/3)λ(τ)^2. These agree only if λ≡1, which is not established and is generally false: the fixed-point β is only shown to lie in |β−1|<1/4 and is not constant. Consequently the time change t=∫n and formula (1.14) are inconsistent; the central claim that the condensate density strictly increases according to the λ² formula is unsupported. A secondary issue: Theorem 1.1 states r∈[0,1/2), q∈[0,3), but Theorem 1.2 and the proof of Proposition 8.2 only cover r∈(0,1/2), q∈(0,3/2) (with q<3/2 used explicitly), so the stated endpoint and range extension is also not justified.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the coupled wave-turbulence/condensate system (1.1)-(1.3) and claims local classical solutions whose wave density behaves as F(τ,X) ≈ λ(τ)/X near X=0, with condensate density satisfying n(τ)=n(0)exp((π²/3)∫λ²). The proof is based on an ansatz f=λϕ+g/X, a fixed-point argument in weighted spaces X_{-r,r+q}, detailed semigroup estimates for the linearized operator L, and an explicit flux computation for the singular part X^{-1}. Theorem 1.2 establishes existence in a restricted parameter range, and Theorem 1.1 is then stated for r∈[0,1/2), q∈[0,3), together with conservation laws (1.15), (1.16).","tokens_in":63698,"tokens_out":7869,"duration_ms":76923,"significance":"If the main result were valid, it would provide a rigorous construction of singular Rayleigh-Jeans-type fluctuations and prove the formal prediction that the condensate density is not constant in time. The paper contains substantial technical work: explicit Mellin representation of the semigroup, pointwise bounds in Propositions 2.1-2.2, the new regularizing Lemma 2.3, and a contraction fixed point in which λ is determined rather than fitted. These are valuable ingredients. However, the central advertised conclusion is presently not established because of the dropped λ² factor in the flux computation and because the theorem statement claims a parameter range not covered by the proof. The paper is therefore best viewed as a substantial but incomplete draft whose main claim needs repair.","major_comments":[{"comment":"The flux computation drops the factor λ(t)². In the proof of Proposition 9.1 the decomposition is Aδ(f<,f<)=λ(t)²Aδ(F1,F1)+λ(t)Aδ(F1,h)+λ(t)Aδ(h,F1)+Aδ(h,h). The proof then shows Aδ(F1,F1)→-π²/3 and that the cross terms and Aδ(h,h) vanish, so the rigorous conclusion is ∫~Q(f(t),f(t))√X dX = -(π²/3)λ(t)², not -π²/3. Section 9.1 uses the constant value to set n'/n=π²/3, whereas Theorem 1.1, Eq. (1.14), requires n'/n=(π²/3)λ(τ)². Since λ is only known to satisfy |β−1|<1/4 and is not shown to be identically 1, the constructed n does not satisfy (1.14), and the claimed inversion of the time change (1.4) is inconsistent. This is the central advertised property and must be corrected, for instance by defining n through n'/n=(π²/3)λ² and adjusting the time change accordingly.","section":"§9, Proposition 9.1 and §9.1"},{"comment":"Theorem 1.1 is stated for r∈[0,1/2), q∈[0,3), but the only existence result proved, Theorem 1.2, covers r∈(0,1/2), q∈(1,3/2). The proof of Proposition 8.2 explicitly restricts to 0<r<1/2 and 0<q<3/2. Moreover, Proposition 9.1 relies on the assertion that h(t)=g(t)/X belongs to L1(0,∞), which requires r>0 and q>0; for r=0 or q=0 this integrability fails. Thus the endpoint r=0 and values q∈[0,1] or q≥3/2, including all q=0 cases, are not covered by the arguments, and the theorem statement must be restricted accordingly or supplied with additional proofs.","section":"Theorem 1.1 vs Theorem 1.2"},{"comment":"The proof that Φ∈L1((0,∞)²) is completed by the statement 'I2,1 finite if q−r>1' in the estimate of I2,1. This condition q−r>1 is not assumed in Theorem 1.1 (nor in Theorem 1.2), so the conservation law (1.16) is not established for the stated parameter range. The assertion that (1.16) 'follows from the symmetry properties of ~Q' is not sufficient for the singular functions considered here; a separate argument is needed under the hypotheses actually used, or the theorem must be restricted to q−r>1.","section":"§9, proof of (1.16)"}],"minor_comments":[{"comment":"Equation (7.1) contains a typographical error: it reads 'g(t)=g(τ)/τ', which is dimensionally inconsistent; it should presumably define the change of variables g(t)=g(τ), τ=∫β^{-1}dt, and this should be written carefully.","section":"§7, Eq. (7.1)"},{"comment":"The symbol B(1) is used before the function B(s) is defined in (10.20)-(10.22); please give the definition or a reference at first use.","section":"§2, use of B(1)"},{"comment":"The text contains many OCR-like artifacts (e.g., '/BD', 'bracehtipupleft', and stray vertical bars in displayed formulas) that make the paper unnecessarily hard to read and should be removed in the final version.","section":"Throughout"},{"comment":"The sentence 'Property (1.15) follows from the very definition of n(τ)' appears before n has been linked to the ODE; the argument should be spelled out or moved after n is defined.","section":"§9.1, property (1.15)"}],"recommendation":"major_revision","confidential_remarks":"The paper builds directly on the author's earlier work [9,10], and the semigroup part is technically substantial. My main reservation is not novelty but correctness of the final flux/time-change step and the mismatch between the stated theorem and the proven parameter range. I believe the dropped λ² factor is repairable and the parameter-range issue can be fixed by a more modest theorem statement, so I do not recommend rejection, but the manuscript is not acceptable in its current form."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague, here is my take. What is new: this is the first local classical existence result for solutions with F behaving like λ(τ)/X near zero while the condensate density evolves, and the paper earns its keep with a genuinely new regularizing estimate (Lemma 2.3), a long fixed point construction, and an explicit computation of the flux toward zero frequency. This is not a repackaging. If the central claim held, it would be a significant rigorous confirmation of Spohn's formal prediction.\n\nThe soft spots are real and load-bearing. In Proposition 9.1 the decomposition has λ(t)² Aδ(F1,F1), but the displayed conclusion is ∫ Q(f,f) X^{1/2} = −π²/3, dropping the λ(t)² factor. The cross terms are shown to vanish, so the correct limit is −(π²/3)λ(t)². Section 9.1 then sets n(τ)=e^{π²τ/3}, giving n′/n=π²/3 independent of λ, while Theorem 1.1 requires n′/n=(π²/3)λ(τ)². These agree only if λ≡1, which is neither shown nor expected—the fixed point only puts β near 1. The time change t=∫n is therefore inconsistent with the stated formula, and the advertised strictly increasing condensate density is unsupported.\n\nThere is also a parameter-range mismatch, not a minor typo. Theorem 1.1 claims r∈[0,1/2), q∈[0,3), but Theorem 1.2 and the proof of Proposition 8.2 cover r∈(0,1/2), q∈(1,3/2), with q<3/2 used explicitly. The proof of conservation (1.16) additionally requires q−r>1, which fails for part of the stated range. A referee would need the author to prove the claimed endpoints or shrink the theorem accordingly.\n\nThe heavy reliance on the author's earlier work for the pole/zero structure of B(s) is not itself a flaw—it is inherited background—but it does mean a referee should verify those dependencies rather than assume them.\n\nWho is this for? Specialists in wave turbulence kinetic equations and kinetic theory with singular equilibria. The underlying strategy looks repairable, and the new regularizing estimate may have independent value, but the printed central theorem is not established. I would send it to peer review and ask for revision rather than desk-reject: the flaws are concrete and fixable in principle, and the payoff is high if the λ² issue is resolved.","headline":"Technically serious and genuinely new construction, but the main theorem as printed is not proven: the flux computation drops a λ² factor, so the advertised condensate growth formula and time change do not follow.","tokens_in":64278,"tokens_out":3266,"would_cite":false,"duration_ms":35935,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["45K05","45A05","45M05","82C40","82C05","82C22"],"pacs":[],"model":"deepseek-v4-flash","headline":"A singular Rayleigh-Jeans wave profile makes the condensate density grow, not stay constant.","keywords":["wave turbulence","three waves collisions","condensate","classical solution","singular Rayleigh-Jeans equilibrium","kinetic equation","semigroup estimates","fixed point"],"falsifier":"Numerically evaluate the meromorphic function $B(s)$ defined by (10.20)--(10.22) in the strip $0<\\Re(s)<2$ and compare its first poles and zeros with Proposition 10.2; a single mismatch would break the semigroup estimate (2.7) and the fixed-point construction. Separately, for a numerically constructed solution of the form $F=(\\lambda\\phi+g)/X$, one could measure the flux $\\lim_{\\delta\\to0}\\int_\\delta^\\infty \\tilde Q(F,F)\\sqrt{X}\\,dX$ and check whether it equals $-\\pi^2\\lambda^2/3$.","tokens_in":63101,"feed_emoji":"🌊","tokens_out":8415,"duration_ms":79020,"temperature":0.7,"pith_summary":"This paper proves that the kinetic system describing three-wave interactions around a condensate admits local classical solutions whose wave density is singular at zero frequency, with $F(\\tau,X)\\sim\\lambda(\\tau)/X$ as $X\\to0$. The result matters because such singular behavior makes the condensate density increase in time: $n(\\tau)=n(0)\\exp\\big((\\pi^2/3)\\int_0^\\tau \\lambda(s)^2\\,ds\\big)$, whereas a regular density near $X=0$ would leave $n$ constant. The construction splits the solution into a singular leading term and a correction, linearizes the collision operator around the equilibrium $X^{-1}$, and closes a fixed-point argument using new semigroup smoothing estimates. If the theorem is right, it supplies a rigorous mechanism for condensate growth in wave turbulence and validates a formal prediction based on the flux of waves toward zero frequency.","feed_headline":"Singular wave profile makes condensate density grow","feed_subtitle":"Local classical solutions with F ~ λ/X give a strictly increasing condensate density, not a constant one.","key_machinery":"The argument is carried by the ansatz $f(t,X)=\\big(\\lambda(t)\\phi(X)+g(t,X)\\big)/X$, which separates the singular Rayleigh-Jeans leading term $\\lambda/X$ from a correction $g/X$. Substitution linearizes the collision operator around $X^{-1}$ into the operator $L$ defined in (1.21); the paper studies the semigroup $S(t)$ generated by $L$, whose fundamental solution is known explicitly through the Mellin transform and the meromorphic function $B(s)$ of (10.20)--(10.22). The new Lemma 2.3 uses the pole-zero structure of $B$ to prove a modulus-of-continuity estimate for $u(t,X)/X$ in terms of an integrable function $\\Omega_{2\\theta}$, and this integrability is what allows the flux integral to be evaluated as $-\\pi^2\\lambda^2/3$. A fixed-point argument on $g$ and $\\lambda$, with $\\lambda$ solving the integral equation (8.1), yields the local classical solution.","core_discovery":"The paper establishes that the coupled three-wave kinetic system with a condensate has local classical solutions whose wave-density component is singular at zero frequency, behaving as $F(\\tau,X)=\\lambda(\\tau)/X+o(1/X)$ as $X\\to0$, for a positive function $\\lambda$ determined by the initial data. With the condensate density defined by $n(\\tau)=n(0)\\exp\\big((\\pi^2/3)\\int_0^\\tau \\lambda(s)^2\\,ds\\big)$, the pair $(F,n)$ satisfies the system pointwise and in $L^\\infty_{\\mathrm{loc}}(L^1_{\\mathrm{loc}})$, conserves total wave number and energy, and makes $n$ strictly increasing. The strictly increasing $n$ is the paper's central discovery: a regular behavior of $F$ near $X=0$ would force $n$ to be constant by Fubini's theorem, so the singular Rayleigh-Jeans behavior is exactly what drives the condensate growth. The flux of waves toward zero frequency is computed as $-\\pi^2\\lambda^2/3$, matching a formal prediction.","pith_inferences":["If the local-in-time singular solutions persist globally, they would provide a rigorous kinetic explanation of condensate growth from a Rayleigh-Jeans spectrum, going beyond the formal computation quoted from the literature.","The exact prefactor $\\pi^2/3$ appears independent of the cut-off profile $\\phi$ and of $R$; one could test whether the flux integral is a universal constant for any solution with leading order $\\lambda/X$, linking the result to universality of wave-turbulence spectra.","The same linearized-operator and semigroup strategy could be tried on the Bose-gas variant with operator $\\tilde Q_q$ by treating the additional particle-only collision terms as a perturbation, as the author suggests in a remark; a proof would extend the result to the Nordheim equation with condensate.","A numerical experiment could check the predicted growth law $n(\\tau)=n(0)\\exp\\big((\\pi^2/3)\\int_0^\\tau\\lambda(s)^2\\,ds\\big)$ for approximate solutions, providing an observable signature distinguishing singular from regular equilibria."],"forward_implications":["The condensate density increases strictly on $(0,T)$, so the singular wave profile at zero frequency actively feeds the condensate rather than leaving it static.","The total number of waves and the energy remain conserved, so the growth of $n$ is financed by a transfer of waves toward zero frequency, not by loss from the system.","Any truncation of $F$ as a regular function near $X=0$ would miss the nonzero flux; the form $\\lambda/X$ is the natural leading order for non-equilibrium condensate dynamics.","The local classical solution exists for a family of initial perturbations $\\phi(X)/X$ with $\\phi\\equiv1$ near zero and $\\phi'\\le0$, so the theorem covers a large class of perturbations of the equilibrium $X^{-1}$.","Equation (1.14) gives an explicit exponential-in-$\\int\\lambda^2$ law for $n$, so the rate of condensate growth is controlled by the time-integrated square of the singular coefficient $\\lambda$."],"supporting_citations":[{"why":"Supplies the semigroup estimates (Propositions 2.1 and 2.2) for the linearized operator $L$ that the fixed-point argument needs.","marker":"[10]"},{"why":"Provides the explicit fundamental solution and the pole-zero structure of $B(s)$ used to prove the regularizing Lemma 2.3.","marker":"[9]"},{"why":"Contributes the formal computation that a singular $F$ near $X=0$ produces a nonzero flux and time-dependent condensate density, which Theorem 1.1 makes rigorous.","marker":"[23]"},{"why":"Establishes global weak solutions for the same system, the baseline regularity that Theorem 1.1 upgrades to local classical solutions.","marker":"[16]"},{"why":"Derives the two-equation condensate-fluctuation system from optical turbulence and weak turbulence theory.","marker":"[7]"},{"why":"Justifies the kinetic wave equation for the 3D cubic NLS from which the system is obtained.","marker":"[6]"}],"fun_headline_variants":["Singular wave profile drives condensate growth","Rayleigh-Jeans singularity boosts condensate density","At origin, singularity forces condensate to rise","Condensate grows: singular wave profile does it","Strictly increasing condensate from a singular flux"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole construction stands on the sharp semigroup estimates for the linearized operator, which in turn depend on the exact locations of the poles and zeros of the function $B(s)$; if any of those locations or the quoted fundamental-solution formula is wrong, the fixed point that produces the solution does not close.","fun_headline_variants_meta":{"raw":{"variants":["Singular wave profile drives condensate growth","Rayleigh-Jeans singularity boosts condensate density","At origin, singularity forces condensate to rise","Condensate grows: singular wave profile does it","Strictly increasing condensate from a singular flux"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000533,"raw_usage":{"total_tokens":2519,"prompt_tokens":853,"completion_tokens":1666,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":469,"completion_tokens_details":{"reasoning_tokens":1593}},"tokens_in":469,"tokens_out":1666,"duration_ms":13669,"temperature":1.0,"reasoning_tokens":1593,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T04:47:13.817290+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically evaluate the meromorphic function $B(s)$ defined by (10.20)--(10.22) in the strip $0<\\Re(s)<2$ and compare its first poles and zeros with Proposition 10.2; a single mismatch would break the semigroup estimate (2.7) and the fixed-point construction. Separately, for a numerically constructed solution of the form $F=(\\lambda\\phi+g)/X$, one could measure the flux $\\lim_{\\delta\\to0}\\int_\\delta^\\infty \\tilde Q(F,F)\\sqrt{X}\\,dX$ and check whether it equals $-\\pi^2\\lambda^2/3$.","supporting_citations":[{"cited_title":"Escobedo, Regularizing effects in a linear kinetic equ ation for cubic interactions, J","cited_arxiv_id":null,"evidence_quote":"Supplies the semigroup estimates (Propositions 2.1 and 2.2) for the linearized operator $L$ that the fixed-point argument needs."},{"cited_title":"Escobedo, Classical approximation of a linearized th ree waves kinetic equation","cited_arxiv_id":null,"evidence_quote":"Provides the explicit fundamental solution and the pole-zero structure of $B(s)$ used to prove the regularizing Lemma 2.3."},{"cited_title":"Spohn, Kinetics of Bose Einstein Condensation, Phys.D 239 (2010), 627-634","cited_arxiv_id":null,"evidence_quote":"Contributes the formal computation that a singular $F$ near $X=0$ produces a nonzero flux and time-dependent condensate density, which Theorem 1.1 makes rigorous."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes global weak solutions for the same system, the baseline regularity that Theorem 1.1 upgrades to local classical solutions."},{"cited_title":"Dyachenko, A","cited_arxiv_id":null,"evidence_quote":"Derives the two-equation condensate-fluctuation system from optical turbulence and weak turbulence theory."}],"review_version":1}