Is the Lovász theta function tight for the unit distance graph of the plane? chromatic number – mathoverflow.net

Let $U(\mathbb{R}^2)$ be the unit distance graph of the plane (vertices = points in $\mathbb{R}^2$, edges = pairs at Euclidean distance exactly 1). The chromatic number $\chi(U)$ is known to be ...