The conjectural leading term for optimal spherical L2\mathbb{L}_2-discrepancy

Let d2d\geq 2, let Sd\mathbb{S}^d be the unit sphere, and let DCL2(Sd;N)\operatorname{D_C}^{\mathbb{L}_2}(\mathbb{S}^d;N) denote the optimal spherical-cap L2\mathbb{L}_2-discrepancy among NN-point configurations. Let AdA_d be defined by

Ad:=Hd(Bd)Hd(Sd)C1,d[Hd(Sd)]1/d.A_d:=\sqrt{\frac{\mathcal{H}_d(\mathbb{B}^d)}{\mathcal{H}_d(\mathbb{S}^d)}\frac{-C_{-1,d}}{[\mathcal{H}_d(\mathbb{S}^d)]^{-1/d}}}.

The discrepancy asymptotic conjecture. If the fundamental conjecture for optimal Riesz energy on spheres holds, then

DCL2(Sd;N)AdN1/21/(2d)+as N.\operatorname{D_C}^{\mathbb{L}_2}(\mathbb{S}^d;N)\sim A_dN^{-1/2-1/(2d)}+\cdots\qquad\text{as }N\to\infty.

This connects Stolarsky's invariance principle with the second-order term in optimal Riesz (1)(-1)-energy. The assertion is conditional on the preceding energy conjecture, while the known bounds establish the same power of NN up to constants.

Sources & referencesView supporting material

Primary source

J. S. Brauchart, “Optimal Discrete Riesz Energy and Discrepancy”, arXiv:1103.3088 (2011).

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.