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.

On Relative T-Designs in Polynomial Association Schemes

Tight Relative 2- and 4-Designs on Binary Hamming Association Schemes

A Survey on Tight Euclidean T -Designs and Tight Relative T -Designs in Certain Association Schemes

Tight Relative $T$-Designs on Two Shells in Hypercubes, and Hahn and Hermite Polynomials

Design Theory from the Viewpoint of Algebraic Combinatorics

Remarks on the Concepts of T -Designs

Euclidean designs and coherent configurations

Spherical Designs and Association Schemes Versus Euclidean Designs and Coherent Conflgurations

Projective toric designs, quantum state designs, and mutually unbiased bases

Spherical Designs of Harmonic Index T.

Combinatorial t-designs from quadratic functions

Rational Delsarte designs and Galois fusions of association schemes

Tight T-Designs on One Shell of Johnson Association Schemes

On Euclidean Tight 4-Designs

Infinite families of linear codes supporting more t-designs

Cubature formulas in numerical analysis and Euclidean tight designs

Bivariate $Q$-polynomial structures for the nonbinary Johnson scheme and the association scheme obtained from attenuated spaces

A Survey on Spherical Designs and Algebraic Combinatorics on Spheres.

Spherical designs and modular forms of the $D_4$ lattice

On Spherical Designs of Some Harmonic Indices

Codes and Pseudo-Geometric Designs from the Ternary $m$-Sequences with Welch-type decimation $d=2\cdot 3^{(n-1)/2}+1$