-
Asymptotics of $k$-nearest neighbor Riesz energies
Authors:
Douglas P. Hardin,
Edward B. Saff,
Oleksandr Vlasiuk
Abstract:
We obtain new asymptotic results about systems of $ N $ particles governed by Riesz interactions involving $ k $-nearest neighbors of each particle as $N\to\infty$. These results include a generalization to weighted Riesz potentials with external field. Such interactions offer an appealing alternative to other approaches for reducing the computational complexity of an $ N $-body interaction. We fi…
▽ More
We obtain new asymptotic results about systems of $ N $ particles governed by Riesz interactions involving $ k $-nearest neighbors of each particle as $N\to\infty$. These results include a generalization to weighted Riesz potentials with external field. Such interactions offer an appealing alternative to other approaches for reducing the computational complexity of an $ N $-body interaction. We find the first-order term of the large $ N $ asymptotics and characterize the limiting distribution of the minimizers. We also obtain results about the $ Γ$-convergence of such interactions, and describe minimizers on the 1-dimensional flat torus in the absence of external field, for all $ N $.
△ Less
Submitted 19 March, 2023; v1 submitted 3 January, 2022;
originally announced January 2022.
-
On the Search for Tight Frames of Low Coherence
Authors:
Xuemei Chen,
Douglas P. Hardin,
Edward B. Saff
Abstract:
We introduce a projective Riesz $s$-kernel for the unit sphere $\mathbb{S}^{d-1}$ and investigate properties of $N$-point energy minimizing configurations for such a kernel. We show that these configurations, for $s$ and $N$ sufficiently large, form frames that are well-separated (have low coherence) and are nearly tight. Our results suggest an algorithm for computing well-separated tight frames w…
▽ More
We introduce a projective Riesz $s$-kernel for the unit sphere $\mathbb{S}^{d-1}$ and investigate properties of $N$-point energy minimizing configurations for such a kernel. We show that these configurations, for $s$ and $N$ sufficiently large, form frames that are well-separated (have low coherence) and are nearly tight. Our results suggest an algorithm for computing well-separated tight frames which is illustrated with numerical examples.
△ Less
Submitted 6 November, 2020; v1 submitted 15 February, 2020;
originally announced February 2020.
-
Eigenfunctions of the Fourier Transform with specified zeros
Authors:
Ahram S. Feigenbaum,
Peter J. Grabner,
Douglas P. Hardin
Abstract:
We give a unified description of the modular and quasi-modular functions used in Viazovska's proof of the best packing bounds in dimension 8 and the proof by Cohn, Kumar, Miller, Radchenko, and Viazovska of the best packing bound in dimension 24. We show that necessarily modular forms have to be used to obtain these results. We extend these constructions to arbitrary dimensions divisible by 4.
We give a unified description of the modular and quasi-modular functions used in Viazovska's proof of the best packing bounds in dimension 8 and the proof by Cohn, Kumar, Miller, Radchenko, and Viazovska of the best packing bound in dimension 24. We show that necessarily modular forms have to be used to obtain these results. We extend these constructions to arbitrary dimensions divisible by 4.
△ Less
Submitted 8 June, 2020; v1 submitted 19 July, 2019;
originally announced July 2019.
-
Unconstrained polarization (Chebyshev) problems: basic properties and Riesz kernel asymptotics
Authors:
Douglas P. Hardin,
Mircea Petrache,
Edward B. Saff
Abstract:
We introduce and study the unconstrained polarization (or Chebyshev) problem which requires to find an $N$-point configuration that maximizes the minimum value of its potential over a set $A$ in $p$-dimensional Euclidean space. This problem is compared to the constrained problem in which the points are required to belong to the set $A$. We find that for Riesz kernels $1/|x-y|^s$ with $s>p-2$ the o…
▽ More
We introduce and study the unconstrained polarization (or Chebyshev) problem which requires to find an $N$-point configuration that maximizes the minimum value of its potential over a set $A$ in $p$-dimensional Euclidean space. This problem is compared to the constrained problem in which the points are required to belong to the set $A$. We find that for Riesz kernels $1/|x-y|^s$ with $s>p-2$ the optimum unconstrained configurations concentrate close to the set $A$ and based on this fundamental fact we recover the same asymptotic value of the polarization as for the more classical constrained problem on a class of $d$-rectifiable sets. We also investigate the new unconstrained problem in special cases such as for spheres and balls. In the last section we formulate some natural open problems and conjectures.
△ Less
Submitted 29 June, 2021; v1 submitted 22 February, 2019;
originally announced February 2019.
-
Inverse Potential Problems for Divergence of Measures with Total Variation Regularization
Authors:
Laurent Baratchart,
Cristobal Villalobos Guillen,
Douglas P. Hardin,
Michael C. Northington,
Edward B. Saff
Abstract:
We study inverse problems for the Poisson equation with source term the divergence of an $\mathbf{R}^3$-valued measure, that is, the potential $Φ$ satisfies $$
ΔΦ= \text{div} \boldsymbolμ,
$$ and $\boldsymbolμ$ is to be reconstructed knowing (a component of) the field grad $Φ$ on a set disjoint from the support of $\boldsymbolμ$. Such problems arise in several electro-magnetic contexts in the…
▽ More
We study inverse problems for the Poisson equation with source term the divergence of an $\mathbf{R}^3$-valued measure, that is, the potential $Φ$ satisfies $$
ΔΦ= \text{div} \boldsymbolμ,
$$ and $\boldsymbolμ$ is to be reconstructed knowing (a component of) the field grad $Φ$ on a set disjoint from the support of $\boldsymbolμ$. Such problems arise in several electro-magnetic contexts in the quasi-static regime, for instance when recovering a remanent magnetization from measurements of its magnetic field. We develop methods for recovering $\boldsymbolμ$ based on total variation regularization. We provide sufficient conditions for the unique recovery of $\boldsymbolμ$, asymptotically when the regularization parameter and the noise tend to zero in a combined fashion, when it is uni-directional or when the magnetization has a support which is sparse in the sense that it is purely 1-unrectifiable.
Numerical examples are provided to illustrate the main theoretical results.
△ Less
Submitted 21 September, 2018;
originally announced September 2018.
-
Asymptotic Linear Programming Lower Bounds for the Energy of Minimizing Riesz and Gauss Configurations
Authors:
Douglas P. Hardin,
Timothy J. Michaels,
Edward B. Saff
Abstract:
Utilizing frameworks developed by Delsarte, Yudin and Levenshtein, we deduce linear programming lower bounds (as $N\to \infty$) for the Riesz energy of $N$-point configurations on the $d$-dimensional unit sphere in the so-called hypersingular case; i.e, for non-integrable Riesz kernels of the form $|x-y|^{-s}$ with $s>d.$ As a consequence, we immediately get (thanks to the Poppy-seed bagel theorem…
▽ More
Utilizing frameworks developed by Delsarte, Yudin and Levenshtein, we deduce linear programming lower bounds (as $N\to \infty$) for the Riesz energy of $N$-point configurations on the $d$-dimensional unit sphere in the so-called hypersingular case; i.e, for non-integrable Riesz kernels of the form $|x-y|^{-s}$ with $s>d.$ As a consequence, we immediately get (thanks to the Poppy-seed bagel theorem) lower estimates for the large $N$ limits of minimal hypersingular Riesz energy on compact $d$-rectifiable sets. Furthermore, for the Gaussian potential $\exp(-α|x-y|^2)$ on $\mathbb{R}^p,$ we obtain lower bounds for the energy of infinite configurations having a prescribed density.
△ Less
Submitted 14 April, 2018;
originally announced April 2018.
-
On spherical codes with inner products in a prescribed interval
Authors:
P. G. Boyvalenkov,
P. D. Dragnev,
D. P. Hardin,
E. B. Saff,
M. M. Stoyanova
Abstract:
We develop a framework for obtaining linear programming bounds for spherical codes whose inner products belong to a prescribed subinterval $[\ell,s]$ of $[-1,1)$. An intricate relationship between Levenshtein-type upper bounds on cardinality of codes with inner products in $[\ell,s]$ and lower bounds on the potential energy (for absolutely monotone interactions) for codes with inner products in…
▽ More
We develop a framework for obtaining linear programming bounds for spherical codes whose inner products belong to a prescribed subinterval $[\ell,s]$ of $[-1,1)$. An intricate relationship between Levenshtein-type upper bounds on cardinality of codes with inner products in $[\ell,s]$ and lower bounds on the potential energy (for absolutely monotone interactions) for codes with inner products in $[\ell,1)$ (when the cardinality of the code is kept fixed) is revealed and explained. Thereby, we obtain a new extension of Levenshtein bounds for such codes. The universality of our bounds is exhibited by a unified derivation and their validity for a wide range of codes and potential functions.
△ Less
Submitted 22 January, 2018;
originally announced January 2018.
-
Condensers with touching plates and constrained minimum Riesz and Green energy problems
Authors:
P. D. Dragnev,
B. Fuglede,
D. P. Hardin,
E. B. Saff,
N. Zorii
Abstract:
We study minimum energy problems relative to the $α$-Riesz kernel $|x-y|^{α-n}$, $α\in(0,2]$, over signed Radon measures $μ$ on $\mathbb R^n$, $n\geqslant3$, associated with a generalized condenser $(A_1,A_2)$, where $A_1$ is a relatively closed subset of a domain $D$ and $A_2=\mathbb R^n\setminus D$. We show that, though $A_2\cap\mathrm{Cl}_{\mathbb R^n}A_1$ may have nonzero capacity, this minimu…
▽ More
We study minimum energy problems relative to the $α$-Riesz kernel $|x-y|^{α-n}$, $α\in(0,2]$, over signed Radon measures $μ$ on $\mathbb R^n$, $n\geqslant3$, associated with a generalized condenser $(A_1,A_2)$, where $A_1$ is a relatively closed subset of a domain $D$ and $A_2=\mathbb R^n\setminus D$. We show that, though $A_2\cap\mathrm{Cl}_{\mathbb R^n}A_1$ may have nonzero capacity, this minimum energy problem is uniquely solvable (even in the presence of an external field) if we restrict ourselves to $μ$ with $μ^+\leqslantξ$, where a constraint $ξ$ is properly chosen. We establish the sharpness of the sufficient conditions on the solvability thus obtained, provide descriptions of the weighted $α$-Riesz potentials of the solutions, single out their characteristic properties, and analyze their supports. The approach developed is mainly based on the establishment of an intimate relationship between the constrained minimum $α$-Riesz energy problem over signed measures associated with $(A_1,A_2)$ and the constrained minimum $α$-Green energy problem over positive measures carried by $A_1$. The results are illustrated by examples.
△ Less
Submitted 25 October, 2018; v1 submitted 15 November, 2017;
originally announced November 2017.
-
Constrained minimum Riesz energy problems for a condenser with intersecting plates
Authors:
P. D. Dragnev,
B. Fuglede,
D. P. Hardin,
E. B. Saff,
N. Zorii
Abstract:
We study the constrained minimum energy problem with an external field relative to the $α$-Riesz kernel $|x-y|^{α-n}$ of order $α\in(0,n)$ for a generalized condenser $\mathbf A=(A_i)_{i\in I}$ in $\mathbb R^n$, $n\geqslant 3$, whose oppositely charged plates intersect each other over a set of zero capacity. Conditions sufficient for the existence of minimizers are found, and their uniqueness and…
▽ More
We study the constrained minimum energy problem with an external field relative to the $α$-Riesz kernel $|x-y|^{α-n}$ of order $α\in(0,n)$ for a generalized condenser $\mathbf A=(A_i)_{i\in I}$ in $\mathbb R^n$, $n\geqslant 3$, whose oppositely charged plates intersect each other over a set of zero capacity. Conditions sufficient for the existence of minimizers are found, and their uniqueness and vague compactness are studied. Conditions obtained are shown to be sharp. We also analyze continuity of the minimizers in the vague and strong topologies when the condenser and the constraint both vary, describe the weighted equilibrium vector potentials, and single out their characteristic properties. Our arguments are based particularly on the simultaneous use of the vague topology and a suitable semimetric structure on a set of vector measures associated with $\mathbf A$, and the establishment of completeness theorems for proper semimetric spaces. The results remain valid for the logarithmic kernel on $\mathbb R^2$ and $\mathbf A$ with compact $A_i$, $i\in I$. The study is illustrated by several examples.
△ Less
Submitted 30 April, 2018; v1 submitted 5 October, 2017;
originally announced October 2017.
-
Local properties of Riesz minimal energy configurations and equilibrium measures
Authors:
D. P. Hardin,
A. Reznikov,
E. B. Saff,
A. Volberg
Abstract:
We investigate separation properties of $N$-point configurations that minimize discrete Riesz $s$-energy on a compact set $A\subset \mathbb{R}^p$. When $A$ is a smooth $(p-1)$-dimensional manifold without boundary and $s\in [p-2, p-1)$, we prove that the order of separation (as $N\to \infty$) is the best possible. The same conclusions hold for the points that are a fixed positive distance from the…
▽ More
We investigate separation properties of $N$-point configurations that minimize discrete Riesz $s$-energy on a compact set $A\subset \mathbb{R}^p$. When $A$ is a smooth $(p-1)$-dimensional manifold without boundary and $s\in [p-2, p-1)$, we prove that the order of separation (as $N\to \infty$) is the best possible. The same conclusions hold for the points that are a fixed positive distance from the boundary of $A$ whenever $A$ is any $p$-dimensional set. These estimates extend a result of Dahlberg for certain smooth $(p-1)$-dimensional surfaces when $s=p-2$ (the harmonic case). Furthermore, we obtain the same separation results for `greedy' $s$-energy points. We deduce our results from an upper regularity property of the $s$-equilibrium measure (i.e., the measure that solves the continuous minimal Riesz $s$-energy problem), and we show that this property holds under a local smoothness assumption on the set $A$.
△ Less
Submitted 26 July, 2017; v1 submitted 12 July, 2017;
originally announced July 2017.
-
Large deviation principles for hypersingular Riesz gases
Authors:
Douglas P. Hardin,
Thomas Leblé,
Edward B. Saff,
Sylvia Serfaty
Abstract:
We study $N$-particle systems in R^d whose interactions are governed by a hypersingular Riesz potential $|x-y|^{-s}$, $s>d$, and subject to an external field. We provide both macroscopic results as well as microscopic results in the limit as $N\to \infty$ for random point configurations with respect to the associated Gibbs measure at scaled inverse temperature $β$. We show that a large deviation p…
▽ More
We study $N$-particle systems in R^d whose interactions are governed by a hypersingular Riesz potential $|x-y|^{-s}$, $s>d$, and subject to an external field. We provide both macroscopic results as well as microscopic results in the limit as $N\to \infty$ for random point configurations with respect to the associated Gibbs measure at scaled inverse temperature $β$. We show that a large deviation principle holds with a rate function of the form `$β$-Energy +Entropy', yielding that the microscopic behavior (on the scale $N^{-1/d}$) of such $N$-point systems is asymptotically determined by the minimizers of this rate function. In contrast to the asymptotic behavior in the integrable case $s<d$, where on the macroscopic scale $N$-point empirical measures have limiting density independent of $β$, the limiting density for $s>d$ is strongly $β$-dependent.
△ Less
Submitted 7 November, 2017; v1 submitted 9 February, 2017;
originally announced February 2017.
-
A Comparison of Popular Point Configurations on $\mathbb{S}^2$
Authors:
D. P. Hardin,
T. J. Michaels,
E. B. Saff
Abstract:
There are many ways to generate a set of nodes on the sphere for use in a variety of problems in numerical analysis. We present a survey of quickly generated point sets on $\mathbb{S}^2$, examine their equidistribution properties, separation, covering, and mesh ratio constants and present a new point set, equal area icosahedral points, with low mesh ratio. We analyze numerically the leading order…
▽ More
There are many ways to generate a set of nodes on the sphere for use in a variety of problems in numerical analysis. We present a survey of quickly generated point sets on $\mathbb{S}^2$, examine their equidistribution properties, separation, covering, and mesh ratio constants and present a new point set, equal area icosahedral points, with low mesh ratio. We analyze numerically the leading order asymptotics for the Riesz and logarithmic potential energy for these configurations with total points $N<50,000$ and present some new conjectures.
△ Less
Submitted 24 October, 2016; v1 submitted 13 July, 2016;
originally announced July 2016.
-
Optimal discrete measures for Riesz potentials
Authors:
S. V. Borodachov,
D. P. Hardin,
A. Reznikov,
E. B. Saff
Abstract:
For $s\geqslant d$, we obtain the leading term as $N\to \infty$ of the maximal weighted $N$-point Riesz $s$-polarization (or Chebyshev constant) for a certain class of $d$-rectifiable compact subsets of $\mathbb{R}^p$. This class includes compact subsets of $d$-dimensional $C^1$ manifolds whose boundary relative to the manifold has $\mathcal{H}_d$-measure zero, as well as finite unions of such set…
▽ More
For $s\geqslant d$, we obtain the leading term as $N\to \infty$ of the maximal weighted $N$-point Riesz $s$-polarization (or Chebyshev constant) for a certain class of $d$-rectifiable compact subsets of $\mathbb{R}^p$. This class includes compact subsets of $d$-dimensional $C^1$ manifolds whose boundary relative to the manifold has $\mathcal{H}_d$-measure zero, as well as finite unions of such sets when their pairwise intersections have $\mathcal{H}_d$-measure zero. We also explicitly find the weak$^*$ limit distribution of asymptotically optimal $N$-point polarization configurations as $N\to \infty$.
△ Less
Submitted 28 February, 2017; v1 submitted 13 June, 2016;
originally announced June 2016.
-
Generating Point Configurations via Hypersingular Riesz Energy With an External Field
Authors:
D. P. Hardin,
E. B. Saff,
O. V. Vlasiuk
Abstract:
For a compact $ d $-dimensional rectifiable subset of $ \mathbb{R}^{p} $ we study asymptotic properties as $ N\to\infty $ of $N$-point configurations minimizing the energy arising from a Riesz $ s $-potential $ 1/r^s $ and an external field in the hypersingular case $ s\geq d$. Formulas for the weak$ ^* $ limit of normalized counting measures of such optimal point sets and the first-order asymptot…
▽ More
For a compact $ d $-dimensional rectifiable subset of $ \mathbb{R}^{p} $ we study asymptotic properties as $ N\to\infty $ of $N$-point configurations minimizing the energy arising from a Riesz $ s $-potential $ 1/r^s $ and an external field in the hypersingular case $ s\geq d$. Formulas for the weak$ ^* $ limit of normalized counting measures of such optimal point sets and the first-order asymptotic values of minimal energy are obtained. As an application, we derive a method for generating configurations whose normalized counting measures converge to a given absolutely continuous measure supported on a rectifiable subset of $ \mathbb{R}^{p} $. Results on separation and covering properties of discrete minimizers are given. Our theorems are illustrated with several numerical examples.
△ Less
Submitted 11 October, 2016; v1 submitted 10 May, 2016;
originally announced May 2016.
-
Next order energy asymptotics for Riesz potentials on flat tori
Authors:
Douglas P. Hardin,
Edward B. Saff,
Brian Z. Simanek,
Yujian Su
Abstract:
Let $Λ$ be a lattice in ${\bf R}^d$ with positive co-volume. Among $Λ$-periodic $N$-point configurations, we consider the minimal renormalized Riesz $s$-energy $\mathcal{E}_{s,Λ}(N)$. While the dominant term in the asymptotic expansion of $\mathcal{E}_{s,Λ}(N)$ as $N$ goes to infinity in the long range case that $0<s<d$ (or $s=\log$) can be obtained from classical potential theory, the next order…
▽ More
Let $Λ$ be a lattice in ${\bf R}^d$ with positive co-volume. Among $Λ$-periodic $N$-point configurations, we consider the minimal renormalized Riesz $s$-energy $\mathcal{E}_{s,Λ}(N)$. While the dominant term in the asymptotic expansion of $\mathcal{E}_{s,Λ}(N)$ as $N$ goes to infinity in the long range case that $0<s<d$ (or $s=\log$) can be obtained from classical potential theory, the next order term(s) require a different approach. Here we derive the form of the next order term or terms, namely for $s>0$ they are of the form $C_{s,d}|Λ|^{-s/d}N^{1+s/d}$ and $-\frac{2}{d}N\log N+\left(C_{\log,d}-2ζ'_Λ(0)\right)N$ where we show that the constant $C_{s,d}$ is independent of the lattice $Λ$.
△ Less
Submitted 4 November, 2015;
originally announced November 2015.
-
A Sharp Balian-Low Uncertainty Principle for Shift-Invariant Spaces
Authors:
Douglas P. Hardin,
Michael C. Northington V.,
Alexander M. Powell
Abstract:
A sharp version of the Balian-Low theorem is proven for the generators of finitely generated shift-invariant spaces. If generators $\{f_k\}_{k=1}^K \subset L^2(\mathbb{R}^d)$ are translated along a lattice to form a frame or Riesz basis for a shift-invariant space $V$, and if $V$ has extra invariance by a suitable finer lattice, then one of the generators $f_k$ must satisfy…
▽ More
A sharp version of the Balian-Low theorem is proven for the generators of finitely generated shift-invariant spaces. If generators $\{f_k\}_{k=1}^K \subset L^2(\mathbb{R}^d)$ are translated along a lattice to form a frame or Riesz basis for a shift-invariant space $V$, and if $V$ has extra invariance by a suitable finer lattice, then one of the generators $f_k$ must satisfy $\int_{\mathbb{R}^d} |x| |f_k(x)|^2 dx = \infty$, namely, $\widehat{f_k} \notin H^{1/2}(\mathbb{R}^d)$. Similar results are proven for frames of translates that are not Riesz bases without the assumption of extra lattice invariance. The best previously existing results in the literature give a notably weaker conclusion using the Sobolev space $H^{d/2+ε}(\mathbb{R}^d)$; our results provide an absolutely sharp improvement with $H^{1/2}(\mathbb{R}^d)$. Our results are sharp in the sense that $H^{1/2}(\mathbb{R}^d)$ cannot be replaced by $H^s(\mathbb{R}^d)$ for any $s<1/2$.
△ Less
Submitted 16 October, 2015;
originally announced October 2015.
-
Energy bounds for codes and designs in Hamming spaces
Authors:
Peter G. Boyvalenkov,
Peter D. Dragnev,
Douglas P. Hardin,
Edward B. Saff,
Maya M. Stoyanova
Abstract:
We obtain universal bounds on the energy of codes and for designs in Hamming spaces. Our bounds hold for a large class of potential functions, allow unified treatment, and can be viewed as a generalization of the Levenshtein bounds for maximal codes.
We obtain universal bounds on the energy of codes and for designs in Hamming spaces. Our bounds hold for a large class of potential functions, allow unified treatment, and can be viewed as a generalization of the Levenshtein bounds for maximal codes.
△ Less
Submitted 16 October, 2016; v1 submitted 12 October, 2015;
originally announced October 2015.
-
Universal upper and lower bounds on energy of spherical designs
Authors:
P. G. Boyvalenkov,
P. D. Dragnev,
D. P. Hardin,
E. B. Saff,
M. M. Stoyanova
Abstract:
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…
▽ More
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.
△ Less
Submitted 25 September, 2015;
originally announced September 2015.
-
Universal lower bounds for potential energy of spherical codes
Authors:
P. G. Boyvalenkov,
P. D. Dragnev,
D. P. Hardin,
E. B. Saff,
M. M. Stoyanova
Abstract:
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…
▽ More
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.
△ Less
Submitted 24 March, 2015;
originally announced March 2015.
-
Periodic Discrete Energy for Long-Range Potentials
Authors:
D. P. Hardin,
E. B. Saff,
Brian Simanek
Abstract:
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…
▽ More
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.
△ Less
Submitted 10 December, 2014; v1 submitted 28 March, 2014;
originally announced March 2014.
-
Inverse Bernstein inequalities and min-max-min problems on the unit circle
Authors:
Tamás Erdélyi,
Douglas P. Hardin,
Edward B. Saff
Abstract:
We give a short and elementary proof of an inverse Bernstein-type inequality found by S. Khrushchev for the derivative of a polynomial having all its zeros on the unit circle. The inequality is used to show that equally-spaced points solve a min-max-min problem for the logarithmic potential of such polynomials. Using techniques recently developed for polarization (Chebyshev-type) problems, we show…
▽ More
We give a short and elementary proof of an inverse Bernstein-type inequality found by S. Khrushchev for the derivative of a polynomial having all its zeros on the unit circle. The inequality is used to show that equally-spaced points solve a min-max-min problem for the logarithmic potential of such polynomials. Using techniques recently developed for polarization (Chebyshev-type) problems, we show that this optimality also holds for a large class of potentials, including the Riesz potentials $1/r^s$ with $s>0.$
△ Less
Submitted 15 July, 2013;
originally announced July 2013.
-
Low complexity methods for discretizing manifolds via Riesz energy minimization
Authors:
S. V. Borodachov,
D. P. Hardin,
E. B. Saff
Abstract:
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…
▽ More
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 kee** 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.
△ Less
Submitted 27 May, 2013;
originally announced May 2013.
-
Mesh ratios for best-packing and limits of minimal energy configurations
Authors:
A. V. Bondarenko,
D. P. Hardin,
E. B. Saff
Abstract:
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 pro…
▽ More
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$.
△ Less
Submitted 26 December, 2012;
originally announced December 2012.
-
Polarization optimality of equally spaced points on the circle for discrete potentials
Authors:
D. P. Hardin,
A. P. Kendall,
E. B. Saff
Abstract:
We prove a conjecture of Ambrus, Ball and Erdélyi that equally spaced points maximize the minimum of discrete potentials on the unit circle whenever the potential is of the form \sum_{k=1}^n f(d(z,z_k)), where $f:[0,π]\to [0,\infty]$ is non-increasing and strictly convex and $d(z,w)$ denotes the geodesic distance between $z$ and $w$ on the circle.
We prove a conjecture of Ambrus, Ball and Erdélyi that equally spaced points maximize the minimum of discrete potentials on the unit circle whenever the potential is of the form \sum_{k=1}^n f(d(z,z_k)), where $f:[0,π]\to [0,\infty]$ is non-increasing and strictly convex and $d(z,w)$ denotes the geodesic distance between $z$ and $w$ on the circle.
△ Less
Submitted 13 December, 2013; v1 submitted 26 August, 2012;
originally announced August 2012.
-
Minimal $N$-Point Diameters and $f$-Best-Packing Constants in $R^d$
Authors:
A. V. Bondarenko,
D. P. Hardin,
E. B. Saff
Abstract:
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 ma…
▽ More
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$.
△ Less
Submitted 19 April, 2012;
originally announced April 2012.
-
The next-order term for optimal Riesz and logarithmic energy asymptotics on the sphere
Authors:
J. S. Brauchart,
D. P. Hardin,
E. B. Saff
Abstract:
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$-e…
▽ More
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.
△ Less
Submitted 17 February, 2012;
originally announced February 2012.
-
Quasi-uniformity of Minimal Weighted Energy Points on Compact Metric Spaces
Authors:
D. P. Hardin,
E. B. Saff,
J. T. Whitehouse
Abstract:
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…
▽ More
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.
△ Less
Submitted 22 November, 2011; v1 submitted 14 April, 2011;
originally announced April 2011.
-
Wavelets centered on a knot sequence: theory, construction, and applications
Authors:
Bruce W. Atkinson,
Derek O. Bruff,
Jeffrey S. Geronimo,
Douglas P. Hardin
Abstract:
We develop a general notion of orthogonal wavelets `centered' on an irregular knot sequence. We present two families of orthogonal wavelets that are continuous and piecewise polynomial. We develop efficient algorithms to implement these schemes and apply them to a data set extracted from an ocelot image. As another application, we construct continuous, piecewise quadratic, orthogonal wavelet bases…
▽ More
We develop a general notion of orthogonal wavelets `centered' on an irregular knot sequence. We present two families of orthogonal wavelets that are continuous and piecewise polynomial. We develop efficient algorithms to implement these schemes and apply them to a data set extracted from an ocelot image. As another application, we construct continuous, piecewise quadratic, orthogonal wavelet bases on the quasi-crystal lattice consisting of the $τ$-integers where $τ$ is the golden ratio. The resulting spaces then generate a multiresolution analysis of $L^2(\mathbf{R})$ with scaling factor $τ$.
△ Less
Submitted 15 September, 2014; v1 submitted 21 February, 2011;
originally announced February 2011.
-
Discrete Energy Asymptotics on a Riemannian circle
Authors:
J. S. Brauchart,
D. P. Hardin,
E. B. Saff
Abstract:
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…
▽ More
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$.
△ Less
Submitted 23 December, 2009;
originally announced December 2009.
-
Riesz $s$-equilibrium measures on $d$-rectifiable sets as $s$ approaches $d$
Authors:
M. T. Calef,
D. P. Hardin
Abstract:
Let $A$ be a compact set in ${\mathbb R}^p$ of Hausdorff dimension $d$. For $s\in(0,d)$, the Riesz $s$-equilibrium measure $μ^s$ is the unique Borel probability measure with support in $A$ that minimizes $$ I_s(μ):=\iint\frac{1}{|x-y|^s}dμ(y)dμ(x)$$ over all such probability measures. If $A$ is strongly $({\mathcal H}^d, d)$-rectifiable, then $μ^s$ converges in the weak-star topology to normaliz…
▽ More
Let $A$ be a compact set in ${\mathbb R}^p$ of Hausdorff dimension $d$. For $s\in(0,d)$, the Riesz $s$-equilibrium measure $μ^s$ is the unique Borel probability measure with support in $A$ that minimizes $$ I_s(μ):=\iint\frac{1}{|x-y|^s}dμ(y)dμ(x)$$ over all such probability measures. If $A$ is strongly $({\mathcal H}^d, d)$-rectifiable, then $μ^s$ converges in the weak-star topology to normalized $d$-dimensional Hausdorff measure restricted to $A$ as $s$ approaches $d$ from below.
△ Less
Submitted 28 August, 2008;
originally announced August 2008.
-
The Riesz energy of the $N$-th roots of unity: an asymptotic expansion for large $N$
Authors:
J. S. Brauchart,
D. P. Hardin,
E. B. Saff
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 12 August, 2008; v1 submitted 8 August, 2008;
originally announced August 2008.
-
The support of the limit distribution of optimal Riesz energy points on sets of revolution in $\mathbb{R}^{3}$
Authors:
J. S. Brauchart,
D. P. Hardin,
E. B. Saff
Abstract:
Let A be a compact set in the right-half plane and $Γ(A)$ the set in $\mathbb{R}^{3}$ obtained by rotating A about the vertical axis. We investigate the support of the limit distribution of minimal energy point charges on $Γ(A)$ that interact according to the Riesz potential 1/r^{s}, 0<s<1, where r is the Euclidean distance between points. Potential theory yields that this limit distribution coi…
▽ More
Let A be a compact set in the right-half plane and $Γ(A)$ the set in $\mathbb{R}^{3}$ obtained by rotating A about the vertical axis. We investigate the support of the limit distribution of minimal energy point charges on $Γ(A)$ that interact according to the Riesz potential 1/r^{s}, 0<s<1, where r is the Euclidean distance between points. Potential theory yields that this limit distribution coincides with the equilibrium measure on $Γ(A)$ which is supported on the outer boundary of $Γ(A)$. We show that there are sets of revolution $Γ(A)$ such that the support of the equilibrium measure on $Γ(A)$ is {\bf not} the complete outer boundary, in contrast to the Coulomb case s=1. However, the support of the limit distribution on the set of revolution $Γ(R+A)$ as R goes to infinity, is the full outer boundary for certain sets A, in contrast to the logarithmic case (s=0).
△ Less
Submitted 3 August, 2007;
originally announced August 2007.
-
The support of the logarithmic equilibrium measure on sets of revolution in $\R^3$
Authors:
D. P. Hardin,
E. B. Saff,
H. Stahl
Abstract:
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'' portion of the surface (e.g., for a torus, only on that portion of the surface with…
▽ More
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'' 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.
△ Less
Submitted 9 May, 2006;
originally announced May 2006.
-
Asymptotics of Best-Packing on Rectifiable Sets
Authors:
S. V. Borodachov,
D. P. Hardin,
E. B. Saff
Abstract:
We investigate the asymptotic behavior, as $N$ grows, of the largest minimal pairwise distance of $N$ points restricted to an arbitrary compact rectifiable set embedded in Euclidean space, and we find the limit distribution of such optimal configurations. For this purpose, we compare best-packing configurations with minimal Riesz $s$-energy configurations and determine the $s$-th root asymptotic…
▽ More
We investigate the asymptotic behavior, as $N$ grows, of the largest minimal pairwise distance of $N$ points restricted to an arbitrary compact rectifiable set embedded in Euclidean space, and we find the limit distribution of such optimal configurations. For this purpose, we compare best-packing configurations with minimal Riesz $s$-energy configurations and determine the $s$-th root asymptotic behavior (as $s\to \infty)$ of the minimal energy constants.
We show that the upper and the lower dimension of a set defined through the Riesz energy or best-packing coincides with the upper and lower Minkowski dimension, respectively.
For certain sets in ${\rm {\bf R}}^d$ of integer Hausdorff dimension, we show that the limiting behavior of the best-packing distance as well as the minimal $s$-energy for large $s$ is different for different subsequences of the cardinalities of the configurations.
△ Less
Submitted 5 May, 2006;
originally announced May 2006.
-
Asymptotics for Discrete Weighted Minimal Riesz Energy Problems on Rectifiable Sets
Authors:
S. V. Borodachov,
D. P. Hardin,
E. B. Saff
Abstract:
Given a compact $d$-rectifiable set $A$ embedded in Euclidean space and a distribution $ρ(x)$ with respect to $d$-dimensional Hausdorff measure on $A$, we address the following question: how can one generate optimal configurations of $N$ points on $A$ that are "well-separated" and have asymptotic distribution $ρ(x)$ as $N\to \infty$? For this purpose we investigate minimal weighted Riesz energy…
▽ More
Given a compact $d$-rectifiable set $A$ embedded in Euclidean space and a distribution $ρ(x)$ with respect to $d$-dimensional Hausdorff measure on $A$, we address the following question: how can one generate optimal configurations of $N$ points on $A$ that are "well-separated" and have asymptotic distribution $ρ(x)$ as $N\to \infty$? For this purpose we investigate minimal weighted Riesz energy points, that is, points interacting via the weighted power law potential $V=w(x,y)|x-y|^{-s}$, where $s>0$ is a fixed parameter and $w$ is suitably chosen. In the unweighted case ($w\equiv 1$) such points for $N$ fixed tend to the solution of the best-packing problem on $A$ as the parameter $s\to \infty$.
△ Less
Submitted 10 February, 2006;
originally announced February 2006.
-
Minimal Riesz Energy Point Configurations for Rectifiable d-Dimensional Manifolds
Authors:
D. P. Hardin,
E. B. Saff
Abstract:
For a compact set A in Euclidean space we consider the asymptotic behavior of optimal (and near optimal) N-point configurations that minimize the Riesz s-energy (corresponding to the potential 1/t^s) over all N-point subsets of A, where s>0. For a large class of manifolds A having finite, positive d-dimensional Hausdorff measure, we show that such minimizing configurations have asymptotic limit…
▽ More
For a compact set A in Euclidean space we consider the asymptotic behavior of optimal (and near optimal) N-point configurations that minimize the Riesz s-energy (corresponding to the potential 1/t^s) over all N-point subsets of A, where s>0. For a large class of manifolds A having finite, positive d-dimensional Hausdorff measure, we show that such minimizing configurations have asymptotic limit distribution (as N tends to infinity with s fixed) equal to d-dimensional Hausdorff measure whenever s>d or s=d. In the latter case we obtain an explicit formula for the dominant term in the minimum energy. Our results are new even for the case of the d-dimensional sphere.
△ Less
Submitted 15 December, 2004; v1 submitted 14 November, 2003;
originally announced November 2003.