Optimality and uniqueness of the (4,10,1/6) spherical code

Christine Bachoc, Frank Vallentin

Linear programming bounds provide an elegant method to prove optimality and uniqueness of an (n,N,t) spherical code. However, this method does not apply to the parameters (4,10,1/6…