{"id":"23324214-8895-4332-ad7c-4ced2d44f27d","arxiv_id":"1908.08512","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"The blow-up rate for 1-equivariant wave maps is determined by the leading-order spatial decay of the prescribed radiation field.","lead":"This paper shows that for energy-critical 1-equivariant wave maps to the two-sphere, the speed of blow-up is dictated by the part of the map that radiates away from the singularity. It constructs blow-up solutions with any prescribed radiation profile and proves that every one-bubble blow-up solution with such a radiation field must concentrate at an explicit rate.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The explicit rate constant hinges on Lemma 2.2's comparison estimate (2.8), whose proof is compressed; a gap there would shift the rate.","rationale":"The paper constructs and classifies one-bubble blow-up wave maps with prescribed radiation. The conclusions in both parts of Theorem 1.1 feed off the description of u* inside the light cone. The linear term q p t^{nu-1} r is fixed by Lemma 2.1, and Lemma 2.2 is exactly what ensures nonlinear effects do not alter it to leading order. The reader's verdict flags the same point. I find no independent reason to doubt the estimate: the exponent 3nu-2 matches the scaling of a cubic interaction, and the local data norms have the right size. Still, because the proof is a citation plus a product bound with no intermediate steps, the paper would be strengthened by a complete proof or a precise theorem reference. I would not reject the paper; the concern is technical and likely repairable. Hence I adjust the verdict to conditional acceptance pending verification of Lemma 2.2.","tokens_in":51799,"tokens_out":29767,"duration_ms":289189,"concrete_test":"Derive Lemma 2.2 from the difference equation w = u* - u*_L, namely square w + w/r^2 = -(2/3)(u*)^3/r^2 + O(|u*|^5)/r^2 (after using the equation for u*), and estimate nabla^2 w(t,r) by Duhamel plus the local well-posedness theory cited from [39]. Check the resulting exponent: it should be r|t|^{3nu-2} or smaller for r <= |t|. Then recompute the modulation lower bound in Proposition 3.5 with the corrected error term to confirm that the leading contribution remains 4pq t^{nu-1}; if the error term comes out to o(t^{nu-1}) in the relevant integrals, the rate constant in Theorem 1.1 is unchanged.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central theorem's sharp rate lambda(t) ~ (p|q|/(nu^2(nu+1))) t^{nu+1}/|log t| is obtained by replacing the nonlinear radiation u*(t) inside the light cone by its linear leading term q p t^{nu-1} r (Corollary 2.3). That replacement is justified by Lemma 2.2: |nabla_{t,r}u* - nabla_{t,r}u*_L| <= C r |t|^{3nu-2}. If the actual difference were not lower order than the linear term for r <= t, the interaction integral that produces the constant p(nu) in Proposition 3.5 and the classification in Section 6 would change. The proof of Lemma 2.2 is a single line: it invokes finite speed and the well-posedness theory of [39] and then bounds ||nabla^2(u*-u*_L)||_{H(r<=t)} by C(||partial_r^2 u0||_H ||u0||^2_H + ||partial_r u0||^2_H ||u0||_H) <= C |t|^{3nu-2}. The exponent 3nu-2 is consistent with the cubic nature of the nonlinearity (f(u)=u-(2/3)u^3+...), so the estimate is plausible, but the derivation is not shown and the referenced theorem is not stated in the form used. Because the classification result is sharp and the constant is explicit, this is the most load-bearing unverified estimate in the paper.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies one-equivariant energy-critical wave maps from R^{1+2} to S^2, in the symmetry-reduced form (1.2). The authors fix a radiation profile u*_0 that vanishes like q r^ν (or q r^{ν-1} for the time-derivative component), with ν > 9/2, and show that this radiation determines the blow-up rate of a single concentrating bubble. Theorem 1.1 asserts: (a) for q < 0 there exists a finite-energy solution blowing up backwards in time with radiation u*_0 and scaling parameter λ_c(t) = p|q|/(ν^2(ν+1)) t^{ν+1}/|log t| for an explicit constant p(ν); and (b) any finite-energy single-bubble blow-up solution with the same radiation must have q < 0 and the same leading-order rate. The proof combines a modulation argument with a modified virial functional, a local energy identity for the error term, and a bootstrap construction. Appendix A gives a formal derivation of the rate, and Appendix B sketches the analogue for radiation supported in the velocity component.","tokens_in":52047,"tokens_out":7411,"duration_ms":77641,"significance":"If the proofs are correct, this is a substantial contribution: it gives the first sharp classification of the blow-up rate in terms of the prescribed radiation, with explicit constants that are not fitted. The backwards perspective is natural and leads to Corollary 1.8 and the Radiative Uniqueness Conjecture, which may open a route to unique continuation past the blow-up time. The paper is honest about its technical assumptions, and the main line of the argument — linear radiation leading-order behaviour, modulation equations, and coercive energy estimates — is coherent. The explicit constants in Theorem 1.1, the formal derivation in Appendix A, and the detailed bootstrap in Section 5 are all valuable features.","major_comments":[{"comment":"The comparison estimate between the nonlinear radiation u*(t) and the linear radiation u*_L(t) is load-bearing: Corollary 2.3 uses it to replace u* by its linear leading term q p t^{ν-1} r, and this leading term produces the explicit constant p(ν) in Theorem 1.1. The proof of Lemma 2.2 is, however, a single line invoking finite speed and the well-posedness theory of [39], followed by a norm bound whose right-hand side is stated without derivation. As written, the hypotheses of the cited well-posedness result are not matched to the norm used in (2.8), and the exponent 3ν−2 is not obtained explicitly. I ask the authors to state the relevant abstract estimate from [39] in the precise form used here and to verify that the initial data in (2.1) satisfy its hypotheses, or to give a self-contained proof of (2.8)–(2.9). The scaling heuristic is plausible (||u0||_{H(r≤2t)} ~ t^ν, ||∂_r u0||_{H(r≤2t)} ~ t^{ν-1}, ||∂_r^2 u0||_{H(r≤2t)} ~ t^{ν-2}), but the nonlinear comparison is exactly the missing step, and a gap here would change the leading-order radiation and hence the rate constant.","section":"Lemma 2.2, equations (2.8)–(2.9)"},{"comment":"The statement of Proposition 3.5 does not assume q < 0, yet the lower bound b'(t) ≥ (4p|q| − δ)t^{ν-1} − C_0 λ(t)/t^2 − δ λ^{-1}||g(t)||^2_H is derived in the proof from an estimate of the form b'(t) + 4p q t^{ν-1} ≥ ... . For q > 0 the displayed bound with |q| is not justified and is in fact false at leading order, since the interaction term changes sign. All later applications are for q < 0, and in Section 6 the sign q < 0 is proved before the proposition is used, so the issue is repairable. Still, the proposition as stated is internally inconsistent; please add the hypothesis q < 0 (or replace |q| by −4pq throughout the statement and proof) and make the use of the sign explicit.","section":"Proposition 3.5, inequality (3.20)"}],"minor_comments":[{"comment":"The smallness hypothesis is written as \"||g(t)||^2_H + α + sup_J ≤ η1\". This is ambiguous, since sup_J is a time, not a norm. It should presumably read sup_{t∈J}||g(t)||^2_H + α ≤ η1, or a similar clearly stated condition.","section":"Proposition 3.5 and Lemma 5.2"},{"comment":"The operator in property (P5) is misprinted: \"( d²/dr² + 1/r d/dr r)² q(r)\" should be written with unambiguous parentheses, for example ((d²/dr²) + r^{-1}(d/dr r))² q(r) or the intended radial Laplacian expression.","section":"Lemma 3.3, property (P5)"},{"comment":"The text states \"Since log t/λ(t) → 0\" twice; since λ(t) = o(t) and λ(t) log(t/λ(t)) ≲ t^{ν+1}, the quantity log(t/λ(t)) tends to +∞, not 0. The intended inequality is clear, but the reversed limit statement should be corrected.","section":"Proposition 6.4, last paragraph"},{"comment":"The regularity assertions \"φ(z) ∈ C^4([−1, −1])\" and \"φ(z) ∈ C^3([−1, −1])\" contain a typo: the interval should be [−1, 1].","section":"Lemma 2.1 and Lemma B.1"}],"recommendation":"major_revision","confidential_remarks":"The paper's central construction is substantial and the classification result is significant. The main technical obstacle is the compressed proof of Lemma 2.2, which is load-bearing for the explicit rate constant; the authors should be asked to provide a complete proof or a precise reference with verified hypotheses. The sign issue in Proposition 3.5 is easy to fix but should not remain in the published version. I do not see grounds for rejection, assuming the requested expansion of Lemma 2.2 can be supplied."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read this one. It does something the literature has been circling: it makes the radiation field the input and derives the blow-up rate from it, both constructively and as a classification. Part (a) builds finite-energy solutions with a prescribed polynomial radiation field and gives the explicit rate lambda(t) ~ p|q|/(nu^2(nu+1)) t^{nu+1}/|log t|. Part (b) is the sharper statement: any one-bubble solution with that radiation must have that rate, constant included. That classification is new, as far as I know, and it is not a fitting job—the constant comes from Kirchhoff's formula for the linear evolution, not from matching an ansatz.\n\nThe proof is careful and mostly self-contained. The modulation method is modified via the auxiliary b(t), and the energy estimate for the error g(t) in Section 4 handles the non-autonomous term (the D E(u*) g coupling) that earlier backward constructions could drop. The authors are upfront that they avoid refined ansatz and instead refine modulation parameters, and the structure does hold together. The formal derivation in Appendix A demystifies the constant and the claim in Remark 1.6 that KST rates are recovered is plausible and in line with the mechanism.\n\nThe soft spot is real: Lemma 2.2, which compares the nonlinear radiation flow to the linear flow inside the light cone, is proved in one line. The bound |∇u* − ∇u*_L| ≤ C r |t|^{3ν−−2} is exactly what lets Corollary 2.3 replace the nonlinear radiation by the linear leading term, and that replacement produces the constant p(ν). If the exponent were wrong, the rate would shift. The estimate is the sort of cubic lifespan bound that follows from the well-posedness theory for (1.2), and the cited [39] does contain the tools, but the derivation is not shown. The reader's medium correctness risk is fair. This is not a fatal flaw; it is a place where the paper asks the referee to trust a standard argument that is not spelled out. I would also flag a minor issue: the condition ν > 9/2 is technical and acknowledged, and the adaptation to (1.5) in Appendix B is a sketch, though it looks straightforward.\n\nWho is this for? Anyone working on singularity formation for wave maps, and the broader bubbling-on-solitons community. It deserves a serious referee; I would not desk reject. If I were handling it, I'd send it out and explicitly ask the referee to verify Lemma 2.2 and the passage from (2.8) to Corollary 2.3, and to check the Appendix B constant.\n\nRecommendation: accept if those checks pass; at minimum, major revision with an expanded proof of Lemma 2.2.","headline":"Sharp classification of bubbling wave-map blow-up rates from prescribed radiation is the real advance; the explicit constant leans on a compressed comparison estimate that deserves referee scrutiny.","tokens_in":52605,"tokens_out":2423,"would_cite":true,"duration_ms":25760,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35L71","35B44","35Q51","37K40"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that the radiation field of a bubbling one-equivariant wave map determines the sharp blow-up rate and that such bubbles occur exactly when the radiation's leading coefficient is negative.","keywords":["wave maps","energy critical","equivariant wave maps","blow-up","radiation field","modulation method","bubbling","S^2 target"],"falsifier":"Run a high-resolution numerical Cauchy evolution of the equation from compactly supported data $\\chi(r)(q r^5,0)$ with $\\nu=5>9/2$ for small backward times and measure $M(t)=\\sup_{09/2$, the paper constructs blow-up solutions with that prescribed radiation and proves that every one-bubble blow-up with the same radiation must have $q<0$ and must obey an explicit rate law $\\lambda(t)\\sim \\frac{p|q|}{\\nu^2(\\nu+1)}\\,\\frac{t^{\\nu+1}}{|\\log t|}$. The significance is that the blow-up rate is not an accident of the initial data but is encoded in the low-order Taylor coefficient of the radiation field, with explicit constants.","feed_headline":"Radiation sets the wave-map collapse rate","feed_subtitle":"One-bubble collapse with $r^\\nu$ radiation forces $q<0$ and fixes $\\lambda(t)\\sim t^{\\nu+1}/|\\log t|$.","key_machinery":"The load-bearing identity is the near-light-cone description of the radiation: inside $\\{r\\le t\\}$, one has $u^*(t,r)=q p(\\nu) t^{\\nu-1} r$ plus controlled errors. This comes from lifting $u^*/r$ to a free wave in one higher dimension and applying Kirchhoff's formula, which also produces the explicit constants $p(\\nu)$. The bubble-radiation interaction then acts as a forcing term in the modulation equations for the scale $\\lambda(t)$. To control the modulation, the paper introduces an auxiliary variable $\\zeta(t)=4\\lambda(t)\\log(t/\\lambda(t))-\\int_0^t \\Lambda Q_{\\lambda(t)}\\,g(t,r)\\,r\\,dr$ and a corrected variable $b(t)$ built from $\\zeta'(t)$ plus a truncated virial functional; the key differential inequality is $b'(t)\\ge (4p|q|-\\delta)t^{\\nu-1}$ minus controlled errors. An energy estimate for the remainder $g$ shows that the interaction term $\\langle DE_{\\mathrm{loc}}(u^*),g\\rangle$ contributes a leading-order $8\\pi p q\\int \\lambda'(\\tau)\\tau^{\\nu-1}d\\tau$, and this is what turns the formal rate law into a two-sided classification.","core_discovery":"Let $u_0^*$ be a radiation field of the form $\\chi(r)(q r^\\nu,0)$, or of the form $\\chi(r)(0,q r^{\\nu-1})$, with $\\nu>9/2$, and let $u^*(t)$ be its nonlinear wave-map evolution. Theorem 1.1 asserts that if $q<0$, there exists a finite-energy solution $u_c(t)$ that blows up backwards in time at $T=0$ and satisfies $u_c(t)=Q_{\\lambda_c(t)}+u_0^*+o_{\\mathcal H}(1)$, with $\\lambda_c(t)=\\frac{p|q|}{\\nu^2(\\nu+1)}\\,\\frac{t^{\\nu+1}}{|\\log t|}$, where $p=p(\\nu)$ is an explicit Gamma-function constant (different for the two types of radiation). Conversely, if any finite-energy solution blows up by concentrating one bubble backwards in time with radiation $u_0^*$ and scaling parameter $\\lambda(t)=o(t)$, then necessarily $q<0$ and $\\lambda(t)=\\bigl(\\frac{p|q|}{\\nu^2(\\nu+1)}+o(1)\\bigr)\\frac{t^{\\nu+1}}{|\\log t|}$ as $t\\to 0^+$. Thus the vanishing order $\\nu$ of the radiation sets the power law of the collapse, and the coefficient $q$ determines both whether collapse is possible and the precise prefactor.","pith_inferences":["Read as an extension: the same leading-order calculation suggests that radiation with logarithmic corrections, such as $u_0^*(r)=-r^\\nu|\\log r|^\\mu$, would produce rates $\\lambda(t)\\asymp t^{\\nu+1}|\\log t|^{\\mu-1}$; the paper states this as a formal consequence, not as a proved theorem.","A natural next step, suggested by the paper's Conjecture 1.9, is to upgrade Corollary 1.8 from convergence in energy to actual uniqueness of the blow-up solution with a given radiation field, which would give an energy-preserving continuation through the singular time.","Because the rate constant is determined by the value at the origin of a four-dimensional linear wave lift, analogous classifications should hold for any radiation whose lifted linear evolution has a comparable nonzero leading constant, not only for pure monomials.","The sign reversal for radiation of type (1.5) hints that non-equivariant perturbations may see a rapid 180-degree rotation of the concentrating bubble, an instability mechanism that the present one-equivariant setting does not reveal directly."],"forward_implications":["For any one-bubble blow-up with radiation of the prescribed power-law form, the collapse rate is rigidly determined: $\\lambda(t)\\sim \\frac{p|q|}{\\nu^2(\\nu+1)}\\,\\frac{t^{\\nu+1}}{|\\log t|}$, with no room for a different power or prefactor.","The sign condition $q<0$ is necessary: radiation whose leading coefficient is positive cannot drive a backwards-in-time one-bubble collapse of this type, because the bubble-radiation interaction is then repulsive.","Any two solutions that blow up with the same radiation field exhibit the same asymptotic profile: their difference tends to zero in the energy space as $t\\to 0^+$ (Corollary 1.8), so the constructed solution is the unique profile at energy level.","Time reversal gives forward-in-time blow-up solutions with the same rates, and for velocity-type radiation the forward bubble appears with the opposite sign, i.e. the full map undergoes a 180-degree rotation in $S^2$.","The classification sharpens earlier constructions by showing that the explicit rate constant is not just a technical artifact but is forced by the radiation for all one-bubble solutions in this class."],"supporting_citations":[{"why":"Establishes the decomposition $u(t)=Q_{\\lambda(t)}+u_0^*+o_{\\mathcal H}(1)$ for blow-up solutions with energy below $3E(Q)$, which defines the radiation field used throughout.","marker":"[4]"},{"why":"Removes the energy cap: a one-bubble decomposition holds for arbitrary finite-energy solutions provided only one bubble concentrates, which is the standing hypothesis of the classification part.","marker":"[3]"},{"why":"Introduced the pure polynomial blow-up phenomenon $\\lambda(t)\\simeq t^{\\nu+1}$ that this paper recovers and then classifies by prescribing the radiation.","marker":"[15]"},{"why":"Supplies the modified modulation framework with auxiliary variables that control $\\lambda(t)$, including the two-bubble threshold dynamics that the present work generalizes.","marker":"[13]"},{"why":"Treats the special threshold case with radiation approximately $-Q$, giving the classification strategy that is extended here to arbitrary power-law radiation.","marker":"[38]"},{"why":"Provides the truncated virial lemmas and the compactness/bootstrap construction used to prove existence of the blow-up solution.","marker":"[12]"},{"why":"Originates the virial-correction idea that defines the corrected modulation variable $b(t)$ with a good monotonic lower bound.","marker":"[36]"},{"why":"Describes the stable blow-up regime $\\lambda(t)\\simeq t e^{-\\sqrt{|\\log t|}}$ and marks the contrast with radiation fields that are no better than energy class.","marker":"[35]"},{"why":"Supplies the local well-posedness theory used in the comparison between the nonlinear radiation flow and its linearization inside the light cone.","marker":"[39]"}],"fun_headline_variants":["Radiation order fixes wave-map blowup rate","Collapse rate set by radiation's vanishing order","Sharp classification of wave-map blowup with radiation","Radiation dictates wave-map collapse law"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The sharp rate constant hinges on Lemma 2.2's assertion that inside the light cone the nonlinear radiation flow differs from the linear flow by at most $C r |t|^{3\\nu-2}$; if that comparison failed, the leading term $q p(\\nu)t^{\\nu-1}r$ that drives the rate could be contaminated by nonlinear effects.","fun_headline_variants_meta":{"raw":{"variants":["Radiation order fixes wave-map blowup rate","Collapse rate set by radiation's vanishing order","Sharp classification of wave-map blowup with radiation","Radiation dictates wave-map collapse law"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000623,"raw_usage":{"total_tokens":2894,"prompt_tokens":959,"completion_tokens":1935,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":575,"completion_tokens_details":{"reasoning_tokens":1878}},"tokens_in":575,"tokens_out":1935,"duration_ms":15022,"temperature":1.0,"reasoning_tokens":1878,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:37:10.580375+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run a high-resolution numerical Cauchy evolution of the equation from compactly supported data $\\chi(r)(q r^5,0)$ with $\\nu=5>9/2$ for small backward times and measure $M(t)=\\sup_{0