{"id":"5bed9526-6e2c-4b19-8074-bc1ab46e4283","arxiv_id":"1908.07441","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"For spherical curves in a rotationally symmetric 3-manifold with density, the weighted mean curvature flow splits into radial drift and a shape-changing flow on a sphere, with long-time limits governed by a parabolic/hyperbolic dichotomy.","lead":"This paper analyzes the mean curvature flow with density for curves that lie on spheres in a 3D rotationally symmetric space. It reduces the flow to a radial ODE plus a curve-shortening flow on a sphere, then classifies the long-time limit using the parabolic or hyperbolic type of the ambient space.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 6's constructed solution solves ∂_t γ = +H_ξ, not the stated problem (6) ∂_t γ = −H_ξ; the radial ODE and every theorem depending on it are tied to the wrong sign.","rationale":"Good-faith reading: the paper aims to give a complete dynamic classification of the density-dependent mean curvature flow for spherical curves by reducing it to a radial ODE plus the two-dimensional ψMCF. For that reduction to be valid, the constructed γ must solve problem (6). The proof of Theorem 6 algebraically shows that it solves the opposite equation: the radial term R′ = −B matches the radial part of +H⃗_ξ, not −H⃗_ξ, and the angular term is k⃗, again the angular part of +H⃗_ξ. Since problem (6) and the curve shortening problem (12) both specify the negative sign, this is not a harmless convention issue. The sign choice propagates through (29), Theorem 11 part ii, and Theorem C, reversing the condition for the flow to escape to infinity. The reader's REJECT verdict is therefore supported. I mark agreement as partial because the reader's weakest_assumption field identifies a different gap, the C^∞ subconvergence estimate (23), which is genuine but secondary to the sign mismatch. The paper contains no machine-checked verification; its analytic narrative is detailed but the sign error is internal and decisive. The proposed one-parameter test settles the question directly.","tokens_in":21414,"tokens_out":5703,"duration_ms":60228,"concrete_test":"Take the Gaussian example of Section 6 with r0 > 1/μ and ψ ≡ 0. From (6), the radial velocity at t = 0 is +B(r0) = 1/r0 − μ^2 r0 < 0, so the curve must move inward. The construction (15) with (30) gives R′(0) = −B(r0) = μ^2 r0 − 1/r0 > 0. Directly compute both sides of (6) at t = 0 for this initial circle; equality holds only if one changes (6) to ∂γ/∂t = +H⃗_ξ or changes Theorem 6 to R′ = +B. This one-parameter check decides whether the paper's central reduction solves the stated problem.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Problem (6) is ∂γ/∂t = (−H⃗_ξ). Lemma 1 gives H⃗_ξ = k⃗_{S_r,ψ} + B⃗ with B⃗ = −B∂_r, so −H⃗_ξ = −k⃗_{S_r,ψ} + B∂_r and the radial component of the stated velocity is +B∂_r. Theorem 6 instead defines R′(t) = −B(R(t)) and constructs γ(p,t) = exp(γ̃(p,t̃(t)), (R(t)−r0)∂_r). The proof computes ∂γ/∂t = R′∂_r + (w(r0)/w(R))^2 exp_*(−k⃗_{S_r0,ψ}) = −B∂_r + k⃗_{S_R,ψ} = B⃗ + k⃗_{S_R,ψ} = H⃗_ξ, using Lemma 3 and Lemma 1. Thus (15) is a solution of ∂γ/∂t = +H⃗_ξ, not of (6). The discrepancy is substantive: R′ = −B makes R grow when B < 0, so the paper's requirement that an unbounded solution needs B < 0 at infinity, and Theorem C's whole dichotomy, rest on the sign of the equation that is actually solved. If (6) were solved, R′ = +B, so unboundedness would require B > 0. A global reparametrization of t cannot fix this because the radial motion is one-sided. The borrowed uniform-derivative estimate (23) from Step 4, page 23 of [15], with the sphere S_{R(t)} changing in time, is a second unresolved issue, but the sign inconsistency is prior.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the curve shortening flow with density for spherical curves in a 3-dimensional rotationally symmetric space with density (M_w^3, g_w, ξ), where ξ splits into a radial part φ and an angular part ψ. The author constructs the solution by reducing it to the curve shortening flow with density on a fixed geodesic sphere and a scalar radial ODE, and then analyzes finite-time collapse and infinite-time behavior. The main classification results, Theorems A–C, assert that finite-time solutions collapse to a round point or the pole, and that unbounded infinite-time solutions converge topologically to a ψ-minimal curve or a point at infinity, depending on the parabolicity or hyperbolicity of M_w^3 and on the limiting behavior of the function B(r) = w'(r)/w(r) + φ'(r). A final section applies the theory to the Gaussian density in R^3.","tokens_in":21811,"tokens_out":9118,"duration_ms":95380,"significance":"If the main theorems were correct, the paper would provide a clean reduction of a codimension-two curve flow with density to a surface flow, together with a potential-theoretic dichotomy for spherical curves and explicit Gaussian examples. The manuscript has genuine strengths: the reduction is explicit, the comparison principle is used in a natural way, and the Gaussian example is worked out in detail. However, the central existence proof contains a sign error that invalidates the stated problem and the theorems derived from it. The paper also relies on an unproved, imported derivative estimate for the subconvergence claims. As it stands, the central claims do not follow from the arguments given.","major_comments":[{"comment":"Problem (6) prescribes ∂γ/∂t = −Hξ. By Lemma 1, Hξ = k_{S_R,ψ} + B, with B = −B(r)∂r, so the prescribed radial velocity is +B(r)∂r. In the proof of Theorem 6 the constructed solution satisfies ∂γ/∂t = R'∂r + (w(r0)/w(R))^2 exp_*(−k_{S_r0,ψ}) = −B(R)∂r + k_{S_R,ψ} = B + k_{S_R,ψ} = Hξ, using Lemma 3 and Lemma 1. Thus the construction solves ∂γ/∂t = +Hξ, not the stated problem (6). The discrepancy is visible in the ODE (16): the text sets R' = −B, which is the radial component of +Hξ; solving (6) would require R' = +B. This is load-bearing: Theorem 11(ii) and Theorem C derive 'B(r) < 0 for all r ≥ r0' as the necessary condition for unboundedness from R' = −B, whereas the stated problem would require B > 0; Section 6's Gaussian ODE (30) also follows the R' = −B convention. A reparametrization of t cannot reverse a one-sided radial drift, so this is not a cosmetic sign error.","section":"Theorem 6; Eq. (6)-(16)"},{"comment":"The claim that all derivatives of the weighted geodesic curvature of the angular flow converge uniformly to zero as t goes to infinity is asserted by reference to 'Step 4 on page 23 of [15]' together with Lemma 4, but it is not proved in this paper. The setting of [15] is a flow in a fixed surface, whereas here the sphere S_{R(t)} changes with time; transferring the estimate requires argumentation that is not provided. This estimate is used to bound |∂^n_α γ̂| in (28) and hence to obtain the C^∞ subconvergence in Theorem 11(i). Without it the subconvergence conclusion is unsupported. If the conclusion can be obtained more directly from Theorem 3 applied to the fixed-sphere flow ~γ, the proof should say so explicitly.","section":"Section 5, display (23)"}],"minor_comments":[{"comment":"The summation notation '∑_{n,1}^{1,n−1}' is not explained and appears malformed; the multi-index sum over i, J, K should be defined precisely in the text.","section":"Equation (21)"},{"comment":"The formula for the derivative of the inverse function is incorrect as printed: '(L|_{[r0,∞)})^{-1}(r) = 1/L|_{[r0,∞)}(r) = 1/B(r)' should involve L' composed with L^{-1}, not L itself. The equivalence may be true, but the proof needs to be rewritten.","section":"Proposition 2"},{"comment":"In the computation of ∂^3_s γ and ∂^4_s γ, the term ∂_s(w'/w) vanishes because w'/w is constant along a spherical curve at fixed R(t); noting this explicitly would clarify the polynomial expressions f_n, g_n, h_n in (24).","section":"Lemma 5 and Eq. (24)"},{"comment":"The heuristic discussion of the integral (10) is useful but imprecise: the notation '~' in (11) is not defined, and the precise role of parabolicity/hyperbolicity is only made clear much later in Theorem 11.","section":"Introduction, after Eq. (11)"}],"recommendation":"reject","confidential_remarks":"The sign inconsistency between Eq. (6) and the proof of Theorem 6 is fundamental and affects the radial ODE and all subsequent theorems. If the intended equation is the one in (3), namely ∂F/∂t = Hξ, then the paper needs a global revision of (6), (16), Theorem 11(ii), Theorem C, and Section 6. The heavy reliance on unproved details from [15], including the derivative estimate in (23), also makes verification difficult for the reader."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Fernando — this one is a mixed bag. The core idea is genuinely nice: decompose the ξMCF of a spherical curve into a radial ODE driven by B(r) and the ψMCF on a fixed sphere, with the time change (17). That reduction, and the parabolic/hyperbolic dichotomy for unbounded solutions, is a real contribution, and the Gaussian density classification with the explicit area threshold is the right kind of payoff. If the signs in Theorem 6 were fixed, this would be a solid subfield paper.\n\nThe problem is that they aren't. Problem (6) is stated as ∂γ/∂t = −H_ξ. Lemma 1 gives H_ξ = k_{S_r,ψ} + B_vec, with B_vec = −B ∂_r. So −H_ξ = −k_{S_r,ψ} + B ∂_r. That means the radial component of the stated velocity is +B ∂_r, so R' should be +B(R). Theorem 6 instead takes R' = −B, and the proof computes ∂γ/∂t = B_vec + k_{S_R,ψ} = H_ξ. In other words, the solution constructed in Theorem 6 solves ∂γ/∂t = +H_ξ, not problem (6). This is not a harmless convention slip: every theorem that says 'unbounded solution requires B < 0 at infinity' (Theorems B, C, 11) uses the sign from the equation that is actually solved, not the stated one. If problem (6) were solved with the minus sign, R would grow exactly when B > 0, and the whole dichotomy would flip. The paper never acknowledges this.\n\nThere is a second, independent gap: the C^∞ subconvergence claims in Theorems 10(ii) and 11(i) rest on the uniform derivative estimate (23), attributed to 'Step 4 on page 23 of [15]' and equation (23). That estimate is not stated or proved in this paper, and it concerns curvature on a fixed sphere, while the sphere S_{R(t)} moves with time. Transferring it takes argument that isn't there. So even if the sign were fixed, those convergence claims are not established.\n\nWhat should you take from this? The paper is worth reading for the reduction and the Gaussian example, but the main theorems as stated do not hold up. The sign error is fixable — it may just be a matter of changing the convention in (6) or in the ODE — but the author needs to present a consistent formulation and rework the estimates. I'd send it to a referee: the idea is good enough that a serious referee could help turn it into a correct paper. But I wouldn't cite it as is.","headline":"Smart reduction and a nice Gaussian classification, but the central Theorem 6 solves the opposite sign flow, so the qualitative theorems are not established.","tokens_in":22326,"tokens_out":2110,"would_cite":false,"duration_ms":19863,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C44","35R01"],"pacs":[],"model":"deepseek-v4-flash","headline":"A spherical curve under mean curvature flow with density collapses in finite time to a round point or, if it runs forever, converges at infinity to a $\\psi$-minimal curve or a point, according to the parabolicity or hyperbolicity of the…","keywords":["mean curvature flow with density","curve shortening flow","spherical curves","codimension two","rotationally symmetric spaces","manifolds with density","parabolicity","hyperbolicity"],"falsifier":"In the Gaussian case $\\phi(r)=-\\frac12\\mu^2r^2$ with a non-geodesic initial curve, compute $\\partial_s^n k_{\\gamma(\\cdot,t),S_{R(t)},\\psi}$ as $t\\to\\infty$; any derivative that fails to converge uniformly to zero while the angular flow is still defined would refute equation (23) and the smooth subconvergence claim. Alternatively, check directly whether the estimate cited from page 23 of the earlier paper applies to spheres whose radius $R(t)$ changes with time, since that is the step the manuscript leaves unproved.","tokens_in":21208,"feed_emoji":"🌀","tokens_out":9593,"duration_ms":88099,"temperature":0.7,"pith_summary":"This paper studies the mean curvature flow with density for closed embedded curves that start on a geodesic sphere in a three-dimensional rotationally symmetric manifold with density $\\xi=\\phi(r)+\\psi(\\theta)$. It proves that every such flow splits exactly into a radial motion driven by the ordinary differential equation $R'(t)=-B(R(t))$ and an angular curve-shortening flow on the sphere, so the shape evolution is inherited from the known theory on surfaces. If the flow dies in finite time, the curve collapses to a point, away from the pole as a spherical round point; if it lives forever, the limit is controlled by the geometry at infinity. The main new result is a dichotomy: in a parabolic ambient space an unbounded flow subconverges to a closed $\\psi$-minimal curve on the sphere at infinity, while in a hyperbolic space it either converges to a fixed curve at infinity or collapses to a point there. This transfers a classical dichotomy of the curve shortening problem to the codimension-two setting and links it to the potential theory of the ambient space.","feed_headline":"Parabolic or hyperbolic space decides a spherical curve's end","feed_subtitle":"Spherical curves under density curvature flow settle into a minimal curve or a point at infinity, depending on the ambient space.","key_machinery":"The load-bearing identity is the decomposition $\\vec H_\\xi=\\vec k_{S_r,\\psi}+\\vec B(\\gamma)$ (Lemma 1), which writes the ambient mean curvature vector with density as the geodesic curvature vector with density of the curve inside its geodesic sphere plus the radial vector $\\vec B=-B(r)\\partial_r$, where $B(r)=w'(r)/w(r)+\\phi'(r)$. With this identity the solution is explicit: $\\gamma(p,t)=\\exp(\\tilde\\gamma(p,\\tilde t(t)),(R(t)-r_0)\\partial_r)$, where $R'(t)=-B(R(t))$ and $\\tilde t(t)=\\int_0^t(w(r_0)/w(R(t)))^2\\,dt$; the problem reduces to the known $\\psi$MCF on a sphere composed with a one-dimensional radial ODE. Whether the rescaled time $\\tilde T$ is finite or infinite is controlled by the integral $-\\operatorname{Area}(S_{r_0})\\int_{r_0}^\\infty 1/(B(r)\\operatorname{Area}(S_r))\\,dr$, and the standard characterization of parabolicity and hyperbolicity by the divergence of $\\int^\\infty 1/\\operatorname{Area}(S_r)\\,dr$ converts that integral into the theorem's dichotomy.","core_discovery":"The paper's central claim is Theorem C: for a spherical curve evolving by the mean curvature flow with density in $M^3_w$, if the solution exists for all time and is unbounded, its asymptotic behavior is decided by whether $M^3_w$ is parabolic or hyperbolic. In the parabolic case with $\\liminf_{r\\to\\infty}B(r)$ finite, the flow topologically subconverges to $\\gamma_\\infty:S^1\\to[0,\\infty]\\times S^2$, $p\\mapsto(\\infty,\\chi(p))$, where $\\chi$ is a closed embedded $\\psi$-minimal curve. In the hyperbolic case with $\\limsup_{r\\to\\infty}B(r)\\neq0$, the flow either topologically converges to the curve $\\gamma_\\infty(p)=(\\infty,\\tilde\\gamma(p,\\tilde T))$ or to a single point on the sphere at infinity. The paper also proves that finite-time maximal solutions collapse to a point (Theorem A), that bounded eternal solutions $C^\\infty$-subconverge to a $\\psi$-minimal curve in a sphere where $B=0$ (Theorem B), and it works out the Euclidean Gaussian-density case in full, classifying each initial curve by the area it encloses.","pith_inferences":["The same radial-angular splitting should extend to spherical submanifolds of any codimension in the same warped-product geometry, with the same radial ODE driven by $B$; the angular part would then be a higher-dimensional flow with density.","The Gaussian area threshold is a concrete place to test sharpness: numerical evolutions just above and just below the threshold should show convergence to a curve versus a point at infinity, while behavior exactly at the threshold would expose whether the missing curvature estimate is needed.","If the imported estimate (23) cannot be transferred to the moving spheres, the topological part of Theorem C may survive, but the smooth subconvergence would require a new argument controlling derivatives along the time-dependent family of spheres.","Read through potential theory, the dichotomy says a recurrent ('parabolic') ambient space forces the angular flow to last forever and settle down, while a transient ('hyperbolic') ambient space lets the angular flow finish in finite rescaled time before the curve reaches infinity."],"forward_implications":["Any finite-time singularity of a spherical solution is a collapse to a point: a spherical round point away from the pole, and at the pole (when $\\phi$ has a $C^1$ extension) a blow-up that subconverges to a closed $\\psi$-minimal curve.","A bounded eternal solution $C^\\infty$-subconverges to a closed $\\psi$-minimal curve contained in a $B$-minimal geodesic sphere, so such spheres are barriers for the flow.","In a parabolic ambient space, an unbounded eternal flow with $\\liminf_{r\\to\\infty}B(r)$ finite forgets its angular shape and approaches a $\\psi$-minimal curve on the sphere at infinity.","In a hyperbolic ambient space with $\\limsup_{r\\to\\infty}B(r)\\neq0$, the same flow either approaches a fixed curve on the sphere at infinity or collapses to a point there.","In Euclidean space with Gaussian density, the dichotomy becomes a computable area threshold: larger enclosed area sends the curve to a limit curve at infinity, the threshold area sends it to a point at infinity, and smaller area makes it collapse in finite time."],"supporting_citations":[{"why":"supplies the compact-surface subconvergence theorem for ψMCF and the Step 4 derivative estimate (23) on which the smooth subconvergence claims rest","marker":"[15]"},{"why":"establishes existence, uniqueness, and regularity for parabolic curve flows on surfaces, used for the angular problem","marker":"[1]"},{"why":"supplies comparison and embeddedness preservation for the surface flow, inherited by the ambient flow","marker":"[2]"},{"why":"completes the existence theory for the angular curve-shortening problem on surfaces","marker":"[17]"},{"why":"provides the round-point collapse theorem for planar surface flows used in the finite-time case","marker":"[24]"},{"why":"gives the parabolicity/hyperbolicity characterization by $\\int^\\infty 1/\\operatorname{Area}(S_r)\\,dr$ that yields the infinity dichotomy","marker":"[11]"},{"why":"establishes the link between MCF and ξMCF that justifies uniqueness and the product-manifold interpretation","marker":"[16]"},{"why":"provides the higher-codimension uniqueness theorem used to prove uniqueness of the solution","marker":"[12]"}],"fun_headline_variants":["Parabolic vs hyperbolic: spherical curve flow's endpoint","Density flow: parabolic space forces minimal curve limit","Curve flow's infinity: parabolic gives minimal, hyperbolic gives point","Parabolic or hyperbolic space: curve flow's asymptotic fate","Mean curvature with density: space type predicts the end"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument's load-bearing premise is that a curvature-decay estimate imported from an earlier work—every derivative of the curve's density-weighted curvature inside its sphere tends uniformly to zero at infinity—remains valid when the sphere itself moves with the flow; the paper does not prove that transfer.","fun_headline_variants_meta":{"raw":{"variants":["Parabolic vs hyperbolic: spherical curve flow's endpoint","Density flow: parabolic space forces minimal curve limit","Curve flow's infinity: parabolic gives minimal, hyperbolic gives point","Parabolic or hyperbolic space: curve flow's asymptotic fate","Mean curvature with density: space type predicts the end"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001028,"raw_usage":{"total_tokens":4298,"prompt_tokens":878,"completion_tokens":3420,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":494,"completion_tokens_details":{"reasoning_tokens":3340}},"tokens_in":494,"tokens_out":3420,"duration_ms":23639,"temperature":1.0,"reasoning_tokens":3340,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:21:49.606061+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"In the Gaussian case $\\phi(r)=-\\frac12\\mu^2r^2$ with a non-geodesic initial curve, compute $\\partial_s^n k_{\\gamma(\\cdot,t),S_{R(t)},\\psi}$ as $t\\to\\infty$; any derivative that fails to converge uniformly to zero while the angular flow is still defined would refute equation (23) and the smooth subconvergence claim. Alternatively, check directly whether the estimate cited from page 23 of the earlier paper applies to spheres whose radius $R(t)$ changes with time, since that is the step the manuscript leaves unproved.","supporting_citations":[{"cited_title":"The curve shortening problem associated to a density","cited_arxiv_id":null,"evidence_quote":"supplies the compact-surface subconvergence theorem for ψMCF and the Step 4 derivative estimate (23) on which the smooth subconvergence claims rest"},{"cited_title":"Parabolic equations for curves on surfaces","cited_arxiv_id":null,"evidence_quote":"establishes existence, uniqueness, and regularity for parabolic curve flows on surfaces, used for the angular problem"},{"cited_title":"Parabolic equations for curves on surfaces","cited_arxiv_id":null,"evidence_quote":"supplies comparison and embeddedness preservation for the surface flow, inherited by the ambient flow"},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"completes the existence theory for the angular curve-shortening problem on surfaces"},{"cited_title":"Asymptotic behavior of anisotropic curve flows","cited_arxiv_id":null,"evidence_quote":"provides the round-point collapse theorem for planar surface flows used in the finite-time case"},{"cited_title":"Analytic and geometric background of recurrence and non-explosion of the brownian motion on riemannian manifol ds","cited_arxiv_id":null,"evidence_quote":"gives the parabolicity/hyperbolicity characterization by $\\int^\\infty 1/\\operatorname{Area}(S_r)\\,dr$ that yields the infinity dichotomy"},{"cited_title":"Type i singularities in the curve shortening flow associated to a density","cited_arxiv_id":null,"evidence_quote":"establishes the link between MCF and ξMCF that justifies uniqueness and the product-manifold interpretation"},{"cited_title":"Three-manifolds with positive ricci curvature","cited_arxiv_id":null,"evidence_quote":"provides the higher-codimension uniqueness theorem used to prove uniqueness of the solution"}],"review_version":1}