|
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 |
|