25 research outputs found
Positive semidefinite approximations to the cone of copositive kernels
It has been shown that the maximum stable set problem in some infinite
graphs, and the kissing number problem in particular, reduces to a minimization
problem over the cone of copositive kernels. Optimizing over this infinite
dimensional cone is not tractable, and approximations of this cone have been
hardly considered in literature. We propose two convergent hierarchies of
subsets of copositive kernels, in terms of non-negative and positive definite
kernels. We use these hierarchies and representation theorems for invariant
positive definite kernels on the sphere to construct new SDP-based bounds on
the kissing number. This results in fast-to-compute upper bounds on the kissing
number that lie between the currently existing LP and SDP bounds.Comment: 29 pages, 2 tables, 1 figur
Semidefinite programming bounds for distance distribution of spherical codes
We present an extension of known semidefinite and linear programming upper bounds for spherical codes. We apply the main result for the distance distribution of a spherical code and show that this method can work effectively In particular, we get a shorter solution to the kissing number problem in dimension 4
Exact semidefinite programming bounds for packing problems
In this paper we give an algorithm to round the floating point output of a
semidefinite programming solver to a solution over the rationals or a quadratic
extension of the rationals. We apply this to get sharp bounds for packing
problems, and we use these sharp bounds to prove that certain optimal packing
configurations are unique up to rotations. In particular, we show that the
configuration coming from the root lattice is the unique optimal
code with minimal angular distance on the hemisphere in ,
and we prove that the three-point bound for the -spherical
code, where is such that , is
sharp by rounding to . We also use our machinery to
compute sharp upper bounds on the number of spheres that can be packed into a
larger sphere.Comment: 24 page