{"id":"468b8451-8be4-415a-8a2f-c99025f9a486","arxiv_id":"2411.14534","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"In the unit ball, radial non-symmetric sources always break the pointwise fractional Talenti inequality near the boundary, but the reverse boundary inequality holds; nonradial sources supported in small balls can satisfy the forward boundary inequality.","lead":"This paper studies fractional versions of Talenti's comparison principle for Poisson equations driven by the fractional Laplacian in a ball. It proves that for radially symmetric sources the classical pointwise inequality fails universally unless the source is already symmetric, while a reverse boundary comparison always holds.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 2.4 proof has fixable gaps: missing boundary-trace hypothesis, a positive-part error in the level-set formula, and an N vs N^s typo; the main theorem likely stands but needs revision.","rationale":"The reader correctly identified Proposition 2.4 as the weakest link, and my read agrees that this is the point on which the later boundary comparisons rest. However, the concern is more specific than the reader stated: the proposition is under-specified because it lacks a boundary-regularity assumption, and its proof contains an incorrect level-set volume formula and a factor typo. These are genuine proof defects in a load-bearing lemma, but they are fixable and do not appear to threaten the truth of Theorem 1.1, since all applications satisfy the missing regularity and only the small-t asymptotic regime of the level sets is needed. I therefore recommend conditional acceptance: the manuscript should be revised to correct Proposition 2.4's statement and proof, after which the central argument is sound. The rest of the paper, including the layer-cake comparison in Section 3 and the nonradial estimates in Section 4, is rigorous and self-consistent.","tokens_in":13228,"tokens_out":30919,"duration_ms":283198,"concrete_test":"Re-derive the boundary limit in Proposition 2.4 for a two-valued angular profile ψ (e.g., N=2, s=1/2, ψ=1 on one half-sphere and 2 on the other), using the corrected positive-part level-set formula μ_h(t)=1/N ∫ (max{0, 1-(t/ψ(θ))^{1/s}})^N dσ. Verify that as |x|→1 the ratio h^*/δ^s tends to (1/ω_{N-1}∫ψ^{-1/s})^{-s}; also check that replacing the displayed 'N lim' by 'N^s lim' in (27) is the only way to obtain the stated constant. If both checks pass, Proposition 2.4 is valid for the regular functions used in Theorems 1.1 and 1.2, and the central claim stands.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The paper's central comparison is reduced, via Corollary 2.5, to Proposition 2.4. As stated, Prop 2.4 is not quite a well-posed theorem: it assumes only u/δ^s ∈ C(Ω\\B_r(0)) and ess inf u/δ^s > 0, but the proof immediately uses boundary traces ψ(ϑ) and max_{S^{N-1}} ψ, which require ψ to extend continuously to ∂Ω and be bounded. Every application (u_f and G_s(·,ξ)) has u/δ^s ∈ C^α(Ω) and positive, so this is repairable, not fatal. More concretely, the level-set formula μ_h(t) = 1/N ∫(1-(t/ψ(θ))^{1/s})^N dσ ignores the positive part and is false for t between essinf ψ and max ψ; equation (26) should be restricted to h^*(x) < essinf ψ, which is exactly the range needed for the |x|→1 limit. Finally, the displayed identity in (27) has a factor error: it should be N^s lim h^*(x)/(1-|x|^N)^s, not N lim. Without that exponent the harmonic-mean constant does not follow. These are proof defects in the load-bearing lemma, not counterexamples to Theorem 1.1.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies boundary versions of Talenti's comparison principle for fractional Dirichlet-Poisson problems in the unit ball Ω = B1(0) ⊂ R^N. For 0 < s < 1, it proves a reverse boundary Talenti inequality for radial nonnegative data: (u_f)^*/δ^s ≥ u_{f^*}/δ^s on ∂Ω, with equality only for f = f^*, and consequently that the classical pointwise inequality (u_f)^* ≤ u_{f^*} fails for every radial f that is not Schwarz symmetric. It also establishes a positive boundary Talenti inequality for nonnegative data supported in a sufficiently small ball away from the origin (Theorem 1.2), and, for s > 1, reverses the radial inequality (Theorem 5.2). The key structural tool is Proposition 2.4, an s-harmonic mean formula for the boundary value of the Schwarz symmetrization in terms of the fractional normal derivative, applied through Corollary 2.5 and in the proofs of Propositions 4.3 and Lemma 4.4. The arguments rely on explicit Green and Martin kernel formulas, layer-cake representations, and rearrangement properties.","tokens_in":13491,"tokens_out":9411,"duration_ms":83469,"significance":"If the central lemma is repaired, the results are significant: they show a universal failure of the pointwise Talenti inequality for radial nonsymmetric data in the fractional radial setting, in all dimensions, in contrast to the local case s = 1; they also provide sharp boundary comparison theorems in both directions depending on s. The paper exploits explicit formulas for the fractional Green and Martin kernels in the ball, and the layer-cake/rearrangement arguments are elegant and mostly rigorous. The main claims are falsifiable and well grounded in known results on fractional boundary regularity. However, the s-harmonic mean formula in Proposition 2.4, which is load-bearing for all later boundary comparisons, is not proved as stated; the proof has a missing hypothesis and two technical errors. These are repairable without changing the main theorems, because all applications satisfy the needed regularity and because the asymptotic range used for the boundary limit is exactly the range where the level-set formula is valid.","major_comments":[{"comment":"The stated hypotheses (u/δ^s ∈ C(Ω \\ B_r(0)) and ess inf u/δ^s > 0) do not justify the proof's immediate use of the boundary traces ψ(ϑ) and the quantity max_{S^{N-1}} ψ; the function ψ is defined only on Ω, not on the boundary. The proposition should be restated with the additional assumption that u/δ^s extends to a continuous positive function on the closure Ω, or at least to a continuous function on an exterior collar with boundary values. All applications in Corollary 2.5, Lemma 4.4, and Proposition 4.3 satisfy this via fractional boundary regularity and Hopf's lemma, so the gap is local but the statement as written is not well-posed.","section":"Section 2, Proposition 2.4"},{"comment":"The formula μ_h(t) = (1/N) ∫_{S^{N-1}} (1 - (t/ψ(θ))^{1/s})^N dσ and the implicit equation (26) are only valid for t < essinf ψ; for t between essinf ψ and max ψ the integrand is negative on the set where ψ(θ) < t, and the displayed identity is false unless a positive part is included. Since the subsequent limit |x| → 1 only uses values of h^*(x) that tend to 0, the restriction to the range t < essinf ψ is sufficient, but the proof should state this qualification explicitly.","section":"Section 2, proof of Proposition 2.4, level-set formula"},{"comment":"The displayed chain of equalities contains a factor error: the second equality should be N^s lim_{|x|→1} h^*(x)/(1-|x|^N)^s, not N lim. Restoring the exponent s, together with the Taylor expansion from (26), yields the stated final constant; without it the intermediate identity is inconsistent with the preceding line. This is a typographical error in a load-bearing displayed computation and must be corrected.","section":"Section 2, Eq. (27)"}],"minor_comments":[{"comment":"The word 'universial' should be 'universal'.","section":"Abstract"},{"comment":"The final sentence of the proof says 'on Ω' where the claim (37) is on ∂Ω; this should read 'on ∂Ω'.","section":"Section 4, Lemma 4.4 proof"},{"comment":"The proof refers to 'Lemma 2.4' when invoking the s-harmonic mean formula; the reference should be to Proposition 2.4.","section":"Section 4, Lemma 4.4 proof"},{"comment":"The first sentence says 'The proof is exactly the same as the proof of Proposition 5.5'; this should refer to Proposition 4.3.","section":"Section 5, Proposition 5.5 proof"},{"comment":"In the statement of Theorem 5.3, the condition (43) contains '1-|x|' in the denominator of the right-hand side; this should be '1-|ξ|' as in the analogous condition (13) of Theorem 1.2. The variable x is otherwise not defined in the theorem statement.","section":"Section 5, Theorem 5.3"}],"recommendation":"major_revision","confidential_remarks":"The main results are novel and appear correct, but the central Proposition 2.4 is not proved under its stated hypotheses and contains two technical errors in the displayed formulas. These are fixable without changing the theorems, and all applications satisfy the needed extra regularity. I recommend major revision rather than rejection: the authors should rewrite Proposition 2.4 with a correct hypothesis and a corrected proof, and fix the minor typographical issues. The referee report of the reader was somewhat generous; the proof gaps in the key lemma are real, but they do not undermine the overall claims once repaired."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know. First, the main result is substantial and likely correct: for radial nonnegative data in the unit ball, the fractional boundary Talenti inequality fails in every dimension, and the reverse inequality holds, with equality only for f=f*. This is a genuinely new phenomenon, distinct from the local case and from the one-dimensional counterexamples in Ferone–Volzone. The s>1 reversal is also new and interesting. Second, the proof's load-bearing lemma, Proposition 2.4, has gaps that need fixing, though they look repairable.\n\nWhat is good: the paper uses explicit kernel formulas and layer-cake arguments, with no circularity. Lemma 2.3, the boundary derivative formula for radial f, is clean and useful. The Martin kernel comparison in Proposition 4.3 is a nice byproduct. The theorems are stated carefully, with hypotheses that match the applications.\n\nSoft spots: Proposition 2.4 is the weak point. As stated, its hypotheses do not imply the existence of a boundary trace ψ on S^{N-1}, but every application has u/δ^s ∈ C(Ω), so a trace exists—this is a hypothesis fix, not a change of result. The level-set formula for μ_h(t) is written without a positive part, so it is false for t larger than the essential infimum of ψ; the limit |x|→1 only needs small t, so the argument can be restricted to that range. And equation (27) has a typo: the factor should be N^s, not N; as written the harmonic-mean constant does not follow. None of these undermine Theorem 1.1, but the proof of the lemma is not fully correct as printed.\n\nBottom line: this is a good paper that deserves a serious referee. The referee should ask for a corrected and expanded proof of Proposition 2.4 and a careful pass for similar typos. After that revision, it should be published. I would bring it to a reading group and, once the revision is out, cite it.","headline":"A solid, novel symmetrization paper whose main theorem likely stands, but the key technical lemma needs a repair pass before publication.","tokens_in":14009,"tokens_out":4583,"would_cite":true,"duration_ms":38787,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35R11","35B06","26D15","35J25"],"pacs":[],"model":"deepseek-v4-flash","headline":"For fractional Laplacian Dirichlet–Poisson problems in the unit ball, the pointwise Talenti comparison fails universally for nonsymmetric radial sources, and the boundary inequality is reversed.","keywords":["fractional Laplacian","Talenti comparison principle","Schwarz symmetrization","fractional normal derivative","Martin kernel","unit ball","radial functions","boundary Talenti inequality"],"falsifier":"Construct a non-radial positive function $u$ on $B_1(0)$ with $u/\\delta^s$ continuous near the boundary and strictly positive, for example $u(x) = (1-|x|)^s \\psi(x/|x|)$ with a nonconstant smooth $\\psi$, and numerically compare the boundary value of $u^*/\\delta^s$ with the right-hand side of formula (25); any disagreement beyond rounding error would disprove Proposition 2.4 and collapse the proof of Theorem 1.1.","tokens_in":13027,"feed_emoji":"","tokens_out":9345,"duration_ms":82062,"temperature":0.7,"pith_summary":"The paper asks whether the classical pointwise Talenti comparison principle—symmetrizing the source cannot make the solution any smaller—survives for fractional Dirichlet–Poisson problems in the unit ball. It proves that for $s \\in (0,1)$ it does not: for every radial nonnegative source $f$ that is not already Schwarz symmetric, the symmetrized solution $(u_f)^*$ is strictly larger than $u_{f^*}$ throughout a neighborhood of the boundary, while the boundary fractional normal derivatives satisfy the reverse inequality, with equality only for $f = f^*$. It also proves that for nonradial sources concentrated in a sufficiently small ball inside the ball, the usual boundary Talenti inequality does hold. This matters because it shows the fractional setting $s \\in (0,1)$ behaves fundamentally differently from the classical Laplacian, where radial data give boundary equality automatically. The paper notes in Remark 5.4 that it leaves open whether the boundary Talenti inequality holds for arbitrary nonradial sources when $s \\in (1,N]$, and it has no result for $s > N$.","feed_headline":"Talenti's pointwise bound fails for all nonsymmetric radial sources","feed_subtitle":"In a fractional Poisson ball, symmetrizing the source reverses the boundary comparison in every dimension.","key_machinery":"The load-bearing object is the boundary mean formula of Proposition 2.4: for a nonnegative $u$ with $u/\\delta^s$ continuous near the boundary and strictly positive, the boundary value of its Schwarz symmetrization is\n$$\\frac{u^*}{\\delta^s} = \\left(\\frac{1}{\\omega_{N-1}}\\int_{$S^{{N-1}}$} \\left(\\frac{u}{\\delta^s}(\\vartheta)\\right)^{-1/s} d\\$\\sigma$(\\vartheta)\\right)^{-s} \\quad \\text{on } \\partial\\$\\Omega$.$$\nFor radial $f$, the solution $u_f$ is radial, so $(u_f)^* = u_f$, and Lemma 2.3 gives $u_f/\\delta^s$ as a constant determined by the weighted integral $\\int_\\Omega f(y)(1-|y|^2)^{s-1}\\,dy$. A layer-cake decomposition of $f - f^*$ then leaves the strictly monotone kernel $k_{N,s}(r) = (2\\kappa_{N,s}\\omega_{N-1}/s)(1-r^2)^{s-1}$, whose monotonicity for $s<1$ (and reversal for $s>1$) decides the direction of the boundary inequality; the nonradial case is handled by comparing the same harmonic mean against the Martin kernel bounds in Lemma 4.4.","core_discovery":"The central claim is Theorem 1.1: in $\\Omega = B_1(0) \\subset \\mathbb{R}^N$ with $s \\in (0,1)$, for every radial nonnegative $f \\in L^\\infty(\\Omega)$ one has $(u_f)^*/\\delta^s \\geq u_{f^*}/\\delta^s$ on $\\partial\\Omega$, with equality if and only if $f = f^*$; consequently, whenever $f$ is radial but not symmetric, $u_{f^*} < (u_f)^*$ in $\\Omega \\setminus B_r(0)$ for some $r \\in (0,1)$, so the classical pointwise Talenti inequality fails. A companion result (Theorem 1.2) gives the opposite boundary inequality for nonradial sources supported in a small ball $B_\\rho(\\xi) \\subset \\Omega$, provided $\\rho$ satisfies condition (13). The proofs show that all boundary comparisons reduce to comparing a single harmonic-mean quantity for the symmetrized profile with a weighted $L^1$ norm of the source, and the paper extends the radial comparison to $s > 1$, where the inequality reverses.","pith_inferences":["The paper does not pursue the direction of the boundary inequality for general nonradial $f$ when $s \\in (0,1)$; as a testable consequence of its mean formula, one would expect the boundary Talenti inequality (12) to hold only when the source is sufficiently concentrated, in the sense that the ratio of the harmonic mean to the weighted norm of the Martin kernel stays below 1.","The same layer-cake argument with the kernel $k_{N,s}$ should extend to other boundary-value problems with explicit Green functions in balls, such as fractional heat or Schrödinger operators, where the sign of $s-1$ in the monotonicity of the boundary kernel would again decide the direction of the comparison; this is an extension the paper does not mention.","The equality case $f = f^*$ in Theorem 1.1 suggests that rearrangement inequalities of Talenti type should be formulated at the level of boundary data rather than pointwise in the interior, since the boundary value of $u/\\delta^s$ for radial solutions is not determined by the total mass of $f$ but by its rearrangement-invariant weighted integral."],"forward_implications":["For $s \\in (0,1)$ the pointwise Talenti inequality cannot hold for radial sources unless the source is Schwarz symmetric; symmetrization is not a valid pointwise comparison tool for fractional Poisson problems in balls.","The fractional normal derivative of the symmetrized-problem solution is always the smaller one for radial data, reversing the classical boundary-derivative order from the local case.","For nonradial sources concentrated in a sufficiently small ball inside $\\Omega$, the boundary Talenti inequality (12) does hold strictly, so the direction of the boundary comparison depends on where the source is located.","For $s > 1$ the inequality reverses: for radial $f$, $(u_f)^*/\\delta^s \\leq u_{f^*}/\\delta^s$ on the boundary, so $s = 1$ is the exact threshold between the two regimes.","A Green-function consequence is that $G(\\cdot,\\xi)^*/\\delta^s < G(\\cdot,0)/\\delta^s$ on $\\partial\\Omega$ for every $\\xi \\neq 0$, making the boundary Talenti inequality true for point sources at any nonzero location."],"supporting_citations":[{"why":"Supplies the one-dimensional counterexamples and the direct symmetrization framework for fractional elliptic problems that the paper extends to all dimensions.","marker":"[5]"},{"why":"States the classical pointwise Talenti inequality whose fractional failure is the paper's main target.","marker":"[10]"},{"why":"Gives the explicit Green function formula used to derive the fractional Martin kernel and the boundary integral representations.","marker":"[4]"},{"why":"Provides the explicit Martin kernel formula and the positivity and regularity results needed for the boundary representation.","marker":"[2]"},{"why":"Yields the fractional boundary regularity needed to define and evaluate $u_f/\\delta^s$ on the boundary.","marker":"[9]"},{"why":"Supplies the fractional strong maximum principle and Hopf lemma used to ensure $u_f/\\delta^s$ is strictly positive.","marker":"[8]"}],"fun_headline_variants":["Fractional Talenti bound fails for asymmetric radial sources","Universal failure of pointwise Talenti in fractional balls","Boundary Talenti flips for non-symmetric radial f","Symmetrization reverses Talenti in fractional Poisson balls","No pointwise Talenti for asymmetric radial sources in B1"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole boundary comparison rests on Proposition 2.4: the claim that the boundary value of the symmetrized quotient $u^*/\\delta^s$ is the $(-1/s)$-mean of the boundary values of $u/\\delta^s$; if that formula fails for some positive $u$ with the stated regularity, the sign conclusions near the boundary do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Fractional Talenti bound fails for asymmetric radial sources","Universal failure of pointwise Talenti in fractional balls","Boundary Talenti flips for non-symmetric radial f","Symmetrization reverses Talenti in fractional Poisson balls","No pointwise Talenti for asymmetric radial sources in B1"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001309,"raw_usage":{"total_tokens":5307,"prompt_tokens":886,"completion_tokens":4421,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":502,"completion_tokens_details":{"reasoning_tokens":4340}},"tokens_in":502,"tokens_out":4421,"duration_ms":27818,"temperature":1.0,"reasoning_tokens":4340,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T15:10:03.638738+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a non-radial positive function $u$ on $B_1(0)$ with $u/\\delta^s$ continuous near the boundary and strictly positive, for example $u(x) = (1-|x|)^s \\psi(x/|x|)$ with a nonconstant smooth $\\psi$, and numerically compare the boundary value of $u^*/\\delta^s$ with the right-hand side of formula (25); any disagreement beyond rounding error would disprove Proposition 2.4 and collapse the proof of Theorem 1.1.","supporting_citations":[{"cited_title":"Symmetrization for f ractional elliptic problems: A direct approach","cited_arxiv_id":null,"evidence_quote":"Supplies the one-dimensional counterexamples and the direct symmetrization framework for fractional elliptic problems that the paper extends to all dimensions."},{"cited_title":"Elliptic equations and Rearrangemen ts","cited_arxiv_id":null,"evidence_quote":"States the classical pointwise Talenti inequality whose fractional failure is the paper's main target."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the explicit Green function formula used to derive the fractional Martin kernel and the boundary integral representations."},{"cited_title":"Gr een function and Martin kernel for higher-order fractional Laplacians in balls","cited_arxiv_id":null,"evidence_quote":"Provides the explicit Martin kernel formula and the positivity and regularity results needed for the boundary representation."},{"cited_title":"The Dirichlet proble m for the fractional Laplacian: Regularity up to the boundary","cited_arxiv_id":null,"evidence_quote":"Yields the fractional boundary regularity needed to define and evaluate $u_f/\\delta^s$ on the boundary."},{"cited_title":"Nonlocal elliptic equations in bounde d domains: a survey","cited_arxiv_id":null,"evidence_quote":"Supplies the fractional strong maximum principle and Hopf lemma used to ensure $u_f/\\delta^s$ is strictly positive."}],"review_version":1}