{"id":"435b35d1-bc66-4877-a616-f3044a787999","arxiv_id":"2412.08867","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"A complete ancient mean curvature flow solution whose Gauss map stays in an open hemisphere with sublinear angular growth must be a flat affine subspace.","lead":"The authors prove a rigidity theorem for ancient solutions of the mean curvature flow in codimension one: if the Gauss map of a complete ancient solution stays in an open hemisphere and approaches its boundary slowly enough, the solution must be a flat affine subspace. The result weakens earlier bounded-image rigidity theorems, and the growth condition is argued to be optimal via the bowl soliton.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The derivation of the key estimate (1.2) from (3.18) is algebraically invalid, and as printed the proof of Theorem 2 fails because (3.19) uses T=R^2, where the stated growth hypothesis is insufficient to make the right-hand side vanish.","rationale":"The reader's weakest assumption identifies the same load-bearing point: the powers of R in the key estimate are inconsistent with the growth hypothesis. My stress-test confirms and sharpens this: the displayed derivation of (1.2) from (3.18) is not algebraically valid, and the subsequent choice T=R^2 in (3.19) is fatal for the stated hypothesis unless the estimate is corrected. The proof strategy is plausible, and a modest revision (correcting (1.2) and taking T=R) appears to close the gap, so the appropriate verdict remains CONDITIONAL rather than ACCEPT or REJECT. Thus I do not change the reader's verdict.","tokens_in":8249,"tokens_out":9698,"duration_ms":93745,"concrete_test":"Recompute the step from (3.18) to (1.2) by substituting ε^{-1} ≤ C sup(π/2-ρ)^{-2} after taking the square root. If the resulting bound is C( (S^2+S^4)R^{-2} + S^2 T^{-1} ), then (1.2) is not derived. Then repeat the limit in (3.19) with T=R^2 and S=o(R); if the bound is the corrected one, the RHS need not vanish. Finally, rerun the argument with T=R and S=o(√R) to confirm the corrected proof closes.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central estimate is (1.2), but the displayed step 'Hence from (3.18), we derive' does not follow. From (3.18), taking square roots gives sup_{D_{R/2,T/2}} |B|/(b-phi) ≤ C( (ε^{-1}+ε^{-2}) R^{-2} + ε^{-1} T^{-1} ). Since ε^{-1} ≤ C sup(π/2-ρ)^{-2} =: C S^2, this becomes C( (S^2+S^4) R^{-2} + S^2 T^{-1} ), not the printed R^{-1}(S+S^2) + T^{-1/2} S. Thus (1.2) is not a consequence of the preceding computation as written.\n\nMoreover, even if (1.2) were granted, the proof of Theorem 2 applies it with T=R^2. On D_{R,R^2}, the theorem's hypothesis gives S = o(√|F|+√|t|) = o(R), so the term R^{-1} S^2 in (1.2) is only o(R), which need not tend to zero. Hence letting R→∞ in (3.19) does not force B≡0. If instead one took T=R, then S=o(√R) and the printed (1.2) would give R^{-1}S^2=o(1), so the rigidity conclusion would close; but the proof as written does not do this, and the estimate supporting (1.2) is not derived.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a rigidity theorem for complete ancient solutions to the mean curvature flow in codimension one. Under the assumptions that the Gauss map image lies in an open hemisphere and that, near infinity, (π/2 - ρ∘γ)^{-1} = o(√|F| + √|t|), the authors conclude that each time slice is affine linear. The proof is based on a local pointwise estimate for the second fundamental form obtained via a maximum-principle argument with an auxiliary function, following the approach of Kunikawa and Souplet-Zhang. The authors also claim that the growth condition is optimal, using a rotationally symmetric translating soliton as an example. The main technical statement is Theorem 1, a local estimate for |B|/(b - ϕ∘γ), and Theorem 2 is the resulting rigidity theorem.","tokens_in":8517,"tokens_out":18966,"duration_ms":169526,"significance":"If the main rigidity claim is valid, the result is a meaningful extension of earlier Bernstein-type theorems for ancient solutions to the mean curvature flow, replacing bounded Gauss-map slope (Kunikawa, Qiu) by a quantitative growth condition that is shown to be sharp via the translating soliton example. The proof is self-contained and uses standard tools (Wang's Gauss map evolution, Huisken's Simons identity, and a parabolic maximum principle with a Li-Yau-type cutoff); no free parameters are fitted. The optimality example in Remark 3 is informative. However, the printed estimate (1.2) is not a correct consequence of the preceding computation, and the application to Theorem 2 has a scaling gap. These issues are load-bearing for the rigidity conclusion.","major_comments":[{"comment":"The step 'Hence from (3.18), we derive' is algebraically invalid. Taking square roots of (3.18) gives φ^{1/2} f ≤ C( (1/ε + 1/ε^2) R^{-2} + (1/ε) T^{-1} ). Using the printed bound 1/ε ≤ C sup_{D_{R,T}} (π/2 - ρ)^{-2} =: C S_2, this becomes C( (S_2 + S_2^2) R^{-2} + S_2 T^{-1} ), not the R^{-1}(S_1 + S_2) + T^{-1/2} S_1 that appears in (1.2). The powers of R and T in (1.2) do not follow from (3.18). Since Theorem 2's proof invokes (1.2) through (3.19), the rigidity conclusion as printed does not follow from the derived estimate.","section":"Section 3, derivation of (1.2) from (3.18)"},{"comment":"Even if (1.2) were granted, the choice T = R^2 in (3.19) makes the right-hand side fail to decay under the theorem's hypothesis. On D_{R,R^2}, the growth condition gives S := sup_{D_{R,R^2}} (π/2 - ρ)^{-1} = o(R), because √|F| + √|t| ≤ 2R there. Consequently the term R^{-1} S^2 in (1.2) is o(R), which need not tend to zero as R→∞. The same issue affects the S_2 = S^2 term. The argument would close if T were taken to be R (where S = o(√R) and R^{-1} S^2 = o(1)), but the proof as written uses T = R^2. Thus the limit R→∞ in (3.19) does not force B ≡ 0.","section":"Section 3, proof of Theorem 2, Eq. (3.19)"}],"minor_comments":[{"comment":"In (3.19), the notation ρ∘u should read ρ∘γ; this appears to be a typo.","section":"Eq. (3.19)"},{"comment":"The hypothesis is phrased 'as t→-∞, the image ... is contained in an open hemisphere', but the proof applies Theorem 1 on arbitrary time intervals [-T,0]. The condition should be stated as holding for all t ∈ (-∞,0] (or on each interval), not only as a limiting statement.","section":"Theorem 2 statement"},{"comment":"There is a parenthesis error in the expression 'cos(ρ∘γ))^{-1}'; it should read (cos(ρ∘γ))^{-1}.","section":"Remark 3"},{"comment":"Reference [31] is cited as 'to appear'; if the article has since been published, the citation should be updated.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The reader's stress-test concern is valid: the central estimate (1.2) does not follow from (3.18), and the application with T=R^2 does not close under the stated growth assumption. The main theorem may be salvageable with a corrected estimate (the computation actually gives R^{-2} and T^{-1} decay) and by changing the choice of T in the proof of Theorem 2 to T=R. I therefore recommend major revision rather than rejection, provided the authors can supply a corrected derivation and adjust the proof accordingly."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my read. The paper aims to prove a rigidity theorem for ancient solutions to mean curvature flow in codimension one: if the Gauss map stays in an open hemisphere and approaches its boundary sublinearly, the flow must be affine linear. The condition genuinely weakens earlier bounded-Gauss-image results, and Remark 3's quadratic translator shows the growth exponent is sharp. That part is good and worth knowing.\n\nThe method is the standard Souplet–Zhang maximum principle with an auxiliary function f = |B|^2/(b−φ)². The computation up through (3.18) looks consistent, and the authors honestly credit Kunikawa for Corollary 1.\n\nBut there is a load-bearing error in the step from (3.18) to the displayed estimate (1.2). From (3.18), taking square roots and using 1/ε ≤ C·S², where S = sup(π/2−ρ)⁻¹, gives terms of order (S²+S⁴)R⁻² + S²T⁻¹, not the printed R⁻¹(S+S²) + T⁻¹/²S. So (1.2) is not a consequence of the preceding algebra.\n\nEven if (1.2) were somehow granted, the proof of Theorem 2 applies it with T = R². On D_{R,R²}, the hypothesis (π/2−ρ)⁻¹ = o(√|F|+√|t|) only yields S = o(R), so the term R⁻¹S² is o(R), not o(1). Letting R→∞ does not force the right-hand side to zero. If the authors had taken T = R, they would have S = o(√R) and the printed (1.2) would close; but they do not, and the estimate supporting (1.2) is not derived.\n\nSo: the result is probably true and the approach is sensible, but the proof as printed fails at a key step. This is fixable — correct the powers or adjust the time-radius scaling — but it needs actual correction. The paper is for people working on ancient solutions and rigidity of the Gauss map, and they will want this condition in play. I would send it to peer review with the expectation of a revision, but I would not cite it in its current form.","headline":"A promising rigidity theorem under an optimal growth condition, but the proof as printed has a load-bearing gap: the local estimate (1.2) does not follow from (3.18), and the application with T=R^2 does not make the RHS vanish.","tokens_in":9110,"tokens_out":2815,"would_cite":false,"duration_ms":28276,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C24","53E10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Complete ancient mean curvature flows with Gauss map in an open hemisphere and sub-square-root tilt must be affine linear.","keywords":["ancient solution","mean curvature flow","rigidity theorem","curvature estimate","Gauss map","translating soliton","codimension one","optimal growth condition"],"falsifier":"Compute the right-hand side of the estimate in Theorem 1 with $T=R^2$ for a solution whose inverse hemisphere distance satisfies the theorem's $o$-condition; the decisive check is whether $\\frac{1}{R}\\sup_{D_{R,R^2}}(\\pi/2-\\rho\\circ\\gamma)^{-2}$ tends to zero. If it does, the rigidity proof closes; if not, the growth condition alone is insufficient.","tokens_in":7967,"feed_emoji":"🌀","tokens_out":9867,"duration_ms":96863,"temperature":0.7,"pith_summary":"The paper proves a rigidity theorem for complete noncompact ancient solutions to the mean curvature flow in codimension one: if the Gauss map of the flow stays inside an open hemisphere and the inverse distance to the boundary of that hemisphere grows more slowly than $\\sqrt{|F|}+\\sqrt{|t|}$ at infinity, then every time slice $M_t$ is an affine linear subspace. Ancient solutions are the asymptotic models for the flow near singularities, so this rigidity says which local models can actually occur. The proof is a maximum-principle estimate for the second fundamental form, and the authors show the growth condition is optimal by comparing with a quadratic translating graph whose inverse boundary distance is $O(|F|^{1/2})$ and which is genuinely curved. A corollary gives the same rigidity for translating solitons, and the argument extends to eternal solutions.","feed_headline":"Mild Gauss-map tilt forces ancient flows to be flat","feed_subtitle":"The new proof shows nonflat ancient solutions must tilt at least as fast as the square root of size; that threshold is sharp.","key_machinery":"The carrying object is the weighted curvature function $f=|B|^2/(b-\\phi\\circ\\gamma)^2$, with $\\phi=1-\\cos\\rho$ and $b=\\frac12(1+\\sup_{D_{R,T}}\\phi\\circ\\gamma)$, on the space-time domain $D_{R,T}$. The motion of the Gauss map (via the harmonic-map heat-flow identity $\\tau(\\gamma)-\\partial_t\\gamma=0$) gives $(\\Delta-\\partial_t)(\\phi\\circ\\gamma)=\\cos(\\rho\\circ\\gamma)\\,|B|^2$, while Huisken's inequality gives $(\\Delta-\\partial_t)|B|^2\\ge 2|\\nabla B|^2-2|B|^4$; combining these yields a differential inequality for $f$. A cutoff function $\\eta(r,t)$ constructed after Kunikawa localizes the maximum principle, producing the curvature estimate in Theorem 1. The rigidity then follows by taking $T=R^2$ and letting $R\\to\\infty$, so the decay of the right-hand side forces $|B|\\equiv 0$.","core_discovery":"The central claim is Theorem 2: let $F\\colon M^n\\times(-\\infty,0]\\to\\mathbb{R}^{n+1}$ be a complete ancient solution to the mean curvature flow, let $\\gamma$ be its Gauss map, and let $\\rho$ be the distance function on $S^n$ from a point $p_0$. If the image of $\\gamma$ lies in an open hemisphere and $(\\pi/2-\\rho\\circ\\gamma)^{-1}=o(\\sqrt{|F|}+\\sqrt{|t|})$ near infinity, then $M_t$ is affine linear for every $t$. The proof first establishes a local pointwise estimate (Theorem 1) controlling $|B|/(b-\\phi\\circ\\gamma)$ on $D_{R/2,T/2}$ in terms of the inverse hemisphere distance on $D_{R,T}$; setting $T=R^2$ and letting $R\\to\\infty$ forces the second fundamental form to vanish. The authors also state that the growth rate is optimal, because the well-known entire rotationally symmetric translating graph with $|u(x)|\\sim C|x|^2$ satisfies $(\\pi/2-\\rho\\circ\\gamma)^{-1}=O(|F|^{1/2})$ and is nonflat, and they record the analogous rigidity for translating solitons.","pith_inferences":["The proof suggests a general quantitative principle: for ancient mean curvature flow, rigidity is controlled by the rate at which the normal approaches the boundary of an open hemisphere, and the sharp hypothesis is a growth rate rather than a bounded-slope assumption.","The same weighted maximum-principle estimate could be adapted to other parabolic geometric flows where the target has a distance function with positive Hessian and the curvature satisfies a Bochner-type inequality.","A testable consequence is that the critical exponent $1/2$ should reappear in any rigidity theorem for ancient solutions or translating solitons formulated via Gauss-map hemisphere distance, with exactly $O(|F|^{1/2})$ marking the boundary between flat and nonflat behavior."],"forward_implications":["Nonflat complete ancient codimension-one solutions with Gauss map in an open hemisphere must have $(\\pi/2-\\rho\\circ\\gamma)^{-1}$ at least of order $\\sqrt{|F|}+\\sqrt{|t|}$; any sub-square-root growth is impossible.","Every complete translating soliton in $\\mathbb{R}^{n+1}$ whose Gauss image lies in an open hemisphere and whose inverse boundary distance is $o(|F|^{1/2})$ is an affine subspace.","The open-hemisphere condition is necessary: the grim reaper has Gauss image a great circle and is nonflat.","The rigidity also holds for eternal solutions, since the same argument works on $[-T,T]$ time intervals."],"supporting_citations":[{"why":"Supplies the Gauss-map harmonic heat-flow identity $\\tau(\\gamma)-\\partial_t\\gamma=0$ used to derive the evolution of $\\phi\\circ\\gamma$ in terms of $|B|^2$.","marker":"[35]"},{"why":"Supplies the parabolic inequality $(\\Delta-\\partial_t)|B|^2\\ge 2|\\nabla B|^2-2|B|^4$ that underlies the pointwise curvature estimate.","marker":"[18]"},{"why":"Supplies the explicit cutoff function with the required decay in $R$ and $T$, and a Bernstein-type predecessor for ancient solutions.","marker":"[23]"},{"why":"Supplies Proposition 3.3 used to write $M_t$ as a complete graph, ensuring the space-time domain is compact for the maximum principle.","marker":"[22]"},{"why":"Supplies the quadratic translating graph example showing the growth condition in Theorem 2 is optimal.","marker":"[11]"},{"why":"The author's earlier rigidity theorem under a bounded Gauss-image condition, which Theorem 2 generalizes by weakening the hypothesis.","marker":"[31]"}],"fun_headline_variants":["Sharp tilt threshold enforces flat ancient flows","Sub-square-root Gauss tilt forces ancient flows flat","Ancient MCF: optimal tilt bound implies rigidity","Rigidity theorem: mild tilt gives flat ancient MCF"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing step is in the passage from equation (3.18) to (3.19): the error term must vanish as the space-time radius $R$ grows, and the theorem's growth condition is what has to guarantee that decay; if it does not, the flatness conclusion does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Sharp tilt threshold enforces flat ancient flows","Sub-square-root Gauss tilt forces ancient flows flat","Ancient MCF: optimal tilt bound implies rigidity","Rigidity theorem: mild tilt gives flat ancient MCF"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000685,"raw_usage":{"total_tokens":3050,"prompt_tokens":830,"completion_tokens":2220,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":446,"completion_tokens_details":{"reasoning_tokens":2159}},"tokens_in":446,"tokens_out":2220,"duration_ms":18063,"temperature":1.0,"reasoning_tokens":2159,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T17:30:16.287330+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the right-hand side of the estimate in Theorem 1 with $T=R^2$ for a solution whose inverse hemisphere distance satisfies the theorem's $o$-condition; the decisive check is whether $\\frac{1}{R}\\sup_{D_{R,R^2}}(\\pi/2-\\rho\\circ\\gamma)^{-2}$ tends to zero. If it does, the rigidity proof closes; if not, the growth condition alone is insufficient.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Gauss-map harmonic heat-flow identity $\\tau(\\gamma)-\\partial_t\\gamma=0$ used to derive the evolution of $\\phi\\circ\\gamma$ in terms of $|B|^2$."},{"cited_title":"Differential Geom","cited_arxiv_id":null,"evidence_quote":"Supplies the parabolic inequality $(\\Delta-\\partial_t)|B|^2\\ge 2|\\nabla B|^2-2|B|^4$ that underlies the pointwise curvature estimate."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the explicit cutoff function with the required decay in $R$ and $T$, and a Bernstein-type predecessor for ancient solutions."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies Proposition 3.3 used to write $M_t$ as a complete graph, ensuring the space-time domain is compact for the maximum principle."},{"cited_title":"C., Schulze, F., Stability of tran slating solutions to mean curvature flow, Calc","cited_arxiv_id":null,"evidence_quote":"Supplies the quadratic translating graph example showing the growth condition in Theorem 2 is optimal."},{"cited_title":"B., Rigidity of complete ancient solutions to the mean curva ture flow, to appear in Math- ematical Research Letters","cited_arxiv_id":null,"evidence_quote":"The author's earlier rigidity theorem under a bounded Gauss-image condition, which Theorem 2 generalizes by weakening the hypothesis."}],"review_version":1}