A topological study of contextuality and modality in quantum mechanics

GRACIELA DOMENECH, ; HECTOR FREYTES; CHRISTIAN DE RONDE

Malta

Congreso; Quantum Structures 06; 2006

Quantum Structures Association

Kochen-Specker theorem rules out the non-contextual assignment of values to physicalmagnitudes. 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 contextuality remains a central feature even in the enriched propositional system.