Abstract
We develop an analogue for sphere packing of the linear programming bounds for error-correcting codes, and use it to prove upper bounds for the density of sphere packings, which are the best bounds known at least for dimensions $4$ through $36$. We conjecture that our approach can be used to solve the sphere packing problem in dimensions 8 and 24.