{"id":"cb4da710-3c82-4946-bf71-9f26c87a83dd","arxiv_id":"2505.23222","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Phase-field limits of volume-preserving mean curvature flow satisfy a new Brakke-type inequality and form a volume-preserving Brakke flow globally in time on the torus.","lead":"Volume-preserving mean curvature flow is the motion of a surface that shrinks by curvature while keeping its enclosed volume fixed. This paper defines a new weak, varifold-based notion of solution for this flow and proves that global-in-time solutions exist on periodic domains via the phase field method.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.2 hinges on an unproved assertion that the discrepancy measure ξ_ε → 0; if false, the velocity dissipation term in the Brakke inequality would not follow.","rationale":"The central claim of the paper is Theorem 3.2: the limiting varifolds from the phase-field model satisfy the modified Brakke inequality (11). The proof reduces to taking the limit in identity (28). The two nonlinear terms that must be controlled are −εφ|h_ε|^2 (handled by Theorem 3.1(e)) and −εφ|φ_t|^2/2. The latter is rewritten as −(σ/2)φ|v_ε|^2 with respect to eμ_ε = (ε/σ)|∇φ|^2 L^{d+1}. To apply lower semicontinuity, the proof needs eμ_ε → μ, which is exactly where the unproved convergence ξ_ε → 0 is used. The sign error in the identity eμ_ε = μ_ε − ξ_ε is a separate but minor issue; the correct identity is μ_ε + ξ_ε, and the sign does not alter the conclusion if ξ_ε → 0. However, the missing proof of ξ_ε → 0 is essential. Without it, one cannot obtain the velocity dissipation term in (11), and the flow would not be a Brakke flow in any meaningful sense. This is the same gap the reader identified, and we agree. The assertion is likely true and provable from standard energy estimates and the bounds in [25], so the appropriate response is conditional acceptance pending the missing estimate. Thus the reader's verdict of CONDITIONAL is unchanged by our stress test.","tokens_in":13805,"tokens_out":22486,"duration_ms":190972,"concrete_test":"Prove or disprove the L^1 bound ‖ξ_ε‖_{L^1(Ω×(0,T))} = (1/σ)∫_0^T∫_Ω |ε|∇φ_ε|^2/2 − W(φ_ε)/ε| dx dt ≤ C ε for solutions of (18) under the hypotheses of Theorem 3.1, using the energy identity and the bounds from [25, Prop. 7] and Theorem 3.1(c). If the estimate holds, ξ_ε → 0 in L^1 and the convergence used in the proof is justified; if a sequence satisfying (16)–(17) is found with the left-hand side bounded away from zero as ε→0, the asserted convergence eμ_ε → μ fails and Theorem 3.2 would not follow.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Theorem 3.2 (Section 3.2), the term −(1/2)∫∫ εφ|φ_t|^2 dxdt in identity (28) is controlled by rewriting it with respect to the measure eμ_ε := (ε/σ)|∇φ_ε|^2 L^{d+1}. The paper asserts eμ_ε = μ_ε − ξ_ε, where ξ_ε := (1/σ)(ε|∇φ_ε|^2/2 − W(φ_ε)/ε)L^{d+1}. This identity has the wrong sign; the correct relation is eμ_ε = μ_ε + ξ_ε. More importantly, the proof then states 'by Theorem 3.1 (a), and the fact that ξε → 0 as Radon measures', but this convergence is not stated in Theorem 3.1, not proved, and not cited. This is the load-bearing step: with eμ_ε → μ, Hutchinson's lower-semicontinuity theorem gives liminf ∫ εφ|φ_t|^2/2 dx ≥ (σ/2)∫ φ|v|^2 dμ, producing the |v|^2 term in (11). Without ξ_ε → 0, the weak limit of eμ_ε is unidentified, and the Brakke inequality lacks its velocity dissipation term. The assertion is plausible (for the Allen–Cahn equation with energy bounds one expects ∫ |ε|∇φ|^2/2 − W/ε| dx ≤ Cε), but it is a nontrivial estimate that the paper leaves unjustified.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper introduces a weak notion of volume-preserving Brakke flow for varifolds, in which the problematic |λ|^2 term of the classical inequality is replaced by an error term r^{d-1}C(1+Δt)||ϕ||∞ for test functions supported in a ball of radius r. The authors prove, in the periodic setting, that the phase-field/Allen–Cahn approximation of volume-preserving mean curvature flow constructed in [25] satisfies this Brakke inequality, thereby upgrading the L^2-flow existence result of [25] to a Brakke-type existence theorem. The proof follows the standard Allen–Cahn strategy: derive an approximate dissipation identity (28), pass to the limit using known convergence results, and control the new |λ_ε|^2 term by the density estimate and the L^2-bound on λε from [25].","tokens_in":14175,"tokens_out":9726,"duration_ms":100094,"significance":"If established, Theorem 3.2 gives global-in-time integral varifold solutions to volume-preserving mean curvature flow in a Brakke sense on the torus, extending [25] and providing a varifold framework in which tools such as regularity and weak-strong uniqueness might be applied. The paper is careful to motivate the modified inequality and shows that it still characterizes the normal velocity in the smooth setting. The estimate for the |λε|^2 term is clean and correctly uses the density bound from [25]. The proof is not circular: it relies on prior results from [25] rather than on the desired conclusion. However, the proof contains a load-bearing gap concerning the discrepancy measure ξε, and an algebraic sign error in the definition of eµε, so the central claim is not presently fully justified.","major_comments":[{"comment":"The displayed identity eµε = µε − ξε is false. With µε = (1/σ)(ε|∇φε|^2/2 + W(φε)/ε)L^{d+1} and ξε = (1/σ)(ε|∇φε|^2/2 − W(φε)/ε)L^{d+1}, the correct relation is eµε = µε + ξε, because ε|∇φε|^2/σ equals (1/σ)(ε|∇φε|^2/2 + W(φε)/ε) plus (1/σ)(ε|∇φε|^2/2 − W(φε)/ε). The stated minus sign gives µε − ξε = (2/σ)(W(φε)/ε)L^{d+1}. Please correct this identity.","section":"Section 3.2, proof of Theorem 3.2"},{"comment":"The proof asserts, without proof or citation, that ξε → 0 as Radon measures. This convergence is not stated in Theorem 3.1 and is not established in the text. It is the key step that identifies the weak limit of eµε with µ, and it is then used, together with Hutchinson's lower-semicontinuity theorem [11, Thm. 4.4.2], to pass the liminf on the velocity term and produce the −ϕ|v|^2/2 term in (11). If ξε does not converge to zero, the weak limit of eµε is unidentified and the dissipation term for the velocity is lost, so inequality (11) would not follow. A proof of ξε → 0 from the available estimates, or a citation to a result that contains it, is required.","section":"Section 3.2, proof of Theorem 3.2"},{"comment":"In passing to the limit in the boundary terms of (28), the proof invokes Theorem 3.1(a), but that convergence is stated only for times outside a countable exceptional set B. Since inequality (11) is asserted for all 0 ≤ t1 < t2 ≤ T, the proof should either choose t1 and t2 outside B and then approximate, or otherwise justify the passage to the limit at all times. As written, the inequality is only proven for times outside a countable set.","section":"Section 3.2, proof of Theorem 3.2"}],"minor_comments":[{"comment":"In equations (28) and (29), the symbol 'W(ϕε)' appears where 'W(φε)' is meant; this is a typo that should be fixed.","section":"Equations (28) and (29)"},{"comment":"The abstract contains a typo: 'Morever' should be 'Moreover'.","section":"Abstract"},{"comment":"In the treatment of the |hε|^2 term, the text writes 'letting η → 1_[t1,t2]' after taking a limsup in ε; this interchanges a limit in η with a limsup in ε and should be justified explicitly, for instance by a diagonal argument or by monotonicity in η.","section":"Proof of Theorem 3.2"},{"comment":"The statement of the Brakke inequality in Definition 2.2(6) could be clarified by stating explicitly that the constant C is independent of r, t1, t2, and ϕ, as is implied by the proof.","section":"Definition 2.2(6)"}],"recommendation":"major_revision","confidential_remarks":"For the editor: the manuscript relies heavily on [25], a coauthor's prior paper, for many of the convergence facts; this is not circular, but the unproved ξε → 0 assertion is a nontrivial technical point that should be proved or explicitly cited. The algebraic sign error in Section 3.2 should be corrected before the paper is accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nI've read the Chiesa–Takasao paper. The new thing is a volume-preserving version of Brakke's inequality that adds an r^{d-1} error term, which lets them bypass the nonlocal |lambda|^2 term that blocks the classical Brakke inequality. They then prove that the global L2-flow constructed in Takasao's earlier paper satisfies this inequality via the Allen–Cahn approximation. The r^{d-1} term is well chosen: it vanishes in the local-rescaling argument that characterizes smooth normal velocity, so the inequality is not vacuous.\n\nThe paper is mostly well executed. The estimate for the |lambda_epsilon|^2 term uses the density bound from [25] and is straightforward. The treatment of the h^2 and v^2 terms follows the standard lower-semicontinuity route. The writing is clear and the dependence on [25] is explicit, not circular.\n\nThe problem is in Section 3.2. They define e-mu_epsilon := (epsilon/sigma)|nabla phi_epsilon|^2 L^{d+1} and state e-mu_epsilon = mu_epsilon − xi_epsilon, where xi_epsilon := (1/sigma)(epsilon|nabla phi_epsilon|^2/2 − W(phi_epsilon)/epsilon)L^{d+1}. The correct relation is e-mu_epsilon = mu_epsilon + xi_epsilon. That's a harmless sign typo, because if xi_epsilon → 0 it makes no difference.\n\nThe real issue is the assertion, right after that, that xi_epsilon → 0 as Radon measures. This is not proved, not in the stated Theorem 3.1, and not cited. It is not a trivial fact: it is a sharp-interface estimate showing the difference of the kinetic and potential energy densities vanishes in the limit. Without it, the weak limit of e-mu_epsilon is unknown, and the −(1/2)∫phi|v|^2 d(mu) term in (11) does not follow. This is load-bearing. The rest of the proof is conditional on that statement.\n\nI suspect the claim is true, and fixable with known tools, but it needs to be proved. The paper, as written, has a gap in its central theorem. That said, the definition is natural and the overall strategy is sound.\n\nThis paper deserves a serious referee, but it needs major revision. I'd engage with it.\n\nBest","headline":"A clever new Brakke-type inequality for volume-preserving MCF, but the proof omits a necessary estimate on the discrepancy measure.","tokens_in":14701,"tokens_out":4502,"would_cite":true,"duration_ms":47024,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35K93","53E10"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves a volume-preserving Brakke inequality and global-in-time existence of integral varifolds satisfying it on the torus, via the phase-field method.","keywords":["volume preserving mean curvature flow","Brakke flow","Allen-Cahn equation","phase field method","varifolds","L2-flow","integral varifolds","torus"],"falsifier":"Find an explicit sequence of solutions of the Allen-Cahn equation (18) on the torus, or a numerical simulation with initial data satisfying (16)-(17), for which $\\xi^\\varepsilon$ does not converge to zero as Radon measures; then the computation $\\tilde\\mu^\\varepsilon\\to\\mu$ in the proof of Theorem 3.2 would fail, the inequality (11) would not follow, and the theorem as stated would be false.","tokens_in":13626,"feed_emoji":"📐","tokens_out":7626,"duration_ms":69697,"temperature":0.7,"pith_summary":"This paper proposes a volume-preserving analogue of Brakke's inequality for mean curvature flow and proves that, on the $d$-dimensional torus, the phase-field (Allen-Cahn) approximation produces a family of integral varifolds satisfying this inequality for all times. The new inequality is the classical Brakke inequality plus an extra error term $r^{d-1} C(1+t_2-t_1)\\lVert\\phi\\rVert_{L^\\infty}$ supported on balls of radius $r$, which absorbs the a priori uncontrollable contribution of the Lagrange multiplier $\\lambda$ that enforces volume preservation. In the smooth setting the error term vanishes as $r\\to 0$, so the inequality still determines the classical normal velocity. If correct, the result gives global-in-time weak solutions of volume-preserving mean curvature flow in a Brakke sense on the torus, strengthening the earlier $L^2$-flow existence result and aligning the constrained flow with the Brakke framework used for unconstrained mean curvature flow.","feed_headline":"New Brakke inequality proven for volume-preserving mean curvature flow","feed_subtitle":"Phase-field limits give global-in-time varifold solutions that satisfy the volume-preserving Brakke inequality.","key_machinery":"The machinery is the Allen-Cahn phase-field equation (18) with the nonlocal volume-preserving term $-\\lambda^\\varepsilon\\sqrt{2W(\\varphi^\\varepsilon)}/\\varepsilon$, together with the surface-energy measures $\\mu^\\varepsilon_t$ and the discrepancy measure $\\xi^\\varepsilon=\\frac{1}{\\sigma}(\\frac{\\varepsilon\\lvert\\nabla\\varphi^\\varepsilon\\rvert^2}{2}-\\frac{W(\\varphi^\\varepsilon)}{\\varepsilon})L^{d+1}$. The proof differentiates $\\mu^\\varepsilon_t(\\phi)$ in time, obtaining (28), where the mean-curvature and velocity terms appear with signs that persist in the limit via lower semicontinuity, while the Lagrange-multiplier term is bounded by the density estimate. The discrepancy measure is asserted to converge to zero as Radon measures, which lets the approximate velocity measure $\\tilde\\mu^\\varepsilon=\\frac{\\varepsilon}{\\sigma}\\lvert\\nabla\\varphi^\\varepsilon\\rvert^2 L^{d+1}$ be identified with the limiting varifold measure and produces the $-\\lvert v\\rvert^2/2$ dissipation.","core_discovery":"The central discovery is that a volume-preserving Brakke inequality is a viable weak formulation for the constrained flow: Definition 2.2 keeps the mean-curvature dissipation $-\\lvert h\\rvert^2/2$ and velocity dissipation $-\\lvert v\\rvert^2/2$ from the classical inequality, but replaces the unmanageable $\\lvert\\lambda\\rvert^2$ term by the small error $r^{d-1}C(1+t_2-t_1)\\lVert\\phi\\rVert_{L^\\infty}$. The proof shows that the Allen-Cahn measures $\\mu^\\varepsilon_t$ from (20) converge to Radon measures $\\mu_t$ that satisfy (11), using the approximate energy identity (28), weak lower semicontinuity for the $\\lvert h^\\varepsilon\\rvert^2$ and $\\lvert v^\\varepsilon\\rvert^2$ terms, and a density estimate $\\mu^\\varepsilon_t(B_r(x_0))\\le c r^{d-1}$ plus the $L^2$-bound on $\\lambda^\\varepsilon$ to control the remainder.","pith_inferences":["A natural next step is to prove the missing convergence $\\xi^\\varepsilon\\to 0$, for instance by showing that the gradient and potential parts of the Allen-Cahn energy become asymptotically balanced in $L^1$; if that convergence is established, the proof of Theorem 3.2 closes as written.","The same estimate-and-limsup strategy may transfer to other constrained or multiphase curvature flows, where a Lagrange multiplier produces an error term that can be absorbed by a density bound.","The $r^{d-1}$-error formulation suggests a quantitative 'almost-Brakke' inequality that might be useful for numerical schemes such as thresholding, where approximate solutions satisfy the inequality up to a controlled discretization error.","On a compact manifold like the torus, one might hope to localize or remove the spatial cut-off $B_r(x_0)$ in (11), yielding a cleaner inequality at the price of stronger compactness assumptions; this is not addressed in the paper."],"forward_implications":["If Theorem 3.2 is correct, the limiting family $\\{\\mu_t\\}_{t\\in[0,T)}$ is a volume-preserving Brakke-flow in the sense of Definition 2.2, giving global-in-time weak solutions on the torus.","Since every volume-preserving Brakke-flow is an $L^2$-flow (Proposition 2.1), the theorem upgrades the earlier $L^2$-flow existence result to a stronger dissipation-based notion.","In the smooth regime the extra error term vanishes in the local blow-up limit, so the new inequality characterizes the classical normal velocity just as the standard Brakke inequality does.","The $L^2$-bound (23) on the Lagrange multiplier $\\lambda^\\varepsilon$ and the density estimate $\\mu^\\varepsilon_t(B_r)\\le c r^{d-1}$ are what make the problematic $\\lvert\\lambda\\rvert^2$ term controllable."],"supporting_citations":[{"why":"Supplies the prior L2-flow existence result, the construction of the initial data, the energy estimates, the convergence of lambda and the density bound mu_t^eps(B_r) <= c r^{d-1} on which Theorem 3.2 builds.","marker":"[25]"},{"why":"Provides the lower-semicontinuity theorem used to pass from the approximate dissipation terms to the limiting |h|^2 and |v|^2 integrals.","marker":"[11]"},{"why":"Furnishes the standard Brakke inequality formulation, the first-variation formula (3), and Lemma 3.1 used in Proposition 2.1.","marker":"[28]"},{"why":"Establishes that a canonical Brakke flow is an L2-flow, the fact motivating the new definition and Proposition 2.1.","marker":"[24]"},{"why":"Gives the original Brakke flow framework and the perpendicularity of generalized mean curvature used in the proof of Proposition 2.1.","marker":"[4]"}],"fun_headline_variants":["New Brakke inequality yields global-time varifold solutions","Global-in-time Brakke flow for volume-preserving MCF","Phase-field construction of volume-preserving Brakke flow","Brakke inequality proven for constrained MCF via phase fields","Existence of global Brakke flow for volume-constrained MCF"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof depends on the unproved assertion that the discrepancy measure $\\xi^\\varepsilon$—the difference between the gradient-energy part and the potential part of the Allen-Cahn measure—tends to zero as a measure; if it does not, the approximate velocity need not be the velocity of the limiting varifold and the Brakke inequality's velocity term may disappear.","fun_headline_variants_meta":{"raw":{"variants":["New Brakke inequality yields global-time varifold solutions","Global-in-time Brakke flow for volume-preserving MCF","Phase-field construction of volume-preserving Brakke flow","Brakke inequality proven for constrained MCF via phase fields","Existence of global Brakke flow for volume-constrained MCF"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000918,"raw_usage":{"total_tokens":3884,"prompt_tokens":835,"completion_tokens":3049,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":451,"completion_tokens_details":{"reasoning_tokens":2961}},"tokens_in":451,"tokens_out":3049,"duration_ms":23635,"temperature":1.0,"reasoning_tokens":2961,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T12:52:47.437210+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find an explicit sequence of solutions of the Allen-Cahn equation (18) on the torus, or a numerical simulation with initial data satisfying (16)-(17), for which $\\xi^\\varepsilon$ does not converge to zero as Radon measures; then the computation $\\tilde\\mu^\\varepsilon\\to\\mu$ in the proof of Theorem 3.2 would fail, the inequality (11) would not follow, and the theorem as stated would be false.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the original Brakke flow framework and the perpendicularity of generalized mean curvature used in the proof of Proposition 2.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the prior L2-flow existence result, the construction of the initial data, the energy estimates, the convergence of lambda and the density bound mu_t^eps(B_r) <= c r^{d-1} on which Theorem 3.2 builds."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the lower-semicontinuity theorem used to pass from the approximate dissipation terms to the limiting |h|^2 and |v|^2 integrals."},{"cited_title":"Tonegawa.Brakke’s mean curvature flow","cited_arxiv_id":null,"evidence_quote":"Furnishes the standard Brakke inequality formulation, the first-variation formula (3), and Lemma 3.1 used in Proposition 2.1."},{"cited_title":"Stuvard, Y","cited_arxiv_id":null,"evidence_quote":"Establishes that a canonical Brakke flow is an L2-flow, the fact motivating the new definition and Proposition 2.1."}],"review_version":1}