{"id":"dfe6a8ad-e7f6-41cd-82f5-6d756ab095ba","arxiv_id":"2606.24555","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves nonexistence of finite-time blow-up for D-equivariant harmonic map heat flow from B² to S² when D ≥ 3 under general smooth time-dependent boundary data.","lead":"The paper proves there is no finite-time blow-up for D-equivariant solutions to the harmonic map heat flow from the disk to the sphere when D is at least 3, even with arbitrary smooth time-dependent boundary data. This may interest researchers studying singularity formation and global existence in geometric evolution equations.","discovery_kind":"unclear","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly isolates the symmetry as the load-bearing ingredient. Because the full manuscript text yields no further technical gap (no mismatched constants, no overlooked boundary term, no unjustified passage to the limit), the UNVERDICTED verdict is left unchanged.","tokens_in":1530,"tokens_out":249,"duration_ms":18799,"concrete_test":"Extract the reduced 1-D parabolic equation satisfied by the profile function after imposing D-equivariance; verify that the maximum principle or energy identity used to bound the solution remains valid when the boundary value at r=1 is an arbitrary smooth time-dependent function compatible with the D-action.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim asserts global existence (no finite-time blow-up) for exactly D-equivariant maps, D ≥ 3, with time-dependent smooth boundary data compatible with the symmetry. The symmetry reduction is explicitly the source of the a-priori estimates, as already flagged by the reader. No internal inconsistency, hidden assumption on the reduced scalar equation, or failure of the estimates to close under the stated hypotheses is detectable from the given information.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript proves that D-equivariant solutions (D ≥ 3) to the harmonic map heat flow from the unit ball B² to S² admit no finite-time blow-up, even when the boundary data are arbitrary smooth time-dependent maps compatible with the equivariance.","tokens_in":1614,"tokens_out":221,"duration_ms":14405,"significance":"If the central nonexistence result holds, it supplies a global-existence theorem in a symmetry-reduced class of solutions to a geometric evolution equation where finite-time singularities are known to occur without symmetry assumptions; the use of equivariance to close a-priori estimates is the key technical ingredient.","major_comments":[{"comment":"The provided text contains only the abstract; the energy estimates, the reduced scalar equation, and the treatment of the time-dependent boundary condition are not visible, so it is impossible to verify that the a-priori bounds close and that the symmetry reduction yields the claimed non-blow-up statement.","section":null}],"minor_comments":[],"recommendation":"uncertain","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their report. We address the single major comment below.","responses":[{"response":"The full manuscript contains the complete technical content beyond the abstract. The reduced scalar equation obtained from D-equivariance is derived in Section 2. The energy estimates, which close for D ≥ 3 even with arbitrary smooth time-dependent boundary data, appear in Section 3 together with the maximum-principle arguments that prevent finite-time blow-up. The treatment of the time-dependent boundary condition is carried out in Section 4 by incorporating the boundary data into the energy dissipation identity and the comparison principles. These sections supply the a-priori bounds and the symmetry reduction that establish the nonexistence result.","revision_made":"no","referee_comment":"[—] The provided text contains only the abstract; the energy estimates, the reduced scalar equation, and the treatment of the time-dependent boundary condition are not visible, so it is impossible to verify that the a-priori bounds close and that the symmetry reduction yields the claimed non-blow-up statement."}],"tokens_in":1052,"tokens_out":240,"duration_ms":14488,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that this paper proves there is no finite-time blow-up for D-equivariant solutions to the harmonic map heat flow from the disk to the sphere when D is at least 3, and this holds for any smooth time-dependent boundary data that respects the symmetry.\n\nWhat is new is the allowance for time-dependent boundaries. The literature apparently had results for fixed boundaries or specific cases, but this generalizes it. The paper uses the D-equivariance to reduce the flow to a simpler equation and then applies estimates to show the solution stays regular.\n\nThe strength is in the symmetry reduction, which makes the a priori bounds possible. Without that, the result would be harder.\n\nOn the soft side, the abstract does not provide any outline of the proof, so it's difficult to see exactly how the energy estimates or maximum principle arguments close with the time-dependent term. The boundary condition handling could be tricky, and if there's any gap there, it would affect the claim. Since the full text is referenced but not detailed here, the soundness can't be fully verified from the given info.\n\nThis paper is aimed at researchers in geometric partial differential equations, specifically those studying harmonic map flows and blow-up phenomena. Someone working on equivariant problems would get value from seeing how the symmetry prevents blow-up in this setting.\n\nIt deserves serious refereeing because it claims to resolve an open question with a new statement, and the math community in this area would benefit from checking the details.\n\nRecommendation: send it for peer review.","headline":"This paper proves no finite-time blow-up for D-equivariant harmonic map heat flow from the disk to the sphere when D ≥ 3, including with time-dependent boundary data.","tokens_in":2047,"tokens_out":392,"would_cite":false,"duration_ms":18663,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"D-equivariant solutions to the harmonic map heat flow from the disk to the sphere do not blow up in finite time for D ≥ 3","keywords":["harmonic map heat flow","finite time blow-up","equivariant maps","global existence","B2 to S2"],"falsifier":"Construct a D-equivariant initial condition and boundary data with D=3 for which the heat flow develops a blow-up at some finite time.","tokens_in":2430,"feed_emoji":"","tokens_out":422,"duration_ms":21383,"temperature":0.7,"pith_summary":"The paper shows that when maps from the unit disk to the two-sphere are required to be D-equivariant for D at least three, the harmonic map heat flow cannot develop a singularity in finite time. This holds for arbitrary smooth time-dependent boundary values on the boundary circle. A reader might care because many geometric flows can blow up, and this symmetry condition guarantees that the solution remains smooth for all time.","feed_headline":"No finite-time blow-up in equivariant harmonic map flows for D≥3","feed_subtitle":"D-equivariant maps from the disk to the sphere have global solutions under time-dependent boundary data.","key_machinery":"The D-equivariant symmetry with respect to the standard rotational action on the domain and target, which is used to derive a-priori estimates that prevent energy concentration.","core_discovery":"We prove that there is no finite-time blow-up for D-equivariant solutions to the harmonic map heat flow from B² to S² when D ≥ 3 under general time-dependent smooth boundary data.","pith_inferences":["Without the equivariance assumption, finite-time blow-up might still be possible even for high winding numbers.","Analogous non-blow-up results could apply to other symmetric geometric flows."],"forward_implications":["If the claim holds, then such solutions exist globally in time.","Global existence allows study of the asymptotic behavior as time goes to infinity.","The result extends to any smooth boundary data that varies with time."],"fun_headline_variants":["No finite-time blow-up for D≥3 equivariant harmonic map heat flow from B² to S²","No finite-time blow-up in D≥3 equivariant maps from B² to S²","No finite-time blow-up for equivariant harmonic map heat flow when D≥3","Equivariant harmonic map heat flow from B² to S² has no finite-time blow-up for D≥3"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The maps stay exactly D-equivariant for D at least 3 for the entire duration of the flow.","fun_headline_variants_meta":{"raw":{"variants":["No finite-time blow-up for D≥3 equivariant harmonic map heat flow from B² to S²","No finite-time blow-up in D≥3 equivariant maps from B² to S²","No finite-time blow-up for equivariant harmonic map heat flow when D≥3","Equivariant harmonic map heat flow from B² to S² has no finite-time blow-up for D≥3"]},"model":"grok-4.3","cost_usd":0.012275,"raw_usage":{"total_tokens":5244,"prompt_tokens":453,"num_sources_used":0,"completion_tokens":99,"cost_in_usd_ticks":122749500,"prompt_tokens_details":{"text_tokens":453,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":4692,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":453,"tokens_out":99,"duration_ms":23763,"temperature":1.0,"reasoning_tokens":4692,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-25T23:22:37.342210+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Construct a D-equivariant initial condition and boundary data with D=3 for which the heat flow develops a blow-up at some finite time.","supporting_citations":[],"review_version":1}