{"id":"8edb979f-67d1-4a79-8884-25f63b16abe6","arxiv_id":"2607.16733","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Positive type II single-point blow-up for u_t=Δu+u^3 in n≥5 is constructed by concentration along an (n−4)-sphere of radius √(2(n−4)(T−t)) with transverse scale (T−t)/|log(T−t)|^{n/(n−2)}.","lead":"Driven by the supercritical heat equation u_t = Δu + u^3, this paper builds a positive solution that blows up at a single point by concentrating along a thin sphere that itself collapses to the origin. It provides the first type II blow-up in a regime where radial blow-up is impossible, with a new logarithmic rate set by a nonlocal memory equation.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The logarithmic exponent in Theorem 1.1 rests on the undisplayed constant ratio C4/C2=(n−2)/2 in Appendix B.2; a different ratio would change the rate.","rationale":"The reader’s verdict is CONDITIONAL, and its weakest assumption identifies the constant ratio C4/C2=(n−2)/2 as the hinge of the logarithmic rate. I agree that this is the single most load-bearing concern. The theorem’s main novelty is the precise type II rate; if the ratio were different, the theorem as stated would be false even though the qualitative two-scale mechanism might survive. The paper’s other omitted details (e.g., proofs of Lemmas 5.2 and 5.3, compactness in the fixed point argument) are more standard or less specific to the new mechanism; the ratio computation is both new and undisplayed, and it directly enters the reduced equation for λ. The surrounding argument has strong structural plausibility: the gluing scheme is based on well-established methods (inner–outer gluing, Lyapunov–Schmidt reductions, and refined heat-kernel estimates), and the paper cites prior work (e.g., [12]) for several technical pieces. But machine-checked or fully detailed verification is absent, and the critical constants are asserted informally. Therefore the conditional verdict is appropriate: the construction is credible but not yet fully checkable. A standalone confirmation of the ratio (or a correction) would settle the main uncertainty; if the ratio is confirmed, the theorem’s rate is established, and if not, the central claim must be revised. Hence no verdict adjustment is needed beyond the reader’s CONDITIONAL.","tokens_in":55253,"tokens_out":4935,"duration_ms":47931,"concrete_test":"Independently recompute the constants C2 and C4 in Appendix B.2 for a fixed n (e.g., n=5, 6, 10). Starting from the representation (4.3), evaluate exactly (or to high precision) the two integrals defining I and J, including the Gaussian exponential factor in region I and the Bessel/Jacobian prefactors in region J, and verify C4/C2 = (n−2)/2 and uniformity of the O(|λ̇|) remainder. If the ratio differs, the logarithmic exponent in Theorem 1.1 must be revised.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central quantitative claim of Theorem 1.1 is the blow-up rate λ(t) ∼ κ_*(T−t)/|log(T−t)|^{n/(n−2)}. This exponent is determined by the coefficient c_n^*=(n−2)/2 in the nonlocal reduced equation (4.4), which in turn is the ratio C4/C2 computed in Appendix B.2. The appendix splits the time integral into a Bessel-small-argument region (I) and a Bessel-large-argument region (J). In region I the Gaussian exponential exp(−c_n^2(T−t)/(4(t−s))) is discarded as 'only changing the dimensional constant,' and in region J a Jacobian factor yields the ratio. However, the actual computation of C2 and C4 is summarized rather than fully displayed: the paper states 'the computation of the constants above gives C4/C2=(n−2)/2' without showing the intermediate algebra. Since the exponential prefactor in region I is not constant, it may enter C2 and alter the ratio by an n-dependent factor; any deviation from (n−2)/2 would change the exponent n/(n−2) in the theorem and invalidate the stated rate. The companion assertion in Section 7.2 that the mode-0 projection 'does not vanish' (requiring a modified Ψ0) is also asserted with details omitted, and this modification could feed back into the constants. Thus the proof as written does not yet make the central quantitative claim checkable.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs a new Type II finite-time blow-up mechanism for the energy-supercritical heat equation u_t = Δu + u^3 in dimensions n ≥ 5. The solution is positive, blows up only at the origin, and concentrates near a shrinking (n−4)-dimensional sphere. In cylindrical coordinates, the leading profile is a 4D Aubin–Talenti bubble centered at radius ξ_r(t) ~ √(2(n−4)(T−t)), with transverse scale λ(t) ~ κ_* (T−t)/|log(T−t)|^{n/(n−2)}. The proof uses an inner–outer gluing scheme with a nonlocal correction Ψ0 built from the axisymmetric heat kernel, leading to a nonlocal modulation equation for λ. The paper claims this is the first positive Type II blow-up in the sub-Joseph–Lundgren regime for the cubic heat equation.","tokens_in":55590,"tokens_out":10658,"duration_ms":93429,"significance":"If the construction is correct, the result is significant: it provides the first rigorous example of Type II blow-up via a collapsing-tube geometry in the energy-supercritical heat equation, combining a critical 4D bubble with a self-similarly shrinking concentration set. The two-scale mechanism and the explicit logarithmic law are novel and clearly explained. The paper follows an established strategy for this group (inner–outer gluing, mode decomposition, renormalization), and several parts—such as the mode-by-mode construction of the inner solution in Section 6 and the detailed estimates for the outer problem in Appendix A—are carefully presented. The central quantitative claim, however, depends on a constant ratio in the nonlocal term that is not fully computed, and the manuscript explicitly omits details at two load-bearing points. The paper should therefore be revised to make the core rate verification fully checkable.","major_comments":[{"comment":"The logarithmic exponent in Theorem 1.1 is determined by c_n^* = (n−2)/2, which is the ratio C4/C2 computed at the end of Appendix B.2. This computation is not displayed: the paper states 'the computation of the constants above gives C4/C2 = (n−2)/2' after summarizing the two integrals. Moreover, the displayed evaluation of the angular integral in region I assumes 'For A_n ≤ 1', but by definition A_n = c_n√((T−s)/(t−s)) ≥ c_n > 1 for all s in that region. The derivation of C2 as written is therefore not justified; either the formula contains a typo or the regime is misidentified. Since any change in this ratio would change the exponent n/(n−2), the full calculation must be provided and corrected.","section":"Appendix B.2, Eq. (4.4)"},{"comment":"The text asserts that the mode-0 projection of the drift term together with the first error 'does not vanish' and that this can be handled by 'slightly modifying the first correction Ψ0', with details omitted. This modification feeds into the nonlocal term in the scaling equation (7.27) and could affect the constants that determine the blow-up rate. The claim is load-bearing and should be substantiated with the actual computation and the explicit modified Ψ0; otherwise the derivation of the reduced equation is incomplete.","section":"Section 7.2, Eq. (7.10) and subsequent paragraph"},{"comment":"The proofs of Lemmas 5.2 and 5.3 are omitted with the remark 'The proofs of Lemma 5.2 and Lemma 5.3 are similar to these carried out above.' These lemmas are essential for Proposition 5.1, the linear estimate for the outer problem used throughout the fixed-point argument. The weights ϱ2 and ϱ3 are structurally different from ϱ1, and the time-singularity and Hölder estimates are not immediate adaptations of Lemma 5.1. Please include the proofs or a detailed derivation of the estimates.","section":"Section 5, Lemmas 5.2 and 5.3"}],"minor_comments":[{"comment":"The title of the arXiv version shows a spacing artifact ('HEA T EQUA TION'); please proofread the title and abstract for formatting.","section":"General"},{"comment":"The statement that 'λ(t) is assumed to be defined for negative t' is a technical device for the nonlocal equation; a brief explanation of how the fixed-point arguments handle the extension to negative times would improve readability.","section":"Section 7.3.2"},{"comment":"The notation λ_∗(t) is introduced with a specific constant involving |log T|^{2/(n−2)}; in the abstract and Theorem 1.1 the rate is stated with an unspecified positive constant κ_*. The relation between the two is clear from Section 7.5, but a sentence at first occurrence would help.","section":"Section 4.1"},{"comment":"In the displayed formula for Ψ0, the inner integral over R^3 exp(−|z−˜z|^2/(4(t−s))) d˜z is dimensionally a factor (4π(t−s))^{3/2}; simplifying this before the Bessel analysis in Appendix B.2 would make the subsequent estimates easier to follow.","section":"Equation (4.3)"}],"recommendation":"major_revision","confidential_remarks":"The paper is from a group well known for this type of construction, and the overall scheme is plausible. However, the central rate in Theorem 1.1 rests on a constant computation in Appendix B.2 that is not shown and appears to contain a regime inconsistency ('A_n ≤ 1' never occurs). The authors also omit the proof of a key cancellation in Section 7.2. These are fixable with detailed computations, so I recommend major revision rather than rejection. The editor should specifically require the full derivation of C4/C2 and the modified Ψ0."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is a genuine advance: for the cubic heat equation in n≥5 it constructs a positive solution that blows up only at the origin but concentrates along an (n−4)-sphere whose radius shrinks at the parabolic scale, with a transverse bubble at the much smaller type II scale λ(t) ~ (T−t)/|log(T−t)|^{n/(n−2)}. The mechanism is new, the nonlocal logarithmic law is new, and this is the first positive type II example in the Matano–Merle range for p=3, where radial type II blow-up is ruled out. The proof is a long inner–outer gluing with a heat-kernel correction, and for this group the scaffolding is standard and mostly convincing.\n\nThe main soft spot is exactly where the central quantitative claim lives. The reduced equation for λ(t) contains the coefficient c_n^*=(n−2)/2, and that number comes from the ratio C4/C2 computed in Appendix B.2. The appendix shows the integrals and then states “the computation of the constants above gives C4/C2=(n−2)/2” without displaying the algebra. The exponential factor in the region I is discarded as “only changing the dimensional constant,” which is a leading-order statement, not a proof. Since the theorem’s rate rests on this ratio, a referee needs to verify it; a different ratio would change the log exponent and invalidate the stated rate. This is a checkability problem, not evidence of a wrong constant.\n\nThe other omissions are more minor: the proofs of Lemmas 5.2 and 5.3 are “similar to those carried out above,” and the claim in Section 7.2 that the mode-0 projection of the drift term does not vanish (requiring a modified Ψ0) is asserted with details omitted. These are standard compression in a paper of this length, but together with the B.2 issue they mean the proof as written is not fully checkable from the text alone.\n\nRecommendation: this deserves a serious referee. The construction is important if correct, the mechanism is new, and the gaps are localized rather than structural. A referee with real stamina should be asked to verify the constant computation and the two omitted lemma proofs. Do not desk-reject; send it out.","headline":"A serious construction that likely gives the first positive type II blow-up in the Matano–Merle range via a collapsing-tube mechanism; the main theorem is plausible, but the constant that fixes the logarithmic rate is asserted rather than derived in the text.","tokens_in":56109,"tokens_out":6487,"would_cite":true,"duration_ms":57787,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B44","35K58","35K20"],"pacs":[],"model":"deepseek-v4-flash","headline":"For n≥5, the cubic heat equation admits a new type II blow-up: a shrinking tube that collapses to a point.","keywords":["type II blow-up","energy-supercritical heat equation","collapsing tube","Aubin–Talenti bubble","axisymmetric heat kernel","nonlocal modulation equation","shrinking sphere","Matano–Merle range"],"falsifier":"Carry out explicitly the constant computation in Appendix B.2: if the ratio $C_4/C_2$ is not $(n-2)/2$, or if the sum of the drift term and the first-error projection on mode 0 in Section 7.2 actually vanishes, then the claimed logarithmic law and the theorem as stated break down.","tokens_in":55077,"feed_emoji":"🔥","tokens_out":6691,"duration_ms":51481,"temperature":0.7,"texified_at":"2026-08-05T21:28:15.308098+00:00","pith_summary":"The paper constructs the first positive, single-point type II blow-up for the energy-supercritical heat equation $u_t = \\Delta u + u^3$ in dimensions $n \\ge 5$. The solution concentrates along an $(n-4)$-dimensional sphere whose radius shrinks at the parabolic scale $\\sqrt{T-t}$, while the transverse thickness of the tube is far smaller, of order $(T-t)/|\\log(T-t)|^{n/(n-2)}$. This is a two-scale mechanism: a critical four-dimensional Aubin–Talenti bubble sits in the transverse direction while the concentration set itself collapses. The logarithmic rate is forced by a nonlocal modulation equation coupling the bubble to the axisymmetric heat kernel. If the construction is correct, it is the first type II blow-up that quantifies a self-similar collapsing-tube geometry, in a regime where positive radial type II blow-up is impossible.","texify_model":"deepseek-v4-flash","texify_usage":{"total_tokens":5893,"prompt_tokens":903,"completion_tokens":4990,"prompt_tokens_details":{"cached_tokens":0},"prompt_cache_hit_tokens":0,"prompt_cache_miss_tokens":903,"completion_tokens_details":{"reasoning_tokens":4096}},"feed_headline":"Collapsing tube yields a new blow-up law for the heat equation","feed_subtitle":"A collapsing tube gives positive single-point type II blow-up for the cubic heat equation in all dimensions n≥5.","key_machinery":"The central object is the corrected approximate solution $u_* = U_{\\lambda,\\xi} + \\Psi_0 + \\Psi_1$, where $U_{\\lambda,\\xi}$ is a four-dimensional Aubin–Talenti bubble $U(y)=2\\sqrt{2}/(1+|y|^2)$ centered at $(\\xi_r(t),0)$, and $\\Psi_0$ solves a heat equation whose source is the bubble's slowly decaying error, represented through the axisymmetric Hankel–Fourier heat kernel. The scaling parameter $\\lambda(t)$ obeys a nonlocal integro-differential equation, effectively $C\\left( \\int_0^{t-(T-t)} \\frac{\\dot{\\lambda}(s)}{t-s} ds + \\frac{n-2}{2} \\int_{t-(T-t)}^{t-\\lambda^2(t)} \\frac{\\dot{\\lambda}(s)}{t-s} ds \\right) = -c + o(1)$; the coefficient $(n-2)/2$ comes from the large-argument asymptotics of a modified Bessel function in the intermediate time regime. An inner–outer gluing scheme with a refined re-gluing","core_discovery":"The authors claim that for any $n \\ge 5$, in $\\mathbb{R}^n$ or in suitable symmetric bounded domains, there exist initial and boundary data for which the positive solution of $u_t = \\Delta u + u^3$ blows up exactly at time $T$ and only at the origin, through a thin tube around a shrinking sphere. In cylindrical coordinates $(r,z)$, the leading profile is $(1/\\lambda(t))U((r - \\xi_r(t), z)/\\lambda(t))$, where $U$ is the Aubin–Talenti bubble in $\\mathbb{R}^4$, the sphere radius satisfies $\\xi_r(t) \\sim \\sqrt{2(n-4)(T-t)}$, and the transverse scale satisfies $\\lambda(t) \\sim \\kappa_* (T-t)/|\\log(T-t)|^{n/(n-2)}$. The symmetry class reduces the problem to a four-dimensional critical equation with drift $(n-4)/r \\, u_r$, so the ambient dimension enters through the drift and the outer","pith_inferences":["The explicit √(T−t) inward motion of the concentration sphere gives a rigorous scalar-parabolic template for two-scale collapsing-ring scenarios seen numerically in fluid models; the underlying mechanisms differ, but the radial law may be a generic geometric feature.","The dimension-dependent logarithmic exponent is testable numerically in n=5: one should see λ(t)(T−t)^{-1}|log(T−t)|^{5/3} converge to a constant κ_*, and any different limit would signal an error in the Bessel-constant computation.","The same construction likely extends to critical bubbles of other transverse dimensions k, and the paper's formal rates offer a concrete roadmap for existence proofs in those cases.","The solution is built inside a high-dimensional symmetry class; a natural open question the paper leaves implicit is whether the collapsing-tube singularity is stable under perturbations that break the symmetry."],"forward_implications":["Positive type II single-point blow-up exists for the cubic heat equation in all n ≥ 5, including dimensions 5–12 where positive radial type II blow-up is excluded.","The singular set is not fixed: the concentration set is a sphere that collapses at the parabolic scale, producing a two-scale singularity with transverse thickness much smaller than the sphere radius.","The blow-up law contains a logarithmic factor with dimension-dependent exponent n/(n−2), distinct from the standard critical four-dimensional one-logarithm law.","A fixed-radius variant of the construction recovers the usual critical logarithmic rate, connecting the collapsing-tube mechanism to known critical bubble phenomena.","The paper's formal modulation table predicts companion rates for transverse bubbles of other dimensions: T−t for k=3, (T−t)^2 for k=5, exponential for k=6, and algebraic for k>6."],"fun_headline_variants":["Collapsing tube triggers new heat equation blow-up","Thin-tube collapse yields type II blow-up for heat equation","New anisotropic blow-up: collapsing sphere in heat equation","Positive blow-up via collapsing tube for cubic heat equation","Two-scale collapse: new blow-up for supercritical heat"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The theorem's logarithmic rate depends on a specific constant, $((n-2)/2)$, obtained in the appendix from the ratio $C_4/C_2$ of two Bessel-regime computations; that calculation is summarized rather than fully displayed, and the companion claim in Section 7.2 that a certain mode-0 projection does not vanish is asserted with details omitted, so a different constant would change the logarithmic exponent and invalidate the theorem as stated.","fun_headline_variants_meta":{"raw":{"variants":["Collapsing tube triggers new heat equation blow-up","Thin-tube collapse yields type II blow-up for heat equation","New anisotropic blow-up: collapsing sphere in heat equation","Positive blow-up via collapsing tube for cubic heat equation","Two-scale collapse: new blow-up for supercritical heat"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000571,"raw_usage":{"total_tokens":2667,"prompt_tokens":1003,"completion_tokens":1664,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":747,"completion_tokens_details":{"reasoning_tokens":1585}},"tokens_in":747,"tokens_out":1664,"duration_ms":11229,"temperature":1.0,"reasoning_tokens":1585,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T20:05:53.182271+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Carry out explicitly the constant computation in Appendix B.2: if the ratio $C_4/C_2$ is not $(n-2)/2$, or if the sum of the drift term and the first-error projection on mode 0 in Section 7.2 actually vanishes, then the claimed logarithmic law and the theorem as stated break down.","supporting_citations":[],"review_version":1}