{"id":"5c36a69b-9429-4b5c-b087-ce2999ac7df2","arxiv_id":"2411.17512","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For transverse initial data, the phase boundary in a 1D parabolic hysteresis problem is Hölder 1/2 continuous, Lipschitz under W^2_∞ data, and no regular interface branch exists for non-transverse data.","lead":"This paper proves sharp regularity of the moving boundary in a one-dimensional diffusion equation with a hysteresis switch between two phases. The boundary is Hölder 1/2 continuous for generic starting data, Lipschitz for smoother data, and for degenerate flat starting data a regular interface curve cannot exist.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Abstract's non-existence claim for non-transversal data is stronger than Theorem 5.1, which only excludes regular interface branches; pathological solutions are explicitly allowed.","rationale":"The paper makes a genuine contribution on regularity of the phase boundary for transverse data: existence in W^{2,1}_q with Holder 1/2 regularity, and Lipschitz regularity when the initial data lie in W^2_infinity. The proof by Schauder fixed point with monotone envelopes is sound in its main lines. However, the negative result advertised in the abstract is materially weaker than stated. Theorem 5.1 establishes only that regular interface branches (continuous nonconstant graphs or sleeping boundaries) cannot occur for topologically nontransversal data, and the authors explicitly leave open the existence of pathological solutions. This is not a minor wording issue: the abstract's categorical 'solutions do not exist' is a stronger mathematical claim that the paper does not prove. The reader's verdict of CONDITIONAL is appropriate, and the required condition is to revise the abstract to match Theorem 5.1 and the caveat. The technical issues I found (Lemma 4.1 constant, the 'постоянное'/'нулевое' typo in Lemma 4.2) are easily corrected and do not undermine the positive theorems. Therefore I do not propose changing the verdict; the paper should be accepted conditional on the abstract being made accurate.","tokens_in":19258,"tokens_out":23865,"duration_ms":216409,"concrete_test":"Read Theorem 5.1 together with the final paragraph of Section 5, where the authors concede that pathological solutions (switching set of positive measure, or u = beta on an open interval at some t0) cannot be excluded. If the abstract's 'solutions ... do not exist' is meant for all solutions, then it is false as stated; the theorem only rules out regular interface branches of the type constructed in Sections 2-3. To settle, attempt to find such a pathological solution for a non-transversal phi (e.g., a strict maximum of phi equal to beta), or verify that no such solution can be obtained by the discrete approximations of [15,16].","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's headline negative result, as stated in the abstract ('for non-transversal initial data, solutions with an interface boundary do not exist'), is not a theorem of the paper. Theorem 5.1 assumes the switching-time function r satisfies r < T1 on some interval, and then proves (i) if r is continuous then it is constant, and (ii) the left and right limsups of r agree. This excludes interface branches that are graphs of continuous strictly monotone functions and 'sleeping' vertical branches, but it does not exclude solutions whose switching set has positive measure and is nowhere dense, nor solutions with u = β on an open interval for some t0. Indeed, the authors explicitly write: 'Мы предполагаем, что задача (1.2) с нетрансверсальной начальной функцией не имеет решения, но не можем исключить существования патологического решения...' Thus the abstract overstates the result. Since the abstract is the paper's central advertised claim, this gap is load-bearing. The positive results (Hölder 1/2 for transverse data, Lipschitz for W^2_infinity) appear technically sound; minor fixable issues include the constant in Lemma 4.1 (should be 1 + sup|Delta_phi| rather than sup|Delta_phi|) and the likely typo 'постоянное' in Lemma 4.2 (should be 'нулевое'). These do not affect the main positive conclusions.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the one-dimensional parabolic problem (1.2) with a discontinuous hysteresis source term. For initial data φ ∈ W^{2−2/q}_q(Ω), q > 3, satisfying the transversality condition at each initial phase-switch point, it constructs a solution in W^{2,1}_q(Q_T) by a Schauder fixed-point argument, and shows that each branch of the phase boundary is the graph of a nondecreasing (or nonincreasing) Hölder-1/2 function (Theorems 2.1 and 3.1). When φ ∈ W^2_∞(Ω), Theorem 4.1 upgrades this to Lipschitz continuity of each branch with constant 4N_2/m. The last section addresses non-transversal data: Theorem 5.1 shows that, under the assumption r < T_1 on an interval, a continuous switching-time function r must be constant and its left and right upper limits coincide, but the authors explicitly leave open the existence of pathological solutions. The abstract, however, claims a stronger non-existence statement.","tokens_in":72,"tokens_out":10492,"duration_ms":199382,"significance":"The positive results are a genuine improvement over the earlier construction in [12]: the existence proof is simplified, the Hölder exponent 1/2 is better than the previously obtained exponent, and the Lipschitz estimate for W^2_∞ initial data is new. The proofs are largely self-contained and rest on standard linear parabolic estimates, comparison and maximum-principle arguments, and a clean one-sided difference-quotient technique in Lemmas 4.2–4.3. The precise negative statement about regular interface branches in the non-transversal case is also a useful contribution, although it is considerably weaker than the headline claim in the abstract.","major_comments":[{"comment":"The abstract's final sentence states that for non-transversal initial data 'solutions with an interface boundary do not exist.' This is not what Theorem 5.1 proves. Under the additional assumption r(x) < T_1 on an interval, Theorem 5.1 shows (i) that a continuous r on that interval is constant and (ii) that the left and right upper limits of r coincide at every point. It does not exclude solutions whose switching set has positive measure and is nowhere dense, nor solutions with u = β on an open interval for some time, as the authors themselves explicitly say in the paragraph following Theorem 5.1. The abstract and the introductory paragraph of §5 should be revised to claim only that no interface branch of the regular type constructed in §§2–3 can exist for non-transversal data, not that solutions with an interface boundary do not exist.","section":"Abstract and §5"}],"minor_comments":[{"comment":"The proof of Lemma 4.1 claims one may take N_0 = sup_Ω |Δφ|. But the functions w = t ± ε(v−φ) satisfy ∂_t w − Δw = 1 ± ε(f + Δφ), and both expressions are nonnegative only if ε is at most of order 1/(1 + sup |f + Δφ|). The argument therefore yields a constant of the form 1 + sup |Δφ| (up to a factor depending on the bound on f), not sup |Δφ|. The existence of some constant N_0 is unaffected, so the statement of the lemma is correct, but the displayed constant is wrong.","section":"§4, Lemma 4.1"},{"comment":"The definition of topological non-transversality is clear from the two displayed alternatives, but the phrase 'for some neighborhood (x_0 − ε, x_0 + ε)' makes ε overloaded with the small positive parameter used elsewhere in the paper for the difference-quotient range; this is harmless but should be clarified.","section":"§5, Definition 5.1"},{"comment":"In the proof of Lemma 4.2, the decomposition u^{(h)} = w_1 + w_2 is only sketched: the boundary values of w_1 on the lateral sides of Q^{**}_{i,ρ} are described as 'constant' but the actual values are not specified. The reader must infer that w_1 is chosen to match u^{(h)} (up to a constant) on those sides. Please spell out the exact boundary conditions for w_1 and w_2 so that the heat equations asserted for both are unambiguous.","section":"§4, Lemma 4.2"},{"comment":"The phrase 'необходимое условие очередности начальных фаз' is not formalized; the intended alternating condition (a phase-I/II/… sequence at the bi) should be stated explicitly so that the hypotheses of the theorem are self-contained.","section":"§3, Theorem 3.1"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two genuine advances here. For transverse initial data in W^{2-2/q}_q, q>3, the paper proves the phase boundary is Hölder 1/2, improving the earlier exponent γ < 1-3/q from [12] when q<6; and for φ ∈ W^2_∞ it proves Lipschitz regularity. The proof streamlines the fixed-point construction from [12] and adds one-sided difference-quotient estimates. Lemma 2.1 and the continuity argument are clean; the Lipschitz bound 4N_2/m follows naturally from Lemma 4.3 and transversality. I didn't find a circularity issue: the new estimates are proved from linear parabolic theory and comparison principles.\n\nThe soft spot is the advertised negative result. The abstract says for non-transversal data 'solutions with an interface boundary do not exist,' but Theorem 5.1 only shows that the switching-time function r cannot be continuous and nonconstant, and that its left and right limsups agree. That rules out the regular level-set branches of §§2-3 and sleeping vertical segments; it does not rule out pathological solutions with a nowhere-dense switching set of positive measure, or u=β on an open interval. The authors say as much in their concluding remark. So the theorem is a partial negative answer, not a non-existence theorem. That mismatch is worth fixing in the abstract; it is not fatal to the positive results.\n\nMinor: in Lemma 4.1, the constant N_0 should be 1 + sup|∆φ|, not sup|∆φ|, if I read the ε argument correctly. The 'постоянное' in Lemma 4.2 is not a typo; it is a constant lateral boundary condition, which is part of the construction.\n\nThis is a specialized paper for people working on hysteresis and free boundaries. The positive regularity results are real, and the limitation of the negative result is honestly acknowledged inside the paper. It deserves a serious referee; I'd send it to peer review, with a request to align the abstract with Theorem 5.1 and fix the Lemma 4.1 constant.","headline":"Solid interface-regularity results for transverse data; the advertised non-existence for non-transversal data is weaker than the abstract claims.","tokens_in":20089,"tokens_out":3661,"would_cite":true,"duration_ms":33775,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35R35","35K55","35B65","47J40"],"pacs":[],"model":"deepseek-v4-flash","headline":"Hysteresis phase boundary is Hölder-1/2, Lipschitz with smooth data","keywords":["hysteresis","parabolic equation","phase boundary","free boundary","transversality","Hölder continuity","Lipschitz regularity","non-transversal data"],"falsifier":"Take a transverse initial datum with $\\varphi(b)=\\alpha$ and $\\partial_x\\varphi(b)=m>0$, and measure numerically the maximal time difference quotient of the solution in the switching rectangle as $h\\to 0$; if this quantity exceeds $N_2$, or if a branch $s_i(t)$ has a chord slope exceeding $4N_2/m$, then the one-sided estimate (4.8) and the Lipschitz theorem fail.","tokens_in":19051,"feed_emoji":"🔁","tokens_out":15168,"duration_ms":115412,"temperature":0.7,"pith_summary":"This paper studies the one-dimensional heat equation with a discontinuous hysteresis source term, in which the domain is divided into two phases separated by a free boundary. The central claim is that when the initial data cross the switching thresholds transversally, the free-boundary problem has a solution on a small time interval, and each branch of the phase boundary is a monotone Hölder function with exponent $1/2$. For initial data in $W^2_\\infty(\\Omega)$, the same construction upgrades this to a Lipschitz phase boundary, with an explicit Lipschitz constant $4N_2/m$ that is the paper's main quantitative result. For non-transversal initial data, the paper shows that a well-defined interface of the considered type cannot exist. A curious reader should care because the result converts a discontinuous, history-dependent problem into a standard linear-parabolic one with controlled interface regularity.","feed_headline":"Transverse hysteresis data give a Hölder-1/2 phase boundary","feed_subtitle":"With a bounded second derivative the interface becomes Lipschitz, i.e., has bounded speed.","key_machinery":"The carrying mechanism is the transversality condition $|\\partial_x\\varphi(b_i)| \\ge m > 0$ at each initial switching point, which yields the uniform bound $\\partial_x v \\ge m/4$ on a fixed $\\sigma$-neighborhood of each $b_i$ for small times. This makes the level set $\\{v = \\alpha\\}$ or $\\{v = \\beta\\}$ a graph $x = a_i(t)$, whose Hölder modulus follows from pointwise estimates of $v$. To obtain monotone branches, the authors take the upper or lower monotone envelope $a_{i,0}(t)$ of each level curve and apply the Schauder fixed-point theorem on a closed convex set of monotone curves. The new mechanism for Lipschitz regularity is a pair of one-sided estimates on the time difference quotient $u^{(h)} = (u(x,t+h)-u(x,t))/h$: $\\min_{Q_i^*} u^{(h)} \\ge -N_2$ when $\\varphi(b_i)=\\alpha$, and $\\max_{Q_i^*} u^{(h)} \\le N_2$ when $\\varphi(b_i)=\\beta$, derived from Lemma 4.1's bound $|v(x,t)-\\varphi(x)| \\le N_0 t$, Lemma 4.2's bound in the intermediate rectangles, and the sign of the residual of the difference quotient. These one-sided estimates control the re-crossing speed of the threshold, and the transversality slope converts this into a bound on the interface's slope.","core_discovery":"The paper proves Theorems 3.1 and 4.1: under the transversality condition $|\\partial_x\\varphi(b_i)| > 0$ at each initial phase-switch point, with $\\varphi \\in W^{2-2/q}_q(\\Omega)$, $q > 3$, there exists $T > 0$ such that the initial-boundary problem (1.2) admits a solution $u \\in W^{2,1}_q(Q_T)$, and each branch $x = s_i(t)$ of the phase boundary is a monotone Hölder function of exponent $1/2$. If, in addition, $\\varphi \\in W^2_\\infty(\\Omega)$, then each branch is Lipschitz with constant $4N_2/m$. The new ingredient is a pair of one-sided difference-quotient estimates that bound, in the switching rectangles, how fast the solution can move across the threshold; together with the transversality lower bound $\\partial_x u \\ge m/4$ near the interface, these estimates force $|s_i(t_2) - s_i(t_1)| \\le (4N_2/m)|t_2 - t_1|$. For non-transversal data, Theorem 5.1 shows that any continuous piece of the switching-time curve $r(x)$ must be constant and that left and right limiting values must agree, which rules out the level-set and sleeping-boundary interface structures used in the existence construction.","pith_inferences":["The explicit dependence of the Lipschitz constant on $1/m$ suggests that as the transversality slope $m$ tends to zero, the maximal existence time $T$ should shrink and the interface may become more irregular; a natural conjecture left unproved in the paper is that regularity degenerates no faster than $O(m^{-1})$.","Theorem 5.1 leaves open the possibility of pathological solutions with a switching set of positive measure and empty interior, as the authors explicitly note; a testable extension is to check whether a regularized multi-valued hysteresis operator produces such solutions and whether they propagate with finite speed.","The one-sided difference-quotient technique may extend to two-sided estimates under a two-sided non-degeneracy condition, which would upgrade the interface branches to $C^1$; the paper does not pursue this.","The same level-set plus monotone-envelope plus fixed-point strategy should transfer to multi-dimensional radial configurations, where transversality becomes the non-vanishing of the radial derivative of the initial datum at the switching surface."],"forward_implications":["For transverse data in $W^{2-2/q}_q(\\Omega)$ with $q>3$, the free-boundary problem (1.2) is solvable on a time interval whose length depends only on $q$ and the initial datum, and each interface branch is monotone Hölder-1/2.","If the initial datum lies in $W^2_\\infty(\\Omega)$, the interface speed is uniformly bounded: every branch satisfies $|s_i(t_2)-s_i(t_1)| \\le (4N_2/m)|t_2-t_1|$, so the phase boundary cannot jump; flat, vertical-in-time segments remain possible.","For non-transversal data, no interface of the level-set or sleeping-boundary type can exist: any continuous piece of the switching-time curve is constant, so the free boundary cannot be a graph of a strictly monotone function.","The constructed interface branches are monotone envelopes of level curves, so they are nondecreasing (or nonincreasing) and alternate between strict motion and rest, giving an explicit structural description of the phase boundary."],"supporting_citations":[{"why":"Defines the spatially distributed hysteresis operator and introduces the transversality condition; the present paper follows its construction and improves its regularity result.","marker":"[12]"},{"why":"Provides the linear parabolic estimates (1.6)-(1.9) — solvability in $W^{2,1}_q$ and pointwise Hölder and gradient bounds — that underlie the level-set and fixed-point arguments.","marker":"[17]"},{"why":"Supplies the Schauder fixed-point theorem used to obtain the monotone branches of the phase boundary.","marker":"[18]"},{"why":"Gives the hypoelliptic derivative estimate used in Lemma 4.2 to bound the time difference quotient in the intermediate rectangles.","marker":"[19]"},{"why":"The strong maximum principle used in the proof of Theorem 5.1 to show that a continuous switching-time function must be constant.","marker":"[20]"},{"why":"The boundary-point (normal derivative) principle cited in Theorem 5.1 to rule out the case of a switching-time discontinuity at a lateral boundary of the rectangle.","marker":"[21]"}],"fun_headline_variants":["Transverse data yield Hölder 1/2 phase boundary in hysteresis","Hysteresis interface is Lipschitz when data are W^2_inf","Non-transverse data rule out parabolic hysteresis interfaces","Phase boundary in parabolic hysteresis: 1/2-Hölder, then Lipschitz","Hysteresis switching boundary: Hölder 1/2 from transverse start"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction requires that the initial data cross every switching threshold at nonzero spatial slope ($|\\partial_x\\varphi(b_i)|>0$); if a switching point has vanishing slope, the level-set curves cannot be defined, the fixed-point map collapses, and the existence proof yields nothing.","fun_headline_variants_meta":{"raw":{"variants":["Transverse data yield Hölder 1/2 phase boundary in hysteresis","Hysteresis interface is Lipschitz when data are W^2_inf","Non-transverse data rule out parabolic hysteresis interfaces","Phase boundary in parabolic hysteresis: 1/2-Hölder, then Lipschitz","Hysteresis switching boundary: Hölder 1/2 from transverse start"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000972,"raw_usage":{"total_tokens":4129,"prompt_tokens":941,"completion_tokens":3188,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":557,"completion_tokens_details":{"reasoning_tokens":3090}},"tokens_in":557,"tokens_out":3188,"duration_ms":21651,"temperature":1.0,"reasoning_tokens":3090,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:07:41.937085+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a transverse initial datum with $\\varphi(b)=\\alpha$ and $\\partial_x\\varphi(b)=m>0$, and measure numerically the maximal time difference quotient of the solution in the switching rectangle as $h\\to 0$; if this quantity exceeds $N_2$, or if a branch $s_i(t)$ has a chord slope exceeding $4N_2/m$, then the one-sided estimate (4.8) and the Lipschitz theorem fail.","supporting_citations":[{"cited_title":"Brokate, J","cited_arxiv_id":null,"evidence_quote":"Defines the spatially distributed hysteresis operator and introduces the transversality condition; the present paper follows its construction and improves its regularity result."},{"cited_title":"Curran, P","cited_arxiv_id":null,"evidence_quote":"Provides the linear parabolic estimates (1.6)-(1.9) — solvability in $W^{2,1}_q$ and pointwise Hölder and gradient bounds — that underlie the level-set and fixed-point arguments."},{"cited_title":"Visintin","cited_arxiv_id":null,"evidence_quote":"Supplies the Schauder fixed-point theorem used to obtain the monotone branches of the phase boundary."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the hypoelliptic derivative estimate used in Lemma 4.2 to bound the time difference quotient in the intermediate rectangles."},{"cited_title":"Kopfov´ a","cited_arxiv_id":null,"evidence_quote":"The strong maximum principle used in the proof of Theorem 5.1 to show that a continuous switching-time function must be constant."},{"cited_title":"Visintin","cited_arxiv_id":null,"evidence_quote":"The boundary-point (normal derivative) principle cited in Theorem 5.1 to rule out the case of a switching-time discontinuity at a lateral boundary of the rectangle."}],"review_version":1}