Nearly optimal spherical cap discrepancy for greedy sequences on the sphere

Let ωN,dSd\omega_{N,d} \subseteq \mathbb{S}^d be the first NN elements of the greedy sequence with respect to K1K_{-1} as defined in the greedy construction. For dd-dimensional spherical cap discrepancy, write DL2,capD_{L^2,\operatorname{cap}}. Greedy discrepancy conjecture. For some c=c(d)0c=c(d)\geq 0,

DL2,cap(ωN,d)=O(N1212dlogc(N)).D_{L^2,\operatorname{cap}}(\omega_{N,d})=\mathcal{O}\bigl(N^{-\frac12-\frac{1}{2d}}\log^c(N)\bigr).

This conjecture collects the paper's numerical observations and predicts that the greedy sequence has nearly optimal spherical cap discrepancy. The supplied text does not state whether the bound is known or remains open.

Sources & referencesView supporting material

Primary source

Dmitriy Bilyk, Michelle Mastrianni, Ryan W. Matzke and Stefan Steinerberger, “Polarization and Greedy Energy on the Sphere”, arXiv:2302.13067 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.