Pith. sign in

REVIEW 2 major objections 4 minor 37 references

Existence of minimizers for interaction energies with external potentials

T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For essentially convex interaction potentials, one test-density inequality guarantees a unique, compactly supported minimizer of the interaction-plus-external energy.

desk verdict Solid, genuinely new existence theory for interaction energies with external potentials; the main theorem is well-supported, but one load-bearing step depends on an unpublished preprint of the author. read the letter →

arxiv 2509.08761 v1 pith:3VGJXQBK submitted 2025-09-10 math.AP math.CA

Ruiwen Shu This is my paper · ORCID
classification math.APmath.CA MSC 49J4531B1535A15
keywords interactionenergyexternalpotentialRieszpotentialsessentiallyconvexheightfunctionalEuler-Lagrangeconditionexistenceofminimizersstrictlypositivedefinite
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper gives a sufficient and almost necessary condition for the existence of a minimizer of the interaction energy $E_{W,U}[\rho]=\tfrac{1}{2}\int\int W(x-y)\,d\rho(y)d\rho(x)+\int U(x)\,d\rho(x)$ over probability measures on $\mathbb{R}^d$ or on half-space-type domains. For a class of subharmonic potentials called essentially convex — $\Delta W>0$ away from zero, which includes the repulsive Riesz potentials $|x|^{-s}$ with $\max\{0,d-2\}

What carries the argument

The load-bearing object is the height functional $H_S[\rho]=\operatorname{ess\,inf}_{x\in S}V[\rho](x)$, with generated potential $V[\rho]=W\ast\rho+U$. The Euler-Lagrange inequalities of Lemma 1.5 — $V[\rho]\le C_0$ on $\operatorname{supp}\rho$ and $V[\rho]\ge C_0$ almost everywhere — are precisely the optimality conditions for maximizing $H_S$, so once $\sup_{\rho}H_S[\rho]<U_\infty$ guarantees a maximizer, Lemma 1.10 turns that maximizer into the unique energy minimizer. Lemma 4.1 converts the test-density condition $\sup_S(W\ast\rho_7+U)<U_\infty$ into this subcritical-height condition by building an auxiliary potential $U_7=-W\ast\rho_7$ on $\overline S$ and invoking strict positive definiteness. The decisive internal mechanism is Lemma 3.5, 'microscopic diffusion': replacing a small mass $\sigma$ by its uniform average over a ball of radius $\delta$ produces a mean-zero perturbation whose generated potential at distance $\ge3\delta$ increases by at least $\delta^2\inf\Delta W$; this is strictly positive exactly because $\Delta W>0$, and it forces the height maximizer's support into $\overline S$ and yields the almost-everywhere lower bound. Around this, Lemma 2.1 represents $W$ via the Newtonian kernel and $\Delta W$, yielding $\widehat W>0$ and hence strict positive definiteness (Lemma 1.14), which is the source of uniqueness; Lemma 4.3 handles curved half-spaces by mollifying and translating along the boundary using the modulus of continuity of $U$ and the boundary function $\Phi$.

What would settle it

Compute the derivative $d(W\ast\phi_t)/dt$ in Corollary 4.5 for a superharmonic power-law $W(x)=-|x|^b/b$ ($d\ge3$, $2-d<b<0$): the proof needs this derivative to be $\le -c<0$ on $1\le t\le2$, $|x|\le2$, because that is what makes $\sup_{B(0;2)}(W\ast\rho_7+\alpha U)<0$ while $E_{W,\alpha U}$ has no minimizer. If the derivative can vanish for some such $b$, the sharpness claim about $\Delta W>0$ is unsupported; and a single essentially convex example satisfying (1.29) whose energy infimum is not attained would refute Theorem 1.15 outright.

Watch

Extended reading notes

Core claim

The central result, Theorem 1.15, asserts: let $W$ satisfy (W0)(W1) and be essentially convex, i.e. $W\in C^2(\mathbb{R}^d\setminus\{0\})$, $\Delta W>0$ on $\mathbb{R}^d\setminus\{0\}$, with growth estimates (1.23)-(1.25); let $U$ be continuous with $\lim_{|x|\to\infty}U(x)=U_\infty\in\mathbb{R}$; and let $D$ be $\mathbb{R}^d$, a halfline in $d=1$, or a curved half-space $\{x_d\ge\Phi(\hat x)\}$ in $d=2$. If there exists a compactly supported locally integrable probability density $\rho_7\in M(D)$ with $\operatorname{supp}\rho_7=\overline{S}$ for some open set $S$ whose boundary has Lebesgue measure zero, with $W\ast\rho_7$ continuous and $\sup_S(W\ast\rho_7+U)<U_\infty$, then $E_{W,U}$ has a unique minimizer in $M(D)$, and this minimizer is compactly supported. Proposition 1.17 shows the hypothesis is almost necessary: any minimizer whose equilibrium constant $C_0$ satisfies $C_0<U_\infty$ and whose generated potential $W\ast\rho_8$ is continuous can be translated and mollified to produce a $\rho_7$ with the stated properties. Theorem 1.20 demonstrates that the hypothesis $\Delta W>0$ cannot simply be dropped: for $d\ge3$ and $W(x)=-|x|^b/b$ with $2-d<b<0$, there is a smooth radial $U$ with limit $0$ and a smooth radial $\rho_7$ supported in a ball such that $\sup_{B(0;R)}(W\ast\rho_7+U)<0$, yet $E_{W,U}$ has no minimizer.

Load-bearing premise

The load-bearing premise is that the interaction potential $W$ has a strictly positive Laplacian away from the origin, which the paper calls essential convexity; the proof's microscopic-diffusion step raises the generated potential only under that sign condition, and without it the same threshold condition can fail to produce a minimizer.

Editorial extensions

If this is right

  • For Riesz-type repulsive potentials $W(x)=|x|^{-s}$ with $0<s<d$, existence and uniqueness of a compactly supported minimizer in the presence of any continuous external potential with a finite limit are reduced to checking one explicit inequality on one test density.
  • Uniqueness is automatic whenever the minimizer exists, because essentially convex potentials are strictly positive definite; the external potential breaks translation invariance, so no additional convexity or symmetry assumptions are needed for uniqueness.
  • The sufficient condition is stable under small perturbations of $U$: since the inequality $\sup_S(W\ast\rho_7+U)<U_\infty$ is strict, it persists for any continuous perturbation of $U$ that is uniformly small, so the existence conclusion holds on an open set of external potentials.
  • For curved half-spaces in dimension two, the theorem covers boundaries given by a continuous profile $\Phi$, so mass concentration on the boundary is compatible with existence; the proof supplies the needed mollification-and-translation argument for such domains.
  • The complementary results broaden the toolbox: Theorem 1.4 gives a simple sufficient condition for general potentials satisfying only (W0) and (U0), and Theorem 1.1 improves the known no-external-potential existence theorem by removing the extra monotonicity assumption and keeping a uniform bound on the support diameter.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The height-functional equivalence suggests a general variational recipe: whenever the Euler-Lagrange inequality characterizes $E_{W,U}$ minimizers, one can try to maximize $\operatorname{ess\,inf}V[\rho]$ instead; the comparison argument of Lemma 4.1 should carry over to kernels that are only conditionally strictly positive definite, not necessarily SPD, so long as a locally integrable test densit
  • The microscopic-diffusion estimate is quantitative: the gain in the generated potential away from a perturbed mass is at least $\delta^2\inf\Delta W$ over a relevant annulus. That explicit lower bound could be used to prove stability estimates for minimizers under perturbations of $W$ or $U$, or to design numerical schemes that exploit such local rearrangements.
  • The paper leaves the equal-sign case $C_0=U_\infty$ open. A natural next step is to decide whether mass can escape along level sets of $V$ in that critical case; if not, the 'almost necessary' statement in Proposition 1.17 could be upgraded to a full necessary-and-sufficient characterization.
  • The superharmonic counterexample in Theorem 1.20 uses pure power-laws with $2-d<b<0$; a testable extension is to add a small essentially convex component to such a $W$ and ask how large the convex component must be before the threshold condition again guarantees existence, which would quantify how much positivity of $\Delta W$ is needed.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper studies the existence and uniqueness of minimizers of the interaction energy E_{W,U} with an external potential on the space of probability measures. The main result, Theorem 1.15, gives a sufficient condition for existence and uniqueness when W is 'essentially convex' (ΔW>0 on R^d\{0} with appropriate growth estimates): if there is a compactly supported probability density ρ7 whose generated potential W*ρ7+U has supremum on its support strictly below U∞, then E_{W,U} has a unique compactly supported minimizer on R^d or on certain half-space-type domains. The proof introduces a height functional, proves the existence of its maximizer under a subcritical condition, derives an Euler-Lagrange equation for maximizers via a 'microscopic diffusion' operation that uses ΔW>0, and then shows that the maximizer satisfies the sufficient Euler-Lagrange condition for the energy minimizer. The paper also proves an 'almost necessary' converse (Proposition 1.17), a counterexample for superharmonic potentials (Theorem 1.20), a simple sufficient condition for general potentials (Theorem 1.4), and an improvement of the known existence result without external potentials (Theorem 1.1).

Significance. If the main result is correct, it provides a clean and essentially sharp condition for existence of minimizers for a natural class of singular repulsive interaction potentials, including Riesz potentials and anisotropic analogues, and it is a notable advance over previous sufficient conditions. The height-functional method and the microscopic-diffusion comparison are interesting technical contributions. The paper is largely self-contained for its main analytic estimates: Lemma 2.1 gives an explicit representation of essentially convex potentials via their Laplacian, and the proofs of Lemmas 3.4 and 3.5 are complete. A significant caveat is that key Fourier-representation results used in Lemma 1.14 and Lemma 4.4 are cited from the author's unpublished preprint [Shua]; those results are load-bearing for the uniqueness and Euler-Lagrange sufficiency, so the reader cannot fully verify the proof without access to that preprint.

major comments (2)
  1. [Section 2, proof of Lemma 1.14] The conclusion that essentially convex potentials are SPD depends on [Shua, Theorem 3.4] for the Fourier representation (2.36) and on [Shua, Theorem 3.12] for the reduction from general finite-energy signed measures to compactly supported ones. Neither theorem is stated in the present paper, so the hypotheses cannot be checked; in particular, Ŵ is only locally integrable and not integrable at infinity, and it is not clear from the text that the definition of 'Fourier representable at level 0' in [Shua] applies to this class. Since Lemma 1.14 is used to obtain uniqueness and to justify Lemma 1.10, this is a load-bearing dependency. Please either state these theorems with full hypotheses or include self-contained proofs in an appendix.
  2. [Section 4, Lemma 4.4] The proof of the non-existence criterion invokes [Shua, Theorems 3.4 and 3.10] to justify the Fourier representation of the energy along linear interpolations and the finiteness of the cross-energy. As in Lemma 1.14, this makes the counterexample of Theorem 1.20 depend on an unpublished preprint. For the particular Riesz-type potential in Theorem 1.20 the Fourier representation is classical and can be proved directly; the manuscript should either provide such a proof or quote the precise statement used.
minor comments (4)
  1. [Lemma 4.3] In the proof, 'Since U is continuous in a neighborhood of S' uses the letter S without defining it in this lemma; it should be 'a neighborhood of supp ρ1' (or of the domain D).
  2. [Abstract] The word 'complimentary' in the abstract should be 'complementary'.
  3. [References] The reference [CCP15] contains a duplicated title fragment: 'Existence of compactly supported global minimisers for the interaction existence of compactly supported global minimisers for the interaction energy.' This should be corrected.
  4. [Section 1.4] The sentence 'This idea was first introduced in the author's work with Wang [SW, Lemma 2.4] in a one-dimensional setting' is clear, but the phrase 'in proof of Theorem 3.3' earlier in the paragraph is grammatically awkward; consider rewording.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the derivation is self-contained, with the author's self-citations serving as general external lemmas rather than as restatements of the target result.

full rationale

Walking the derivation chain: Lemma 2.1 proves an explicit Newtonian/Fourier representation of essentially convex potentials from the growth conditions and the sign of Delta W; this is a real computation, not an assumed conclusion. Lemma 1.14 then applies [Shua, Theorems 3.4 and 3.12] to convert the locally integrable, strictly positive Fourier transform (obtained from the paper's own formula (2.3) together with Delta W > 0) into strict positive definiteness. Those cited theorems are general Fourier-representability lemmas; they do not restate the paper's target. Essential convexity is not defined as SPD, and Delta W > 0 does not automatically imply SPD without the Fourier argument, so this step is not circular. The height-functional comparison in Lemma 4.1 proves inequality (4.1) from the Euler-Lagrange conditions and CSPD, without assuming the threshold condition (1.29). Theorem 3.3 uses Delta W > 0 in a different way through the microscopic-diffusion Lemma 3.5, and Theorem 1.20 shows that when Delta W < 0 the same threshold condition fails to guarantee existence, confirming that Delta W > 0 is not secretly equivalent to the main conclusion. No equation is identified with an input by construction, and no fitted parameter is relabeled as a prediction. The only caveat is that the proof relies on the author's unpublished preprint [Shua] for two general lemmas; that is a verification and reproducibility concern, not circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No numerical constants are fitted to data. The auxiliary measure rho7 is a theorem hypothesis, not an invented object. Several cited theorems originate in the author's own preprints, but the main new lemmas are proved in the text.

assumptions (6)
  • standard math Fourier representation of interaction energy as 1/2 integral of W_hat times |mu_hat|^2 for compactly supported signed measures, imported from [Shua, Theorem 3.4].
    Used in Lemma 1.14 and Lemma 4.4. The paper proves the explicit form of W_hat in Lemma 2.1 but imports the representation identity from the author's preprint.
  • domain assumption Existence of an auxiliary measure rho7 with supp rho7 = closure S, W * rho7 continuous, and sup_S V[rho7] < U_infinity.
    This is the threshold hypothesis of Theorem 1.15. The paper argues it is almost necessary through Proposition 1.17, up to equality and regularity issues.
  • domain assumption Essential convexity of W: Delta W > 0 on R^d \ {0} together with estimates (1.23)-(1.25).
    The entire microscopic diffusion argument in Lemma 3.5 and Theorem 3.3 rests on positivity of the Laplacian.
  • domain assumption W >= 0 and lim_{|x| to infinity} W(x) = 0.
    Used in Theorem 3.2 and Theorem 3.3 to control the generated potential at infinity and to guarantee mass cannot escape without lowering the height.
  • domain assumption For curved half-spaces, D is a half-line in d=1 or a graph domain with continuous Phi in d=2.
    Lemma 4.3 uses continuity and a translation argument that the paper states for these dimensions; this restricts the scope of Theorem 1.15.
  • standard math Background lemmas from [CCP15, Lemmas 2.2 and 2.6] on minimizers in large balls.
    Section 5.2 uses these to prove the improved version of Theorem 1.1 and the compact-support estimate.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Existence of minimizers for interaction energies with external potentials." pith.science (2026). https://pith.science/paper/3VGJXQBK

@misc{pith2026250908761,
  author       = {Pith},
  title        = {Pith review of: Existence of minimizers for interaction energies with external potentials},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3VGJXQBK}},
  note         = {Machine review of arXiv:2509.08761}
}
abstract

In this paper we study the existence of minimizers for interaction energies with the presence of external potentials. We consider a class of subharmonic interaction potentials, which include the Riesz potentials $|{\bf x}|^{-s},\,\max\{0,d-2\}<s<d$ and its anisotropic counterparts. The underlying space is taken as $\mathbb{R}^d$ or a half-space with possibly curved boundary. We give a sufficient and almost necessary condition for the existence of minimizers, as well as the uniqueness of minimizers. The proof is based on the observation that the Euler-Lagrange condition for the energy minimizer is almost the same as that for the maximizer of the height functional, defined as the essential infimum of the generated potential. We also give two complimentary results: a simple sufficient condition for the existence of minimizers for general interaction/external potentials, and a slight improvement to the known result on the existence of minimizers without external potentials.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

37 extracted references · 14 canonical work pages

  1. [1]

    Balagu \'e , J

    D. Balagu \'e , J. A. Carrillo, T. Laurent, and G. Raoul. Dimensionality of local minimizers of the interaction energy. Archive for Rational Mechanics and Analysis , 209(3):1055--1088, 2013

    2013

  2. [2]

    Balagu \'e , J

    D. Balagu \'e , J. A. Carrillo, T. Laurent, and G. Raoul. Nonlocal interactions by repulsive--attractive potentials: Radial ins/stability. Physica D , 260:5--25, 2013

    2013

  3. [3]

    S. V. Borodachov, D. P. Hardin, and E. B. Saff. Discrete energy on rectifiable sets . Springer, 2019

    work page 2019

  4. [4]

    A. J. Bernoff and C. M. Topaz. A primer of swarm equilibria. SIAM J. Applied Dynamical Systems , 10(1):212--250, 2011

    work page 2011

  5. [5]

    J. A. Ca \ n izo, J. A. Carrillo, and F. S. Patacchini. Existence of compactly supported global minimisers for the interaction existence of compactly supported global minimisers for the interaction energy. Arch. Ration. Mech. Anal. , 217(3):1197--1217, 2015

    2015

  6. [6]

    J. A. Carrillo, M. G. Delgadino, and A. Mellet. Regularity of local minimizers of the interaction energy via obstacle problems. Comm. Math. Phys. , 343(3):747--781, 2016

    2016

  7. [7]

    Choksi, R

    R. Choksi, R. C. Fetecau, and I. Topaloglu. On minimizers of interaction functionals with competing attractive and repulsive potentials. Ann. IHP , 32:1283--1305, 2015

    2015

  8. [8]

    J. A. Carrillo and Y. Huang. Explicit equilibrium solutions for the aggregation equation with power-law potentials. Kinetic and Related Models , 10(1), 2017

    2017

Show all 37 references
  1. [9]

    J. A. Carrillo, J. Mateu, M. G. Mora, L. Rondi, L. Scardia, and J. Verdera. The ellipse law: K irchhoff meets dislocations. Commun. Math. Phys. , 373:507--524, 2020

    2020

  2. [10]

    J. A. Carrillo, J. Mateu, M. G. Mora, L. Rondi, L. Scardia, and J. Verdera. The equilibrium measure for an anisotropic nonlocal energy. Calc. Var. Partial Differential Equations , 60:109, 2021

    2021

  3. [11]

    Chafa\"i, R

    D. Chafa\"i, R. W. Matzke, E. B. Saff, M. Q. H. Vu, and R. S. Womersley. Riesz energy with a radial external field: When is the equilibrium support a sphere. Potential Analysis , 2024

    2024

  4. [12]

    J. A. Carrillo and R. Shu. From radial symmetry to fractal behavior of aggregation equilibria for repulsive-attractive potentials. Calculus of Variations and Partial Differential Equations , 62(1):28, 2023

    2023

  5. [13]

    J. A. Carrillo and R. Shu. Global minimizers of a large class of anisotropic attractive-repulsive interaction energies in 2 D . Comm. Pure Appl. Math. , 77(2):1353--1404, 2024

    2024

  6. [14]

    J. A. Carrillo and R. Shu. Minimizers of 3 D anisotropic interaction energies. Advances in Calculus of Variations , 17(3):775--803, 2024

    2024

  7. [15]

    Davies, T

    C. Davies, T. Lim, and R. J. McCann. Classifying minimum energy states for interacting particles: spherical shells. SIAM J. Appl. Math. , 82(4):1520--1536, 2022

    2022

  8. [16]

    Davies, T

    C. Davies, T. Lim, and R. J. McCann. Classifying minimum energy states for interacting particles: Regular simplices. Comm. Math. Phys. , 399(2):577--598, 2023

    2023

  9. [17]

    P. D. Dragnev, R. Orive, E. B. Saff, and F. Wielonsky. Riesz equilibrium on a ball in the external field of a point charge. preprint, arXiv:2501.01208

    arXiv

  10. [18]

    P. D. Dragnev, R. Orive, E. B. Saff, and F. Wielonsky. Riesz energy problems with external fields and related theory. Constructive Approximation , 57:1--43, 2023

    2023

  11. [19]

    R. L. Frank and R. W. Matzke. Minimizers for an aggregation model with attactive-repulsive interaction. preprint, arXiv:2307.13769

    arXiv

  12. [20]

    R. L. Frank, J. Mateu, M. G. Mora, L. Rondi, L. Scardia, and J. Verdera. Explicit minimisers for anisotropic R iesz energies. preprint, arXiv:2504.11644

  13. [21]

    R. L. Frank. Minimizers for a one-dimensional interaction energy. Nonlinear Analysis , 216:112691, 2022

    2022

  14. [22]

    B. Fuglede. On the theory of potentials in locally compact spaces. Acta Mathematica , 103(3-4):129--215, 1960

    1960

  15. [23]

    O. Lopes. Uniqueness and radial symmetry of minimizers for a nonlocal variational problem. Commun. Pure Appl. Anal. , 18(5):2265--2282, 2019

    2019

  16. [24]

    Mateu, M

    J. Mateu, M. G. Mora, L. Rondi, L. Scardia, and J. Verdera. Explicit minimisers for anisotropic C oulomb energies in 3 D . Advances in Mathematics , 434:109333, 2023

    2023

  17. [25]

    Mateu, M

    J. Mateu, M. G. Mora, L. Rondi, L. Scardia, and J. Verdera. Stability of ellipses as the energy minimizers of perturbed C oulomb energies. SIAM J. Math. Anal. , 55(4):3650--3676, 2023

    2023

  18. [26]

    M. G. Mora, L. Rondi, and L. Scardia. The equilibrium measure for a nonlocal dislocation energy. Comm. Pure Appl. Math. , 72:136--158, 2019

    2019

  19. [27]

    R. Shu. Extended convexity and uniqueness of minimizers for interaction energies. preprint, arXiv:2503.09948

    arXiv

  20. [28]

    R. Shu. A family of explicit minimizers for interaction energies. preprint, arXiv:2501.14666

    arXiv

  21. [29]

    Simione, D

    R. Simione, D. Slep c ev, and I. Topaloglu. Existence of ground states of nonlocal interaction energies. J. Stat. Phys. , 159(4):972--986, 2015

    2015

  22. [30]

    E. B. Saff and V. Totik. Logarithmic potentials with external fields , volume 316. Springer Science & Business Media, 2013

    2013

  23. [31]

    Shu and E

    R. Shu and E. Tadmor. Newtonian repulsion and radial confinement: convergence towards steady state. Mathematical Models and Methods in Applied Sciences , pages 1--25, 2021

    2021

  24. [32]

    Shu and J

    R. Shu and J. Wang. The sharp E rd o s-- T ur \'a n inequality. arXiv preprint arXiv:2109.11006

    arXiv

  25. [33]

    N. Zorii. Inner R iesz balayage in minimum energy problems with external fields. preprint, arXiv:2306.12788

    arXiv

  26. [34]

    N. Zorii. On the solvability of the G auss variation problem. Computational Methods and Function Theory , 2:427--448, 2002

    2002

  27. [35]

    N. Zorii. Equilibrium potentials with external fields. Ukrainian Mathematical Journal , 55(9):1423--1444, 2003

    2003

  28. [36]

    N. Zorii. Equilibrium problems for infinite dimensional vector potentials with external fields. Potential Analysis , 38(2):397--432, 2013

    2013

  29. [37]

    N. Zorii. Minimum R iesz energy problems with external fields. J. Math. Anal. Appl. , 526(2):127235, 2023

    2023

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.