{"id":"00b47ce6-d3ab-4ca1-8df4-2b16604ca3a6","arxiv_id":"2411.18284","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Existence of a Brakke-type curvature flow with a critical Sobolev forcing field is established in the plane for arbitrary finite-length rectifiable initial networks.","lead":"For any closed 1-rectifiable set in the plane and any forcing vector field at the critical Sobolev regularity, the authors prove there is a global-in-time curvature flow (a Brakke-type solution) starting from that set. The flow can pass through singularities, and its length is controlled exponentially by the forcing norm.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The paper's central existence theorem depends on Theorem 4.2 for smooth forcing, but Appendix A only sketches the modifications to Kim–Tonegawa and Stuvard–Tonegawa, leaving the volume-control condition and the forced monotonicity formula unverified.","rationale":"The reader's weakest-assumption analysis points to Theorem 4.2 and the sketchy appendix, and I agree that this is the single most load-bearing concern. The rest of the paper, Sections 3 and 5, contains rigorous a priori estimates and a careful compactness argument that appear internally consistent; the main risk is not in the limiting procedure but in the existence of the smooth-forcing flows that feed into it. The appendix does not provide enough detail to certify that the long and technical constructions of Kim–Tonegawa and Stuvard–Tonegawa extend to the forced equation. The volume-control condition is a particularly natural place for an incompatibility, because adding a spatially varying forcing term changes phase volumes in a way that the original scheme was not designed to handle. The proposed concrete test isolates this issue in a simple setting and would settle whether the modification is valid or whether additional arguments (or additional hypotheses on u) are needed. Since the reader already recommends conditional acceptance with a request to expand the appendix, my stress test does not change that verdict.","tokens_in":23996,"tokens_out":12333,"duration_ms":117333,"concrete_test":"Take the simplest nontrivial case: N=2, Γ0 the unit circle, u a nonzero constant vector field in C^1_c(R^2). Write down the definition of the volume-controlled Lipschitz deformation class from [17, Definition 3.1] and check explicitly whether the map f2(x)=x+Δt(h_ε(x,∂E*_{j,l+1}) + u(x,(l+1)Δt)) from (A.11) belongs to the modified class and satisfies the volume bounds required for [8, (6.3)-(6.5)]. If this verification fails for a constant u, then the claimed modification of [8, Proposition 6.1] is invalid. If it succeeds, perform the same check for a spatially varying u with nonzero divergence, e.g., u(x)=(x_1,0), which tests whether the extra volume-change term is controlled by the allowed error.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The main theorem is proved by mollifying u and passing to the limit of smooth-forcing flows provided by Theorem 4.2. If Theorem 4.2 is not fully established, the limit argument has no starting point. The proof of Theorem 4.2 is relegated to Appendix A, which asserts that the arguments of [8,9,17] go through with u added to the approximate velocity, with statements such as 'the rest of the proof is identical' and 'one can deduce'. The most delicate point is the volume-controlled Lipschitz deformation: in [8] the map f(x)=x+h_ε Δt is chosen to belong to a class Evc that controls how the volumes of all phases change; replacing h_ε by h_ε+u introduces an additional divergence and boundary term that must be shown to satisfy the same estimates (A.7)-(A.9). The paper does not write down this verification, nor does it state the modified definition of Evc. Similarly, the modified Huisken-type monotonicity inequality (A.22) and the propagation lemma (Lemma A.1) are asserted after a short computation, but these estimates are used to control density ratios and integrality in the smooth construction; any failure there would prevent the varifold limit from being integral and would invalidate the structural properties (V3), (E7), (E8).","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a global-in-time existence theorem for the motion of a one-dimensional interface in R^2 with normal velocity h + u^⊥, where h is curvature and u is a forcing vector field in the critical Sobolev class (1.2). The main result, Theorem 2.2, asserts that under assumptions (A1)-(A4) there exist a varifold flow {V_t} and a family of finite-perimeter sets {E_i(t)} satisfying the Brakke-type inequality (2.11), the length bound (2.10), structural regularity (V3), and the phase properties (E5)-(E8). The proof strategy is to mollify u, apply a smooth-forcing existence result (Theorem 4.2) obtained by modifying the multi-phase Brakke flow constructions of Kim-Tonegawa and Stuvard-Tonegawa, derive uniform a priori estimates in Section 3, and pass to the limit in Section 5. The a priori estimates and the limiting argument are largely explicit, while the proof of Theorem 4.2 is delegated to Appendix A, where many steps are only sketched.","tokens_in":24282,"tokens_out":4399,"duration_ms":41570,"significance":"The result is significant because it extends existing subcritical existence results for mean curvature flow with transport term to the dimensionally critical case p = q = n+1 = 2, where the forcing term is no longer a small perturbation. The quantitative a priori estimates in Section 3, especially the length bound (3.6) and the curvature and trace estimates (3.7)-(3.8), are clean and self-contained, and the limiting argument in Section 5 is mostly detailed. However, the paper's central claim depends on Theorem 4.2 for smooth forcing, whose proof is only sketched in Appendix A; the volume-control condition and the forced monotonicity formula are asserted rather than verified. Since these are load-bearing for the existence of the approximate flows, the paper is not yet fully convincing as written.","major_comments":[{"comment":"The proof of Theorem 4.2 is the load-bearing base case for the whole paper, but the modifications to [8,9,17] are not fully demonstrated. In particular, the volume-controlled Lipschitz deformation class E_vc from [17, Definition 3.1] is referenced but not restated for the forced problem, and the map f_2(x) = x + Δt(h_ε(x,∂E*) + u(x,(l+1)Δt)) in (A.11) is not shown to satisfy the volume-control estimates needed in [17]. The transition from (A.1)-(A.3) to (A.7)-(A.9) is justified by 'the rest of the proof is identical and one can deduce', which is not sufficient for a theorem on which the main result collapses if any modification fails. Please provide the explicit verification of the E_vc condition with the extra u-term, or state precisely which lemmas of [8,17] are invoked and how the new terms are controlled.","section":"Appendix A, around (A.7)-(A.9) and (A.11)"},{"comment":"The modified Huisken monotonicity inequality (A.22) is asserted after replacing the Gaussian weight by exp(-t||u||_{L^∞}^2) ρ, with the statement that 'proceeding as in [7, Proposition 6.2]' yields the estimate. This is delicate because u appears in the motion law and generates additional terms involving u and its derivatives in the evolution of the weighted measure; the exponential factor must compensate for these terms. Since (A.22) is used, via [8, Sections 7-8], to control density ratios and to prove rectifiability and integrality, a failure here would invalidate (V3') and the structural properties of the limiting flow. A full derivation of (A.22), or a precise reference to a published proof of the forced monotonicity inequality, is needed.","section":"Appendix A, (A.21)-(A.22)"},{"comment":"The proof that non-line tangent cones are discrete and that the limiting junction angles are exactly 0, 60, or 120 degrees is sketched: the text says 'one can argue that there are a finite number of W^{2,2} curves reaching to the junction point' and 'the angles of intersection have to be either 0, 60 or 120 degrees due to the fact that V_s^{(m'_j)} is converging with the same property of junctions.' Since property (V3) is part of the main theorem and this is the only proof of the junction structure, the argument should be expanded, in particular the compactness of the set of junction points and the angle classification in the limit.","section":"Proposition 5.3, case (b)"}],"minor_comments":[{"comment":"The text says 'the density of ||V_t|| is precisely the number of W^{1,1} curves passing through that point'; this should presumably be 'W^{2,2} curves' to match the regularity established in (V3).","section":"Proposition 5.10"},{"comment":"The statement 'if n = 1, (V3) of Theorem 2.2 holds' is a forward reference that forces the reader to compare theorems; it would be clearer to state the one-dimensional structural property directly in Theorem 4.2.","section":"Theorem 4.2, (V3')"},{"comment":"In the displayed formula after (5.23a), the term 'h(V_s)·(∇φ − gφ)' mixes notation: the first product is a vector dot product while the preceding '∇φ · g^⊥' is also a vector dot product, but the expression would benefit from consistent placement of parentheses to avoid ambiguity.","section":"Proposition 5.5, equation (5.23b)"},{"comment":"The footnote explains that at exceptional times V_s is defined using a fixed S_0 and is not rectifiable; using the same symbol V_s for these non-rectifiable varifolds is slightly confusing, though the measure of such times is zero.","section":"Footnote in Proposition 5.2"}],"recommendation":"major_revision","confidential_remarks":"The paper is appropriate for the journal and the mathematical contribution is potentially important, but the proof of Theorem 4.2 in Appendix A is too sketchy for the role it plays. The authors should be required either to make the volume-control verification and the forced monotonicity formula fully explicit, or to state and prove a complete standalone theorem for smooth forcing. This is not a question of novelty or circularity: the dependence on the second author's earlier work is legitimate, but the modifications must be verifiable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take on Liu–Tonegawa. The critical case p=q=n+1=2 was explicitly open, since the subcritical condition (1.5) fails exactly there. The paper's strategy is sound: replace Huisken's monotonicity with the 1D varifold density estimate (Prop 3.1), get Gronwall control on length, L2 curvature, and the trace of u, then mollify u and pass to the limit. Section 3 is the heart and it is rigorous. The limit argument in Section 5 is mostly standard and the error terms in Prop 5.5 are handled carefully. If the smooth-forcing input holds, the main theorem follows.\n\nThe soft spot is that input. Theorem 4.2 is proved by reference and sketch in Appendix A. The authors state the key new estimates (A.1)–(A.4), but they do not define the modified class of volume-controlled deformations Evc, the verification of (A.7)–(A.9) is not written out, and the modified Huisken-type monotonicity (A.22) is asserted after a short computation. Lemma A.1 is proved, but it rests on that computation. These are load-bearing: without Theorem 4.2 there are no approximate flows. I don't think the gaps are fatal—they look fillable by someone who knows the Kim–Tonegawa and Stuvard–Tonegawa machinery—but they are not cosmetic. The paper would be much stronger if the appendix were expanded into a complete proof, or if Theorem 4.2 were separated out with a full proof.\n\nThe citation pattern is fine. [8,9,17] are the prior constructions, and the critical-case argument does not depend on the main theorem. No circularity.\n\nBottom line: this is a significant within-field result and deserves a serious referee. I would send it out, expecting major revision to close the appendix gaps.","headline":"Critical-case existence for 1D curvature flow with forcing is plausibly proved; the a priori estimates are solid, but the appendix proving the smooth-forcing input is a sketch and needs to be filled before the result is fully established.","tokens_in":24817,"tokens_out":3097,"would_cite":true,"duration_ms":28724,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53E10","49Q15"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that a curve in the plane can be moved by the sum of its curvature and an external vector field even when the forcing field has only critical Sobolev regularity, and that the resulting weak flow exists globally and passes…","keywords":["mean curvature flow","Brakke flow","critical Sobolev space","varifold","curve shortening flow","forcing term","multi-phase flow","sets of finite perimeter"],"falsifier":"Compute, for a fixed smooth compactly supported vector field $u$ and a circular initial curve, the length at time $T$ of the classical solution to (1.1) and compare it with the bound $\\mathcal{H}^1(\\Gamma(T)) \\le \\mathcal{H}^1(\\Gamma_0)\\exp(c_2^2 c_1(u,T))$; any smooth datum violating this inequality would disprove the a priori estimate behind the theorem. Alternatively, exhibit a closed rectifiable $\\Gamma_0$ and a $u$ in class (1.2) for which the mollified flows produced by Theorem 4.2 have no convergent subsequence of measures on a dense time set, contradicting Proposition 5.1.","tokens_in":23806,"feed_emoji":"📐","tokens_out":6778,"duration_ms":63711,"temperature":0.7,"pith_summary":"The paper shows that a one-dimensional curve in the plane has a global-in-time weak solution to the motion law \"normal velocity equals curvature plus an external vector field,\" even when the vector field is only in the dimensionally critical Sobolev class $L^\\infty_{\\mathrm{loc}}([0,\\infty);L^2(\\mathbb{R}^2)) \\cap L^2_{\\mathrm{loc}}([0,\\infty);W^{1,2}(\\mathbb{R}^2))$. This is the borderline regularity at which the forcing term has the same strength as curvature under parabolic scaling, so the problem is genuinely critical rather than a perturbation of ordinary mean curvature flow. The solution is a Brakke-type varifold flow together with evolving sets of finite perimeter, it starts from any closed rectifiable initial set of finite length, and it is non-trivial for at least a positive time interval. The paper also gives an explicit bound on the growth of length in terms of the initial length and a scale-invariant norm of the forcing field.","feed_headline":"Even at critical strength, forcing still allows global curve flow","feed_subtitle":"A vector field in the critical Sobolev class still yields a global Brakke solution from any rectifiable curve.","key_machinery":"The argument is carried by a priori estimates for one-dimensional varifolds with $L^2$ curvature, combined with a measure-gradient inequality (Theorem 3.2) and a Gronwall argument in Proposition 3.3. The density bound $D(\\|V\\|) \\le (\\|V\\|(\\mathbb{R}^2))^{1/2}(\\int |h(V)|^2\\,d\\|V\\|)^{1/2}$ lets the paper control the integral of $|u|^2$ against the varifold measure by the $L^2$ norm of curvature and the $W^{1,2}$ norm of $u$. These estimates replace the monotonicity formula that handles subcritical forcings and yield the explicit bounds (3.6)-(3.8). The approximating flows are supplied by a smooth-forcing multi-phase Brakke flow theorem (Theorem 4.2), obtained by modifying known constructions, and the final solution is extracted as a limit after mollifying the vector field $u$.","core_discovery":"Under Assumptions (A1)-(A4), there exist a family of varifolds $\\{V_t\\}$ and sets of finite perimeter $\\{E_i(t)\\}$ such that the Brakke inequality (2.11) holds with normal velocity $h + u^\\perp$, the length bound (2.10) holds, and the flow has the structural properties (V3) and (E5)-(E8): at almost every time it is a finite union of $W^{2,2}$ embedded curves meeting at junctions with angles $0$, $60$, or $120$ degrees, and the phase boundaries are controlled in a measure-theoretic sense. This is a genuine critical-case existence theorem: it covers every closed $1$-rectifiable $\\Gamma_0$ with $\\mathcal{H}^1(\\Gamma_0)<\\infty$ and every $u$ in the critical class (1.2), and the solution exists for all time while allowing singularities.","pith_inferences":["The same a priori estimates should extend to higher-dimensional surfaces, since the paper states its smooth-forcing existence theorem in general dimension but only proves the critical existence result for $n=1$.","The critical Sobolev class (1.2) is the natural regularity class for 2D Navier-Stokes flows, so the estimates here are a step toward a coupled two-phase Navier-Stokes/mean-curvature problem in which $u$ is no longer a fixed datum; the paper leaves that coupling for future work.","The absence of a regularity theorem in the critical case suggests that singularities may occur on a dense set of times; a natural test is whether the constructed flow satisfies any partial regularity property analogous to the subcritical case."],"forward_implications":["For two-phase initial data, the flow consists almost everywhere of embedded closed curves that may only intersect tangentially, so no triple junctions appear in the $N=2$ case.","The explicit length bound $\\mathcal{H}^1(\\Gamma(T)) \\le \\mathcal{H}^1(\\Gamma_0)\\exp(c_2^2 c_1(u,T))$ holds for all $T>0$, so the curve length remains finite at every time for any forcing field with finite $c_1(u,T)$.","The phase sets $E_i(t)$ are $1/2$-H\\\"older continuous in time with respect to Lebesgue measure and satisfy the estimate (E5), so they cannot suddenly vanish.","When the flow has unit density for almost every time, it coincides with the reduced boundaries of the phase sets: $V_t = \\mathrm{var}(\\bigcup_i \\partial^*E_i(t),1)$.","Because the forcing and curvature have comparable strength at this critical regularity, no regularity theorem of the kind available in the subcritical case is known for the resulting flow."],"supporting_citations":[{"why":"Supplies the multi-phase Brakke flow construction that Theorem 4.2 modifies to include a smooth forcing term.","marker":"[8]"},{"why":"Provides the one-dimensional Brakke flow regularity result used to obtain the $W^{2,2}$ curve structure and junction angles in (V3).","marker":"[9]"},{"why":"Gives the canonical multi-phase Brakke flow framework, including volume-controlled deformations and the phase-boundary properties modified in Appendix A.","marker":"[17]"},{"why":"Supplies the measure-gradient inequality (Theorem 3.2) that converts integrals against the varifold measure into $W^{1,2}$ estimates for $u$.","marker":"[13]"},{"why":"Provides the compactness theorem for integral varifolds used to pass from the approximate flows to the limiting varifold in Proposition 5.2.","marker":"[2]"},{"why":"Supplies the geometric measure theory background, including rectifiable varifolds and tangent cones, used throughout the structure analysis.","marker":"[15]"},{"why":"Establishes the subcritical existence result with a transport term, whose methods fail at criticality and which the present paper contrasts with its own approach.","marker":"[18]"},{"why":"Provides the Brakke inequality formulation that defines the weak motion law used in (2.11).","marker":"[19]"}],"fun_headline_variants":["Forced curvature flow exists even at critical strength","All rectifiable curves flow under critical vector fields","Brakke flow through singularities for critical forcing","Critical forcing still allows global curve flow"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof depends on the assertion in Theorem 4.2 that the known multi-phase Brakke flow construction still works when a smooth forcing term is added to the velocity; Appendix A only sketches the necessary modifications, with several steps left as \"identical\" or \"one can deduce\". If any of those unsupplied modifications fails, the mollified flows used in the limiting argument do not exist and the main theorem is not established.","fun_headline_variants_meta":{"raw":{"variants":["Forced curvature flow exists even at critical strength","All rectifiable curves flow under critical vector fields","Brakke flow through singularities for critical forcing","Critical forcing still allows global curve flow"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00022,"raw_usage":{"total_tokens":1386,"prompt_tokens":821,"completion_tokens":565,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":437,"completion_tokens_details":{"reasoning_tokens":507}},"tokens_in":437,"tokens_out":565,"duration_ms":5863,"temperature":1.0,"reasoning_tokens":507,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:20:28.101982+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, for a fixed smooth compactly supported vector field $u$ and a circular initial curve, the length at time $T$ of the classical solution to (1.1) and compare it with the bound $\\mathcal{H}^1(\\Gamma(T)) \\le \\mathcal{H}^1(\\Gamma_0)\\exp(c_2^2 c_1(u,T))$; any smooth datum violating this inequality would disprove the a priori estimate behind the theorem. Alternatively, exhibit a closed rectifiable $\\Gamma_0$ and a $u$ in class (1.2) for which the mollified flows produced by Theorem 4.2 have no convergent subsequence of measures on a dense time set, contradicting Proposition 5.1.","supporting_citations":[{"cited_title":"Kim and Y","cited_arxiv_id":null,"evidence_quote":"Supplies the multi-phase Brakke flow construction that Theorem 4.2 modifies to include a smooth forcing term."},{"cited_title":"Kim and Y","cited_arxiv_id":null,"evidence_quote":"Provides the one-dimensional Brakke flow regularity result used to obtain the $W^{2,2}$ curve structure and junction angles in (V3)."},{"cited_title":"Stuvard and Y","cited_arxiv_id":null,"evidence_quote":"Gives the canonical multi-phase Brakke flow framework, including volume-controlled deformations and the phase-boundary properties modified in Appendix A."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the measure-gradient inequality (Theorem 3.2) that converts integrals against the varifold measure into $W^{1,2}$ estimates for $u$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the compactness theorem for integral varifolds used to pass from the approximate flows to the limiting varifold in Proposition 5.2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the geometric measure theory background, including rectifiable varifolds and tangent cones, used throughout the structure analysis."},{"cited_title":"Takasao and Y","cited_arxiv_id":null,"evidence_quote":"Establishes the subcritical existence result with a transport term, whose methods fail at criticality and which the present paper contrasts with its own approach."},{"cited_title":"Tonegawa","cited_arxiv_id":null,"evidence_quote":"Provides the Brakke inequality formulation that defines the weak motion law used in (2.11)."}],"review_version":1}