Abstract
The classical Stolarsky invariance principle connects the spherical cap \(L^2\) discrepancy of a finite point set on the sphere to the pairwise sum of Euclidean distances between the points. In this paper, we further explore and extend this phenomenon. In addition to a new elementary proof of this fact, we establish several new analogs, which relate various notions of discrepancy to different discrete energies. In particular, we find that the hemisphere discrepancy is related to the sum of geodesic distances. We also extend these results to arbitrary measures on the sphere and arbitrary notions of discrepancy and apply them to problems of energy optimization and combinatorial geometry and find that, surprisingly, the geodesic distance energy behaves differently than its Euclidean counterpart.
Similar content being viewed by others
References
Aigner, M., Ziegler, G.: Proofs from The Book, 5th edn. Springer, Berlin (2014)
Beck, J.: Some upper bounds in the theory of irregularities of distribution. Acta Arith. 43(2), 115–130 (1984)
Beck, J.: Sums of distances between points on a sphere-an application of the theory of irregularities of distribution to discrete geometry. Mathematika 31(1), 33–41 (1984)
Benedetto, J., Fickus, M.: Finite normalized tight frames. Adv. Comput. Math. 18(2–4), 357–385 (2003)
Bilyk, D., Dai, F.: Geodesic distance Riesz energy on the sphere, 2017, to appear, available at arXiv: 1612.08442
Bilyk, D., Lacey, M.: Random tessellations, restricted isometric embeddings, and one bit sensing, 2017, to appear, available at arXiv:1512.06697
Bilyk, D., Lacey, M.: One bit sensing, discrepancy, and Stolarsky principle. Sb. Math. 208(6), 744–763 (2017)
Björck, G.: Distributions of positive mass, which maximize a certain generalized energy integral. Ark. Mat. 3, 255–269 (1956)
Blümlinger, M.: Slice discrepancy and irregularities of distribution on spheres. Mathematika 38(1), 105–116 (1991)
Borodachov, S., Hardin, D., Saff, E.: Minimal Discrete Energy on Rectifiable Sets, Springer, Monographs in Math. (to appear)
Brauchart, J.: About the second term of the asymptotics for optimal Riesz energy on the sphere in the potential-theoretical case. Integral Transforms Spec. Funct. 17(5), 321–328 (2006)
Brauchart, J., Hardin, D., Saff, E.: Discrete energy asymptotics on a Riemannian circle. Unif. Distrib. Theory 7(2), 77–108 (2012)
Brauchart, J.S., Dick, J.: A simple proof of Stolarsky’s invariance principle. Proc. Am. Math. Soc. 141, 2085–2096 (2013)
Drmota, M., Tichy, R.: Sequences, Discrepancies and Applications. Lecture Notes in Mathematics, vol. 1651. Springer, Berlin (1997)
Dai, F., Xu, Y.: Approximation Theory and Harmonic Analysis on Spheres and Balls. Springer Monographs in Mathematics. Springer, New York (2013)
Damelin, S., Hickernell, F., Ragozin, D., Zeng, X.: On energy, discrepancy and group invariant measures on measurable subsets of Euclidean space. J. Fourier Anal. Appl. 16(6), 813–839 (2010)
Fejes Tóth, L.: On the sum of distances determined by a pointset. Acta Math. Acad. Sci. Hungar. 7, 397–401 (1956)
Fejes Tóth, L.: Über eine Punktverteilung auf der Kugel (German). Acta Math. Acad. Sci. Hung. 10, 13–19 (1959)
Gradshteyn, I.S., Ryzhik, I.M.: Table of Integrals, Series, and Products. Academic Press Inc, San Diego, CA (2000)
Groemer, H.: Geometric Applications of Fourier Series and Spherical Harmonics. Encyclopedia of Mathematics and Its Applications, vol. 61. Cambridge University Press, Cambridge (1996)
He, H., Basu, K., Zhao, Q., Owen, A.: Permutation \(p\)-value approximation via generalized Stolarsky invariance, to appear, available at arXiv:1603.02757
Hinrichs, A., Nickolas, P., Wolf, R.: A note on the metric geometry of the unit ball. Math. Z. 268(3–4), 887–896 (2011)
Jiang, M.: On the sum of distances along a circle. Discrete Math. 308(10), 2038–2045 (2008)
Kuijlaars, A., Saff, E.: Asymptotics for minimal discrete energy on the sphere. Trans. Am. Math. Soc. 350(2), 523–538 (1998)
Larcher, H.: Solution of a geometric problem by Fejes Tóth. Mich. Math. J. 9, 45–51 (1962)
Matoušek, J.: Geometric Discrepancy. An Illustrated Guide. Springer, Berlin (1999)
Nielsen, F.: On the sum of the distances between \(n\) points on a sphere. Nordisk Mat. Tidskr. 13, 45–50 (1965). (Danish)
Plan, Y., Vershynin, R.: Dimension reduction by random uniform tessellation. Discrete Comput. Geom. to appear
Schoenberg, I.: Some extremal problems for positive definite sequences and related extremal convex conformal maps of the circle. Nederl. Akad. Wetensch. Proc. Ser A 20, 28–37 (1958)
Skriganov, M.: Point distributions in compact metric spaces, to appear, available at arXiv:1512.00364
Sperling, G.: Lösung einer elementargeometrischen Frage von Fejes Tóth. (German). Arch. Math. 11, 69–71 (1960)
Stolarsky, K.B.: Sums of distances between points on a sphere. II. Proc. Am. Math. Soc. 41, 575–582 (1973)
Stolarsky, K.B.: Spherical distributions of \(N\) points with maximal distance sums are well spaced. Proc. Am. Math. Soc. 48, 203–206 (1975)
Torquato, S.: Reformulation of the covering and quantizer problems as ground states of interacting particles. Phys. Rev. E 82(5), 1–52 (2010)
Wagner, G.: On means of distances on the surface of a sphere. II. Upper bounds. Pac. J. Math. 154(2), 381–396 (1992)
Woźniakowski, H.: Average case complexity of multivariate integration. Bull. Am. Math. Soc. 24(1), 185–194 (1991)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Doug Hardin.
This work was partially supported by the Simons Foundation Collaboration Grant (Bilyk), NSERC Canada under Grant RGPIN 04702 (Dai), and the NSF Graduate Research Fellowship 00039202 (Matzke). The first two authors are grateful to CRM Barcelona: this collaboration originated during their participation in the research program “Constructive Approximation and Harmonic Analysis” (Bilyk’s trip was sponsored by NSF Grant DMS 1613790).
Appendix: Mean-Square Geodesic Distance
Appendix: Mean-Square Geodesic Distance
The following integral arises in the formulations of Stolarsky principles for wedges (6.1) and slices (6.3):
hence we compute it and examine its properties. A standard calculation yields that
Applying the recursive relation [19]
with \(m=2\) and \(n=d-1\), as well as the facts that
and
we obtain the recursive relation
Together with simple identities \(V_1 = \frac{1}{3}\) and \(V_2 = \frac{1}{2} - \frac{2}{\pi ^2}\) (or even \(V_0 = \frac{1}{2}\)), this yields:
Lemma 7.1
For odd values of \(d\ge 1\),
while for even values of \(d\ge 2\),
Since \(\displaystyle {\sum _{k=1}^\infty \frac{1}{(2k)^2} = \frac{\pi ^2}{24}}\) and \(\displaystyle {\sum _{k=1}^\infty \frac{1}{(2k-1)^2} = \frac{\pi ^2}{8}}\), we find that
which is consistent with the concentration of measure phenomenon (“most points” on the high-dimensional sphere are nearly orthogonal).
Notice that this confirms the result of Theorem 4.7 that, unless \(d=0\), the uniform distribution \(\sigma \) is not a maximizer of \(I (\mu ) = \int \limits _{\mathbb S^d} \!\int \limits _{\mathbb S^d} \big ( d(x,y) \big )^2 \,\, d\mu (x) \, d\mu (y)\), since for \(\mu = \frac{1}{2} {\delta _p }+ \frac{1}{2} {\delta _{-p}}\) we have \(I (\mu ) = \frac{1}{2}\).
Rights and permissions
About this article
Cite this article
Bilyk, D., Dai, F. & Matzke, R. The Stolarsky Principle and Energy Optimization on the Sphere. Constr Approx 48, 31–60 (2018). https://doi.org/10.1007/s00365-017-9412-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00365-017-9412-4