{"id":"f132f69d-91e5-4fcb-973a-20590e553175","arxiv_id":"2502.03634","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every cylindrical blowup of a mean curvature flow singularity is quantitatively unique, independently of how long the flow ran and even for drifting rescaling centers.","lead":"This paper proves an effective (quantitative) uniqueness theorem for cylindrical singularities of mean curvature flow: a rescaled flow that starts close to a cylinder and whose Gaussian area barely changes stays close to its starting slice, for arbitrarily long times. The result implies a new rigidity statement: two cylindrical blowups of a singular point are the same cylinder even when the rescaling centers drift toward the singularity.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Theorem 0.5 leans on Lemma 3.3, whose derivation is a one-line citation to [CM2]; the exact form needed (two-step L1 sums, F below the cylinder) is not verified here, so the new theorem is only as solid as that imported regularity argument.","rationale":"The reader and I identify the same load-bearing point. I went through the proof of Proposition 2.1 (Lemmas 2.4, the summation-by-parts estimate) and found it correct; the three cases in Theorem 0.5 correctly translate the sign of F - F(C) into the discrete inequality. The potential objection that the proof of (3.17) in Theorem 0.1 needs t0 to depend on i does not land: for fixed t0 the rescaled slice Σ^i_t is equivalent to a tangent flow at the origin with scale e^{-t0/2}, and since x_i e^{t0/2} → 0 and s_i e^{t0} → 0, the origin-cylindrical hypothesis gives closeness on [t0-1,t0+2] for large i. Thus the residual uncertainty is concentrated in the imported regularity and Lojasiewicz estimates. Lemma 3.3 is asserted with a page citation, and the discrete argument actually uses two-step sums while Lemma 3.3 is stated with unit-step sums; the bridging estimate and the independence of constants are not shown. This does not disprove the paper, but it means the central effective uniqueness theorem cannot be fully certified from this text alone. Hence the reader's CONDITIONAL verdict stands, and I recommend no change.","tokens_in":9633,"tokens_out":23905,"duration_ms":201066,"concrete_test":"Verify Lemma 3.3 by reproducing the argument from [CM2] page 268 in the exact setting of this paper: take a rescaled flow satisfying dist_R(Σ_t,C) ≤ ε1 on [t1,t1+2] and the two-step bound Σ_j (F(Σ_{t1+2j-1}) - F(Σ_{t1+2j+1}))^{1/2} ≤ μ (not the unit-step sum), and check whether the parabolic Schauder step yields dist_Rbar(Σ_t,C) ≤ C̃ μ on [t1+1,t1+N+1] with constants independent of N. If the step only works with the unit-step sum, replace the definition of N in Theorem 0.5 accordingly and re-run the bootstrap; if the constants then lose N-independence, the effective uniqueness claim fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 0.5 is the load-bearing result; its proof in §3.3 has two imported inputs. Theorem 3.1 is quoted verbatim from [CM2], and Lemma 3.3 is asserted with the proof compressed to 'This follows as in (1) on page 268 of [CM2]' plus equation (3.5). The central claim therefore depends on: (i) the Lojasiewicz inequality holding also when F(Σ_t) < F(C), which the paper justifies only by a footnote saying the absolute-value form 'is not used' in [CM2]; and (ii) the L1 motion bound (3.4) on unit time steps implying C^{2,α} closeness at the fixed radius Rbar with constants independent of the interval length. The proof in §3.3 actually uses the coarser two-step sums (3.7) and (3.11) to define N, not the unit-step sum appearing in Lemma 3.3; reconciling these requires a subadditivity factor and a bootstrap argument that is not written. None of this is demonstrably wrong, but it is exactly where the argument would fail if [CM2]'s estimates have a hidden sign or scale assumption. A reader cannot certify Theorem 0.5 from the present text alone.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a quantitative (effective) uniqueness theorem for rescaled mean curvature flow near a cylindrical shrinker. Theorem 0.5 states that if a rescaled MCF is C^{2,alpha}-close to a cylinder C on a fixed ball for two units of time and the Gaussian area F at the endpoints is close to F(C), then the flow remains C^{2,alpha}-close to its time-t1+1 slice, with the distance bounded by powers of the endpoint F-deviations and with constants independent of the length of the time interval. The proof adapts the finite-dimensional Lojasiewicz gradient-flow argument of Section 1 to the discrete Lojasiewicz inequality imported as Theorem 3.1 from [CM2], and uses Lemma 3.3 to convert an L1 decrease of Gaussian area into C^{2,alpha} closeness. The paper then derives Theorem 0.1: if a cylindrical singularity admits a sequence of rescalings, centered at points approaching the origin, that converges smoothly to a rotated cylinder O(C), then O(C)=C.","tokens_in":9875,"tokens_out":9737,"duration_ms":81718,"significance":"If the imported estimates are valid in the stated form, the result is a genuine strengthening of [CM2]: it gives an explicit, interval-independent rate of closeness under only endpoint control of F, and it yields the clean consequence Theorem 0.1. The paper is transparent about the source of its two principal inputs, and the finite-dimensional part (Sections 1 and 2) is self-contained, with Proposition 2.1 proved in detail and without fitted parameters. There is no circular use of the main theorem. However, the two geometric inputs from [CM2] are not reproved here, and the version of Lemma 3.3 needed for Theorem 0.5 is not exactly the version stated in [CM2]. The stress-test concern about Lemma 3.3 is therefore accurate: this is where the proof needs the most work.","major_comments":[{"comment":"Lemma 3.3 is load-bearing and its proof is not contained in the paper: the proof is the sentence 'This follows as in (1) on page 268 of [CM2]' together with the L1 estimate (3.5). The present text does not verify that the parabolic-regularity argument from [CM2] yields the linear bound dist_{Rbar}(Sigma_t,C) <= Ctilde mu, nor that the constants are independent of N and of the interval length. Since Theorem 0.5 applies this lemma repeatedly, including after the reversal in Case 2, the exact form of the lemma with the fixed radius and the unit-step sum (3.4) must be proved, or the corresponding statement in [CM2] must be quoted with all hypotheses checked.","section":"§3.2, Lemma 3.3"},{"comment":"The sequences x_j = F(Sigma_{t1+2j-1}) - F(C) sample F at every other integer time, while Lemma 3.3's hypothesis (3.4) is a sum over unit steps. The proof defines N using the two-step sums (3.7) and (3.11) and then invokes Lemma 3.3 without explaining why (3.4) holds. At best the unit-step sum is bounded by twice the two-step sum, so the argument needs either a factor 2 absorbed into mu or a redefinition of N; as written, the invocation of Lemma 3.3 is not justified.","section":"§3.3, Cases 1 and 2"},{"comment":"Theorem 3.1 is quoted in the absolute-value form |F(Sigma_t)-F(C)|^{1+tau} <= C(F(Sigma_{t-1})-F(Sigma_{t+1})), but the footnote concedes that [CM2] was stated only when F is above F(C) and asserts without demonstration that the absolute-value form 'is not used' there. Cases 2 and 3 of the proof of Theorem 0.5 depend on the inequality when F is below F(C). The paper needs to supply the short argument, or a precise reference to the line in [CM2], showing that the proof of Theorem 6.1 in [CM2] covers this case, rather than leaving the extension to a footnote assertion.","section":"Footnote 3 / Theorem 3.1"},{"comment":"The reversal construction x_j = -y_{N-j} is only sketched in one sentence. To apply Proposition 2.1 one must check that the reindexed sequence satisfies x_j > 0, is non-increasing, and obeys x_{j+1}^{1+tau} <= C(x_j - x_{j+1}) on the full range with the same constant C. This is likely true, but the index bookkeeping should be written out, since Proposition 2.1's conclusion is used to conclude that N reaches t2.","section":"§3.3, Case 2"}],"minor_comments":[{"comment":"The displayed inequality has a missing closing parenthesis: 'F(gamma(i + 1)' should be 'F(gamma(i + 1))'.","section":"§1, Eq. (1.6)"},{"comment":"The displayed estimate is garbled in the text; it should read |F(Sigma^i_t) - F(C)| < delta_1.","section":"§3.4, Eq. (3.18)"},{"comment":"The definition of dist_R(Sigma, Gamma) should specify the domain of the graph and the convention for the C^{2,alpha} norm, so that 'norm less than epsilon' is unambiguous.","section":"Definition 0.4"},{"comment":"The integer N appears in the hypothesis before being quantified; the lemma should state that N is a nonnegative integer and that the flow is defined on the corresponding time interval.","section":"Lemma 3.3"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a short paper that deliberately outsources the hard analytic input to [CM2]. If the journal's standard is that a published theorem may be imported verbatim, the main issue is the mismatch between the statement of Lemma 3.3 and its use in Section 3.3, which is fixable. My recommendation of major_revision is based on that mismatch and on the unverified extension of Theorem 3.1 to the F-below-cylinder case, not on any doubt about the underlying mathematics."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this paper does what its abstract says—takes the arguments from [CM2] and extracts an effective uniqueness statement for rescaled MCF, Theorem 0.5, which then gives uniqueness of cylindrical blowups with drifting centers (Theorem 0.1) and cylindrical blowdowns. That is a genuinely new result, not just repackaging. The discrete effective lemma (Prop. 2.1) is proved in detail and the model case in Section 1 is a nice warm-up. Credit where due: the paper is transparent about importing the Lojasiewicz inequality from [CM2], and the application in Theorem 0.1 is straightforward once Theorem 0.5 is in hand.\n\nThe soft spot is exactly where the stress-test note lands. Lemma 3.3 turns an L1 bound on Gaussian area differences into C^{2,α} closeness at a fixed radius with constants independent of interval length. Its proof here is a citation to page 268 of [CM2], plus the sketch in (3.5). That may be fine for an expert who knows [CM2] cold, but it is load-bearing for Theorem 0.5. Two details need reconciliation: the lemma is stated for unit-step sums (3.4), while the proof of Theorem 0.5 uses coarser two-step sums (3.7) and (3.11) to define N; and the footnote about the absolute-value form of the Lojasiewicz inequality is reassuring but not a proof. Neither issue looks fatal—they look like missing write-ups—but a referee cannot certify Theorem 0.5 from the present text alone. Since the abstract promises a 'stronger effective version,' the proof of Lemma 3.3 should be supplied, even in an appendix.\n\nThe citation pattern is appropriate; this is a direct continuation of [CM2], and it cites a reasonable range of related work. No code or data, obviously; this is pure geometry. The math that is actually written is correct as far as I can tell—Proposition 2.1's proof is solid.\n\nVerdict: send to a serious referee, with instructions to focus on Lemma 3.3 and the summation-index reconciliation. If those get fixed, this is a solid contribution to the MCF regularity program. I would bring it to reading group once the arXiv version has been updated or the referee report is out.","headline":"A short, honest extension of the authors' earlier uniqueness-of-blowups theorem to an effective statement with drifting centers; the new result is real, but the proof of a key regularity lemma is only a citation.","tokens_in":10453,"tokens_out":2342,"would_cite":true,"duration_ms":21446,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53E10","53C44"],"pacs":[],"model":"deepseek-v4-flash","headline":"If a rescaled mean curvature flow starts close to a cylinder and its Gaussian area barely changes, the flow cannot drift far; the bound is independent of elapsed time.","keywords":["mean curvature flow","uniqueness of blowups","Lojasiewicz inequality","rescaled mean curvature flow","Gaussian area","cylindrical singularities","ancient flows","entropy"],"falsifier":"A concrete way to test the theorem is to run a numerical or analytic rescaled MCF that stays within $\\epsilon_1$ of a cylinder $C$ on $[t_1,t_1+2]$ with $|F(\\Sigma_{t_i})-F(C)|<\\epsilon_2$ at its endpoints, and look for a later time $t\\in[t_1+1,t_2]$ where $\\mathrm{dist}_{R_2}(\\Sigma_t,\\Sigma_{t_1+1})$ exceeds $c(|F(\\Sigma_{t_1})-F(C)|^\\alpha+|F(\\Sigma_{t_2})-F(C)|^\\alpha)$; finding such an example would refute Theorem 0.5. Since the constants in Theorem 3.1 are not proved here, the same test could check the discrete inequality $|F(\\Sigma_t)-F(C)|^{1+\\tau}\\le C(F(\\Sigma_{t-1})-F(\\Sigma_{t+1}))$ directly on flows that stay close to a cylinder over three consecutive unit time steps.","tokens_in":9385,"feed_emoji":"🌀","tokens_out":9003,"duration_ms":70740,"temperature":0.7,"pith_summary":"Mean curvature flow can form singularities that, after rescaling, look like cylinders. This paper proves a quantitative version of the earlier uniqueness theorem for such cylindrical blowups: if a rescaled flow is close to a cylinder for an initial stretch and its Gaussian area $F$ changes by only a small amount between the start and an arbitrary later time, then the flow stays close to its own initial slice, with the distance controlled by a power of the change in $F$ and constants that do not depend on how long the flow runs. Using that bound, the paper shows that two tangent cylinders of the same singularity must actually be the same cylinder, and that cylindrical blow-down limits of ancient flows are unique. The point is that a qualitative uniqueness statement becomes a quantitative estimate that can be reapplied over arbitrarily long time intervals.","feed_headline":"A flow near a cylinder stays near it, however long it runs","feed_subtitle":"New theorem bounds drift by the change in Gaussian area alone, yielding unique cylindrical blowups.","key_machinery":"The engine is a discrete Lojasiewicz-type inequality for rescaled MCF imported from the authors' earlier work (Theorem 3.1): for every cylinder $C=S^k\\sqrt{2k}\\times\\mathbb{R}^{n-k}$, there are constants $C,\\bar R,\\epsilon,\\tau\\in(1/3,1)$ so that whenever a rescaled flow $\\Sigma_s$ stays $\\epsilon$-close to $C$ in $B_{\\bar R}$ for $s\\in[t-1,t+1]$, one has $|F(\\Sigma_t)-F(C)|^{1+\\tau}\\le C(F(\\Sigma_{t-1})-F(\\Sigma_{t+1}))$. This inequality converts a small drop in the Gaussian area $F$ into control of the motion. A new discrete proposition (Proposition 2.1) shows that if a non-increasing sequence $x_j>0$ satisfies $x_{j+1}^{1+\\tau}\\le C(x_j-x_{j+1})$, then $\\sum_j |x_j-x_{j+1}|^{1/2}\\le c x_1^\\alpha$; summing square roots of successive drops is exactly the length estimate one needs for a gradient flow. Lemma 3.3 upgrades the resulting $L^1$ bound into $C^{2,\\alpha}$ graphical closeness in a fixed ball, using the entropy bound, the Brakke estimate, and parabolic regularity. The proof of the main theorem applies these three ingredients in three cases depending on whether $F$ stays above $F(C)$, below $F(C)$, or crosses it.","core_discovery":"The central claim is Theorem 0.5: for an $n$-dimensional rescaled mean curvature flow $\\Sigma_t$ with bounded entropy, there are constants $c,\\alpha,\\epsilon_1,\\epsilon_2,R_1,R_2$ such that if $\\Sigma_t$ stays $\\epsilon_1$-close to a cylinder $C=S^k\\sqrt{2k}\\times\\mathbb{R}^{n-k}$ in a large ball for $t\\in[t_1,t_1+2]$ and $|F(\\Sigma_{t_i})-F(C)|<\\epsilon_2$ for $i=1,2$, then $\\mathrm{dist}_{R_2}(\\Sigma_t,\\Sigma_{t_1+1}) < c|F(\\Sigma_{t_1})-F(C)|^\\alpha + c|F(\\Sigma_{t_2})-F(C)|^\\alpha$ for every $t\\in[t_1+1,t_2]$. The key feature is that the right-hand side does not grow with $t_2-t_1$. The paper derives Theorem 0.1 as a consequence: under the cylindrical singularity assumptions (A) and (B), the two rotations coincide, so $O(C)=C$, meaning the cylinder is unique. The same quantitative estimate yields uniqueness of cylindrical blow-down limits for ancient mean curvature flows. The proof is modeled on the finite-dimensional Lojasiewicz argument but split into three cases according to whether $F$ stays above or below $F(C)$; time reversal is not available for MCF, so the below case is handled by running the discrete argument backwards.","pith_inferences":["A natural next step is to run the same effective scheme with a local entropy bound in place of the global bound $\\lambda(\\Sigma_t)\\le\\lambda_0$, which would make the estimate applicable to flows that are only locally controlled.","The independence of the constants from the time interval suggests the estimate could be used to prove stability of cylindrical singularities under perturbations of the initial data, replacing limit arguments by explicit bounds.","One could attempt to relax the Lojasiewicz-type input, for instance to a power that degenerates slowly, and see whether the summability proposition still yields finite length; this would indicate how far the method reaches beyond cylinders."],"forward_implications":["A rescaled mean curvature flow that is initially close to a cylinder and whose Gaussian area changes by only $\\epsilon$ at the endpoints stays within $O(\\epsilon^\\alpha)$ of its time-$(t_1+1)$ slice for the entire interval, no matter how long the interval is.","If a cylindrical singularity satisfies assumptions (A) and (B), the rotation coming from the sequence of rescalings must fix the cylinder, so $O(C)=C$; this is Theorem 0.1.","If an ancient mean curvature flow with bounded entropy has one cylindrical blow-down, then every blow-down is the same cylinder.","The same effective bound controls the total weighted motion of the flow near the cylinder, since Lemma 3.3 yields $C^{2,\\alpha}$ closeness from the summed square roots of successive drops of $F$."],"supporting_citations":[{"why":"Supplies the discrete Lojasiewicz-type inequality (Theorem 3.1) and the parabolic closeness argument (Lemma 3.3) on which the main theorem rests.","marker":"[CM2]"},{"why":"Provides the finite-dimensional Lojasiewicz gradient inequality whose discrete effective form (Proposition 2.1) and three-case argument are modeled here.","marker":"[L]"},{"why":"Establishes the monotonicity of Gaussian area that identifies tangent flows as shrinkers and supplies the Lyapunov structure for $F$.","marker":"[H]"},{"why":"Supplies the Brakke local regularity estimate used in Lemma 3.3 to convert an $L^1$ bound into $C^{2,\\alpha}$ graphical closeness.","marker":"[W1]"},{"why":"Defines the entropy and the Gaussian surface area functional $F$, which set the quantitative objects appearing in the theorem.","marker":"[CM1]"}],"fun_headline_variants":["Near a cylinder forever: quantitative MCF uniqueness","Gaussian area drift bound yields unique blowups","Cylinder stability: bounded drift over time","Quantitative uniqueness of mean curvature blowups","Drift to cylinder bounded by Gaussian area change"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"All of the quantitative control rests on the Lojasiewicz-type inequality for rescaled flows near cylinders (Theorem 3.1), imported from the authors' earlier paper and not reproved here; if that inequality fails, or only holds with constants that degenerate with the time interval, the effective bounds do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Near a cylinder forever: quantitative MCF uniqueness","Gaussian area drift bound yields unique blowups","Cylinder stability: bounded drift over time","Quantitative uniqueness of mean curvature blowups","Drift to cylinder bounded by Gaussian area change"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00077,"raw_usage":{"total_tokens":3368,"prompt_tokens":863,"completion_tokens":2505,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":479,"completion_tokens_details":{"reasoning_tokens":2435}},"tokens_in":479,"tokens_out":2505,"duration_ms":16874,"temperature":1.0,"reasoning_tokens":2435,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T04:16:48.998554+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete way to test the theorem is to run a numerical or analytic rescaled MCF that stays within $\\epsilon_1$ of a cylinder $C$ on $[t_1,t_1+2]$ with $|F(\\Sigma_{t_i})-F(C)|<\\epsilon_2$ at its endpoints, and look for a later time $t\\in[t_1+1,t_2]$ where $\\mathrm{dist}_{R_2}(\\Sigma_t,\\Sigma_{t_1+1})$ exceeds $c(|F(\\Sigma_{t_1})-F(C)|^\\alpha+|F(\\Sigma_{t_2})-F(C)|^\\alpha)$; finding such an example would refute Theorem 0.5. Since the constants in Theorem 3.1 are not proved here, the same test could check the discrete inequality $|F(\\Sigma_t)-F(C)|^{1+\\tau}\\le C(F(\\Sigma_{t-1})-F(\\Sigma_{t+1}))$ directly on flows that stay close to a cylinder over three consecutive unit time steps.","supporting_citations":[],"review_version":1}