# Kochen-Specker sets in four-dimensional spaces

## TL;DR

This paper introduces an analytical method to construct an infinite family of Kochen-Specker sets in four-dimensional space, providing a computer-free proof, advancing the understanding of quantum contextuality.

## Contribution

It presents the first analytical construction of an infinite family of Kochen-Specker sets in R^4, moving beyond computer-based methods.

## Key findings

- Constructed an infinite family of Kochen-Specker sets in R^4
- Provided a short, computer-free proof of the sets' properties
- Enhanced understanding of quantum contextuality in four dimensions

## 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.