{"id":"6cb67106-0201-4eea-9bdb-9ffabca5b9d6","arxiv_id":"2506.01607","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For 0<p<1, minimizers of the superlinear Alt-Phillips system have optimal C^{1,κ−1} regularity, and flat free boundaries are C^{1,α}, analytic for minimizers.","lead":"Mathematicians proved that the free boundary in a singular, vector-valued version of a classic obstacle-type problem is smooth. The paper closes a decade-old open case in the Alt-Phillips theory by showing flat interfaces are C^{1,α} and analytic.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.3 is not proved: the analyticity transfer from [9] is asserted without handling the degenerate range γ=2(κ-1)<1 that occurs for 0<p<2/3.","rationale":"The most load-bearing point is not in the proof of Theorem 1.7: Sections 3–4 contain a coherent linearization argument, with the Harnack inequality (Theorem 3.1), the improvement-of-flatness lemma (Lemma 4.1), and the reduction to the degenerate linear problem (4.8). I found no internal inconsistency there that would force rejection of the C^{1,α} claim. The load-bearing gap is Theorem 1.3. The proof is a one-paragraph citation to [9], which was written for 1≤p<2. For that range, κ≥2 and γ=2(κ-1)≥2, so the linearized operator x_nΔ+γ∂_n is in the 'bounded' regime of Definition (4.8)(a). For 0<p<1, κ∈(1,2), and for p<2/3 we have γ<1, where the boundary condition changes to the non-touching condition (4.8)(b) and the model equation has the non-C^1 solution x_n^{1-γ}. The paper asserts without proof that the hodograph-Legendre construction of [9] holds 'as long as κ>1'; this is not a routine parameter extension. The concrete test above—redoing the implicit function theorem step in the [9] spaces for γ<1—would settle whether Theorem 1.3 is true or needs to be restricted. Because the main C^{1,α} theorem is credible and the analyticity claim is incomplete, the reader's CONDITIONAL verdict is appropriate; my stress test does not change it.","tokens_in":23671,"tokens_out":31800,"duration_ms":345500,"concrete_test":"Work through [9, Sections 3–5] with κ∈(1,2), focusing on the linearized operator L=x_nΔ+γ∂_n with γ=2(κ-1). For γ<1, recompute the boundary condition at B' and check whether the non-C^1 element x_n^{1-γ} is admissible in the weighted Hölder spaces used in the implicit function theorem. If [9]'s spaces require C^1 regularity up to B', or if the linearized map is not an isomorphism for γ<1, Theorem 1.3 fails for p<2/3 and must be restricted. This can be settled analytically by solving x_n v''+γ v'=0 and testing v=x_n^{1-γ} against the norms and boundary conditions used in [9, Section 5].","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central new C^{1,α} result (Theorem 1.7) is supported by a long, mostly self-contained argument in Sections 3–4. The advertised analyticity Theorem 1.3, however, is delegated to [9] in a single paragraph (Section 5). [9] proved analyticity for 1≤p<2, i.e. κ=2/(2-p)≥2. In the present range 0<p<1, κ∈(1,2) and γ=2(κ-1)∈(0,2). In the linearized problem (4.8), which is the key object in Lemma 4.1 and in the hodograph-Legendre step of [9], the boundary condition is qualitatively different for γ<1: Definition (4.8)(b) must be imposed with test functions containing x_n^{1-γ}, and the model operator x_nΔ+γ∂_n has the non-C^1 mode x_n^{1-γ}. Nothing in Section 5 verifies that the weighted Schauder estimates, the boundary-condition treatment, or the implicit-function-theorem isomorphism of [9, Sections 3–5] survive for 0<p<2/3. The final sentence that the argument holds 'as long as κ>1' is an assertion, not a proof. Thus Theorem 1.3 is unsupported for a nonempty parameter range, even if Theorem 1.7 and Theorems 1.1 are correct.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies vector-valued minimizers of the energy E(u) = ∫(|∇u|^2 + (2/p)|u|^p) for 0 < p < 1, together with an ad hoc viscosity notion for the associated system Δu = |u|^{p-2}u in the positivity set. The three main results are: optimal C^{1,κ-1} regularity of minimizers (Theorem 1.1), C^{1,α} regularity of flat free boundaries for viscosity solutions (Theorem 1.7), and analyticity of flat minimizing free boundaries (Theorem 1.3). The proof of Theorem 1.7 occupies Sections 3–4 and combines a Harnack-type inequality (Theorem 3.1), a compactness argument, and an improvement-of-flatness lemma (Lemma 4.1) built on the linearized problem (4.8). The analyticity result is treated in Section 5, where the authors state that the argument of [9] transfers as long as κ > 1.","tokens_in":23976,"tokens_out":13018,"duration_ms":120845,"significance":"The C^{1,α} regularity result (Theorem 1.7) is a substantial advance: it resolves, in the flat regime, the free boundary regularity problem for 0 < p < 1, a range left open by earlier works [2, 10, 9] that covered 1 ≤ p < 2. The optimal regularity theorem and the Harnack inequality are also valuable, and the proof of Theorem 1.7 is mostly self-contained with a clear compactness/linearization structure. However, the advertised analyticity theorem is not actually proved in the manuscript; it is delegated to [9] without verifying the degenerate-range hypotheses. Thus the paper's significance currently rests mainly on the C^{1,α} and optimal regularity results, which are solid and worth publishing if the analyticity claim is repaired or properly qualified.","major_comments":[{"comment":"The proof of Theorem 1.3 is not a proof but an unverified transfer. The final paragraph of Section 5 states: 'In fact, one can easily see that the argument in [9, sections 3-5] regarding the partial hodograph-Legendre transformation holds as long as κ > 1.' Reference [9] proves analyticity for 1 ≤ p < 2, i.e., κ = 2/(2-p) ≥ 2. In the present setting 0 < p < 1 gives κ ∈ (1, 2), and for 0 < p < 2/3 the parameter γ = 2(κ-1) in the degenerate operator x_n Δ + γ ∂_n satisfies 0 < γ < 1. In the linearized problem (4.8), Definition (4.8)(b) for s < 1 imposes the boundary condition with test functions containing x_n^{1-s}, which are not C^1 up to the boundary. The paper does not verify that the weighted Schauder estimates, the boundary-condition treatment, or the implicit-function-theorem isomorphism of [9, Sections 3–5] survive in this singular range. Consequently Theorem 1.3 is unsupported for a nonempty parameter range; the assertion 'holds as long as κ>1' is not backed by any calculation.","section":"Section 5 (Proof of Theorem 1.3)"},{"comment":"Lemma 5.2 is a load-bearing ingredient for the analyticity argument, and its proof also relies on an unverified transfer. In Step 1 of the proof, the authors invoke 'the first part of the proof in [10, Proposition 4.6]' to conclude that any nonzero homogeneous solution of degree κ with a nontrivial zero set has W(v,0,1) ≥ ω_p. That result was proved in [10] for 1 ≤ p < 2; no justification is given for its validity when 0 < p < 1. Since Lemma 5.2 is used in Lemma 5.4 to identify the blow-up limit, this is another instance of the same problem: the analyticity section consists of assertions that the technical machinery of prior papers extends to the present range, without the necessary estimates.","section":"Section 5 (Lemma 5.2)"}],"minor_comments":[{"comment":"The phrase 'canonical basis' should be plural: 'canonical bases' for the two spaces R^n and R^m.","section":"Section 1.2"},{"comment":"There is a typo: 'Weak Harnak Inequality' should be 'Weak Harnack Inequality'.","section":"Lemma 3.2"},{"comment":"The proof of Proposition 1.8 is compressed into a single sentence ('follows as in Remark 1.5, given that minimizers are C^{1,κ-1}'); since this proposition connects minimizers to the viscosity notion used in Theorem 1.7, a fuller justification is needed.","section":"Proposition 1.8"},{"comment":"The notation 'x 7−→W(u,x,0+)' contains a garbled arrow; use a standard arrow such as 'x ↦ W(u,x,0+)'.","section":"Section 5, Proposition 5.1"},{"comment":"Reference [14] is listed only as 'Preprint' with no year; please provide an update if available.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The C^{1,α} part (Theorems 1.1 and 1.7) is strong and, on its own, publishable. The analyticity claim (Theorem 1.3) should not be advertised in its current form; the revision should either supply a complete proof of the transfer from [9] or explicitly remove/restrict the analyticity theorem to a range where the transfer is established. I advise against accepting the paper until this load-bearing gap is resolved."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take. What is actually new: the optimal regularity theorem (Theorem 1.1) and the flat free boundary C^{1,α} regularity (Theorem 1.7) for the superlinear system in 0<p<1. That range was open, and the strategy—variational regularity plus a linearization/Harnack/improvement-of-flatness scheme built around a custom viscosity notion—works. The proof is detailed and largely self-contained; the Harnack inequality and the explicit barrier constructions are real work. I also agree with the reader that there is no circularity or fitted parameter in the flatness-improvement argument. Theorem 1.7 is credible, and it is a genuine advance.\n\nThe soft spot is exactly where the stress-test puts it. Theorem 1.3, the analyticity claim for minimizers, is not proved in this paper. Section 5 consists of a Weiss-type monotonicity formula, a classification lemma for homogeneous blow-ups, a rescaling lemma, and then a one-paragraph appeal to [9] saying the partial hodograph-Legendre argument holds “as long as κ>1.” That is an assertion, not a proof. [9] was written for 1≤p<2, so γ=2(κ−1)≥2 there. In the present range, γ∈(0,2), and for 0<p<2/3 one has γ<1. The linearized boundary condition in (4.8) changes qualitatively in that regime: the singular mode x_n^{1−γ} enters, test functions must be weighted by x_n^{1−γ}, and the operator x_nΔ+γ∂_n is no longer covered by the estimates in [9]. The paper does not verify the weighted Schauder estimates, the boundary-condition treatment, or the implicit-function-theorem step. So Theorem 1.3 is unsupported on a nonempty parameter range. Theorem 1.7 stands, but the paper's headline result is not established.\n\nCitation pattern is fine: self-citation here points to real, independent prior work. The minor annoyance is that the abstract and introduction present analyticity as a done deal.\n\nWho is this for: people working on free boundary regularity for systems, especially the Alt–Phillips direction. The C^{1,α} part is worth their time; the analyticity claim should not be cited without independent verification.\n\nRecommendation: send to peer review, but instruct the referees to require either a written proof of the degenerate-parameter transfer or an honest downgrade of Theorem 1.3 to a conditional statement. The main theorem deserves referee time.","headline":"Solid, genuinely new C^{1,α} result for the open range 0<p<1, but the advertised analyticity theorem is not actually proved—it is an unverified transfer from a paper written for a different parameter regime.","tokens_in":24493,"tokens_out":2007,"would_cite":true,"duration_ms":21186,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35R35","35J60"],"pacs":[],"model":"deepseek-v4-flash","headline":"For 0<p<1, minimizers of a singular elliptic system have optimal C^{1,κ−1} regularity, and flat free boundaries are C^{1,α}, analytic for minimizers.","keywords":["free boundary","superlinear system","energy minimizers","optimal regularity","flatness","viscosity solutions","analyticity","elliptic systems"],"falsifier":"Check whether the degenerate linearized problem ∆φ + 2(κ−1) φ_n/x_n = 0 in B_1^+ with s∈(0,2) satisfies the same $C^{{1,σ}}$ boundary estimates as in the range 1≤p<2; a failure at some κ∈(1,2) would break the analyticity transfer. Alternatively, construct a flat viscosity solution whose free boundary is $C^{{1,α}}$ but not analytic, contradicting Theorem 1.3.","tokens_in":23456,"feed_emoji":"📐","tokens_out":5917,"duration_ms":54998,"temperature":0.7,"pith_summary":"This paper closes a decade-old gap for the system version of the Alt–Phillips free boundary problem in the singular range 0<p<1, where the energy density |∇u|²+(2/p)|u|^p is not convex in the standard sense. It proves that minimizers have the optimal Hölder regularity $C^{{1,κ−1}}$ with κ=2/(2−p), matching the one-dimensional model profile u0(t)=c_p(t_+)^κ. It introduces an ad hoc viscosity notion for the system and shows that flat free boundaries of viscosity solutions are $C^{{1,α}}$. For energy minimizers, it further claims the flat free boundary is analytic. A sympathetic reader should care because this completes the regularity theory for the range left open since the case p=1.","feed_headline":"Singular free boundaries are provably smooth when flat","feed_subtitle":"A new proof closes the singular range 0<p<1, yielding optimal regularity and analytic flat free boundaries.","key_machinery":"The engine is a linearization of the flatness parameter. Rescaling the gap between the upper and lower barriers defines renormalized graphs eu1 = $u_0^{{-1}}$((u_1)_+)/ε − x_n/ε and f|u| = $u_0^{{-1}}$(|u|)/ε − x_n/ε; a Harnack-type inequality (Theorem 3.1) with explicit supersolutions and subsolutions built from distance to a large ball gives these graphs a universal Hölder modulus. Their limits solve the degenerate linearized problem ∆φ + s φ_n/x_n = 0 in B_1^+, s=2(κ−1)∈(0,2), with an unconventional boundary condition on B_1′, and known $C^{{1,σ}}$ estimates for this problem drive the improvement-of-flatness iteration (Lemma 4.1) that yields Theorem 1.7. Analyticity for minimizers then follows by invoking the partial hodograph–Legendre transformation from [9], whose validity the paper asserts for all κ>1.","core_discovery":"The paper's central claim is that the singular regime 0<p<1 of the system ∆u=|u|^{p−2}u χ_{{|u|>0}} behaves like the previously studied range 1≤p<2: energy minimizers are $C^{{1,κ−1}}$, and once the solution is ε̄-flat—within ε̄ of the half-space solution u0(⟨x,e⟩)f in B1, with |u| vanishing where ⟨x,e⟩<−ε̄—the free boundary Γ(u)=∂{|u|>0}∩Ω is $C^{{1,α}}$ in B_{1/2}. For minimizers, Theorem 1.3 strengthens this to analyticity. The same theorem holds for viscosity solutions, and minimizers are shown to be viscosity solutions, so the two classes agree in the flat regime.","pith_inferences":["If the transferred hodograph–Legendre argument in [9] does not extend to 0<p<1, Theorem 1.3 would need a separate proof; checking the degenerate estimates for κ∈(1,2) would settle this.","The same flatness–Harnack–linearization pipeline may apply to other systems where no maximum principle holds but a one-phase model profile exists.","The linearized boundary condition in (4.8) resembles problems with fractional or obstacle structure, suggesting a connection between flat free boundaries and boundary Harnack estimates for degenerate operators.","A numerical study near p→0 (where κ→2) could test whether analyticity persists or whether the two exponents s=2(κ−1) and s=2κ change the boundary behaviour."],"forward_implications":["The missing range 0<p<1 now has optimal C^{1,κ−1} regularity for minimizers, matching the model one-dimensional profile.","Flat free boundaries of viscosity solutions are C^{1,α} with constants depending only on n, m, and p, so flatness alone controls the geometry.","For minimizers, flat free boundaries are analytic, so near flat points the boundary is a graph with a power-series expansion.","Since minimizers are viscosity solutions, all regularity statements transfer from the viscosity class to the variational class.","The Weiss-type monotonicity formula gives uniqueness of blow-ups and C^{1,γ} rescaling convergence, which serves as the platform for the analyticity argument."],"supporting_citations":[{"why":"Established the W^{2,q} and C^{1,α} theory for 1≤p<2 that the paper extends to 0<p<1.","marker":"[2]"},{"why":"Introduced the linearization technique for free boundary problems that the paper adapts to the system.","marker":"[4]"},{"why":"Supplies the C^{1,σ} estimate for the degenerate linearized equation ∆φ + s φ_n/x_n = 0 used in the improvement-of-flatness step.","marker":"[7]"},{"why":"Proved analyticity for 1≤p<2 via the partial hodograph–Legendre transformation, which the paper invokes for the analyticity claim.","marker":"[9]"},{"why":"Provided the Weiss-type monotonicity formula and the classification of homogeneous solutions used in Lemma 5.2.","marker":"[10]"},{"why":"Gave the variational almost-minimizer strategy that inspires the optimal regularity proof for 0<p<1.","marker":"[5]"},{"why":"Provides the improvement-of-flatness framework for vector-valued free boundary problems used in Section 4.","marker":"[8]"}],"fun_headline_variants":["Flat free boundaries in singular superlinear systems are smooth","From C^{1,α} to analyticity: flat free boundaries for p<1","Analytic flat free boundaries for singular superlinear minimizers","Minimizers regularize flat free boundaries in superlinear systems"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The analyticity claim (Theorem 1.3) rests on transferring the hodograph–Legendre argument of a previous proof written for 1≤p<2 to 0<p<1 'as long as κ>1'; the current paper does not verify the degenerate estimates, boundary conditions, or implicit-function step in the singular regime, so if that transfer fails the theorem is unsupported even though the $C^{{1,α}}$ result stands.","fun_headline_variants_meta":{"raw":{"variants":["Flat free boundaries in singular superlinear systems are smooth","From C^{1,α} to analyticity: flat free boundaries for p<1","Analytic flat free boundaries for singular superlinear minimizers","Minimizers regularize flat free boundaries in superlinear systems"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00077,"raw_usage":{"total_tokens":3349,"prompt_tokens":824,"completion_tokens":2525,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":440,"completion_tokens_details":{"reasoning_tokens":2451}},"tokens_in":440,"tokens_out":2525,"duration_ms":17396,"temperature":1.0,"reasoning_tokens":2451,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T11:37:02.323498+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check whether the degenerate linearized problem ∆φ + 2(κ−1) φ_n/x_n = 0 in B_1^+ with s∈(0,2) satisfies the same $C^{{1,σ}}$ boundary estimates as in the range 1≤p<2; a failure at some κ∈(1,2) would break the analyticity transfer. Alternatively, construct a flat viscosity solution whose free boundary is $C^{{1,α}}$ but not analytic, contradicting Theorem 1.3.","supporting_citations":[{"cited_title":"Andersson, H","cited_arxiv_id":null,"evidence_quote":"Established the W^{2,q} and C^{1,α} theory for 1≤p<2 that the paper extends to 0<p<1."},{"cited_title":"De Silva, Free boundary regularity for a problem with right hand side , Interfaces Free Bound","cited_arxiv_id":null,"evidence_quote":"Introduced the linearization technique for free boundary problems that the paper adapts to the system."},{"cited_title":"De Silva and O","cited_arxiv_id":null,"evidence_quote":"Supplies the C^{1,σ} estimate for the degenerate linearized equation ∆φ + s φ_n/x_n = 0 used in the improvement-of-flatness step."},{"cited_title":"Fotouhi and H","cited_arxiv_id":null,"evidence_quote":"Proved analyticity for 1≤p<2 via the partial hodograph–Legendre transformation, which the paper invokes for the analyticity claim."},{"cited_title":"Fotouhi, H","cited_arxiv_id":null,"evidence_quote":"Provided the Weiss-type monotonicity formula and the classification of homogeneous solutions used in Lemma 5.2."},{"cited_title":"De Silva, S","cited_arxiv_id":null,"evidence_quote":"Gave the variational almost-minimizer strategy that inspires the optimal regularity proof for 0<p<1."},{"cited_title":"De Silva and G","cited_arxiv_id":null,"evidence_quote":"Provides the improvement-of-flatness framework for vector-valued free boundary problems used in Section 4."}],"review_version":1}