Inequalities for experimental tests of the Kochen-Specker theorem

We derive inequalities for $n$ spin-1/2 systems under the assumption that the hidden-variable theoretical joint probability distribution for any pair of commuting observables is equal to the quantum mechanical one. Fine showed that this assumption is connected to the no-hidden-variables theorem of Kochen and Specker (KS theorem). These inequalities give a way to experimentally test the KS theorem. The fidelity to the Bell states which is larger than 1/2 is sufficient for the experimental confirmation of the KS theorem. Hence, the Werner state is enough to test experimentally the KS theorem. Furthermore, it is possible to test the KS theorem experimentally using uncorrelated states. An $n$-partite uncorrelated state violates the $n$-partite inequality derived here by an amount that grows exponentially with $n$.