Abstract:This survey is mainly intended for non-specialists, though we try to include many recent developments that may interest the experts as well. We want to study "good" finite subsets of the unit sphere. To consider "what is good" is a part of our problem. We start with the definition of spherical t-designs on Sn-1 in R-n. After discussing some important examples, we focus on tight spherical t-designs on Sn-1. Tight t-designs have good combinatorial properties, but they rarely exist. So, we are interested in the finite subsets on Sn-1, which have properties similar to tight t-designs from the various viewpoints of algebraic combinatorics. For example, rigid t-designs, universally optimal t-codes (configurations), as well as finite sets which admit the structure of an association scheme, are among them. We will discuss various results on the existence and the non-existence of special spherical t-designs, as well as general spherical t-designs, and their constructions. We will discuss the relations between spherical t-designs and many other branches of mathematics. For example: by considering the spherical designs which are orbits of a finite group in the real orthogonal group O(n), we get many connections with group theory; by considering those which are shells of Euclidean lattices, we get many unexpected connections with number theory, such as modular forms and Lehmer's conjecture about the zeros of the Ramanujan tau function. Spherical t-designs and Euclidean t-designs are special cases of cubature formulas in approximation theory, and thus we get many connections with analysis and statistics, and in particular with orthogonal polynomials, and moment problems. Moreover, Delsarte's linear programming method and many recent generalizations, including the work of Musin and the subsequent progress in using semidefinite programming, have strong connections with geometry (in particular sphere packing problems) and the theory of optimizations. These various connections explain the reason of the charm of algebraic combinatorics on spheres. At the same time, these theories of spherical t-designs and related topics have strong roots in the developments of algebraic combinatorics in general, which was started as Delsarte theory of codes and designs in the framework of association schemes. (C) 2008 Elsevier Ltd. All rights reserved.

Classification of Spherical $2$-Distance $\{4,2,1\}$-Designs by Solving Diophantine Equations

Classification of feasible parameters by solving Diophantine equations

A Class of Optimal Transportation Problems on the Sphere

A Survey on Spherical Designs and Algebraic Combinatorics on Spheres.

Spherical Designs and Association Schemes Versus Euclidean Designs and Coherent Conflgurations

Complex Spherical Designs and Codes

Euclidean designs and coherent configurations

Constructions of Spherical 3-Designs

Half of an Antipodal Spherical Design

Design Theory from the Viewpoint of Algebraic Combinatorics

Spherical designs and modular forms of the $D_4$ lattice

Putatively optimal projective spherical designs with little apparent symmetry

On Euclidean Tight 4-Designs

Designs in compact symmetric spaces and applications of great antipodal sets

On Spherical Designs of Some Harmonic Indices

Spherical Designs for Function Approximation and Beyond

On the two-distance embedding in real Euclidean space of coherent configuration of type (2,2;3)

Rational Angles and Tilings of the Sphere by Congruent Quadrilaterals

A construction of spherical 3-designs

The characterization of $(n-1)$-spheres with $n+4$ vertices having maximal Buchstaber number

Spherical two-distance sets and graph eigenvalues