arXiv++ Combinatorics

We prove a lower bound of $Ω(d^{3/2} \cdot (2/\sqrt{3})^d)$ on the kissing number in dimension $d$. This improves the classical lower bound of Chabauty, Shannon, and Wyner by a linear factor in the dimension. We obtain a similar linear factor improvement to the best known lower bound on the maximal size of a spherical code of acute angle $θ$ in high dimensions.

We construct a sequence of lattices $\{L_{n_i}\subset \mathbb R^{n_i}\}$ for $n_i\longrightarrow\infty$, with exponentially large kissing numbers, namely, $\log_2τ(L_{n_i})> 0.0338\cdot n_i -o(n_i)$. We also show that the maximum lattice kissing number $ τ^l_{n}$ in $n$ dimensions verifies $\log_2τ^l_{n}> 0.0219\cdot n -o(n)$.

The boundedness of the kissing numbers of convex bodies has been known to Hadwiger for long. We present an application of it to the sum-product estimate $$\max(|\mathcal{A}+\mathcal{A}|,|\mathcal{A}\mathcal{A}|)\gg\dfrac{|\mathcal{A}|^{4/3}}{\lceil\log|\mathcal{A}|\rceil^{1/3}}$$ for finite sets $\mathcal{A}$ of quaternions and of a certain family of well-conditioned matrices.

In this paper we consider the following topics related to results of László Fejes Tóth: (1) The Tammes problem and Fejes Tóth's bound on circle packings; (2) Fejes Tóth's problem on maximizing the minimum distance between antipodal pairs of points on the sphere; (3) Fejes Tóth's problem on the maximum kissing number of packings on the sphere; (4) The Fejes Tóth -- Sachs problem on the one--sided kissing numbers; (5) Fejes Tóth's papers on the isoperimetric problem for polyhedra.

Small ball inequalities have been extensively studied in the setting of Gaussian processes and associated Banach or Hilbert spaces. In this paper, we focus on studying small ball probabilities for sums or differences of independent, identically distributed random elements taking values in very general sets. Depending on the setting--abelian or nonabelian groups, or vector spaces, or Banach spaces--we provide a collection of inequalities relating different small ball probabilities that are sharp in many cases of interest. We prove these distribution-free probabilistic inequalities by showing that underlying them are inequalities of extremal combinatorial nature, related among other things to classical packing problems such as the kissing number problem. Applications are given to moment inequalities.

Given a lattice $Λ\subset \mathbb{R}^n$, we consider its Minkowski reduced basis and the solid angle $Ω$ spanned by the basis vectors. Such a basis satisfies strong near-orthogonality conditions, which allow us to bound from above and below the measure of $Ω$. Sharp upper and lower bounds are derived for all rank $3$ and rank $4$ lattices so that $Ω$ always measures in between. Extreme cases happen when $Λ$ is similar to the rectangular ($\mathcal{R}$) or alternating ($\mathcal{A}$) lattice. This result settles a question raised earlier by Fukshansky and Robins in connection to sphere packings and kissing numbers. The proof relies on a formula by Hajja and Walker that expresses $Ω$ as a product of $\det(Λ)$ and a quadratic integral on the unit sphere $\mathbb{S}^{n-1}$. Finally, we show that for rank 5, the alternating lattice $\mathcal{A}_{5}$ no longer possesses the smallest measure for $Ω$.

We find sharp absolute constants $C_1$ and $C_2$ with the following property: every well-rounded lattice of rank 3 in a Euclidean space has a minimal basis so that the solid angle spanned by these basis vectors lies in the interval $[C_1,C_2]$. In fact, we show that these absolute bounds hold for a larger class of lattices than just well-rounded, and the upper bound holds for all. We state a technical condition on the lattice that may prevent it from satisfying the absolute lower bound on the solid angle, in which case we derive a lower bound in terms of the ratios of successive minima of the lattice. We use this result to show that among all spherical triangles on the unit sphere in $\mathbb R^N$ with vertices on the minimal vectors of a lattice, the smallest possible area is achieved by a configuration of minimal vectors of the (normalized) face centered cubic lattice in $\mathbb R^3$. Such spherical configurations come up in connection with the kissing number problem.

When my "Handbook of Integer Sequences" came out in 1973, Philip Morrison gave it an enthusiastic review in the Scientific American and Martin Gardner was kind enough to say in his Mathematical Games column that "every recreational mathematician should buy a copy forthwith." That book contained 2372 sequences. Today the "On-Line Encyclopedia of Integer Sequences" contains 117000 sequences. This paper will describe seven that I find especially interesting. These are the EKG sequence, Gijswijt's sequence, a numerical analog of Aronson's sequence, approximate squaring, the integrality of n-th roots of generating functions, dissections, and the kissing number problem. (Paper for conference in honor of Martin Gardner's 91st birthday.)

I. J. Schoenberg proved that a function is positive definite in the unit sphere if and only if this function is a nonnegative linear combination of Gegenbauer polynomials. This fact play a crucial role in Delsarte's method for finding bounds for the density of sphere packings on spheres and Euclidean spaces. One of the most excited applications of Delsarte's method is a solution of the kissing number problem in dimensions 8 and 24. However, 8 and 24 are the only dimensions in which this method gives a precise result. For other dimensions (for instance, three and four) the upper bounds exceed the lower. We have found an extension of the Delsarte method that allows to solve the kissing number problem (as well as the one-sided kissing number problem) in dimensions three and four. In this paper we also will discuss the maximal cardinalities of spherical two-distance sets. Using the so-called polynomial method and Delsarte's method these cardinalities can be determined for all dimensions $n<40$. Recently, were found extensions of Schoenberg's theorem for multivariate positive-definite functions. Using these extensions and semidefinite programming can be improved some upper bounds for spherical codes.

This chapter introduces and elaborates on the fruitful interplay of coding theory and algebraic combinatorics, with most of the focus on the interaction of codes with combinatorial designs, finite geometries, simple groups, sphere packings, kissing numbers, lattices, and association schemes. In particular, special interest is devoted to the relationship between codes and combinatorial designs. We describe and recapitulate important results in the development of the state of the art. In addition, we give illustrative examples and constructions, and highlight recent advances. Finally, we provide a collection of significant open problems and challenges concerning future research.

We apply the semidefinite programming approach developed in arxiv:math.MG/0608426 to obtain new upper bounds for codes in spherical caps. We compute new upper bounds for the one-sided kissing number in several dimensions where we in particular get a new tight bound in dimension 8. Furthermore we show how to use the SDP framework to get analytic bounds.

Delsarte's method and its extensions allow to consider the upper bound problem for codes in 2-point-homogeneous spaces as a linear programming problem with perhaps infinitely many variables, which are the distance distribution. We show that using as variables power sums of distances this problem can be considered as a finite semidefinite programming problem. This method allows to improve some linear programming upper bounds. In particular we obtain new bounds of one-sided kissing numbers.

Recently A. Schrijver derived new upper bounds for binary codes using semidefinite programming. In this paper we adapt this approach to codes on the unit sphere and we compute new upper bounds for the kissing number in several dimensions. In particular our computations give the (known) values for the cases n = 3, 4, 8, 24.

These lecture notes treat the solution of the kissing number problem in four dimesions which is based on an extension of the Delsarte method for spherical codes.

Let H be a closed half-space of n-dimensional Euclidean space. Suppose S is a unit sphere in H that touches the supporting hyperplane of H. The one-sided kissing number B(n) is the maximal number of unit nonoverlapping spheres in H that can touch S. Clearly, B(2)=4. It was proved that B(3)=9. Recently, K. Bezdek proved that B(4)=18 or 19, and conjectured that B(4)=18. We present a proof of this conjecture.

We present an extension of the Delsarte linear programming method. For several dimensions it yields improved upper bounds for kissing numbers and for spherical codes. Musin's recent work on kissing numbers in dimensions three and four can be viewed in our framework.

An elementary construction using binary codes gives new record kissing numbers in dimensions from 32 to 128.