Title:Small codes

Abstract:In 1930, Tammes posed the problem of determining $\rho(r, n)$, the minimum over all sets of $n$ unit vectors in $\mathbb{R}^r$ of their maximum pairwise inner product. In 1955, Rankin determined $\rho(r,n)$ whenever $n \leq 2r$ and in this paper we show that $\rho(r, 2r + k ) \geq \frac{\left(\frac{8}{27}k + 1\right)^{1/3} - 1}{2r + k}$, answering a question of Bukh and Cox. As a consequence, we conclude that the maximum size of a binary code with block length $r$ and minimum Hamming distance $(r-j)/2$ is at most $(2 + o(1))r$ when $j = o(r^{1/3})$, resolving a conjecture of Tietäväinen from 1980 in a strong form. Furthermore, using a recently discovered connection to binary codes, this yields an analogous result for set-coloring Ramsey numbers of triangles.