1997/06/03 by Adan Cabello, Jose M. Estebaranz, Guillermo Garcia Alcaine · 1 citation
Physics and Astronomy · #quant-ph
paper · pdf · doi:10.1016/0375-9601(96)00134-x
published as Phys.Lett. A212 (1996) 183 · LaTeX, 10 pages
arxiv created 1997/06/03 · arxiv updated 2009/12/01
We present a ``state-independent'' proof of the Bell-Kochen-Specker theorem using only 18 four-dimensional vectors, which is a record for this kind of proof. This set of vectors contains subsets which allow us to develop a ``state-specific'' proof with 10 vectors (also a record) and a ``probabilistic'' proof with 7 vectors which reflects the algebraic structure of Hardy's nonlocality theorem.