On tight spherical designs

Let $X$ be a tight $t$-design of dimension $n$, and let $t=5$ or $t=7$ (the open cases). An investigation of the lattice generated by $X$ by using arithmetic theory of quadratic forms allows one to exclude infinitely many values of $n$.