Kochen-Specker sets in four-dimensional spaces

Abstract

For the first time we construct an infinite family of Kochen-Specker sets in a space of fixed dimension, namely in R 4 . While most of the previous constructions of Kochen-Specker sets have been based on computer search, our construction is analytical and it comes with a short, computer-free proof.