Abstract
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 postmeasurement stateupdate rule, can be deduced from the other quantum postulates, often referred to as “unitary quantum mechanics”, and the assumption that ensembles on finitedimensional 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.
Introduction
What sometimes is postulated as a fundamental law of physics is later on understood as a consequence of more fundamental principles. An example of this historical pattern is the rebranding of the symmetrization postulate as the spinstatistics theorem^{1}. Another example, according to some authors, is the Born rule, the formula that assigns probabilities to quantum measurements. The Born rule has been derived within the framework of quantum logic^{2,3,4,5}, taking an operational approach^{6,7,8,9}, and using other methods^{10,11,12,13,14}. But all these derivations assume, among other things, the mathematical structure of quantum measurements, that is, the correspondence between measurements and orthonormal bases, or more generally, positiveoperator valued measures^{15,16}.
Taking one step further, the structure of measurements together with the Born rule can be jointly derived within the manyworlds interpretation of quantum mechanics (QM)^{17,18} and the framework of entanglementassisted invariance^{19,20,21,22}. But these derivations involve controversial uses of probability in deterministic multiverse scenarios, which have been criticized by a number of authors^{21,22,23,24,25,26,27,28,29,30,31}. Also, these frameworks require the universality of QM, meaning that the measurement apparatus and/or the observer has to be included in the quantum description of the measuring process. While this is a meaningful assumption, it is interesting to see that it is not necessary, as proven in the present article.
In this work we take an operational approach, with the notions of measurement and outcome probability being primitive elements of the theory, but without imposing any particular structure on them. We use the fact that the subjective choices in the description of a physical setup in terms of operational primitives must not affect the predictions of the theory. For example, deciding to describe a tripartite system A·B·C as either the bipartite system AB·C or as A·BC must not modify the outcome probabilities. Using these constraints we characterize all possible alternatives to the mathematical structure of quantum measurements and the Born rule, and we prove that there is no such alternative to the standard measurement postulates. This theorem has simple and precise premises, it does not require unconventional uses of probability theory, and it is independent of the interpretation of probability. A further interesting consequence of this theorem is that the postmeasurement stateupdate rule must necessarily be that of QM.
Results
The standard postulates of QM
Before presenting the main result we prepare the stage appropriately. This involves reviewing some of the postulates of QM, reconstructing the structure of mixed states from them, and introducing a general characterization of measurements that is independent of their mathematical structure.
Postulate (states). To every physical system there corresponds a complex and separable Hilbert space \({\Bbb C}^d\), and the pure states of the system are the rays \(\psi \in {\mathrm{P}}{\Bbb C}^d\).
It will be convenient to use the notation \({\Bbb C}^d\) both for Hilbert spaces of finite dimension d, and also for countably infinitedimensional Hilbert spaces which we denote by \({\Bbb C}^\infty\). This notation is justified, since all countably infinitedimensional Hilbert spaces are isomorphic^{32}. Analogously we use U(∞) to denote the unitary transformations of \({\Bbb C}^\infty\). In this document we represent states (rays) by normalized vectors \(\psi \in {\Bbb C}^d\).
Postulate (transformations). The reversible transformations (for example, possible time evolutions) of pure states of \({\Bbb C}^d\) are the unitary transformations \(\psi \mapsto U\psi\) with U ∈ U(d).
Postulate (composite systems). The joint pure states of systems \({\Bbb C}^a\) and \({\Bbb C}^b\) are the rays of the tensorproduct Hilbert space \({\Bbb C}^a \otimes {\Bbb C}^b\).
Postulate (measurement). Each measurement outcome of system \({\Bbb C}^d\) is represented by a linear operator Q on \({\Bbb C}^d\) satisfying 0 ≤ Q ≤ \({\Bbb I}\), where \({\Bbb I}\) is the identity. The probability of outcome \(Q\) on state \(\psi \in {\Bbb C}^d\) is
A (full) measurement is represented by the operators corresponding to its outcomes \(Q_1 ,..., Q_n\), which must satisfy the normalization condition \(\mathop {\sum}\limits_{i = 1}^n {Q_i} = {\mathbb I}\).
The more traditional formulation of the measurement postulate in terms of (not necessarily positive) Hermitian operators is equivalent to the above. But we have chosen the above form because it is closer to the formalism used in the presentation of our results.
Postulate (postmeasurement stateupdate). Each outcome is represented by a completelypositive linear map Λ related to the operator \(Q\) via
for all ψ. The postmeasurement state after outcome Λ is
A (full) measurement is represented by the maps corresponding to its outcomes Λ_{1}, …, Λ_{n} whose sum \(\mathop {\sum}\limits_{i = 1}^n {\Lambda _i}\) is tracepreserving.
If the measurement is repeatable and minimally disturbing^{33,34} then \(Q_1 ,..., Q_n\) are projectors and the above maps are of the form Λ_{i}(ρ) = \(Q_i \rho Q_i\), which is the standard textbook “projection postulate”. Below we prove that the “measurement” and “postmeasurement stateupdate” postulates are a consequence of the first three postulates.
The structure of mixed states
Mixed states are not mentioned in the standard postulates of QM, but their structure follows straightaway from the measurement postulate (1). Recall that a mixed state is an equivalence class of indistinguishable ensembles, and an ensemble (ψ_{r}, p_{r}) is a probability distribution over pure states. Note that the notion of distinguishability depends on what the measurements are. For the particular case of quantum measurements (1), the probability of outcome \(Q\) when a source prepares state ψ_{r} with probability p_{r} is
where we define the density matrix
This matrix contains all the statistical information of the ensemble. Therefore, two ensembles with the same density matrix are indistinguishable.
The important message from the above is that a different measurement postulate would give different equivalence classes of ensembles, and hence, a different set of mixed states. Thus, in proving our main result, we will not assume that mixed states are of the form (5). An example of mixed states for a nonquantum measurement postulate is described in the section “Nonquantum measurement postulate violating associativity”. A full classification of the sets of mixed states for nonquantum measurement postulates is given in Supplementary Note 1.
Formalism for any alternative measurement postulate
Before proving that the only possible measurement postulate is that of QM, we have to articulate what “a measurement postulate” is in general. In order to do so, we introduce a theoryindependent characterization of measurements for single and multipartite systems. This is based on the concept of outcome probability function (OPF), introduced in^{35} and defined next.
Definition (OPF). Each measurement outcome that can be observed on system \({\Bbb C}^d\) is represented by the function \(f:{\mathrm{P}}{\Bbb C}^d \to [0,1]\) being its corresponding probability \(f(\psi)=P(f\psi)\) for each pure state \(\psi \in {\mathrm{P}}{\Bbb C}^d\); and we denote by \({\cal F}_d\) the complete set of OPFs of system \({\Bbb C}^d\). Completeness is defined below as the closure of \({\cal F}_d\) under various operations.
If instead of a single outcome we want to specify a full measurement with, say, n outcomes, we provide the OPFs \(f_1 ,..., f_n\) corresponding to each outcome; which must satisfy the normalization condition
for all states ψ.
It is important to note that this mathematical description of measurements is independent of the underlying interpretation of probability: all we are assuming is that there exist experiments which yield definite outcomes (possibly relative to a given agent who uses this formalism), and that it makes sense to assign probabilities to these outcomes. For example, we could interpret them as Bayesian probabilities of a physicist who bets on future outcomes of experiments; or as limiting frequencies of a large number of repetitions of the same experiment, approximating empirical data. Whenever we have an experiment of that kind, the corresponding probabilities (whatever they mean) will be determined by a collection of OPFs.
The completeness of the set of OPFs \({\cal F}_d\) consists of the following three properties:
Property 1 (\({\cal F}_d\) is closed under taking mixtures): Suppose that the random variable x with probability p_{x} determines which 2outcome measurement \(f_1^x,f_2^x \in {\cal F}_d\) we implement, and later on we forget the value of x. Then the probability of outcome 1 for this “averaged” measurement is
which must be a valid OPF. Therefore, mixtures of OPFs are OPFs.
Property 2 (\({\cal F}_d\) is closed under composition with unitaries): We can always perform a transformation U ∈ U(d) before a measurement \(f \in {\cal F}_d\), effectively implementing the measurement
which then must be a valid OPF. Note that here we are not saying that all unitaries can be physically implemented, but only that the formalism must in principle include them.
Property 3 (\({\cal F}_d\) is closed under systems composition): Since \({\cal F}_d\) is complete, it also includes the measurements that appear in the description of \({\Bbb C}^d\) as part of the larger system \({\Bbb C}^d \otimes {\Bbb C}^b \cong {\Bbb C}^{db}\), for any background system \({\Bbb C}^b\). Formally, for each background state \(\varphi \in {\Bbb C}^b\) and global OPF \(g \in {\cal F}_{db}\) there is local OPF \(f_{\varphi ,g} \in {\cal F}_d\) which represents the same measurement outcome
Next we consider local measurements in multipartite systems. In order to do so, it is useful to recall that the observer always has the option of describing a systems \({\Bbb C}^a\) as part of a larger system \({\Bbb C}^a \otimes {\Bbb C}^b\), without this affecting the predictions of the theory. In order to do so, the observer needs to know how to represent the OPFs of the small system \({\cal F}_a\) as OPFs of the larger system \({\cal F}_{ab}\). This information is contained in the star product, defined in what follows.
Definition (⋆product). Any pair of local OPFs, \(f \in {\cal F}_a\) and \(g \in {\cal F}_b\), is represented as a global OPF \((f \star g) \in {\mathrm{ }}{\cal F}_{ab}\) via the star product \(\star :{\cal F}_a \times {\cal F}_b \to {\cal F}_{ab}\), which satisfies
for all \(\psi \in {\mathrm{P}}{\Bbb C}^a\) and \(\varphi \in {\mathrm{P}}{\Bbb C}^b\). This product must be defined for any pair of (complex and separable) Hilbert spaces \({\Bbb C}^a\) and \({\Bbb C}^b\).
In other words, the ⋆product represents bilocal measurements, which in QM are represented by the tensor product in the space of Hermitian matrices.
Since the option of describing system \({\Bbb C}^a\) as part of a larger system \({\Bbb C}^a \otimes {\Bbb C}^b\) is a subjective choice that must not affect the predictions of the theory, the embedding of \({\cal F}_a\) into \({\cal F}_{ab}\) provided by the ⋆product must preserve the structure of \({\cal F}_a\). This includes the mixing (convex) structure
as well as the U(d) action
And likewise for the other party \({\cal F}_b\). The ⋆product must also preserve probability, in the sense that if \(\{ f_i\} \subseteq {\cal F}_a\) and \(\{ g_j\} \subseteq {\cal F}_b\) are full measurements satisfying the normalization condition (6) then we must have
for all rays ψ of \({\Bbb C}^a \otimes {\Bbb C}^b\).
Pushing the same philosophy further, the observer has the option of describing the tripartite system \({\Bbb C}^a \otimes {\Bbb C}^b \otimes {\Bbb C}^c\) as the bipartite system \({\Bbb C}^a \otimes [{\Bbb C}^b \otimes {\Bbb C}^c]\) or the bipartite system \([{\Bbb C}^a \otimes {\Bbb C}^b] \otimes {\Bbb C}^c\), without this affecting the probabilities predicted by the theory. This translates to the ⋆product being associative
That is, the probability of outcome \(f \star g \star h\) is independent of how we choose to partition the global system into subsystems. As we show below, this property will be crucial to recover the standard measurement postulates of QM.
The measurement theorem
Before stating the main result of this work, we specify what should be the content of any alternative measurement postulate, and state an operationallymeaningful assumption that is necessary to prove our theorem.
Definition (measurement postulate). This is a family of OPF sets \({\cal F}_2,{\cal F}_3,{\cal F}_4, \ldots\) and \({\cal F}_\infty\) equipped with a ⋆product \({\cal F}_a \times {\cal F}_b \to {\cal F}_{ab}\) satisfying conditions (7–14).
In addition to the above, a measurement postulate could provide restrictions on which OPFs can be part of the same measurement (beyond the normalization condition). However, such rules would not affect our results.
Assumption (possibility of state estimation). Each finitedimensional system \({\Bbb C}^d\) has a finite list of outcomes \(f^1, \ldots ,f^k \in {\cal F}_d\) such that knowing their value on any ensemble (ψ_{r}, p_{r}) allows us to determine the value of any other OPF \(g \in {\cal F}_d\) on the ensemble (ψ_{r}, p_{r}).
It is important to emphasize that \(f^1 ,..., f^k\) need not be outcomes of the same measurement; and also, this list need not be unique. For example, in the case of QM, we can specify the state of a spin\(\frac{1}{2}\) particle with the probabilities of outcome “up” in any three linearly independent directions. Also in QM, we have k = d^{2} − 1; but here we are not assuming any particular relation between d and k. Now it is time to state the main result of this work, which essentially tells us that the only possible measurement postulates are the quantum ones.
Theorem (measurement). The only measurement postulate satisfying the “possibility of state estimation” has OPFs and ⋆product of the form
for all \(\varphi \in {\Bbb C}^a\) and \(\psi \in {\Bbb C}^a \otimes {\Bbb C}^b\), where the \({\Bbb C}^a\)operator F satisfies \(0 \leq F \leq {\Bbb I}\), and analogously for G.
The methods section provides a summary of the ideas and techniques used in the proof of this theorem. Full detail can be found in Supplementary Note 3 and Supplementary Note 4.
The postmeasurement stateupdate rule
At first sight, the above theorem says nothing about the postmeasurement stateupdate rule. But actually, it is wellknown^{36} that the only possible stateupdate rule that is compatible with the probability rule implied by the theorem (15–16) is the one stated above in postulate “postmeasurement stateupdate rule”. We include a selfcontained proof of the above in Supplementary Note 5.
Nonquantum measurement postulate violating associativity
In this section we present an example of alternative measurement postulate, which shows that it is possible to bypass the measurement theorem if we give up the associativity condition (14). It also illustrates how a different choice of measurement postulate produces a different set of mixed states.
Definition (nonquantum measurement postulate). An noutcome measurement on \({\Bbb C}^a\) is characterized by n Hermitian operators F_{i} acting on \({\Bbb C}^a \otimes {\Bbb C}^a\) and satisfying \(0 \le F_i \le P_ + ^a\) and
where \(P_ + ^a\) is the projector onto the symmetric subspace of \({\Bbb C}^a \otimes {\Bbb C}^a\). The probability of outcome i on the (normalized) state \(\varphi \in {\Bbb C}^a\) is given by
and the ⋆product of two OPFs \(f \in {\cal F}_a\) and \(g \in {\cal F}_b\) of the form (18) is defined as
for any normalized \(\psi \in {\mathrm{ }}{\Bbb C}^a \otimes {\Bbb C}^b\).
This alternative theory violates the principles of “local tomography”^{37} and “purification”^{38}. This and other exotic properties of this theory are analyzed in detail in previous work^{35,39}. Also, the validity of marginal and conditional states imposes additional constraints on the matrices F which are also worked out in^{39}. It is easy to check that the above definition satisfies conditions (7–13) and violates associativity (14). Therefore, this provides a perfectly valid toy theory of systems that encompass either one or two components, but not more.
As we have mentioned above, the structure of the mixed states depends on the measurement postulate. Here, the mixed state corresponding to ensemble (ψ_{r}, p_{r}) is
Another nonquantum property of this toy theory is that the uniform ensembles corresponding to two different orthonormal bases, {φ_{i}} and {ψ_{i}} are distinguishable
Gleason’s theorem and noncontextuality
As mentioned in the introduction, Gleason’s theorem and many other derivations of the Born rule^{2,3,4,5,6,7,8,10,12} assume the structure of quantum measurements; that is, the correspondence between measurements and orthonormal bases {φ_{i}}, or more generally, positiveoperator valued measures^{16}. But in addition to this, they assume that the probability of an outcome φ_{i} does not depend on the measurement (basis) it belongs to. Note that this type of “noncontextuality” is already part of the content of Born’s rule.
To show that this “noncontextuality” assumption is by no means necessary, we review an alternative to the Born rule, presented in ref. ^{40}, which does not satisfy it. In this toy theory, we also have that measurements are associated to orthonormal bases {φ_{i}} and each outcome corresponds to an element φ_{i} of the basis. Then, the probability of outcome φ_{i} on state ψ is given by
Since this example does not meet the premises of Gleason’s theorem (the denominator depends not only on φ_{i} but also on the rest of the basis), there is no contradiction in that it violates its conclusion.
We stress that our results, unlike previous contributions^{2,3,4,5,6,7,8,10,12}, do not assume this type of noncontextuality. In particular, our OPF framework perfectly accommodates the above example (21) with \(f_i (\psi)=P({\varphi}_i{\psi})\). This example however does not meet the “possibility of state estimation” assumption, and hence is excluded by the main theorem of this paper.
In the Supplementary Discussion we discuss publications^{13} and^{41} in relation to the theorem presented in this paper.
Discussion
It may seem that conditions (7–14) are a lot of assumptions to claim that we derive the measurement postulates from the nonmeasurement ones.
But from the operational point of view, these conditions constitute the very definition of measurement, single and multipartite physical system. In other words, specifying what we mean by “measurement” is in a different category than stating that measurements are characterized by operators acting on a Hilbert space. Analogously, the rules of probability calculus or the axioms of the real numbers are not explicitly included in the postulates of QM.
Note that our results also apply to indistinguishable particles (bosons and fermions), as long as we interpret the tensor product not as a composition of particles, but of the corresponding modes.
It is rather remarkable that none of the three measurement postulates (structure, probabilities and stateupdate) can be modified without having to redesign the whole theory. In particular, the probability rule is deeply ingrained in the main structures of the theory. This fact shows that one need not appeal to any supplementary principles beyond operational primitives to derive the Born rule, nor do we need to make any assumptions about the structure of measurements, unlike previous work^{6,10,12,18,19,40}. Finally, having cleared up unnecessary postulates in the formulation of QM, we find ourselves closer to its core message.
Methods
This brief section provides a bird’s eye view of the proof of the measurement theorem of Supplementary Note 3 and Supplementary Note 4. The argument starts by embedding the OPF set \({\cal F}_d\) into a complex vector space so that physical mixtures (7) can be represented by certain linear combinations. Second, the “possibility of state estimation” assumption implies that, whenever d is finite, this embedding vector space is finitedimensional. This translates the U(d) action (8) on the set \({\cal F}_d\) to a linear representation; and once in the land of U(d) representations we have a good map of the territory.
Third, the fact that the argument of the functions in \({\cal F}_d\) is a ray (not a vector) imposes a strong restriction to the abovementioned U(d) representation. All these restricted representations were classified by some of the authors in ref. ^{35}. This amounts to a classification of all alternatives to the measurement postulate for single systems, that is, when the consistency constraints related to composite systems (9–14) are ignored. The next steps take composition into account.
Fourth, “closedness under system composition” (9) implies that all OPFs \(f \in {\cal F}_d\) are of the form
where n is a fixed positive integer, as shown in Supplementary Note 2. Recall that the case n = 1 is QM and the case n = 2 has been studied above. In the final step, the representation theory of the unitary group is exploited to prove that, whenever n ≥ 2, it is impossible to define a star product of functions (22) satisfying associativity (14). This implies that only the quantum case (n = 1) fulfils all the required constraints (7–14).
Data availability
No data sets were generated or analyzed during the current study.
References
 1.
Schwinger, J. The theory of quantized fields I. Phys. Rev. 82, 914–927 (1951).
 2.
Gleason, A. M. Measures on the Closed Subspaces of a Hilbert Space. Journal of Mathematics and Mechanics, 6, 885–893 (1957).
 3.
Cooke, R., Keane, M. & Moran, W. An elementary proof of Gleason’s theorem. Math. Proc. Camb. Philos. Soc. 98, 117 (1985).
 4.
Pitowsky, I. Infinite and finite Gleason’s theorems and the logic of indeterminacy. J. Math. Phys. 39, 218–228 (1998).
 5.
Wilce, A. In The Stanford Encyclopedia of Philosophy Spring edn (ed. Zalta, E. N.) (Metaphysics Research Lab, Stanford University, Californis, 2017).
 6.
Saunders, S. Derivation of the born rule from operational assumptions. Proc.: Math., Phys. Eng. Sci. 460, 1771–1788 (2004).
 7.
Busch, P. Quantum States and Generalized Observables: A Simple Proof of Gleason’s Theorem. Phys. Rev. Lett. 91, 120403 (2003).
 8.
Caves, C. M., Fuchs, C. A., Manne, K. K. & Renes, J. M. Gleasontype derivations of the quantum probability rule for generalized measurements. Found. Phys. 34, 193–209 (2004).
 9.
Wright, V. J. & Weigert, S. A Gleasontype theorem for qubits based on mixtures of projective measurements. Preprint at http://arxiv.org/abs/1808.08091 (2018).
 10.
Logiurato, F. & Smerzi, A. Born Rule and Noncontextual Probability. J. Mod. Phys. 03, 1802–1812 (2012).
 11.
Auffèves, A. & Grangier, P. A simple derivation of Born’s rule with and without Gleason’s theorem. Preprint at http://arxiv.org/abs/1505.01369 (2015).
 12.
Han, Y. D. & Choi, T. Quantum Probability assignment limited by relativistic causality. Sci. Rep. 6, 22986 (2016).
 13.
Frauchiger, D. & Renner, R. A nonprobabilistic substitute for the Born rule. Preprint at http://arxiv.org/abs/1710.05033 (2017).
 14.
Shrapnel, S., Costa, F. & Milburn, G. Updating the Born rule. New J. Phys. 20, 053010 (2018).
 15.
Holevo, A. Statistical decision theory for quantum systems. J. Multivar. Anal. 3, 337–394 (1973).
 16.
Helstrom, C. W. in Mathematics in Science and Engineering, Vol. 123 (Academic Press, New York, 1976).
 17.
Deutsch, D. Quantum theory of probability and decisions. Proc. R. Soc. Lond. A. 455, 3129–3137 (1999).
 18.
Wallace, D. in Many Worlds? Everett, Quantum Theory, and Reality. (eds. Saunders, S., Barrett, J., Kent, A. & Wallace, D.) 229–263 (Oxford University Press, Oxford, 2010).
 19.
Zurek, W. H. Probabilities from entanglement, born’s rule p _{k} = ψ _{k}^{2} from envariance. Phys. Rev. A 71, 052105 (2005).
 20.
Zurek, W. H. Quantum theory of the classical: quantum jumps, Born’s Rule and objective classical reality via quantum Darwinism. Philos. Trans. R. Soc. A. 376, https://doi.org/10.1098/rsta.2018.0107 (2018).
 21.
Barnum, H. Nosignallingbased version of Zurek’s derivation of quantum probabilities: a note on “Environmentassisted invariance, entanglement, and probabilities in quantum physics”. Preprint at http://arxiv/abs/quantph/0312150 (2003).
 22.
Schlosshauer, M. & Fine, A. On Zurek’s Derivation of the Born Rule. Found. Phys. 35, 197–213 (2005).
 23.
Barnum, H., Caves, C. M., Finkelstein, J., Fuchs, C. A. & Schack, R. Quantum probability from decision theory? Proc. R. Soc. A. 456, 1175–1182 (2000).
 24.
Kent, A. in Many Worlds? Everett, Quantum Theory, and Reality (eds. Saunders, S., Barrett, J., Kent, A. & Wallace, D.) 307–354 (Oxford University Press, Oxford, 2010).
 25.
Baker, D. J. Measurement outcomes and probability in everettian quantum mechanics. Stud. Hist. Philos. Sci. Part B: Stud. Hist. Philos. Mod. Phys. 38, 153–169 (2007).
 26.
Hemmo, M. & Pitowsky, I. Quantum probability and many worlds. Stud. Hist. Philos. Sci. Part B: Stud. Hist. Philos. Mod. Phys. 38, 333–350 (2007).
 27.
Lewis, P. J. Probability in everettian quantum mechanics. Manuscrito 33, 285–306 (2010).
 28.
Price, H. in Many Worlds? Everett, Quantum Theory, and Reality, (eds. Saunders, S., Barrett, J., Kent, A. & Wallace, D.) 369–390 (Oxford University Press, Oxford, 2010).
 29.
Albert, D. in Many Worlds? Everett, Quantum Theory, and Reality. (eds. Saunders, S., Barrett, J., Kent, A. & Wallace, D.) 355–368 (Oxford University Press, Oxford, 2010).
 30.
Caves, C. M. Internal Reports http://info.phys.unm.edu/caves/reports/ZurekBornderivation.pdf (2004).
 31.
Mohrhoff, U. Probabities from envariance? Int. J. Quantum Inf. 02, 221–229 (2004).
 32.
Rudin, W. Functional Analysis. International Series in Pure and Applied Mathematics. (McGrawHill, New York, 1991).
 33.
Ozawa, M. Quantum measuring processes of continuous observables. J. Math. Phys. 25, 79–87 (1984).
 34.
Chiribella, G. & Yuan, X. Measurement sharpness cuts nonlocality and contextuality in every physical theory. Preprint at https://arxiv/abs/1404.3348 (2014).
 35.
Galley, T. D. & Masanes, L. Classification of all alternatives to the Born rule in terms of informational properties. Quantum 1, 15 (2017).
 36.
Davies, E. & Lewis, J. T. An operational approach to quantum probability. Commun. Math. Phys. 17, 239–260 (1970).
 37.
Hardy, L. Quantum theory from five reasonable axioms. Preprint at https://arxiv.org/abs/quantph/0101012 (2001).
 38.
Chiribella, G., D’Ariano, G. M. & Perinotti, P. Probabilistic theories with purification. Phys. Rev. A. 81, 062348 (2010).
 39.
Galley, T. D. & Masanes, L. Any modification of the Born rule leads to a violation of the purification and local tomography principles. Quantum 2, 104 (2018).
 40.
Aaronson, S. Is quantum mechanics an island in theoryspace? Preprint at https://arXiv/abs/quantph/0401062 (2004).
 41.
Cabello, A. The physical origin of quantum nonlocality and contextuality. Preprint at https://arxiv.org/abs/1801.06347 (2018).
Acknowledgements
We are grateful to Jonathan Barrett and Robin Lorenz for discussions about the toy theory, which was independently studied by them. LM acknowledges financial support by the Engineering and Physical Sciences Research Council [grant number EP/R012393/1]. TG acknowledges support by the Engineering and Physical Sciences Research Council [grant number EP/L015242/1]. This research was supported in part by Perimeter Institute for Theoretical Physics; research at Perimeter Institute is supported by the Government of Canada through Innovation, Science and Economic Development Canada and by the Province of Ontario through the Ministry of Research, Innovation and Science. This publication was made possible through the support of a grant from the John Templeton Foundation; the opinions expressed in this publication are those of the authors and do not necessarily reflect the views of the John Templeton Foundation.
Author information
Affiliations
Contributions
L.M. and T.G. worked on the main proof, M.M. worked on the proof for the infinitedimensional case. L.M. directed the research and wrote most of the paper.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Journal peer review information: Nature Communications thanks the anonymous reviewer(s) for their contribution to the peer review of this work.
Publisher’s note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Masanes, L., Galley, T.D. & Müller, M.P. The measurement postulates of quantum mechanics are operationally redundant. Nat Commun 10, 1361 (2019). https://doi.org/10.1038/s4146701909348x
Received:
Accepted:
Published:
Further reading

Manyparticle interference to test Born's rule
Physical Review Research (2020)

Quantum algorithm for spectral projection by measuring an ancilla iteratively
Physical Review A (2020)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.