dorsal/arxiv
View SchemaKochen-Specker theorem as a precondition for secure quantum key distribution
| Authors | Koji Nagata |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0503158 |
| URL | https://arxiv.org/abs/quant-ph/0503158 |
| DOI | 10.1103/PhysRevA.72.012325 |
| Journal | Phys. Rev. A 72, 012325 (2005). |
Abstract
We show that (1) the violation of the Ekert 91 inequality is a sufficient condition for certification of the Kochen-Specker (KS) theorem, and (2) the violation of the Bennett-Brassard-Mermin 92 (BBM) inequality is, also, a sufficient condition for certification of the KS theorem. Therefore the success in each QKD protocol reveals the nonclassical feature of quantum theory, in the sense that the KS realism is violated. Further, it turned out that the Ekert inequality and the BBM inequality are depictured by distillable entanglement witness inequalities. Here, we connect the success in these two key distribution processes into the no-hidden-variables theorem and into witness on distillable entanglement. We also discuss the explicit difference between the KS realism and Bell's local realism in the Hilbert space formalism of quantum theory.
{
"annotation_id": "8b6bafc6-6db5-4968-ad32-af0527b8edc9",
"date_created": "2026-03-02T18:02:17.099000Z",
"date_modified": "2026-03-02T18:02:17.099000Z",
"file_hash": "ae8e3fdd1284c92cb6c348f232852ac230027c3f143b65d7230f4a2b51bb230e",
"private": false,
"record": {
"abstract": "We show that (1) the violation of the Ekert 91 inequality is a sufficient\ncondition for certification of the Kochen-Specker (KS) theorem, and (2) the\nviolation of the Bennett-Brassard-Mermin 92 (BBM) inequality is, also, a\nsufficient condition for certification of the KS theorem. Therefore the success\nin each QKD protocol reveals the nonclassical feature of quantum theory, in the\nsense that the KS realism is violated. Further, it turned out that the Ekert\ninequality and the BBM inequality are depictured by distillable entanglement\nwitness inequalities. Here, we connect the success in these two key\ndistribution processes into the no-hidden-variables theorem and into witness on\ndistillable entanglement. We also discuss the explicit difference between the\nKS realism and Bell\u0027s local realism in the Hilbert space formalism of quantum\ntheory.",
"arxiv_id": "quant-ph/0503158",
"authors": [
"Koji Nagata"
],
"categories": [
"quant-ph"
],
"doi": "10.1103/PhysRevA.72.012325",
"journal_ref": "Phys. Rev. A 72, 012325 (2005).",
"title": "Kochen-Specker theorem as a precondition for secure quantum key distribution",
"url": "https://arxiv.org/abs/quant-ph/0503158"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "74e4b9d2-473a-4b8f-bc0b-894699d966f6",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}