Quantum Measurements from a Logical Point of View



Playing this video requires the latest flash player from Adobe.

Download link (right click and 'save-as') for playing in VLC or other compatible player.


Recording Details

Speaker(s): 
Scientific Areas: 
Collection/Series: 
PIRSA Number: 
15040064

Abstract

We present a formal logic modeling some aspects of the behavior of the quantum measurement process, and study some properties of the models of this logic, from which we deduce some characteristics that any such model should verify. In the case of a Hilbert space of dimension at least 3, we then show that no model can lead to the prediction with certainty of more than one atomic outcome. Moreover, if the Hilbert space is finite dimensional, we can precisely describe the structure of the predictions of any model of our logic. As a consequence, we also prove that all the models of our logic make exactly the same predictions regarding whether a given sequence of outcomes is possible.