Noise-Robustness of Kochen-Specker Tests

IN order to understand the details of experimental tests of the Kochen-Specker theorem, we will first perform an analysis of the noise-robustness of certain tests that have been performed. To do so, we will break down the measurement process into a series of discrete steps, and allow the system to perform a noisy evolution, according to certain well-known models for experiment-induced noise (see sects. 3.3-3.6). This will allow us to provide bounds on the minimum quality needed for an experiment in order to conclusively establish a violation of non-contextuality.