The density of sets avoiding distance 1 in Euclidean space (Q2351016)

The paper improves on the upper bound for the upper density of sets avoiding two points at unit distance apart in Euclidean spaces, both asymptotically, and numerically for dimensions between 4 and 24. The results depend on the study of an analogue of Lovász' \(\vartheta\) function for the (infinite) unit distance graph and on some finite subgraphs of the unit distance graph. As a consequence, improved lower bounds are obtained for the measurable chromatic number of the Euclidean space for dimensions between 4 and 24.