dorsal/arxiv
View SchemaBell-Kochen-Specker theorem: A proof with 18 vectors
| Authors | Adan Cabello, Jose M. Estebaranz, Guillermo Garcia Alcaine |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/9706009 |
| URL | https://arxiv.org/abs/quant-ph/9706009 |
| DOI | 10.1016/0375-9601(96)00134-X |
| Journal | Phys.Lett. A212 (1996) 183 |
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.
{
"annotation_id": "b5299ee5-4873-41fc-b228-29f983a7c1ec",
"date_created": "2026-03-02T18:02:40.503000Z",
"date_modified": "2026-03-02T18:02:40.503000Z",
"file_hash": "a2c31ca91d0fe893e611dac9a07062e3261836726dbf5ca31eab2902b0c50242",
"private": false,
"record": {
"abstract": "We present a ``state-independent\u0027\u0027 proof of the Bell-Kochen-Specker theorem\nusing only 18 four-dimensional vectors, which is a record for this kind of\nproof. This set of vectors contains subsets which allow us to develop a\n``state-specific\u0027\u0027 proof with 10 vectors (also a record) and a\n``probabilistic\u0027\u0027 proof with 7 vectors which reflects the algebraic structure\nof Hardy\u0027s nonlocality theorem.",
"arxiv_id": "quant-ph/9706009",
"authors": [
"Adan Cabello",
"Jose M. Estebaranz",
"Guillermo Garcia Alcaine"
],
"categories": [
"quant-ph"
],
"doi": "10.1016/0375-9601(96)00134-X",
"journal_ref": "Phys.Lett. A212 (1996) 183",
"title": "Bell-Kochen-Specker theorem: A proof with 18 vectors",
"url": "https://arxiv.org/abs/quant-ph/9706009"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "31942fa8-9707-4146-becd-a82122abd2a3",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}