{"id":"d25d5cdb-3f52-4129-8ec3-1601f72d5a36","arxiv_id":"2505.23157","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Short-time complete rotationally symmetric Ricci flows are constructed from initial metrics with unbounded curvature, provided the radial warping function is non-decreasing or stays bounded away from zero at infinity.","lead":"This paper proves that certain highly stretched, rotationally symmetric spaces in any dimension can be smoothed by Ricci flow for a short time, even when their curvature is unbounded to start. It also shows the flow can smooth out a cone-like point at the center while keeping the surrounding geometry intact.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Pseudolocality Lemma 1 relies on a 3D point-picking lemma; without a higher-dimensional proof, the Λ_g/t bound is not established.","rationale":"The reader's weakest_assumption identifies exactly the same load-bearing concern: Lemma 1 imports a 3D-specific point-picking lemma [21, Lemma 5.1] and applies it in all dimensions without proof. My independent reading of the manuscript confirms that this is the most critical step. The remainder of the proof of Theorem 1 (approximation by bounded-curvature metrics, a priori volume-ratio estimates, bootstrap extension) is structurally standard, and the concern about the unreviewed uniqueness preprint [14] is secondary because Theorem 1's existence argument only uses the classical bounded-curvature uniqueness theorem [7] and the equivariant compactness theorem [2]; [14] is needed only for Corollary 1 and for identifying the flows of Theorems 1 and 2. The 'a_i t_i → 0' phrase is a fixable omission rather than a fundamental obstruction. Therefore, the appropriate verdict remains CONDITIONAL: the central claim is plausible and the strategy is reasonable, but the proof as written has a potential dimensional gap in the key pseudolocality lemma. My stress-test does not move the verdict, so I recommend UNCHANGED.","tokens_in":17141,"tokens_out":6776,"duration_ms":71998,"concrete_test":"Retrieve the published Simon–Topping paper [21] and check whether Lemma 5.1 is stated only for n=3 and whether its proof uses 3D-specific ingredients (e.g., the Ricci tensor decomposition or the classification of 3D κ-solutions). Then attempt to re-prove the point-picking step in dimension n ≥ 4 using only the hypotheses of Lemma 1 (Weyl bound |W| ≤ c/t and volume noncollapsing) and the generalized Hamilton–Ivey estimate [24, Theorem 1.1]. If the proof cannot be carried out without an n=3 restriction, Lemma 1 is unsupported as stated and the Λ_g/t bound in Theorems 1 and 2 lacks a proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Lemma 1 (§3.1) is the pivotal step that produces the uniform curvature bound |Rm(g(t))| ≤ Λ_g/t used to extend the approximating flows in Theorems 1 and 2. Its contradiction argument depends entirely on the imported point-picking lemma [21, Lemma 5.1]. The cited lemma appears in Simon–Topping's paper titled \"Local control on the geometry in 3D Ricci flow\", and the statement and proof in [21] are specific to n = 3, relying on the 3D decomposition of the curvature operator and Perelman's classification of 3D κ-solutions. The present paper neither states nor proves a higher-dimensional analogue; it only says \"[21, Lemma 5.1] implies...\" after imposing a Weyl-tensor bound and volume noncollapsing. Moreover, the phrase \"We may assume a_i t_i → 0\" is presented without justification; although one can arrange this by choosing the contradiction sequence with T_i = o(1/a_i), the written proof omits the selection. If a dimension-free version of the point-picking lemma is unavailable, the limit (3.3) need not be a non-flat ancient κ-solution with AVR ≥ v1, and the contradiction does not go through. Consequently, the uniform Λ_g/t bound in Theorem 1 (and Theorem 2) is not established. This is a genuine gap in the central argument, not merely a stylistic issue.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims a short-time existence theory for complete Ricci flows on rotationally symmetric manifolds (R^{n+1}, g = ds^2 + f(s)^2 g_std) under assumptions that do not include bounded curvature. Theorem 1 asserts existence of a complete rotationally symmetric Ricci flow with |Rm(g(t))| ≤ Λ_g/t when lim inf_{s→∞} f(s) > 0 and local two-sided curvature bounds hold near the origin. Theorem 2 removes the local curvature assumption when f_s ≥ 0, and Corollaries 1 and 2 derive a global flow under nonnegative scalar curvature and smooth out a cone-like singularity, respectively. The strategy is to approximate the initial metric by bounded-curvature rotationally symmetric metrics, apply Shi's existence theorem, obtain uniform curvature and volume-noncollapsing estimates via a pseudolocality lemma and a priori volume-ratio estimates, and then pass to a limit using equivariant compactness.","tokens_in":17377,"tokens_out":9840,"duration_ms":103288,"significance":"If the proof is completed, the result would be a significant step beyond Shi's bounded-curvature theory: it would give complete Ricci flows from rotationally symmetric initial data with unbounded curvature in arbitrary dimension, under mild noncollapsing-at-infinity assumptions. The paper also provides an explicit application to singular initial data with a cone-like vertex, which is an interesting and nontrivial consequence. The manuscript is generally well organized, and the strategy of combining Shi's flow, pseudolocality, and volume-ratio estimates is standard and plausible. However, the central pseudolocality lemma is not proved in the stated generality: it imports a point-picking lemma from a 3D-specific paper and invokes a 3D classification result. Because the uniform curvature bound |Rm| ≤ Λ_g/t in Theorems 1 and 2 rests entirely on that lemma, the main existence claims are not established as written.","major_comments":[{"comment":"The proof of Lemma 1 applies [21, Lemma 5.1] to a Ricci flow in arbitrary dimension n without checking that the lemma is dimension-free. The cited paper is titled 'Local control on the geometry in 3D Ricci flow', and its point-picking argument relies on the 3D decomposition of the curvature operator and Perelman's 3D analysis. Since Lemma 1 is the only source of the uniform bound |Rm| ≤ Λ_g/t used in the proofs of Theorems 1 and 2, the central estimate is not established unless a dimension-free analogue of [21, Lemma 5.1] is stated and proved in this paper or shown to follow from a genuinely higher-dimensional reference.","section":"§3.1, Lemma 1"},{"comment":"The contradiction argument concludes that the limiting ancient solution has zero asymptotic volume ratio by citing [17, Proposition 11.4], but that proposition is a 3-dimensional statement about κ-solutions. In arbitrary dimension, nonnegative curvature operator together with κ-noncollapsing does not by itself imply zero asymptotic volume ratio. Therefore the limit (3.3) is not shown to contradict the lower bound AVR ≥ v_1, and the proof of Lemma 1 is incomplete even if the point-picking step were available.","section":"§3.1, after (3.3)"},{"comment":"The sentence 'We may assume a_i t_i → 0' is not justified in the text. The existence of times t_i with |Rm(g_i(x_i,t))| < a_i/t for t < t_i and |Rm(g_i(x_i,t_i))| = a_i/t_i does not imply a_i t_i → 0; this condition is needed for the subsequent application of [21, Lemma 5.1]. The gap is repairable by choosing the original contradiction sequence with T_i = o(1/a_i), but the written proof must explicitly make that selection.","section":"§3.1, proof of Lemma 1"},{"comment":"Corollary 1 asserts that the flows g_ℓ obtained from Theorem 2 coincide on their common time intervals, citing the uniqueness theorem [14, Theorem 1.1]. That theorem is from a 2025 preprint and is not proved in this paper, and the preceding phrase 'the solution comes from taking a subsequential limit of g_ℓ' is not by itself a construction of a global flow. Since the global existence statement of Corollary 1 depends on this uniqueness, the proof should either prove the needed uniqueness or state explicitly that the result depends on the as-yet-unpublished [14] and verify that its hypotheses apply.","section":"§4, Corollary 1"}],"minor_comments":[{"comment":"In the proof of Proposition 1, the sentence 'It remains to the case x /∈ B_g(x, 1/2)' should be 'It remains to consider the case x ∉ B_g(o, 1/2)'.","section":"§2, Proposition 1 proof"},{"comment":"In the statement of Lemma 4, equation (3.8) writes 'φ(p,t) ≤ tℓ', which should presumably be 'φ(p,t) ≤ t^ℓ' for some ℓ > α+1; the proof later uses the exponent in this way.","section":"§3.2, Lemma 4"},{"comment":"In the proof of Lemma 5, the phrase 'by Theorem 4' should refer to 'Lemma 4'.","section":"§3.2, Lemma 5 proof"},{"comment":"Equation (3.15) has a missing closing parenthesis in the displayed logarithmic expression; the formula should be written with careful bracketing.","section":"§3.2, Lemma 6 proof"},{"comment":"There is a typo in the introduction: 'with anU (n)-invariant Kähler metric' should be 'with a U(n)-invariant Kähler metric'.","section":"§1, Introduction"},{"comment":"In the proof of Theorem 2, the notation 'T3(n, max{Λ̂, a(Λ̂+Λ)}, δ) = T3(n,δ)' is misleading because Lemma 5's time constant depends on α; the intended meaning is that the constant is determined by n and δ once the dimension-dependent constants Λ and Λ̂ are fixed.","section":"§4, Theorem 2 proof"}],"recommendation":"major_revision","confidential_remarks":"The main concern is the pseudolocality lemma: the proof imports a 3D-specific lemma and a 3D-specific asymptotic-volume-ratio statement, while the theorem is stated for all dimensions. This is a load-bearing gap, but it may be fixable by adding a dimension-free proof or a valid higher-dimensional reference. The dependence on the unpublished preprint [14] for Corollary 1 should also be addressed, perhaps by stating the result as conditional or by proving the needed uniqueness. The paper is otherwise a reasonable contribution to the literature on noncompact Ricci flow, and the topic fits the journal's scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe short version: this paper has a real theorem worth taking seriously, and a genuine gap in the proof that needs fixing. The main result — short-time existence of complete rotationally symmetric Ricci flow on R^{n+1} from initial metrics with unbounded curvature, under only a noncollapsing-at-infinity condition — is new and extends the 2D story of Giesen–Topping. The strategy is standard: approximate by bounded-curvature metrics, run Shi, get a uniform Λ/t curvature bound by pseudolocality plus volume noncollapsing, then pass to the limit. The volume-ratio lemmas are genuinely useful; in particular, Lemma 5 keeping the noncollapsing constant independent of α is a nice observation.\n\nThe problem is Lemma 1, the pseudolocality theorem. Its contradiction proof rests on [21, Lemma 5.1], a point-picking lemma from Simon–Topping's \"Local control on the geometry in 3D Ricci flow.\" That paper is explicitly 3D, and the present manuscript gives no statement, proof, or adaptation of the lemma to arbitrary n. The line \"We may assume a_i t_i → 0\" is also unjustified as written, though that part is easily fixed by choosing the contradiction sequence with T_i = o(1/a_i). If a dimension-free version of the point-picking lemma is not available, the limit in (3.3) need not be a non-flat ancient κ-solution with AVR ≥ v1, and the contradiction collapses. Since Lemma 1 supplies the uniform |Rm| ≤ Λ_g/t used repeatedly in Theorems 1 and 2, this is load-bearing.\n\nOther concerns are minor. Corollary 1 invokes [14], a 2025 preprint by a close collaborator, to identify flows at different scales; that's fine for existence but should be flagged in a final version. The proof of Lemma 6 is dense and leans on several external results, but I did not find an obvious fatal error there.\n\nMy read: the main theorems are likely correct, and the gap in Lemma 1 is probably fixable — either by proving the point-picking statement in all dimensions or by citing a genuinely dimension-free pseudolocality result. This deserves a serious referee, but the referee should be someone who can check the Simon–Topping import carefully.\n\nRecommendation: send to peer review, with the request that the author supply the missing higher-dimensional argument for Lemma 1. I would not cite the paper in its current form, but I'd watch the next version closely.","headline":"Likely correct and genuinely new higher-dimensional short-time existence for Ricci flow from unbounded-curvature rotationally symmetric metrics, but the load-bearing pseudolocality lemma imports a 3D argument without a higher-dimensional proof.","tokens_in":17950,"tokens_out":3691,"would_cite":false,"duration_ms":41451,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53E20"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper establishes that every complete rotationally symmetric metric on $\\mathbb{R}^{n+1}$ whose warping function stays bounded away from zero at infinity admits a complete rotationally symmetric Ricci flow up to some time $T_g$, with…","keywords":["Ricci flow","rotationally symmetric metrics","short-time existence","unbounded curvature","pseudolocality","volume noncollapsing","curvature decay","cone singularity"],"falsifier":"Take $n=3$ (so $\\mathbb{R}^4$) and try to build a sequence of complete rotationally symmetric Ricci flows with vanishing Weyl tensor, uniform volume-ratio lower bound, and points $x_i$ with $|\\mathrm{Rm}(x_i,t_i)|\\,t_i \\to \\infty$ as $t_i \\to 0$. The existence of even one such sequence is a direct counterexample to the pseudolocality lemma and therefore to Theorem 1; a positive check would be a written proof that the point-picking lemma used for the contradiction has a valid analogue in every dimension.","tokens_in":16886,"feed_emoji":"🌀","tokens_out":9332,"duration_ms":84564,"temperature":0.7,"pith_summary":"The central claim is a short-time existence theorem for complete Ricci flow on $\\mathbb{R}^{n+1}$ in the rotationally symmetric class, with no bounded-curvature assumption on the initial metric. A complete rotationally symmetric metric $g = ds^2 + f(s)^2 g_{\\mathrm{std}}$ with $\\liminf_{s\\to\\infty} f(s) > 0$ is shown to admit a complete rotationally symmetric Ricci flow $g(t)$ on $[0,T_g]$ satisfying $|\\mathrm{Rm}(g(t))| \\le \\Lambda_g/t$ for $t>0$. This matters because previous complete-flow existence results imposed global curvature control, while here the only global restriction is a mild noncollapsing condition at infinity on the warping function. A second version, for warping functions with $f_s \\ge 0$, drops the local two-sided curvature condition near the origin, and a corollary produces a flow that smooths a cone-like singular metric while converging to it away from the singularity.","feed_headline":"Short-time Ricci flow proven for noncollapsed symmetric metrics","feed_subtitle":"A theorem gives complete smooth flows with curvature ≤ Λ/t, from metrics whose warping function stays positive at infinity.","key_machinery":"The argument uses the rotationally symmetric ansatz $g(t)=ds_t^2+f(s_t,t)^2 g_{\\mathrm{std}}$, which reduces Ricci flow to equations for the warping function $f$ and the radial coordinate, and whose Weyl tensor vanishes identically. The load-bearing mechanism is a pseudolocality lemma: under a Weyl-tensor bound $|W|\\le c/t$ and a uniform lower bound on the volume ratio, the full curvature at a point obeys $|\\mathrm{Rm}(x_0,t)|\\le a/t$. Around this sit two a priori volume-ratio estimates showing that noncollapsing is preserved along the flow, a barrier construction that uses a thin neck at infinity to restrain the metric, and an extension procedure that restarts the flow whenever the curvature bound is about to fail. A limiting rotationally symmetric flow is extracted by an equivariant compactness theorem.","core_discovery":"The main result, Theorem 1, states that a complete rotationally symmetric metric $g = ds^2 + f(s)^2 g_{\\mathrm{std}}$ on $\\mathbb{R}^{n+1}$ with $\\liminf_{s\\to\\infty} f(s) >0$ is the initial condition of a complete rotationally symmetric Ricci flow $( \\mathbb{R}^{n+1}, g(t))_{t \\in [0,T_g]}$ with $g(0)=g$ and curvature decay $|\\mathrm{Rm}(g(t))| \\le \\Lambda_g/t$ on $\\mathbb{R}^{n+1}\\times(0,T_g]$. When the initial curvature is bounded near the origin, the constants $\\Lambda_g$ and $T_g$ depend only on the dimension and the geometric data in that local bound. Under the additional monotonicity $f_s \\ge 0$, the flow exists with only a scalar-curvature lower bound near the origin, and if $f_s \\ge \\delta >0$ and $\\mathrm{scal}(g)\\ge 0$, it exists for all $t\\ge0$. The paper also constructs, by approximation, a complete Ricci flow starting from a rotationally symmetric metric with a cone-like singularity at the origin and no centered minimal hypersphere; that flow is smooth for positive time, converges smoothly to the initial metric away from the origin, and converges in the pointed Gromov-Hausdorff sense.","pith_inferences":["The paper leaves the higher-dimensional validity of the pseudolocality point-picking step as the central unresolved check; Theorem 1 should be read as conditional on that import until it is supplied. This is the editor's inference, not a claim made in the paper.","If the barrier strategy is sound, it should extend to other symmetric initial geometries, for instance $U(n)$-invariant Kähler metrics on $\\mathbb{C}^n$, yielding flows from unbounded-curvature data without global curvature bounds.","The cone-smoothing corollary suggests Ricci flow is a canonical desingularization of cone-like rotationally symmetric metrics whenever no minimal hyperspheres accumulate; a natural test is whether the no-minimal-hypersphere condition is necessary, in view of the cited example where infinitely many small minimal spheres prevent a $\\kappa$-noncollapsed flow."],"forward_implications":["Theorem 1 gives complete Ricci flows for a broad class of noncompact initial metrics with unbounded curvature, with curvature instantaneously bounded by the sharp scale-invariant decay $\\Lambda_g/t$.","Theorem 2 and Corollary 1 show that nondecreasing warping functions with a positive slope lower bound and nonnegative scalar curvature yield flows defined for all time, giving higher-dimensional examples that do not arise as products of two-dimensional flows.","Corollary 2 provides a Ricci-flow smoothing of a cone-like singular metric: the flow is smooth for positive time, converges smoothly away from the origin, and the metric spaces converge in the pointed Gromov-Hausdorff sense.","By the uniqueness theorem for flows with scaling-invariant estimates, the constructed flow is independent of the chosen approximating sequence."],"supporting_citations":[{"why":"The short-time existence theorem for complete bounded-curvature metrics supplies the starting flows in the approximation argument.","marker":"[20]"},{"why":"The point-picking lemma used inside the pseudolocality proof; it is imported from the three-dimensional setting.","marker":"[21, Lemma 5.1.]"},{"why":"The generalized Hamilton-Ivey estimate used to conclude the limiting ancient solution in Lemma 1 has nonnegative curvature operator.","marker":"[24, Theorem 1.1.]"},{"why":"The statement that $\\kappa$-solutions have zero asymptotic volume ratio, which produces the contradiction in the pseudolocality lemma.","marker":"[17, Proposition 11.4.]"},{"why":"The equivariant compactness theorem used to pass from approximating rotationally symmetric flows to the limiting complete flow.","marker":"[2, Proposition 3.7.]"},{"why":"Supplies the evolution equation for the warping function $f_s$ and the rotationally symmetric Ricci flow framework.","marker":"[10, Lemma 3.1.]"},{"why":"The local maximum principle used to propagate lower bounds on $f_s$ and control the volume ratio in Lemmas 5 and 6.","marker":"[15, Theorem 1.1.]"},{"why":"Local curvature derivative estimates used to control the flow near the origin after parabolic rescaling.","marker":"[5, Corollary 3.2.]"},{"why":"Uniqueness for flows satisfying scaling-invariant estimates, used to show approximating flows coincide and have a common limit.","marker":"[14, Theorem 1.1.]"}],"fun_headline_variants":["Short-time Ricci flow for noncollapsed symmetric metrics","Smoothing cone singularities via Ricci flow","No bounded curvature needed for symmetric Ricci flow","Complete Ricci flow from cone-like singular metrics","Existence proof for rotationally symmetric Ricci flow"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof hinges on a pseudolocality lemma whose point-picking step is imported from a three-dimensional paper and asserted, but not proved, to work in every dimension; if that higher-dimensional import fails, the uniform estimate $|\\mathrm{Rm}|\\le \\Lambda_g/t$ and both main theorems collapse.","fun_headline_variants_meta":{"raw":{"variants":["Short-time Ricci flow for noncollapsed symmetric metrics","Smoothing cone singularities via Ricci flow","No bounded curvature needed for symmetric Ricci flow","Complete Ricci flow from cone-like singular metrics","Existence proof for rotationally symmetric Ricci flow"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000589,"raw_usage":{"total_tokens":2744,"prompt_tokens":905,"completion_tokens":1839,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":521,"completion_tokens_details":{"reasoning_tokens":1769}},"tokens_in":521,"tokens_out":1839,"duration_ms":18289,"temperature":1.0,"reasoning_tokens":1769,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T12:55:38.241336+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $n=3$ (so $\\mathbb{R}^4$) and try to build a sequence of complete rotationally symmetric Ricci flows with vanishing Weyl tensor, uniform volume-ratio lower bound, and points $x_i$ with $|\\mathrm{Rm}(x_i,t_i)|\\,t_i \\to \\infty$ as $t_i \\to 0$. The existence of even one such sequence is a direct counterexample to the pseudolocality lemma and therefore to Theorem 1; a positive check would be a written proof that the point-picking lemma used for the contradiction has a valid analogue in every dimension.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The short-time existence theorem for complete bounded-curvature metrics supplies the starting flows in the approximation argument."}],"review_version":1}