Researcher profile

E. B. Saff

E. B. Saff contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
23works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

23 published item(s)

preprint2025arXiv

Universal polar dual pairs of spherical codes found in $E_8$ and $Λ_{24}$

We identify universal polar dual pairs of spherical codes $C$ and $D$ such that for a large class of potential functions $h$ the minima of the discrete $h$-potential of $C$ on the sphere occur at the points of $D$ and vice versa. Moreover, the minimal values of their normalized potentials are equal. These codes arise from the known sharp codes embedded in the even unimodular extremal lattices $E_8$ and $Λ_{24}$ (Leech lattice). This embedding allows us to use the lattices' properties to find new universal polar dual pairs. In the process we extensively utilize the interplay between the binary Golay codes and the Leech lattice. As a byproduct of our analysis, we identify a new universally optimal (in the sense of energy) code in the projective space $\mathbb{RP}^{21}$ with $1408$ points (lines). Furthermore, we extend the Delsarte-Goethals-Seidel definition of derived codes from their seminal $1977$ paper and generalize their Theorem 8.2 to show that if a $τ$-design is enclosed in $k\leq τ$ parallel hyperplanes, then each of the hyperplane's sub-code is a $(τ+1-k)$-design in the ambient subspace.

preprint2016arXiv

A minimum principle for potentials with application to Chebyshev constants

For "Riesz-like" kernels $K(x,y)=f(|x-y|)$ on $A\times A$, where $A$ is a compact $d$-regular set $A\subset \mathbb{R}^p$, we prove a minimum principle for potentials $U_K^μ=\int K(x,y)dμ(x)$, where $μ$ is a Borel measure supported on $A$. Setting $P_K(μ)=\inf_{y\in A}U^μ(y)$, the $K$-polarization of $μ$, the principle is used to show that if $\{ν_N\}$ is a sequence of measures on $A$ that converges in the weak-star sense to the measure $ν$, then $P_K(ν_N)\to P_K(ν)$ as $N\to \infty$. The continuous Chebyshev (polarization) problem concerns maximizing $P_K(μ)$ over all probability measures $μ$ supported on $A$, while the $N$-point discrete Chebyshev problem maximizes $P_K(μ)$ only over normalized counting measures for $N$-point multisets on $A$. We prove for such kernels and sets $A$, that if $\{ν_N\}$ is a sequence of $N$-point measures solving the discrete problem, then every weak-star limit measure of $ν_N$ as $N \to \infty$ is a solution to the continuous problem.

preprint2015arXiv

Minimum Riesz energy problems for a condenser with "touching plates"

Minimum Riesz energy problems in the presence of an external field are analyzed for a condenser with touching plates. We obtain sufficient and/or necessary conditions for the solvability of these problems in both the unconstrained and the constrained settings, investigate the properties of minimizers, and prove their uniqueness. Furthermore, characterization theorems in terms of variational inequalities for the weighted potentials are established. The results obtained are illustrated by several examples.

preprint2015arXiv

The covering radius of randomly distributed points on a manifold

We derive fundamental asymptotic results for the expected covering radius $ρ(X_N)$ for $N$ points that are randomly and independently distributed with respect to surface measure on a sphere as well as on a class of smooth manifolds. For the unit sphere $\mathbb{S}^d \subset \mathbb{R}^{d+1}$, we obtain the precise asymptotic that $\mathbb{E}ρ(X_N)[N/\log N]^{1/d}$ has limit $[(d+1)\upsilon_{d+1}/\upsilon_d]^{1/d}$ as $N \to \infty $, where $\upsilon_d$ is the volume of the $d$-dimensional unit ball. This proves a recent conjecture of Brauchart et al. as well as extends a result previously known only for the circle. Likewise we obtain precise asymptotics for the expected covering radius of $N$ points randomly distributed on a $d$-dimensional ball, a $d$-dimensional cube, as well as on a 3-dimensional polyhedron (where the points are independently distributed with respect to volume measure). More generally, we deduce upper and lower bounds for the expected covering radius of $N$ points that are randomly and independently distributed on a metric measure space, provided the measure satisfies certain regularity assumptions.

preprint2015arXiv

Universal lower bounds for potential energy of spherical codes

We derive and investigate lower bounds for the potential energy of finite spherical point sets (spherical codes). Our bounds are optimal in the following sense -- they cannot be improved by employing polynomials of the same or lower degrees in the Delsarte-Yudin method. However, improvements are sometimes possible and we provide a necessary and sufficient condition for the existence of such better bounds. All our bounds can be obtained in a unified manner that does not depend on the potential function, provided the potential is given by an absolutely monotone function of the inner product between pairs of points, and this is the reason for us to call them universal. We also establish a criterion for a given code of dimension $n$ and cardinality $N$ not to be LP-universally optimal, e.g. we show that two codes conjectured by Ballinger et al to be universally optimal are not LP-universally optimal.

preprint2015arXiv

Universal upper and lower bounds on energy of spherical designs

Linear programming (polynomial) techniques are used to obtain lower and upper bounds for the potential energy of spherical designs. This approach gives unified bounds that are valid for a large class of potential functions. Our lower bounds are optimal for absolutely monotone potentials in the sense that for the linear programming technique they cannot be improved by using polynomials of the same or lower degree. When additional information about the structure (upper and lower bounds for the inner products) of the designs is known, improvements on the bounds are obtained. Furthermore, we provide `test functions' for determining when the linear programming lower bounds for energy can be improved utilizing higher degree polynomials. We also provide some asymptotic results for these energy bounds.

preprint2014arXiv

Orthogonal polynomials for area-type measures and image recovery

Let $G$ be a finite union of disjoint and bounded Jordan domains in the complex plane, let $\mathcal{K}$ be a compact subset of $G$ and consider the set $G^\star$ obtained from $G$ by removing $\mathcal{K}$; i.e., $G^\star:=G\setminus \mathcal{K}$. We refer to $G$ as an archipelago and $G^\star$ as an archipelago with lakes. Denote by $\{p_n(G,z)\}_{n=0}^\infty$ and $\{p_n(G^\star,z)\}_{n=0}^\infty$, the sequences of the Bergman polynomials associated with $G$ and $G^\star$, respectively; that is, the orthonormal polynomials with respect to the area measure on $G$ and $G^\star$. The purpose of the paper is to show that $p_n(G,z)$ and $p_n(G^\star,z)$ have comparable asymptotic properties, thereby demonstrating that the asymptotic properties of the Bergman polynomials for $G^\star$ are determined by the boundary of $G$. As a consequence we can analyze certain asymptotic properties of $p_n(G^\star,z)$ by using the corresponding results for $p_n(G,z)$, which were obtained in a recent work by B. Gustafsson, M. Putinar, and two of the present authors. The results lead to a reconstruction algorithm for recovering the shape of an archipelago with lakes from a partial set of its complex moments.

preprint2014arXiv

Periodic Discrete Energy for Long-Range Potentials

We consider periodic energy problems in Euclidean space with a special emphasis on long-range potentials that cannot be defined through the usual infinite sum. One of our main results builds on more recent developments of Ewald summation to define the periodic energy corresponding to a large class of long-range potentials. Two particularly interesting examples are the logarithmic potential and the Riesz potential when the Riesz parameter is smaller than the dimension of the space. For these examples, we use analytic continuation methods to provide concise formulas for the periodic kernel in terms of the Epstein Hurwitz Zeta function. We apply our energy definition to deduce several properties of the minimal energy including the asymptotic order of growth and the distribution of points in energy minimizing configurations as the number of points becomes large. We conclude with some detailed calculations in the case of one dimension, which shows the utility of this approach.

preprint2013arXiv

Determining Singularities Using Row Sequences of Padé-orthogonal Approximants

Starting from the orthogonal polynomial expansion of a function $F$ corresponding to a finite positive Borel measure with infinite compact support, we study the asymptotic behavior of certain associated rational functions (Padé-orthogonal approximants). We obtain both direct and inverse results relating the convergence of the poles of the approximants and the singularities of $F.$ Thereby, we obtain analogues of the theorems of E. Fabry, R. de Montessus de Ballore, V.I. Buslaev, and S.P. Suetin.

preprint2013arXiv

Low complexity methods for discretizing manifolds via Riesz energy minimization

Let $A$ be a compact $d$-rectifiable set embedded in Euclidean space $\RR^p$, $d\le p$. For a given continuous distribution $σ(x)$ with respect to $d$-dimensional Hausdorff measure on $A$, our earlier results provided a method for generating $N$-point configurations on $A$ that have asymptotic distribution $σ(x)$ as $N\to \infty$; moreover such configurations are "quasi-uniform" in the sense that the ratio of the covering radius to the separation distance is bounded independent of $N$. The method is based upon minimizing the energy of $N$ particles constrained to $A$ interacting via a weighted power law potential $w(x,y)|x-y|^{-s}$, where $s>d$ is a fixed parameter and $w(x,y)=\left(σ(x)σ(y)\right)^{-({s}/{2d})}$. Here we show that one can generate points on $A$ with the above mentioned properties keeping in the energy sums only those pairs of points that are located at a distance of at most $r_N=C_N N^{-1/d}$ from each other, with $C_N$ being a positive sequence tending to infinity arbitrarily slowly. To do this we minimize the energy with respect to a varying truncated weight $v_N(x,y)=Φ\(\left|x-y\right|/r_N\)w(x,y)$, where $Φ:(0,\infty)\to [0,\infty)$ is a bounded function with $Φ(t)=0$, $t\geq 1$, and $\lim_{t\to 0^+}Φ(t)=1$. This reduces, under appropriate assumptions, the complexity of generating $N$ point `low energy' discretizations to order $N C_N^d$ computations.

preprint2013arXiv

Reverse Triangle Inequalities for Potentials

We study the reverse triangle inequalities for suprema of logarithmic potentials on compact sets of the plane. This research is motivated by the inequalities for products of supremum norms of polynomials. We find sharp additive constants in the inequalities for potentials, and give applications of our results to the generalized polynomials. We also obtain sharp inequalities for products of norms of the weighted polynomials $w^nP_n, deg(P_n)\le n,$ and for sums of suprema of potentials with external fields. An important part of our work in the weighted case is a Riesz decomposition for the weighted farthest-point distance function.

preprint2013arXiv

Reverse Triangle Inequalities for Riesz Potentials and Connections with Polarization

We study reverse triangle inequalities for Riesz potentials and their connection with polarization. This work generalizes inequalities for sup norms of products of polynomials, and reverse triangle inequalities for logarithmic potentials. The main tool used in the proofs is the representation for a power of the farthest distance function as a Riesz potential of a unit Borel measure.

preprint2012arXiv

Mesh ratios for best-packing and limits of minimal energy configurations

For $N$-point best-packing configurations $ω_N$ on a compact metric space $(A,ρ)$, we obtain estimates for the mesh-separation ratio $γ(ω_N,A)$, which is the quotient of the covering radius of $ω_N$ relative to $A$ and the minimum pairwise distance between points in $ω_N$. For best-packing configurations $ω_N$ that arise as limits of minimal Riesz $s$-energy configurations as $s\to \infty$, we prove that $γ(ω_N,A)\le 1$ and this bound can be attained even for the sphere. In the particular case when N=5 on $S^2$ with $ρ$ the Euclidean metric, we prove our main result that among the infinitely many 5-point best-packing configurations there is a unique configuration, namely a square-base pyramid $ω_5^*$, that is the limit (as $s\to \infty$) of 5-point $s$-energy minimizing configurations. Moreover, $γ(ω_5^*,S^2)=1$.

preprint2012arXiv

Minimal $N$-Point Diameters and $f$-Best-Packing Constants in $R^d$

In terms of the minimal $N$-point diameter $D_d(N)$ for $R^d,$ we determine, for a class of continuous real-valued functions $f$ on $[0,+\infty],$ the $N$-point $f$-best-packing constant $\min\{f(\|x-y\|)\, :\, x,y\in \R^d\}$, where the minimum is taken over point sets of cardinality $N.$ We also show that $$ N^{1/d}Δ_d^{-1/d}-2\le D_d(N)\le N^{1/d}Δ_d^{-1/d}, \quad N\ge 2,$$ where $Δ_d$ is the maximal sphere packing density in $\R^d$. Further, we provide asymptotic estimates for the $f$-best-packing constants as $N\to\infty$.

preprint2012arXiv

The next-order term for optimal Riesz and logarithmic energy asymptotics on the sphere

We survey known results and present estimates and conjectures for the next-order term in the asymptotics of the optimal logarithmic energy and Riesz $s$-energy of $N$ points on the unit sphere in $\mathbb{R}^{d+1}$, $d\geq 1$. The conjectures are based on analytic continuation assumptions (with respect to $s$) for the coefficients in the asymptotic expansion (as $N\to \infty$) of the optimal $s$-energy.

preprint2011arXiv

A Fascinating Polynomial Sequence arising from an Electrostatics Problem on the Sphere

A positive unit point charge approaching from infinity a perfectly spherical isolated conductor carrying a total charge of +1 will eventually cause a negatively charged spherical cap to appear. The determination of the smallest distance $ρ(d)$ ($d$ is the dimension of the unit sphere) from the point charge to the sphere where still all of the sphere is positively charged is known as Gonchar's problem. Using classical potential theory for the harmonic case, we show that $1+ρ(d)$ is equal to the largest positive zero of a certain sequence of monic polynomials of degree $2d-1$ with integer coefficients which we call Gonchar polynomials. Rather surprisingly, $ρ(2)$ is the Golden ratio and $ρ(4)$ the lesser known Plastic number. But Gonchar polynomials have other interesting properties. We discuss their factorizations, investigate their zeros and present some challenging conjectures.

preprint2011arXiv

Quasi-uniformity of Minimal Weighted Energy Points on Compact Metric Spaces

For a closed subset $K$ of a compact metric space $A$ possessing an $α$-regular measure $μ$ with $μ(K)>0$, we prove that whenever $s>α$, any sequence of weighted minimal Riesz $s$-energy configurations $ω_N=\{x_{i,N}^{(s)}\}_{i=1}^N$ on $K$ (for `nice' weights) is quasi-uniform in the sense that the ratios of its mesh norm to separation distance remain bounded as $N$ grows large. Furthermore, if $K$ is an $α$-rectifiable compact subset of Euclidean space ($α$ an integer) with positive and finite $α$-dimensional Hausdorff measure, it is possible to generate such a quasi-uniform sequence of configurations that also has (as $N\to \infty$) a prescribed positive continuous limit distribution with respect to $α$-dimensional Hausdorff measure. As a consequence of our energy related results for the unweighted case, we deduce that if $A$ is a compact $C^1$ manifold without boundary, then there exists a sequence of $N$-point best-packing configurations on $A$ whose mesh-separation ratios have limit superior (as $N\to \infty$) at most 2.

preprint2010arXiv

Logarithmic Potential Theory with Applications to Approximation Theory

We provide an introduction to logarithmic potential theory in the complex plane that particularly emphasizes its usefulness in the theory of polynomial and rational approximation. The reader is invited to explore the notions of Fekete points, logarithmic capacity, and Chebyshev constant through a variety of examples and exercises. Many of the fundamental theorems of potential theory, such as Frostman's theorem, the Riesz Decomposition Theorem, the Principle of Domination, etc., are given along with essential ideas for their proofs. Equilibrium measures and potentials and their connections with Green functions and conformal mappings are presented. Moreover, we discuss extensions of the classical potential theoretic results to the case when an external field is present.

preprint2009arXiv

Discrete Energy Asymptotics on a Riemannian circle

We derive the complete asymptotic expansion in terms of powers of $N$ for the geodesic $f$-energy of $N$ equally spaced points on a rectifiable simple closed curve $Γ$ in ${\mathbb R}^p$, $p\geq2$, as $N \to \infty$. For $f$ decreasing and convex, such a point configuration minimizes the $f$-energy $\sum_{j\neq k}f(d(\mathbf{x}_j, \mathbf{x}_k))$, where $d$ is the geodesic distance (with respect to $Γ$) between points on $Γ$. Completely monotonic functions, analytic kernel functions, Laurent series, and weighted kernel functions $f$ are studied. % Of particular interest are the geodesic Riesz potential $1/d^s$ ($s \neq 0$) and the geodesic logarithmic potential $\log(1/d)$. By analytic continuation we deduce the expansion for all complex values of $s$.

preprint2009arXiv

Minimal Riesz energy on the sphere for axis-supported external fields

We investigate the minimal Riesz s-energy problem for positive measures on the d-dimensional unit sphere S^d in the presence of an external field induced by a point charge, and more generally by a line charge. The model interaction is that of Riesz potentials |x-y|^(-s) with d-2 <= s < d. For a given axis-supported external field, the support and the density of the corresponding extremal measure on S^d is determined. The special case s = d-2 yields interesting phenomena, which we investigate in detail. A weak* asymptotic analysis is provided as s goes to (d-2)^+.

preprint2008arXiv

The Riesz energy of the $N$-th roots of unity: an asymptotic expansion for large $N$

We derive the complete asymptotic expansion in terms of powers of $N$ for the Riesz $s$-energy of $N$ equally spaced points on the unit circle as $N\to \infty$. For $s\ge -2$, such points form optimal energy $N$-point configurations with respect to the Riesz potential $1/r^{s}$, $s\neq0$, where $r$ is the Euclidean distance between points. By analytic continuation we deduce the expansion for all complex values of $s$. The Riemann zeta function plays an essential role in this asymptotic expansion.

preprint2006arXiv

The support of the logarithmic equilibrium measure on sets of revolution in $\R^3$

For surfaces of revolution $B$ in $\R^3$, we investigate the limit distribution of minimum energy point masses on $B$ that interact according to the logarithmic potential $\log (1/r)$, where $r$ is the Euclidean distance between points. We show that such limit distributions are supported only on the ``out-most&#39;&#39; portion of the surface (e.g., for a torus, only on that portion of the surface with positive curvature). Our analysis proceeds by reducing the problem to the complex plane where a non-singular potential kernel arises whose level lines are ellipses.