2007
DOI: 10.1007/s10773-007-9595-8
|View full text |Cite
|
Sign up to set email alerts
|

A Topological Study of Contextuality and Modality in Quantum Mechanics

Abstract: Kochen-Specker theorem rules out the non-contextual assignment of values to physical magnitudes. Here we enrich the usual orthomodular structure of quantum mechanical propositions with modal operators. This enlargement allows to refer consistently to actual and possible properties of the system. By means of a topological argument, more precisely in terms of the existence of sections of sheaves, we give an extended version of Kochen-Specker theorem over this new structure. This allows us to prove that contextua… Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
19
0

Year Published

2009
2009
2020
2020

Publication Types

Select...
5
1

Relationship

3
3

Authors

Journals

citations
Cited by 14 publications
(19 citation statements)
references
References 18 publications
0
19
0
Order By: Relevance
“…For obvious reasons, we called it the Modal Kochen-Specker (MKS) theorem [14]. As in the case of actual propositions, the MKS theorem may be demonstrated with topological tools [15]. It is important to remark that our formalism also provides a formal meaning in an algebraic frame to the Born rule, something that has been discussed by Dieks in relation to the possible derivation of a preferred probability measure [10].…”
Section: Quantum Contextuality and Modalitymentioning
confidence: 99%
“…For obvious reasons, we called it the Modal Kochen-Specker (MKS) theorem [14]. As in the case of actual propositions, the MKS theorem may be demonstrated with topological tools [15]. It is important to remark that our formalism also provides a formal meaning in an algebraic frame to the Born rule, something that has been discussed by Dieks in relation to the possible derivation of a preferred probability measure [10].…”
Section: Quantum Contextuality and Modalitymentioning
confidence: 99%
“…Some important remarks are at stake. The above discussion is related to a well-known fact: it is possible to define local classical valuations for maximal Boolean subalgebras of L(H), but the Kochen-Specker theorem forbids the existence of global ones (see sections II and III of [6]; for more discussion on the subject, see [59][60][61][62][63]). Another related fact is that of the non-existence of states whose range is equal to the set {0, 1} (also known as dispersion-free states in the foundations of quantum physics literature).…”
Section: The Kochen-specker Theorem and The Failure Of Truth Functionmentioning
confidence: 99%
“…Escaping the metaphysics of actuality and starting from the formalism, a good candidate to develop a mode of existence is of course quantum possibility. In several papers, together with Domenech and Freytes, we have analyzed how to understand possibility in the context of the orthodox formalism of QM [26,27,28,29]. From this investigation there are several conclusions which can be drawn.…”
Section: The Physical Representation Of Quantum Superpositionsmentioning
confidence: 99%