pith. sign in

arxiv: quant-ph/9706009 · v1 · submitted 1997-06-03 · 🪐 quant-ph

Bell-Kochen-Specker theorem: A proof with 18 vectors

classification 🪐 quant-ph
keywords proofvectorstheorembell-kochen-speckerrecordalgebraicallowcontains
0
0 comments X
read the original abstract

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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Sheaf-Theoretic Preparation Contextuality

    quant-ph 2026-05 unverdicted novelty 7.0

    Preparation contextuality is witnessed by the non-existence of any admissible global response matrix that extends local preparation data while satisfying structural and compatibility conditions that force a product form.

  2. Indistinguishability and the origins of contextuality in physics

    quant-ph 2019-06 unverdicted novelty 5.0

    Quasi-set theory is used to treat context-dependent properties as indistinguishable, yielding a formal ontology for contextual quantum systems.