{
  "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
}