{"id":"b897c45a-a4f8-4237-8905-3309ba18151c","arxiv_id":"2501.01208","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper proves that for Riesz energy minimization on a segment in the field of a repulsive point charge, the equilibrium measure's support is a pair of symmetric intervals, and gives explicit densities for Coulomb and logarithmic cases.","lead":"This paper finds the exact distribution of charge on a ball (or a segment) when an outside point charge attracts or repels it, proving that strong repulsion splits the charge into two symmetric pieces on the segment. It combines signed equilibrium measures and iterated balayage to resolve a previously open support question.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the reader's flagged step in Proposition 6.6 is justifiable, since a positive finite-energy Riesz measure cannot be supported on a two-point set for 0<s<1.","rationale":"The reader's conditional verdict rests on a single questionable inference. That inference is actually valid: in Riesz potential theory with 0<s<1, atoms have infinite self-energy, so a finite-energy measure is atomless and cannot be supported on a two-point set. Since the proof establishes m(σ*)=m(σ)>0 and I(σ*)<∞, r*<1 follows. I found no other load-bearing concern. The iterative balayage construction is elaborate but internally consistent; Lemma 6.5 and Proposition 6.6 appear to work, and the application to the point-charge field via Lemma 3.3 is sound. Thus the central claim (Corollary 6.11) is not threatened by the cited step. Honest non-finding: no change to the verdict is needed; the paper's proof is rigorous modulo minor exposition.","tokens_in":21494,"tokens_out":20604,"duration_ms":189464,"concrete_test":"Compute I(μ) for μ=(δ_{-1}+δ_1)/2 with kernel |x-y|^{-s}, 0<s<1, using the standard double-integral definition; verify that the diagonal contributions at (-1,-1) and (1,1) are infinite, so no probability measure on a finite set has finite Riesz energy.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest-assumption asserts that 'I(σ*) < ∞' cannot imply r*<1 because a two-point set has finite Riesz energy. This is incorrect for the Riesz kernel |x-y|^{-s} with s>0: any measure with an atom has infinite energy because the diagonal contributes ∫∫_{x=y}|x-y|^{-s}dμ(x)dμ(y)=∞. A probability measure on {-1,1} necessarily has atoms, so its energy is infinite; equivalently, cap({-1,1})=0 for 0<s<1. Therefore, if σ* has finite energy and positive mass (which follows from m(σ*)=lim_k m(σ_k)=m(σ)>0 on the compact set I), its support cannot be contained in a finite set, so r*<1. The balayage onto K_{r*} is thus defined on a set of positive capacity. The proof would benefit from spelling this out explicitly, but the step is not a gap in the argument.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the weighted Riesz s-energy minimization problem on the closed unit ball B in R^d in the external field of a point charge at height y_{d+1} above the ball, for the Robin range of s. Using the signed equilibrium measure, the authors obtain complete results for attractive charges, for the Coulomb case s = d-2 (including logarithmic interaction), and for the logarithmic segment case. Their main new result is a proof of the one-dimensional version of the \"shell conjecture\": for 0 < s < 1 and a repulsive charge beyond a critical strength, the support of the equilibrium measure on [-1,1] is the symmetric two-interval set [-1,-r*] union [r*,1] for some 0 < r* < 1. The proof is based on an iterative balayage procedure adapted to handle mass loss characteristic of Riesz balayage.","tokens_in":21634,"tokens_out":24784,"duration_ms":198129,"significance":"If correct, the paper resolves a natural and long-standing open problem in one-dimensional Riesz potential theory: the structure of the support of the equilibrium measure in the presence of a repulsive point charge. The iterative balayage method with mass-loss correction is a technically novel contribution that may be useful in other multidimensional problems. The paper also gives explicit formulas in the attractive and Coulomb cases and carefully proves auxiliary results such as the real analyticity of balayage densities (Proposition 2.6). The derivations are detailed and the dependence on prior work is transparent.","major_comments":[],"minor_comments":[{"comment":"The inference \"I(σ*) < ∞, and thus r* < 1\" is terse. The concern that a two-point set could have finite Riesz energy for 0 < s < 1 is not correct: any measure with an atom has infinite Riesz energy, and if r* = 1 the support of σ* would be contained in {-1,1} with positive total mass, forcing atoms. The step is therefore valid, but it should be spelled out explicitly by noting that a positive measure of finite energy cannot be supported on a set of zero capacity (equivalently, cannot have atoms).","section":"Section 6, proof of Proposition 6.6, sentence after equation (6.5)"},{"comment":"The displayed inequality \"I(σ*) ≤ I(Bal(σ-, Kr*)) + I(Bal(σ+, Kr*)) + I(Bal(c*ω1, Kr*))\" is not generally valid for signed measures because the energy of a sum includes cross terms. The finiteness of I(σ*) follows instead from the fact that the balayage of each finite-energy positive component has finite energy, and the space of finite-energy measures is a Hilbert space. Please replace this inequality with a correct justification.","section":"Section 6, proof of Proposition 6.6, inequality for I(σ*)"},{"comment":"Theorem 6.9(iii) assumes that Q and v are of class C^1 on I. In the application to Q = γ U^{δ_y}, the density v = η'_{Q,I} has boundary singularities like (1-|x|^2)^{-α/2} at ±1, so the hypothesis as stated is not satisfied. The proof only requires local regularity in a neighborhood of the inner endpoint r*, so the assumption should be weakened accordingly.","section":"Theorem 6.9(iii) and its application in Corollary 6.11"},{"comment":"The remark that \"all the results obtained in this section hold true for the logarithmic kernel\" is potentially misleading for Lemma 6.5(2), where the strict inequality F(0) > m(σ) relies on mass loss specific to the Riesz case. The logarithmic case is already fully treated in Section 5, so this remark should be clarified or qualified.","section":"Introduction to Section 6, remark on logarithmic kernel"},{"comment":"In the bound following (6.4), the term \"cap(I)\" appears where one would expect the equilibrium constant W(I) (which equals 1/cap(I) in the Riesz normalization). The conclusion about convergence of the series Σ c_{σ_j} is unaffected, but the displayed formula should be corrected.","section":"Equation (6.4) and the following inequality"},{"comment":"After the substitution in the integral evaluation, the expression \"π/2 1 − c√c + 1\" contains a typographical error; it should be the valid evaluation of the integral, which leads to equation (5.10). Please correct this display.","section":"Proof of Theorem 5.3, displayed integral evaluation"},{"comment":"Proposition 5.2 is a significant external result (from [9]) that underlies the logarithmic segment analysis in Section 5. Since it is stated without proof and the paper is otherwise quite self-contained, a brief derivation or a more precise statement of the hypotheses would improve the exposition.","section":"Proposition 5.2"}],"recommendation":"minor_revision","confidential_remarks":"The paper is likely to be of interest to the potential theory and approximation theory community. The main novelty is concentrated in Section 6, where the iterative balayage method with mass-loss correction is introduced to prove the one-dimensional shell conjecture. The proof appears sound, but certain steps in Proposition 6.6 should be clarified in revision, particularly the justification that r* < 1 and the energy estimate for σ*. The paper relies extensively on the authors' own prior work, which is acceptable but should be kept in mind. Overall, I recommend minor revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is a serious paper, and the main theorem—the one-dimensional shell conjecture for Riesz kernels—appears to be correct. The reader's flagged step in Proposition 6.6 is not a gap. For the Riesz kernel |x-y|^{-s} with s>0, any measure with an atom has infinite energy, since the diagonal contributes a non-integrable singularity. So I(σ*) < ∞ already excludes support on a finite set like {-1,1}, and r* < 1 follows. The proof would be easier to read if that one sentence were spelled out, but the logic holds.\n\nWhat is genuinely new: Theorem 4.1 gives the full Coulomb classification for d≥2, including the mixed absolutely-continuous-plus-sphere measure at intermediate attractive charges. Theorem 5.3 is a clean, explicit two-cut density with the inner endpoint formula for the logarithmic segment. Corollary 6.11 settles the shell conjecture for d=1 for 0<s<1, which is the headline result. The adapted iterated balayage with mass loss is a real technical contribution, and the monotonicity lemmas in Section 6 are useful on their own.\n\nSofter spots, in proportion: Section 5 leans on Proposition 5.2 from Deift–Kriecherbauer–McLaughlin, so the explicit two-cut result is not self-contained, but importing a known theorem is legitimate. The attractive-charge part partly reworks earlier work of the authors, but that is not a defect. Remark 6.12 is explicitly a computational sketch, not a proof, and should not be judged as one. The density asymptotics at soft and hard endpoints match the known theory.\n\nThe paper is dense and builds on prior work by the same group, but the derivations are careful and the external citations are appropriate. It deserves a serious referee. I would send it out and ask only for the clarifying sentence in Proposition 6.6, plus maybe a short remark that finite-energy measures are atom-free, which would preempt the confusion the reader raised.","headline":"The one-dimensional shell conjecture proof is sound; the referee's flagged gap in Proposition 6.6 is not a real gap because finite Riesz energy rules out atoms.","tokens_in":22244,"tokens_out":1927,"would_cite":true,"duration_ms":20611,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["31A15","31C15"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that for a repulsive point charge above a segment, the Riesz equilibrium measure is supported on two symmetric intervals, settling the shell conjecture in one dimension.","keywords":["Riesz energy minimization","external field","equilibrium measure","balayage","signed equilibrium measure","shell conjecture","logarithmic potential"],"falsifier":"For a concrete choice such as $s=1/2$, $\\gamma=2$, and height $y_2=1$, compute the weighted equilibrium measure on $[-1,1]$ with field $Q(x)=\\gamma(|x|^2+y_2^2)^{-s/2}$ by numerical minimization of the Riesz energy; if the support is two separated intervals of positive length, the one-dimensional shell conjecture is confirmed in this case, while a two-point support would refute it. Separately, to test the proof gap, construct a symmetric signed measure $\\sigma$ for which the iterated balayage of Proposition 6.6 converges to a two-point measure; existence of such a $\\sigma$ would show that the asserted implication $I(\\sigma^*)<\\infty\\Rightarrow r^*<1$ is not valid.","tokens_in":21242,"feed_emoji":"⚡","tokens_out":10779,"duration_ms":86699,"temperature":0.7,"pith_summary":"The paper studies where charge concentrates on a ball when an external point charge above it repels or attracts the equilibrium measure. For an attractive charge, it gives the support and density of the minimizing measure; for a repulsive charge, it conjectures that the support is either the whole ball or a spherical shell. The main theorem proves this shell conjecture on a segment in one dimension, using an iterated balayage scheme adapted to the mass loss that Riesz balayage can produce. In the logarithmic case the inner endpoint of the two intervals is given by an explicit formula. A sympathetic reader would care because determining the support of a Riesz equilibrium measure is the central difficulty in these problems, and the one-dimensional result is the first proof of the shell conjecture in any dimension.","feed_headline":"Point charge splits equilibrium support on a segment","feed_subtitle":"Why care: it settles a long-standing conjecture in one dimension and gives explicit formulas for the gap.","key_machinery":"The machinery is the signed equilibrium measure $\\eta_{Q,\\Sigma}$, defined by $U^{\\eta_{Q,\\Sigma}}+Q\\equiv$ constant throughout $\\Sigma$, which exists and is unique under the paper's assumptions. Around it, the proof works with Riesz balayage $\\mathrm{Bal}(\\sigma,K)$, the unique positive measure on $K$ with the same potential on $K$ as $\\sigma$ up to the loss of mass given by $\\|\\mathrm{Bal}(\\sigma,K)\\| = \\mathrm{cap}(K)\\int U^\\sigma\\,d\\omega_K$. The iterative operator $J(\\sigma)=\\mathrm{Bal}(\\sigma,\\operatorname{supp}\\sigma_+)$ sweeps the negative part onto the positive part, and a modified version subtracts a multiple $c\\,\\omega_I$ of the unweighted equilibrium measure before each sweep to keep total mass fixed. A monotonicity lemma on the ratios of densities, proved via the explicit Kelvin-transform formula for the balayage of a point mass, guarantees the process converges to a positive measure with the equilibrium property.","core_discovery":"The central claim is that for the segment $I=[-1,1]$ with Riesz parameter $0<s<1$, the signed equilibrium measure $\\eta_{Q,I}$ associated with a repulsive charge has a density whose ratio to the unweighted equilibrium density increases with $|x|$. From this monotonicity, the paper builds an iterative balayage procedure that sweeps the negative parts of signed equilibrium measures onto their positive parts, compensating for mass loss by subtracting multiples of the equilibrium measure on $I$. The limit is a positive measure supported on $K_{r^*}=[-1,-r^*]\\cup[r^*,1]$ for some $0\\le r^*<1$, which is shown to be the desired equilibrium measure. In the logarithmic case $s=0$, the inner endpoint is computed explicitly as $\\tilde r = \\sqrt{\\gamma^2-(2\\gamma+1)y_2^2}/(1+\\gamma)$ and the density as $\\omega'_{Q,I}(x) = \\frac{1+\\gamma}{\\pi}\\frac{|x|\\sqrt{x^2-\\tilde r^2}}{(x^2+y_2^2)\\sqrt{1-x^2}}$ on $K_{\\tilde r}$, for $\\gamma>\\gamma_+ = y_2(\\sqrt{y_2^2+1}+y_2)$. The paper also establishes explicit equilibrium measures in the Coulomb case on balls of dimension $d\\ge2$.","pith_inferences":["The method likely extends to higher-dimensional balls only after a new monotonicity lemma is found, because the proof of the one-dimensional case exploits that a two-interval set is disconnected, whereas a spherical shell is connected.","The explicit logarithmic formulas give a benchmark for numerical schemes that compute Riesz or logarithmic equilibrium measures, since they provide a sharp, exactly solvable test case with a phase transition.","The modified balayage used here, which compensates mass loss by subtracting multiples of the equilibrium measure, may apply to other Riesz problems where balayage does not conserve mass, such as external fields with several point charges or in higher dimensions.","If the finite-energy assertion in the proof of Proposition 6.6 fails, the iterative limit could be a two-point measure, which would be a counterexample not to the theorem's conclusion but to the current proof; readers seeking a complete proof should rule out this degenerate case explicitly."],"forward_implications":["For a segment with $0<s<1$ and a repulsive charge $\\gamma>\\gamma_+$, the support of the equilibrium measure is exactly two symmetric intervals, so the shell conjecture holds in dimension one.","In the logarithmic case $s=0$, the critical charge $\\gamma_+$ and inner endpoint $\\tilde r$ are explicit, giving a complete description of the transition from a one-cut to a two-cut support on the segment.","For the Coulomb case on the ball in $d\\ge2$, the equilibrium measure is either a volume density on a smaller ball (for $\\gamma\\le\\tilde\\gamma$), a mixture of volume and surface measure (for $\\tilde\\gamma<\\gamma<0$), or the uniform surface measure (for $\\gamma\\ge0$).","For an attractive charge $\\gamma<\\gamma_-$, the support is a smaller ball or interval whose density vanishes on its boundary, whereas for $-1\\le\\gamma<0$ the support is the full conductor."],"supporting_citations":[{"why":"Supplies the iterative balayage method for logarithmic equilibrium problems on an interval, which Section 6 adapts to the Riesz setting.","marker":"[12]"},{"why":"Provides the signed equilibrium measure theory and the representation $\\eta_{Q,R}=-\\gamma\\,\\mathrm{Bal}(\\delta_y,B_R)+(1+\\gamma m_R)\\omega_R$ used throughout.","marker":"[10]"},{"why":"Gives the Riesz balayage existence, the mass-loss formula, the Kelvin transform lemma, and the superposition principle on which the sweeping procedure relies.","marker":"[14]"},{"why":"Establishes that equilibrium densities are real analytic in the interior and have the boundary behavior $M|x-x_0|^{-\\alpha/2}$, used in the monotonicity and growth arguments.","marker":"[24]"},{"why":"Supplies explicit formulas for unweighted Riesz equilibrium densities on balls and the Riesz energy of spheres, which appear in the explicit densities.","marker":"[4]"},{"why":"Gives the explicit balayage density on an interval used to write down the signed equilibrium density in the logarithmic case.","marker":"[1]"},{"why":"Provides the singular integral equation and rational-function formula that yield the explicit two-cut density and inner endpoint in the logarithmic case.","marker":"[9]"}],"fun_headline_variants":["Charged ball equilibrium splits into two intervals","Repulsive charge breaks support with explicit gap","Point charge above ball splits one-dimensional support","Iterated balayage settles support split for Riesz energy","Exact gap: point charge's effect on segment equilibrium"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof that the iterative balayage limit has inner radius $r^*<1$ rather than degenerating to the two-point set $\\{-1,1\\}$ relies on the assertion that the limiting measure has finite energy, which is stated without proof; since a two-point measure also has finite Riesz energy for $0<s<1$, finite energy alone does not force $r^*<1$.","fun_headline_variants_meta":{"raw":{"variants":["Charged ball equilibrium splits into two intervals","Repulsive charge breaks support with explicit gap","Point charge above ball splits one-dimensional support","Iterated balayage settles support split for Riesz energy","Exact gap: point charge's effect on segment equilibrium"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000211,"raw_usage":{"total_tokens":1446,"prompt_tokens":1009,"completion_tokens":437,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":625,"completion_tokens_details":{"reasoning_tokens":363}},"tokens_in":625,"tokens_out":437,"duration_ms":5015,"temperature":1.0,"reasoning_tokens":363,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T22:33:33.180863+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a concrete choice such as $s=1/2$, $\\gamma=2$, and height $y_2=1$, compute the weighted equilibrium measure on $[-1,1]$ with field $Q(x)=\\gamma(|x|^2+y_2^2)^{-s/2}$ by numerical minimization of the Riesz energy; if the support is two separated intervals of positive length, the one-dimensional shell conjecture is confirmed in this case, while a two-point support would refute it. Separately, to test the proof gap, construct a symmetric signed measure $\\sigma$ for which the iterated balayage of Proposition 6.6 converges to a two-point measure; existence of such a $\\sigma$ would show that the asserted implication $I(\\sigma^*)<\\infty\\Rightarrow r^*<1$ is not valid.","supporting_citations":[{"cited_title":"Kuijlaars and P","cited_arxiv_id":null,"evidence_quote":"Supplies the iterative balayage method for logarithmic equilibrium problems on an interval, which Section 6 adapts to the Riesz setting."},{"cited_title":"Dragnev, R","cited_arxiv_id":null,"evidence_quote":"Provides the signed equilibrium measure theory and the representation $\\eta_{Q,R}=-\\gamma\\,\\mathrm{Bal}(\\delta_y,B_R)+(1+\\gamma m_R)\\omega_R$ used throughout."},{"cited_title":"Landkof, Foundations of Modern Potential Theory, Grundlehren der mathema- tischen Wissenschaften 180","cited_arxiv_id":null,"evidence_quote":"Gives the Riesz balayage existence, the mass-loss formula, the Kelvin transform lemma, and the superposition principle on which the sweeping procedure relies."},{"cited_title":"Wallin, Regularity properties of the equilibrium distribution Ann","cited_arxiv_id":null,"evidence_quote":"Establishes that equilibrium densities are real analytic in the interior and have the boundary behavior $M|x-x_0|^{-\\alpha/2}$, used in the monotonicity and growth arguments."},{"cited_title":"Borodachov, D.P","cited_arxiv_id":null,"evidence_quote":"Supplies explicit formulas for unweighted Riesz equilibrium densities on balls and the Riesz energy of spheres, which appear in the explicit densities."},{"cited_title":"Benko, P","cited_arxiv_id":null,"evidence_quote":"Gives the explicit balayage density on an interval used to write down the signed equilibrium density in the logarithmic case."},{"cited_title":"Deift, T","cited_arxiv_id":null,"evidence_quote":"Provides the singular integral equation and rational-function formula that yield the explicit two-cut density and inner endpoint in the logarithmic case."}],"review_version":1}