{
  "id": "quant-ph/0307139",
  "version": "v1",
  "published": "2003-07-19T15:24:30.000Z",
  "updated": "2003-07-19T15:24:30.000Z",
  "title": "Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem",
  "authors": [
    "Ehud Hrushovski",
    "Itamar Pitowsky"
  ],
  "comment": "14 pages, 6 figures, read at the Robert Clifton memorial conference",
  "categories": [
    "quant-ph"
  ],
  "abstract": "Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction. Finally, we demonstrate that Gleason's theorem itself has a constructive proof, based on a generic, finite, effectively generated set of rays, on which every quantum state can be approximated.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2003-07-19T15:24:30.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "gleasons theorem",
      "speckers theorem",
      "generalizations",
      "effectiveness",
      "similar compactness arguments"
    ],
    "tags": [
      "conference paper"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 14,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2003quant.ph..7139H"
    }
  }
}