Kochen-Specker theorem for finite precision spin-one measurements.
Unsharp spin-one observables arise from the fact that a residual uncertainty about the actual orientation of the measurement device remains. If the uncertainty is below a certain level, and if the distribution of measurement errors is covariant under rotations, a Kochen-Specker theorem for the unsharp spin observables follows: There are finite sets of directions such that not all the unsharp spin observables in these directions can consistently be assigned approximate truth values in a noncontextual way.
Breuer
Thomas
T
Department of Computer Science, FH Vorarlberg, Achstrasse 1, A-6850 Dornbirn, Austria. Thomas.Breuer@fh-vorarlberg.ac.at