Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1502.06759 · Electronic Proceedings in Theoretical Computer Science

Quantum Measurements from a Logical Point of View

Olivier Brunet

Published Nov 4, 2015• 1 citation
arXivHTMLPDF

Abstract

We introduce a logic modelling some aspects of the behaviour of the measurement process, in such a way that no direct mention of quantum states is made, thus avoiding the problems associated to this rather evasive notion. We then study some properties of the models of this logic, and deduce some characteristics that any model (and hence, any formulation of quantum mechanics compatible with its predictions and relying on a notion of measurement) should verify. The main results we obtain are that in the case of a Hilbert space of dimension at least 3, using a strengthening of the Kochen-Specker theorem, we show that no model can lead to the certain prediction of more than one atomic outcome. Moreover, if the Hilbert space is finite dimensional, then we are able to precisely describe the structure of the predictions of any model of our logic. In particular, we show that all the models of our logic do exactly make the same predictions regarding whether a given sequence of outcomes is possible or not, so that quantum mechanics can be considered complete as long as the possibility of outcomes is considered.

DOI
10.4204/eptcs.195.7

Related papers

A Logic of Quantum Measurement

Olivier Brunet

We present a formulation of quantum mechanics based on a logic representing some aspects of the behaviour of the measurement process. With such an approach, we make no direct mention of quantum states, and thus avoid the problems associated to this rather evasive notion. We then study some properties of the models of this logic, and deduce some characteristics that any model (and hence any formulation of quantum mechanics compatible with its prediction and relying on a notion of measurement) should verify. The main results we obtain are that in the case of a Hilbert space of dimension at least 3, no model can lead to the prediction with certainty of more than one atomic outcome. Moreover, if the Hilbert space is finite dimensional, then we are able to precisely describe the structure of the predictions of any model of our logic. As a consequence, we finally show that all the models of our logic make exactly the same predictions regarding whether a given sequence of outcomes is possible or not.

•Feb 17, 2015•0 citations

Ontological Models for Quantum Mechanics and the Kochen-Specker theorem

Terry Rudolph

Certain concrete "ontological models" for quantum mechanics (models in which measurement outcomes are deterministic and quantum states are equivalent to classical probability distributions over some space of `hidden variables') are examined. The models are generalizations of Kochen and Specker's such model for a single 2-dimensional system - in particular a model for a three dimensional quantum system is considered in detail. Unfortunately, it appears the models do not quite reproduce the quantum mechanical statistics. They do, however, come close to doing so, and in as much as they simply involve probability distributions over the complex projective space they do reproduce pretty much everything else in quantum mechanics. The Kochen-Specker theorem is examined in the light of these models, and the rather mild nature of the manifested contextuality is discussed.

arXiv:quant-ph/0608120•Aug 15, 2006•15 citations

The Measurement Postulates of Quantum Mechanics are Redundant

Lluís Masanes

Understanding the core content of quantum mechanics requires us to disentangle the hidden logical relationships between the postulates of this theory. Here we show that the mathematical structure of quantum measurements, the formula for assigning outcome probabilities (Born's rule) and the post-measurement state-update rule, can be deduced from the other quantum postulates, often referred to as unitary quantum and the assumption that ensembles on finite-dimensional Hilbert spaces are characterised by finitely many parameters. This is achieved by taking an operational approach to physical theories, and using the fact that the manner in which a physical system is partitioned into subsystems is a subjective choice of the observer, and hence should not affect the predictions of the theory. In contrast to other approaches, our result does not assume that measurements are related to operators or bases, it does not rely on the universality of quantum mechanics, and it is independent of the interpretation of probability.

•May 8, 2018•2 citations

The measurement postulates of quantum mechanics are operationally redundant

Lluís Masanes, Thomas D. Galley, Markus P. Müller

Understanding the core content of quantum mechanics requires us to disentangle the hidden logical relationships between the postulates of this theory. Here we show that the mathematical structure of quantum measurements, the formula for assigning outcome probabilities (Born's rule) and the post-measurement state-update rule, can be deduced from the other quantum postulates, often referred to as "unitary quantum mechanics", and the assumption that ensembles on finite-dimensional Hilbert spaces are characterized by finitely many parameters. This is achieved by taking an operational approach to physical theories, and using the fact that the manner in which a physical system is partitioned into subsystems is a subjective choice of the observer, and hence should not affect the predictions of the theory. In contrast to other approaches, our result does not assume that measurements are related to operators or bases, it does not rely on the universality of quantum mechanics, and it is independent of the interpretation of probability.

arXiv:1811.11060•Nature Communications•Mar 25, 2019•54 citations

Intersubjectivity and value reproducibility of outcomes of quantum measurements

Masanao Ozawa

Every measurement determines a single value as its outcome, and yet quantum mechanics predicts it only probabilistically. The Kochen-Specker theorem and Bell's inequality are often considered to reject a realist view but favor a skeptical view that measuring an observable does not mean ascertaining the value that it has, but producing the outcome, having only a personal meaning. However, precise analysis supporting this view is unknown. Here, we show that a quantum mechanical analysis turns down this view. Supposing that two observers simultaneously measure the same observable, we can well pose the question as to whether they always obtain the same outcome, or whether the probability distributions are the same, but the outcomes are uncorrelated. Contrary to the widespread view in favor of the second, we shall show that quantum mechanics predicts that only the first case occurs. We further show that any measurement establishes a time-like entanglement between the observable to be measured and the meter after the measurement, which causes the space-like entanglement between the meters of different observers. We also show that our conclusion cannot be extended to measurements of so-called 'generalized' or 'unsharp' observables, suggesting a demand for reconsidering the notion of observables in foundations of quantum mechanics.

arXiv:1911.10893•Scientific Reports•Oct 20, 2025•2 citations

Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras

Anuj Dawar, Nihil Shah

The Kochen-Specker no-go theorem established that hidden-variable theories in quantum mechanics necessarily admit contextuality. This theorem is formally stated in terms of the partial Boolean algebra structure of projectors on a Hilbert space. Each partial Boolean algebra provides a semantics for interpreting propositional logic. In this paper, we examine the complexity of propositional satisfiablity for various classes of partial Boolean algebras. We first show that the satisfiability problem for the class of non-trivial partial Boolean algebras is NP-complete. Next, we consider the satisfiability problem for the class of partial Boolean algebras arising from projectors on finite dimensional Hilbert spaces. For real Hilbert spaces of dimension greater 2 and any complex Hilbert spaces of dimension greater than 3, we demonstrate that the satisfiablity problem is complete for the existential theory of the reals. Interestingly, the proofs of these results make use of Kochen-Specker sets as gadgets. As a corollary, we conclude that deciding quantum homomorphism in these fixed dimensions are also complete for the existential theory of the reals. Finally, we show that the satisfiability problems for the class of all Hilbert spaces and all finite-dimensional Hilbert spaces is undecidable.

quant-pharXiv:2602.24164•Mar 2, 2026•0 citations
We introduce a logic modelling some aspects of the behaviour of the measurement process, in such a way that no direct mention of quantum states is made, thus avoiding the problems associated to this rather evasive notion. We then study some properties of the models of this logic, and deduce some characteristics that any model (and hence, any formulation of quantum mechanics compatible with its predictions and relying on a notion of measurement) should verify. The main results we obtain are that in the case of a Hilbert space of dimension at least 3, using a strengthening of the Kochen-Specker theorem, we show that no model can lead to the certain prediction of more than one atomic outcome. Moreover, if the Hilbert space is finite dimensional, then we are able to precisely describe the structure of the predictions of any model of our logic. In particular, we show that all the models of our logic do exactly make the same predictions regarding whether a given sequence of outcomes is possible or not, so that quantum mechanics can be considered complete as long as the possibility of outcomes is considered.
We present a formulation of quantum mechanics based on a logic representing some aspects of the behaviour of the measurement process. With such an approach, we make no direct mention of quantum states, and thus avoid the problems associated to this rather evasive notion. We then study some properties of the models of this logic, and deduce some characteristics that any model (and hence any formulation of quantum mechanics compatible with its prediction and relying on a notion of measurement) should verify. The main results we obtain are that in the case of a Hilbert space of dimension at least 3, no model can lead to the prediction with certainty of more than one atomic outcome. Moreover, if the Hilbert space is finite dimensional, then we are able to precisely describe the structure of the predictions of any model of our logic. As a consequence, we finally show that all the models of our logic make exactly the same predictions regarding whether a given sequence of outcomes is possible or not.
Certain concrete "ontological models" for quantum mechanics (models in which measurement outcomes are deterministic and quantum states are equivalent to classical probability distributions over some space of `hidden variables') are examined. The models are generalizations of Kochen and Specker's such model for a single 2-dimensional system - in particular a model for a three dimensional quantum system is considered in detail. Unfortunately, it appears the models do not quite reproduce the quantum mechanical statistics. They do, however, come close to doing so, and in as much as they simply involve probability distributions over the complex projective space they do reproduce pretty much everything else in quantum mechanics. The Kochen-Specker theorem is examined in the light of these models, and the rather mild nature of the manifested contextuality is discussed.
Understanding the core content of quantum mechanics requires us to disentangle the hidden logical relationships between the postulates of this theory. Here we show that the mathematical structure of quantum measurements, the formula for assigning outcome probabilities (Born's rule) and the post-measurement state-update rule, can be deduced from the other quantum postulates, often referred to as unitary quantum and the assumption that ensembles on finite-dimensional Hilbert spaces are characterised by finitely many parameters. This is achieved by taking an operational approach to physical theories, and using the fact that the manner in which a physical system is partitioned into subsystems is a subjective choice of the observer, and hence should not affect the predictions of the theory. In contrast to other approaches, our result does not assume that measurements are related to operators or bases, it does not rely on the universality of quantum mechanics, and it is independent of the interpretation of probability.
Understanding the core content of quantum mechanics requires us to disentangle the hidden logical relationships between the postulates of this theory. Here we show that the mathematical structure of quantum measurements, the formula for assigning outcome probabilities (Born's rule) and the post-measurement state-update rule, can be deduced from the other quantum postulates, often referred to as "unitary quantum mechanics", and the assumption that ensembles on finite-dimensional Hilbert spaces are characterized by finitely many parameters. This is achieved by taking an operational approach to physical theories, and using the fact that the manner in which a physical system is partitioned into subsystems is a subjective choice of the observer, and hence should not affect the predictions of the theory. In contrast to other approaches, our result does not assume that measurements are related to operators or bases, it does not rely on the universality of quantum mechanics, and it is independent of the interpretation of probability.
Every measurement determines a single value as its outcome, and yet quantum mechanics predicts it only probabilistically. The Kochen-Specker theorem and Bell's inequality are often considered to reject a realist view but favor a skeptical view that measuring an observable does not mean ascertaining the value that it has, but producing the outcome, having only a personal meaning. However, precise analysis supporting this view is unknown. Here, we show that a quantum mechanical analysis turns down this view. Supposing that two observers simultaneously measure the same observable, we can well pose the question as to whether they always obtain the same outcome, or whether the probability distributions are the same, but the outcomes are uncorrelated. Contrary to the widespread view in favor of the second, we shall show that quantum mechanics predicts that only the first case occurs. We further show that any measurement establishes a time-like entanglement between the observable to be measured and the meter after the measurement, which causes the space-like entanglement between the meters of different observers. We also show that our conclusion cannot be extended to measurements of so-called 'generalized' or 'unsharp' observables, suggesting a demand for reconsidering the notion of observables in foundations of quantum mechanics.
The Kochen-Specker no-go theorem established that hidden-variable theories in quantum mechanics necessarily admit contextuality. This theorem is formally stated in terms of the partial Boolean algebra structure of projectors on a Hilbert space. Each partial Boolean algebra provides a semantics for interpreting propositional logic. In this paper, we examine the complexity of propositional satisfiablity for various classes of partial Boolean algebras. We first show that the satisfiability problem for the class of non-trivial partial Boolean algebras is NP-complete. Next, we consider the satisfiability problem for the class of partial Boolean algebras arising from projectors on finite dimensional Hilbert spaces. For real Hilbert spaces of dimension greater 2 and any complex Hilbert spaces of dimension greater than 3, we demonstrate that the satisfiablity problem is complete for the existential theory of the reals. Interestingly, the proofs of these results make use of Kochen-Specker sets as gadgets. As a corollary, we conclude that deciding quantum homomorphism in these fixed dimensions are also complete for the existential theory of the reals. Finally, we show that the satisfiability problems for the class of all Hilbert spaces and all finite-dimensional Hilbert spaces is undecidable.