|
| related topics |
| {let, theorem, proof} |
| {observables, space, algebra} |
| {theory, mechanics, state} |
| {bell, inequality, local} |
| {algorithm, log, probability} |
|
Generalizations of Kochen and Specker's Theorem and the Effectiveness of
Gleason's Theorem
Ehud Hrushovski, Itamar Pitowsky
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.
- oai_identifier:
- oai:arXiv.org:quant-ph/0307139
- categories:
- quant-ph
- comments:
- 14 pages, 6 figures, read at the Robert Clifton memorial conference
- arxiv_id:
- quant-ph/0307139
- created:
- 2003-07-19
Full article ▸
|
|
| related documents |
| 0605239v4 |
| 0503159v2 |
| 0410229v1 |
| 9704044v1 |
| 0605090v1 |
| 0405081v1 |
| 0308151v2 |
| 0410120v1 |
| 0401053v1 |
| 0701143v2 |
| 0212096v1 |
| 0610235v2 |
| 0702212v1 |
| 0309057v1 |
| 0604091v1 |
| 0701037v2 |
| 9503013v1 |
| 0603206v1 |
| 0312164v1 |
| 0502040v2 |
| 0406072v1 |
| 0312044v1 |
| 0412157v1 |
| 0506062v2 |
| 0411027v1 |
|