{"id":"bd4f3885-99e3-436e-ab8d-e2e25c500d06","arxiv_id":"2411.17979","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Under non-concentration assumptions, the singular limit of the Allen-Cahn flow with boundary contact energy is a varifold with a weak fixed contact angle, and the trace of the interior limit equals the limit of the boundary traces.","lead":"This paper proves convergence results for the Allen-Cahn gradient flow with a fixed contact angle boundary condition, showing that in the sharp-interface limit the moving interface meets the boundary at the prescribed angle unless the interface wets the boundary. The results extend prior Neumann-boundary convergence theorems to nonlinear Robin boundary conditions and include a monotonicity formula valid up to the boundary.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Proposition 2 drops a factor 2 in the use of (A2); as written it gives boundary compactness only for c1<1/√2, so Theorems 1.3, 2 and 3 overclaim the allowed range c1<1.","rationale":"The reader's weakest assumption, (A6), is indeed a genuine and explicitly acknowledged limitation, and the reader also noticed in passing that Proposition 2 contains a factor-2 error. I am elevating that error to the primary load-bearing concern because it is an internal inconsistency rather than a declared open condition: the proof of Proposition 2 as written does not yield the stated range c1 < 1 for (A2). Since Proposition 2 supplies the boundary compactness needed for the trace limit u-tilde and for the boundary estimates in Theorems 2 and 3, the central contact-angle conclusion is not proven in full generality even under the conditional assumptions. This is not a disagreement with the mathematical consensus and not an attack on the authors; it is a concrete algebraic slip in a supporting proof. The concern is checkable by re-derivation, and it may be repairable, so it does not force rejection. I therefore keep the reader's CONDITIONAL verdict: acceptance should be conditioned on a corrected proof of Proposition 2 for all c1 < 1, or on an explicit restriction of (A2) to the range in which the proof closes.","tokens_in":22588,"tokens_out":26953,"duration_ms":232788,"concrete_test":"Recompute Proposition 2 from Section 2 with the correct consequence of (A2): replace the displayed estimate ∫∂Ω σ′(u)^2/ε dH^{n−1} ≤ c1^2∫∂Ω W(u)/ε dH^{n−1} by the correct ∫∂Ω σ′(u)^2/ε dH^{n−1} ≤ 2c1^2∫∂Ω W(u)/ε dH^{n−1}, and track the absorption coefficient in the subsequent displayed inequality. If the coefficient becomes (1−2c1^2), as a direct calculation indicates, then determine whether any alternative estimate in the proof can still yield the desired bound for all c1 ∈ [1/√2, 1); if not, the statement of the hypotheses in Theorems 1–3 must be restricted to c1 < 1/√2, or a new argument covering the full range must be supplied.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 2 in Section 2 is the only estimate behind the boundary BV compactness used in Theorem 1 part 3 and the boundary estimates used in Theorems 2 and 3. Its proof applies (A2) incorrectly: from |σ′(u)| ≤ c1√(2W) one obtains σ′(u)^2/ε ≤ 2c1^2 W(u)/ε, not σ′(u)^2/ε ≤ c1^2 W(u)/ε as written. Correcting this factor changes the absorption step: the displayed inequality becomes (1−2c1^2)∫∂Ω(ε|∇u|^2/2 + W(u)/ε)dH^{n−1} ≤ ..., so the argument closes only when c1 < 1/√2. In the paper's own standard example of Remark 1, c1 = |cos θ|, so all contact angles θ ≤ π/4 fall outside the proven range. Thus, even granting the non-concentration assumption (A6), Theorem 1 part 3, Theorem 2, and Theorem 3 are not established for the full range c1 ∈ [0,1) stated in (A2). This is an internal proof gap, independent of the unresolved status of (A5)/(A6), and it directly affects the boundary-limit input to the central contact-angle conclusion.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the ε→0 limit of the Allen–Cahn equation with nonlinear Robin boundary condition (1), which is the gradient flow of the Modica–Mortola energy with boundary contact energy (2). Under assumptions (A1)–(A4) it proves compactness of the associated energy measures and varifolds, L1 convergence of solutions to a BV function taking values ±1, and boundary L1/BV compactness of the traces. With the discrepancy non-concentration assumption (A5) it obtains a first-variation identity corresponding to a generalized fixed contact angle, and with the stronger measure non-concentration assumption (A6) it proves that the trace of the interior limit equals the limit of traces and that the interior limit varifold meets the boundary at the prescribed angle in the sense of [KT17]. Appendix B derives an Ilmanen-type boundary monotonicity formula.","tokens_in":22870,"tokens_out":12216,"duration_ms":104561,"significance":"The results are potentially valuable: they extend varifold convergence theory for Allen–Cahn to boundary contact-angle flows in a time-dependent setting, and the boundary monotonicity formula is a useful new tool. The paper is careful and transparent about the fact that (A5)/(A6) are additional geometric hypotheses not derived from the equations (see Remark 6). However, the central range of the main theorems is broader than the proofs currently support: the factor-of-2 error in Proposition 2 limits the boundary compactness argument to c1<1/√2 rather than c1<1, and the trace identity has a missing δ→0 step. With those repaired, the paper would make a solid contribution.","major_comments":[{"comment":"The displayed estimate after applying (A2) reads ∫∂Ω σ′(u)²/ε dH^{n−1} ≤ c1²∫∂Ω W(u)/ε dH^{n−1}, but (A2) gives |σ′(u)| ≤ c1√(2W(u)), so the correct bound is ∫ σ′(u)²/ε ≤ 2c1²∫ W(u)/ε. Consequently the absorption step gives (1−2c1²)∫∂Ω(ε|∇u|²/2 + W(u)/ε)dH^{n−1} ≤ 1/2∫Ω ε(∂tu)² dx + C, which is usable only when c1 < 1/√2. Since Proposition 2 is the only estimate behind the boundary BV compactness in Theorem 1 part 3 and the boundary bounds in Theorems 2 and 3, those results are not established for the full stated range c1 ∈ [0,1). For the example in Remark 1 this excludes contact angles θ ≤ π/4. The authors should either restrict (A2) accordingly or supply a different argument for the claimed range.","section":"§2, Proposition 2 (proof, displayed estimate after (A2))"},{"comment":"After fixing δ ∈ (0,κ), the terms ∫_{Nδ} X·d[Dw] and ∫_{Nδ} ∇w_i·X are only bounded by ||X||L∞ times a liminf/limsup of ||V_i_t,1||(Nδ); for fixed δ these bounds need not vanish as j→∞. To conclude ∫∂Ω f T w dH^{n−1} = ∫∂Ω f w̃ dH^{n−1}, one must let δ→0 (or choose δ depending on the threshold in (A6)) after passing to the limit in j, using (A6) to make limsup_i ||V_i_t,1||(Nδ) arbitrarily small. As written the proof omits this δ→0 step, so the trace identity is not yet justified.","section":"§3.2, proof of Theorem 3 part 1"}],"minor_comments":[{"comment":"The fourth author's name is typeset as 'TONEGA W A' in the arXiv header; this should be corrected to 'TONEGAWA'.","section":"Title page"},{"comment":"Once the factor of 2 is fixed, use a single symbol for the constant in the display (e.g. write 1−2c1² consistently) instead of interchanging c1 and c1².","section":"§2, Proposition 2"},{"comment":"The convergence of the boundary varifolds V_j_t,2 to σ(1)H^{n−1}⌊{ũ(·,t)=+1} is used implicitly; stating it explicitly would help the reader.","section":"§3.1, proof of Theorem 2 part 1"},{"comment":"The statement says the constants depend only on n, Ω, and E0, while the proof introduces dependence on the mean curvature of ∂Ω; this is fine since that is determined by Ω, but the sentence should say so.","section":"Appendix B, Proposition 3"},{"comment":"The caption would benefit from a note that the 'popping' behavior depicted is heuristic and not derived from the assumptions.","section":"Figure 1 caption"}],"recommendation":"major_revision","confidential_remarks":"The factor-of-2 issue in Proposition 2 is genuine and should be the first thing the authors address. I do not believe the paper should be rejected: the proofs are otherwise detailed, the conditional nature of (A5)/(A6) is disclosed, and the trace gap is a simple missing limiting argument. The final decision depends on whether Proposition 2 can be established for the full c1<1 range or whether the main theorems are restated with c1<1/√2."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is a real step forward: it extends the Mizuno–Tonegawa convergence program to the nonzero Robin boundary case, proves BV compactness on the boundary, derives generalized contact-angle conditions for the flow limit, and constructs the boundary Ilmanen monotonicity formula. The structural arguments are sound and the exposition is careful. The authors are also honest that the non-concentration assumptions (A5)/(A6) are not derived from the equations (Remark 6), so the main theorems are conditional — that is a limitation, not a flaw.\n\nThe stress-test note is correct. In the proof of Proposition 2, the bound from (A2) should be σ′(u)²/ε ≤ 2c1² W(u)/ε, not c1² W(u)/ε. The absorption then gives (1−2c1²) on the boundary-energy term, so the argument as written only closes for c1 < 1/√2. This affects Theorem 1 part 3, and consequently Theorems 2 and 3 for the full stated range c1 ∈ [0,1). The standard example from Remark 1 has c1 = |cos θ|, so contact angles θ ≤ π/4 are excluded. This is a genuine overclaim, but it is localized: the rest of the proof structure is coherent, and the range restriction may be fixable or at least should be restated.\n\nEverything else I checked holds up: the first-variation computation, the BV convergence arguments, and the monotonicity formula are consistent with the cited literature. The appendices on measure uniqueness are honest about what is not known. The paper is a useful reference for anyone working on phase-field approximations of capillarity or mean curvature flow with contact angle.\n\nWho is this for? Specialists in geometric measure theory and free boundary problems, especially those building on Ilmanen, Mizuno–Tonegawa, and Kagaya–Tonegawa. It deserves a serious referee: the topic is timely, the new results are substantial, and the main weakness is a technical range restriction rather than a faulty idea. I would recommend acceptance after the authors fix Proposition 2 or clearly state the c1 < 1/√2 range.","headline":"Solid extension of the Neumann-boundary Allen–Cahn convergence theory to fixed contact angles, but a factor-2 error in Proposition 2 limits the stated range to c1<1/√2.","tokens_in":23402,"tokens_out":4402,"would_cite":true,"duration_ms":37099,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35K57","49Q20","53C44"],"pacs":[],"model":"deepseek-v4-flash","headline":"Under a no-wetting assumption, the singular limit of the Allen–Cahn flow with fixed contact angle is a varifold meeting the boundary at angle $\\theta=\\arccos(\\sigma(1)/c_0)$, and the boundary trace of the limit equals the limit of the…","keywords":["Allen-Cahn equation","fixed contact angle","gradient flow","varifold","wetting","non-concentration","BV trace","Ilmanen monotonicity formula"],"falsifier":"Take a numerical solution of (1) in a disk with $W(s)=(1-s^2)^2/4$, $\\sigma(s)=\\cos(\\theta)\\int_{-1}^{s}\\sqrt{2W(r)}\\,dr$, $\\theta=60^\\circ$, and a droplet-shaped initial datum with bounded energy. If at some positive time the interface approaches the wall tangentially and the interior energy measure keeps positive mass in every boundary tube while the total energy stays bounded, then (A6) fails and the trace identity of Theorem 3 part 1 would be violated, showing the no-wetting condition is genuinely needed.","tokens_in":22408,"feed_emoji":"📐","tokens_out":6329,"duration_ms":52863,"temperature":0.7,"pith_summary":"This paper studies what happens to a diffuse phase interface as its width $\\varepsilon$ tends to zero, when the interface meets the container wall at a prescribed contact angle. It claims that, provided the interface does not wet the wall by piling up mass on the boundary, the limiting interface is a varifold that makes the expected fixed contact angle with the wall, and the limiting values of the phase field from the interior and from the boundary agree. A general, unconditional convergence result for the energy measures and the phase field is established first; the sharp contact-angle statement requires an additional non-concentration hypothesis. The paper also derives an Ilmanen-type monotonicity formula valid up to the boundary, which is a tool for future refined convergence results.","feed_headline":"No-wetting flow pins its interface to the wall at a fixed angle","feed_subtitle":"The singular limit meets the wall at angle arccos(σ(1)/c0), and interior and boundary limits agree.","key_machinery":"The objects doing the work are the diffuse energy measures $\\mu^\\varepsilon_{t,1}$ in the interior and $\\mu^\\varepsilon_{t,2}$ on the boundary, the associated varifolds $V^\\varepsilon_{t,1}$ and $V^\\varepsilon_{t,2}$, and the discrepancy $\\xi^\\varepsilon_t=\\varepsilon|\\nabla u|^2/2-W(u)/\\varepsilon$. The first variation formula (Proposition 1) expresses $\\delta V^\\varepsilon_t$ as the sum of a discrepancy term, a time-derivative term, and a boundary term; passing this identity to the limit under (A5) or (A6) yields the contact-angle identity. Assumption (A6) says the interior measure has no mass in arbitrarily thin boundary tubes, which lets the authors pass the trace of the BV limit and discard the interior part of the first variation on the boundary.","core_discovery":"Under assumptions (A1)–(A4), for almost every time the diffuse solutions converge to a BV limit $u=\\pm1$ in the interior and a BV limit $\\tilde{u}=\\pm1$ on the boundary, with the associated energy measures converging to Radon measures. If the discrepancy does not concentrate on the boundary (A5), the limiting interior varifold $V_{t,1}$ has bounded, time-integrable first variation and satisfies a generalized contact-angle identity. If in addition the interior energy measure itself stays away from the boundary (A6), then the boundary limit is exactly the trace of the interior limit, $Tu=\\tilde{u}$, and the boundary part of the first variation equals $-\\sigma(1)\\int_{\\partial^*\\{Tu=+1\\}} g\\cdot n\\,dH^{n-2}$ for every test field $g$ tangent to $\\partial\\Omega$. This is the fixed contact angle condition of [KT17], with angle $\\theta=\\arccos(\\sigma(1)/c_0)$.","pith_inferences":["Beyond the paper: if (A6) could be derived from the equations, these results would open the door to a Brakke-flow convergence theorem with fixed contact angle; the paper does not prove this.","Beyond the paper: the monotonicity formula's discrepancy term suggests that under (A5) or (A6) one could obtain local upper-density bounds near the boundary, leading to partial regularity; the authors do not pursue this here.","Beyond the paper: the trace identity says wetting is the only obstruction to a clean free-boundary condition, and when wetting occurs the interface should pop off the wall instantaneously, an event that could be studied as a singular free-boundary phenomenon."],"forward_implications":["For almost every time, under (A6), the boundary trace of the limiting phase field exists as a BV function on $\\partial\\Omega$ and equals the limit of the boundary traces of the diffuse solutions.","The limiting interior varifold has a boundary first variation supported on the reduced boundary of the trace set, with density $\\sigma(1)$; this is exactly the fixed-angle condition of [KT17].","Under the weaker assumption (A5), the limiting varifold already has bounded first variation, integrable in time, and satisfies a generalized contact-angle identity involving the boundary limit $\\tilde{u}$.","The Ilmanen-type monotonicity formula holds up to the boundary for all solutions with bounded initial energy and non-negative boundary energy, provided the discrepancy term is controlled.","Under (A6), the limiting interior and boundary varifolds are unique, with the boundary varifold given by $\\sigma(1)H^{n-1}$ on the trace set."],"supporting_citations":[{"why":"Defines the varifold fixed contact angle condition that Theorem 3 targets.","marker":"[KT17]"},{"why":"Derives the static critical-point version of the contact-angle limit that this paper extends to gradient flow.","marker":"[KT18]"},{"why":"Establishes the Neumann-boundary analogue and supplies the boundary monotonicity technique adapted here.","marker":"[MT15]"},{"why":"Provides the interior Allen–Cahn to Brakke-flow convergence framework and the monotonicity formula.","marker":"[Ilm93]"},{"why":"Supplies the integrality of limiting varifolds and the discrepancy-limit result used via Remark 4.","marker":"[Ton03]"},{"why":"Motivates the model and the wetting phenomenon that assumption (A6) precludes.","marker":"[Cah77]"},{"why":"Established the Gamma-convergence of the diffuse energy to Gauss free energy with contact angle.","marker":"[Mod87]"},{"why":"Proves a BV-level fixed-contact-angle convergence under a no-energy-drop condition, the closest neighbouring result.","marker":"[HL21]"}],"fun_headline_variants":["Allen-Cahn gradient flow enforces fixed contact angle","Boundary trace matches interior limit for Allen-Cahn flow","Fixed contact angle survives the diffuse interface limit","Gradient flow with pinned boundary angle: convergence proven","Contact angle arccos(σ/c0) emerges from Allen-Cahn flow"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the diffuse interface never piles up on the container wall—for almost every time the interior energy measure has arbitrarily small mass in sufficiently thin boundary strips—and the paper notes that even the weaker discrepancy version of this control has not been derived from the equations.","fun_headline_variants_meta":{"raw":{"variants":["Allen-Cahn gradient flow enforces fixed contact angle","Boundary trace matches interior limit for Allen-Cahn flow","Fixed contact angle survives the diffuse interface limit","Gradient flow with pinned boundary angle: convergence proven","Contact angle arccos(σ/c0) emerges from Allen-Cahn flow"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000674,"raw_usage":{"total_tokens":3027,"prompt_tokens":866,"completion_tokens":2161,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":482,"completion_tokens_details":{"reasoning_tokens":2080}},"tokens_in":482,"tokens_out":2161,"duration_ms":14712,"temperature":1.0,"reasoning_tokens":2080,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:38:23.627457+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a numerical solution of (1) in a disk with $W(s)=(1-s^2)^2/4$, $\\sigma(s)=\\cos(\\theta)\\int_{-1}^{s}\\sqrt{2W(r)}\\,dr$, $\\theta=60^\\circ$, and a droplet-shaped initial datum with bounded energy. If at some positive time the interface approaches the wall tangentially and the interior energy measure keeps positive mass in every boundary tube while the total energy stays bounded, then (A6) fails and the trace identity of Theorem 3 part 1 would be violated, showing the no-wetting condition is genuinely needed.","supporting_citations":[],"review_version":1}