For the first time we construct an infinite family of Kochen-Specker sets in a space of fixed dimension, namely in R⁴. 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.

Back to the index of publications