The Cayley-Menger determinant gives the squared volume of a simplex in $\mathbb{R}^n$ as a function of its $n(n+1)/2$ edge lengths:

$$v_n^2 = \frac{(-1)^{n+1}}{(n!)^2 2^n} \begin{vmatrix} 0&d_{01}^2&d_{02}^2&\dots&d_{0n}^2&1\\ d_{01}^2&0&d_{12}^2&\dots&d_{1n}^2&1\\ d_{02}^2&d_{12}^2&0&\dots&d_{2n}^2&1\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots\\ d_{0n}^2&d_{1n}^2&d_{2n}^2&\dots&0&1\\ 1&1&1&\dots&1&0 \end{vmatrix}$$ where $d_{i j}$ is the distance from vertex $i$ to vertex $j$ of the simplex.

For the regular simplex with all edge lengths 1, i.e. $d_{i j}=1$ for all $i,j$, we have:

$$(n!)^2 2^n v_n^2 = (-1)^{n+1} \begin{vmatrix} 0&1&1&\dots&1&1\\ 1&0&1&\dots&1&1\\ 1&1&0&\dots&1&1\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots\\ 1&1&1&\dots&0&1\\ 1&1&1&\dots&1&0 \end{vmatrix} = n+1$$

This follows from the fact that the $(n+2)\times(n+2)$ matrix here has eigenvector $(1,1,1,\dots,1)$ with eigenvalue $n+1$, along with $n+1$ eigenvectors of the form $(1,0,0,\dots,-1,0,0,\dots)$ with eigenvalue $-1$.

Any odd integer $2k+1$ has a square that is equal to 1 modulo 8, since:

$$(2k+1)^2 = 4k(k+1)+1$$

and either $k$ or $k+1$ must be even. It follows that, for any simplex whose edge lengths are all odd integers, the quantity $(n!)^2 2^n v_n^2$ must equal $n+1$ modulo 8.

When $n+1$ is *not* a multiple of 8, this means a simplex in $\mathbb{R}^n$ whose edge lengths are all odd integers cannot be degenerate, i.e. it cannot have zero volume.

However, this does not settle the same question when $n=8k-1$.

Are there known examples of degenerate simplices in $\mathbb{R}^{8 k-1}$ with odd integer edge lengths? Or is there a proof for their nonexistence that completes the proof that applies in other dimensions?

Acknowledgement: This question arose from a discussion on Twitter between Thien An and Ian Agol.

**Edited to add**: For all cases where $n = 7$ mod 16, it is possible to rule out a degenerate simplex by working modulo 16, where any squared odd integer must equal either 1 or 9. Computing the determinant when $x$ is added to any single squared edge length gives a quadratic in $x$ that has **even** coefficients for $x$ and $x^2$ (given that all the original entries are integers), from which it follows that adding 8 to any squared edge length preserves the determinant modulo 16. Since the determinant when all squared edge lengths are equal to 1 is $n+1$, changing any number of the squared edge lengths from 1 to 9 can never yield a determinant divisible by 16.