{"id":"4b1f2247-fb32-4aba-a505-591b3908bad2","arxiv_id":"2411.13204","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":1.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A survey of results on Ricci flow from non-smooth initial data, focusing on preservation of lower curvature bounds and open problems.","lead":"This paper surveys which non-smooth initial data can be evolved by Ricci flow, and which curvature lower bounds survive the flow up to a constant. It organizes known results, gives some proof sketches, and lists open problems in the area.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the survey's claims track published theorems; the sharp-constant dependence in (4.2) is an explicit, honest dependency rather than an internal gap.","rationale":"The reader's weakest assumption correctly identifies the exact coefficient in (4.2) as the load-bearing external premise for Theorem 4.8. I agree that this is where the non-collapsed preservation claim is most delicate. However, I do not regard this as a flaw of the survey: the paper is explicitly a survey, it cites BCRW19 for the estimate, and it even warns that a weaker version with C > 1 would not suffice. For a survey, reliance on a published theorem is normal and not an internal inconsistency. The only objective error is the reference-list attribution of [Sim01] to Wan-Xiong Shi instead of Miles Simon; this is bibliographic and does not change the mathematical content. The proof sketches in Sections 3 and 5 are clearly marked as sketches, and the open problems in Section 7 are consistent with the stated theorems. I therefore find no load-bearing mathematical concern that would alter the reader's conditional verdict, which was based on the citation error; the verdict remains unchanged.","tokens_in":35416,"tokens_out":9456,"duration_ms":98463,"concrete_test":"Check the published BCRW19 proof of the reaction inequality used for ℓ(t), verifying that the coefficient of R(g(t))ℓ(t) is literally 1 (not an O(1) constant) in the inequality corresponding to (4.2), and that C in C^2ℓ^2 is a fixed universal constant. If the published inequality contains a constant C > 1 in front of Rℓ, then Theorem 4.8's assertion R(g(t)) + k c0^2 I ∈ C would need a larger constant or a new argument; if it matches, the dependency lands safely.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The single most delicate point is Section 4's Theorem 4.8, whose preservation conclusion R(g(t)) + k c0^2 I ∈ C depends on the exact coefficient 1 in the reaction inequality ∂ℓ/∂t ≤ R(g)ℓ + C^2ℓ^2 (equation (4.2)). The paper itself flags (Section 4, paragraph after (4.2)) that replacing the coefficient 1 by any C > 1 would break the comparison argument, and it does not reproduce the proof of (4.2). So the central claim in the non-collapsed setting is conditional on BCRW19 being exactly correct. This is a real epistemic dependency, but for a survey it is not an internal defect: (4.2) is a published, refereed result and the survey states the dependence accurately. The only concrete defect I find is bibliographic: [Sim01] in the reference list is attributed to Wan-Xiong Shi, whereas the text cites it as Simon [Sim01]; [Shi89] is Shi's actual paper. This does not affect the mathematics. No other load-bearing gap surfaced: the proof sketches are labeled as such, the open problems are consistent with the theorems, and the limitations (e.g., WPIC lacking a Ricci bound in Section 4) are stated.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This survey paper addresses the question of which non-smooth metric spaces can be evolved by the Ricci flow and to what extent lower curvature bounds at time zero are preserved, possibly up to a constant. The author lists classes of initial data (C^0 metrics, W^{2,2} and W^{1,n} metrics, Gromov-Hausdorff limits of manifolds with curvature bounds, Alexandrov spaces, RCD spaces, and measures on surfaces), states existence and preservation theorems from the literature, provides proof sketches for several key results (Theorems 3.4, 3.5, 3.7, 4.5, and 4.7), surveys more recent developments including local and pyramid Ricci flows and pinched settings, and closes with a list of open problems. The central claim, matching the abstract, is that curvature lower bounds survive, possibly up to a constant, for these weak initial data under suitable non-collapsing or smallness assumptions.","tokens_in":35621,"tokens_out":25892,"duration_ms":235776,"significance":"As a survey, the paper's value lies in organizing a large and technical literature and in making explicit the logical dependencies of the main preservation results. The author is careful to flag the sharp-constant requirement in the Bamler-Cabezas-Rivas-Wilking estimate (4.2) and the smallness condition |Rm| t <= sigma(n) needed in the Schlichting-Richard argument (Remark 3.9). The proof sketches are coherent and, for a survey, appropriately detailed; the open problems section is informative. The main statements are attributed to published work, and I did not find internal circularity or invented quantities. The weaknesses are largely bibliographic and typographical, plus a few inconsistent cross-references, none of which affect the mathematical content.","major_comments":[],"minor_comments":[{"comment":"The reference [Sim01] is attributed to Wan-Xiong Shi, but the text uses [Sim01] for Miles Simon's paper 'Deformation of C0 Riemannian metrics in the direction of their Ricci curvature'; Wan-Xiong Shi's paper is [Shi89]. Please correct the author field.","section":"References, [Sim01]"},{"comment":"The phrase 'one cannot use the results of Lemma 4.3 above' should refer to Theorem 4.3, since no Lemma 4.3 appears in the paper.","section":"Section 4, Notes (ii) after Theorem 4.8"},{"comment":"The sentence 'where C is one of the conditions (i)-(iv) or (vi)-(ix)' should read '(vi)-(viii)', because Definition 2.3 lists curvature conditions only up to (viii).","section":"Section 4, Pyramid Ricci flows paragraph"},{"comment":"The Note 'If ki < 0, ki -> 0' is inconsistent with the hypothesis ki in (0, infinity) in the theorem statement; it should presumably read 'If ki > 0 and ki -> 0'.","section":"Theorem 4.7, Note"},{"comment":"In the sentence 'let Phi_i : M x [0,T] -> M be the solution to (3.1)', the equation number should be (3.2), since Phi_i solves the diffeomorphism ODE rather than the DeTurck flow equation.","section":"Proof of Theorem 3.7"},{"comment":"The condition 'R(g(0)) - sigma R(g(0)) in C_IC1' is missing the identity tensor and should read 'R(g(0)) - sigma R(g(0)) I in C_IC1', matching the definition in the pinched-setting section.","section":"Section 7, open problem (j)"},{"comment":"The entries for [LT21a] and [LT21b] have identical titles, journal, volume, and page numbers; please verify whether these are the same paper and merge the entries accordingly.","section":"References, [LT21a] and [LT21b]"},{"comment":"The second displayed inequality uses '(ell(0))^{-1}', but ell(0) is only defined up to measure zero in this theorem; it should presumably be '(ell_0)^{-1}' as in the first inequality.","section":"Theorem 5.2(ii)"},{"comment":"There are small reference typos: [CFZ24] has 'arXiv2497.20163' (missing colon), and [BG19] lists the page range '1703-1172', which is likely a typo.","section":"References, [CFZ24] and [BG19]"},{"comment":"In the prototype example, 'uniformly non-collapsed, that is V(B_{g(t)}(x,1)) >= v0' should be 'V(B_{g(0)}(x,1)) >= v0', since g(t) has not yet been introduced at that point.","section":"Section 4, local Ricci flows paragraph"}],"recommendation":"minor_revision","confidential_remarks":"This is an expert survey whose mathematical content appears sound and whose limitations are honestly stated. The main issues are reference accuracy and minor typographical inconsistencies. The author's own work is cited frequently, but this is appropriate given the central role of [Sim01], [Sim02], [Sim12], and [LS23] in the subject. If the journal's scope includes survey articles, I recommend acceptance after a minor revision focused on the reference list and cross-references."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read it. It is exactly what it says: a survey, not a research paper. No new theorem, no new data. What it does well is organize the known results on Ricci flow out of non-smooth initial data and on short-time preservation of lower curvature bounds. The curvature conditions are defined cleanly, the list of flowable initial data is genuinely useful, and the proof sketches are labeled as sketches and are coherent. The open problems section is a real asset; it separates what is missing from what is just technical.\n\nThe paper is also honest about its load-bearing dependencies. Section 4's Theorem 4.8 depends on the exact coefficient in inequality (4.2) from Bamler-Cabezas-Rivas-Wilking, and the text says plainly that a larger constant would break the argument. That is the right way to report someone else's theorem. It also flags that WPIC does not imply a Ricci lower bound, which is why it is excluded from the main preservation statement. I checked the internal consistency; the statements track the cited literature.\n\nSoft spots are minor and mostly bibliographic. [Sim01] in the reference list is attributed to Wan-Xiong Shi, but the text cites it as Simon, and Shi's actual paper is [Shi89]. Also [LT21a] and [LT21b] are listed with identical bibliographic data; one of those labels is wrong. These should be fixed before publication. The reader flagged the [Sim01] error as grounds for a conditional verdict; I think that is too harsh. It is a typo in the references, not a mathematical flaw.\n\nThe one substantive caveat is that the survey is only as strong as the theorems it quotes. If any of the cited results had a hidden error, the survey would inherit it. But that is true of any survey, and the paper does not try to hide the dependencies.\n\nWho is this for? Graduate students and researchers entering the area. Experts will find the open problems useful and little else. It deserves a serious referee; surveys by people who actually proved many of the results are worth refereeing carefully. My recommendation: send to peer review, require the reference fixes, accept after minor revision.","headline":"An honest, useful survey of Ricci flow from non-smooth initial data; no new theorems, but a reliable map with open problems and minor, fixable reference errors.","tokens_in":36183,"tokens_out":3439,"would_cite":true,"duration_ms":36100,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C44"],"pacs":[],"model":"deepseek-v4-flash","headline":"This survey argues that the Ricci flow can start from a wide variety of non-smooth initial data — continuous ($C^0$) metrics, Sobolev-type metrics, Gromov–Hausdorff limits of manifolds with a lower curvature bound, Alexandrov spaces, and…","keywords":["Ricci flow","non-smooth initial data","curvature lower bounds","Ricci-DeTurck flow","Gromov-Hausdorff limits","Alexandrov spaces","RCD spaces","scalar curvature"],"falsifier":"Find, or construct, a sequence of smooth compact manifolds with uniform volume non-collapsing and $R(g_i(0)) + k_i I \\in C$ converging in the Gromov–Hausdorff sense to a limit space for which no Ricci flow with $R(g(t)) + k c_0^2 I \\in C$ and $|\\mathrm{Rm}| \\leq c_0^2/t$ exists for a uniform time; or exhibit a non-smooth initial metric whose lower curvature bound is not recovered by any approximating flow. More directly, check the coefficient-one estimate on a concrete ancient solution such as a shrinking round sphere or a Ricci soliton: if any solution forces a coefficient different from one, the proof mechanism fails.","tokens_in":35163,"feed_emoji":"🌀","tokens_out":7694,"duration_ms":66566,"temperature":0.7,"pith_summary":"This survey argues that the Ricci flow can start from a wide variety of non-smooth initial data — continuous ($C^0$) metrics, Sobolev-type metrics, Gromov–Hausdorff limits of manifolds with a lower curvature bound, Alexandrov spaces, and RCD spaces — and that when it does, lower curvature bounds from time zero are preserved for a short time, possibly multiplied by a constant. The paper catalogues the known existence results and the estimates that make them work, and states a list of open problems. A reader should care because these singular spaces arise naturally as limits of smooth manifolds, and flowing them with controlled curvature is a route to proving structural results, such as the fact that such limits are topological manifolds in dimension three.","feed_headline":"Ricci flow works from rough spaces, curvature bounds preserved","feed_subtitle":"Short-time flows from C0 metrics, Alexandrov and RCD spaces keep lower curvature bounds up to constants.","key_machinery":"The central machinery is the Ricci-DeTurck flow, a parabolic gauge-fixed version of the Ricci flow that accepts $C^0$ or Sobolev initial metrics and returns smooth solutions; the preservation arguments run on maximum-principle calculations for tensors of the form $T(t) = \\mathrm{Ric}(g(t)) + \\epsilon(1+100t)g(t) + \\epsilon(1+100t)t R(g(t))g(t)$, where the added $tR$ term supplies a non-negative contribution at a first vanishing time. For curvature cones in higher dimensions, the load-bearing estimate is $\\partial_t\\ell \\leq R(g(t))\\ell + C^2\\ell^2$ for $\\ell(t) = \\inf\\{\\alpha \\geq 0 : R(g(t)) + \\alpha I \\in C\\}$, which must hold with coefficient exactly $1$ on $R\\ell$ for the argument to work. A blow-up argument, using the vanishing of the asymptotic volume ratio for ancient solutions with non-negative curvature operator, converts non-collapsing plus a lower curvature bound into the scale-invariant estimate $|\\mathrm{Rm}| \\leq c_0^2/t$ that ties the whole construction together.","core_discovery":"On the paper's own terms, the central claim is that a Ricci flow can be made to emerge from initial data too rough for the classical theory, and that curvature lower bounds of the initial space survive the smoothing. For continuous metrics lying close to a fixed smooth background metric, the Ricci-DeTurck flow produces a solution converging to the continuous metric, with curvature estimates of the form $|\\mathrm{Rm}(g(t))| \\leq \\psi(n,\\hat{\\epsilon})/t$, and the related Ricci flow solutions have distances converging locally uniformly. For uniformly non-collapsed Gromov–Hausdorff limits of manifolds satisfying $R(g_i(0)) + k_i I \\in C$ for a curvature cone $C$ among CCO, C2CO, CIC1, CIC2, or the Kähler condition CHB, there is a Ricci flow coming out of the limit space with $|\\mathrm{Rm}| \\leq c_0^2/t$, $R(g(t)) + k c_0^2 I \\in C$, and explicit distance and volume control. The same preservation holds, up to constants, for scalar curvature lower bounds of $C^0$ and Sobolev metrics, and in dimension three for Ricci and sectional curvature lower bounds.","pith_inferences":["If the coefficient-one estimate is genuinely sharp, the constants $C(n)$ in the preserved curvature bounds may encode quantitative rigidity of the limit space, and the same technique could yield sharp constants for other invariant curvature cones.","The open-problem list suggests a testable extension: combining the Section 4 machinery with known regularity of RCD spaces in dimension two or three would give a direct flow out of an RCD space without an approximating sequence.","The preservation-up-to-constants mechanism might transfer to other geometric flows with maximum-principle structures, such as mean curvature flow from singular data, though the paper does not address this."],"forward_implications":["Uniformly non-collapsed Gromov–Hausdorff limits of three-manifolds with Ricci curvature bounded below are topological manifolds, via the flow's distance and volume control.","Scalar curvature lower bounds for $C^0$ metrics can be meaningfully defined by regularizing with Ricci flow, giving a robust notion for convergence questions.","For curvature cones such as the non-negative curvature operator, preservation up to constants yields expanding solitons coming out of cones, a building block for asymptotic geometry.","The flow's local estimates (distance bounds, volume non-collapsing) turn the singular initial space into a smooth approximation with controlled geometry at positive times."],"supporting_citations":[{"why":"Supplies the sharp estimate $\\partial_t\\ell \\leq R\\ell + C^2\\ell^2$ and the non-collapsed existence theorem for curvature cones.","marker":"[BCR W19]"},{"why":"Establishes the Ricci-DeTurck flow from $C^0$ initial metrics and the curvature estimate $|\\mathrm{Rm}| \\leq \\psi/t$.","marker":"[Sim01]"},{"why":"Proves preservation of Ricci and sectional lower bounds in dimension three and the flow out of non-collapsed limits.","marker":"[Sim12]"},{"why":"Produces a Ricci flow related solution from $W^{2,2}$ metrics in four dimensions and the distance convergence to a limit metric.","marker":"[LS23]"},{"why":"Defines and preserves scalar curvature lower bounds for $C^0$ metrics through regularization by the flow.","marker":"[BG20]"},{"why":"Provides the asymptotic volume ratio vanishing used in the blow-up argument that yields the scale-invariant curvature estimate.","marker":"[Per02]"}],"fun_headline_variants":["Rough data Ricci flow preserves curvature bounds up to constants","Ricci flow from non-smooth initial data with curvature bounds kept","Curvature lower bounds preserved under Ricci flow from rough spaces","Non-smooth Ricci flow: curvature bounds survive with constants"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument depends on the sharp estimate $\\partial_t\\ell \\leq R(g(t))\\ell + C^2\\ell^2$, quoted from the literature with coefficient exactly one on $R\\ell$; the survey notes explicitly that a version with a larger constant $C>1$ would not suffice, and it does not prove this estimate itself.","fun_headline_variants_meta":{"raw":{"variants":["Rough data Ricci flow preserves curvature bounds up to constants","Ricci flow from non-smooth initial data with curvature bounds kept","Curvature lower bounds preserved under Ricci flow from rough spaces","Non-smooth Ricci flow: curvature bounds survive with constants"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000553,"raw_usage":{"total_tokens":2604,"prompt_tokens":882,"completion_tokens":1722,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":498,"completion_tokens_details":{"reasoning_tokens":1652}},"tokens_in":498,"tokens_out":1722,"duration_ms":10752,"temperature":1.0,"reasoning_tokens":1652,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T16:42:01.342809+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find, or construct, a sequence of smooth compact manifolds with uniform volume non-collapsing and $R(g_i(0)) + k_i I \\in C$ converging in the Gromov–Hausdorff sense to a limit space for which no Ricci flow with $R(g(t)) + k c_0^2 I \\in C$ and $|\\mathrm{Rm}| \\leq c_0^2/t$ exists for a uniform time; or exhibit a non-smooth initial metric whose lower curvature bound is not recovered by any approximating flow. More directly, check the coefficient-one estimate on a concrete ancient solution such as a shrinking round sphere or a Ricci soliton: if any solution forces a coefficient different from one, the proof mechanism fails.","supporting_citations":[],"review_version":1}