{"id":"21cbd74e-7016-4a46-8741-32596a7cae04","arxiv_id":"2506.09863","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Small localized data in H^4000 for the 3D Klein-Gordon-Schrödinger system produce global solutions that decay and scatter to free waves.","lead":"High-regularity small-data scattering is proved for the three-dimensional Klein-Gordon-Schrödinger system, a coupled semilinear system describing nucleon-meson interactions and plasma oscillations from the Hartree equation with Coulomb potential. The proof handles a two-dimensional space-time resonant set without null form structure, extending the space-time resonance method to a case where previous tools stopped.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The bootstrap closure depends on the unverified S∞-norm bound A=10 in Corollary 2.6; the critical inequality (A+3)δ3<3δ1 has only a 3.5e-5 margin, so the parameter choice needs independent verification.","rationale":"We read Theorem 1.1 as the central claim. The proof is a standard space-time resonance bootstrap and, apart from the parameter closure, the estimates are coherent. We checked the other \"provided that\" inequalities: most have wide margins; the only genuinely tight one is (A+3)δ3<3δ1. The reader's weakest_assumption identifies the same issue. Since Corollary 2.6 is unproved, the conditional verdict is appropriate; our proposed check would settle it. No significant internal inconsistency or missing hypothesis was found elsewhere in the proof of Theorem 1.1. Theorem 1.2 is only sketched, but it is a secondary generalization and the reader already flags it.","tokens_in":23396,"tokens_out":17862,"duration_ms":182724,"concrete_test":"Verify Corollary 2.6 for m7 and m8 (defined in §2.5) by direct estimation: for δ3=5.05e−4 and s=2^j (j=10,...,30), compute or bound ||m7||_{S∞} and ||m8||_{S∞} using ||m||_{S∞} ≤ ||m||_{H^{7/2}_{ξ,η}} on the support |(ξ,η)|≤2M s^{δ3}; fit the largest growth exponent A such that ||m||_{S∞} ≤ C s^{Aδ3}. The check passes only if the fitted A is < 10.0693, the threshold forced by (A+3)δ3<3δ1. A purely analytic alternative: count the worst-case derivatives of χ_{Sg}^{s^{-δ3}}, χ_{Tg}^{s^{-δ3}}, φ((ξ,η)/(Ms^{δ3})) and Φ_g^{-1} in the H^{7/2} norm and prove an explicit A≤10.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.1 is proved by a bootstrap whose closure in Propositions 4.3, 4.4 and 5.3 uses Corollary 2.6: ||m7||_S∞, ||m8||_S∞ ≤ C s^{Aδ3} and ||m3^s||, ||m4^s|| ≤ C s^{Aδ2}. Section 2.6 merely states \"It can be shown that A=10 is acceptable\" with no derivation. The load-bearing inequality is the final condition in Proposition 5.3, (A+3)δ3 − 3δ1 < 0, coming from the m8 term. With δ1=2.2e−3, δ3=5.05e−4, this requires A < 10.0693; the chosen A=10 leaves only 3.5e−5 in the exponent. If a more careful estimate gives A≥10.07, the v-decay estimate ||v(t)||_{L^p} ≤ Cε0 t^{−1+3δ1} is not closed and the bootstrap for V± fails. The paper's stated N≥4000 is tied to δ3 ≥ 2/(N−4); while one could in principle rescue the theorem by increasing N, the proof as written would not support its stated parameter range. Since Corollary 2.6 is stated without proof, this is the most load-bearing gap.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the 3D Klein-Gordon–Schrödinger system (1.1) with quadratic nonlinearity and proves, for sufficiently small and localized initial data with N≥4000, global existence and scattering in H^N×H^N. The proof uses the space-time resonance method: Duhamel terms are decomposed into resonant, time-resonant, and space-resonant contributions, and a bootstrap closes energy, localization, and decay estimates for both the Schrödinger component F and the Klein-Gordon component G. The main theorem asserts explicit decay rates ||u(t)||_{W^{1,p}} ≲ ε0 ⟨t⟩^{-1/2-3δ1} and ||v(t)||_{L^p} ≲ ε0 ⟨t⟩^{-1+3δ1}, with scattering to free solutions. A secondary theorem extends the result to a generalized Klein-Gordon dispersion symbol ν(|k|).","tokens_in":23738,"tokens_out":4585,"duration_ms":49095,"significance":"If the proof is correct, this is a substantive result: it establishes small-data global existence and scattering for a system with a two-dimensional space-time resonant set and no null-form structure, which is exactly the difficult case for the space-time resonance method. The paper is well structured: the bootstrap is coherent, the parameter choices are explicit, and the reduction to bilinear symbol estimates is a clear route. The main weakness is that the crucial S∞-norm bound in Corollary 2.6 is asserted rather than proved; because the bootstrap inequalities have a very narrow margin for the selected parameters, this gap is load-bearing and must be addressed before the paper can be accepted.","major_comments":[{"comment":"Theorem 1.2 is stated as a full theorem, but its proof is only a sketch. In particular, the construction of the analogues of Lemmas 2.7–2.9 for the generalized symbol ν(|k|) is asserted to follow 'in the same way,' and the dependence of the symbol bounds on the constants c0, C0 is not tracked. Since Theorem 1.2 is a nontrivial extension of the main result and involves a new phase function, the reader cannot verify that all cutoff constructions carry over with the same parameters. Please either provide the complete details or state Theorem 1.2 as a remark with a precise indication of what must be checked.","section":null}],"minor_comments":[{"comment":"In the estimate for the term (4.6), the condition is stated as (A+3/2)δ3 − 3δ1 < 1/2. With the chosen numerical values this holds, but the displayed calculation '≤ ε^3 ...' seems to require an additional power of ε that is not explicitly tracked; please clarify the constant assignments in the final line.","section":"Section 4.3"}],"recommendation":"major_revision","confidential_remarks":"The decisive issue is the unproved S∞-norm bound in Corollary 2.6 and the extremely narrow margin in the bootstrap inequality (A+3)δ3 < 3δ1. I am not asking for machine-checked proofs, but a journal proof cannot leave a central numerical assertion of the form 'It can be shown that A=10 is acceptable' without derivation, especially because the surrounding parameter window is so tight. If the author can supply the missing symbol estimates, the paper would be a strong contribution. The self-citations are not problematic in context; they concern related but distinct results."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here is the one-line take: this paper claims global existence and scattering for small localized data for the 3D Klein-Gordon-Schrödinger system with quadratic coupling. That is a genuine open problem, and the proof structure is credible. But the paper currently hangs on an unproved constant A=10 in Corollary 2.6, and the parameter margins are so thin that a slightly worse constant would break the bootstrap.\n\nWhat is actually new: prior work on this system covered strong solutions, weak solutions, low-regularity well-posedness, and Lorentz-space scattering, but not Sobolev-space scattering with explicit decay. The main technical novelty is handling the two-dimensional space-time resonant set R_f+ for the Schrödinger part, which is the real difficulty. The generalized system in Theorem 1.2 is a reasonable addition.\n\nThe paper does a lot right. The bootstrap setup (energy, localization, decay) is coherent. The cutoff construction in Section 2.7 is detailed, the high-frequency cutoff argument is standard, and the decay estimates display the parameter conditions they need. The citation pattern is honest: self-citations are to the Hartree/plasmon motivation, not used to prop up the main theorem.\n\nNow the soft spot, and it is load-bearing. Corollary 2.6 states S∞ bounds for m7, m8, m3^s and m4^s with A=10, but Section 2.6 simply says 'It can be shown that A=10 is acceptable' with no derivation. The final closure condition in Proposition 5.3 is (A+3)δ3 < 3δ1. With δ1=2.2e-3 and δ3=5.05e-4, the margin is about 3.5e-5 in the exponent. If a more careful computation gives A≥10.07, the v-decay estimate fails to close, and Propositions 4.3, 4.4 and 5.3 break as written. This is not cosmetic; it is the hinge of the proof. Theorem 1.2 is also only sketched, which is acceptable for a bonus result but not the main event.\n\nMy own take: I cannot certify the theorem, but the gap is localized and likely fillable. A referee should not desk-reject this. It deserves a serious review, with the first request being a full proof of Corollary 2.6 or, failing that, a parameter choice with a less fragile margin. This paper is for specialists in dispersive PDE and space-time resonance; nonspecialists will get the structure but will not be able to verify the estimates without more detail.","headline":"Serious attack on a real open problem; the proof is coherent, but the load-bearing constant A=10 is asserted rather than proved and the parameter margin is razor-thin.","tokens_in":24188,"tokens_out":3213,"would_cite":false,"duration_ms":33024,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B40","35Q55","35L05","35Q41"],"pacs":[],"model":"deepseek-v4-flash","headline":"Small localized data in the 3D Klein-Gordon-Schrödinger system scatter to free waves.","keywords":["Klein-Gordon-Schrödinger system","global existence and scattering","space-time resonance method","small localized data","dispersive estimates","quadratic nonlinearity","plasma oscillations"],"falsifier":"Evaluate the $S^\\infty$ norm of the symbol $m_7=\\varphi((\\xi,\\eta)/(M s^{\\delta_3}))\\chi_{S_g}^{s^{-\\delta_3}}(i\\Phi_g)^{-1}$ for large $s$ near $\\xi=0$. If it grows faster than $s^{10\\delta_3}$, the condition $18\\delta_1>6(A+3)\\delta_3$ is violated for the paper's values $\\delta_1=2.2\\times 10^{-3}$, $\\delta_3=5.05\\times 10^{-4}$, and the decay estimates in Propositions 4.3, 4.4, and 5.3 would not follow.","tokens_in":23173,"feed_emoji":"🌊","tokens_out":8383,"duration_ms":84082,"temperature":0.7,"pith_summary":"The paper proves that small, sufficiently regular and localized initial data for the three-dimensional Klein-Gordon-Schrödinger system produce global solutions that decay and scatter to free waves at infinity. The result matters because the system is a standard model of particle-wave interaction whose two components disperse at different speeds, and its main obstruction is a two-dimensional space-time resonant set that does not come with a null-form cancellation. The proof uses the space-time resonance method to decompose the quadratic interactions and controls each piece with a bootstrap argument. The theorem requires high regularity, $N\\ge 4000$, but it gives explicit decay rates for both components and achieves global existence with scattering in $H^N\\times H^N$ for the physical three-dimensional case.","feed_headline":"Small data scatter in the 3D Klein-Gordon-Schrödinger system","feed_subtitle":"A resonance analysis tames the two-dimensional resonant set and shows decay to free waves.","key_machinery":"The central device is the space-time resonance method, which classifies frequencies where the phase is stationary in time and in frequency. The system is written in first-order form using $V^\\pm = (\\partial_t \\mp i\\langle\\nabla\\rangle)v$, and the profiles $f=e^{-it\\Delta}u$, $g^\\pm=e^{\\mp it\\langle\\nabla\\rangle}V^\\pm$ convert the nonlinearity into oscillatory integrals with phases $\\Phi_{f\\pm}=|\\xi|^2 \\pm \\langle\\eta\\rangle - |\\xi-\\eta|^2$ and $\\Phi_g = \\langle\\xi\\rangle - |\\xi-\\eta|^2 + |\\eta|^2$. The main object is the union of space-time resonant sets $R=\\{\\Phi=0\\}\\cap\\{\\nabla_\\eta\\Phi=0\\}$; for the plus-Schrödinger phase it is the two-dimensional manifold $R_{f+}=\\{\\xi=\\lambda\\eta,\\ |\\eta|=R\\}$ with $\\lambda=1+1/(2\\langle R\\rangle)$, while the minus and Klein-Gordon resonant sets are empty. The proof splits the Duhamel terms by cutoffs $\\chi_T,\\chi_S,\\chi_R$ into time-resonant, space-resonant, and fully resonant pieces, and controls each piece through Coifman-Meyer type bilinear estimates and the symbol bounds collected in Corollary 2.6.","core_discovery":"The central claim is Theorem 1.1: if $\\epsilon_0 = \\|u_0\\|_{H^N}+\\|x u_0\\|_{H^1}+\\|v_0\\|_{H^N}+\\|v_1\\|_{H^{N-1}}+\\|x v_0\\|_{H^4}+\\|x v_1\\|_{H^3}$ is finite and sufficiently small and $N\\ge 4000$, then the system has a unique global solution $(u(t),v(t))$ in $H^N\\times H^N$ satisfying $\\|u(t)\\|_{W^{1,p}}\\le C\\epsilon_0\\langle t\\rangle^{-1/2-3\\delta_1}$ and $\\|v(t)\\|_{L^p}\\le C\\epsilon_0\\langle t\\rangle^{-1+3\\delta_1}$, and the solution scatters to a free Schrödinger/Klein-Gordon solution with rate $\\epsilon_0^2\\langle t\\rangle^{-3\\delta_1/2}$ in $H^N$. The same conclusion is extended in Theorem 1.2 to equations where the Klein-Gordon symbol $\\langle k\\rangle$ is replaced by a Klein-Gordon type symbol $\\nu(|k|)$ satisfying mild derivative conditions. The author's contribution is to show that even with a nonempty two-dimensional resonant manifold and no null structure present, the quadratic coupling is weak enough for dispersion to win.","pith_inferences":["A natural extension, not claimed in the paper, is that the same resonance-separation structure should handle other two-field systems with mixed dispersions once the outcome and germ frequency sets are disjoint and the resonant manifold is a sphere.","The tight parameter margins and the requirement $N\\ge 4000$ suggest the method is far from optimal; improving the symbol bounds by even a small amount would likely lower the regularity needed.","The paper proves scattering but leaves open explicit asymptotic profiles for $u$ and $v$; the resonance decomposition used here is a natural starting point for deriving them."],"forward_implications":["For all small localized data in the stated Sobolev class, solutions do not blow up in finite time and remain bounded in $H^N$.","The Schrödinger component decays like $\\langle t\\rangle^{-1/2-3\\delta_1}$ in $W^{1,p}$ and the Klein-Gordon component decays like $\\langle t\\rangle^{-1+3\\delta_1}$ in $L^p$, rates that make the quadratic nonlinearity integrable in time.","Both components converge to free waves in $H^N$ as $t\\to\\infty$, with convergence rate $\\epsilon_0^2\\langle t\\rangle^{-3\\delta_1/2}$.","The proof works for the generalized Klein-Gordon symbol $\\nu(|k|)$ of Theorem 1.2, so the result does not depend on the exact dispersion relation $\\langle k\\rangle$."],"supporting_citations":[{"why":"Introduces the space-time resonance method and the stationary-phase decomposition that organizes the proof.","marker":"[12, 13]"},{"why":"Supplies the resonance-separation criterion $G\\cap O=\\emptyset$ and the construction of cutoff functions localizing near time, space, and space-time resonances.","marker":"[10]"},{"why":"Provides the Klein-Gordon dispersive and Strichartz estimates used for the $v$ and $V^\\pm$ parts.","marker":"[9]"},{"why":"Supplies the Schrödinger dispersive estimates used for the $u$ part.","marker":"[29]"},{"why":"Identifies the Klein-Gordon type dispersion for plasmon oscillations that motivates studying this system from the Hartree equation with Coulomb interaction.","marker":"[20]"}],"fun_headline_variants":["Dispersion prevails in 3D Klein-Gordon-Schrödinger","Taming the 2D resonant set in Klein-Gordon-Schrödinger","Quadratic coupling yields to scattering in KG-Schrödinger","Global scattering for small KG-Schrödinger data despite resonance"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole bootstrap closes on the assertion that the oscillatory-integral symbols grow at most like fixed small powers of time with the specific constant $A=10$; if that growth were any larger, the chosen parameters would fail the inequalities that make the decay estimates work.","fun_headline_variants_meta":{"raw":{"variants":["Dispersion prevails in 3D Klein-Gordon-Schrödinger","Taming the 2D resonant set in Klein-Gordon-Schrödinger","Quadratic coupling yields to scattering in KG-Schrödinger","Global scattering for small KG-Schrödinger data despite resonance"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000289,"raw_usage":{"total_tokens":1682,"prompt_tokens":920,"completion_tokens":762,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":536,"completion_tokens_details":{"reasoning_tokens":684}},"tokens_in":536,"tokens_out":762,"duration_ms":7319,"temperature":1.0,"reasoning_tokens":684,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T04:40:00.116255+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the $S^\\infty$ norm of the symbol $m_7=\\varphi((\\xi,\\eta)/(M s^{\\delta_3}))\\chi_{S_g}^{s^{-\\delta_3}}(i\\Phi_g)^{-1}$ for large $s$ near $\\xi=0$. If it grows faster than $s^{10\\delta_3}$, the condition $18\\delta_1>6(A+3)\\delta_3$ is violated for the paper's values $\\delta_1=2.2\\times 10^{-3}$, $\\delta_3=5.05\\times 10^{-4}$, and the decay estimates in Propositions 4.3, 4.4, and 5.3 would not follow.","supporting_citations":[{"cited_title":"Global existence for coupled Klein-Gordon equations with different speeds","cited_arxiv_id":null,"evidence_quote":"Supplies the resonance-separation criterion $G\\cap O=\\emptyset$ and the construction of cutoff functions localizing near time, space, and space-time resonances."},{"cited_title":"Strichartz and smoothing estimates of dispersive equations with magnetic potentials.Comm","cited_arxiv_id":null,"evidence_quote":"Provides the Klein-Gordon dispersive and Strichartz estimates used for the $v$ and $V^\\pm$ parts."},{"cited_title":"Number 106","cited_arxiv_id":null,"evidence_quote":"Supplies the Schrödinger dispersive estimates used for the $u$ part."}],"review_version":1}