{"id":"f6a24731-0abc-44fb-8660-e2f52edbab22","arxiv_id":"2607.03930","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.5,"correctness_risk":"low","formal_verification":"none","parameter_count":2,"one_line_summary":"A new Mullins–Sekerka-regularized proxy for the degenerate L² distance yields the first unconditional minimizing-movements convergence to De Giorgi varifold solutions of mean curvature flow.","lead":"The paper proves that a new minimizing-movements scheme for mean curvature flow converges unconditionally to De Giorgi varifold solutions, without comparison principles. This is the first such global existence result from a pure variational time-discretization for both ordinary and volume-preserving MCF.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly isolates the Schätzle identification (§3.5.3) as the principal technical restriction; it forces both the dimension bound and the order of limits, yet it is applied inside the regime where the hypotheses of [31] hold and is not needed for the final α\to0 passage. No stronger load-bearing flaw appears: the new distance proxy is well-defined for BV sets, the De Giorgi interpolant yields the discrete energy-dissipation inequality (3.12)–(3.14) by the standard metric-space argument, compactness is standard, and the liminf of the slope and velocity terms recover precisely the terms in Def. 2.2. Integer rectifiability is not claimed, and weak-strong uniqueness is inherited from the literature once a generalized mean curvature exists (Rem. 2.3). The proof therefore supports an ACCEPT verdict with no adjustment required.","tokens_in":33172,"tokens_out":615,"duration_ms":27962,"concrete_test":"Independently confirm that the chemical potentials w,u obtained after h\to0 lie in L^{2}(0,T*;H^{1}) and that Schätzle’s theorem [31] applies verbatim to them (p=2>d/2 for d=2,3), so that the first-variation identification (3.65) is justified; if the ambient Sobolev regularity fails to produce matching first variations for ẽμ and μ, the slope lower-semicontinuity (3.74) used in the energy inequality (3.77) would not hold with a single measure μ.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 2.4) holds as stated for d=2,3. The sequential limits (h\to0 first with α fixed, then α\to0), the appeal to Schätzle [31] after (3.65) to identify δẽμ_t=δμ_t, the factor (1+4α^{1/2}) in (3.77), and the use of Hutchinson measure-function pairs for the velocity all close without internal contradiction. The energy estimates (3.18)–(3.24), Aubin-Lions compactness (3.46), Helly selection for the energies (3.36)–(3.38) yielding |μ_t|=ẽE(t) a.e., lower-semicontinuity of both dissipations (3.74) and (3.85), and the volume-preserving adjustment via Lemma B.1 are self-contained and match the definition of De Giorgi solutions (Def. 2.2). The restriction to d=2,3 and sequential (rather than joint) vanishing of parameters is an openly stated scope limitation, not a gap in the argument for the theorem as formulated.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper introduces a new minimizing-movements scheme for mean curvature flow (MCF) and volume-preserving MCF on the torus, based on a novel proxy for the completely degenerate L^{2} geodesic distance that combines spatial mollification of the gradient with a Mullins–Sekerka-type nonlocal regularization of strength α. Using De Giorgi interpolants, the authors prove that, for d=2,3 and arbitrary initial data χ₀∈BV(T^d;{0,1}), the sequential limit first h→0 (time step) then α→0 yields a global-in-time De Giorgi varifold solution in the sense of Definition 2.2 (Theorem 2.4). The argument is purely variational, establishes the energy-dissipation inequality and the velocity equation without comparison principles or conditional energy convergence, and treats the volume-preserving case by exact volume constraint (no penalization). Appendices supply the necessary norm comparison and the reconstruction of a generalized mean curvature vector in the volume-preserving setting.","tokens_in":33464,"tokens_out":960,"duration_ms":18800,"significance":"This is the first unconditional convergence result of a minimizing-movements scheme to any varifold notion of solution for (volume-preserving) MCF. Earlier schemes (Almgren–Taylor–Wang, Luckhaus–Sturzenhecker, Esedoğlu–Otto/MBO) required an a-priori energy-convergence assumption that is known only for smooth flows or mean-convex singularities. The new distance proxy is sufficiently non-degenerate to invoke the abstract theory of gradient flows for α>0 and then pass to the limit, while remaining compatible with the first-variation structure needed for De Giorgi solutions. The construction also supplies an independent existence proof relative to the Allen–Cahn route of Hensel–Laux and Poiatti, and is designed to extend to capillarity, multiphase partitions and advection. Weak–strong uniqueness applies, so the flat flow is consistent with classical solutions whenever the latter exist. The openly stated restrictions (d=2,3 via Schätzle, sequential rather than joint vanishing of parameters, lack of integer rectifiability) do not affect the validity of the theorem as formulated.","major_comments":[],"minor_comments":[{"comment":"In the introduction and Remark 2.5 it would help the reader to state more explicitly that a diagonal subsequence (α_n,h(α_n)) already produces a single-parameter flat flow that is a De Giorgi solution; the sequential presentation is only for the proof.","section":null},{"comment":"Notation for the two discrete varifolds (μ^h_t versus eμ^h_t) and the two chemical potentials (u_h versus w_h) is heavy; a short table or a sentence at the beginning of §3.3 listing the interpolants would improve readability.","section":null},{"comment":"After (3.65) the appeal to Schätzle [31] is correctly limited to d=2,3; a one-line forward reference to the planned p-Laplacian extension mentioned in the introduction would make the scope limitation feel less abrupt.","section":null},{"comment":"In (3.77) the factor (1+4α^{1/2}) is carefully tracked and disappears as α→0; a brief remark that the same estimate holds with any constant of the form 1+Cα^β (β>0) would reassure readers that the constant is not sharp.","section":null},{"comment":"Typographical: “Luckhaus-Sturzenhecker” appears both with and without the hyphen; “Mullins-Sekerka” is consistently hyphenated—standardize.","section":null},{"comment":"Lemma B.1 is used only for the volume-preserving case; a short sentence at the end of §2 indicating that the reconstruction of H from H^0 is needed solely for comparison with [29] would clarify why the lemma appears.","section":null}],"recommendation":"accept","confidential_remarks":"Strong, self-contained contribution that closes a long-standing gap in the variational theory of MCF. Suitable for a top journal in geometric analysis / calculus of variations (e.g., Arch. Ration. Mech. Anal., Calc. Var., J. Diff. Geom.). No concerns about novelty disclosure or citation pattern; the authors correctly position the work relative to ATW/LS, MBO and the Allen–Cahn constructions."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This is the first time a pure minimizing-movements scheme for mean curvature flow (and the volume-preserving version) produces a De Giorgi varifold solution without an a-priori energy-convergence assumption. That gap has been open since Almgren–Taylor–Wang and Luckhaus–Sturzenhecker; the paper closes it for d=2,3.\n\nThe novelty sits in the proxy distance: they regularize the completely degenerate L^{2} metric by mollifying the gradient of the characteristic function and adding an α^{2}(I−Δ) Mullins–Sekerka term, then take the inverse square root. With that distance they run a standard De Giorgi interpolant scheme, get uniform energy and dissipation bounds, pass h→0 first (exploiting Schätzle to identify the two discrete first variations), then α→0. The argument is entirely variational—no comparison principles—and the volume constraint is enforced directly by restricting the admissible class rather than by penalization. Energy estimates, Aubin–Lions, Helly selection, lower-semicontinuity of both slope and velocity terms, and the final Hutchinson measure-function-pair limit all check out. Appendices supply the needed norm comparison and the zero-mean adjustment for the volume-preserving case.\n\nSoft spots are real but proportional and already flagged by the authors. The identification of first variations after h→0 relies on Schätzle, so the result is restricted to d=2,3 and the limits must be sequential rather than joint. Integer rectifiability is not obtained (Allard gives only rectifiability). The factor (1+4α^{1/2}) that appears before sending α→0 is an artifact of the estimates, not a conceptual hole. None of these invalidate Theorem 2.4 as stated.\n\nThe paper is for people who work on weak formulations of geometric flows or on gradient-flow discretizations. The math is careful, the citations are honest about prior conditional results and about the diffuse-interface constructions that already gave De Giorgi solutions, and the proof is self-contained. I would send it to referees without hesitation; it is a clean, usable existence tool.","headline":"First unconditional MM convergence to De Giorgi varifold MCF (and volume-preserving) in d=2,3 via a new Mullins–Sekerka proxy; solid variational proof with openly stated scope limits.","tokens_in":34115,"tokens_out":539,"would_cite":true,"duration_ms":6134,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53E10","53A10","49Q20","28A75"],"pacs":[],"model":"grok-4.5","headline":"A new distance proxy makes minimizing movements converge unconditionally to De Giorgi varifold solutions of mean curvature flow.","keywords":["mean curvature flow","volume-preserving mean curvature flow","De Giorgi varifold solutions","minimizing movements","flat flow","Mullins–Sekerka regularization","De Giorgi interpolation"],"falsifier":"Exhibit a sequence of discrete solutions for which the first variations of the two discrete varifolds remain distinct after the time step tends to zero while the energy stays bounded, or construct a smooth solution that is not recovered by any choice of the scheme parameters.","tokens_in":34023,"feed_emoji":"📐","tokens_out":702,"duration_ms":5971,"temperature":0.7,"pith_summary":"Mean curvature flow is formally the L2 gradient flow of surface area, but the L2 distance between sets is completely degenerate, so classical gradient-flow theory cannot be applied directly. Earlier minimizing-movements schemes therefore used proxy distances that required extra regularity assumptions to pass to the limit. This paper introduces a more robust proxy: a Mullins–Sekerka-type nonlocal regularization of the metric, combined with a standard mollifier on the scale of the time step. With this distance the discrete scheme produces De Giorgi interpolants whose limit, first as the time step vanishes and then as the regularization parameter vanishes, is a global De Giorgi varifold solution of both mean curvature flow and volume-preserving mean curvature flow in dimensions two and three. The argument is purely variational, needs no comparison principle, and does not assume a priori convergence of the energy. The result therefore supplies the first unconditional existence proof of such weak solutions that proceeds entirely by minimizing movements.","feed_headline":"New distance proxy yields unconditional MCF varifold solutions","feed_subtitle":"Minimizing movements now converge without energy-convergence assumptions or comparison principles.","key_machinery":"The regularized distance proxy d^{2}_α,h(A,B) = ∥(|ρ_h ∗ ∇χ_A| + α^{2}(I−Δ))^{-1/2}(χ_B − χ_A)∥^{2}_L^{2}, together with the associated De Giorgi interpolant of the minimizing-movements scheme. The nonlocal term supplies enough compactness and chemical-potential regularity to identify the limiting first variations after the time step tends to zero.","core_discovery":"For any initial set of finite perimeter in the two- or three-dimensional torus there exists a minimizing-movements scheme, built from a Mullins–Sekerka-regularized proxy for the L2 distance, whose flat-flow limit is a De Giorgi varifold solution of both ordinary and volume-preserving mean curvature flow on the whole half-line.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["New L2-proxy yields unconditional De Giorgi varifold MCF solutions","Minimizing movements converge to varifold solutions for MCF","Variational scheme gives global weak De Giorgi MCF solutions","Robust distance proxy for unconditional MCF varifold existence","De Giorgi varifold MCF via Mullins–Sekerka-regularized proxy"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The argument that the two discrete varifolds share the same first variation after the time step vanishes rests on a regularity theorem for surfaces whose mean curvature is an ambient H1 function, which forces the restriction to dimensions two and three and the sequential order of limits.","fun_headline_variants_meta":{"raw":{"variants":["New L2-proxy yields unconditional De Giorgi varifold MCF solutions","Minimizing movements converge to varifold solutions for MCF","Variational scheme gives global weak De Giorgi MCF solutions","Robust distance proxy for unconditional MCF varifold existence","De Giorgi varifold MCF via Mullins–Sekerka-regularized proxy"]},"model":"grok-4.5","effort":"low","cost_usd":0.004792,"raw_usage":{"total_tokens":1274,"prompt_tokens":617,"num_sources_used":0,"completion_tokens":89,"cost_in_usd_ticks":47920000,"prompt_tokens_details":{"text_tokens":617,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":568,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":617,"tokens_out":89,"duration_ms":4802,"temperature":1.0,"reasoning_tokens":568,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-11T22:55:45.619921+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a sequence of discrete solutions for which the first variations of the two discrete varifolds remain distinct after the time step tends to zero while the energy stays bounded, or construct a smooth solution that is not recovered by any choice of the scheme parameters.","supporting_citations":[],"review_version":1}