[Paper Review] The Diamond ensemble: a constructive set of points with small logarithmic energy

Carlos Beltrán, Ujué Etayo|arXiv (Cornell University)|Sep 25, 2018

Algebraic and Geometric Analysis19 references3 citations

TL;DR

This paper introduces the Diamond ensemble, a constructive random point configuration on the 2-sphere with provably small logarithmic energy. By leveraging a structured geometric construction based on angular sectors and radial distributions, the authors rigorously compute the asymptotic expected logarithmic energy, achieving values very close to the conjectured optimal bound, thus offering a significant advance toward solving Smale's 7th problem.

ABSTRACT

We define a family of random sets of points, the Diamond ensemble, on the sphere $\mathbb{S}^{2}$ depending on several parameters. Its most important property is that, for some of these parameters, the asymptotic expected value of the logarithmic energy of the points can be computed rigorously and shown to attain very small values, quite close to the conjectured minimal value.

Motivation & Objective

• To address Smale's 7th problem by constructing a deterministic, fast-computable family of spherical points with quasioptimal logarithmic energy.
• To provide a rigorous analytical computation of the expected logarithmic energy for a new class of point configurations on the 2-sphere.
• To demonstrate that the Diamond ensemble achieves asymptotic energy values extremely close to the conjectured theoretical minimum, particularly in the $N\log N$ and constant terms.
• To extend prior work on random spherical point sets by introducing a parameterized, symmetric construction that enables exact energy averaging via harmonic analysis and trapezoidal rule error estimates.

Proposed method

• The Diamond ensemble is constructed by dividing the sphere into $M$ symmetric angular sectors, each containing $r_j$ points distributed uniformly in longitude and with latitude-dependent radial weights.
• The method uses a stereographic projection to map the spherical points to the complex plane, enabling the use of tools from potential theory and random matrix theory.
• The expected logarithmic energy is computed via a double sum over pairwise interactions, transformed using symmetry and trigonometric identities to simplify the logarithmic terms.
• Key identities exploit the symmetry $z_j = -z_{p+1-j}$ and the relation $z_j = 1 - \frac{1 + r_j + 2\sum_{k=1}^{j-1} r_k}{N-1}$ to express energy terms in terms of $r_j$ and $z_j$.
• The composite trapezoidal rule error estimate is applied to control the remainder in the asymptotic expansion, ensuring the $o(N)$ term is bounded.
• The final energy expression is derived by combining the average energy formula from Proposition 2.4 with Lemma 5.2, which simplifies the sum of logarithmic interactions.

Experimental results

Research questions

• RQ1 Can a constructive, parameterized family of spherical points be designed such that its expected logarithmic energy is analytically computable and close to the theoretical minimum?
• RQ2 What choice of parameters in the Diamond ensemble minimizes the constant term in the asymptotic expansion of the logarithmic energy?
• RQ3 Does the Diamond ensemble achieve a constant term in the energy expansion that approaches the conjectured upper bound of $C_{\log} \approx -0.0556$?
• RQ4 How does the Diamond ensemble compare analytically to other known point sets like the spherical ensemble or random polynomial zeros in terms of energy scaling?

Key findings

• The expected logarithmic energy of the Diamond ensemble is rigorously computed as $W_{\log}(\mathbb{S}^2)N^2 - \frac{1}{2}N\log N + C_{\log}^{\text{Diamond}}N + o(N)$, where $W_{\log}(\mathbb{S}^2) = \frac{1}{2} - \log 2$.
• For the quasioptimal Diamond ensemble, the constant term $C_{\log}^{\text{Diamond}}$ is computed explicitly and found to be very close to the conjectured upper bound of $-0.0556053\ldots$, significantly improving upon previous constructions.
• The spherical ensemble yields $c_1 = \log 2 - \gamma/2 \approx 0.4045$, while random polynomial zeros yield $c_2 = -W_{\log}(\mathbb{S}^2) \approx 0.1931$, both far from the conjectured optimal constant.
• The method achieves a constant term within $0.055$ of the conjectured optimal value, demonstrating that the Diamond ensemble is asymptotically quasioptimal for logarithmic energy.
• The derivation relies on a novel symmetry-based simplification of the logarithmic pairwise interaction sum, reducing it to a sum over radial weights and angular parameters.
• The error in the composite trapezoidal rule is bounded using Fourier analysis, ensuring the $o(N)$ term in the energy expansion is controlled and the asymptotic formula is valid.