arXiv++ Combinatorics

In this paper we consider several generalizations of the Borsuk-Ulam theorem for G-spaces and apply these results to Tucker type lemmas for G-simplicial complexes and PL-manifolds.

Every graph G can be embedded in a Euclidean space as a two-distance set. The Euclidean representation number of G is the smallest dimension in which G is representable by such an embedding. We consider spherical and J-spherical representation numbers of G and give exact formulas for these numbers using multiplicities of polynomials that are defined by the Caley-Menger determinant. One of the main results of the paper are explicit formulas for the representation numbers of the join of graphs which are obtained from W. Kuperberg's type theorem for two-distance sets.

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.

We consider generalizations of Gale's colored KKM lemma and Shapley's KKMS theorem. It is shown that spaces and covers can be much more general and the boundary KKM rules can be substituted by more weaker boundary assumptions.

We consider spaces with free involutions that satisfy the Borsuk - Ulam theorems (BUT-spaces). There are several equivalent definitions for BUT-spaces that can be considered as their properties. Our main technical tool is Yang's cohomological index.

With any (open or closed) cover of a space T we associate certain homotopy classes of maps T into n-spheres. These homotopy invariants can be considered as obstructions for extensions of covers of a subspace A to a space X. We using these obstructions for generalizations of the classic KKM (Knaster-Kuratowski-Mazurkiewicz) and Sperner lemmas. In particular, we show that in the case when A is a k-sphere and X is a (k+1)-disk there exist KKM type lemmas for covers by n+2 sets if and only if the k-homotopy group of n-sphere is not zero.

We introduce the Voronoi functional of a triangulation of a finite set of points in the Euclidean plane and prove that among all geometric triangulations of the point set, the Delaunay triangulation maximizes the functional. This result neither extends to topological triangulations in the plane nor to geometric triangulations in three and higher dimensions.

The Tammes problem is to find the arrangement of N points on a unit sphere which maximizes the minimum distance between any two points. This problem is presently solved for several values of N, namely for N=3,4,6,12 by L. Fejes Toth (1943); for N=5,7,8,9 by Schutte and van der Waerden (1951); for N=10,11 by Danzer (1963) and for N=24 by Robinson (1961). Recently, we solved the Tammes problem for N=13. The optimal configuration of 14 points was conjectured more than 60 years ago. In the paper, we give a solution of this long-standing open problem in geometry. Our computer-assisted proof relies on an enumeration of the irreducible contact graphs.

Recently, we enumerate up to isometry, all locally rigid circle packings on the unit sphere with number of circles N<12. This problem is equivalent to the enumeration of irreducible contact graphs. In this paper we show that by using the list of irreducible graphs can solve various problems of extreme packings such as the Tammes problem for the sphere and the projective plane, the maximal contacts problem, Danzer's and other problems on irreducible contact graphs.

Tucker and Ky Fan's lemma are combinatorial analogs of the Borsuk-Ulam theorem (BUT). In 1996, Yu. A. Shashkin proved a version of Fan's lemma, which is a combinatorial analog of the odd mapping theorem (OMT). We consider generalizations of these lemmas for BUT-manifolds, i.e. for manifolds that satisfy BUT. Proofs rely on a generalization of the OMT and on a lemma about the doubling of manifolds with boundaries that are BUT-manifolds.

Sperner's lemma states that every Sperner coloring of a triangulation of a simplex contains a fully colored simplex. We present a generalization of this lemma, where instead of triangulations are considered quadrangulations.

The Sperner and Tucker lemmas are combinatorial analogous of the Brouwer and Borsuk - Ulam theorems with many useful applications. These classic lemmas are concerning labellings of triangulated discs and spheres. In this paper we show that discs and spheres can be substituted by large classes of manifolds with or without boundary.

We consider packings of congruent circles on a square flat torus, i.e., periodic (w.r.t. a square lattice) planar circle packings, with the maximal circle radius. This problem is interesting due to a practical reason - the problem of "super resolution of images." We have found optimal arrangements for N=6, 7 and 8 circles. Surprisingly, for the case N=7 there are three different optimal arrangements. Our proof is based on a computer enumeration of toroidal irreducible contact graphs.

A finite set X in a metric space M is called an s-distance set if the set of distances between any two distinct points of X has size s. The main problem for s-distance sets is to determine the maximum cardinality of s-distance sets for fixed s and M. In this paper, we improve the known upper bound for s-distance sets in n-sphere for s=3,4. In particular, we determine the maximum cardinalities of three-distance sets for n=7 and 21. We also give the maximum cardinalities of s-distance sets in the Hamming space and the Johnson space for several s and dimensions.

This paper establishes a Borsuk-Ulam type theorem for PL-manifolds with a finite group action, depending on the free equivariant cobordism class of a manifold. In particular, necessary and sufficient conditions are considered for a manifold with a free involution to be a Borsuk-Ulam type.

We derive a new estimate of the size of finite sets of points in metric spaces with few distances. The following applications are considered: (1) we improve the Ray-Chaudhuri--Wilson bound of the size of uniform intersecting families of subsets; (2) we refine the bound of Delsarte-Goethals-Seidel on the maximum size of spherical sets with few distances; (3) we prove a new bound on codes with few distances in the Hamming space, improving an earlier result of Delsarte. We also find the size of maximal binary codes and maximal constant-weight codes of small length with 2 and 3 distances.

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.

The classical multiplicative (Hirzebruch) genera of manifolds have the wonderful property which is called rigidity. Rigidity of a genus h means that if a compact connected Lie group G acts on a manifold X, then the equivariant genus h^G(X) is independent on G, i.e. h^G(X)=h(X). In this paper we are considering the rigidity problem for complex manifolds. In particular, we are proving that a genus is rigid if and only if it is a generalized Todd genus.

Discrete analogs of extrema of curvature and generalizations of the four-vertex theorem to the case of polygons and polyhedra are suggested and developed. For smooth curves and polygonal lines in the plane, a formula relating the number of extrema of curvature to the winding numbers of the curves (polygonal lines) and their evolutes is obtained. Also are considered higher-dimensional analogs of the four-vertex theorem for regular and shellable triangulations.

A set S of unit vectors in n-dimensional Euclidean space is called spherical two-distance set, if there are two numbers a and b, and inner products of distinct vectors of S are either a or b. The largest cardinality g(n) of spherical two-distance sets is not exceed n(n+3)/2. This upper bound is known to be tight for n=2,6,22. The set of mid-points of the edges of a regular simplex gives the lower bound L(n)=n(n+1)/2 for g(n. In this paper using the so-called polynomial method it is proved that for nonnegative a+b the largest cardinality of S is not greater than L(n). For the case a+b<0 we propose upper bounds on |S| which are based on Delsarte's method. Using this we show that g(n)=L(n) for 6<n<22, 23<n<40, and g(23)=276 or 277.