{"id":"29ee247d-be2d-4f38-86d4-7a912317fe97","arxiv_id":"1908.00607","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For the energy-subcritical defocusing semilinear wave equation in R^{1+3}, solutions decay at the linear rate when p>(1+sqrt17)/2 and scatter in energy space when p>2.3542.","lead":"This paper proves new pointwise decay rates for solutions of defocusing semilinear wave equations in three space dimensions. It shows that for powers above a threshold the solution decays as fast as a linear wave, and that energy scattering holds for powers below the Strauss exponent.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central decay theorem depends on Proposition 3.1, imported without proof from companion paper [26]; if that uniform spacetime bound fails exactly as stated, Theorem 1.1 and Corollary 1.1 are unsupported.","rationale":"I reviewed the main line of proof. The pointwise decay estimates in Theorem 1.1 are obtained by combining Proposition 3.2's weighted flux bound with interpolation and Gronwall/bootstrap arguments. Proposition 3.2 in turn is derived from Proposition 3.1: the bulk potential term, whose sign is indefinite when p < 3, is controlled by the weighted spacetime integral (6). No internal contradiction appeared in the multiplier computations: the convexity/concavity step used in Proposition 3.2 is valid for 1 < γ < 2 (f' is concave), and the passage from the (1−τ)u_+^γ form to the stated u_+^γ form is justified since u_+ ≤ v_+. The remaining unproved input is exactly (6), imported from [26]. Since [26] is not part of this manuscript, the reader cannot verify the core assumption; this is the weakest link. The p = 2 endpoint of Theorem 1.2 also fails as written because Section 7 integrates tilde r^{1−p} near 0, which is non-integrable for p = 2; this is a real gap in a secondary claim, but it does not affect Theorem 1.1. The CONDITIONAL verdict is appropriate because the paper's central theorem is conditional on the unavailable companion proof, and the p = 2 endpoint needs repair.","tokens_in":40778,"tokens_out":29161,"duration_ms":258594,"concrete_test":"Verify Proposition 3.1 independently from [26]: re-derive the spacetime bound (6) using the r-weighted multiplier estimate and the u-flux decay sketched in the introduction, for the full stated range 2 < p ≤ 5 and 1 < γ0 < min{2, p−1}. Specifically, test the worst cases p just above 2 (where γ0 is forced just above 1) and γ0 close to min{2, p−1}; if the companion proof only yields a smaller weight exponent or requires the data to be small, Theorem 1.1's linear-rate decay does not follow. Also check whether the constant is independent of the solution's energy beyond E_{0,γ0}.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing assumption is Proposition 3.1 (Section 3, eq. (6)): for all 2 < p ≤ 5 and 1 < γ0 < min{2, p−1}, ∫∫ v_+^{γ0−1−ε}|φ|^{p+1} dxdt ≤ C E_{0,γ0}. The proof is only \"See the main theorem in [26]\", so the present text does not establish it. This bound is the sole input that allows Proposition 3.2 to control the bulk potential term of indefinite sign in the sub-conformal case; Proposition 3.2's weighted flux estimate (7) is then used in every later step (Sections 4–6), including the representation-formula decay estimates and the conformal compactification argument. If the companion paper's theorem is weaker, requires extra smallness, or has a different γ0 range, the proof of Theorem 1.1 collapses. This is not a mere self-containment issue: the main theorem's quantitative decay rates are inherited directly from the exponent γ0 in (6). A secondary but concrete gap is the p = 2 endpoint of Theorem 1.2, where the integral ∫_0^{t0}(1+tilde r)^{−γ} tilde r^{1−p} dtilde r diverges logarithmically at 0 for p = 2, so the proof in Section 7 does not close; this does not affect the p > 2 central theorem but should be fixed.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies global solutions of the defocusing semilinear wave equation, □φ = |φ|^{p−1}φ, in R^{1+3} for 1 < p < 5. The main results are: (i) Theorem 1.1, which gives pointwise decay matching the linear wave rate, |φ(t,x)| ≲ (1+t+|x|)^{-1}(1+||x|−t|)^{-(γ0−1)/2}, for p > (1+√17)/2 under a weighted E_{1,γ0} norm; (ii) a slower decay rate for 2 < p ≤ (1+√17)/2; (iii) Corollary 1.1, energy-space scattering for p > p* with p* < 2.3542; and (iv) Theorem 1.2, uniform boundedness for 3/2 < p ≤ 2. The method uses Dafermos–Rodnianski vector fields, weighted flux estimates through backward light cones, a conformal compactification argument for the interior region, and bootstrap or Gronwall arguments in the exterior region.","tokens_in":41092,"tokens_out":4879,"duration_ms":51188,"significance":"If the proof holds, this is a genuine improvement over Pecher's decay estimates and extends energy scattering to powers below the Strauss exponent, which would be an important advance in the asymptotic theory of defocusing semilinear wave equations. The paper contains detailed multiplier computations, explicit decay rates, and a clear decomposition into exterior and interior regions. However, the central decay theorem depends on a uniform spacetime bound (Proposition 3.1) that is quoted from the author's companion paper [26] without proof in the present text; since that bound controls the sign-indefinite potential term and its exponent γ0 directly enters the final rates, the main result is conditional on an unverified external statement. In addition, the proof of Theorem 1.2 fails at the endpoint p = 2 because of a divergent integral. These are load-bearing gaps rather than presentation issues.","major_comments":[{"comment":"Proposition 3.1 is the sole input for controlling the sign-indefinite potential term in Proposition 3.2, and through it all later estimates in Sections 4–6 and both parts of Theorem 1.1. Its proof is only 'See the main theorem in [26]', and the precise range 1 < γ0 < min{2, p−1} together with the constant CE0,γ0 is inherited by all subsequent decay rates. If the companion paper's theorem has weaker hypotheses, requires small data, or has a different exponent range, the main theorem collapses. The present manuscript should either include a proof of Proposition 3.1 or state and prove a self-contained version with all hypotheses and the exact dependence on E0,γ0.","section":"Section 3, Proposition 3.1, Eq. (6)"},{"comment":"The estimate for the nonlinear term concludes with ∫_0^{t0} (1+tilde r)^{-γ} tilde r^{1-p} dtilde r ≲ 1 + (1+t0)^{2-p-γ}. For p = 2 this integral diverges logarithmically at tilde r = 0 for every γ > 0, so the displayed bound is false at the endpoint. Since Theorem 1.2 includes p = 2, the stated proof does not close; the p = 2 case needs a separate truncation or limiting argument, or the theorem should exclude p = 2.","section":"Section 7, proof of Theorem 1.2, endpoint p = 2"},{"comment":"The numerical claim p* < 2.3542 rests on the function f(p), but the displayed formula in the text is garbled: 'f (p) = p − 2 + (p − 1)2 3 + (p − 2)2(5 − p)(p + 1) − 1' is not a well-formed expression. The intended definition appears to be f(p) = p − 3 + (p − 1)^2(3 + (p − 2)^2)/((5 − p)(p + 1)), and the monotonicity/root argument should be written out clearly, since this is the quantitative basis for the claimed scattering threshold.","section":"Section 6, proof of Corollary 1.1"}],"minor_comments":[{"comment":"The text contains many typographical and OCR artifacts, such as the title spacing 'W A VE EQUA TIONS' and the malformed formula for f(p); these should be corrected in the final version.","section":"Throughout"},{"comment":"The null coordinate u is defined by 'u = t−r /2', which should be u = (t − r)/2; the absence of parentheses makes the normalization ambiguous, though the later use of u+ = sqrt(1 + u^2) indicates the intended definition.","section":"Section 2"},{"comment":"Near the end of the proof the bound is written as '≤ CE0,γ+ǫ' and then one 'lets 0 < ǫ < γ0 − γ'; this is correct only because E0,γ+ǫ ≤ E0,γ0, and that monotonicity should be stated explicitly.","section":"Section 3, proof of Proposition 3.2"},{"comment":"The function M(t0) is defined with a power ((p+1)/(2−ε_p)) of sup |u^{(γ0−1)/2} r φ|, and the notation is reused later for M1(t0); a brief note distinguishing these quantities would improve readability.","section":"Section 4, Eq. (15)"}],"recommendation":"major_revision","confidential_remarks":"The main theorem's validity cannot be independently assessed without the companion paper [26]; I would ask the editor to obtain a copy of that paper before making a final decision. The p = 2 endpoint gap in Theorem 1.2 should also be required to be fixed or explicitly removed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know two things about this paper. First, it is a real advance: linear-rate pointwise decay for p > (1+√17)/2, explicit algebraic decay for 2 < p ≤ (1+√17)/2, and energy scattering for p > 2.3542, below the Strauss exponent 1+√2. That beats Pecher’s scattering threshold of 2.7005 and the earlier pointwise decay range. The method is a careful, often elegant use of Dafermos–Rodnianski weighted multipliers plus a conformal compactification for the interior region. The cone-flux estimate in Proposition 3.2 is a genuinely nice piece of vector-field analysis. Second, the main result is not self-contained. Proposition 3.1, the uniform spacetime bound with the v_+^{γ0−1−ε} weight, is the load-bearing input for Theorem 1.1 and Corollary 1.1, and its proof is a one-line citation to the author’s companion paper [26], not yet published. The stress-test is right that if [26] is weaker, requires extra smallness, or has a different γ0 range, the decay picture collapses. This is not circular—[26] proves a spacetime bound, not the pointwise decay or scattering—but it is a heavy reliance on a to-appear self-citation. A referee cannot verify the core estimate without that companion paper. The secondary theorem also has a real p = 2 gap. In Section 7, the integral ∫₀^{t₀} (1+tilde r)^{−γ} tilde r^{1−p} dtilde r diverges logarithmically at 0 when p = 2, since γ = 2−p+ε becomes ε. The theorem as stated covers p = 2, so the proof does not close there. This does not affect Theorem 1.1 or Corollary 1.1, which require p > 2, but it is a genuine flaw in Theorem 1.2 and should be fixed by changing the endpoint or adding a separate estimate. My overall read: the central claims are probably correct, the combinatorial and conformal arguments are serious and mostly check out, and the improvements over known results are clear. But in its present form the paper deserves a major revision, not immediate acceptance. The author should make Proposition 3.1 available to the referee in a verifiable form—ideally by including the companion paper or a proof sketch with sufficient detail—and repair the p = 2 endpoint. If those are fixed, this becomes a solid paper. Send it to a serious referee, but with the requirement that the companion paper be part of the review package. I would not cite it yet in my own work until [26] is actually available.","headline":"Serious progress on pointwise decay and scattering below the Strauss exponent, but the main theorem leans on an unproved companion-paper input and there is a genuine p=2 gap in the secondary theorem.","tokens_in":746,"tokens_out":874,"would_cite":false,"duration_ms":48354,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35L71","35B40","35L05"],"pacs":[],"model":"deepseek-v4-flash","headline":"For powers above (1+√17)/2, the pointwise decay of the defocusing semilinear wave equation matches linear waves, and energy scattering follows for p>2.3542.","keywords":["semilinear wave equation","pointwise decay","energy scattering","weighted energy estimates","backward light cone","conformal compactification","defocusing nonlinearity","vector field method"],"falsifier":"Construct a sequence of initial data with uniformly bounded $E_{0,\\gamma_0}$ for which the weighted integral $\\int\\int v_+^{\\gamma_0-1-\\varepsilon}|\\varphi|^{p+1}\\,dx\\,dt$ diverges as the data range expands; if such data exist, Proposition 3.1 fails and the pointwise decay theorems built on it cannot hold.","tokens_in":40593,"feed_emoji":"🌊","tokens_out":11439,"duration_ms":112679,"temperature":0.7,"pith_summary":"This paper proves that, for the defocusing energy-subcritical equation $\\square\\varphi=|\\varphi|^{p-1}\\varphi$ in $\\mathbb{R}^{1+3}$, the pointwise decay of every global solution with finite weighted energy matches that of a free wave once $p>\\frac{1+\\sqrt{17}}{2}\\approx 2.5616$. For the remaining range $2<p\\le\\frac{1+\\sqrt{17}}{2}$ it still proves a concrete decay rate, at least $t^{-1/3}$. It uses these bounds to show energy scattering for all $p>2.3542$, a range that dips below the usual critical exponent $1+\\sqrt{2}\\approx 2.414$, and it proves uniform boundedness for $p>\\frac{3}{2}$. The interest is that large nonlinearities do not destroy dispersion of waves: the nonlinear solution inherits the same decay away from the light cone as the linear solution, which is exactly what scattering requires.","feed_headline":"Semilinear waves decay like linear waves above p≈2.56","feed_subtitle":"A sharper spacetime bound also gives energy scattering for p>2.3542, below the usual critical exponent.","key_machinery":"The carrying identity is the weighted null-flux estimate obtained by applying the multiplier $X^\\gamma=v_+^\\gamma(\\partial_t+\\partial_r)+u_+^\\gamma(\\partial_t-\\partial_r)$, where $u_+=\\sqrt{1+u^2}$, $v_+=\\sqrt{1+v^2}$ in null coordinates $u=(t-r)/2$, $v=(t+r)/2$. With this multiplier and the energy identity on the past of a point $q$, the paper obtains a uniform bound on $(1+\\tau)v_+^\\gamma+u_+^\\gamma$ times $|\\varphi|^{p+1}$ integrated over the backward light cone, where $\\tau$ is the cosine of the angle between the space directions; the potential term is controlled by a spacetime bound quoted from the companion paper. A second multiplier $r^\\gamma(\\partial_t+\\partial_r)$ handles $p\\le2$. Three integration lemmas turn these cone fluxes into pointwise control through the standard representation formula for the wave equation; the exterior region is treated directly, while the interior is mapped by conformal compactification to a truncated backward cone on which a bootstrap argument closes.","core_discovery":"At its core, the paper's claim is Theorem 1.1: for $p>\\frac{1+\\sqrt{17}}2$ and $\\max\\{\\frac4{p-1}-1,1\\}<\\gamma_0<\\min\\{p-1,2\\}$, any solution whose data lie in the weighted energy space $E_{1,\\gamma_0}$ obeys $$|\\varphi(t,x)|\\le C\\sqrt{E_{1,\\gamma_0}}\\,(1+t+|x|)^{-1}(1+||x|-t|)^{-(\\gamma_0-1)/2}.$$ That is exactly the decay rate of the free wave with the same data, including the improved decay away from the light cone. For $2<p\\le\\frac{1+\\sqrt{17}}2$ it obtains the slower but still explicit rate $(1+t+|x|)^{-\\alpha_p\\gamma_0}(1+||x|-t|)^{-\\gamma_0/(p+1)}$ with $\\alpha_p=\\frac{3+(p-2)^2}{(p+1)(5-p)}$, and from these bounds it derives energy scattering for $p$ above a threshold $p_*$ with $2.3541<p_*<2.3542$. Theorem 1.2 adds that for $\\frac32<p\\le2$ the solution remains uniformly bounded in terms of the initial energy.","pith_inferences":["Inference: the two-region structure (exterior cone-flux bootstrap, interior conformal compactification) is modular; the same pairing is likely to transfer to curved backgrounds with well-separated null cones.","Inference: the threshold $p_*<2.3542$ is an artifact of the final mixed-norm interpolation; sharpening that step, or upgrading the quoted spacetime bound, could lower the scattering threshold further, possibly toward the usual critical value $2.414$.","Inference: the method's failure for $p\\le2$ is caused by the sign condition on the weighted potential energy, not by an intrinsic obstruction; a different weight family may turn Theorem 1.2's boundedness into time decay across the whole range $p>\\frac32$."],"forward_implications":["For $p>(1+\\sqrt{17})/2$, the nonlinear solution satisfies the linear-wave decay $|\\varphi(t,x)|\\lesssim(1+t+|x|)^{-1}(1+||x|-t|)^{-(\\gamma_0-1)/2}$, uniformly in space-time.","For $2<p\\le(1+\\sqrt{17})/2$, the pointwise decay is at least $t^{-1/3}$ in the worst case, with the explicit exponent $\\frac{3+(p-2)^2}{(p+1)(5-p)}\\gamma_0$ on $1+t+|x|$.","Energy scattering occurs for every $p>p_*$ with $p_*<2.3542$ and data in $E_{1,p-1}$; this goes below the usual critical power $1+\\sqrt{2}\\approx2.414$.","For $\\frac32<p\\le2$, global solutions are uniformly bounded by the initial weighted energy, even though time decay is not asserted.","The relevant weighted spacetime integral $\\int v_+^{\\gamma_0-1-\\varepsilon}|\\varphi|^{p+1}$ is finite, and this is the quantitative input that powers both the pointwise bounds and the scattering conclusion."],"supporting_citations":[{"why":"Supplies Proposition 3.1, the uniform weighted spacetime bound that every later estimate in this paper invokes.","marker":"[26]"},{"why":"Introduces the weighted vector-field multipliers and the r-weighted energy mechanism used to expose decay away from the light cone.","marker":"[8]"},{"why":"Provides the earlier pointwise decay rate and scattering threshold in the range $1<p<3$ that Theorem 1.1 and Corollary 1.1 improve.","marker":"[18]"},{"why":"Fixes the long-time scattering framework for super-conformal powers that this paper extends to smaller powers.","marker":"[21]"},{"why":"Gives the mixed-norm criterion ($\\|\\varphi\\|_{L^p_t L^{2p}_x}<\\infty$) used to convert the pointwise decay into energy scattering.","marker":"[22]"}],"fun_headline_variants":["Semilinear waves match free-wave decay for p>2.56","Energy scattering for semilinear waves at p>2.3542","Subconformal semilinear waves scatter in energy space","Semilinear wave decay equals linear for p>2.56","Pointwise decay and scattering for semilinear waves"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything else rests on the unproved companion-paper bound that a certain weighted spacetime integral of $|\\varphi|^{p+1}$—quoted here as Proposition 3.1—is controlled by the zeroth-order weighted energy; if that control fails, the decay and scattering results collapse.","fun_headline_variants_meta":{"raw":{"variants":["Semilinear waves match free-wave decay for p>2.56","Energy scattering for semilinear waves at p>2.3542","Subconformal semilinear waves scatter in energy space","Semilinear wave decay equals linear for p>2.56","Pointwise decay and scattering for semilinear waves"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000901,"raw_usage":{"total_tokens":3888,"prompt_tokens":965,"completion_tokens":2923,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":581,"completion_tokens_details":{"reasoning_tokens":2840}},"tokens_in":581,"tokens_out":2923,"duration_ms":25007,"temperature":1.0,"reasoning_tokens":2840,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:44:59.253579+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a sequence of initial data with uniformly bounded $E_{0,\\gamma_0}$ for which the weighted integral $\\int\\int v_+^{\\gamma_0-1-\\varepsilon}|\\varphi|^{p+1}\\,dx\\,dt$ diverges as the data range expands; if such data exist, Proposition 3.1 fails and the pointwise decay theorems built on it cannot hold.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies Proposition 3.1, the uniform weighted spacetime bound that every later estimate in this paper invokes."},{"cited_title":"Dafermos and I","cited_arxiv_id":null,"evidence_quote":"Introduces the weighted vector-field multipliers and the r-weighted energy mechanism used to expose decay away from the light cone."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the earlier pointwise decay rate and scattering threshold in the range $1<p<3$ that Theorem 1.1 and Corollary 1.1 improve."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Fixes the long-time scattering framework for super-conformal powers that this paper extends to smaller powers."},{"cited_title":"Ettore Majorana","cited_arxiv_id":null,"evidence_quote":"Gives the mixed-norm criterion ($\\|\\varphi\\|_{L^p_t L^{2p}_x}<\\infty$) used to convert the pointwise decay into energy scattering."}],"review_version":1}